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

Alignment Word64

ByVal

Dereferenceable Word64

DereferenceableOrNull Word64

ImmArg

InAlloca

InReg

Nest

NoAlias

NoCapture

NonNull

Returned

SignExt

SRet

SwiftError

SwiftSelf

ZeroExt

Instances

Data ParameterAttribute

Defined in LLVM.AST.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 :: forall r r'. (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

Generic ParameterAttribute

Defined in LLVM.AST.ParameterAttribute

Associated Types

type Rep ParameterAttribute :: Type -> Type

Methods

from :: ParameterAttribute -> Rep ParameterAttribute x

to :: Rep ParameterAttribute x -> ParameterAttribute

Read ParameterAttribute

Defined in LLVM.AST.ParameterAttribute

Methods

readsPrec :: Int -> ReadS ParameterAttribute

readList :: ReadS [ParameterAttribute]

readPrec :: ReadPrec ParameterAttribute

readListPrec :: ReadPrec [ParameterAttribute]

Show ParameterAttribute

Defined in LLVM.AST.ParameterAttribute

Methods

showsPrec :: Int -> ParameterAttribute -> ShowS

show :: ParameterAttribute -> String

showList :: [ParameterAttribute] -> ShowS

Eq ParameterAttribute

Defined in LLVM.AST.ParameterAttribute

Methods

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

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

Ord ParameterAttribute

Defined in LLVM.AST.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

DecodeM DecodeAST ParameterAttribute ParameterAttribute

Defined in LLVM.Internal.Attribute

Methods

decodeM :: ParameterAttribute0 -> DecodeAST ParameterAttribute

Monad m => EncodeM m ParameterAttribute (Ptr ParameterAttrBuilder -> EncodeAST ())

Defined in LLVM.Internal.Attribute

Methods

encodeM :: ParameterAttribute -> m (Ptr ParameterAttrBuilder -> EncodeAST ())

type Rep ParameterAttribute

Defined in LLVM.AST.ParameterAttribute

type Rep ParameterAttribute = D1 ('MetaData "ParameterAttribute" "LLVM.AST.ParameterAttribute" "llvm-party-12.1.1-inplace" 'False) ((((C1 ('MetaCons "Alignment" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Word64)) :+: C1 ('MetaCons "ByVal" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "Dereferenceable" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Word64)) :+: (C1 ('MetaCons "DereferenceableOrNull" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Word64)) :+: C1 ('MetaCons "ImmArg" 'PrefixI 'False) (U1 :: Type -> Type)))) :+: ((C1 ('MetaCons "InAlloca" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "InReg" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Nest" 'PrefixI 'False) (U1 :: Type -> Type))) :+: (C1 ('MetaCons "NoAlias" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "NoCapture" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "NoFree" 'PrefixI 'False) (U1 :: Type -> Type))))) :+: (((C1 ('MetaCons "NonNull" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "ReadNone" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "ReadOnly" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "Returned" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "SignExt" 'PrefixI 'False) (U1 :: Type -> Type)))) :+: ((C1 ('MetaCons "SRet" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "SwiftError" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "SwiftSelf" 'PrefixI 'False) (U1 :: Type -> Type))) :+: (C1 ('MetaCons "WriteOnly" '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 "ZeroExt" 'PrefixI 'False) (U1 :: Type -> Type))))))

data FunctionAttribute

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

Constructors

AllocSize Word32 (Maybe Word32)

AllocSize 0 (Just 0) is invalid

AlwaysInline

ArgMemOnly

Builtin

Cold

Convergent

InaccessibleMemOnly

InaccessibleMemOrArgMemOnly

InlineHint

JumpTable

MinimizeSize

MustProgress

Naked

NoBuiltin

NoDuplicate

NoFree

NoImplicitFloat

NoInline

NonLazyBind

NoRecurse

NoRedZone

NoReturn

NoSync

NoUnwind

OptimizeForSize

OptimizeNone

ReadNone

ReadOnly

ReturnsTwice

