llvm-0.8.0.2: Bindings to the LLVM compiler toolkit. Source code Contents Index

LLVM.FFI.Core Portability requires GHC 6.8, LLVM Stability experimental Maintainer bos@serpentine.com

Contents Modules Module providers Types Integer types Real types Function types Other types Array, pointer, and vector types Struct types Type handles Values Constants Global variables, functions, and aliases (globals) Global variables Functions Phi nodes Calling conventions Constants Scalar constants Composite constants Constant expressions Basic blocks Instruction building Terminators Arithmetic Memory Casts Misc Comparisons Miscellaneous instructions Other helpers Memory buffers Error handling Parameter passing Pass manager Context functions Debug Misc Context functions Build instruction from opcode Use

Description

This module provides direct access to the LLVM C bindings.

Synopsis

data 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 () data ModuleProvider type ModuleProviderRef = Ptr ModuleProvider createModuleProviderForExistingModule :: ModuleRef -> IO ModuleProviderRef ptrDisposeModuleProvider :: FunPtr (ModuleProviderRef -> IO ()) data Type type TypeRef = Ptr Type addTypeName :: ModuleRef -> CString -> TypeRef -> IO CInt deleteTypeName :: ModuleRef -> CString -> IO () getTypeKind :: TypeRef -> IO TypeKind data TypeKind = VoidTypeKind | FloatTypeKind | DoubleTypeKind | X86_FP80TypeKind | FP128TypeKind | PPC_FP128TypeKind | LabelTypeKind | IntegerTypeKind | FunctionTypeKind | StructTypeKind | ArrayTypeKind | PointerTypeKind | OpaqueTypeKind | VectorTypeKind int1Type :: TypeRef int8Type :: TypeRef int16Type :: TypeRef int32Type :: TypeRef int64Type :: TypeRef integerType :: CUInt -> TypeRef getIntTypeWidth :: TypeRef -> IO CUInt floatType :: TypeRef doubleType :: TypeRef x86FP80Type :: TypeRef fp128Type :: TypeRef ppcFP128Type :: TypeRef functionType :: TypeRef -> Ptr TypeRef -> CUInt -> CInt -> TypeRef isFunctionVarArg :: TypeRef -> IO CInt getReturnType :: TypeRef -> IO TypeRef countParamTypes :: TypeRef -> IO CUInt getParamTypes :: TypeRef -> Ptr TypeRef -> IO () voidType :: TypeRef labelType :: TypeRef opaqueType :: TypeRef arrayType :: TypeRef -> CUInt -> TypeRef pointerType :: TypeRef -> CUInt -> TypeRef vectorType :: TypeRef -> CUInt -> TypeRef getElementType :: TypeRef -> IO TypeRef getArrayLength :: TypeRef -> IO CUInt getPointerAddressSpace :: TypeRef -> IO CUInt getVectorSize :: TypeRef -> IO CUInt structType :: Ptr TypeRef -> CUInt -> CInt -> TypeRef countStructElementTypes :: TypeRef -> CUInt getStructElementTypes :: TypeRef -> Ptr TypeRef -> IO () isPackedStruct :: TypeRef -> CInt createTypeHandle :: TypeRef -> IO TypeHandleRef refineType :: TypeRef -> TypeRef -> IO () resolveTypeHandle :: TypeHandleRef -> IO TypeRef disposeTypeHandle :: TypeHandleRef -> IO () data Value type ValueRef = Ptr Value typeOf :: ValueRef -> IO TypeRef getValueName :: ValueRef -> IO CString setValueName :: ValueRef -> CString -> IO () dumpValue :: ValueRef -> IO () constNull :: TypeRef -> ValueRef constAllOnes :: TypeRef -> ValueRef getUndef :: TypeRef -> ValueRef isConstant :: ValueRef -> IO CInt isNull :: ValueRef -> IO CInt isUndef :: ValueRef -> IO CInt data Linkage = ExternalLinkage | AvailableExternallyLinkage | LinkOnceAnyLinkage | LinkOnceODRLinkage | WeakAnyLinkage | WeakODRLinkage | AppendingLinkage | InternalLinkage | PrivateLinkage | DLLImportLinkage | DLLExportLinkage | ExternalWeakLinkage | GhostLinkage | CommonLinkage | LinkerPrivateLinkage fromLinkage :: Linkage -> CUInt toLinkage :: CUInt -> Linkage getLinkage :: ValueRef -> IO CUInt setLinkage :: ValueRef -> CUInt -> IO () data Visibility = DefaultVisibility | HiddenVisibility | ProtectedVisibility 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 () 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 addFunction :: ModuleRef -> CString -> TypeRef -> IO ValueRef getNamedFunction :: ModuleRef -> CString -> IO ValueRef deleteFunction :: ValueRef -> IO () countParams :: ValueRef -> CUInt getParams :: ValueRef -> Ptr ValueRef -> IO () getParam :: ValueRef -> CUInt -> ValueRef getIntrinsicID :: ValueRef -> 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 () addIncoming :: ValueRef -> Ptr ValueRef -> Ptr ValueRef -> CUInt -> IO () countIncoming :: ValueRef -> IO CUInt getIncomingValue :: ValueRef -> CUInt -> IO ValueRef getIncomingBlock :: ValueRef -> CUInt -> IO BasicBlockRef data CallingConvention = C | Fast | Cold | X86StdCall | X86FastCall fromCallingConvention :: CallingConvention -> CUInt toCallingConvention :: CUInt -> CallingConvention getFunctionCallConv :: ValueRef -> IO CUInt setFunctionCallConv :: ValueRef -> CUInt -> IO () getInstructionCallConv :: ValueRef -> IO CUInt setInstructionCallConv :: ValueRef -> CUInt -> IO () constInt :: TypeRef -> CULLong -> CInt -> ValueRef constReal :: TypeRef -> CDouble -> ValueRef constArray :: TypeRef -> Ptr ValueRef -> CUInt -> ValueRef constString :: CString -> CUInt -> CInt -> ValueRef constStruct :: Ptr ValueRef -> CUInt -> CInt -> ValueRef constVector :: Ptr ValueRef -> CUInt -> ValueRef 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 constRealOfString :: TypeRef -> CString -> IO ValueRef constNSWMul :: ValueRef -> ValueRef -> IO ValueRef constNSWNeg :: ValueRef -> IO ValueRef constNSWSub :: ValueRef -> ValueRef -> IO ValueRef constNUWAdd :: ValueRef -> ValueRef -> IO ValueRef constNUWMul :: ValueRef -> ValueRef -> IO ValueRef constNUWNeg :: ValueRef -> IO ValueRef constNUWSub :: ValueRef -> ValueRef -> IO ValueRef type BasicBlock = Value type BasicBlockRef = Ptr BasicBlock basicBlockAsValue :: BasicBlockRef -> ValueRef valueIsBasicBlock :: ValueRef -> Bool valueAsBasicBlock :: ValueRef -> BasicBlockRef countBasicBlocks :: ValueRef -> IO CUInt getBasicBlocks :: ValueRef -> Ptr BasicBlockRef -> IO () getEntryBasicBlock :: ValueRef -> IO BasicBlockRef appendBasicBlock :: ValueRef -> CString -> IO BasicBlockRef insertBasicBlock :: BasicBlockRef -> CString -> 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 data 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 buildRetVoid :: BuilderRef -> IO ValueRef buildRet :: BuilderRef -> ValueRef -> IO ValueRef buildBr :: BuilderRef -> BasicBlockRef -> IO ValueRef buildIndirectBr :: BuilderRef -> ValueRef -> CUInt -> 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 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 buildFNeg :: BuilderRef -> ValueRef -> CString -> IO ValueRef buildNot :: BuilderRef -> ValueRef -> CString -> IO ValueRef buildNSWMul :: BuilderRef -> ValueRef -> ValueRef -> CString -> IO ValueRef buildNSWNeg :: BuilderRef -> ValueRef -> CString -> IO ValueRef buildNSWSub :: BuilderRef -> ValueRef -> ValueRef -> CString -> IO ValueRef buildNUWAdd :: BuilderRef -> ValueRef -> ValueRef -> CString -> IO ValueRef buildNUWMul :: BuilderRef -> ValueRef -> ValueRef -> CString -> IO ValueRef buildNUWNeg :: BuilderRef -> ValueRef -> CString -> IO ValueRef buildNUWSub :: BuilderRef -> ValueRef -> ValueRef -> CString -> IO ValueRef 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 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 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 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 buildICmp :: BuilderRef -> CInt -> ValueRef -> ValueRef -> CString -> IO ValueRef buildFCmp :: BuilderRef -> CInt -> ValueRef -> ValueRef -> CString -> IO ValueRef 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 addCase :: ValueRef -> ValueRef -> BasicBlockRef -> IO () data MemoryBuffer type MemoryBufferRef = Ptr MemoryBuffer createMemoryBufferWithContentsOfFile :: CString -> Ptr MemoryBufferRef -> Ptr CString -> IO CInt createMemoryBufferWithSTDIN :: Ptr MemoryBufferRef -> Ptr CString -> IO CInt disposeMemoryBuffer :: MemoryBufferRef -> IO () disposeMessage :: CString -> IO () addAttribute :: ValueRef -> CAttribute -> IO () setInstrParamAlignment :: ValueRef -> CUInt -> CUInt -> IO () setParamAlignment :: ValueRef -> CUInt -> IO () data Attribute = ZExtAttribute | SExtAttribute | NoReturnAttribute | InRegAttribute | StructRetAttribute | NoUnwindAttribute | NoAliasAttribute | ByValAttribute | NestAttribute | ReadNoneAttribute | ReadOnlyAttribute | NoInlineAttribute | AlwaysInlineAttribute | OptimizeForSizeAttribute | StackProtectAttribute | StackProtectReqAttribute | NoCaptureAttribute | NoRedZoneAttribute | NoImplicitFloatAttribute | NakedAttribute 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 () data 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 data Context type ContextRef = Ptr Context dumpModule :: ModuleRef -> IO () 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 () 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 addAlias :: ModuleRef -> TypeRef -> ValueRef -> CString -> IO ValueRef addDestination :: ValueRef -> BasicBlockRef -> IO () addGlobalInAddressSpace :: ModuleRef -> TypeRef -> CString -> CUInt -> IO ValueRef blockAddress :: ValueRef -> BasicBlockRef -> IO ValueRef clearInsertionPosition :: BuilderRef -> IO () constExtractValue :: ValueRef -> Ptr CUInt -> CUInt -> IO ValueRef constInlineAsm :: TypeRef -> CString -> CString -> Bool -> Bool -> IO ValueRef constInsertValue :: ValueRef -> ValueRef -> Ptr CUInt -> CUInt -> IO ValueRef constIntGetSExtValue :: ValueRef -> IO CLLong constIntGetZExtValue :: ValueRef -> IO CULLong constUnion :: TypeRef -> ValueRef -> IO ValueRef contextCreate :: IO ContextRef countUnionElementTypes :: TypeRef -> IO CUInt createFunctionPassManagerForModule :: ModuleRef -> IO PassManagerRef getAttribute :: ValueRef -> IO CUInt getCurrentDebugLocation :: BuilderRef -> IO ValueRef getFunctionAttr :: ValueRef -> IO CUInt getGlobalContext :: IO ContextRef getMDKindID :: CString -> CUInt -> IO CUInt getMDKindIDInContext :: ContextRef -> CString -> CUInt -> IO CUInt getMetadata :: ValueRef -> CUInt -> IO ValueRef getOperand :: ValueRef -> CUInt -> IO ValueRef getUnionElementTypes :: TypeRef -> Ptr TypeRef -> IO () hasMetadata :: ValueRef -> IO CInt insertIntoBuilder :: BuilderRef -> ValueRef -> IO () mDNode :: Ptr ValueRef -> CUInt -> IO ValueRef mDNodeInContext :: ContextRef -> Ptr ValueRef -> CUInt -> IO ValueRef mDString :: CString -> CUInt -> IO ValueRef mDStringInContext :: ContextRef -> CString -> CUInt -> IO ValueRef replaceAllUsesWith :: ValueRef -> ValueRef -> IO () setCurrentDebugLocation :: BuilderRef -> ValueRef -> IO () setInstDebugLocation :: BuilderRef -> ValueRef -> IO () setMetadata :: ValueRef -> CUInt -> ValueRef -> IO () unionTypeInContext :: ContextRef -> Ptr TypeRef -> CUInt -> IO TypeRef buildBinOp :: BuilderRef -> CUInt -> ValueRef -> ValueRef -> CString -> IO ValueRef getConstOpcode :: ValueRef -> IO CUInt buildCast :: BuilderRef -> CUInt -> ValueRef -> TypeRef -> CString -> IO ValueRef buildExtractValue :: BuilderRef -> ValueRef -> CUInt -> CString -> IO ValueRef buildInsertValue :: BuilderRef -> ValueRef -> ValueRef -> CUInt -> CString -> IO ValueRef data OpaqueUse type UseRef = Ptr OpaqueUse getFirstUse :: ValueRef -> IO UseRef getNextUse :: UseRef -> IO UseRef getUsedValue :: UseRef -> IO ValueRef getUser :: UseRef -> IO ValueRef

