LLVM.FFI.Core

Raw.Module: LLVM.FFI.Core Copyright: Bryan O'Sullivan 2007, 2008 License: BSD-style (see the file LICENSE)

Maintainer: [e-mail] Stability: experimental Portability: requires GHC 6.8, LLVM

This module provides direct access to the LLVM C bindings.

Documentation

initializeCore :: PassRegistryRef -> IO ()

version :: Int

Version of LLVM we have linked to.

Boolean values

newtype Bool

Constructors

Bool Int32

Instances

Enum Bool

Defined in LLVM.FFI.Base

Methods

succ :: Bool -> Bool

pred :: Bool -> Bool

toEnum :: Int -> Bool

fromEnum :: Bool -> Int

enumFrom :: Bool -> [Bool]

enumFromThen :: Bool -> Bool -> [Bool]

enumFromTo :: Bool -> Bool -> [Bool]

enumFromThenTo :: Bool -> Bool -> Bool -> [Bool]

Eq Bool

Defined in LLVM.FFI.Base

Methods

(==) :: Bool -> Bool -> Bool0

(/=) :: Bool -> Bool -> Bool0

Show Bool

Defined in LLVM.FFI.Base

Methods

showsPrec :: Int -> Bool -> ShowS

show :: Bool -> String

showList :: [Bool] -> ShowS

false :: Bool

true :: Bool

consBool :: Bool -> Bool

deconsBool :: Bool -> Bool

Error handling

disposeMessage :: CString -> IO ()

Raw.Context functions

data Context

type ContextRef = Ptr Context

contextCreate :: IO ContextRef

contextDispose :: ContextRef -> IO ()

getGlobalContext :: IO ContextRef

getMDKindID :: CString -> CUInt -> IO CUInt

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

Modules

data Module

type ModuleRef = Ptr Module

moduleCreateWithName :: CString -> IO ModuleRef

moduleCreateWithNameInContext :: CString -> ContextRef -> IO ModuleRef

disposeModule :: ModuleRef -> IO ()

ptrDisposeModule :: FinalizerPtr Module

getDataLayout :: ModuleRef -> IO CString

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

getTarget :: ModuleRef -> IO CString

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

defaultTargetTriple :: String

hostTriple :: String

dumpModule :: ModuleRef -> IO ()

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

getModuleContext :: ModuleRef -> IO ContextRef

Types

data Type

type TypeRef = Ptr Type

data TypeKind

Constructors

VoidTypeKind

FloatTypeKind

DoubleTypeKind

X86_FP80TypeKind

FP128TypeKind

PPC_FP128TypeKind

LabelTypeKind

IntegerTypeKind

FunctionTypeKind

StructTypeKind

ArrayTypeKind

PointerTypeKind

OpaqueTypeKind

VectorTypeKind

Instances

Bounded TypeKind

Defined in LLVM.FFI.Core

Methods

minBound :: TypeKind

maxBound :: TypeKind

Enum TypeKind

Defined in LLVM.FFI.Core

Methods

succ :: TypeKind -> TypeKind

pred :: TypeKind -> TypeKind

toEnum :: Int -> TypeKind

fromEnum :: TypeKind -> Int

enumFrom :: TypeKind -> [TypeKind]

enumFromThen :: TypeKind -> TypeKind -> [TypeKind]

enumFromTo :: TypeKind -> TypeKind -> [TypeKind]

enumFromThenTo :: TypeKind -> TypeKind -> TypeKind -> [TypeKind]

Eq TypeKind

Defined in LLVM.FFI.Core

Methods

(==) :: TypeKind -> TypeKind -> Bool

(/=) :: TypeKind -> TypeKind -> Bool

Ord TypeKind

Defined in LLVM.FFI.Core

Methods

compare :: TypeKind -> TypeKind -> Ordering

(<) :: TypeKind -> TypeKind -> Bool

(<=) :: TypeKind -> TypeKind -> Bool

(>) :: TypeKind -> TypeKind -> Bool

(>=) :: TypeKind -> TypeKind -> Bool

max :: TypeKind -> TypeKind -> TypeKind

min :: TypeKind -> TypeKind -> TypeKind

Read TypeKind

Defined in LLVM.FFI.Core

Methods

readsPrec :: Int -> ReadS TypeKind

readList :: ReadS [TypeKind]

