LLVM.FFI.Core

This module provides direct access to the LLVM C bindings.

Modules

data Module

Instances

Typeable Module

type ModuleRef = Ptr Module

moduleCreateWithName :: CString -> IO ModuleRef

disposeModule :: ModuleRef -> IO ()

ptrDisposeModule :: FunPtr (ModuleRef -> IO ())

getDataLayout :: ModuleRef -> IO CString

setDataLayout :: ModuleRef -> CString -> IO ()

getTarget :: ModuleRef -> IO CString

setTarget :: ModuleRef -> CString -> IO ()

Module providers

data ModuleProvider

Instances

Typeable ModuleProvider

type ModuleProviderRef = Ptr ModuleProvider

createModuleProviderForExistingModule :: ModuleRef -> IO ModuleProviderRef

ptrDisposeModuleProvider :: FunPtr (ModuleProviderRef -> IO ())

Types

data Type

Instances

Typeable Type

type TypeRef = Ptr Type

addTypeName :: ModuleRef -> CString -> TypeRef -> IO CInt

deleteTypeName :: ModuleRef -> CString -> IO ()

getTypeKind :: TypeRef -> IO TypeKind

data TypeKind

Constructors

VoidTypeKind

FloatTypeKind

DoubleTypeKind

X86_FP80TypeKind

FP128TypeKind

PPC_FP128TypeKind

LabelTypeKind

IntegerTypeKind

FunctionTypeKind

StructTypeKind

ArrayTypeKind

PointerTypeKind

OpaqueTypeKind

VectorTypeKind

Instances

Bounded TypeKind

Enum TypeKind

Eq TypeKind

Ord TypeKind

Read TypeKind

Show TypeKind

Typeable TypeKind

Integer types

int1Type :: TypeRef

int8Type :: TypeRef

int16Type :: TypeRef

int32Type :: TypeRef

int64Type :: TypeRef

integerType

Arguments

:: CUInt

width in bits

-> TypeRef

An integer type of the given width.

getIntTypeWidth :: TypeRef -> IO CUInt

Real types

floatType :: TypeRef

doubleType :: TypeRef

x86FP80Type :: TypeRef

fp128Type :: TypeRef

ppcFP128Type :: TypeRef

Function types

functionType

Arguments

:: TypeRef

return type

-> Ptr TypeRef

array of argument types

-> CUInt

number of elements in array

-> CInt

non-zero if function is varargs

-> TypeRef

Create a function type.

isFunctionVarArg :: TypeRef -> IO CInt

Indicate whether a function takes varargs.

getReturnType :: TypeRef -> IO TypeRef

Give a function's return type.

countParamTypes :: TypeRef -> IO CUInt

Give the number of fixed parameters that a function takes.

getParamTypes :: TypeRef -> Ptr TypeRef -> IO ()

Fill out an array with the types of a function's fixed parameters.

Other types

voidType :: TypeRef

labelType :: TypeRef

opaqueType :: TypeRef

Array, pointer, and vector types

arrayType

Arguments

:: TypeRef

element type

-> CUInt

element count

-> TypeRef

pointerType

Arguments

:: TypeRef

pointed-to type

-> CUInt

address space

-> TypeRef

vectorType

Arguments

:: TypeRef

element type

-> CUInt

element count

-> TypeRef

getElementType :: TypeRef -> IO TypeRef

Get the type of a sequential type's elements.

getArrayLength :: TypeRef -> IO CUInt

getPointerAddressSpace :: TypeRef -> IO CUInt

getVectorSize :: TypeRef -> IO CUInt

Struct types

structType :: Ptr TypeRef -> CUInt -> CInt -> TypeRef

countStructElementTypes :: TypeRef -> CUInt

getStructElementTypes :: TypeRef -> Ptr TypeRef -> IO ()

isPackedStruct :: TypeRef -> CInt

Type handles

createTypeHandle :: TypeRef -> IO TypeHandleRef

refineType :: TypeRef -> TypeRef -> IO ()

resolveTypeHandle :: TypeHandleRef -> IO TypeRef

disposeTypeHandle :: TypeHandleRef -> IO ()

Values

data Value

Instances

Typeable Value

type ValueRef = Ptr Value

