Safe Haskell	Safe
Language	Haskell2010

LLVM.AST.Global

Description

Globals - top-level values in Modules - 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 {
  - name :: Name
  - linkage :: Linkage
  - visibility :: Visibility
  - dllStorageClass :: Maybe StorageClass
  - threadLocalMode :: Maybe Model
  - unnamedAddr :: Maybe UnnamedAddr
  - type' :: Type
  - addrSpace :: AddrSpace
  - aliasee :: Constant
  }
- | 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)]
  }
data Parameter = Parameter Type Name [ParameterAttribute]
data BasicBlock = BasicBlock Name [Named Instruction] (Named Terminator)
data UnnamedAddr
- = LocalAddr
- | GlobalAddr
globalVariableDefaults :: Global
globalAliasDefaults :: Global
functionDefaults :: Global

Documentation

data Global Source #

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 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	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 addrSpace :: AddrSpace 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 ShortByteString comdat :: Maybe ShortByteString alignment :: Word32 garbageCollectorName :: Maybe ShortByteString prefix :: Maybe Constant basicBlocks :: [BasicBlock] personalityFunction :: Maybe Constant metadata :: [(ShortByteString, MDRef MDNode)]

Instances

Eq Global Source #
Instance details Defined in LLVM.AST.Global Methods (==) :: Global -> Global -> Bool # (/=) :: Global -> Global -> Bool #
Data Global Source #
Instance details Defined in LLVM.AST.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 Source #
Instance details Defined in LLVM.AST.Global Methods readsPrec :: Int -> ReadS Global # readList :: ReadS [Global] # readPrec :: ReadPrec Global # readListPrec :: ReadPrec [Global] #
Show Global Source #
Instance details Defined in LLVM.AST.Global Methods showsPrec :: Int -> Global -> ShowS # show :: Global -> String # showList :: [Global] -> ShowS #
Generic Global Source #
Instance details Defined in LLVM.AST.Global Associated Types type Rep Global :: Type -> Type # Methods from :: Global -> Rep Global x # to :: Rep Global x -> Global #
Typed Global Source #
Instance details Defined in LLVM.AST.Typed Methods typeOf :: Global -> Type Source #
type Rep Global Source #
Instance details Defined in LLVM.AST.Global type Rep Global = D1 (MetaData "Global" "LLVM.AST.Global" "llvm-hs-pure-8.0.0-inplace" 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) :: S1 (MetaSel (Just "metadata") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 [(ShortByteString, MDRef MDNode)]))))) :+: (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)) :*: S1 (MetaSel (Just "metadata") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 [(ShortByteString, MDRef MDNode)]))))))))

data Parameter Source #

Parameters for Functions

Constructors

Parameter Type Name [ParameterAttribute]

Instances

Eq Parameter Source #
Instance details Defined in LLVM.AST.Global Methods (==) :: Parameter -> Parameter -> Bool # (/=) :: Parameter -> Parameter -> Bool #
Data Parameter Source #
Instance details 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 #
Instance details Defined in LLVM.AST.Global Methods readsPrec :: Int -> ReadS Parameter # readList :: ReadS [Parameter] # readPrec :: ReadPrec Parameter # readListPrec :: ReadPrec [Parameter] #
Show Parameter Source #
Instance details Defined in LLVM.AST.Global Methods showsPrec :: Int -> Parameter -> ShowS # show :: Parameter -> String # showList :: [Parameter] -> ShowS #
Generic Parameter Source #
Instance details Defined in LLVM.AST.Global Associated Types type Rep Parameter :: Type -> Type # Methods from :: Parameter -> Rep Parameter x # to :: Rep Parameter x -> Parameter #
Typed Parameter Source #
Instance details Defined in LLVM.AST.Typed Methods typeOf :: Parameter -> Type Source #
type Rep Parameter Source #
Instance details Defined in LLVM.AST.Global type Rep Parameter = D1 (MetaData "Parameter" "LLVM.AST.Global" "llvm-hs-pure-8.0.0-inplace" 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 Defined in LLVM.AST.Global Methods (==) :: BasicBlock -> BasicBlock -> Bool # (/=) :: BasicBlock -> BasicBlock -> Bool #
Data BasicBlock Source #
Instance details Defined in LLVM.AST.Global 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 Defined in LLVM.AST.Global Methods readsPrec :: Int -> ReadS BasicBlock # readList :: ReadS [BasicBlock] # readPrec :: ReadPrec BasicBlock # readListPrec :: ReadPrec [BasicBlock] #
Show BasicBlock Source #
Instance details Defined in LLVM.AST.Global Methods showsPrec :: Int -> BasicBlock -> ShowS # show :: BasicBlock -> String # showList :: [BasicBlock] -> ShowS #
Generic BasicBlock Source #
Instance details Defined in LLVM.AST.Global Associated Types type Rep BasicBlock :: Type -> Type # Methods from :: BasicBlock -> Rep BasicBlock x # to :: Rep BasicBlock x -> BasicBlock #
type Rep BasicBlock Source #
Instance details Defined in LLVM.AST.Global type Rep BasicBlock = D1 (MetaData "BasicBlock" "LLVM.AST.Global" "llvm-hs-pure-8.0.0-inplace" 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)))))

data UnnamedAddr Source #

Constructors

LocalAddr
GlobalAddr

Instances

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

globalVariableDefaults :: Global Source #

helper for making GlobalVariables

globalAliasDefaults :: Global Source #

helper for making GlobalAliass

functionDefaults :: Global Source #

helper for making Functions