LLVM.AST.Global

Globals - top-level values in Modules - and supporting structures.

Documentation

data Global

http://llvm.org/doxygen/classllvm_1_1GlobalValue.html

Constructors

GlobalVariable

http://llvm.org/docs/LangRef.html#global-variables

Fields

• name :: Name
• linkage :: Linkage
• visibility :: Visibility
• dllStorageClass :: Maybe StorageClass
• threadLocalMode :: Maybe Model
• addrSpace :: AddrSpace
• unnamedAddr :: Maybe UnnamedAddr
• isConstant :: Bool
• type' :: Type
• initializer :: Maybe Constant
• section :: Maybe String
• comdat :: Maybe String
• alignment :: Word32

GlobalAlias

http://llvm.org/docs/LangRef.html#aliases

Fields

• name :: Name
• linkage :: Linkage
• visibility :: Visibility
• dllStorageClass :: Maybe StorageClass
• threadLocalMode :: Maybe Model
• unnamedAddr :: Maybe UnnamedAddr
• type' :: Type
• aliasee :: Constant

Function

http://llvm.org/docs/LangRef.html#functions

Fields

• linkage :: Linkage
• visibility :: Visibility
• dllStorageClass :: Maybe StorageClass
• callingConvention :: CallingConvention
• returnAttributes :: [ParameterAttribute]
• returnType :: Type
• name :: Name
• parameters :: ([Parameter], Bool)

  snd indicates varargs

• functionAttributes :: [Either GroupID FunctionAttribute]
• section :: Maybe String
• comdat :: Maybe String
• alignment :: Word32
• garbageCollectorName :: Maybe String
• prefix :: Maybe Constant
• basicBlocks :: [BasicBlock]
• personalityFunction :: Maybe Constant

Instances

Eq Global

Methods

(==) :: Global -> Global -> Bool

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

Data Global

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Global -> c Global

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c Global

toConstr :: Global -> Constr

dataTypeOf :: Global -> DataType

dataCast1 :: Typeable (* -> *) t => (forall d. Data d => c (t d)) -> Maybe (c Global)

dataCast2 :: Typeable (* -> * -> *) t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c Global)

gmapT :: (forall b. Data b => b -> b) -> Global -> Global

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Global -> r

gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Global -> r

gmapQ :: (forall d. Data d => d -> u) -> Global -> [u]

gmapQi :: Int -> (forall d. Data d => d -> u) -> Global -> u

gmapM :: Monad m => (forall d. Data d => d -> m d) -> Global -> m Global

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Global -> m Global

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Global -> m Global

Read Global

Methods

readsPrec :: Int -> ReadS Global

readList :: ReadS [Global]

readPrec :: ReadPrec Global

readListPrec :: ReadPrec [Global]

Show Global

Methods

showsPrec :: Int -> Global -> ShowS

show :: Global -> String

showList :: [Global] -> ShowS

data Parameter

Parameters for Functions

Constructors

Parameter Type Name [ParameterAttribute]

Instances

Eq Parameter

Methods

(==) :: Parameter -> Parameter -> Bool

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

Data Parameter

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Parameter -> c Parameter

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c Parameter

toConstr :: Parameter -> Constr

dataTypeOf :: Parameter -> DataType

dataCast1 :: Typeable (* -> *) t => (forall d. Data d => c (t d)) -> Maybe (c Parameter)

dataCast2 :: Typeable (* -> * -> *) t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c Parameter)

gmapT :: (forall b. Data b => b -> b) -> Parameter -> Parameter

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Parameter -> r

gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Parameter -> r

gmapQ :: (forall d. Data d => d -> u) -> Parameter -> [u]

gmapQi :: Int -> (forall d. Data d => d -> u) -> Parameter -> u

gmapM :: Monad m => (forall d. Data d => d -> m d) -> Parameter -> m Parameter

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Parameter -> m Parameter

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Parameter -> m Parameter

Read Parameter

Methods

