Safe Haskell	Safe
Language	Haskell98

LLVM.AST.Attribute

Description

Module to allow importing Attribute distinctly qualified. Before LLVM 3.5, the attributes which could be used on functions and those which could be used on parameters were disjoint. In LLVM 3.5, two attributes (readonly and readnone) can be used in both contexts. Because their interpretation is different in the two contexts and only those two attributes can be used in both contexts, I've opted to keep the Haskell types for parameter and function attributes distinct, but move the two types into separate modules so they can have contructors with the same names.

Synopsis

Documentation

data ParameterAttribute Source #

http://llvm.org/docs/LangRef.html#parameter-attributes

Constructors

ZeroExt
SignExt
InReg
SRet
Alignment Word64
NoAlias
ByVal
NoCapture
Nest
InAlloca
NonNull
Dereferenceable Word64
DereferenceableOrNull Word64
Returned
SwiftSelf
SwiftError

Instances

Eq ParameterAttribute Source #
Methods (==) :: ParameterAttribute -> ParameterAttribute -> Bool # (/=) :: ParameterAttribute -> ParameterAttribute -> Bool #
Data ParameterAttribute Source #
Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> ParameterAttribute -> c ParameterAttribute # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c ParameterAttribute # toConstr :: ParameterAttribute -> Constr # dataTypeOf :: ParameterAttribute -> DataType # dataCast1 :: Typeable (* -> ) t => (forall d. Data d => c (t d)) -> Maybe (c ParameterAttribute) # dataCast2 :: Typeable ( -> * -> *) t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c ParameterAttribute) # gmapT :: (forall b. Data b => b -> b) -> ParameterAttribute -> ParameterAttribute # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> ParameterAttribute -> r # gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> ParameterAttribute -> r # gmapQ :: (forall d. Data d => d -> u) -> ParameterAttribute -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> ParameterAttribute -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> ParameterAttribute -> m ParameterAttribute # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> ParameterAttribute -> m ParameterAttribute # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> ParameterAttribute -> m ParameterAttribute #
Ord ParameterAttribute Source #
Methods compare :: ParameterAttribute -> ParameterAttribute -> Ordering # (<) :: ParameterAttribute -> ParameterAttribute -> Bool # (<=) :: ParameterAttribute -> ParameterAttribute -> Bool # (>) :: ParameterAttribute -> ParameterAttribute -> Bool # (>=) :: ParameterAttribute -> ParameterAttribute -> Bool # max :: ParameterAttribute -> ParameterAttribute -> ParameterAttribute # min :: ParameterAttribute -> ParameterAttribute -> ParameterAttribute #
Read ParameterAttribute Source #
Methods readsPrec :: Int -> ReadS ParameterAttribute # readList :: ReadS [ParameterAttribute] # readPrec :: ReadPrec ParameterAttribute # readListPrec :: ReadPrec [ParameterAttribute] #
Show ParameterAttribute Source #
Methods showsPrec :: Int -> ParameterAttribute -> ShowS # show :: ParameterAttribute -> String # showList :: [ParameterAttribute] -> ShowS #
Generic ParameterAttribute Source #
Associated Types type Rep ParameterAttribute :: * -> * # Methods from :: ParameterAttribute -> Rep ParameterAttribute x # to :: Rep ParameterAttribute x -> ParameterAttribute #
type Rep ParameterAttribute Source #
type Rep ParameterAttribute = D1 * (MetaData "ParameterAttribute" "LLVM.AST.ParameterAttribute" "llvm-hs-pure-5.1.1-A50TaxGLKsoFnCqinrVaVN" False) ((:+:) * ((:+:) * ((:+:) * ((:+:) * (C1 * (MetaCons "ZeroExt" PrefixI False) (U1 )) (C1 (MetaCons "SignExt" PrefixI False) (U1 ))) ((:+:) (C1 * (MetaCons "InReg" PrefixI False) (U1 )) ((:+:) (C1 * (MetaCons "SRet" PrefixI False) (U1 )) (C1 (MetaCons "Alignment" PrefixI False) (S1 * (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * Word64)))))) ((:+:) * ((:+:) * (C1 * (MetaCons "NoAlias" PrefixI False) (U1 )) (C1 (MetaCons "ByVal" PrefixI False) (U1 ))) ((:+:) (C1 * (MetaCons "NoCapture" PrefixI False) (U1 )) ((:+:) (C1 * (MetaCons "Nest" PrefixI False) (U1 )) (C1 (MetaCons "ReadNone" PrefixI False) (U1 )))))) ((:+:) ((:+:) * ((:+:) * (C1 * (MetaCons "ReadOnly" PrefixI False) (U1 )) (C1 (MetaCons "WriteOnly" PrefixI False) (U1 ))) ((:+:) (C1 * (MetaCons "InAlloca" PrefixI False) (U1 )) ((:+:) (C1 * (MetaCons "NonNull" PrefixI False) (U1 )) (C1 (MetaCons "Dereferenceable" PrefixI False) (S1 * (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * Word64)))))) ((:+:) * ((:+:) * (C1 * (MetaCons "DereferenceableOrNull" PrefixI False) (S1 * (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * Word64))) (C1 * (MetaCons "Returned" PrefixI False) (U1 ))) ((:+:) (C1 * (MetaCons "SwiftSelf" PrefixI False) (U1 )) ((:+:) (C1 * (MetaCons "SwiftError" PrefixI False) (U1 )) (C1 (MetaCons "StringAttribute" PrefixI True) ((::) (S1 * (MetaSel (Just Symbol "stringAttributeKind") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * ShortByteString)) (S1 * (MetaSel (Just Symbol "stringAttributeValue") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * ShortByteString)))))))))