Modules

data Module Source

type ModuleRef = Ptr Module Source

moduleCreateWithName :: CString -> IO ModuleRef Source

disposeModule :: ModuleRef -> IO () Source

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

getDataLayout :: ModuleRef -> IO CString Source

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

getTarget :: ModuleRef -> IO CString Source

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

Module providers

data ModuleProvider Source

type ModuleProviderRef = Ptr ModuleProvider Source

createModuleProviderForExistingModule :: ModuleRef -> IO ModuleProviderRef Source

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

Types

data Type Source

type TypeRef = Ptr Type Source

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

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

getTypeKind :: TypeRef -> IO TypeKind Source

data TypeKind Source

Constructors VoidTypeKind FloatTypeKind DoubleTypeKind X86_FP80TypeKind FP128TypeKind PPC_FP128TypeKind LabelTypeKind IntegerTypeKind FunctionTypeKind StructTypeKind ArrayTypeKind PointerTypeKind OpaqueTypeKind VectorTypeKind

Integer types

int1Type :: TypeRef Source

int8Type :: TypeRef Source

int16Type :: TypeRef Source

int32Type :: TypeRef Source

int64Type :: TypeRef Source

integerType Source

:: CUInt width in bits -> TypeRef An integer type of the given width.

getIntTypeWidth :: TypeRef -> IO CUInt Source