typeOf :: ValueRef -> IO TypeRef

getValueName :: ValueRef -> IO CString

setValueName :: ValueRef -> CString -> IO ()

dumpValue :: ValueRef -> IO ()

Constants

constNull :: TypeRef -> ValueRef

constAllOnes :: TypeRef -> ValueRef

getUndef :: TypeRef -> ValueRef

isConstant :: ValueRef -> IO CInt

isNull :: ValueRef -> IO CInt

isUndef :: ValueRef -> IO CInt

Global variables, functions, and aliases (globals)

data Linkage

An enumeration for the kinds of linkage for global values.

Constructors

ExternalLinkage

Externally visible function

AvailableExternallyLinkage

LinkOnceAnyLinkage

Keep one copy of function when linking (inline)

LinkOnceODRLinkage

Same, but only replaced by something equivalent.

WeakAnyLinkage

Keep one copy of named function when linking (weak)

WeakODRLinkage

Same, but only replaced by something equivalent.

AppendingLinkage

Special purpose, only applies to global arrays

InternalLinkage

Rename collisions when linking (static functions)

PrivateLinkage

Like Internal, but omit from symbol table

DLLImportLinkage

Function to be imported from DLL

DLLExportLinkage

Function to be accessible from DLL

ExternalWeakLinkage

ExternalWeak linkage description

GhostLinkage

Stand-in functions for streaming fns from BC files

CommonLinkage

Tentative definitions

LinkerPrivateLinkage

Like Private, but linker removes.

Instances

Enum Linkage

Eq Linkage

Ord Linkage

Show Linkage

Typeable Linkage

fromLinkage :: Linkage -> CUInt

toLinkage :: CUInt -> Linkage

getLinkage :: ValueRef -> IO CUInt

setLinkage :: ValueRef -> CUInt -> IO ()

data Visibility

An enumeration for the kinds of visibility of global values.

Constructors

DefaultVisibility

The GV is visible

HiddenVisibility

The GV is hidden

ProtectedVisibility

The GV is protected

Instances

Enum Visibility

Eq Visibility

Ord Visibility

Show Visibility

fromVisibility :: Visibility -> CUInt

toVisibility :: CUInt -> Visibility

getVisibility :: ValueRef -> IO CUInt

setVisibility :: ValueRef -> CUInt -> IO ()

isDeclaration :: ValueRef -> IO CInt

getSection :: ValueRef -> IO CString

setSection :: ValueRef -> CString -> IO ()

getAlignment :: ValueRef -> IO CUInt

setAlignment :: ValueRef -> CUInt -> IO ()

Global variables

addGlobal :: ModuleRef -> TypeRef -> CString -> IO ValueRef

getNamedGlobal :: ModuleRef -> CString -> IO ValueRef

deleteGlobal :: ValueRef -> IO ()

getInitializer :: ValueRef -> IO ValueRef

setInitializer :: ValueRef -> ValueRef -> IO ()

isThreadLocal :: ValueRef -> IO CInt

setThreadLocal :: ValueRef -> CInt -> IO ()

isGlobalConstant :: ValueRef -> IO CInt

setGlobalConstant :: ValueRef -> CInt -> IO ()

getFirstGlobal :: ModuleRef -> IO ValueRef

getNextGlobal :: ValueRef -> IO ValueRef

getPreviousGlobal :: ValueRef -> IO ValueRef

getLastGlobal :: ModuleRef -> IO ValueRef

getGlobalParent :: ValueRef -> IO ModuleRef

Functions

addFunction

Arguments

:: ModuleRef

module

-> CString

name

-> TypeRef

type

-> IO ValueRef

getNamedFunction

Arguments

:: ModuleRef

module

-> CString

name

-> IO ValueRef

function (nullPtr if not found)

deleteFunction

Arguments

:: ValueRef

function

-> IO ()

countParams

Arguments

:: ValueRef

function

-> CUInt

getParams

Arguments

:: ValueRef

function

-> Ptr ValueRef

array to fill out

-> IO ()

getParam

Arguments

:: ValueRef

function

-> CUInt

offset into array

-> ValueRef

getIntrinsicID

Arguments

:: ValueRef

function

-> CUInt

getGC :: ValueRef -> IO CString

