Safe Haskell	Safe
Language	Haskell2010

LLVM.AST.FunctionAttribute

Description

Module to allow importing FunctionAttribute distinctly qualified.

Synopsis

data FunctionAttribute
- = NoReturn
- | NoUnwind
- | ReadNone
- | ReadOnly
- | NoInline
- | NoRecurse
- | AlwaysInline
- | MinimizeSize
- | OptimizeForSize
- | OptimizeNone
- | StackProtect
- | StackProtectReq
- | StackProtectStrong
- | StrictFP
- | NoRedZone
- | NoImplicitFloat
- | Naked
- | InlineHint
- | StackAlignment Word64
- | ReturnsTwice
- | UWTable
- | NonLazyBind
- | Builtin
- | NoBuiltin
- | Cold
- | JumpTable
- | NoDuplicate
- | SanitizeAddress
- | SanitizeHWAddress
- | SanitizeThread
- | SanitizeMemory
- | Speculatable
- | StringAttribute {
  - stringAttributeKind :: ShortByteString
  - stringAttributeValue :: ShortByteString
  }
- | AllocSize Word32 (Maybe Word32)
- | WriteOnly
- | ArgMemOnly
- | Convergent
- | InaccessibleMemOnly
- | InaccessibleMemOrArgMemOnly
- | SafeStack
newtype GroupID = GroupID Word

Documentation

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
StrictFP
NoRedZone
NoImplicitFloat
Naked
InlineHint
StackAlignment Word64
ReturnsTwice
UWTable
NonLazyBind
Builtin
NoBuiltin
Cold
JumpTable
NoDuplicate
SanitizeAddress
SanitizeHWAddress
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 #
Instance details Defined in LLVM.AST.FunctionAttribute Methods (==) :: FunctionAttribute -> FunctionAttribute -> Bool # (/=) :: FunctionAttribute -> FunctionAttribute -> Bool #
Data FunctionAttribute Source #
Instance details Defined in LLVM.AST.FunctionAttribute 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 #
Instance details Defined in LLVM.AST.FunctionAttribute 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 #
Instance details Defined in LLVM.AST.FunctionAttribute Methods readsPrec :: Int -> ReadS FunctionAttribute # readList :: ReadS [FunctionAttribute] # readPrec :: ReadPrec FunctionAttribute # readListPrec :: ReadPrec [FunctionAttribute] #
Show FunctionAttribute Source #
Instance details Defined in LLVM.AST.FunctionAttribute Methods showsPrec :: Int -> FunctionAttribute -> ShowS # show :: FunctionAttribute -> String # showList :: [FunctionAttribute] -> ShowS #
Generic FunctionAttribute Source #
Instance details Defined in LLVM.AST.FunctionAttribute Associated Types type Rep FunctionAttribute :: Type -> Type # Methods from :: FunctionAttribute -> Rep FunctionAttribute x # to :: Rep FunctionAttribute x -> FunctionAttribute #
type Rep FunctionAttribute Source #
Instance details Defined in LLVM.AST.FunctionAttribute type Rep FunctionAttribute = D1 (MetaData "FunctionAttribute" "LLVM.AST.FunctionAttribute" "llvm-hs-pure-8.0.0-inplace" False) (((((C1 (MetaCons "NoReturn" PrefixI False) (U1 :: Type -> Type) :+: C1 (MetaCons "NoUnwind" PrefixI False) (U1 :: Type -> Type)) :+: (C1 (MetaCons "ReadNone" PrefixI False) (U1 :: Type -> Type) :+: (C1 (MetaCons "ReadOnly" PrefixI False) (U1 :: Type -> Type) :+: C1 (MetaCons "NoInline" PrefixI False) (U1 :: Type -> Type)))) :+: ((C1 (MetaCons "NoRecurse" PrefixI False) (U1 :: Type -> Type) :+: C1 (MetaCons "AlwaysInline" PrefixI False) (U1 :: Type -> Type)) :+: (C1 (MetaCons "MinimizeSize" PrefixI False) (U1 :: Type -> Type) :+: (C1 (MetaCons "OptimizeForSize" PrefixI False) (U1 :: Type -> Type) :+: C1 (MetaCons "OptimizeNone" PrefixI False) (U1 :: Type -> Type))))) :+: (((C1 (MetaCons "StackProtect" PrefixI False) (U1 :: Type -> Type) :+: C1 (MetaCons "StackProtectReq" PrefixI False) (U1 :: Type -> Type)) :+: (C1 (MetaCons "StackProtectStrong" PrefixI False) (U1 :: Type -> Type) :+: (C1 (MetaCons "StrictFP" PrefixI False) (U1 :: Type -> Type) :+: C1 (MetaCons "NoRedZone" PrefixI False) (U1 :: Type -> Type)))) :+: ((C1 (MetaCons "NoImplicitFloat" PrefixI False) (U1 :: Type -> Type) :+: C1 (MetaCons "Naked" PrefixI False) (U1 :: Type -> Type)) :+: (C1 (MetaCons "InlineHint" PrefixI False) (U1 :: Type -> Type) :+: (C1 (MetaCons "StackAlignment" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Word64)) :+: C1 (MetaCons "ReturnsTwice" PrefixI False) (U1 :: Type -> Type)))))) :+: ((((C1 (MetaCons "UWTable" PrefixI False) (U1 :: Type -> Type) :+: C1 (MetaCons "NonLazyBind" PrefixI False) (U1 :: Type -> Type)) :+: (C1 (MetaCons "Builtin" PrefixI False) (U1 :: Type -> Type) :+: (C1 (MetaCons "NoBuiltin" PrefixI False) (U1 :: Type -> Type) :+: C1 (MetaCons "Cold" PrefixI False) (U1 :: Type -> Type)))) :+: ((C1 (MetaCons "JumpTable" PrefixI False) (U1 :: Type -> Type) :+: C1 (MetaCons "NoDuplicate" PrefixI False) (U1 :: Type -> Type)) :+: (C1 (MetaCons "SanitizeAddress" PrefixI False) (U1 :: Type -> Type) :+: (C1 (MetaCons "SanitizeHWAddress" PrefixI False) (U1 :: Type -> Type) :+: C1 (MetaCons "SanitizeThread" PrefixI False) (U1 :: Type -> Type))))) :+: (((C1 (MetaCons "SanitizeMemory" PrefixI False) (U1 :: Type -> Type) :+: C1 (MetaCons "Speculatable" PrefixI False) (U1 :: Type -> Type)) :+: (C1 (MetaCons "StringAttribute" PrefixI True) (S1 (MetaSel (Just "stringAttributeKind") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 ShortByteString) :: S1 (MetaSel (Just "stringAttributeValue") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 ShortByteString)) :+: (C1 (MetaCons "AllocSize" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Word32) :: S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Maybe Word32))) :+: C1 (MetaCons "WriteOnly" PrefixI False) (U1 :: Type -> Type)))) :+: ((C1 (MetaCons "ArgMemOnly" PrefixI False) (U1 :: Type -> Type) :+: C1 (MetaCons "Convergent" PrefixI False) (U1 :: Type -> Type)) :+: (C1 (MetaCons "InaccessibleMemOnly" PrefixI False) (U1 :: Type -> Type) :+: (C1 (MetaCons "InaccessibleMemOrArgMemOnly" PrefixI False) (U1 :: Type -> Type) :+: C1 (MetaCons "SafeStack" PrefixI False) (U1 :: Type -> Type)))))))

