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

data Module = Module {
- moduleName :: ShortByteString
- moduleSourceFileName :: ShortByteString
- moduleDataLayout :: Maybe DataLayout
- moduleTargetTriple :: Maybe ShortByteString
- moduleDefinitions :: [Definition]
}
defaultModule :: Module
data Definition
data Global
- = GlobalVariable Name Linkage Visibility (Maybe StorageClass) (Maybe Model) (Maybe UnnamedAddr) Bool Type AddrSpace (Maybe Constant) (Maybe ShortByteString) (Maybe ShortByteString) Word32
- | GlobalAlias Name Linkage Visibility (Maybe StorageClass) (Maybe Model) (Maybe UnnamedAddr) Type AddrSpace Constant
- | 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)
globalVariableDefaults :: Global
globalAliasDefaults :: Global
functionDefaults :: Global
data UnnamedAddr
- = LocalAddr
- | GlobalAddr
data Parameter = Parameter Type Name [ParameterAttribute]
data BasicBlock = BasicBlock Name [Named Instruction] (Named Terminator)
module LLVM.AST.Instruction
module LLVM.AST.Name
module LLVM.AST.Operand
data Type
- = VoidType
- | IntegerType {
  - typeBits :: Word32
  }
- | PointerType {
  - pointerReferent :: Type
  - pointerAddrSpace :: AddrSpace
  }
- | FloatingPointType {
  - floatingPointType :: FloatingPointType
  }
- | FunctionType {
  - resultType :: Type
  - argumentTypes :: [Type]
  - isVarArg :: Bool
  }
- | VectorType {
  - nVectorElements :: Word32
  - elementType :: Type
  }
- | StructureType {
  - isPacked :: Bool
  - elementTypes :: [Type]
  }
- | ArrayType {
  - nArrayElements :: Word64
  - elementType :: Type
  }
- | NamedTypeReference Name
- | MetadataType
- | LabelType
- | TokenType
data FloatingPointType
- = HalfFP
- | FloatFP
- | DoubleFP
- | FP128FP
- | X86_FP80FP
- | PPC_FP128FP

Documentation

data Module Source #

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 Source #
Instance details Methods (==) :: Module -> Module -> Bool # (/=) :: Module -> Module -> Bool #
Data Module Source #
Instance details 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 #
Instance details Methods readsPrec :: Int -> ReadS Module # readList :: ReadS [Module] # readPrec :: ReadPrec Module # readListPrec :: ReadPrec [Module] #
Show Module Source #
Instance details Methods showsPrec :: Int -> Module -> ShowS # show :: Module -> String # showList :: [Module] -> ShowS #
Generic Module Source #
Instance details Associated Types type Rep Module :: * -> * # Methods from :: Module -> Rep Module x # to :: Rep Module x -> Module #
type Rep Module Source #
Instance details type Rep Module = D1 (MetaData "Module" "LLVM.AST" "llvm-hs-pure-6.0.0-JDMT8hd3oKgE19P5EBaRIN" False) (C1 (MetaCons "Module" PrefixI True) ((S1 (MetaSel (Just "moduleName") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 ShortByteString) :: S1 (MetaSel (Just "moduleSourceFileName") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 ShortByteString)) :: (S1 (MetaSel (Just "moduleDataLayout") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Maybe DataLayout)) :: (S1 (MetaSel (Just "moduleTargetTriple") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Maybe ShortByteString)) :: S1 (MetaSel (Just "moduleDefinitions") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 [Definition])))))

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 #
Instance details Methods (==) :: Definition -> Definition -> Bool # (/=) :: Definition -> Definition -> Bool #
Data Definition Source #
Instance details 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 #
Instance details Methods readsPrec :: Int -> ReadS Definition # readList :: ReadS [Definition] # readPrec :: ReadPrec Definition # readListPrec :: ReadPrec [Definition] #
Show Definition Source #
Instance details Methods showsPrec :: Int -> Definition -> ShowS # show :: Definition -> String # showList :: [Definition] -> ShowS #
Generic Definition Source #
Instance details Associated Types type Rep Definition :: * -> * # Methods from :: Definition -> Rep Definition x # to :: Rep Definition x -> Definition #
type Rep Definition Source #
Instance details type Rep Definition = D1 (MetaData "Definition" "LLVM.AST" "llvm-hs-pure-6.0.0-JDMT8hd3oKgE19P5EBaRIN" False) ((C1 (MetaCons "GlobalDefinition" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Global)) :+: (C1 (MetaCons "TypeDefinition" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Name) :: S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Maybe Type))) :+: C1 (MetaCons "MetadataNodeDefinition" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 MetadataNodeID) :: S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 [Maybe Metadata])))) :+: ((C1 (MetaCons "NamedMetadataDefinition" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 ShortByteString) :: S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 [MetadataNodeID])) :+: C1 (MetaCons "ModuleInlineAssembly" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 ByteString))) :+: (C1 (MetaCons "FunctionAttributes" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 GroupID) :: S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 [FunctionAttribute])) :+: C1 (MetaCons "COMDAT" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 ShortByteString) :*: S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 SelectionKind)))))