setGC :: ValueRef -> CString -> IO ()

getFirstFunction :: ModuleRef -> IO ValueRef

getNextFunction :: ValueRef -> IO ValueRef

getPreviousFunction :: ValueRef -> IO ValueRef

getLastFunction :: ModuleRef -> IO ValueRef

getFirstParam :: ValueRef -> IO ValueRef

getNextParam :: ValueRef -> IO ValueRef

getPreviousParam :: ValueRef -> IO ValueRef

getLastParam :: ValueRef -> IO ValueRef

getParamParent :: ValueRef -> IO ValueRef

isTailCall :: ValueRef -> IO CInt

setTailCall :: ValueRef -> CInt -> IO ()

Phi nodes

addIncoming :: ValueRef -> Ptr ValueRef -> Ptr ValueRef -> CUInt -> IO ()

countIncoming :: ValueRef -> IO CUInt

getIncomingValue :: ValueRef -> CUInt -> IO ValueRef

getIncomingBlock :: ValueRef -> CUInt -> IO BasicBlockRef

Calling conventions

data CallingConvention

Constructors

C

Fast

Cold

X86StdCall

X86FastCall

Instances

Bounded CallingConvention

Enum CallingConvention

Eq CallingConvention

Ord CallingConvention

Show CallingConvention

Typeable CallingConvention

fromCallingConvention :: CallingConvention -> CUInt

toCallingConvention :: CUInt -> CallingConvention

getFunctionCallConv

Arguments

:: ValueRef

function

-> IO CUInt

setFunctionCallConv

Arguments

:: ValueRef

function

-> CUInt

-> IO ()

getInstructionCallConv :: ValueRef -> IO CUInt

setInstructionCallConv :: ValueRef -> CUInt -> IO ()

Constants

Scalar constants

constInt :: TypeRef -> CULLong -> CInt -> ValueRef

constReal :: TypeRef -> CDouble -> ValueRef

Composite constants

constArray :: TypeRef -> Ptr ValueRef -> CUInt -> ValueRef

constString :: CString -> CUInt -> CInt -> ValueRef

constStruct :: Ptr ValueRef -> CUInt -> CInt -> ValueRef

constVector :: Ptr ValueRef -> CUInt -> ValueRef

Constant expressions

sizeOf :: TypeRef -> IO ValueRef

constNeg :: ValueRef -> ValueRef

constNot :: ValueRef -> ValueRef

constAdd :: ValueRef -> ValueRef -> ValueRef

constSub :: ValueRef -> ValueRef -> ValueRef

constMul :: ValueRef -> ValueRef -> ValueRef

constExactSDiv :: ValueRef -> ValueRef -> IO ValueRef

constFAdd :: ValueRef -> ValueRef -> ValueRef

constFMul :: ValueRef -> ValueRef -> ValueRef

constFNeg :: ValueRef -> ValueRef

constFPCast :: ValueRef -> TypeRef -> ValueRef

constFSub :: ValueRef -> ValueRef -> ValueRef

constUDiv :: ValueRef -> ValueRef -> ValueRef

constSDiv :: ValueRef -> ValueRef -> ValueRef

constFDiv :: ValueRef -> ValueRef -> ValueRef

constURem :: ValueRef -> ValueRef -> ValueRef

constSRem :: ValueRef -> ValueRef -> ValueRef

constFRem :: ValueRef -> ValueRef -> ValueRef

constAnd :: ValueRef -> ValueRef -> ValueRef

constOr :: ValueRef -> ValueRef -> ValueRef

constXor :: ValueRef -> ValueRef -> ValueRef

constICmp :: CInt -> ValueRef -> ValueRef -> ValueRef

constFCmp :: CInt -> ValueRef -> ValueRef -> ValueRef

constShl :: ValueRef -> ValueRef -> ValueRef

constLShr :: ValueRef -> ValueRef -> ValueRef

constAShr :: ValueRef -> ValueRef -> ValueRef

constGEP :: ValueRef -> Ptr ValueRef -> CUInt -> ValueRef

constTrunc :: ValueRef -> TypeRef -> ValueRef

constSExt :: ValueRef -> TypeRef -> ValueRef

constZExt :: ValueRef -> TypeRef -> ValueRef