readsPrec :: Int -> ReadS Parameter

readList :: ReadS [Parameter]

readPrec :: ReadPrec Parameter

readListPrec :: ReadPrec [Parameter]

Show Parameter

Methods

showsPrec :: Int -> Parameter -> ShowS

show :: Parameter -> String

showList :: [Parameter] -> ShowS

data BasicBlock

http://llvm.org/doxygen/classllvm_1_1BasicBlock.html LLVM code in a function is a sequence of BasicBlocks each with a label, some instructions, and a terminator.

Constructors

BasicBlock Name [Named Instruction] (Named Terminator)

Instances

Eq BasicBlock

Methods

(==) :: BasicBlock -> BasicBlock -> Bool

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

Data BasicBlock

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> BasicBlock -> c BasicBlock

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c BasicBlock

toConstr :: BasicBlock -> Constr

dataTypeOf :: BasicBlock -> DataType

dataCast1 :: Typeable (* -> *) t => (forall d. Data d => c (t d)) -> Maybe (c BasicBlock)

dataCast2 :: Typeable (* -> * -> *) t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c BasicBlock)

gmapT :: (forall b. Data b => b -> b) -> BasicBlock -> BasicBlock

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> BasicBlock -> r

gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> BasicBlock -> r

gmapQ :: (forall d. Data d => d -> u) -> BasicBlock -> [u]

gmapQi :: Int -> (forall d. Data d => d -> u) -> BasicBlock -> u

gmapM :: Monad m => (forall d. Data d => d -> m d) -> BasicBlock -> m BasicBlock

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> BasicBlock -> m BasicBlock

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> BasicBlock -> m BasicBlock

Read BasicBlock

Methods

readsPrec :: Int -> ReadS BasicBlock

readList :: ReadS [BasicBlock]

readPrec :: ReadPrec BasicBlock

readListPrec :: ReadPrec [BasicBlock]

Show BasicBlock

Methods

showsPrec :: Int -> BasicBlock -> ShowS

show :: BasicBlock -> String

showList :: [BasicBlock] -> ShowS

data UnnamedAddr

Constructors

LocalAddr

GlobalAddr

Instances

Eq UnnamedAddr

Methods

(==) :: UnnamedAddr -> UnnamedAddr -> Bool

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

Data UnnamedAddr

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> UnnamedAddr -> c UnnamedAddr

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c UnnamedAddr

toConstr :: UnnamedAddr -> Constr

dataTypeOf :: UnnamedAddr -> DataType

dataCast1 :: Typeable (* -> *) t => (forall d. Data d => c (t d)) -> Maybe (c UnnamedAddr)

dataCast2 :: Typeable (* -> * -> *) t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c UnnamedAddr)

gmapT :: (forall b. Data b => b -> b) -> UnnamedAddr -> UnnamedAddr

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> UnnamedAddr -> r

gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> UnnamedAddr -> r

gmapQ :: (forall d. Data d => d -> u) -> UnnamedAddr -> [u]

gmapQi :: Int -> (forall d. Data d => d -> u) -> UnnamedAddr -> u

gmapM :: Monad m => (forall d. Data d => d -> m d) -> UnnamedAddr -> m UnnamedAddr

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> UnnamedAddr -> m UnnamedAddr

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> UnnamedAddr -> m UnnamedAddr

Read UnnamedAddr

Methods

readsPrec :: Int -> ReadS UnnamedAddr

readList :: ReadS [UnnamedAddr]

readPrec :: ReadPrec UnnamedAddr

readListPrec :: ReadPrec [UnnamedAddr]

Show UnnamedAddr

Methods

showsPrec :: Int -> UnnamedAddr -> ShowS

show :: UnnamedAddr -> String

showList :: [UnnamedAddr] -> ShowS

globalVariableDefaults :: Global

helper for making GlobalVariables

globalAliasDefaults :: Global

helper for making GlobalAliass

functionDefaults :: Global

helper for making Functions