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.0.0-EhWu9UEKVIZCRIhKnrKWrq" 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.0.0-EhWu9UEKVIZCRIhKnrKWrq" 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.0.0-EhWu9UEKVIZCRIhKnrKWrq" 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.0.0-EhWu9UEKVIZCRIhKnrKWrq" 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.0.0-EhWu9UEKVIZCRIhKnrKWrq" 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

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.0.0-EhWu9UEKVIZCRIhKnrKWrq" False) ((:+:) (C1 (MetaCons "Tail" PrefixI False) U1) (C1 (MetaCons "MustTail" 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.0.0-EhWu9UEKVIZCRIhKnrKWrq" 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.0.0-EhWu9UEKVIZCRIhKnrKWrq" 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))))