readPrec :: ReadPrec TypeKind

readListPrec :: ReadPrec [TypeKind]

Show TypeKind

Defined in LLVM.FFI.Core

Methods

showsPrec :: Int -> TypeKind -> ShowS

show :: TypeKind -> String

showList :: [TypeKind] -> ShowS

getTypeKind :: TypeRef -> IO TypeKind

typeIsSized :: TypeRef -> IO Bool

getTypeContext :: TypeRef -> IO ContextRef

Integer types

int1TypeInContext :: ContextRef -> IO TypeRef

int8TypeInContext :: ContextRef -> IO TypeRef

int16TypeInContext :: ContextRef -> IO TypeRef

int32TypeInContext :: ContextRef -> IO TypeRef

int64TypeInContext :: ContextRef -> IO TypeRef

intTypeInContext :: ContextRef -> CUInt -> IO TypeRef

int1Type :: IO TypeRef

int8Type :: IO TypeRef

int16Type :: IO TypeRef

int32Type :: IO TypeRef

int64Type :: IO TypeRef

integerType :: CUInt -> IO TypeRef

getIntTypeWidth :: TypeRef -> IO CUInt

Real types

floatTypeInContext :: ContextRef -> IO TypeRef

doubleTypeInContext :: ContextRef -> IO TypeRef

x86FP80TypeInContext :: ContextRef -> IO TypeRef

fp128TypeInContext :: ContextRef -> IO TypeRef

ppcFP128TypeInContext :: ContextRef -> IO TypeRef

floatType :: IO TypeRef

doubleType :: IO TypeRef

x86FP80Type :: IO TypeRef

fp128Type :: IO TypeRef

ppcFP128Type :: IO TypeRef

Function types

functionType

Arguments

:: TypeRef

return type

-> Ptr TypeRef

array of argument types

-> CUInt

number of elements in array

-> Bool

non-zero if function is varargs

-> IO TypeRef

Create a function type.

isFunctionVarArg :: TypeRef -> IO Bool

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.

Struct types

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

structType :: Ptr TypeRef -> CUInt -> Bool -> IO TypeRef

structCreateNamed :: ContextRef -> CString -> IO TypeRef

getStructName :: TypeRef -> IO CString

structSetBody :: TypeRef -> Ptr TypeRef -> CUInt -> Bool -> IO ()

countStructElementTypes :: TypeRef -> IO CUInt

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

isPackedStruct :: TypeRef -> IO Bool

isOpaqueStruct :: TypeRef -> IO Bool

getTypeByName :: ModuleRef -> CString -> IO TypeRef

Array, pointer, and vector types

arrayType

Arguments

:: TypeRef

element type

-> CUInt

element count

-> IO TypeRef

pointerType

Arguments

:: TypeRef

pointed-to type

-> CUInt

address space

-> IO TypeRef

vectorType

Arguments

:: TypeRef

element type

-> CUInt

element count

-> IO 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

Other types

voidTypeInContext :: ContextRef -> IO TypeRef

labelTypeInContext :: ContextRef -> IO TypeRef

x86MMXTypeInContext :: ContextRef -> IO TypeRef

voidType :: IO TypeRef

labelType :: IO TypeRef

x86MMXType :: IO TypeRef

Values

data Value

type ValueRef = Ptr Value

typeOf :: ValueRef -> IO TypeRef

getValueName :: ValueRef -> IO CString

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

dumpValue :: ValueRef -> IO ()

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

hasMetadata :: ValueRef -> IO Bool

getMetadata :: ValueRef -> CUInt -> IO ValueRef

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

Uses

data OpaqueUse

type UseRef = Ptr OpaqueUse

getFirstUse :: ValueRef -> IO UseRef

getNextUse :: UseRef -> IO UseRef

getUser :: UseRef -> IO ValueRef

getUsedValue :: UseRef -> IO ValueRef

Users

getOperand :: ValueRef -> CUInt -> IO ValueRef

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

getNumOperands :: ValueRef -> IO CUInt

Constants

constNull :: TypeRef -> IO ValueRef

constAllOnes :: TypeRef -> IO ValueRef

getUndef :: TypeRef -> IO ValueRef

isConstant :: ValueRef -> IO Bool

isNull :: ValueRef -> IO Bool

isUndef :: ValueRef -> IO Bool