constFPTrunc :: ValueRef -> TypeRef -> ValueRef

constFPExt :: ValueRef -> TypeRef -> ValueRef

constUIToFP :: ValueRef -> TypeRef -> ValueRef

constSIToFP :: ValueRef -> TypeRef -> ValueRef

constFPToUI :: ValueRef -> TypeRef -> ValueRef

constFPToSI :: ValueRef -> TypeRef -> ValueRef

constPtrToInt :: ValueRef -> TypeRef -> ValueRef

constIntToPtr :: ValueRef -> TypeRef -> ValueRef

constBitCast :: ValueRef -> TypeRef -> ValueRef

constSelect :: ValueRef -> ValueRef -> ValueRef -> ValueRef

constExtractElement :: ValueRef -> ValueRef -> ValueRef

constInsertElement :: ValueRef -> ValueRef -> ValueRef -> ValueRef

constShuffleVector :: ValueRef -> ValueRef -> ValueRef -> ValueRef

constExtractValue :: ValueRef -> Ptr ValueRef -> CUInt -> ValueRef

constInsertValue :: ValueRef -> ValueRef -> Ptr ValueRef -> CUInt -> ValueRef

constRealOfString :: TypeRef -> CString -> IO ValueRef

Basic blocks

type BasicBlock = Value

type BasicBlockRef = Ptr BasicBlock

basicBlockAsValue :: BasicBlockRef -> ValueRef

valueIsBasicBlock :: ValueRef -> Bool

valueAsBasicBlock

Arguments

:: ValueRef

basic block

-> BasicBlockRef

countBasicBlocks

Arguments

:: ValueRef

function

-> IO CUInt

getBasicBlocks

Arguments

:: ValueRef

function

-> Ptr BasicBlockRef

array to fill out

-> IO ()

getEntryBasicBlock

Arguments

:: ValueRef

function

-> IO BasicBlockRef

appendBasicBlock

Arguments

:: ValueRef

function

-> CString

name for label

-> IO BasicBlockRef

insertBasicBlock

Arguments

:: BasicBlockRef

insert before this one

-> CString

name for label

-> IO BasicBlockRef

deleteBasicBlock :: BasicBlockRef -> IO ()

getFirstBasicBlock :: ValueRef -> IO BasicBlockRef

getNextBasicBlock :: BasicBlockRef -> IO BasicBlockRef

getPreviousBasicBlock :: BasicBlockRef -> IO BasicBlockRef

getLastBasicBlock :: ValueRef -> IO BasicBlockRef

getInsertBlock :: BuilderRef -> IO BasicBlockRef

getBasicBlockParent :: BasicBlockRef -> IO ValueRef

Instruction building

data Builder

Instances

Typeable Builder

type BuilderRef = Ptr Builder

createBuilder :: IO BuilderRef

ptrDisposeBuilder :: FunPtr (BuilderRef -> IO ())

positionBuilder :: BuilderRef -> BasicBlockRef -> ValueRef -> IO ()

positionBefore :: BuilderRef -> ValueRef -> IO ()

positionAtEnd :: BuilderRef -> BasicBlockRef -> IO ()

getFirstInstruction :: BasicBlockRef -> IO ValueRef

getNextInstruction :: ValueRef -> IO ValueRef

getPreviousInstruction :: ValueRef -> IO ValueRef

getLastInstruction :: BasicBlockRef -> IO ValueRef

getInstructionParent :: ValueRef -> IO BasicBlockRef

Terminators

buildRetVoid :: BuilderRef -> IO ValueRef

buildRet :: BuilderRef -> ValueRef -> IO ValueRef

buildBr :: BuilderRef -> BasicBlockRef -> IO ValueRef

buildCondBr :: BuilderRef -> ValueRef -> BasicBlockRef -> BasicBlockRef -> IO ValueRef

buildSwitch :: BuilderRef -> ValueRef -> BasicBlockRef -> CUInt -> IO ValueRef

buildInvoke :: BuilderRef -> ValueRef -> Ptr ValueRef -> CUInt -> BasicBlockRef -> BasicBlockRef -> CString -> IO ValueRef

buildUnwind :: BuilderRef -> IO ValueRef

buildUnreachable :: BuilderRef -> IO ValueRef

