LLVM.AST.Instruction

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

Documentation

type InstructionMetadata = [(ShortByteString, 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

Generic Terminator

Associated Types

type Rep Terminator :: * -> *

Methods

from :: Terminator -> Rep Terminator x

to :: Rep Terminator x -> Terminator

type Rep Terminator

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

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

Generic FastMathFlags

Associated Types

type Rep FastMathFlags :: * -> *

Methods

from :: FastMathFlags -> Rep FastMathFlags x

to :: Rep FastMathFlags x -> FastMathFlags

type Rep FastMathFlags

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

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

Generic MemoryOrdering

Associated Types

type Rep MemoryOrdering :: * -> *

Methods

from :: MemoryOrdering -> Rep MemoryOrdering x

to :: Rep MemoryOrdering x -> MemoryOrdering

type Rep MemoryOrdering

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

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

Constructors

SingleThread

System

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

Generic SynchronizationScope

Associated Types

type Rep SynchronizationScope :: * -> *

Methods

from :: SynchronizationScope -> Rep SynchronizationScope x

to :: Rep SynchronizationScope x -> SynchronizationScope

type Rep SynchronizationScope

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)

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

Generic LandingPadClause

Associated Types

type Rep LandingPadClause :: * -> *

Methods

from :: LandingPadClause -> Rep LandingPadClause x

to :: Rep LandingPadClause x -> LandingPadClause

type Rep LandingPadClause

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

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

Constructors

Tail

MustTail

NoTail

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

Generic TailCallKind

Associated Types

type Rep TailCallKind :: * -> *

Methods

from :: TailCallKind -> Rep TailCallKind x

to :: Rep TailCallKind x -> TailCallKind

type Rep TailCallKind

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

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

Generic Instruction

Associated Types

type Rep Instruction :: * -> *

Methods

from :: Instruction -> Rep Instruction x

to :: Rep Instruction x -> Instruction

type Rep Instruction

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

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

Generic (Named a)

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)

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))))