data FunctionAttribute Source #

http://llvm.org/docs/LangRef.html#function-attributes

Constructors

NoReturn
NoUnwind
ReadNone
ReadOnly
NoInline
NoRecurse
AlwaysInline
MinimizeSize
OptimizeForSize
OptimizeNone
StackProtect
StackProtectReq
StackProtectStrong
NoRedZone
NoImplicitFloat
Naked
InlineHint
StackAlignment Word64
ReturnsTwice
UWTable
NonLazyBind
Builtin
NoBuiltin
Cold
JumpTable
NoDuplicate
SanitizeAddress
SanitizeThread
SanitizeMemory
Speculatable
StringAttribute
Fields stringAttributeKind :: ShortByteString stringAttributeValue :: ShortByteString Use "" for no value -- the two are conflated
AllocSize Word32 (Maybe Word32)	AllocSize 0 (Just 0) is invalid
WriteOnly
ArgMemOnly
Convergent
InaccessibleMemOnly
InaccessibleMemOrArgMemOnly
SafeStack

Instances

Eq FunctionAttribute Source #
Methods (==) :: FunctionAttribute -> FunctionAttribute -> Bool # (/=) :: FunctionAttribute -> FunctionAttribute -> Bool #
Data FunctionAttribute Source #
Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> FunctionAttribute -> c FunctionAttribute # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c FunctionAttribute # toConstr :: FunctionAttribute -> Constr # dataTypeOf :: FunctionAttribute -> DataType # dataCast1 :: Typeable (* -> ) t => (forall d. Data d => c (t d)) -> Maybe (c FunctionAttribute) # dataCast2 :: Typeable ( -> * -> *) t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c FunctionAttribute) # gmapT :: (forall b. Data b => b -> b) -> FunctionAttribute -> FunctionAttribute # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> FunctionAttribute -> r # gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> FunctionAttribute -> r # gmapQ :: (forall d. Data d => d -> u) -> FunctionAttribute -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> FunctionAttribute -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> FunctionAttribute -> m FunctionAttribute # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> FunctionAttribute -> m FunctionAttribute # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> FunctionAttribute -> m FunctionAttribute #
Ord FunctionAttribute Source #
Methods compare :: FunctionAttribute -> FunctionAttribute -> Ordering # (<) :: FunctionAttribute -> FunctionAttribute -> Bool # (<=) :: FunctionAttribute -> FunctionAttribute -> Bool # (>) :: FunctionAttribute -> FunctionAttribute -> Bool # (>=) :: FunctionAttribute -> FunctionAttribute -> Bool # max :: FunctionAttribute -> FunctionAttribute -> FunctionAttribute # min :: FunctionAttribute -> FunctionAttribute -> FunctionAttribute #
Read FunctionAttribute Source #
Methods readsPrec :: Int -> ReadS FunctionAttribute # readList :: ReadS [FunctionAttribute] # readPrec :: ReadPrec FunctionAttribute # readListPrec :: ReadPrec [FunctionAttribute] #
Show FunctionAttribute Source #
Methods showsPrec :: Int -> FunctionAttribute -> ShowS # show :: FunctionAttribute -> String # showList :: [FunctionAttribute] -> ShowS #
Generic FunctionAttribute Source #
Associated Types type Rep FunctionAttribute :: * -> * # Methods from :: FunctionAttribute -> Rep FunctionAttribute x # to :: Rep FunctionAttribute x -> FunctionAttribute #
type Rep FunctionAttribute Source #
type Rep FunctionAttribute = D1 * (MetaData "FunctionAttribute" "LLVM.AST.FunctionAttribute" "llvm-hs-pure-5.1.1-A50TaxGLKsoFnCqinrVaVN" False) ((:+:) * ((:+:) * ((:+:) * ((:+:) * ((:+:) * (C1 * (MetaCons "NoReturn" PrefixI False) (U1 )) (C1 (MetaCons "NoUnwind" PrefixI False) (U1 ))) ((:+:) (C1 * (MetaCons "ReadNone" PrefixI False) (U1 )) (C1 (MetaCons "ReadOnly" PrefixI False) (U1 )))) ((:+:) ((:+:) * (C1 * (MetaCons "NoInline" PrefixI False) (U1 )) (C1 (MetaCons "NoRecurse" PrefixI False) (U1 ))) ((:+:) (C1 * (MetaCons "AlwaysInline" PrefixI False) (U1 )) ((:+:) (C1 * (MetaCons "MinimizeSize" PrefixI False) (U1 )) (C1 (MetaCons "OptimizeForSize" PrefixI False) (U1 )))))) ((:+:) ((:+:) * ((:+:) * (C1 * (MetaCons "OptimizeNone" PrefixI False) (U1 )) (C1 (MetaCons "StackProtect" PrefixI False) (U1 ))) ((:+:) (C1 * (MetaCons "StackProtectReq" PrefixI False) (U1 )) ((:+:) (C1 * (MetaCons "StackProtectStrong" PrefixI False) (U1 )) (C1 (MetaCons "NoRedZone" PrefixI False) (U1 ))))) ((:+:) ((:+:) * (C1 * (MetaCons "NoImplicitFloat" PrefixI False) (U1 )) (C1 (MetaCons "Naked" PrefixI False) (U1 ))) ((:+:) (C1 * (MetaCons "InlineHint" PrefixI False) (U1 )) ((:+:) (C1 * (MetaCons "StackAlignment" PrefixI False) (S1 * (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * Word64))) (C1 * (MetaCons "ReturnsTwice" PrefixI False) (U1 ))))))) ((:+:) ((:+:) * ((:+:) * ((:+:) * (C1 * (MetaCons "UWTable" PrefixI False) (U1 )) (C1 (MetaCons "NonLazyBind" PrefixI False) (U1 ))) ((:+:) (C1 * (MetaCons "Builtin" PrefixI False) (U1 )) (C1 (MetaCons "NoBuiltin" PrefixI False) (U1 )))) ((:+:) ((:+:) * (C1 * (MetaCons "Cold" PrefixI False) (U1 )) (C1 (MetaCons "JumpTable" PrefixI False) (U1 ))) ((:+:) (C1 * (MetaCons "NoDuplicate" PrefixI False) (U1 )) ((:+:) (C1 * (MetaCons "SanitizeAddress" PrefixI False) (U1 )) (C1 (MetaCons "SanitizeThread" PrefixI False) (U1 )))))) ((:+:) ((:+:) * ((:+:) * (C1 * (MetaCons "SanitizeMemory" PrefixI False) (U1 )) (C1 (MetaCons "Speculatable" PrefixI False) (U1 ))) ((:+:) (C1 * (MetaCons "StringAttribute" PrefixI True) ((::) (S1 * (MetaSel (Just Symbol "stringAttributeKind") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * ShortByteString)) (S1 * (MetaSel (Just Symbol "stringAttributeValue") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * ShortByteString)))) ((:+:) * (C1 * (MetaCons "AllocSize" PrefixI False) ((::) (S1 * (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * Word32)) (S1 * (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * (Maybe Word32))))) (C1 * (MetaCons "WriteOnly" PrefixI False) (U1 ))))) ((:+:) ((:+:) * (C1 * (MetaCons "ArgMemOnly" PrefixI False) (U1 )) (C1 (MetaCons "Convergent" PrefixI False) (U1 ))) ((:+:) (C1 * (MetaCons "InaccessibleMemOnly" PrefixI False) (U1 )) ((:+:) (C1 * (MetaCons "InaccessibleMemOrArgMemOnly" PrefixI False) (U1 )) (C1 (MetaCons "SafeStack" PrefixI False) (U1 *))))))))