data Global Source #

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

Instances

Eq Global Source #
Instance details Methods (==) :: Global -> Global -> Bool # (/=) :: Global -> Global -> Bool #
Data Global Source #
Instance details 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 #
Instance details Methods readsPrec :: Int -> ReadS Global # readList :: ReadS [Global] # readPrec :: ReadPrec Global # readListPrec :: ReadPrec [Global] #
Show Global Source #
Instance details Methods showsPrec :: Int -> Global -> ShowS # show :: Global -> String # showList :: [Global] -> ShowS #
Generic Global Source #
Instance details Associated Types type Rep Global :: * -> * # Methods from :: Global -> Rep Global x # to :: Rep Global x -> Global #
Typed Global Source #
Instance details Methods typeOf :: Global -> Type Source #
type Rep Global Source #
Instance details type Rep Global = D1 (MetaData "Global" "LLVM.AST.Global" "llvm-hs-pure-6.0.0-JDMT8hd3oKgE19P5EBaRIN" False) (C1 (MetaCons "GlobalVariable" PrefixI True) (((S1 (MetaSel (Just "name") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Name) :: (S1 (MetaSel (Just "linkage") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Linkage) :: S1 (MetaSel (Just "visibility") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Visibility))) :: (S1 (MetaSel (Just "dllStorageClass") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Maybe StorageClass)) :: (S1 (MetaSel (Just "threadLocalMode") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Maybe Model)) :: S1 (MetaSel (Just "unnamedAddr") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Maybe UnnamedAddr))))) :: ((S1 (MetaSel (Just "isConstant") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Bool) :: (S1 (MetaSel (Just "type'") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Type) :: S1 (MetaSel (Just "addrSpace") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 AddrSpace))) :: ((S1 (MetaSel (Just "initializer") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Maybe Constant)) :: S1 (MetaSel (Just "section") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Maybe ShortByteString))) :: (S1 (MetaSel (Just "comdat") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Maybe ShortByteString)) :: S1 (MetaSel (Just "alignment") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Word32))))) :+: (C1 (MetaCons "GlobalAlias" PrefixI True) (((S1 (MetaSel (Just "name") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Name) :: S1 (MetaSel (Just "linkage") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Linkage)) :: (S1 (MetaSel (Just "visibility") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Visibility) :: S1 (MetaSel (Just "dllStorageClass") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Maybe StorageClass)))) :: ((S1 (MetaSel (Just "threadLocalMode") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Maybe Model)) :: S1 (MetaSel (Just "unnamedAddr") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Maybe UnnamedAddr))) :: (S1 (MetaSel (Just "type'") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Type) :: (S1 (MetaSel (Just "addrSpace") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 AddrSpace) :: S1 (MetaSel (Just "aliasee") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Constant))))) :+: C1 (MetaCons "Function" PrefixI True) ((((S1 (MetaSel (Just "linkage") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Linkage) :: S1 (MetaSel (Just "visibility") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Visibility)) :: (S1 (MetaSel (Just "dllStorageClass") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Maybe StorageClass)) :: S1 (MetaSel (Just "callingConvention") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 CallingConvention))) :: ((S1 (MetaSel (Just "returnAttributes") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 [ParameterAttribute]) :: S1 (MetaSel (Just "returnType") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Type)) :: (S1 (MetaSel (Just "name") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Name) :: S1 (MetaSel (Just "parameters") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 ([Parameter], Bool))))) :: (((S1 (MetaSel (Just "functionAttributes") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 [Either GroupID FunctionAttribute]) :: S1 (MetaSel (Just "section") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Maybe ShortByteString))) :: (S1 (MetaSel (Just "comdat") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Maybe ShortByteString)) :: S1 (MetaSel (Just "alignment") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Word32))) :: ((S1 (MetaSel (Just "garbageCollectorName") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Maybe ShortByteString)) :: S1 (MetaSel (Just "prefix") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Maybe Constant))) :: (S1 (MetaSel (Just "basicBlocks") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 [BasicBlock]) :*: S1 (MetaSel (Just "personalityFunction") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Maybe Constant))))))))

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 #
Instance details Methods (==) :: UnnamedAddr -> UnnamedAddr -> Bool # (/=) :: UnnamedAddr -> UnnamedAddr -> Bool #
Data UnnamedAddr Source #
Instance details 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 #
Instance details Methods readsPrec :: Int -> ReadS UnnamedAddr # readList :: ReadS [UnnamedAddr] # readPrec :: ReadPrec UnnamedAddr # readListPrec :: ReadPrec [UnnamedAddr] #
Show UnnamedAddr Source #
Instance details Methods showsPrec :: Int -> UnnamedAddr -> ShowS # show :: UnnamedAddr -> String # showList :: [UnnamedAddr] -> ShowS #
Generic UnnamedAddr Source #
Instance details Associated Types type Rep UnnamedAddr :: * -> * # Methods from :: UnnamedAddr -> Rep UnnamedAddr x # to :: Rep UnnamedAddr x -> UnnamedAddr #
type Rep UnnamedAddr Source #
Instance details type Rep UnnamedAddr = D1 (MetaData "UnnamedAddr" "LLVM.AST.Global" "llvm-hs-pure-6.0.0-JDMT8hd3oKgE19P5EBaRIN" False) (C1 (MetaCons "LocalAddr" PrefixI False) (U1 :: * -> ) :+: C1 (MetaCons "GlobalAddr" PrefixI False) (U1 :: -> *))