constPointerNull :: TypeRef -> IO ValueRef

Metadata

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

mDString :: CString -> CUInt -> IO ValueRef

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

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

getMDString :: ValueRef -> Ptr CUInt -> IO CString

getNamedMetadataNumOperands :: ModuleRef -> CString -> IO CUInt

getNamedMetadataOperands :: ModuleRef -> CString -> Ptr ValueRef -> IO ()

Scalar constants

constInt :: TypeRef -> CULLong -> Bool -> IO ValueRef

constIntOfArbitraryPrecision :: TypeRef -> CUInt -> Ptr Word64 -> IO ValueRef

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

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

constReal :: TypeRef -> CDouble -> IO ValueRef

constRealOfString :: TypeRef -> CString -> IO ValueRef

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

constIntGetZExtValue :: ValueRef -> IO CULLong

constIntGetSExtValue :: ValueRef -> IO CLLong

Composite constants

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

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

constString :: CString -> CUInt -> Bool -> IO ValueRef

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

constStruct :: Ptr ValueRef -> CUInt -> Bool -> IO ValueRef

constNamedStruct :: TypeRef -> Ptr ValueRef -> CUInt -> IO ValueRef

constVector :: Ptr ValueRef -> CUInt -> IO ValueRef

Constant Expressions

getConstOpcode :: ValueRef -> IO Opcode

alignOf :: TypeRef -> IO ValueRef

sizeOf :: TypeRef -> IO ValueRef

constNeg :: ValueRef -> IO ValueRef

constNUWNeg :: ValueRef -> IO ValueRef

constNSWNeg :: ValueRef -> IO ValueRef

constFNeg :: ValueRef -> IO ValueRef

constNot :: ValueRef -> IO ValueRef

constAdd :: ValueRef -> ValueRef -> IO ValueRef

constNSWAdd :: ValueRef -> ValueRef -> IO ValueRef

constNUWAdd :: ValueRef -> ValueRef -> IO ValueRef

constFAdd :: ValueRef -> ValueRef -> IO ValueRef

constSub :: ValueRef -> ValueRef -> IO ValueRef

constNSWSub :: ValueRef -> ValueRef -> IO ValueRef

constNUWSub :: ValueRef -> ValueRef -> IO ValueRef

constFSub :: ValueRef -> ValueRef -> IO ValueRef

constMul :: ValueRef -> ValueRef -> IO ValueRef

constNSWMul :: ValueRef -> ValueRef -> IO ValueRef

constNUWMul :: ValueRef -> ValueRef -> IO ValueRef

constFMul :: ValueRef -> ValueRef -> IO ValueRef

constUDiv :: ValueRef -> ValueRef -> IO ValueRef

constSDiv :: ValueRef -> ValueRef -> IO ValueRef

constExactSDiv :: ValueRef -> ValueRef -> IO ValueRef

constFDiv :: ValueRef -> ValueRef -> IO ValueRef

constURem :: ValueRef -> ValueRef -> IO ValueRef

constSRem :: ValueRef -> ValueRef -> IO ValueRef

constFRem :: ValueRef -> ValueRef -> IO ValueRef

constAnd :: ValueRef -> ValueRef -> IO ValueRef

constOr :: ValueRef -> ValueRef -> IO ValueRef

constXor :: ValueRef -> ValueRef -> IO ValueRef

constICmp :: IntPredicate -> ValueRef -> ValueRef -> IO ValueRef

constFCmp :: RealPredicate -> ValueRef -> ValueRef -> IO ValueRef

constShl :: ValueRef -> ValueRef -> IO ValueRef

constLShr :: ValueRef -> ValueRef -> IO ValueRef

constAShr :: ValueRef -> ValueRef -> IO ValueRef

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

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

constTrunc :: ValueRef -> TypeRef -> IO ValueRef

constSExt :: ValueRef -> TypeRef -> IO ValueRef

constZExt :: ValueRef -> TypeRef -> IO ValueRef

constFPTrunc :: ValueRef -> TypeRef -> IO ValueRef

constFPExt :: ValueRef -> TypeRef -> IO ValueRef

constUIToFP :: ValueRef -> TypeRef -> IO ValueRef

constSIToFP :: ValueRef -> TypeRef -> IO ValueRef

constFPToUI :: ValueRef -> TypeRef -> IO ValueRef