Real types

floatType :: TypeRef Source

doubleType :: TypeRef Source

x86FP80Type :: TypeRef Source

fp128Type :: TypeRef Source

ppcFP128Type :: TypeRef Source

Function types

functionType Source

:: 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 Source

Indicate whether a function takes varargs.

getReturnType :: TypeRef -> IO TypeRef Source

Give a function's return type.

countParamTypes :: TypeRef -> IO CUInt Source

Give the number of fixed parameters that a function takes.

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

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

Other types

voidType :: TypeRef Source

labelType :: TypeRef Source

opaqueType :: TypeRef Source

Array, pointer, and vector types

arrayType Source

:: TypeRef element type -> CUInt element count -> TypeRef

pointerType Source

:: TypeRef pointed-to type -> CUInt address space -> TypeRef

vectorType Source

:: TypeRef element type -> CUInt element count -> TypeRef

getElementType :: TypeRef -> IO TypeRef Source

Get the type of a sequential type's elements.

getArrayLength :: TypeRef -> IO CUInt Source

getPointerAddressSpace :: TypeRef -> IO CUInt Source

getVectorSize :: TypeRef -> IO CUInt Source

Struct types

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

countStructElementTypes :: TypeRef -> CUInt Source

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

isPackedStruct :: TypeRef -> CInt Source

