LLVM.AST

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.

Documentation

data Module

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

Constructors

Module

Fields

• moduleName :: ShortByteString
• moduleSourceFileName :: ShortByteString
• moduleDataLayout :: Maybe DataLayout

  a DataLayout, if specified, must match that of the eventual code generator

• moduleTargetTriple :: Maybe ShortByteString
• moduleDefinitions :: [Definition]

Instances

Eq Module

Methods

(==) :: Module -> Module -> Bool

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

Data Module

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

Methods

readsPrec :: Int -> ReadS Module

readList :: ReadS [Module]

readPrec :: ReadPrec Module

readListPrec :: ReadPrec [Module]

Show Module

Methods

showsPrec :: Int -> Module -> ShowS

show :: Module -> String

showList :: [Module] -> ShowS

Generic Module

Associated Types

type Rep Module :: * -> *

Methods

from :: Module -> Rep Module x

to :: Rep Module x -> Module

type Rep Module

type Rep Module = D1 * (MetaData "Module" "LLVM.AST" "llvm-hs-pure-6.0.0-AdKIl6KhlcO5ZIYucKCvA1" False) (C1 * (MetaCons "Module" PrefixI True) ((:*:) * ((:*:) * (S1 * (MetaSel (Just Symbol "moduleName") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * ShortByteString)) (S1 * (MetaSel (Just Symbol "moduleSourceFileName") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * ShortByteString))) ((:*:) * (S1 * (MetaSel (Just Symbol "moduleDataLayout") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * (Maybe DataLayout))) ((:*:) * (S1 * (MetaSel (Just Symbol "moduleTargetTriple") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * (Maybe ShortByteString))) (S1 * (MetaSel (Just Symbol "moduleDefinitions") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * [Definition]))))))

defaultModule :: Module

helper for making Modules

data Definition

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

Constructors

GlobalDefinition Global

TypeDefinition Name (Maybe Type)

MetadataNodeDefinition MetadataNodeID [Maybe Metadata]

NamedMetadataDefinition ShortByteString [MetadataNodeID]

ModuleInlineAssembly ByteString

FunctionAttributes GroupID [FunctionAttribute]

COMDAT ShortByteString SelectionKind

Instances

Eq Definition

Methods

(==) :: Definition -> Definition -> Bool

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

Data Definition

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

Methods

readsPrec :: Int -> ReadS Definition

readList :: ReadS [Definition]

readPrec :: ReadPrec Definition

readListPrec :: ReadPrec [Definition]

Show Definition

Methods

showsPrec :: Int -> Definition -> ShowS

show :: Definition -> String

showList :: [Definition] -> ShowS

Generic Definition

Associated Types

type Rep Definition :: * -> *

Methods

from :: Definition -> Rep Definition x

to :: Rep Definition x -> Definition

type Rep Definition

type Rep Definition = D1 * (MetaData "Definition" "LLVM.AST" "llvm-hs-pure-6.0.0-AdKIl6KhlcO5ZIYucKCvA1" False) ((:+:) * ((:+:) * (C1 * (MetaCons "GlobalDefinition" PrefixI False) (S1 * (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * Global))) ((:+:) * (C1 * (MetaCons "TypeDefinition" PrefixI False) ((:*:) * (S1 * (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * Name)) (S1 * (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * (Maybe Type))))) (C1 * (MetaCons "MetadataNodeDefinition" PrefixI False) ((:*:) * (S1 * (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * MetadataNodeID)) (S1 * (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * [Maybe Metadata])))))) ((:+:) * ((:+:) * (C1 * (MetaCons "NamedMetadataDefinition" PrefixI False) ((:*:) * (S1 * (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * ShortByteString)) (S1 * (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * [MetadataNodeID])))) (C1 * (MetaCons "ModuleInlineAssembly" PrefixI False) (S1 * (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * ByteString)))) ((:+:) * (C1 * (MetaCons "FunctionAttributes" PrefixI False) ((:*:) * (S1 * (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * GroupID)) (S1 * (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * [FunctionAttribute])))) (C1 * (MetaCons "COMDAT" PrefixI False) ((:*:) * (S1 * (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * ShortByteString)) (S1 * (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * SelectionKind)))))))