constFPToSI :: ValueRef -> TypeRef -> IO ValueRef

constPtrToInt :: ValueRef -> TypeRef -> IO ValueRef

constIntToPtr :: ValueRef -> TypeRef -> IO ValueRef

constBitCast :: ValueRef -> TypeRef -> IO ValueRef

constZExtOrBitCast :: ValueRef -> TypeRef -> IO ValueRef

constSExtOrBitCast :: ValueRef -> TypeRef -> IO ValueRef

constTruncOrBitCast :: ValueRef -> TypeRef -> IO ValueRef

constPointerCast :: ValueRef -> TypeRef -> IO ValueRef

constIntCast :: ValueRef -> TypeRef -> Bool -> IO ValueRef

constFPCast :: ValueRef -> TypeRef -> IO ValueRef

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

constExtractElement :: ValueRef -> ValueRef -> IO ValueRef

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

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

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

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

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

blockAddress :: ValueRef -> BasicBlockRef -> IO ValueRef

Comparison predicates

data IntPredicate

Constructors

IntEQ

equal

IntNE

not equal

IntUGT

unsigned greater than

IntUGE

unsigned greater or equal

IntULT

unsigned less than

IntULE

unsigned less or equal

IntSGT

signed greater than

IntSGE

signed greater or equal

IntSLT

signed less than

IntSLE

signed less or equal

Instances

Enum IntPredicate

Defined in LLVM.FFI.Core

Methods

succ :: IntPredicate -> IntPredicate

pred :: IntPredicate -> IntPredicate

toEnum :: Int -> IntPredicate

fromEnum :: IntPredicate -> Int

enumFrom :: IntPredicate -> [IntPredicate]

enumFromThen :: IntPredicate -> IntPredicate -> [IntPredicate]

enumFromTo :: IntPredicate -> IntPredicate -> [IntPredicate]

enumFromThenTo :: IntPredicate -> IntPredicate -> IntPredicate -> [IntPredicate]

Eq IntPredicate

Defined in LLVM.FFI.Core

Methods

(==) :: IntPredicate -> IntPredicate -> Bool

(/=) :: IntPredicate -> IntPredicate -> Bool

Ord IntPredicate

Defined in LLVM.FFI.Core

Methods

compare :: IntPredicate -> IntPredicate -> Ordering

(<) :: IntPredicate -> IntPredicate -> Bool

(<=) :: IntPredicate -> IntPredicate -> Bool

(>) :: IntPredicate -> IntPredicate -> Bool

(>=) :: IntPredicate -> IntPredicate -> Bool

max :: IntPredicate -> IntPredicate -> IntPredicate

min :: IntPredicate -> IntPredicate -> IntPredicate

Show IntPredicate

Defined in LLVM.FFI.Core

Methods

showsPrec :: Int -> IntPredicate -> ShowS

show :: IntPredicate -> String

showList :: [IntPredicate] -> ShowS

fromIntPredicate :: IntPredicate -> IntPredicate

toIntPredicate :: IntPredicate -> IntPredicate

data FPPredicate

Constructors

FPFalse

Always false (always folded)

FPOEQ

True if ordered and equal

FPOGT

True if ordered and greater than

FPOGE

True if ordered and greater than or equal

FPOLT

True if ordered and less than

FPOLE

True if ordered and less than or equal

FPONE

True if ordered and operands are unequal

FPORD

True if ordered (no nans)

FPUNO

True if unordered: isnan(X) | isnan(Y)

FPUEQ

True if unordered or equal

FPUGT

True if unordered or greater than

FPUGE

True if unordered, greater than, or equal

FPULT

True if unordered or less than

FPULE

True if unordered, less than, or equal

FPUNE

True if unordered or not equal

FPTrue

Always true (always folded)

Instances

Enum FPPredicate

Defined in LLVM.FFI.Core

Methods

succ :: FPPredicate -> FPPredicate

pred :: FPPredicate -> FPPredicate

toEnum :: Int -> FPPredicate

fromEnum :: FPPredicate -> Int

enumFrom :: FPPredicate -> [FPPredicate]

enumFromThen :: FPPredicate -> FPPredicate -> [FPPredicate]

enumFromTo :: FPPredicate -> FPPredicate -> [FPPredicate]