Type handles

createTypeHandle :: TypeRef -> IO TypeHandleRef Source

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

resolveTypeHandle :: TypeHandleRef -> IO TypeRef Source

disposeTypeHandle :: TypeHandleRef -> IO () Source

Values

data Value Source

type ValueRef = Ptr Value Source

typeOf :: ValueRef -> IO TypeRef Source

getValueName :: ValueRef -> IO CString Source

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

dumpValue :: ValueRef -> IO () Source

Constants

constNull :: TypeRef -> ValueRef Source

constAllOnes :: TypeRef -> ValueRef Source

getUndef :: TypeRef -> ValueRef Source

isConstant :: ValueRef -> IO CInt Source

isNull :: ValueRef -> IO CInt Source

isUndef :: ValueRef -> IO CInt Source

Global variables, functions, and aliases (globals)

data Linkage Source

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.

fromLinkage :: Linkage -> CUInt Source

toLinkage :: CUInt -> Linkage Source

getLinkage :: ValueRef -> IO CUInt Source

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

data Visibility Source

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

fromVisibility :: Visibility -> CUInt Source

toVisibility :: CUInt -> Visibility Source

getVisibility :: ValueRef -> IO CUInt Source

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

isDeclaration :: ValueRef -> IO CInt Source

getSection :: ValueRef -> IO CString Source

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

