LLVM.AST.Instruction

LLVM instructions http://llvm.org/docs/LangRef.html#instruction-reference

Documentation

type InstructionMetadata = [(String, MetadataNode)]

http://llvm.org/docs/LangRef.html#metadata-nodes-and-metadata-strings Metadata can be attached to an instruction

data Terminator

http://llvm.org/docs/LangRef.html#terminators

Constructors

Ret

Fields

• returnOperand :: Maybe Operand
• metadata' :: InstructionMetadata

CondBr

Fields

• condition :: Operand
• trueDest :: Name
• falseDest :: Name
• metadata' :: InstructionMetadata

Br

Fields

• dest :: Name
• metadata' :: InstructionMetadata

Switch

Fields

• operand0' :: Operand
• defaultDest :: Name
• dests :: [(Constant, Name)]
• metadata' :: InstructionMetadata

IndirectBr

Fields

• operand0' :: Operand
• possibleDests :: [Name]
• metadata' :: InstructionMetadata

Invoke

Fields

• callingConvention' :: CallingConvention
• returnAttributes' :: [ParameterAttribute]
• function' :: CallableOperand
• arguments' :: [(Operand, [ParameterAttribute])]
• functionAttributes' :: [Either GroupID FunctionAttribute]
• returnDest :: Name
• exceptionDest :: Name
• metadata' :: InstructionMetadata

Resume

Fields

• operand0' :: Operand
• metadata' :: InstructionMetadata

Unreachable

Fields

• metadata' :: InstructionMetadata

CleanupRet

Fields

• cleanupPad :: Operand
• unwindDest :: Maybe Name
• metadata' :: InstructionMetadata

CatchRet

Fields

• catchPad :: Operand
• successor :: Name
• metadata' :: InstructionMetadata

CatchSwitch

Fields

• parentPad' :: Operand
• catchHandlers :: NonEmpty Name
• defaultUnwindDest :: Maybe Name
• metadata' :: InstructionMetadata

Instances

Eq Terminator

Methods

(==) :: Terminator -> Terminator -> Bool

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

Data Terminator

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Terminator -> c Terminator

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c Terminator

toConstr :: Terminator -> Constr

dataTypeOf :: Terminator -> DataType

dataCast1 :: Typeable (* -> *) t => (forall d. Data d => c (t d)) -> Maybe (c Terminator)

dataCast2 :: Typeable (* -> * -> *) t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c Terminator)

gmapT :: (forall b. Data b => b -> b) -> Terminator -> Terminator

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Terminator -> r

gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Terminator -> r

gmapQ :: (forall d. Data d => d -> u) -> Terminator -> [u]

gmapQi :: Int -> (forall d. Data d => d -> u) -> Terminator -> u

gmapM :: Monad m => (forall d. Data d => d -> m d) -> Terminator -> m Terminator

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Terminator -> m Terminator

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Terminator -> m Terminator

Read Terminator

Methods

readsPrec :: Int -> ReadS Terminator

readList :: ReadS [Terminator]

readPrec :: ReadPrec Terminator

readListPrec :: ReadPrec [Terminator]

Show Terminator

Methods

showsPrec :: Int -> Terminator -> ShowS

show :: Terminator -> String

showList :: [Terminator] -> ShowS

data FastMathFlags

http://llvm.org/docs/LangRef.html#fast-math-flags

Constructors

NoFastMathFlags

UnsafeAlgebra

FastMathFlags

Fields

• noNaNs :: Bool
• noInfs :: Bool
• noSignedZeros :: Bool
• allowReciprocal :: Bool

Instances

Eq FastMathFlags

Methods

(==) :: FastMathFlags -> FastMathFlags -> Bool

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

Data FastMathFlags

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> FastMathFlags -> c FastMathFlags

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c FastMathFlags

toConstr :: FastMathFlags -> Constr

dataTypeOf :: FastMathFlags -> DataType

dataCast1 :: Typeable (* -> *) t => (forall d. Data d => c (t d)) -> Maybe (c FastMathFlags)

dataCast2 :: Typeable (* -> * -> *) t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c FastMathFlags)

gmapT :: (forall b. Data b => b -> b) -> FastMathFlags -> FastMathFlags

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> FastMathFlags -> r

gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> FastMathFlags -> r

gmapQ :: (forall d. Data d => d -> u) -> FastMathFlags -> [u]

gmapQi :: Int -> (forall d. Data d => d -> u) -> FastMathFlags -> u

gmapM :: Monad m => (forall d. Data d => d -> m d) -> FastMathFlags -> m FastMathFlags

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> FastMathFlags -> m FastMathFlags

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> FastMathFlags -> m FastMathFlags

Ord FastMathFlags

Methods

compare :: FastMathFlags -> FastMathFlags -> Ordering

(<) :: FastMathFlags -> FastMathFlags -> Bool

(<=) :: FastMathFlags -> FastMathFlags -> Bool

(>) :: FastMathFlags -> FastMathFlags -> Bool

(>=) :: FastMathFlags -> FastMathFlags -> Bool

max :: FastMathFlags -> FastMathFlags -> FastMathFlags

min :: FastMathFlags -> FastMathFlags -> FastMathFlags

Read FastMathFlags

Methods

readsPrec :: Int -> ReadS FastMathFlags

readList :: ReadS [FastMathFlags]

readPrec :: ReadPrec FastMathFlags

readListPrec :: ReadPrec [FastMathFlags]

Show FastMathFlags

Methods

showsPrec :: Int -> FastMathFlags -> ShowS

show :: FastMathFlags -> String

showList :: [FastMathFlags] -> ShowS

data MemoryOrdering

http://llvm.org/docs/LangRef.html#atomic-memory-ordering-constraints http://llvm.org/docs/Atomics.html

Constructors

Unordered

Monotonic

Acquire

Release

AcquireRelease

SequentiallyConsistent

Instances

Eq MemoryOrdering

Methods

(==) :: MemoryOrdering -> MemoryOrdering -> Bool

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

Data MemoryOrdering

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> MemoryOrdering -> c MemoryOrdering

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c MemoryOrdering

toConstr :: MemoryOrdering -> Constr

dataTypeOf :: MemoryOrdering -> DataType

dataCast1 :: Typeable (* -> *) t => (forall d. Data d => c (t d)) -> Maybe (c MemoryOrdering)

dataCast2 :: Typeable (* -> * -> *) t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c MemoryOrdering)

gmapT :: (forall b. Data b => b -> b) -> MemoryOrdering -> MemoryOrdering

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> MemoryOrdering -> r

gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> MemoryOrdering -> r

gmapQ :: (forall d. Data d => d -> u) -> MemoryOrdering -> [u]

gmapQi :: Int -> (forall d. Data d => d -> u) -> MemoryOrdering -> u

gmapM :: Monad m => (forall d. Data d => d -> m d) -> MemoryOrdering -> m MemoryOrdering

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> MemoryOrdering -> m MemoryOrdering

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> MemoryOrdering -> m MemoryOrdering

Ord MemoryOrdering

Methods

compare :: MemoryOrdering -> MemoryOrdering -> Ordering

(<) :: MemoryOrdering -> MemoryOrdering -> Bool

(<=) :: MemoryOrdering -> MemoryOrdering -> Bool

(>) :: MemoryOrdering -> MemoryOrdering -> Bool

(>=) :: MemoryOrdering -> MemoryOrdering -> Bool

max :: MemoryOrdering -> MemoryOrdering -> MemoryOrdering

min :: MemoryOrdering -> MemoryOrdering -> MemoryOrdering

Read MemoryOrdering

Methods

readsPrec :: Int -> ReadS MemoryOrdering

readList :: ReadS [MemoryOrdering]

readPrec :: ReadPrec MemoryOrdering

readListPrec :: ReadPrec [MemoryOrdering]

Show MemoryOrdering

Methods

showsPrec :: Int -> MemoryOrdering -> ShowS

show :: MemoryOrdering -> String

showList :: [MemoryOrdering] -> ShowS

data SynchronizationScope

http://llvm.org/docs/LangRef.html#singlethread

Constructors

SingleThread

CrossThread

Instances

Eq SynchronizationScope

Methods

(==) :: SynchronizationScope -> SynchronizationScope -> Bool

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

Data SynchronizationScope

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> SynchronizationScope -> c SynchronizationScope

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c SynchronizationScope