enumFromThenTo :: FPPredicate -> FPPredicate -> FPPredicate -> [FPPredicate]

Eq FPPredicate

Defined in LLVM.FFI.Core

Methods

(==) :: FPPredicate -> FPPredicate -> Bool

(/=) :: FPPredicate -> FPPredicate -> Bool

Ord FPPredicate

Defined in LLVM.FFI.Core

Methods

compare :: FPPredicate -> FPPredicate -> Ordering

(<) :: FPPredicate -> FPPredicate -> Bool

(<=) :: FPPredicate -> FPPredicate -> Bool

(>) :: FPPredicate -> FPPredicate -> Bool

(>=) :: FPPredicate -> FPPredicate -> Bool

max :: FPPredicate -> FPPredicate -> FPPredicate

min :: FPPredicate -> FPPredicate -> FPPredicate

Show FPPredicate

Defined in LLVM.FFI.Core

Methods

showsPrec :: Int -> FPPredicate -> ShowS

show :: FPPredicate -> String

showList :: [FPPredicate] -> ShowS

fromRealPredicate :: FPPredicate -> RealPredicate

toRealPredicate :: RealPredicate -> FPPredicate

Floating point attributes

setFastMath :: ValueRef -> Bool -> IO ()

setHasUnsafeAlgebra :: ValueRef -> Bool -> IO ()

setHasNoNaNs :: ValueRef -> Bool -> IO ()

setHasNoInfs :: ValueRef -> Bool -> IO ()

setHasNoSignedZeros :: ValueRef -> Bool -> IO ()

setHasAllowReciprocal :: ValueRef -> Bool -> IO ()

setHasAllowReassoc :: ValueRef -> Bool -> IO ()

setHasApproxFunc :: ValueRef -> Bool -> IO ()

Support operations and types

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.

LinkOnceODRAutoHideLinkage

Like LinkOnceODR, but possibly hidden.

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.

LinkerPrivateWeakLinkage

Like LinkerPrivate, but is weak.

Instances

Enum Linkage

Defined in LLVM.FFI.Core

Methods

succ :: Linkage -> Linkage

pred :: Linkage -> Linkage

toEnum :: Int -> Linkage

fromEnum :: Linkage -> Int

enumFrom :: Linkage -> [Linkage]

enumFromThen :: Linkage -> Linkage -> [Linkage]

enumFromTo :: Linkage -> Linkage -> [Linkage]

enumFromThenTo :: Linkage -> Linkage -> Linkage -> [Linkage]

Eq Linkage

Defined in LLVM.FFI.Core

Methods

(==) :: Linkage -> Linkage -> Bool

(/=) :: Linkage -> Linkage -> Bool

Ord Linkage

Defined in LLVM.FFI.Core

Methods

compare :: Linkage -> Linkage -> Ordering

(<) :: Linkage -> Linkage -> Bool

(<=) :: Linkage -> Linkage -> Bool

(>) :: Linkage -> Linkage -> Bool

(>=) :: Linkage -> Linkage -> Bool

max :: Linkage -> Linkage -> Linkage

min :: Linkage -> Linkage -> Linkage

Show Linkage

Defined in LLVM.FFI.Core

Methods

showsPrec :: Int -> Linkage -> ShowS

show :: Linkage -> String

showList :: [Linkage] -> ShowS

fromLinkage :: Linkage -> Linkage

toLinkage :: Linkage -> Linkage

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

Defined in LLVM.FFI.Core

Methods

succ :: Visibility -> Visibility

pred :: Visibility -> Visibility

toEnum :: Int -> Visibility

fromEnum :: Visibility -> Int

enumFrom :: Visibility -> [Visibility]

enumFromThen :: Visibility -> Visibility -> [Visibility]

enumFromTo :: Visibility -> Visibility -> [Visibility]

enumFromThenTo :: Visibility -> Visibility -> Visibility -> [Visibility]

Eq Visibility

Defined in LLVM.FFI.Core

Methods

(==) :: Visibility -> Visibility -> Bool

(/=) :: Visibility -> Visibility -> Bool

Ord Visibility

Defined in LLVM.FFI.Core

Methods

compare :: Visibility -> Visibility -> Ordering

(<) :: Visibility -> Visibility -> Bool

(<=) :: Visibility -> Visibility -> Bool

(>) :: Visibility -> Visibility -> Bool