getAlignment :: ValueRef -> IO CUInt Source

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

Global variables

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

getNamedGlobal :: ModuleRef -> CString -> IO ValueRef Source

deleteGlobal :: ValueRef -> IO () Source

getInitializer :: ValueRef -> IO ValueRef Source

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

isThreadLocal :: ValueRef -> IO CInt Source

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

isGlobalConstant :: ValueRef -> IO CInt Source

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

getFirstGlobal :: ModuleRef -> IO ValueRef Source

getNextGlobal :: ValueRef -> IO ValueRef Source

getPreviousGlobal :: ValueRef -> IO ValueRef Source

getLastGlobal :: ModuleRef -> IO ValueRef Source

getGlobalParent :: ValueRef -> IO ModuleRef Source

Functions

addFunction Source

:: ModuleRef module -> CString name -> TypeRef type -> IO ValueRef

getNamedFunction Source

:: ModuleRef module -> CString name -> IO ValueRef function (nullPtr if not found)

deleteFunction Source

:: ValueRef function -> IO ()

countParams Source

:: ValueRef function -> CUInt

getParams Source

:: ValueRef function -> Ptr ValueRef array to fill out -> IO ()

getParam Source

:: ValueRef function -> CUInt offset into array -> ValueRef

getIntrinsicID Source

:: ValueRef function -> CUInt

getGC :: ValueRef -> IO CString Source

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

getFirstFunction :: ModuleRef -> IO ValueRef Source

getNextFunction :: ValueRef -> IO ValueRef Source

getPreviousFunction :: ValueRef -> IO ValueRef Source

getLastFunction :: ModuleRef -> IO ValueRef Source

getFirstParam :: ValueRef -> IO ValueRef Source

getNextParam :: ValueRef -> IO ValueRef Source

getPreviousParam :: ValueRef -> IO ValueRef Source

getLastParam :: ValueRef -> IO ValueRef Source

getParamParent :: ValueRef -> IO ValueRef Source

isTailCall :: ValueRef -> IO CInt Source

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

Phi nodes

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

countIncoming :: ValueRef -> IO CUInt Source

getIncomingValue :: ValueRef -> CUInt -> IO ValueRef Source

getIncomingBlock :: ValueRef -> CUInt -> IO BasicBlockRef Source

Calling conventions

data CallingConvention Source

Constructors C Fast Cold X86StdCall X86FastCall

fromCallingConvention :: CallingConvention -> CUInt Source

toCallingConvention :: CUInt -> CallingConvention Source

getFunctionCallConv Source

:: ValueRef function -> IO CUInt

setFunctionCallConv Source

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

getInstructionCallConv :: ValueRef -> IO CUInt Source

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

Constants

Scalar constants

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

constReal :: TypeRef -> CDouble -> ValueRef Source

Composite constants

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

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

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

constVector :: Ptr ValueRef -> CUInt -> ValueRef Source

Constant expressions

sizeOf :: TypeRef -> IO ValueRef Source

constNeg :: ValueRef -> ValueRef Source

constNot :: ValueRef -> ValueRef Source

constAdd :: ValueRef -> ValueRef -> ValueRef Source

constSub :: ValueRef -> ValueRef -> ValueRef Source

constMul :: ValueRef -> ValueRef -> ValueRef Source

constExactSDiv :: ValueRef -> ValueRef -> IO ValueRef Source

constFAdd :: ValueRef -> ValueRef -> ValueRef Source

constFMul :: ValueRef -> ValueRef -> ValueRef Source

constFNeg :: ValueRef -> ValueRef Source

constFPCast :: ValueRef -> TypeRef -> ValueRef Source

constFSub :: ValueRef -> ValueRef -> ValueRef Source

constUDiv :: ValueRef -> ValueRef -> ValueRef Source

constSDiv :: ValueRef -> ValueRef -> ValueRef Source

constFDiv :: ValueRef -> ValueRef -> ValueRef Source