newtype GroupID Source #

http://llvm.org/docs/LangRef.html#attribute-groups

Constructors

GroupID Word

Instances

Eq GroupID Source #
Methods (==) :: GroupID -> GroupID -> Bool # (/=) :: GroupID -> GroupID -> Bool #
Data GroupID Source #
Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> GroupID -> c GroupID # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c GroupID # toConstr :: GroupID -> Constr # dataTypeOf :: GroupID -> DataType # dataCast1 :: Typeable (* -> ) t => (forall d. Data d => c (t d)) -> Maybe (c GroupID) # dataCast2 :: Typeable ( -> * -> *) t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c GroupID) # gmapT :: (forall b. Data b => b -> b) -> GroupID -> GroupID # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> GroupID -> r # gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> GroupID -> r # gmapQ :: (forall d. Data d => d -> u) -> GroupID -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> GroupID -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> GroupID -> m GroupID # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> GroupID -> m GroupID # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> GroupID -> m GroupID #
Ord GroupID Source #
Methods compare :: GroupID -> GroupID -> Ordering # (<) :: GroupID -> GroupID -> Bool # (<=) :: GroupID -> GroupID -> Bool # (>) :: GroupID -> GroupID -> Bool # (>=) :: GroupID -> GroupID -> Bool # max :: GroupID -> GroupID -> GroupID # min :: GroupID -> GroupID -> GroupID #
Read GroupID Source #
Methods readsPrec :: Int -> ReadS GroupID # readList :: ReadS [GroupID] # readPrec :: ReadPrec GroupID # readListPrec :: ReadPrec [GroupID] #
Show GroupID Source #
Methods showsPrec :: Int -> GroupID -> ShowS # show :: GroupID -> String # showList :: [GroupID] -> ShowS #
Generic GroupID Source #
Associated Types type Rep GroupID :: * -> * # Methods from :: GroupID -> Rep GroupID x # to :: Rep GroupID x -> GroupID #
type Rep GroupID Source #
type Rep GroupID = D1 * (MetaData "GroupID" "LLVM.AST.FunctionAttribute" "llvm-hs-pure-5.1.1-A50TaxGLKsoFnCqinrVaVN" True) (C1 * (MetaCons "GroupID" PrefixI False) (S1 * (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * Word)))