(>=) :: Visibility -> Visibility -> Bool

max :: Visibility -> Visibility -> Visibility

min :: Visibility -> Visibility -> Visibility

Show Visibility

Defined in LLVM.FFI.Core

Methods

showsPrec :: Int -> Visibility -> ShowS

show :: Visibility -> String

showList :: [Visibility] -> ShowS

fromVisibility :: Visibility -> Visibility

toVisibility :: Visibility -> Visibility

Global variables, functions, and aliases (globals)

getGlobalParent :: ValueRef -> IO ModuleRef

isDeclaration :: ValueRef -> IO Bool

getLinkage :: ValueRef -> IO Linkage

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

getSection :: ValueRef -> IO CString

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

getVisibility :: ValueRef -> IO Visibility

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

getAlignment :: ValueRef -> IO CUInt

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

Global variables

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

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

getNamedGlobal :: ModuleRef -> CString -> IO ValueRef

getFirstGlobal :: ModuleRef -> IO ValueRef

getLastGlobal :: ModuleRef -> IO ValueRef

getNextGlobal :: ValueRef -> IO ValueRef

getPreviousGlobal :: ValueRef -> IO ValueRef

deleteGlobal :: ValueRef -> IO ()

getInitializer :: ValueRef -> IO ValueRef

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

isThreadLocal :: ValueRef -> IO Bool

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

isGlobalConstant :: ValueRef -> IO Bool

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

Aliases

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

Parameter passing

data Attribute

type AttributeRef = Ptr Attribute

newtype AttributeKind

Constructors

AttributeKind CUInt

Calling conventions

data CallingConvention

Constructors

C

Fast

Cold

X86StdCall

X86FastCall

GHC

Instances

Bounded CallingConvention

Defined in LLVM.FFI.Core

Methods

minBound :: CallingConvention

maxBound :: CallingConvention

Enum CallingConvention

Defined in LLVM.FFI.Core

Methods

succ :: CallingConvention -> CallingConvention

pred :: CallingConvention -> CallingConvention

toEnum :: Int -> CallingConvention

fromEnum :: CallingConvention -> Int

enumFrom :: CallingConvention -> [CallingConvention]

enumFromThen :: CallingConvention -> CallingConvention -> [CallingConvention]

enumFromTo :: CallingConvention -> CallingConvention -> [CallingConvention]

enumFromThenTo :: CallingConvention -> CallingConvention -> CallingConvention -> [CallingConvention]

Eq CallingConvention

Defined in LLVM.FFI.Core

Methods

(==) :: CallingConvention -> CallingConvention -> Bool

(/=) :: CallingConvention -> CallingConvention -> Bool

Ord CallingConvention

Defined in LLVM.FFI.Core

Methods

compare :: CallingConvention -> CallingConvention -> Ordering

(<) :: CallingConvention -> CallingConvention -> Bool

(<=) :: CallingConvention -> CallingConvention -> Bool

(>) :: CallingConvention -> CallingConvention -> Bool

(>=) :: CallingConvention -> CallingConvention -> Bool

max :: CallingConvention -> CallingConvention -> CallingConvention

min :: CallingConvention -> CallingConvention -> CallingConvention

Show CallingConvention

Defined in LLVM.FFI.Core

Methods

showsPrec :: Int -> CallingConvention -> ShowS

show :: CallingConvention -> String

showList :: [CallingConvention] -> ShowS

fromCallingConvention :: CallingConvention -> CallingConvention

toCallingConvention :: CallingConvention -> CallingConvention

Functions

addFunction :: ModuleRef -> CString -> TypeRef -> IO FunctionRef

getNamedFunction :: ModuleRef -> CString -> IO FunctionRef

getFirstFunction :: ModuleRef -> IO ValueRef

getLastFunction :: ModuleRef -> IO ValueRef

getNextFunction :: ValueRef -> IO ValueRef

getPreviousFunction :: ValueRef -> IO ValueRef

deleteFunction :: FunctionRef -> IO ()

getIntrinsicID :: FunctionRef -> IO CUInt

getFunctionCallConv :: FunctionRef -> IO CallingConvention

setFunctionCallConv :: FunctionRef -> CallingConvention -> IO ()

getGC :: ValueRef -> IO CString

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

newtype AttributeIndex

Constructors

AttributeIndex Word32

