Safe Haskell	Safe
Language	Haskell98

LLVM.AST

Description

This module and descendants define AST data types to represent LLVM code. Note that these types are designed for fidelity rather than convenience - if the truth of what LLVM supports is less than pretty, so be it.

Synopsis

Documentation

data Module Source #

http://llvm.org/docs/LangRef.html#module-structure

Constructors

Module
Fields moduleName :: String moduleSourceFileName :: String moduleDataLayout :: Maybe DataLayout a `DataLayout`, if specified, must match that of the eventual code generator moduleTargetTriple :: Maybe String moduleDefinitions :: [Definition]

Instances

Eq Module Source #
Methods (==) :: Module -> Module -> Bool # (/=) :: Module -> Module -> Bool #
Data Module Source #
Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Module -> c Module # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c Module # toConstr :: Module -> Constr # dataTypeOf :: Module -> DataType # dataCast1 :: Typeable (* -> ) t => (forall d. Data d => c (t d)) -> Maybe (c Module) # dataCast2 :: Typeable ( -> * -> *) t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c Module) # gmapT :: (forall b. Data b => b -> b) -> Module -> Module # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Module -> r # gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Module -> r # gmapQ :: (forall d. Data d => d -> u) -> Module -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> Module -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> Module -> m Module # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Module -> m Module # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Module -> m Module #
Read Module Source #
Methods readsPrec :: Int -> ReadS Module # readList :: ReadS [Module] # readPrec :: ReadPrec Module # readListPrec :: ReadPrec [Module] #
Show Module Source #
Methods showsPrec :: Int -> Module -> ShowS # show :: Module -> String # showList :: [Module] -> ShowS #

defaultModule :: Module Source #

helper for making Modules

data Definition Source #

Any thing which can be at the top level of a Module

Instances

Eq Definition Source #
Methods (==) :: Definition -> Definition -> Bool # (/=) :: Definition -> Definition -> Bool #
Data Definition Source #
Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Definition -> c Definition # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c Definition # toConstr :: Definition -> Constr # dataTypeOf :: Definition -> DataType # dataCast1 :: Typeable (* -> ) t => (forall d. Data d => c (t d)) -> Maybe (c Definition) # dataCast2 :: Typeable ( -> * -> *) t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c Definition) # gmapT :: (forall b. Data b => b -> b) -> Definition -> Definition # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Definition -> r # gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Definition -> r # gmapQ :: (forall d. Data d => d -> u) -> Definition -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> Definition -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> Definition -> m Definition # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Definition -> m Definition # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Definition -> m Definition #
Read Definition Source #
Methods readsPrec :: Int -> ReadS Definition # readList :: ReadS [Definition] # readPrec :: ReadPrec Definition # readListPrec :: ReadPrec [Definition] #
Show Definition Source #
Methods showsPrec :: Int -> Definition -> ShowS # show :: Definition -> String # showList :: [Definition] -> ShowS #

data Global Source #

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

Instances

Eq Global Source #
Methods (==) :: Global -> Global -> Bool # (/=) :: Global -> Global -> Bool #
Data Global Source #
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 Source #
Methods readsPrec :: Int -> ReadS Global # readList :: ReadS [Global] # readPrec :: ReadPrec Global # readListPrec :: ReadPrec [Global] #
Show Global Source #
Methods showsPrec :: Int -> Global -> ShowS # show :: Global -> String # showList :: [Global] -> ShowS #

globalVariableDefaults :: Global Source #

helper for making GlobalVariables

globalAliasDefaults :: Global Source #

helper for making GlobalAliass

functionDefaults :: Global Source #

helper for making Functions

data UnnamedAddr Source #

Constructors

LocalAddr
GlobalAddr

Instances

Eq UnnamedAddr Source #
Methods (==) :: UnnamedAddr -> UnnamedAddr -> Bool # (/=) :: UnnamedAddr -> UnnamedAddr -> Bool #
Data UnnamedAddr Source #
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 Source #
Methods readsPrec :: Int -> ReadS UnnamedAddr # readList :: ReadS [UnnamedAddr] # readPrec :: ReadPrec UnnamedAddr # readListPrec :: ReadPrec [UnnamedAddr] #
Show UnnamedAddr Source #
Methods showsPrec :: Int -> UnnamedAddr -> ShowS # show :: UnnamedAddr -> String # showList :: [UnnamedAddr] -> ShowS #

data Parameter Source #

Parameters for Functions

Constructors

Parameter Type Name [ParameterAttribute]

Instances

Eq Parameter Source #
Methods (==) :: Parameter -> Parameter -> Bool # (/=) :: Parameter -> Parameter -> Bool #
Data Parameter Source #
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 Source #
Methods readsPrec :: Int -> ReadS Parameter # readList :: ReadS [Parameter] # readPrec :: ReadPrec Parameter # readListPrec :: ReadPrec [Parameter] #
Show Parameter Source #
Methods showsPrec :: Int -> Parameter -> ShowS # show :: Parameter -> String # showList :: [Parameter] -> ShowS #

data BasicBlock Source #

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 Source #
Methods (==) :: BasicBlock -> BasicBlock -> Bool # (/=) :: BasicBlock -> BasicBlock -> Bool #
Data BasicBlock Source #
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 Source #
Methods readsPrec :: Int -> ReadS BasicBlock # readList :: ReadS [BasicBlock] # readPrec :: ReadPrec BasicBlock # readListPrec :: ReadPrec [BasicBlock] #
Show BasicBlock Source #
Methods showsPrec :: Int -> BasicBlock -> ShowS # show :: BasicBlock -> String # showList :: [BasicBlock] -> ShowS #

module LLVM.AST.Instruction

module LLVM.AST.Name

module LLVM.AST.Operand

module LLVM.AST.Type

GlobalDefinition Global
TypeDefinition Name (Maybe Type)
MetadataNodeDefinition MetadataNodeID [Maybe Metadata]
NamedMetadataDefinition String [MetadataNodeID]
ModuleInlineAssembly String
FunctionAttributes GroupID [FunctionAttribute]
COMDAT String SelectionKind

GlobalVariable Name Linkage Visibility (Maybe StorageClass) (Maybe Model) AddrSpace (Maybe UnnamedAddr) Bool Type (Maybe Constant) (Maybe String) (Maybe String) Word32	http://llvm.org/docs/LangRef.html#global-variables
GlobalAlias Name Linkage Visibility (Maybe StorageClass) (Maybe Model) (Maybe UnnamedAddr) Type Constant	http://llvm.org/docs/LangRef.html#aliases
Function Linkage Visibility (Maybe StorageClass) CallingConvention [ParameterAttribute] Type Name ([Parameter], Bool) [Either GroupID FunctionAttribute] (Maybe String) (Maybe String) Word32 (Maybe String) (Maybe Constant) [BasicBlock] (Maybe Constant)	http://llvm.org/docs/LangRef.html#functions