Safe Haskell	Safe
Language	Haskell98

LLVM.AST.Instruction

Description

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

Synopsis

Documentation

type InstructionMetadata = [(String, MetadataNode)] Source #

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

data Terminator Source #

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 Source #
Methods (==) :: Terminator -> Terminator -> Bool # (/=) :: Terminator -> Terminator -> Bool #
Data Terminator Source #
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 Source #
Methods readsPrec :: Int -> ReadS Terminator # readList :: ReadS [Terminator] # readPrec :: ReadPrec Terminator # readListPrec :: ReadPrec [Terminator] #
Show Terminator Source #
Methods showsPrec :: Int -> Terminator -> ShowS # show :: Terminator -> String # showList :: [Terminator] -> ShowS #

data FastMathFlags Source #

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 Source #
Methods (==) :: FastMathFlags -> FastMathFlags -> Bool # (/=) :: FastMathFlags -> FastMathFlags -> Bool #
Data FastMathFlags Source #
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 Source #
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 Source #
Methods readsPrec :: Int -> ReadS FastMathFlags # readList :: ReadS [FastMathFlags] # readPrec :: ReadPrec FastMathFlags # readListPrec :: ReadPrec [FastMathFlags] #
Show FastMathFlags Source #
Methods showsPrec :: Int -> FastMathFlags -> ShowS # show :: FastMathFlags -> String # showList :: [FastMathFlags] -> ShowS #

data MemoryOrdering Source #

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 Source #
Methods (==) :: MemoryOrdering -> MemoryOrdering -> Bool # (/=) :: MemoryOrdering -> MemoryOrdering -> Bool #
Data MemoryOrdering Source #
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 Source #
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 Source #
Methods readsPrec :: Int -> ReadS MemoryOrdering # readList :: ReadS [MemoryOrdering] # readPrec :: ReadPrec MemoryOrdering # readListPrec :: ReadPrec [MemoryOrdering] #
Show MemoryOrdering Source #
Methods showsPrec :: Int -> MemoryOrdering -> ShowS # show :: MemoryOrdering -> String # showList :: [MemoryOrdering] -> ShowS #

data SynchronizationScope Source #

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

Constructors

SingleThread
CrossThread

Instances

Eq SynchronizationScope Source #
Methods (==) :: SynchronizationScope -> SynchronizationScope -> Bool # (/=) :: SynchronizationScope -> SynchronizationScope -> Bool #
Data SynchronizationScope Source #
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 Source #
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 Source #
Methods readsPrec :: Int -> ReadS SynchronizationScope # readList :: ReadS [SynchronizationScope] # readPrec :: ReadPrec SynchronizationScope # readListPrec :: ReadPrec [SynchronizationScope] #
Show SynchronizationScope Source #
Methods showsPrec :: Int -> SynchronizationScope -> ShowS # show :: SynchronizationScope -> String # showList :: [SynchronizationScope] -> ShowS #

type Atomicity = (SynchronizationScope, MemoryOrdering) Source #

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

data LandingPadClause Source #

For the redoubtably complex LandingPad instruction

Constructors

Catch Constant
Filter Constant

Instances

Eq LandingPadClause Source #
Methods (==) :: LandingPadClause -> LandingPadClause -> Bool # (/=) :: LandingPadClause -> LandingPadClause -> Bool #
Data LandingPadClause Source #
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 Source #
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 Source #
Methods readsPrec :: Int -> ReadS LandingPadClause # readList :: ReadS [LandingPadClause] # readPrec :: ReadPrec LandingPadClause # readListPrec :: ReadPrec [LandingPadClause] #
Show LandingPadClause Source #
Methods showsPrec :: Int -> LandingPadClause -> ShowS # show :: LandingPadClause -> String # showList :: [LandingPadClause] -> ShowS #

data TailCallKind Source #

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

Constructors

Tail
MustTail

Instances

Eq TailCallKind Source #
Methods (==) :: TailCallKind -> TailCallKind -> Bool # (/=) :: TailCallKind -> TailCallKind -> Bool #
Data TailCallKind Source #
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 Source #
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 Source #
Methods readsPrec :: Int -> ReadS TailCallKind # readList :: ReadS [TailCallKind] # readPrec :: ReadPrec TailCallKind # readListPrec :: ReadPrec [TailCallKind] #
Show TailCallKind Source #
Methods showsPrec :: Int -> TailCallKind -> ShowS # show :: TailCallKind -> String # showList :: [TailCallKind] -> ShowS #

data Instruction Source #

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 Source #
Methods (==) :: Instruction -> Instruction -> Bool # (/=) :: Instruction -> Instruction -> Bool #
Data Instruction Source #
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 Source #
Methods readsPrec :: Int -> ReadS Instruction # readList :: ReadS [Instruction] # readPrec :: ReadPrec Instruction # readListPrec :: ReadPrec [Instruction] #
Show Instruction Source #
Methods showsPrec :: Int -> Instruction -> ShowS # show :: Instruction -> String # showList :: [Instruction] -> ShowS #

data Named a Source #

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) Source #
Methods (==) :: Named a -> Named a -> Bool # (/=) :: Named a -> Named a -> Bool #
Data a => Data (Named a) Source #
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) Source #
Methods readsPrec :: Int -> ReadS (Named a) # readList :: ReadS [Named a] # readPrec :: ReadPrec (Named a) # readListPrec :: ReadPrec [Named a] #
Show a => Show (Named a) Source #
Methods showsPrec :: Int -> Named a -> ShowS # show :: Named a -> String # showList :: [Named a] -> ShowS #