attributeReturnIndex :: AttributeIndex

attributeFunctionIndex :: AttributeIndex

getEnumAttributeKindForName :: CString -> CSize -> IO AttributeKind

getLastEnumAttributeKind :: IO AttributeKind

createEnumAttribute :: ContextRef -> AttributeKind -> Word64 -> IO AttributeRef

getEnumAttributeKind :: AttributeRef -> IO AttributeKind

getEnumAttributeValue :: AttributeRef -> IO Word64

createStringAttribute :: ContextRef -> CString -> CUInt -> CString -> CUInt -> IO AttributeRef

getStringAttributeKind :: AttributeRef -> Ptr CUInt -> IO CString

getStringAttributeValue :: AttributeRef -> Ptr CUInt -> IO CString

isEnumAttribute :: AttributeRef -> IO Bool

isStringAttribute :: AttributeRef -> IO Bool

addAttributeAtIndex :: ValueRef -> AttributeIndex -> AttributeRef -> IO ()

getAttributeCountAtIndex :: ValueRef -> AttributeIndex -> IO CUInt

getAttributesAtIndex :: ValueRef -> AttributeIndex -> Ptr AttributeRef -> IO ()

getEnumAttributeAtIndex :: ValueRef -> AttributeIndex -> AttributeKind -> IO AttributeRef

getStringAttributeAtIndex :: ValueRef -> AttributeIndex -> CString -> CUInt -> IO AttributeRef

removeEnumAttributeAtIndex :: ValueRef -> AttributeIndex -> AttributeKind -> IO ()

removeStringAttributeAtIndex :: ValueRef -> AttributeIndex -> CString -> CUInt -> IO ()

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

addCallSiteAttribute :: ValueRef -> AttributeIndex -> AttributeRef -> IO ()

getCallSiteAttributeCount :: ValueRef -> AttributeIndex -> IO CUInt

getCallSiteAttributes :: ValueRef -> AttributeIndex -> Ptr AttributeRef -> IO ()

getCallSiteEnumAttribute :: ValueRef -> AttributeIndex -> AttributeKind -> IO AttributeRef

getCallSiteStringAttribute :: ValueRef -> AttributeIndex -> CString -> CUInt -> IO AttributeRef

removeCallSiteEnumAttribute :: ValueRef -> AttributeIndex -> AttributeKind -> IO ()

removeCallSiteStringAttribute :: ValueRef -> AttributeIndex -> CString -> CUInt -> IO ()

getCalledValue :: ValueRef -> IO ValueRef

Parameters

countParams :: FunctionRef -> IO CUInt

getParams

Arguments

:: FunctionRef

-> Ptr ValueRef

array to fill out

-> IO ()

getParam

Arguments

:: FunctionRef

-> CUInt

offset into array

-> IO ValueRef

getParamParent :: ValueRef -> IO ValueRef

getFirstParam :: ValueRef -> IO ValueRef

getLastParam :: ValueRef -> IO ValueRef

getNextParam :: ValueRef -> IO ValueRef

getPreviousParam :: ValueRef -> IO ValueRef

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

Basic blocks

data BasicBlock

type BasicBlockRef = Ptr BasicBlock

basicBlockAsValue :: BasicBlockRef -> IO ValueRef

valueIsBasicBlock :: ValueRef -> IO Bool

valueAsBasicBlock

Arguments

:: ValueRef

basic block

-> IO BasicBlockRef

getBasicBlockName :: BasicBlockRef -> IO CString

getBasicBlockParent :: BasicBlockRef -> IO ValueRef

getBasicBlockTerminator :: BasicBlockRef -> IO ValueRef

countBasicBlocks

Arguments

:: ValueRef

function

-> IO CUInt

getBasicBlocks

Arguments

:: ValueRef

function

-> Ptr BasicBlockRef

array to fill out

-> IO ()

getFirstBasicBlock :: ValueRef -> IO BasicBlockRef

getLastBasicBlock :: ValueRef -> IO BasicBlockRef

getNextBasicBlock :: BasicBlockRef -> IO BasicBlockRef

getPreviousBasicBlock :: BasicBlockRef -> IO BasicBlockRef

getEntryBasicBlock

Arguments

:: ValueRef

function

-> IO BasicBlockRef

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

insertBasicBlockInContext :: ContextRef -> BasicBlockRef -> CString -> 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 ()

