LLVM.AST.Attribute

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.

Documentation

data ParameterAttribute

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

Methods

(==) :: ParameterAttribute -> ParameterAttribute -> Bool

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

Data ParameterAttribute

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

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

Methods

readsPrec :: Int -> ReadS ParameterAttribute

readList :: ReadS [ParameterAttribute]

readPrec :: ReadPrec ParameterAttribute

readListPrec :: ReadPrec [ParameterAttribute]

Show ParameterAttribute

Methods

showsPrec :: Int -> ParameterAttribute -> ShowS

show :: ParameterAttribute -> String

showList :: [ParameterAttribute] -> ShowS

Generic ParameterAttribute

Associated Types

type Rep ParameterAttribute :: * -> *

Methods

from :: ParameterAttribute -> Rep ParameterAttribute x

to :: Rep ParameterAttribute x -> ParameterAttribute

type Rep ParameterAttribute

type Rep ParameterAttribute = D1 * (MetaData "ParameterAttribute" "LLVM.AST.ParameterAttribute" "llvm-hs-pure-5.1.0-ABIfIqE2ohGHl8oRFKMmj0" 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

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

Methods

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

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

Data 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

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

Methods

readsPrec :: Int -> ReadS FunctionAttribute

readList :: ReadS [FunctionAttribute]

readPrec :: ReadPrec FunctionAttribute

readListPrec :: ReadPrec [FunctionAttribute]

Show FunctionAttribute

Methods

showsPrec :: Int -> FunctionAttribute -> ShowS

show :: FunctionAttribute -> String

showList :: [FunctionAttribute] -> ShowS

Generic FunctionAttribute

Associated Types

type Rep FunctionAttribute :: * -> *

Methods

from :: FunctionAttribute -> Rep FunctionAttribute x

to :: Rep FunctionAttribute x -> FunctionAttribute

type Rep FunctionAttribute

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

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

Constructors

GroupID Word

Instances

Eq GroupID

Methods

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

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

Data GroupID

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

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

Methods

readsPrec :: Int -> ReadS GroupID

readList :: ReadS [GroupID]

readPrec :: ReadPrec GroupID

readListPrec :: ReadPrec [GroupID]

Show GroupID

Methods

showsPrec :: Int -> GroupID -> ShowS

show :: GroupID -> String

showList :: [GroupID] -> ShowS

Generic GroupID

Associated Types

type Rep GroupID :: * -> *

Methods

from :: GroupID -> Rep GroupID x

to :: Rep GroupID x -> GroupID

type Rep GroupID

type Rep GroupID = D1 * (MetaData "GroupID" "LLVM.AST.FunctionAttribute" "llvm-hs-pure-5.1.0-ABIfIqE2ohGHl8oRFKMmj0" True) (C1 * (MetaCons "GroupID" PrefixI False) (S1 * (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * Word)))