Safe Haskell | Safe-Inferred |
---|
Global
s - top-level values in Module
s - and supporting structures.
- data Global
- = GlobalVariable {
- name :: Name
- linkage :: Linkage
- visibility :: Visibility
- isThreadLocal :: Bool
- addrSpace :: AddrSpace
- hasUnnamedAddr :: Bool
- isConstant :: Bool
- type' :: Type
- initializer :: Maybe Constant
- section :: Maybe String
- alignment :: Word32
- | GlobalAlias {
- name :: Name
- linkage :: Linkage
- visibility :: Visibility
- type' :: Type
- aliasee :: Constant
- | Function {
- linkage :: Linkage
- visibility :: Visibility
- callingConvention :: CallingConvention
- returnAttributes :: [ParameterAttribute]
- returnType :: Type
- name :: Name
- parameters :: ([Parameter], Bool)
- functionAttributes :: [FunctionAttribute]
- section :: Maybe String
- alignment :: Word32
- garbageCollectorName :: Maybe String
- basicBlocks :: [BasicBlock]
- = GlobalVariable {
- data Parameter = Parameter Type Name [ParameterAttribute]
- data BasicBlock = BasicBlock Name [Named Instruction] (Named Terminator)
- globalVariableDefaults :: Global
- globalAliasDefaults :: Global
- functionDefaults :: Global
Documentation
data Global
GlobalVariable | |
| |
GlobalAlias | |
| |
Function | |
|
data Parameter
data BasicBlock
http://llvm.org/doxygen/classllvm_1_1BasicBlock.html
LLVM code in a function is a sequence of BasicBlock
s each with a label,
some instructions, and a terminator.
globalVariableDefaults :: Global
helper for making GlobalVariable
s
helper for making GlobalAlias
s
helper for making Function
s