SafeStack

SanitizeAddress

SanitizeHWAddress

SanitizeMemory

SanitizeThread

Speculatable

StackAlignment Word64

StackProtect

StackProtectReq

StackProtectStrong

StrictFP

StringAttribute

Fields

• stringAttributeKind :: ShortByteString
• stringAttributeValue :: ShortByteString

  Use "" for no value -- the two are conflated

UWTable

WillReturn

WriteOnly

Instances

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

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

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

Eq FunctionAttribute

Defined in LLVM.AST.FunctionAttribute

Methods

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

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

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

DecodeM DecodeAST FunctionAttribute FunctionAttribute

Defined in LLVM.Internal.Attribute

Methods

decodeM :: FunctionAttribute0 -> DecodeAST FunctionAttribute

Monad m => EncodeM m FunctionAttribute (Ptr FunctionAttrBuilder -> EncodeAST ())

Defined in LLVM.Internal.Attribute

Methods

encodeM :: FunctionAttribute -> m (Ptr FunctionAttrBuilder -> EncodeAST ())

EncodeM EncodeAST [Either GroupID FunctionAttribute] FunctionAttributeSet

Defined in LLVM.Internal.Attribute

Methods

encodeM :: [Either GroupID FunctionAttribute] -> EncodeAST FunctionAttributeSet

type Rep FunctionAttribute

Defined in LLVM.AST.FunctionAttribute

type Rep FunctionAttribute = D1 ('MetaData "FunctionAttribute" "LLVM.AST.FunctionAttribute" "llvm-party-12.1.1-inplace" 'False) (((((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 "AlwaysInline" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "ArgMemOnly" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "Builtin" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Cold" '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 "InlineHint" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "JumpTable" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "MinimizeSize" 'PrefixI 'False) (U1 :: Type -> Type))))) :+: (((C1 ('MetaCons "MustProgress" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Naked" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "NoBuiltin" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "NoDuplicate" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "NoFree" 'PrefixI 'False) (U1 :: Type -> Type)))) :+: ((C1 ('MetaCons "NoImplicitFloat" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "NoInline" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "NonLazyBind" 'PrefixI 'False) (U1 :: Type -> Type))) :+: (C1 ('MetaCons "NoRecurse" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "NoRedZone" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "NoReturn" 'PrefixI 'False) (U1 :: Type -> Type)))))) :+: ((((C1 ('MetaCons "NoSync" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "NoUnwind" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "OptimizeForSize" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "OptimizeNone" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "ReadNone" 'PrefixI 'False) (U1 :: Type -> Type)))) :+: ((C1 ('MetaCons "ReadOnly" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "ReturnsTwice" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "SafeStack" 'PrefixI 'False) (U1 :: Type -> Type))) :+: (C1 ('MetaCons "SanitizeAddress" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "SanitizeHWAddress" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "SanitizeMemory" 'PrefixI 'False) (U1 :: Type -> Type))))) :+: (((C1 ('MetaCons "SanitizeThread" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Speculatable" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "StackAlignment" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Word64)) :+: (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 "StringAttribute" 'PrefixI 'True) (S1 ('MetaSel ('Just "stringAttributeKind") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 ShortByteString) :*: S1 ('MetaSel ('Just "stringAttributeValue") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 ShortByteString)))) :+: (C1 ('MetaCons "UWTable" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "WillReturn" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "WriteOnly" 'PrefixI 'False) (U1 :: Type -> Type)))))))

newtype GroupID

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

Constructors

GroupID Word

Instances

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

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

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

Eq GroupID

Defined in LLVM.AST.FunctionAttribute

Methods

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

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

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

EncodeM EncodeAST [Either GroupID FunctionAttribute] FunctionAttributeSet

Defined in LLVM.Internal.Attribute

Methods

encodeM :: [Either GroupID FunctionAttribute] -> EncodeAST FunctionAttributeSet

type Rep GroupID

Defined in LLVM.AST.FunctionAttribute

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