toConstr :: SynchronizationScope -> Constr

dataTypeOf :: SynchronizationScope -> DataType

dataCast1 :: Typeable (* -> *) t => (forall d. Data d => c (t d)) -> Maybe (c SynchronizationScope)

dataCast2 :: Typeable (* -> * -> *) t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c SynchronizationScope)

gmapT :: (forall b. Data b => b -> b) -> SynchronizationScope -> SynchronizationScope

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> SynchronizationScope -> r

gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> SynchronizationScope -> r

gmapQ :: (forall d. Data d => d -> u) -> SynchronizationScope -> [u]

gmapQi :: Int -> (forall d. Data d => d -> u) -> SynchronizationScope -> u

gmapM :: Monad m => (forall d. Data d => d -> m d) -> SynchronizationScope -> m SynchronizationScope

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> SynchronizationScope -> m SynchronizationScope

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> SynchronizationScope -> m SynchronizationScope

Ord SynchronizationScope

Methods

compare :: SynchronizationScope -> SynchronizationScope -> Ordering

(<) :: SynchronizationScope -> SynchronizationScope -> Bool

(<=) :: SynchronizationScope -> SynchronizationScope -> Bool

(>) :: SynchronizationScope -> SynchronizationScope -> Bool

(>=) :: SynchronizationScope -> SynchronizationScope -> Bool

max :: SynchronizationScope -> SynchronizationScope -> SynchronizationScope

min :: SynchronizationScope -> SynchronizationScope -> SynchronizationScope

Read SynchronizationScope

Methods

readsPrec :: Int -> ReadS SynchronizationScope

readList :: ReadS [SynchronizationScope]

readPrec :: ReadPrec SynchronizationScope

readListPrec :: ReadPrec [SynchronizationScope]

Show SynchronizationScope

Methods

showsPrec :: Int -> SynchronizationScope -> ShowS

show :: SynchronizationScope -> String

showList :: [SynchronizationScope] -> ShowS

type Atomicity = (SynchronizationScope, MemoryOrdering)

An Atomicity describes constraints on the visibility of effects of an atomic instruction

data LandingPadClause

For the redoubtably complex LandingPad instruction

Constructors

Catch Constant

Filter Constant

Instances

Eq LandingPadClause

Methods

(==) :: LandingPadClause -> LandingPadClause -> Bool

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

Data LandingPadClause

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> LandingPadClause -> c LandingPadClause

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c LandingPadClause

toConstr :: LandingPadClause -> Constr

dataTypeOf :: LandingPadClause -> DataType

dataCast1 :: Typeable (* -> *) t => (forall d. Data d => c (t d)) -> Maybe (c LandingPadClause)

dataCast2 :: Typeable (* -> * -> *) t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c LandingPadClause)

gmapT :: (forall b. Data b => b -> b) -> LandingPadClause -> LandingPadClause

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> LandingPadClause -> r

gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> LandingPadClause -> r

gmapQ :: (forall d. Data d => d -> u) -> LandingPadClause -> [u]

gmapQi :: Int -> (forall d. Data d => d -> u) -> LandingPadClause -> u

gmapM :: Monad m => (forall d. Data d => d -> m d) -> LandingPadClause -> m LandingPadClause

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> LandingPadClause -> m LandingPadClause

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> LandingPadClause -> m LandingPadClause

Ord LandingPadClause

Methods

compare :: LandingPadClause -> LandingPadClause -> Ordering

(<) :: LandingPadClause -> LandingPadClause -> Bool

(<=) :: LandingPadClause -> LandingPadClause -> Bool

(>) :: LandingPadClause -> LandingPadClause -> Bool

(>=) :: LandingPadClause -> LandingPadClause -> Bool

max :: LandingPadClause -> LandingPadClause -> LandingPadClause

min :: LandingPadClause -> LandingPadClause -> LandingPadClause

Read LandingPadClause

Methods

readsPrec :: Int -> ReadS LandingPadClause

readList :: ReadS [LandingPadClause]

readPrec :: ReadPrec LandingPadClause

readListPrec :: ReadPrec [LandingPadClause]

Show LandingPadClause

Methods