newtype GroupID Source #

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

Constructors

GroupID Word

Instances

Eq GroupID Source #
Instance details Defined in LLVM.AST.FunctionAttribute Methods (==) :: GroupID -> GroupID -> Bool # (/=) :: GroupID -> GroupID -> Bool #
Data GroupID Source #
Instance details Defined in LLVM.AST.FunctionAttribute 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 #
Instance details Defined in LLVM.AST.FunctionAttribute 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 #
Instance details Defined in LLVM.AST.FunctionAttribute Methods readsPrec :: Int -> ReadS GroupID # readList :: ReadS [GroupID] # readPrec :: ReadPrec GroupID # readListPrec :: ReadPrec [GroupID] #
Show GroupID Source #
Instance details Defined in LLVM.AST.FunctionAttribute Methods showsPrec :: Int -> GroupID -> ShowS # show :: GroupID -> String # showList :: [GroupID] -> ShowS #
Generic GroupID Source #
Instance details Defined in LLVM.AST.FunctionAttribute Associated Types type Rep GroupID :: Type -> Type # Methods from :: GroupID -> Rep GroupID x # to :: Rep GroupID x -> GroupID #
type Rep GroupID Source #
Instance details Defined in LLVM.AST.FunctionAttribute type Rep GroupID = D1 (MetaData "GroupID" "LLVM.AST.FunctionAttribute" "llvm-hs-pure-8.0.0-inplace" True) (C1 (MetaCons "GroupID" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Word)))