data Parameter Source #

Parameters for Functions

Constructors

Parameter Type Name [ParameterAttribute]

Instances

Eq Parameter Source #
Instance details Methods (==) :: Parameter -> Parameter -> Bool # (/=) :: Parameter -> Parameter -> Bool #
Data Parameter Source #
Instance details 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 #
Instance details Methods readsPrec :: Int -> ReadS Parameter # readList :: ReadS [Parameter] # readPrec :: ReadPrec Parameter # readListPrec :: ReadPrec [Parameter] #
Show Parameter Source #
Instance details Methods showsPrec :: Int -> Parameter -> ShowS # show :: Parameter -> String # showList :: [Parameter] -> ShowS #
Generic Parameter Source #
Instance details Associated Types type Rep Parameter :: * -> * # Methods from :: Parameter -> Rep Parameter x # to :: Rep Parameter x -> Parameter #
Typed Parameter Source #
Instance details Methods typeOf :: Parameter -> Type Source #
type Rep Parameter Source #
Instance details type Rep Parameter = D1 (MetaData "Parameter" "LLVM.AST.Global" "llvm-hs-pure-6.0.0-JDMT8hd3oKgE19P5EBaRIN" False) (C1 (MetaCons "Parameter" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Type) :: (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Name) :: S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 [ParameterAttribute]))))

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 #
Instance details Methods (==) :: BasicBlock -> BasicBlock -> Bool # (/=) :: BasicBlock -> BasicBlock -> Bool #
Data BasicBlock Source #
Instance details 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 #
Instance details Methods readsPrec :: Int -> ReadS BasicBlock # readList :: ReadS [BasicBlock] # readPrec :: ReadPrec BasicBlock # readListPrec :: ReadPrec [BasicBlock] #
Show BasicBlock Source #
Instance details Methods showsPrec :: Int -> BasicBlock -> ShowS # show :: BasicBlock -> String # showList :: [BasicBlock] -> ShowS #
Generic BasicBlock Source #
Instance details Associated Types type Rep BasicBlock :: * -> * # Methods from :: BasicBlock -> Rep BasicBlock x # to :: Rep BasicBlock x -> BasicBlock #
type Rep BasicBlock Source #
Instance details type Rep BasicBlock = D1 (MetaData "BasicBlock" "LLVM.AST.Global" "llvm-hs-pure-6.0.0-JDMT8hd3oKgE19P5EBaRIN" False) (C1 (MetaCons "BasicBlock" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Name) :: (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 [Named Instruction]) :: S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Named Terminator)))))