data Global

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

Constructors

GlobalVariable Name Linkage Visibility (Maybe StorageClass) (Maybe Model) (Maybe UnnamedAddr) Bool Type AddrSpace (Maybe Constant) (Maybe ShortByteString) (Maybe ShortByteString) Word32

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

GlobalAlias Name Linkage Visibility (Maybe StorageClass) (Maybe Model) (Maybe UnnamedAddr) Type AddrSpace Constant

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

Function Linkage Visibility (Maybe StorageClass) CallingConvention [ParameterAttribute] Type Name ([Parameter], Bool) [Either GroupID FunctionAttribute] (Maybe ShortByteString) (Maybe ShortByteString) Word32 (Maybe ShortByteString) (Maybe Constant) [BasicBlock] (Maybe Constant)

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

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

Generic Global

Associated Types

type Rep Global :: * -> *

Methods

from :: Global -> Rep Global x

to :: Rep Global x -> Global

Typed Global

Methods

typeOf :: Global -> Type

type Rep Global

type Rep Global = D1 * (MetaData "Global" "LLVM.AST.Global" "llvm-hs-pure-6.0.0-AdKIl6KhlcO5ZIYucKCvA1" False) ((:+:) * (C1 * (MetaCons "GlobalVariable" PrefixI True) ((:*:) * ((:*:) * ((:*:) * (S1 * (MetaSel (Just Symbol "name") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * Name)) ((:*:) * (S1 * (MetaSel (Just Symbol "linkage") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * Linkage)) (S1 * (MetaSel (Just Symbol "visibility") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * Visibility)))) ((:*:) * (S1 * (MetaSel (Just Symbol "dllStorageClass") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * (Maybe StorageClass))) ((:*:) * (S1 * (MetaSel (Just Symbol "threadLocalMode") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * (Maybe Model))) (S1 * (MetaSel (Just Symbol "unnamedAddr") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * (Maybe UnnamedAddr)))))) ((:*:) * ((:*:) * (S1 * (MetaSel (Just Symbol "isConstant") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * Bool)) ((:*:) * (S1 * (MetaSel (Just Symbol "type'") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * Type)) (S1 * (MetaSel (Just Symbol "addrSpace") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * AddrSpace)))) ((:*:) * ((:*:) * (S1 * (MetaSel (Just Symbol "initializer") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * (Maybe Constant))) (S1 * (MetaSel (Just Symbol "section") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * (Maybe ShortByteString)))) ((:*:) * (S1 * (MetaSel (Just Symbol "comdat") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * (Maybe ShortByteString))) (S1 * (MetaSel (Just Symbol "alignment") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * Word32))))))) ((:+:) * (C1 * (MetaCons "GlobalAlias" PrefixI True) ((:*:) * ((:*:) * ((:*:) * (S1 * (MetaSel (Just Symbol "name") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * Name)) (S1 * (MetaSel (Just Symbol "linkage") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * Linkage))) ((:*:) * (S1 * (MetaSel (Just Symbol "visibility") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * Visibility)) (S1 * (MetaSel (Just Symbol "dllStorageClass") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * (Maybe StorageClass))))) ((:*:) * ((:*:) * (S1 * (MetaSel (Just Symbol "threadLocalMode") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * (Maybe Model))) (S1 * (MetaSel (Just Symbol "unnamedAddr") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * (Maybe UnnamedAddr)))) ((:*:) * (S1 * (MetaSel (Just Symbol "type'") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * Type)) ((:*:) * (S1 * (MetaSel (Just Symbol "addrSpace") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * AddrSpace)) (S1 * (MetaSel (Just Symbol "aliasee") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * Constant))))))) (C1 * (MetaCons "Function" PrefixI True) ((:*:) * ((:*:) * ((:*:) * ((:*:) * (S1 * (MetaSel (Just Symbol "linkage") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * Linkage)) (S1 * (MetaSel (Just Symbol "visibility") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * Visibility))) ((:*:) * (S1 * (MetaSel (Just Symbol "dllStorageClass") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * (Maybe StorageClass))) (S1 * (MetaSel (Just Symbol "callingConvention") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * CallingConvention)))) ((:*:) * ((:*:) * (S1 * (MetaSel (Just Symbol "returnAttributes") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * [ParameterAttribute])) (S1 * (MetaSel (Just Symbol "returnType") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * Type))) ((:*:) * (S1 * (MetaSel (Just Symbol "name") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * Name)) (S1 * (MetaSel (Just Symbol "parameters") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * ([Parameter], Bool)))))) ((:*:) * ((:*:) * ((:*:) * (S1 * (MetaSel (Just Symbol "functionAttributes") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * [Either GroupID FunctionAttribute])) (S1 * (MetaSel (Just Symbol "section") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * (Maybe ShortByteString)))) ((:*:) * (S1 * (MetaSel (Just Symbol "comdat") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * (Maybe ShortByteString))) (S1 * (MetaSel (Just Symbol "alignment") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * Word32)))) ((:*:) * ((:*:) * (S1 * (MetaSel (Just Symbol "garbageCollectorName") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * (Maybe ShortByteString))) (S1 * (MetaSel (Just Symbol "prefix") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * (Maybe Constant)))) ((:*:) * (S1 * (MetaSel (Just Symbol "basicBlocks") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * [BasicBlock])) (S1 * (MetaSel (Just Symbol "personalityFunction") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * (Maybe Constant))))))))))