showsPrec :: Int -> LandingPadClause -> ShowS

show :: LandingPadClause -> String

showList :: [LandingPadClause] -> ShowS

data TailCallKind

For the call instruction http://llvm.org/docs/LangRef.html#call-instruction

Constructors

Tail

MustTail

Instances

Eq TailCallKind

Methods

(==) :: TailCallKind -> TailCallKind -> Bool

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

Data TailCallKind

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> TailCallKind -> c TailCallKind

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c TailCallKind

toConstr :: TailCallKind -> Constr

dataTypeOf :: TailCallKind -> DataType

dataCast1 :: Typeable (* -> *) t => (forall d. Data d => c (t d)) -> Maybe (c TailCallKind)

dataCast2 :: Typeable (* -> * -> *) t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c TailCallKind)

gmapT :: (forall b. Data b => b -> b) -> TailCallKind -> TailCallKind

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> TailCallKind -> r

gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> TailCallKind -> r

gmapQ :: (forall d. Data d => d -> u) -> TailCallKind -> [u]

gmapQi :: Int -> (forall d. Data d => d -> u) -> TailCallKind -> u

gmapM :: Monad m => (forall d. Data d => d -> m d) -> TailCallKind -> m TailCallKind

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> TailCallKind -> m TailCallKind

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> TailCallKind -> m TailCallKind

Ord TailCallKind

Methods

compare :: TailCallKind -> TailCallKind -> Ordering

(<) :: TailCallKind -> TailCallKind -> Bool

(<=) :: TailCallKind -> TailCallKind -> Bool

(>) :: TailCallKind -> TailCallKind -> Bool

(>=) :: TailCallKind -> TailCallKind -> Bool

max :: TailCallKind -> TailCallKind -> TailCallKind

min :: TailCallKind -> TailCallKind -> TailCallKind

Read TailCallKind

Methods

readsPrec :: Int -> ReadS TailCallKind

readList :: ReadS [TailCallKind]

readPrec :: ReadPrec TailCallKind

readListPrec :: ReadPrec [TailCallKind]

Show TailCallKind

Methods

showsPrec :: Int -> TailCallKind -> ShowS

show :: TailCallKind -> String

showList :: [TailCallKind] -> ShowS

data Instruction

non-terminator instructions: http://llvm.org/docs/LangRef.html#binaryops http://llvm.org/docs/LangRef.html#bitwiseops http://llvm.org/docs/LangRef.html#memoryops http://llvm.org/docs/LangRef.html#otherops

Constructors

Add

Fields

• nsw :: Bool
• nuw :: Bool
• operand0 :: Operand
• operand1 :: Operand
• metadata :: InstructionMetadata

FAdd

Fields

• fastMathFlags :: FastMathFlags
• operand0 :: Operand
• operand1 :: Operand
• metadata :: InstructionMetadata

Sub

Fields

• nsw :: Bool
• nuw :: Bool
• operand0 :: Operand
• operand1 :: Operand
• metadata :: InstructionMetadata

FSub

Fields

• fastMathFlags :: FastMathFlags
• operand0 :: Operand
• operand1 :: Operand
• metadata :: InstructionMetadata

Mul

Fields

• nsw :: Bool
• nuw :: Bool
• operand0 :: Operand
• operand1 :: Operand
• metadata :: InstructionMetadata

FMul

Fields

• fastMathFlags :: FastMathFlags
• operand0 :: Operand
• operand1 :: Operand
• metadata :: InstructionMetadata

UDiv

Fields

• exact :: Bool
• operand0 :: Operand
• operand1 :: Operand
• metadata :: InstructionMetadata

SDiv

Fields

• exact :: Bool
• operand0 :: Operand
• operand1 :: Operand
• metadata :: InstructionMetadata

FDiv

Fields

• fastMathFlags :: FastMathFlags
• operand0 :: Operand
• operand1 :: Operand
• metadata :: InstructionMetadata

URem

Fields

• operand0 :: Operand
• operand1 :: Operand
• metadata :: InstructionMetadata

SRem

Fields

• operand0 :: Operand
• operand1 :: Operand
• metadata :: InstructionMetadata

FRem

Fields