removeBasicBlockFromParent :: BasicBlockRef -> IO ()

moveBasicBlockBefore :: BasicBlockRef -> BasicBlockRef -> IO ()

moveBasicBlockAfter :: BasicBlockRef -> BasicBlockRef -> IO ()

getFirstInstruction :: BasicBlockRef -> IO ValueRef

getLastInstruction :: BasicBlockRef -> IO ValueRef

Instructions

getInstructionParent :: ValueRef -> IO BasicBlockRef

getNextInstruction :: ValueRef -> IO ValueRef

getPreviousInstruction :: ValueRef -> IO ValueRef

instructionEraseFromParent :: ValueRef -> IO ()

getInstructionOpcode :: ValueRef -> IO Opcode

getICmpPredicate :: ValueRef -> IO IntPredicate

Call Sites

getInstructionCallConv :: ValueRef -> IO CallingConvention

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

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

Call Instructions (only)

isTailCall :: ValueRef -> IO Bool

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

Switch Instructions (only)

getSwitchDefaultDest :: ValueRef -> IO BasicBlockRef

Phi nodes

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

countIncoming :: ValueRef -> IO CUInt

getIncomingValue :: ValueRef -> CUInt -> IO ValueRef

getIncomingBlock :: ValueRef -> CUInt -> IO BasicBlockRef

Instruction building

data Builder

type BuilderRef = Ptr Builder

createBuilderInContext :: ContextRef -> IO BuilderRef

createBuilder :: IO BuilderRef

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

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

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

getInsertBlock :: BuilderRef -> IO BasicBlockRef

clearInsertionPosition :: BuilderRef -> IO ()

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

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

ptrDisposeBuilder :: FinalizerPtr Builder

Metadata

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

getCurrentDebugLocation :: BuilderRef -> IO ValueRef

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

Terminators

buildRetVoid :: BuilderRef -> IO ValueRef

buildRet :: BuilderRef -> ValueRef -> IO ValueRef

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

buildBr :: BuilderRef -> BasicBlockRef -> IO ValueRef

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

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

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

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

buildLandingPad :: BuilderRef -> TypeRef -> ValueRef -> CUInt -> CString -> IO ValueRef

buildResume :: BuilderRef -> ValueRef -> IO ValueRef

buildUnreachable :: BuilderRef -> IO ValueRef

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

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

addClause :: ValueRef -> ValueRef -> IO ()

setCleanup :: ValueRef -> Bool -> IO ()

Arithmetic

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

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

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

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

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

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

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

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

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

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

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

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

buildBinOp :: BuilderRef -> Opcode -> ValueRef -> ValueRef -> CString -> IO ValueRef

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

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

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

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

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

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

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

buildGlobalStringPtr :: BuilderRef -> CString -> 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

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

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

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

buildCast :: BuilderRef -> Opcode -> ValueRef -> TypeRef -> CString -> IO ValueRef

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

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

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

Comparisons

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

buildFCmp :: BuilderRef -> RealPredicate -> 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

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

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

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

Memory buffers

data MemoryBuffer

type MemoryBufferRef = Ptr MemoryBuffer

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

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

disposeMemoryBuffer :: MemoryBufferRef -> IO ()

Raw.PassRegistry

data PassRegistry

type PassRegistryRef = Ptr PassRegistry

getGlobalPassRegistry :: IO PassRegistryRef

Pass manager

data PassManager

type PassManagerRef = Ptr PassManager

ptrDisposePassManager :: FinalizerPtr PassManager

createPassManager :: IO PassManagerRef

createFunctionPassManagerForModule :: ModuleRef -> IO PassManagerRef

runPassManager :: PassManagerRef -> ModuleRef -> IO Bool

initializeFunctionPassManager :: PassManagerRef -> IO Bool

runFunctionPassManager :: PassManagerRef -> ValueRef -> IO Bool

finalizeFunctionPassManager :: PassManagerRef -> IO Bool

disposePassManager :: PassManagerRef -> IO ()

Functions from extras.cpp

getNumUses :: ValueRef -> IO CInt

instGetOpcode :: ValueRef -> IO CInt

cmpInstGetIntPredicate :: ValueRef -> IO IntPredicate

cmpInstGetRealPredicate :: ValueRef -> IO RealPredicate