Arithmetic

buildAdd :: BuilderRef -> ValueRef -> ValueRef -> CString -> IO ValueRef

buildSub :: BuilderRef -> ValueRef -> ValueRef -> CString -> IO ValueRef

buildMul :: BuilderRef -> ValueRef -> ValueRef -> CString -> IO ValueRef

buildFAdd :: BuilderRef -> ValueRef -> ValueRef -> CString -> IO ValueRef

buildFMul :: BuilderRef -> ValueRef -> ValueRef -> CString -> IO ValueRef

buildFPCast :: BuilderRef -> ValueRef -> TypeRef -> CString -> IO ValueRef

buildFSub :: BuilderRef -> ValueRef -> ValueRef -> CString -> IO ValueRef

buildUDiv :: BuilderRef -> ValueRef -> ValueRef -> CString -> IO ValueRef

buildSDiv :: BuilderRef -> ValueRef -> ValueRef -> CString -> IO ValueRef

buildExactSDiv :: BuilderRef -> ValueRef -> ValueRef -> CString -> IO ValueRef

buildFDiv :: BuilderRef -> ValueRef -> ValueRef -> CString -> IO ValueRef

buildURem :: BuilderRef -> ValueRef -> ValueRef -> CString -> IO ValueRef

buildSRem :: BuilderRef -> ValueRef -> ValueRef -> CString -> IO ValueRef

buildFRem :: BuilderRef -> ValueRef -> ValueRef -> CString -> IO ValueRef

buildShl :: BuilderRef -> ValueRef -> ValueRef -> CString -> IO ValueRef

buildLShr :: BuilderRef -> ValueRef -> ValueRef -> CString -> IO ValueRef

buildAShr :: BuilderRef -> ValueRef -> ValueRef -> CString -> IO ValueRef

buildAnd :: BuilderRef -> ValueRef -> ValueRef -> CString -> IO ValueRef

buildOr :: BuilderRef -> ValueRef -> ValueRef -> CString -> IO ValueRef

buildXor :: BuilderRef -> ValueRef -> ValueRef -> CString -> IO ValueRef

buildNeg :: BuilderRef -> ValueRef -> CString -> IO ValueRef

buildNot :: BuilderRef -> ValueRef -> CString -> IO ValueRef

Memory

buildMalloc :: BuilderRef -> TypeRef -> CString -> IO ValueRef

buildArrayMalloc :: BuilderRef -> TypeRef -> ValueRef -> CString -> IO ValueRef

buildAlloca :: BuilderRef -> TypeRef -> CString -> IO ValueRef

buildArrayAlloca :: BuilderRef -> TypeRef -> ValueRef -> CString -> IO ValueRef

buildFree :: BuilderRef -> ValueRef -> IO ValueRef

buildLoad :: BuilderRef -> ValueRef -> CString -> IO ValueRef

buildStore :: BuilderRef -> ValueRef -> ValueRef -> IO ValueRef

buildGEP :: BuilderRef -> ValueRef -> Ptr ValueRef -> CUInt -> CString -> IO ValueRef

Casts

buildTrunc :: BuilderRef -> ValueRef -> TypeRef -> CString -> IO ValueRef

buildZExt :: BuilderRef -> ValueRef -> TypeRef -> CString -> IO ValueRef

buildSExt :: BuilderRef -> ValueRef -> TypeRef -> CString -> IO ValueRef

buildFPToUI :: BuilderRef -> ValueRef -> TypeRef -> CString -> IO ValueRef

buildFPToSI :: BuilderRef -> ValueRef -> TypeRef -> CString -> IO ValueRef

buildUIToFP :: BuilderRef -> ValueRef -> TypeRef -> CString -> IO ValueRef

buildSIToFP :: BuilderRef -> ValueRef -> TypeRef -> CString -> IO ValueRef

buildFPTrunc :: BuilderRef -> ValueRef -> TypeRef -> CString -> IO ValueRef

buildFPExt :: BuilderRef -> ValueRef -> TypeRef -> CString -> IO ValueRef

buildPtrToInt :: BuilderRef -> ValueRef -> TypeRef -> CString -> IO ValueRef

buildIntToPtr :: BuilderRef -> ValueRef -> TypeRef -> CString -> IO ValueRef