constURem :: ValueRef -> ValueRef -> ValueRef Source

constSRem :: ValueRef -> ValueRef -> ValueRef Source

constFRem :: ValueRef -> ValueRef -> ValueRef Source

constAnd :: ValueRef -> ValueRef -> ValueRef Source

constOr :: ValueRef -> ValueRef -> ValueRef Source

constXor :: ValueRef -> ValueRef -> ValueRef Source

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

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

constShl :: ValueRef -> ValueRef -> ValueRef Source

constLShr :: ValueRef -> ValueRef -> ValueRef Source

constAShr :: ValueRef -> ValueRef -> ValueRef Source

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

constTrunc :: ValueRef -> TypeRef -> ValueRef Source

constSExt :: ValueRef -> TypeRef -> ValueRef Source

constZExt :: ValueRef -> TypeRef -> ValueRef Source

constFPTrunc :: ValueRef -> TypeRef -> ValueRef Source

constFPExt :: ValueRef -> TypeRef -> ValueRef Source

constUIToFP :: ValueRef -> TypeRef -> ValueRef Source

constSIToFP :: ValueRef -> TypeRef -> ValueRef Source

constFPToUI :: ValueRef -> TypeRef -> ValueRef Source

constFPToSI :: ValueRef -> TypeRef -> ValueRef Source

constPtrToInt :: ValueRef -> TypeRef -> ValueRef Source

constIntToPtr :: ValueRef -> TypeRef -> ValueRef Source

constBitCast :: ValueRef -> TypeRef -> ValueRef Source

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

constExtractElement :: ValueRef -> ValueRef -> ValueRef Source

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

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

constRealOfString :: TypeRef -> CString -> IO ValueRef Source

constNSWMul :: ValueRef -> ValueRef -> IO ValueRef Source

constNSWNeg :: ValueRef -> IO ValueRef Source

constNSWSub :: ValueRef -> ValueRef -> IO ValueRef Source

constNUWAdd :: ValueRef -> ValueRef -> IO ValueRef Source

constNUWMul :: ValueRef -> ValueRef -> IO ValueRef Source

constNUWNeg :: ValueRef -> IO ValueRef Source

constNUWSub :: ValueRef -> ValueRef -> IO ValueRef Source

Basic blocks

type BasicBlock = Value Source

type BasicBlockRef = Ptr BasicBlock Source

basicBlockAsValue :: BasicBlockRef -> ValueRef Source

valueIsBasicBlock :: ValueRef -> Bool Source

valueAsBasicBlock Source

:: ValueRef basic block -> BasicBlockRef

countBasicBlocks Source

:: ValueRef function -> IO CUInt

getBasicBlocks Source

:: ValueRef function -> Ptr BasicBlockRef array to fill out -> IO ()

getEntryBasicBlock Source

:: ValueRef function -> IO BasicBlockRef

appendBasicBlock Source

:: ValueRef function -> CString name for label -> IO BasicBlockRef

insertBasicBlock Source

:: BasicBlockRef insert before this one -> CString name for label -> IO BasicBlockRef

deleteBasicBlock :: BasicBlockRef -> IO () Source

getFirstBasicBlock :: ValueRef -> IO BasicBlockRef Source

getNextBasicBlock :: BasicBlockRef -> IO BasicBlockRef Source

getPreviousBasicBlock :: BasicBlockRef -> IO BasicBlockRef Source

getLastBasicBlock :: ValueRef -> IO BasicBlockRef Source

getInsertBlock :: BuilderRef -> IO BasicBlockRef Source

getBasicBlockParent :: BasicBlockRef -> IO ValueRef Source

Instruction building

data Builder Source

type BuilderRef = Ptr Builder Source

createBuilder :: IO BuilderRef Source

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

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

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

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

getFirstInstruction :: BasicBlockRef -> IO ValueRef Source

getNextInstruction :: ValueRef -> IO ValueRef Source

getPreviousInstruction :: ValueRef -> IO ValueRef Source

getLastInstruction :: BasicBlockRef -> IO ValueRef Source

getInstructionParent :: ValueRef -> IO BasicBlockRef Source

Terminators

buildRetVoid :: BuilderRef -> IO ValueRef Source

buildRet :: BuilderRef -> ValueRef -> IO ValueRef Source

