Safe Haskell | Safe |
---|---|
Language | Haskell2010 |
LLVM.AST.Global
Description
Global
s - top-level values in Module
s - and supporting structures.
Synopsis
- data Global
- = GlobalVariable {
- name :: Name
- linkage :: Linkage
- visibility :: Visibility
- dllStorageClass :: Maybe StorageClass
- threadLocalMode :: Maybe Model
- unnamedAddr :: Maybe UnnamedAddr
- isConstant :: Bool
- type' :: Type
- addrSpace :: AddrSpace
- initializer :: Maybe Constant
- section :: Maybe ShortByteString
- comdat :: Maybe ShortByteString
- alignment :: Word32
- metadata :: [(ShortByteString, MDRef MDNode)]
- | GlobalAlias { }
- | Function {
- linkage :: Linkage
- visibility :: Visibility
- dllStorageClass :: Maybe StorageClass
- callingConvention :: CallingConvention
- returnAttributes :: [ParameterAttribute]
- returnType :: Type
- name :: Name
- parameters :: ([Parameter], Bool)
- functionAttributes :: [Either GroupID FunctionAttribute]
- section :: Maybe ShortByteString
- comdat :: Maybe ShortByteString
- alignment :: Word32
- garbageCollectorName :: Maybe ShortByteString
- prefix :: Maybe Constant
- basicBlocks :: [BasicBlock]
- personalityFunction :: Maybe Constant
- metadata :: [(ShortByteString, MDRef MDNode)]
- = GlobalVariable {
- data Parameter = Parameter Type Name [ParameterAttribute]
- data BasicBlock = BasicBlock Name [Named Instruction] (Named Terminator)
- data UnnamedAddr
- globalVariableDefaults :: Global
- globalAliasDefaults :: Global
- functionDefaults :: Global
Documentation
Constructors
Instances
Constructors
Parameter Type Name [ParameterAttribute] |
Instances
Eq Parameter Source # | |
Data Parameter Source # | |
Defined in LLVM.AST.Global 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 # | |
Show Parameter Source # | |
Generic Parameter Source # | |
Typed Parameter Source # | |
type Rep Parameter Source # | |
Defined in LLVM.AST.Global type Rep Parameter = D1 (MetaData "Parameter" "LLVM.AST.Global" "llvm-hs-pure-6.1.0-SoZvXNdOUj4hA8AeUkTV6" 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 BasicBlock
s each with a label,
some instructions, and a terminator.
Constructors
BasicBlock Name [Named Instruction] (Named Terminator) |
Instances
data UnnamedAddr Source #
Constructors
LocalAddr | |
GlobalAddr |
Instances
Eq UnnamedAddr Source # | |
Defined in LLVM.AST.Global | |
Data UnnamedAddr Source # | |
Defined in LLVM.AST.Global 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 # | |
Defined in LLVM.AST.Global Methods readsPrec :: Int -> ReadS UnnamedAddr # readList :: ReadS [UnnamedAddr] # readPrec :: ReadPrec UnnamedAddr # readListPrec :: ReadPrec [UnnamedAddr] # | |
Show UnnamedAddr Source # | |
Defined in LLVM.AST.Global Methods showsPrec :: Int -> UnnamedAddr -> ShowS # show :: UnnamedAddr -> String # showList :: [UnnamedAddr] -> ShowS # | |
Generic UnnamedAddr Source # | |
Defined in LLVM.AST.Global Associated Types type Rep UnnamedAddr :: * -> * # | |
type Rep UnnamedAddr Source # | |
globalVariableDefaults :: Global Source #
helper for making GlobalVariable
s
globalAliasDefaults :: Global Source #
helper for making GlobalAlias
s
functionDefaults :: Global Source #
helper for making Function
s