buildBitCast :: BuilderRef -> ValueRef -> TypeRef -> CString -> IO ValueRef

buildPointerCast :: BuilderRef -> ValueRef -> TypeRef -> CString -> IO ValueRef

buildTruncOrBitCast :: BuilderRef -> ValueRef -> TypeRef -> CString -> IO ValueRef

buildZExtOrBitCast :: BuilderRef -> ValueRef -> TypeRef -> CString -> IO ValueRef

buildSExtOrBitCast :: BuilderRef -> ValueRef -> TypeRef -> CString -> IO ValueRef

buildPtrDiff :: BuilderRef -> ValueRef -> ValueRef -> CString -> IO ValueRef

Misc

buildAggregateRet :: BuilderRef -> Ptr ValueRef -> CUInt -> IO ValueRef

buildGlobalString :: BuilderRef -> CString -> CString -> IO ValueRef

buildGlobalStringPtr :: BuilderRef -> CString -> CString -> IO ValueRef

buildInBoundsGEP :: BuilderRef -> ValueRef -> Ptr ValueRef -> CUInt -> CString -> IO ValueRef

buildIntCast :: BuilderRef -> ValueRef -> TypeRef -> CString -> IO ValueRef

buildIsNotNull :: BuilderRef -> ValueRef -> CString -> IO ValueRef

buildIsNull :: BuilderRef -> ValueRef -> CString -> IO ValueRef

buildNSWAdd :: BuilderRef -> ValueRef -> ValueRef -> CString -> IO ValueRef

buildStructGEP :: BuilderRef -> ValueRef -> CUInt -> CString -> IO ValueRef

Comparisons

buildICmp :: BuilderRef -> CInt -> ValueRef -> ValueRef -> CString -> IO ValueRef

buildFCmp :: BuilderRef -> CInt -> ValueRef -> ValueRef -> CString -> IO ValueRef

Miscellaneous instructions

buildPhi :: BuilderRef -> TypeRef -> CString -> IO ValueRef

buildCall :: BuilderRef -> ValueRef -> Ptr ValueRef -> CUInt -> CString -> IO ValueRef

buildSelect :: BuilderRef -> ValueRef -> ValueRef -> ValueRef -> CString -> IO ValueRef

buildVAArg :: BuilderRef -> ValueRef -> TypeRef -> CString -> IO ValueRef

buildExtractElement :: BuilderRef -> ValueRef -> ValueRef -> CString -> IO ValueRef

buildInsertElement :: BuilderRef -> ValueRef -> ValueRef -> ValueRef -> CString -> IO ValueRef

buildShuffleVector :: BuilderRef -> ValueRef -> ValueRef -> ValueRef -> CString -> IO ValueRef

buildExtractValue :: BuilderRef -> ValueRef -> CUInt -> CString -> IO ValueRef

buildInsertValue :: BuilderRef -> ValueRef -> ValueRef -> CUInt -> CString -> IO ValueRef

Other helpers

addCase :: ValueRef -> ValueRef -> BasicBlockRef -> IO ()

Memory buffers

data MemoryBuffer

Instances

Typeable MemoryBuffer

type MemoryBufferRef = Ptr MemoryBuffer

createMemoryBufferWithContentsOfFile :: CString -> Ptr MemoryBufferRef -> Ptr CString -> IO CInt

createMemoryBufferWithSTDIN :: Ptr MemoryBufferRef -> Ptr CString -> IO CInt

disposeMemoryBuffer :: MemoryBufferRef -> IO ()

Error handling

disposeMessage :: CString -> IO ()

Parameter passing

addAttribute :: ValueRef -> CAttribute -> IO ()

setInstrParamAlignment :: ValueRef -> CUInt -> CUInt -> IO ()

setParamAlignment :: ValueRef -> CUInt -> IO ()

data Attribute

Constructors

ZExtAttribute

SExtAttribute

NoReturnAttribute

InRegAttribute

StructRetAttribute

NoUnwindAttribute

NoAliasAttribute

ByValAttribute

NestAttribute

ReadNoneAttribute

ReadOnlyAttribute

Instances

Bounded Attribute

Enum Attribute

Eq Attribute

Ord Attribute