• fastMathFlags :: FastMathFlags
• operand0 :: Operand
• operand1 :: Operand
• metadata :: InstructionMetadata

Shl

Fields

• nsw :: Bool
• nuw :: Bool
• operand0 :: Operand
• operand1 :: Operand
• metadata :: InstructionMetadata

LShr

Fields

• exact :: Bool
• operand0 :: Operand
• operand1 :: Operand
• metadata :: InstructionMetadata

AShr

Fields

• exact :: Bool
• operand0 :: Operand
• operand1 :: Operand
• metadata :: InstructionMetadata

And

Fields

• operand0 :: Operand
• operand1 :: Operand
• metadata :: InstructionMetadata

Or

Fields

• operand0 :: Operand
• operand1 :: Operand
• metadata :: InstructionMetadata

Xor

Fields

• operand0 :: Operand
• operand1 :: Operand
• metadata :: InstructionMetadata

Alloca

Fields

• allocatedType :: Type
• numElements :: Maybe Operand
• alignment :: Word32
• metadata :: InstructionMetadata

Load

Fields

• volatile :: Bool
• address :: Operand
• maybeAtomicity :: Maybe Atomicity
• alignment :: Word32
• metadata :: InstructionMetadata

Store

Fields

• volatile :: Bool
• address :: Operand
• value :: Operand
• maybeAtomicity :: Maybe Atomicity
• alignment :: Word32
• metadata :: InstructionMetadata

GetElementPtr

Fields

• inBounds :: Bool
• address :: Operand
• indices :: [Operand]
• metadata :: InstructionMetadata

Fence

Fields

• atomicity :: Atomicity
• metadata :: InstructionMetadata

CmpXchg

Fields

• volatile :: Bool
• address :: Operand
• expected :: Operand
• replacement :: Operand
• atomicity :: Atomicity
• failureMemoryOrdering :: MemoryOrdering
• metadata :: InstructionMetadata

AtomicRMW

Fields

• volatile :: Bool
• rmwOperation :: RMWOperation
• address :: Operand
• value :: Operand
• atomicity :: Atomicity
• metadata :: InstructionMetadata

Trunc

Fields

• operand0 :: Operand
• type' :: Type
• metadata :: InstructionMetadata

ZExt

Fields

• operand0 :: Operand
• type' :: Type
• metadata :: InstructionMetadata

SExt

Fields

• operand0 :: Operand
• type' :: Type
• metadata :: InstructionMetadata

FPToUI

Fields

• operand0 :: Operand
• type' :: Type
• metadata :: InstructionMetadata

FPToSI

Fields

• operand0 :: Operand
• type' :: Type
• metadata :: InstructionMetadata

UIToFP

Fields

• operand0 :: Operand
• type' :: Type
• metadata :: InstructionMetadata

SIToFP

Fields

• operand0 :: Operand
• type' :: Type
• metadata :: InstructionMetadata

FPTrunc

Fields

• operand0 :: Operand
• type' :: Type
• metadata :: InstructionMetadata

FPExt

Fields

• operand0 :: Operand
• type' :: Type
• metadata :: InstructionMetadata

PtrToInt

Fields

• operand0 :: Operand
• type' :: Type
• metadata :: InstructionMetadata

IntToPtr

Fields

• operand0 :: Operand
• type' :: Type
• metadata :: InstructionMetadata

BitCast

Fields

• operand0 :: Operand
• type' :: Type
• metadata :: InstructionMetadata

AddrSpaceCast

Fields

• operand0 :: Operand
• type' :: Type
• metadata :: InstructionMetadata

ICmp

Fields

• iPredicate :: IntegerPredicate
• operand0 :: Operand
• operand1 :: Operand
• metadata :: InstructionMetadata

FCmp

Fields

• fpPredicate :: FloatingPointPredicate
• operand0 :: Operand
• operand1 :: Operand
• metadata :: InstructionMetadata

Phi

Fields

• type' :: Type
• incomingValues :: [(Operand, Name)]
• metadata :: InstructionMetadata

Call

Fields

• tailCallKind :: Maybe TailCallKind
• callingConvention :: CallingConvention
• returnAttributes :: [ParameterAttribute]
• function :: CallableOperand
• arguments :: [(Operand, [ParameterAttribute])]
• functionAttributes :: [Either GroupID FunctionAttribute]
• metadata :: InstructionMetadata