buildBr :: BuilderRef -> BasicBlockRef -> IO ValueRef Source

buildIndirectBr :: BuilderRef -> ValueRef -> CUInt -> IO ValueRef Source

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

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

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

buildUnwind :: BuilderRef -> IO ValueRef Source

buildUnreachable :: BuilderRef -> IO ValueRef Source

Arithmetic

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

buildFNeg :: BuilderRef -> ValueRef -> CString -> IO ValueRef Source

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

buildNSWMul :: BuilderRef -> ValueRef -> ValueRef -> CString -> IO ValueRef Source

buildNSWNeg :: BuilderRef -> ValueRef -> CString -> IO ValueRef Source

buildNSWSub :: BuilderRef -> ValueRef -> ValueRef -> CString -> IO ValueRef Source

buildNUWAdd :: BuilderRef -> ValueRef -> ValueRef -> CString -> IO ValueRef Source

buildNUWMul :: BuilderRef -> ValueRef -> ValueRef -> CString -> IO ValueRef Source

buildNUWNeg :: BuilderRef -> ValueRef -> CString -> IO ValueRef Source

buildNUWSub :: BuilderRef -> ValueRef -> ValueRef -> CString -> IO ValueRef Source

Memory

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

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

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

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

buildFree :: BuilderRef -> ValueRef -> IO ValueRef Source

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

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

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

Casts

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Misc

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

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

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

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

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

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

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

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

Comparisons

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

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

Miscellaneous instructions

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

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

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

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

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

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

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

Other helpers

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

Memory buffers

data MemoryBuffer Source

type MemoryBufferRef = Ptr MemoryBuffer Source

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

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

disposeMemoryBuffer :: MemoryBufferRef -> IO () Source

Error handling

disposeMessage :: CString -> IO () Source

Parameter passing

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

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

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

data Attribute Source

Constructors ZExtAttribute SExtAttribute NoReturnAttribute InRegAttribute StructRetAttribute NoUnwindAttribute NoAliasAttribute ByValAttribute NestAttribute ReadNoneAttribute ReadOnlyAttribute NoInlineAttribute AlwaysInlineAttribute OptimizeForSizeAttribute StackProtectAttribute StackProtectReqAttribute NoCaptureAttribute NoRedZoneAttribute NoImplicitFloatAttribute NakedAttribute

fromAttribute :: Attribute -> CAttribute Source

toAttribute :: CAttribute -> Attribute Source

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

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

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

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

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

Pass manager

data PassManager Source

type PassManagerRef = Ptr PassManager Source

createFunctionPassManager :: ModuleProviderRef -> IO PassManagerRef Source

createPassManager :: IO PassManagerRef Source

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

finalizeFunctionPassManager :: PassManagerRef -> IO CInt Source

initializeFunctionPassManager :: PassManagerRef -> IO CInt Source

runFunctionPassManager :: PassManagerRef -> ValueRef -> IO CInt Source

runPassManager :: PassManagerRef -> ModuleRef -> IO CInt Source

Context functions

data Context Source

type ContextRef = Ptr Context Source

Debug

dumpModule :: ModuleRef -> IO () Source

Misc

alignOf :: TypeRef -> IO ValueRef Source

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

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

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

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

constNSWAdd :: ValueRef -> ValueRef -> IO ValueRef Source

constPointerCast :: ValueRef -> TypeRef -> IO ValueRef Source

constPointerNull :: TypeRef -> IO ValueRef Source

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

constSExtOrBitCast :: ValueRef -> TypeRef -> IO ValueRef Source

getTypeByName :: ModuleRef -> CString -> IO TypeRef Source

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

Context functions

moduleCreateWithNameInContext :: CString -> ContextRef -> IO ModuleRef Source

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

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

createBuilderInContext :: ContextRef -> IO BuilderRef Source

contextDispose :: ContextRef -> IO () Source

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

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

constTruncOrBitCast :: ValueRef -> TypeRef -> IO ValueRef Source

constZExtOrBitCast :: ValueRef -> TypeRef -> IO ValueRef Source

doubleTypeInContext :: ContextRef -> IO TypeRef Source

fP128TypeInContext :: ContextRef -> IO TypeRef Source

floatTypeInContext :: ContextRef -> IO TypeRef Source

int16TypeInContext :: ContextRef -> IO TypeRef Source