module LLVM.AST.Instruction

module LLVM.AST.Name

module LLVM.AST.Operand

data Type Source #

http://llvm.org/docs/LangRef.html#type-system

Constructors

VoidType	http://llvm.org/docs/LangRef.html#void-type
IntegerType	http://llvm.org/docs/LangRef.html#integer-type
Fields typeBits :: Word32
PointerType	http://llvm.org/docs/LangRef.html#pointer-type
Fields pointerReferent :: Type pointerAddrSpace :: AddrSpace
FloatingPointType	http://llvm.org/docs/LangRef.html#floating-point-types
Fields floatingPointType :: FloatingPointType
FunctionType	http://llvm.org/docs/LangRef.html#function-type
Fields resultType :: Type argumentTypes :: [Type] isVarArg :: Bool
VectorType	http://llvm.org/docs/LangRef.html#vector-type
Fields nVectorElements :: Word32 elementType :: Type
StructureType	http://llvm.org/docs/LangRef.html#structure-type
Fields isPacked :: Bool elementTypes :: [Type]
ArrayType	http://llvm.org/docs/LangRef.html#array-type
Fields nArrayElements :: Word64 elementType :: Type
NamedTypeReference Name	http://llvm.org/docs/LangRef.html#opaque-structure-types
MetadataType	http://llvm.org/docs/LangRef.html#metadata-type
LabelType	http://llvm.org/docs/LangRef.html#token-type
TokenType	http://llvm.org/docs/LangRef.html#label-type

Instances

Eq Type Source #
Instance details Methods (==) :: Type -> Type -> Bool # (/=) :: Type -> Type -> Bool #
Data Type Source #
Instance details Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Type -> c Type # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c Type # toConstr :: Type -> Constr # dataTypeOf :: Type -> DataType # dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c Type) # dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c Type) # gmapT :: (forall b. Data b => b -> b) -> Type -> Type # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Type -> r # gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Type -> r # gmapQ :: (forall d. Data d => d -> u) -> Type -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> Type -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> Type -> m Type # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Type -> m Type # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Type -> m Type #
Ord Type Source #
Instance details Methods compare :: Type -> Type -> Ordering # (<) :: Type -> Type -> Bool # (<=) :: Type -> Type -> Bool # (>) :: Type -> Type -> Bool # (>=) :: Type -> Type -> Bool # max :: Type -> Type -> Type # min :: Type -> Type -> Type #
Read Type Source #
Instance details Methods readsPrec :: Int -> ReadS Type # readList :: ReadS [Type] # readPrec :: ReadPrec Type # readListPrec :: ReadPrec [Type] #
Show Type Source #
Instance details Methods showsPrec :: Int -> Type -> ShowS # show :: Type -> String # showList :: [Type] -> ShowS #
Generic Type Source #
Instance details Associated Types type Rep Type :: * -> * # Methods from :: Type -> Rep Type x # to :: Rep Type x -> Type #
type Rep Type Source #
Instance details type Rep Type = D1 (MetaData "Type" "LLVM.AST.Type" "llvm-hs-pure-6.0.0-JDMT8hd3oKgE19P5EBaRIN" False) (((C1 (MetaCons "VoidType" PrefixI False) (U1 :: * -> ) :+: (C1 (MetaCons "IntegerType" PrefixI True) (S1 (MetaSel (Just "typeBits") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Word32)) :+: C1 (MetaCons "PointerType" PrefixI True) (S1 (MetaSel (Just "pointerReferent") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Type) :: S1 (MetaSel (Just "pointerAddrSpace") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 AddrSpace)))) :+: (C1 (MetaCons "FloatingPointType" PrefixI True) (S1 (MetaSel (Just "floatingPointType") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 FloatingPointType)) :+: (C1 (MetaCons "FunctionType" PrefixI True) (S1 (MetaSel (Just "resultType") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Type) :: (S1 (MetaSel (Just "argumentTypes") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 [Type]) :: S1 (MetaSel (Just "isVarArg") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Bool))) :+: C1 (MetaCons "VectorType" PrefixI True) (S1 (MetaSel (Just "nVectorElements") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Word32) :: S1 (MetaSel (Just "elementType") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Type))))) :+: ((C1 (MetaCons "StructureType" PrefixI True) (S1 (MetaSel (Just "isPacked") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Bool) :: S1 (MetaSel (Just "elementTypes") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 [Type])) :+: (C1 (MetaCons "ArrayType" PrefixI True) (S1 (MetaSel (Just "nArrayElements") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Word64) :: S1 (MetaSel (Just "elementType") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Type)) :+: C1 (MetaCons "NamedTypeReference" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Name)))) :+: (C1 (MetaCons "MetadataType" PrefixI False) (U1 :: -> ) :+: (C1 (MetaCons "LabelType" PrefixI False) (U1 :: -> ) :+: C1 (MetaCons "TokenType" PrefixI False) (U1 :: -> *)))))

