LLVM.AST.FunctionAttribute

Module to allow importing FunctionAttribute distinctly qualified.

Documentation

data FunctionAttribute

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

Defined in LLVM.AST.FunctionAttribute

Methods

(==) :: FunctionAttribute -> FunctionAttribute -> Bool

(/=) :: FunctionAttribute -> FunctionAttribute -> Bool

Data FunctionAttribute

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 :: forall r r'. (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

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

Defined in LLVM.AST.FunctionAttribute

Methods

readsPrec :: Int -> ReadS FunctionAttribute

readList :: ReadS [FunctionAttribute]

readPrec :: ReadPrec FunctionAttribute

readListPrec :: ReadPrec [FunctionAttribute]

Show FunctionAttribute

Defined in LLVM.AST.FunctionAttribute

Methods

showsPrec :: Int -> FunctionAttribute -> ShowS

show :: FunctionAttribute -> String

showList :: [FunctionAttribute] -> ShowS

Generic FunctionAttribute

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

Defined in LLVM.AST.FunctionAttribute

type Rep FunctionAttribute = D1 ('MetaData "FunctionAttribute" "LLVM.AST.FunctionAttribute" "llvm-hs-pure-9.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

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

Constructors

GroupID Word

Instances

Eq GroupID

Defined in LLVM.AST.FunctionAttribute

Methods

(==) :: GroupID -> GroupID -> Bool

(/=) :: GroupID -> GroupID -> Bool

Data GroupID

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 :: forall r r'. (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

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

Defined in LLVM.AST.FunctionAttribute

Methods

readsPrec :: Int -> ReadS GroupID

readList :: ReadS [GroupID]

readPrec :: ReadPrec GroupID

readListPrec :: ReadPrec [GroupID]

Show GroupID

Defined in LLVM.AST.FunctionAttribute

Methods

showsPrec :: Int -> GroupID -> ShowS

show :: GroupID -> String

showList :: [GroupID] -> ShowS

Generic GroupID

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

Defined in LLVM.AST.FunctionAttribute

type Rep GroupID = D1 ('MetaData "GroupID" "LLVM.AST.FunctionAttribute" "llvm-hs-pure-9.0.0-inplace" 'True) (C1 ('MetaCons "GroupID" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Word)))