globalVariableDefaults :: Global

helper for making GlobalVariables

globalAliasDefaults :: Global

helper for making GlobalAliass

functionDefaults :: Global

helper for making Functions

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

Generic UnnamedAddr

Associated Types

type Rep UnnamedAddr :: * -> *

Methods

from :: UnnamedAddr -> Rep UnnamedAddr x

to :: Rep UnnamedAddr x -> UnnamedAddr

type Rep UnnamedAddr

type Rep UnnamedAddr = D1 * (MetaData "UnnamedAddr" "LLVM.AST.Global" "llvm-hs-pure-6.0.0-AdKIl6KhlcO5ZIYucKCvA1" False) ((:+:) * (C1 * (MetaCons "LocalAddr" PrefixI False) (U1 *)) (C1 * (MetaCons "GlobalAddr" PrefixI False) (U1 *)))

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

Generic Parameter

Associated Types

type Rep Parameter :: * -> *

Methods

from :: Parameter -> Rep Parameter x

to :: Rep Parameter x -> Parameter

Typed Parameter

Methods

typeOf :: Parameter -> Type

type Rep Parameter

type Rep Parameter = D1 * (MetaData "Parameter" "LLVM.AST.Global" "llvm-hs-pure-6.0.0-AdKIl6KhlcO5ZIYucKCvA1" False) (C1 * (MetaCons "Parameter" PrefixI False) ((:*:) * (S1 * (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * Type)) ((:*:) * (S1 * (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * Name)) (S1 * (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * [ParameterAttribute])))))

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

Generic BasicBlock

Associated Types

type Rep BasicBlock :: * -> *

Methods

from :: BasicBlock -> Rep BasicBlock x

to :: Rep BasicBlock x -> BasicBlock

type Rep BasicBlock

type Rep BasicBlock = D1 * (MetaData "BasicBlock" "LLVM.AST.Global" "llvm-hs-pure-6.0.0-AdKIl6KhlcO5ZIYucKCvA1" False) (C1 * (MetaCons "BasicBlock" PrefixI False) ((:*:) * (S1 * (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * Name)) ((:*:) * (S1 * (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * [Named Instruction])) (S1 * (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * (Named Terminator))))))

module LLVM.AST.Instruction

module LLVM.AST.Name

module LLVM.AST.Operand

module LLVM.AST.Type