Safe Haskell	Safe
Language	Haskell98

LLVM.AST.Instruction

Description

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

Synopsis

Documentation

type InstructionMetadata = [(ShortByteString, 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 #
Generic Terminator Source #
Associated Types type Rep Terminator :: * -> * # Methods from :: Terminator -> Rep Terminator x # to :: Rep Terminator x -> Terminator #
type Rep Terminator Source #
type Rep Terminator = D1 * (MetaData "Terminator" "LLVM.AST.Instruction" "llvm-hs-pure-5.1.1-A50TaxGLKsoFnCqinrVaVN" False) ((:+:) * ((:+:) * ((:+:) * (C1 * (MetaCons "Ret" PrefixI True) ((::) (S1 * (MetaSel (Just Symbol "returnOperand") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * (Maybe Operand))) (S1 * (MetaSel (Just Symbol "metadata'") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * InstructionMetadata)))) (C1 * (MetaCons "CondBr" PrefixI True) ((::) ((::) (S1 * (MetaSel (Just Symbol "condition") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * Operand)) (S1 * (MetaSel (Just Symbol "trueDest") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * Name))) ((::) (S1 * (MetaSel (Just Symbol "falseDest") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * Name)) (S1 * (MetaSel (Just Symbol "metadata'") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * InstructionMetadata)))))) ((:+:) * (C1 * (MetaCons "Br" PrefixI True) ((::) (S1 * (MetaSel (Just Symbol "dest") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * Name)) (S1 * (MetaSel (Just Symbol "metadata'") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * InstructionMetadata)))) ((:+:) * (C1 * (MetaCons "Switch" PrefixI True) ((::) ((::) (S1 * (MetaSel (Just Symbol "operand0'") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * Operand)) (S1 * (MetaSel (Just Symbol "defaultDest") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * Name))) ((::) (S1 * (MetaSel (Just Symbol "dests") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * [(Constant, Name)])) (S1 * (MetaSel (Just Symbol "metadata'") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * InstructionMetadata))))) (C1 * (MetaCons "IndirectBr" PrefixI True) ((::) (S1 * (MetaSel (Just Symbol "operand0'") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * Operand)) ((::) (S1 * (MetaSel (Just Symbol "possibleDests") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * [Name])) (S1 * (MetaSel (Just Symbol "metadata'") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * InstructionMetadata)))))))) ((:+:) * ((:+:) * (C1 * (MetaCons "Invoke" PrefixI True) ((::) ((::) ((::) (S1 * (MetaSel (Just Symbol "callingConvention'") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * CallingConvention)) (S1 * (MetaSel (Just Symbol "returnAttributes'") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * [ParameterAttribute]))) ((::) (S1 * (MetaSel (Just Symbol "function'") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * CallableOperand)) (S1 * (MetaSel (Just Symbol "arguments'") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * [(Operand, [ParameterAttribute])])))) ((::) ((::) (S1 * (MetaSel (Just Symbol "functionAttributes'") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * [Either GroupID FunctionAttribute])) (S1 * (MetaSel (Just Symbol "returnDest") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * Name))) ((::) (S1 * (MetaSel (Just Symbol "exceptionDest") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * Name)) (S1 * (MetaSel (Just Symbol "metadata'") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * InstructionMetadata)))))) ((:+:) * (C1 * (MetaCons "Resume" PrefixI True) ((::) (S1 * (MetaSel (Just Symbol "operand0'") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * Operand)) (S1 * (MetaSel (Just Symbol "metadata'") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * InstructionMetadata)))) (C1 * (MetaCons "Unreachable" PrefixI True) (S1 * (MetaSel (Just Symbol "metadata'") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * InstructionMetadata))))) ((:+:) * (C1 * (MetaCons "CleanupRet" PrefixI True) ((::) (S1 * (MetaSel (Just Symbol "cleanupPad") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * Operand)) ((::) (S1 * (MetaSel (Just Symbol "unwindDest") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * (Maybe Name))) (S1 * (MetaSel (Just Symbol "metadata'") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * InstructionMetadata))))) ((:+:) * (C1 * (MetaCons "CatchRet" PrefixI True) ((::) (S1 * (MetaSel (Just Symbol "catchPad") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * Operand)) ((::) (S1 * (MetaSel (Just Symbol "successor") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * Name)) (S1 * (MetaSel (Just Symbol "metadata'") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * InstructionMetadata))))) (C1 * (MetaCons "CatchSwitch" PrefixI True) ((::) ((::) (S1 * (MetaSel (Just Symbol "parentPad'") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * Operand)) (S1 * (MetaSel (Just Symbol "catchHandlers") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * (NonEmpty Name)))) ((::) (S1 * (MetaSel (Just Symbol "defaultUnwindDest") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * (Maybe Name))) (S1 * (MetaSel (Just Symbol "metadata'") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * InstructionMetadata)))))))))

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 #
Generic FastMathFlags Source #
Associated Types type Rep FastMathFlags :: * -> * # Methods from :: FastMathFlags -> Rep FastMathFlags x # to :: Rep FastMathFlags x -> FastMathFlags #
type Rep FastMathFlags Source #
type Rep FastMathFlags = D1 * (MetaData "FastMathFlags" "LLVM.AST.Instruction" "llvm-hs-pure-5.1.1-A50TaxGLKsoFnCqinrVaVN" False) ((:+:) * (C1 * (MetaCons "NoFastMathFlags" PrefixI False) (U1 )) ((:+:) (C1 * (MetaCons "UnsafeAlgebra" PrefixI False) (U1 )) (C1 (MetaCons "FastMathFlags" PrefixI True) ((::) ((::) (S1 * (MetaSel (Just Symbol "noNaNs") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * Bool)) (S1 * (MetaSel (Just Symbol "noInfs") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * Bool))) ((::) (S1 * (MetaSel (Just Symbol "noSignedZeros") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * Bool)) (S1 * (MetaSel (Just Symbol "allowReciprocal") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * Bool)))))))

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 #
Generic MemoryOrdering Source #
Associated Types type Rep MemoryOrdering :: * -> * # Methods from :: MemoryOrdering -> Rep MemoryOrdering x # to :: Rep MemoryOrdering x -> MemoryOrdering #
type Rep MemoryOrdering Source #
type Rep MemoryOrdering = D1 * (MetaData "MemoryOrdering" "LLVM.AST.Instruction" "llvm-hs-pure-5.1.1-A50TaxGLKsoFnCqinrVaVN" False) ((:+:) * ((:+:) * (C1 * (MetaCons "Unordered" PrefixI False) (U1 )) ((:+:) (C1 * (MetaCons "Monotonic" PrefixI False) (U1 )) (C1 (MetaCons "Acquire" PrefixI False) (U1 )))) ((:+:) (C1 * (MetaCons "Release" PrefixI False) (U1 )) ((:+:) (C1 * (MetaCons "AcquireRelease" PrefixI False) (U1 )) (C1 (MetaCons "SequentiallyConsistent" PrefixI False) (U1 *)))))

data SynchronizationScope Source #

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

Constructors

SingleThread
System

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 #
Generic SynchronizationScope Source #
Associated Types type Rep SynchronizationScope :: * -> * # Methods from :: SynchronizationScope -> Rep SynchronizationScope x # to :: Rep SynchronizationScope x -> SynchronizationScope #
type Rep SynchronizationScope Source #
type Rep SynchronizationScope = D1 * (MetaData "SynchronizationScope" "LLVM.AST.Instruction" "llvm-hs-pure-5.1.1-A50TaxGLKsoFnCqinrVaVN" False) ((:+:) * (C1 * (MetaCons "SingleThread" PrefixI False) (U1 )) (C1 (MetaCons "System" PrefixI False) (U1 *)))

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 #
Generic LandingPadClause Source #
Associated Types type Rep LandingPadClause :: * -> * # Methods from :: LandingPadClause -> Rep LandingPadClause x # to :: Rep LandingPadClause x -> LandingPadClause #
type Rep LandingPadClause Source #
type Rep LandingPadClause = D1 * (MetaData "LandingPadClause" "LLVM.AST.Instruction" "llvm-hs-pure-5.1.1-A50TaxGLKsoFnCqinrVaVN" False) ((:+:) * (C1 * (MetaCons "Catch" PrefixI False) (S1 * (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * Constant))) (C1 * (MetaCons "Filter" PrefixI False) (S1 * (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * Constant))))

data TailCallKind Source #

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

Constructors

Tail
MustTail
NoTail

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 #
Generic TailCallKind Source #
Associated Types type Rep TailCallKind :: * -> * # Methods from :: TailCallKind -> Rep TailCallKind x # to :: Rep TailCallKind x -> TailCallKind #
type Rep TailCallKind Source #
type Rep TailCallKind = D1 * (MetaData "TailCallKind" "LLVM.AST.Instruction" "llvm-hs-pure-5.1.1-A50TaxGLKsoFnCqinrVaVN" False) ((:+:) * (C1 * (MetaCons "Tail" PrefixI False) (U1 )) ((:+:) (C1 * (MetaCons "MustTail" PrefixI False) (U1 )) (C1 (MetaCons "NoTail" PrefixI False) (U1 *))))

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 #
Generic Instruction Source #
Associated Types type Rep Instruction :: * -> * # Methods from :: Instruction -> Rep Instruction x # to :: Rep Instruction x -> Instruction #
type Rep Instruction Source #
type Rep Instruction = D1 * (MetaData "Instruction" "LLVM.AST.Instruction" "llvm-hs-pure-5.1.1-A50TaxGLKsoFnCqinrVaVN" False) ((:+:) * ((:+:) * ((:+:) * ((:+:) * ((:+:) * (C1 * (MetaCons "Add" PrefixI True) ((::) ((::) (S1 * (MetaSel (Just Symbol "nsw") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * Bool)) (S1 * (MetaSel (Just Symbol "nuw") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * Bool))) ((::) (S1 * (MetaSel (Just Symbol "operand0") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * Operand)) ((::) (S1 * (MetaSel (Just Symbol "operand1") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * Operand)) (S1 * (MetaSel (Just Symbol "metadata") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * InstructionMetadata)))))) ((:+:) * (C1 * (MetaCons "FAdd" PrefixI True) ((::) ((::) (S1 * (MetaSel (Just Symbol "fastMathFlags") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * FastMathFlags)) (S1 * (MetaSel (Just Symbol "operand0") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * Operand))) ((::) (S1 * (MetaSel (Just Symbol "operand1") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * Operand)) (S1 * (MetaSel (Just Symbol "metadata") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * InstructionMetadata))))) (C1 * (MetaCons "Sub" PrefixI True) ((::) ((::) (S1 * (MetaSel (Just Symbol "nsw") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * Bool)) (S1 * (MetaSel (Just Symbol "nuw") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * Bool))) ((::) (S1 * (MetaSel (Just Symbol "operand0") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * Operand)) ((::) (S1 * (MetaSel (Just Symbol "operand1") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * Operand)) (S1 * (MetaSel (Just Symbol "metadata") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * InstructionMetadata)))))))) ((:+:) * (C1 * (MetaCons "FSub" PrefixI True) ((::) ((::) (S1 * (MetaSel (Just Symbol "fastMathFlags") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * FastMathFlags)) (S1 * (MetaSel (Just Symbol "operand0") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * Operand))) ((::) (S1 * (MetaSel (Just Symbol "operand1") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * Operand)) (S1 * (MetaSel (Just Symbol "metadata") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * InstructionMetadata))))) ((:+:) * (C1 * (MetaCons "Mul" PrefixI True) ((::) ((::) (S1 * (MetaSel (Just Symbol "nsw") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * Bool)) (S1 * (MetaSel (Just Symbol "nuw") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * Bool))) ((::) (S1 * (MetaSel (Just Symbol "operand0") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * Operand)) ((::) (S1 * (MetaSel (Just Symbol "operand1") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * Operand)) (S1 * (MetaSel (Just Symbol "metadata") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * InstructionMetadata)))))) (C1 * (MetaCons "FMul" PrefixI True) ((::) ((::) (S1 * (MetaSel (Just Symbol "fastMathFlags") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * FastMathFlags)) (S1 * (MetaSel (Just Symbol "operand0") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * Operand))) ((::) (S1 * (MetaSel (Just Symbol "operand1") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * Operand)) (S1 * (MetaSel (Just Symbol "metadata") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * InstructionMetadata)))))))) ((:+:) * ((:+:) * (C1 * (MetaCons "UDiv" PrefixI True) ((::) ((::) (S1 * (MetaSel (Just Symbol "exact") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * Bool)) (S1 * (MetaSel (Just Symbol "operand0") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * Operand))) ((::) (S1 * (MetaSel (Just Symbol "operand1") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * Operand)) (S1 * (MetaSel (Just Symbol "metadata") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * InstructionMetadata))))) ((:+:) * (C1 * (MetaCons "SDiv" PrefixI True) ((::) ((::) (S1 * (MetaSel (Just Symbol "exact") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * Bool)) (S1 * (MetaSel (Just Symbol "operand0") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * Operand))) ((::) (S1 * (MetaSel (Just Symbol "operand1") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * Operand)) (S1 * (MetaSel (Just Symbol "metadata") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * InstructionMetadata))))) (C1 * (MetaCons "FDiv" PrefixI True) ((::) ((::) (S1 * (MetaSel (Just Symbol "fastMathFlags") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * FastMathFlags)) (S1 * (MetaSel (Just Symbol "operand0") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * Operand))) ((::) (S1 * (MetaSel (Just Symbol "operand1") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * Operand)) (S1 * (MetaSel (Just Symbol "metadata") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * InstructionMetadata))))))) ((:+:) * ((:+:) * (C1 * (MetaCons "URem" PrefixI True) ((::) (S1 * (MetaSel (Just Symbol "operand0") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * Operand)) ((::) (S1 * (MetaSel (Just Symbol "operand1") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * Operand)) (S1 * (MetaSel (Just Symbol "metadata") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * InstructionMetadata))))) (C1 * (MetaCons "SRem" PrefixI True) ((::) (S1 * (MetaSel (Just Symbol "operand0") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * Operand)) ((::) (S1 * (MetaSel (Just Symbol "operand1") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * Operand)) (S1 * (MetaSel (Just Symbol "metadata") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * InstructionMetadata)))))) ((:+:) * (C1 * (MetaCons "FRem" PrefixI True) ((::) ((::) (S1 * (MetaSel (Just Symbol "fastMathFlags") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * FastMathFlags)) (S1 * (MetaSel (Just Symbol "operand0") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * Operand))) ((::) (S1 * (MetaSel (Just Symbol "operand1") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * Operand)) (S1 * (MetaSel (Just Symbol "metadata") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * InstructionMetadata))))) (C1 * (MetaCons "Shl" PrefixI True) ((::) ((::) (S1 * (MetaSel (Just Symbol "nsw") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * Bool)) (S1 * (MetaSel (Just Symbol "nuw") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * Bool))) ((::) (S1 * (MetaSel (Just Symbol "operand0") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * Operand)) ((::) (S1 * (MetaSel (Just Symbol "operand1") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * Operand)) (S1 * (MetaSel (Just Symbol "metadata") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * InstructionMetadata)))))))))) ((:+:) * ((:+:) * ((:+:) * (C1 * (MetaCons "LShr" PrefixI True) ((::) ((::) (S1 * (MetaSel (Just Symbol "exact") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * Bool)) (S1 * (MetaSel (Just Symbol "operand0") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * Operand))) ((::) (S1 * (MetaSel (Just Symbol "operand1") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * Operand)) (S1 * (MetaSel (Just Symbol "metadata") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * InstructionMetadata))))) ((:+:) * (C1 * (MetaCons "AShr" PrefixI True) ((::) ((::) (S1 * (MetaSel (Just Symbol "exact") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * Bool)) (S1 * (MetaSel (Just Symbol "operand0") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * Operand))) ((::) (S1 * (MetaSel (Just Symbol "operand1") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * Operand)) (S1 * (MetaSel (Just Symbol "metadata") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * InstructionMetadata))))) (C1 * (MetaCons "And" PrefixI True) ((::) (S1 * (MetaSel (Just Symbol "operand0") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * Operand)) ((::) (S1 * (MetaSel (Just Symbol "operand1") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * Operand)) (S1 * (MetaSel (Just Symbol "metadata") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * InstructionMetadata))))))) ((:+:) * (C1 * (MetaCons "Or" PrefixI True) ((::) (S1 * (MetaSel (Just Symbol "operand0") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * Operand)) ((::) (S1 * (MetaSel (Just Symbol "operand1") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * Operand)) (S1 * (MetaSel (Just Symbol "metadata") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * InstructionMetadata))))) ((:+:) * (C1 * (MetaCons "Xor" PrefixI True) ((::) (S1 * (MetaSel (Just Symbol "operand0") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * Operand)) ((::) (S1 * (MetaSel (Just Symbol "operand1") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * Operand)) (S1 * (MetaSel (Just Symbol "metadata") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * InstructionMetadata))))) (C1 * (MetaCons "Alloca" PrefixI True) ((::) ((::) (S1 * (MetaSel (Just Symbol "allocatedType") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * Type)) (S1 * (MetaSel (Just Symbol "numElements") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * (Maybe Operand)))) ((::) (S1 * (MetaSel (Just Symbol "alignment") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * Word32)) (S1 * (MetaSel (Just Symbol "metadata") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * InstructionMetadata)))))))) ((:+:) * ((:+:) * (C1 * (MetaCons "Load" PrefixI True) ((::) ((::) (S1 * (MetaSel (Just Symbol "volatile") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * Bool)) (S1 * (MetaSel (Just Symbol "address") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * Operand))) ((::) (S1 * (MetaSel (Just Symbol "maybeAtomicity") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * (Maybe Atomicity))) ((::) (S1 * (MetaSel (Just Symbol "alignment") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * Word32)) (S1 * (MetaSel (Just Symbol "metadata") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * InstructionMetadata)))))) ((:+:) * (C1 * (MetaCons "Store" PrefixI True) ((::) ((::) (S1 * (MetaSel (Just Symbol "volatile") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * Bool)) ((::) (S1 * (MetaSel (Just Symbol "address") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * Operand)) (S1 * (MetaSel (Just Symbol "value") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * Operand)))) ((::) (S1 * (MetaSel (Just Symbol "maybeAtomicity") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * (Maybe Atomicity))) ((::) (S1 * (MetaSel (Just Symbol "alignment") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * Word32)) (S1 * (MetaSel (Just Symbol "metadata") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * InstructionMetadata)))))) (C1 * (MetaCons "GetElementPtr" PrefixI True) ((::) ((::) (S1 * (MetaSel (Just Symbol "inBounds") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * Bool)) (S1 * (MetaSel (Just Symbol "address") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * Operand))) ((::) (S1 * (MetaSel (Just Symbol "indices") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * [Operand])) (S1 * (MetaSel (Just Symbol "metadata") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * InstructionMetadata))))))) ((:+:) * ((:+:) * (C1 * (MetaCons "Fence" PrefixI True) ((::) (S1 * (MetaSel (Just Symbol "atomicity") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * Atomicity)) (S1 * (MetaSel (Just Symbol "metadata") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * InstructionMetadata)))) (C1 * (MetaCons "CmpXchg" PrefixI True) ((::) ((::) (S1 * (MetaSel (Just Symbol "volatile") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * Bool)) ((::) (S1 * (MetaSel (Just Symbol "address") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * Operand)) (S1 * (MetaSel (Just Symbol "expected") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * Operand)))) ((::) ((::) (S1 * (MetaSel (Just Symbol "replacement") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * Operand)) (S1 * (MetaSel (Just Symbol "atomicity") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * Atomicity))) ((::) (S1 * (MetaSel (Just Symbol "failureMemoryOrdering") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * MemoryOrdering)) (S1 * (MetaSel (Just Symbol "metadata") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * InstructionMetadata))))))) ((:+:) * (C1 * (MetaCons "AtomicRMW" PrefixI True) ((::) ((::) (S1 * (MetaSel (Just Symbol "volatile") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * Bool)) ((::) (S1 * (MetaSel (Just Symbol "rmwOperation") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * RMWOperation)) (S1 * (MetaSel (Just Symbol "address") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * Operand)))) ((::) (S1 * (MetaSel (Just Symbol "value") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * Operand)) ((::) (S1 * (MetaSel (Just Symbol "atomicity") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * Atomicity)) (S1 * (MetaSel (Just Symbol "metadata") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * InstructionMetadata)))))) (C1 * (MetaCons "Trunc" PrefixI True) ((::) (S1 * (MetaSel (Just Symbol "operand0") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * Operand)) ((::) (S1 * (MetaSel (Just Symbol "type'") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * Type)) (S1 * (MetaSel (Just Symbol "metadata") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * InstructionMetadata)))))))))) ((:+:) * ((:+:) * ((:+:) * ((:+:) * (C1 * (MetaCons "ZExt" PrefixI True) ((::) (S1 * (MetaSel (Just Symbol "operand0") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * Operand)) ((::) (S1 * (MetaSel (Just Symbol "type'") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * Type)) (S1 * (MetaSel (Just Symbol "metadata") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * InstructionMetadata))))) ((:+:) * (C1 * (MetaCons "SExt" PrefixI True) ((::) (S1 * (MetaSel (Just Symbol "operand0") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * Operand)) ((::) (S1 * (MetaSel (Just Symbol "type'") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * Type)) (S1 * (MetaSel (Just Symbol "metadata") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * InstructionMetadata))))) (C1 * (MetaCons "FPToUI" PrefixI True) ((::) (S1 * (MetaSel (Just Symbol "operand0") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * Operand)) ((::) (S1 * (MetaSel (Just Symbol "type'") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * Type)) (S1 * (MetaSel (Just Symbol "metadata") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * InstructionMetadata))))))) ((:+:) * (C1 * (MetaCons "FPToSI" PrefixI True) ((::) (S1 * (MetaSel (Just Symbol "operand0") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * Operand)) ((::) (S1 * (MetaSel (Just Symbol "type'") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * Type)) (S1 * (MetaSel (Just Symbol "metadata") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * InstructionMetadata))))) ((:+:) * (C1 * (MetaCons "UIToFP" PrefixI True) ((::) (S1 * (MetaSel (Just Symbol "operand0") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * Operand)) ((::) (S1 * (MetaSel (Just Symbol "type'") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * Type)) (S1 * (MetaSel (Just Symbol "metadata") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * InstructionMetadata))))) (C1 * (MetaCons "SIToFP" PrefixI True) ((::) (S1 * (MetaSel (Just Symbol "operand0") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * Operand)) ((::) (S1 * (MetaSel (Just Symbol "type'") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * Type)) (S1 * (MetaSel (Just Symbol "metadata") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * InstructionMetadata)))))))) ((:+:) * ((:+:) * (C1 * (MetaCons "FPTrunc" PrefixI True) ((::) (S1 * (MetaSel (Just Symbol "operand0") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * Operand)) ((::) (S1 * (MetaSel (Just Symbol "type'") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * Type)) (S1 * (MetaSel (Just Symbol "metadata") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * InstructionMetadata))))) ((:+:) * (C1 * (MetaCons "FPExt" PrefixI True) ((::) (S1 * (MetaSel (Just Symbol "operand0") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * Operand)) ((::) (S1 * (MetaSel (Just Symbol "type'") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * Type)) (S1 * (MetaSel (Just Symbol "metadata") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * InstructionMetadata))))) (C1 * (MetaCons "PtrToInt" PrefixI True) ((::) (S1 * (MetaSel (Just Symbol "operand0") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * Operand)) ((::) (S1 * (MetaSel (Just Symbol "type'") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * Type)) (S1 * (MetaSel (Just Symbol "metadata") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * InstructionMetadata))))))) ((:+:) * ((:+:) * (C1 * (MetaCons "IntToPtr" PrefixI True) ((::) (S1 * (MetaSel (Just Symbol "operand0") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * Operand)) ((::) (S1 * (MetaSel (Just Symbol "type'") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * Type)) (S1 * (MetaSel (Just Symbol "metadata") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * InstructionMetadata))))) (C1 * (MetaCons "BitCast" PrefixI True) ((::) (S1 * (MetaSel (Just Symbol "operand0") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * Operand)) ((::) (S1 * (MetaSel (Just Symbol "type'") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * Type)) (S1 * (MetaSel (Just Symbol "metadata") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * InstructionMetadata)))))) ((:+:) * (C1 * (MetaCons "AddrSpaceCast" PrefixI True) ((::) (S1 * (MetaSel (Just Symbol "operand0") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * Operand)) ((::) (S1 * (MetaSel (Just Symbol "type'") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * Type)) (S1 * (MetaSel (Just Symbol "metadata") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * InstructionMetadata))))) (C1 * (MetaCons "ICmp" PrefixI True) ((::) ((::) (S1 * (MetaSel (Just Symbol "iPredicate") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * IntegerPredicate)) (S1 * (MetaSel (Just Symbol "operand0") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * Operand))) ((::) (S1 * (MetaSel (Just Symbol "operand1") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * Operand)) (S1 * (MetaSel (Just Symbol "metadata") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * InstructionMetadata))))))))) ((:+:) * ((:+:) * ((:+:) * (C1 * (MetaCons "FCmp" PrefixI True) ((::) ((::) (S1 * (MetaSel (Just Symbol "fpPredicate") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * FloatingPointPredicate)) (S1 * (MetaSel (Just Symbol "operand0") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * Operand))) ((::) (S1 * (MetaSel (Just Symbol "operand1") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * Operand)) (S1 * (MetaSel (Just Symbol "metadata") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * InstructionMetadata))))) ((:+:) * (C1 * (MetaCons "Phi" PrefixI True) ((::) (S1 * (MetaSel (Just Symbol "type'") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * Type)) ((::) (S1 * (MetaSel (Just Symbol "incomingValues") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * [(Operand, Name)])) (S1 * (MetaSel (Just Symbol "metadata") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * InstructionMetadata))))) (C1 * (MetaCons "Call" PrefixI True) ((::) ((::) (S1 * (MetaSel (Just Symbol "tailCallKind") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * (Maybe TailCallKind))) ((::) (S1 * (MetaSel (Just Symbol "callingConvention") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * CallingConvention)) (S1 * (MetaSel (Just Symbol "returnAttributes") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * [ParameterAttribute])))) ((::) ((::) (S1 * (MetaSel (Just Symbol "function") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * CallableOperand)) (S1 * (MetaSel (Just Symbol "arguments") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * [(Operand, [ParameterAttribute])]))) ((::) (S1 * (MetaSel (Just Symbol "functionAttributes") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * [Either GroupID FunctionAttribute])) (S1 * (MetaSel (Just Symbol "metadata") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * InstructionMetadata)))))))) ((:+:) * (C1 * (MetaCons "Select" PrefixI True) ((::) ((::) (S1 * (MetaSel (Just Symbol "condition'") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * Operand)) (S1 * (MetaSel (Just Symbol "trueValue") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * Operand))) ((::) (S1 * (MetaSel (Just Symbol "falseValue") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * Operand)) (S1 * (MetaSel (Just Symbol "metadata") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * InstructionMetadata))))) ((:+:) * (C1 * (MetaCons "VAArg" PrefixI True) ((::) (S1 * (MetaSel (Just Symbol "argList") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * Operand)) ((::) (S1 * (MetaSel (Just Symbol "type'") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * Type)) (S1 * (MetaSel (Just Symbol "metadata") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * InstructionMetadata))))) (C1 * (MetaCons "ExtractElement" PrefixI True) ((::) (S1 * (MetaSel (Just Symbol "vector") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * Operand)) ((::) (S1 * (MetaSel (Just Symbol "index") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * Operand)) (S1 * (MetaSel (Just Symbol "metadata") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * InstructionMetadata)))))))) ((:+:) * ((:+:) * (C1 * (MetaCons "InsertElement" PrefixI True) ((::) ((::) (S1 * (MetaSel (Just Symbol "vector") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * Operand)) (S1 * (MetaSel (Just Symbol "element") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * Operand))) ((::) (S1 * (MetaSel (Just Symbol "index") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * Operand)) (S1 * (MetaSel (Just Symbol "metadata") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * InstructionMetadata))))) ((:+:) * (C1 * (MetaCons "ShuffleVector" PrefixI True) ((::) ((::) (S1 * (MetaSel (Just Symbol "operand0") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * Operand)) (S1 * (MetaSel (Just Symbol "operand1") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * Operand))) ((::) (S1 * (MetaSel (Just Symbol "mask") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * Constant)) (S1 * (MetaSel (Just Symbol "metadata") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * InstructionMetadata))))) (C1 * (MetaCons "ExtractValue" PrefixI True) ((::) (S1 * (MetaSel (Just Symbol "aggregate") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * Operand)) ((::) (S1 * (MetaSel (Just Symbol "indices'") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * [Word32])) (S1 * (MetaSel (Just Symbol "metadata") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * InstructionMetadata))))))) ((:+:) * ((:+:) * (C1 * (MetaCons "InsertValue" PrefixI True) ((::) ((::) (S1 * (MetaSel (Just Symbol "aggregate") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * Operand)) (S1 * (MetaSel (Just Symbol "element") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * Operand))) ((::) (S1 * (MetaSel (Just Symbol "indices'") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * [Word32])) (S1 * (MetaSel (Just Symbol "metadata") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * InstructionMetadata))))) (C1 * (MetaCons "LandingPad" PrefixI True) ((::) ((::) (S1 * (MetaSel (Just Symbol "type'") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * Type)) (S1 * (MetaSel (Just Symbol "cleanup") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * Bool))) ((::) (S1 * (MetaSel (Just Symbol "clauses") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * [LandingPadClause])) (S1 * (MetaSel (Just Symbol "metadata") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * InstructionMetadata)))))) ((:+:) * (C1 * (MetaCons "CatchPad" PrefixI True) ((::) (S1 * (MetaSel (Just Symbol "catchSwitch") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * Operand)) ((::) (S1 * (MetaSel (Just Symbol "args") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * [Operand])) (S1 * (MetaSel (Just Symbol "metadata") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * InstructionMetadata))))) (C1 * (MetaCons "CleanupPad" PrefixI True) ((::) (S1 * (MetaSel (Just Symbol "parentPad") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * Operand)) ((::) (S1 * (MetaSel (Just Symbol "args") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * [Operand])) (S1 * (MetaSel (Just Symbol "metadata") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * InstructionMetadata)))))))))))

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 #
Generic (Named a) Source #
Associated Types type Rep (Named a) :: * -> * # Methods from :: Named a -> Rep (Named a) x # to :: Rep (Named a) x -> Named a #
type Rep (Named a) Source #
type Rep (Named a) = D1 * (MetaData "Named" "LLVM.AST.Instruction" "llvm-hs-pure-5.1.1-A50TaxGLKsoFnCqinrVaVN" False) ((:+:) * (C1 * (MetaCons ":=" (InfixI LeftAssociative 9) False) ((::) (S1 * (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * Name)) (S1 * (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * a)))) (C1 * (MetaCons "Do" PrefixI False) (S1 * (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * a))))