data FloatingPointType Source #

LLVM supports some special formats floating point format. This type is to distinguish those format. Also see http://llvm.org/docs/LangRef.html#floating-point-types

Constructors

HalfFP	16-bit floating point value
FloatFP	32-bit floating point value
DoubleFP	64-bit floating point value
FP128FP	128-bit floating point value (112-bit mantissa)
X86_FP80FP	80-bit floating point value (X87)
PPC_FP128FP	128-bit floating point value (two 64-bits)

Instances

Eq FloatingPointType Source #
Instance details Methods (==) :: FloatingPointType -> FloatingPointType -> Bool # (/=) :: FloatingPointType -> FloatingPointType -> Bool #
Data FloatingPointType Source #
Instance details Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> FloatingPointType -> c FloatingPointType # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c FloatingPointType # toConstr :: FloatingPointType -> Constr # dataTypeOf :: FloatingPointType -> DataType # dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c FloatingPointType) # dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c FloatingPointType) # gmapT :: (forall b. Data b => b -> b) -> FloatingPointType -> FloatingPointType # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> FloatingPointType -> r # gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> FloatingPointType -> r # gmapQ :: (forall d. Data d => d -> u) -> FloatingPointType -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> FloatingPointType -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> FloatingPointType -> m FloatingPointType # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> FloatingPointType -> m FloatingPointType # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> FloatingPointType -> m FloatingPointType #
Ord FloatingPointType Source #
Instance details Methods compare :: FloatingPointType -> FloatingPointType -> Ordering # (<) :: FloatingPointType -> FloatingPointType -> Bool # (<=) :: FloatingPointType -> FloatingPointType -> Bool # (>) :: FloatingPointType -> FloatingPointType -> Bool # (>=) :: FloatingPointType -> FloatingPointType -> Bool # max :: FloatingPointType -> FloatingPointType -> FloatingPointType # min :: FloatingPointType -> FloatingPointType -> FloatingPointType #
Read FloatingPointType Source #
Instance details Methods readsPrec :: Int -> ReadS FloatingPointType # readList :: ReadS [FloatingPointType] # readPrec :: ReadPrec FloatingPointType # readListPrec :: ReadPrec [FloatingPointType] #
Show FloatingPointType Source #
Instance details Methods showsPrec :: Int -> FloatingPointType -> ShowS # show :: FloatingPointType -> String # showList :: [FloatingPointType] -> ShowS #
Generic FloatingPointType Source #
Instance details Associated Types type Rep FloatingPointType :: * -> * # Methods from :: FloatingPointType -> Rep FloatingPointType x # to :: Rep FloatingPointType x -> FloatingPointType #
type Rep FloatingPointType Source #
Instance details type Rep FloatingPointType = D1 (MetaData "FloatingPointType" "LLVM.AST.Type" "llvm-hs-pure-6.0.0-JDMT8hd3oKgE19P5EBaRIN" False) ((C1 (MetaCons "HalfFP" PrefixI False) (U1 :: * -> ) :+: (C1 (MetaCons "FloatFP" PrefixI False) (U1 :: -> ) :+: C1 (MetaCons "DoubleFP" PrefixI False) (U1 :: -> ))) :+: (C1 (MetaCons "FP128FP" PrefixI False) (U1 :: -> ) :+: (C1 (MetaCons "X86_FP80FP" PrefixI False) (U1 :: -> ) :+: C1 (MetaCons "PPC_FP128FP" PrefixI False) (U1 :: -> *))))

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

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