Select

Fields

• condition' :: Operand
• trueValue :: Operand
• falseValue :: Operand
• metadata :: InstructionMetadata

VAArg

Fields

• argList :: Operand
• type' :: Type
• metadata :: InstructionMetadata

ExtractElement

Fields

• vector :: Operand
• index :: Operand
• metadata :: InstructionMetadata

InsertElement

Fields

• vector :: Operand
• element :: Operand
• index :: Operand
• metadata :: InstructionMetadata

ShuffleVector

Fields

• operand0 :: Operand
• operand1 :: Operand
• mask :: Constant
• metadata :: InstructionMetadata

ExtractValue

Fields

• aggregate :: Operand
• indices' :: [Word32]
• metadata :: InstructionMetadata

InsertValue

Fields

• aggregate :: Operand
• element :: Operand
• indices' :: [Word32]
• metadata :: InstructionMetadata

LandingPad

Fields

• type' :: Type
• cleanup :: Bool
• clauses :: [LandingPadClause]
• metadata :: InstructionMetadata

CatchPad

Fields

• catchSwitch :: Operand
• args :: [Operand]
• metadata :: InstructionMetadata

CleanupPad

Fields

• parentPad :: Operand
• args :: [Operand]
• metadata :: InstructionMetadata

Instances

Eq Instruction

Methods

(==) :: Instruction -> Instruction -> Bool

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

Data Instruction

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Instruction -> c Instruction

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c Instruction

toConstr :: Instruction -> Constr

dataTypeOf :: Instruction -> DataType

dataCast1 :: Typeable (* -> *) t => (forall d. Data d => c (t d)) -> Maybe (c Instruction)

dataCast2 :: Typeable (* -> * -> *) t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c Instruction)

gmapT :: (forall b. Data b => b -> b) -> Instruction -> Instruction

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Instruction -> r

gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Instruction -> r

gmapQ :: (forall d. Data d => d -> u) -> Instruction -> [u]

gmapQi :: Int -> (forall d. Data d => d -> u) -> Instruction -> u

gmapM :: Monad m => (forall d. Data d => d -> m d) -> Instruction -> m Instruction

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Instruction -> m Instruction

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Instruction -> m Instruction

Read Instruction

Methods

readsPrec :: Int -> ReadS Instruction

readList :: ReadS [Instruction]

readPrec :: ReadPrec Instruction

readListPrec :: ReadPrec [Instruction]

Show Instruction

Methods

showsPrec :: Int -> Instruction -> ShowS

show :: Instruction -> String

showList :: [Instruction] -> ShowS

data Named a

Instances of instructions may be given a name, allowing their results to be referenced as Operands. Sometimes instructions - e.g. a call to a function returning void - don't need names.

Constructors

Name := a

Do a

Instances

Eq a => Eq (Named a)

Methods

(==) :: Named a -> Named a -> Bool

(/=) :: Named a -> Named a -> Bool

Data a => Data (Named a)

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Named a -> c (Named a)

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c (Named a)

toConstr :: Named a -> Constr

dataTypeOf :: Named a -> DataType

dataCast1 :: Typeable (* -> *) t => (forall d. Data d => c (t d)) -> Maybe (c (Named a))

dataCast2 :: Typeable (* -> * -> *) t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c (Named a))

gmapT :: (forall b. Data b => b -> b) -> Named a -> Named a

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Named a -> r

gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Named a -> r

gmapQ :: (forall d. Data d => d -> u) -> Named a -> [u]

gmapQi :: Int -> (forall d. Data d => d -> u) -> Named a -> u

gmapM :: Monad m => (forall d. Data d => d -> m d) -> Named a -> m (Named a)

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Named a -> m (Named a)

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Named a -> m (Named a)

Read a => Read (Named a)

Methods

readsPrec :: Int -> ReadS (Named a)

readList :: ReadS [Named a]

readPrec :: ReadPrec (Named a)

readListPrec :: ReadPrec [Named a]

Show a => Show (Named a)

Methods

showsPrec :: Int -> Named a -> ShowS

show :: Named a -> String

showList :: [Named a] -> ShowS