Show Attribute

Typeable Attribute

fromAttribute :: Attribute -> CAttribute

toAttribute :: CAttribute -> Attribute

addInstrAttribute :: ValueRef -> CUInt -> CAttribute -> IO ()

removeFunctionAttr :: ValueRef -> CAttribute -> IO ()

removeAttribute :: ValueRef -> CAttribute -> IO ()

removeInstrAttribute :: ValueRef -> CUInt -> CAttribute -> IO ()

addFunctionAttr :: ValueRef -> CAttribute -> IO ()

Pass manager

data PassManager

Instances

Typeable PassManager

type PassManagerRef = Ptr PassManager

createFunctionPassManager :: ModuleProviderRef -> IO PassManagerRef

createPassManager :: IO PassManagerRef

ptrDisposePassManager :: FunPtr (PassManagerRef -> IO ())

finalizeFunctionPassManager :: PassManagerRef -> IO CInt

initializeFunctionPassManager :: PassManagerRef -> IO CInt

runFunctionPassManager :: PassManagerRef -> ValueRef -> IO CInt

runPassManager :: PassManagerRef -> ModuleRef -> IO CInt

Context functions

data Context

Instances

Typeable Context

type ContextRef = Ptr Context

Debug

dumpModule :: ModuleRef -> IO ()

Misc

alignOf :: TypeRef -> IO ValueRef

constInBoundsGEP :: ValueRef -> Ptr ValueRef -> CUInt -> IO ValueRef

constIntCast :: ValueRef -> TypeRef -> CUInt -> IO ValueRef

constIntOfString :: TypeRef -> CString -> CUInt -> IO ValueRef

constIntOfStringAndSize :: TypeRef -> CString -> CUInt -> CUInt -> IO ValueRef

constNSWAdd :: ValueRef -> ValueRef -> IO ValueRef

constPointerCast :: ValueRef -> TypeRef -> IO ValueRef

constPointerNull :: TypeRef -> IO ValueRef

constRealOfStringAndSize :: TypeRef -> CString -> CUInt -> IO ValueRef

constSExtOrBitCast :: ValueRef -> TypeRef -> IO ValueRef

getTypeByName :: ModuleRef -> CString -> IO TypeRef

insertIntoBuilderWithName :: BuilderRef -> ValueRef -> CString -> IO ()

Context functions

moduleCreateWithNameInContext :: CString -> ContextRef -> IO ModuleRef

appendBasicBlockInContext :: ContextRef -> ValueRef -> CString -> IO BasicBlockRef

insertBasicBlockInContext :: ContextRef -> BasicBlockRef -> CString -> IO BasicBlockRef

createBuilderInContext :: ContextRef -> IO BuilderRef

contextDispose :: ContextRef -> IO ()

constStringInContext :: ContextRef -> CString -> CUInt -> CInt -> IO ValueRef

constStructInContext :: ContextRef -> Ptr ValueRef -> CUInt -> CInt -> IO ValueRef

constTruncOrBitCast :: ValueRef -> TypeRef -> IO ValueRef

constZExtOrBitCast :: ValueRef -> TypeRef -> IO ValueRef

doubleTypeInContext :: ContextRef -> IO TypeRef

fP128TypeInContext :: ContextRef -> IO TypeRef

floatTypeInContext :: ContextRef -> IO TypeRef

int16TypeInContext :: ContextRef -> IO TypeRef

int1TypeInContext :: ContextRef -> IO TypeRef

int32TypeInContext :: ContextRef -> IO TypeRef

int64TypeInContext :: ContextRef -> IO TypeRef

int8TypeInContext :: ContextRef -> IO TypeRef

intTypeInContext :: ContextRef -> CUInt -> IO TypeRef

labelTypeInContext :: ContextRef -> IO TypeRef

opaqueTypeInContext :: ContextRef -> IO TypeRef

pPCFP128TypeInContext :: ContextRef -> IO TypeRef

structTypeInContext :: ContextRef -> Ptr TypeRef -> CUInt -> CInt -> IO TypeRef

voidTypeInContext :: ContextRef -> IO TypeRef

x86FP80TypeInContext :: ContextRef -> IO TypeRef

getTypeContext :: TypeRef -> IO ContextRef