int1TypeInContext :: ContextRef -> IO TypeRef Source

int32TypeInContext :: ContextRef -> IO TypeRef Source

int64TypeInContext :: ContextRef -> IO TypeRef Source

int8TypeInContext :: ContextRef -> IO TypeRef Source

intTypeInContext :: ContextRef -> CUInt -> IO TypeRef Source

labelTypeInContext :: ContextRef -> IO TypeRef Source

opaqueTypeInContext :: ContextRef -> IO TypeRef Source

pPCFP128TypeInContext :: ContextRef -> IO TypeRef Source

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

voidTypeInContext :: ContextRef -> IO TypeRef Source

x86FP80TypeInContext :: ContextRef -> IO TypeRef Source

getTypeContext :: TypeRef -> IO ContextRef Source

addAlias :: ModuleRef -> TypeRef -> ValueRef -> CString -> IO ValueRef Source

addDestination :: ValueRef -> BasicBlockRef -> IO () Source

addGlobalInAddressSpace :: ModuleRef -> TypeRef -> CString -> CUInt -> IO ValueRef Source

blockAddress :: ValueRef -> BasicBlockRef -> IO ValueRef Source

clearInsertionPosition :: BuilderRef -> IO () Source

constExtractValue :: ValueRef -> Ptr CUInt -> CUInt -> IO ValueRef Source

constInlineAsm :: TypeRef -> CString -> CString -> Bool -> Bool -> IO ValueRef Source

constInsertValue :: ValueRef -> ValueRef -> Ptr CUInt -> CUInt -> IO ValueRef Source

constIntGetSExtValue :: ValueRef -> IO CLLong Source

constIntGetZExtValue :: ValueRef -> IO CULLong Source

constUnion :: TypeRef -> ValueRef -> IO ValueRef Source

contextCreate :: IO ContextRef Source

countUnionElementTypes :: TypeRef -> IO CUInt Source

createFunctionPassManagerForModule :: ModuleRef -> IO PassManagerRef Source

getAttribute :: ValueRef -> IO CUInt Source

getCurrentDebugLocation :: BuilderRef -> IO ValueRef Source

getFunctionAttr :: ValueRef -> IO CUInt Source

getGlobalContext :: IO ContextRef Source

getMDKindID :: CString -> CUInt -> IO CUInt Source

getMDKindIDInContext :: ContextRef -> CString -> CUInt -> IO CUInt Source

getMetadata :: ValueRef -> CUInt -> IO ValueRef Source

getOperand :: ValueRef -> CUInt -> IO ValueRef Source

getUnionElementTypes :: TypeRef -> Ptr TypeRef -> IO () Source

hasMetadata :: ValueRef -> IO CInt Source

insertIntoBuilder :: BuilderRef -> ValueRef -> IO () Source

mDNode :: Ptr ValueRef -> CUInt -> IO ValueRef Source

mDNodeInContext :: ContextRef -> Ptr ValueRef -> CUInt -> IO ValueRef Source

mDString :: CString -> CUInt -> IO ValueRef Source

mDStringInContext :: ContextRef -> CString -> CUInt -> IO ValueRef Source

replaceAllUsesWith :: ValueRef -> ValueRef -> IO () Source

setCurrentDebugLocation :: BuilderRef -> ValueRef -> IO () Source

setInstDebugLocation :: BuilderRef -> ValueRef -> IO () Source

setMetadata :: ValueRef -> CUInt -> ValueRef -> IO () Source

unionTypeInContext :: ContextRef -> Ptr TypeRef -> CUInt -> IO TypeRef Source

Build instruction from opcode

buildBinOp :: BuilderRef -> CUInt -> ValueRef -> ValueRef -> CString -> IO ValueRef Source

getConstOpcode :: ValueRef -> IO CUInt Source

buildCast :: BuilderRef -> CUInt -> ValueRef -> TypeRef -> CString -> IO ValueRef Source

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

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

Use

data OpaqueUse Source

type UseRef = Ptr OpaqueUse Source

getFirstUse :: ValueRef -> IO UseRef Source

getNextUse :: UseRef -> IO UseRef Source

getUsedValue :: UseRef -> IO ValueRef Source

getUser :: UseRef -> IO ValueRef Source

Produced by Haddock version 2.6.0