Safe Haskell	Safe
Language	Haskell98

LLVM.AST.Operand

Description

A type to represent operands to LLVM Instructions

Synopsis

newtype MetadataNodeID = MetadataNodeID Word
data MetadataNode
- = MetadataNode [Maybe Metadata]
- | MetadataNodeReference MetadataNodeID
data Metadata
- = MDString ShortByteString
- | MDNode MetadataNode
- | MDValue Operand
data Operand
- = LocalReference Type Name
- | ConstantOperand Constant
- | MetadataOperand Metadata
type CallableOperand = Either InlineAssembly Operand

Documentation

newtype MetadataNodeID Source #

A MetadataNodeID is a number for identifying a metadata node. Note this is different from "named metadata", which are represented with NamedMetadataDefinition.

Constructors

MetadataNodeID Word

Instances

Eq MetadataNodeID Source #
Instance details Methods (==) :: MetadataNodeID -> MetadataNodeID -> Bool # (/=) :: MetadataNodeID -> MetadataNodeID -> Bool #
Data MetadataNodeID Source #
Instance details Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> MetadataNodeID -> c MetadataNodeID # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c MetadataNodeID # toConstr :: MetadataNodeID -> Constr # dataTypeOf :: MetadataNodeID -> DataType # dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c MetadataNodeID) # dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c MetadataNodeID) # gmapT :: (forall b. Data b => b -> b) -> MetadataNodeID -> MetadataNodeID # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> MetadataNodeID -> r # gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> MetadataNodeID -> r # gmapQ :: (forall d. Data d => d -> u) -> MetadataNodeID -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> MetadataNodeID -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> MetadataNodeID -> m MetadataNodeID # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> MetadataNodeID -> m MetadataNodeID # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> MetadataNodeID -> m MetadataNodeID #
Ord MetadataNodeID Source #
Instance details Methods compare :: MetadataNodeID -> MetadataNodeID -> Ordering # (<) :: MetadataNodeID -> MetadataNodeID -> Bool # (<=) :: MetadataNodeID -> MetadataNodeID -> Bool # (>) :: MetadataNodeID -> MetadataNodeID -> Bool # (>=) :: MetadataNodeID -> MetadataNodeID -> Bool # max :: MetadataNodeID -> MetadataNodeID -> MetadataNodeID # min :: MetadataNodeID -> MetadataNodeID -> MetadataNodeID #
Read MetadataNodeID Source #
Instance details Methods readsPrec :: Int -> ReadS MetadataNodeID # readList :: ReadS [MetadataNodeID] # readPrec :: ReadPrec MetadataNodeID # readListPrec :: ReadPrec [MetadataNodeID] #
Show MetadataNodeID Source #
Instance details Methods showsPrec :: Int -> MetadataNodeID -> ShowS # show :: MetadataNodeID -> String # showList :: [MetadataNodeID] -> ShowS #
Generic MetadataNodeID Source #
Instance details Associated Types type Rep MetadataNodeID :: * -> * # Methods from :: MetadataNodeID -> Rep MetadataNodeID x # to :: Rep MetadataNodeID x -> MetadataNodeID #
type Rep MetadataNodeID Source #
Instance details type Rep MetadataNodeID = D1 (MetaData "MetadataNodeID" "LLVM.AST.Operand" "llvm-hs-pure-6.0.0-JDMT8hd3oKgE19P5EBaRIN" True) (C1 (MetaCons "MetadataNodeID" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Word)))

data MetadataNode Source #

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

Constructors

MetadataNode [Maybe Metadata]
MetadataNodeReference MetadataNodeID

Instances

Eq MetadataNode Source #
Instance details Methods (==) :: MetadataNode -> MetadataNode -> Bool # (/=) :: MetadataNode -> MetadataNode -> Bool #
Data MetadataNode Source #
Instance details Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> MetadataNode -> c MetadataNode # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c MetadataNode # toConstr :: MetadataNode -> Constr # dataTypeOf :: MetadataNode -> DataType # dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c MetadataNode) # dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c MetadataNode) # gmapT :: (forall b. Data b => b -> b) -> MetadataNode -> MetadataNode # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> MetadataNode -> r # gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> MetadataNode -> r # gmapQ :: (forall d. Data d => d -> u) -> MetadataNode -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> MetadataNode -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> MetadataNode -> m MetadataNode # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> MetadataNode -> m MetadataNode # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> MetadataNode -> m MetadataNode #
Ord MetadataNode Source #
Instance details Methods compare :: MetadataNode -> MetadataNode -> Ordering # (<) :: MetadataNode -> MetadataNode -> Bool # (<=) :: MetadataNode -> MetadataNode -> Bool # (>) :: MetadataNode -> MetadataNode -> Bool # (>=) :: MetadataNode -> MetadataNode -> Bool # max :: MetadataNode -> MetadataNode -> MetadataNode # min :: MetadataNode -> MetadataNode -> MetadataNode #
Read MetadataNode Source #
Instance details Methods readsPrec :: Int -> ReadS MetadataNode # readList :: ReadS [MetadataNode] # readPrec :: ReadPrec MetadataNode # readListPrec :: ReadPrec [MetadataNode] #
Show MetadataNode Source #
Instance details Methods showsPrec :: Int -> MetadataNode -> ShowS # show :: MetadataNode -> String # showList :: [MetadataNode] -> ShowS #
Generic MetadataNode Source #
Instance details Associated Types type Rep MetadataNode :: * -> * # Methods from :: MetadataNode -> Rep MetadataNode x # to :: Rep MetadataNode x -> MetadataNode #
type Rep MetadataNode Source #
Instance details type Rep MetadataNode = D1 (MetaData "MetadataNode" "LLVM.AST.Operand" "llvm-hs-pure-6.0.0-JDMT8hd3oKgE19P5EBaRIN" False) (C1 (MetaCons "MetadataNode" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 [Maybe Metadata])) :+: C1 (MetaCons "MetadataNodeReference" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 MetadataNodeID)))

data Metadata Source #

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

Constructors

MDString ShortByteString	http://llvm.org/docs/doxygen/html/classllvm_1_1MDNode.html
MDNode MetadataNode	http://llvm.org/docs/doxygen/html/classllvm_1_1MDNode.html
MDValue Operand	http://llvm.org/docs/doxygen/html/classllvm_1_1ValueAsMetadata.html

Instances

Eq Metadata Source #
Instance details Methods (==) :: Metadata -> Metadata -> Bool # (/=) :: Metadata -> Metadata -> Bool #
Data Metadata Source #
Instance details Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Metadata -> c Metadata # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c Metadata # toConstr :: Metadata -> Constr # dataTypeOf :: Metadata -> DataType # dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c Metadata) # dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c Metadata) # gmapT :: (forall b. Data b => b -> b) -> Metadata -> Metadata # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Metadata -> r # gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Metadata -> r # gmapQ :: (forall d. Data d => d -> u) -> Metadata -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> Metadata -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> Metadata -> m Metadata # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Metadata -> m Metadata # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Metadata -> m Metadata #
Ord Metadata Source #
Instance details Methods compare :: Metadata -> Metadata -> Ordering # (<) :: Metadata -> Metadata -> Bool # (<=) :: Metadata -> Metadata -> Bool # (>) :: Metadata -> Metadata -> Bool # (>=) :: Metadata -> Metadata -> Bool # max :: Metadata -> Metadata -> Metadata # min :: Metadata -> Metadata -> Metadata #
Read Metadata Source #
Instance details Methods readsPrec :: Int -> ReadS Metadata # readList :: ReadS [Metadata] # readPrec :: ReadPrec Metadata # readListPrec :: ReadPrec [Metadata] #
Show Metadata Source #
Instance details Methods showsPrec :: Int -> Metadata -> ShowS # show :: Metadata -> String # showList :: [Metadata] -> ShowS #
Generic Metadata Source #
Instance details Associated Types type Rep Metadata :: * -> * # Methods from :: Metadata -> Rep Metadata x # to :: Rep Metadata x -> Metadata #
type Rep Metadata Source #
Instance details type Rep Metadata = D1 (MetaData "Metadata" "LLVM.AST.Operand" "llvm-hs-pure-6.0.0-JDMT8hd3oKgE19P5EBaRIN" False) (C1 (MetaCons "MDString" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 ShortByteString)) :+: (C1 (MetaCons "MDNode" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 MetadataNode)) :+: C1 (MetaCons "MDValue" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Operand))))

data Operand Source #

An Operand is roughly that which is an argument to an Instruction

Constructors

LocalReference Type Name	%foo
ConstantOperand Constant	`Constant`s include `GlobalReference`, for @foo
MetadataOperand Metadata

Instances

Eq Operand Source #
Instance details Methods (==) :: Operand -> Operand -> Bool # (/=) :: Operand -> Operand -> Bool #
Data Operand Source #
Instance details Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Operand -> c Operand # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c Operand # toConstr :: Operand -> Constr # dataTypeOf :: Operand -> DataType # dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c Operand) # dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c Operand) # gmapT :: (forall b. Data b => b -> b) -> Operand -> Operand # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Operand -> r # gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Operand -> r # gmapQ :: (forall d. Data d => d -> u) -> Operand -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> Operand -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> Operand -> m Operand # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Operand -> m Operand # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Operand -> m Operand #
Ord Operand Source #
Instance details Methods compare :: Operand -> Operand -> Ordering # (<) :: Operand -> Operand -> Bool # (<=) :: Operand -> Operand -> Bool # (>) :: Operand -> Operand -> Bool # (>=) :: Operand -> Operand -> Bool # max :: Operand -> Operand -> Operand # min :: Operand -> Operand -> Operand #
Read Operand Source #
Instance details Methods readsPrec :: Int -> ReadS Operand # readList :: ReadS [Operand] # readPrec :: ReadPrec Operand # readListPrec :: ReadPrec [Operand] #
Show Operand Source #
Instance details Methods showsPrec :: Int -> Operand -> ShowS # show :: Operand -> String # showList :: [Operand] -> ShowS #
Generic Operand Source #
Instance details Associated Types type Rep Operand :: * -> * # Methods from :: Operand -> Rep Operand x # to :: Rep Operand x -> Operand #
Typed CallableOperand Source #
Instance details Methods typeOf :: CallableOperand -> Type Source #
Typed Operand Source #
Instance details Methods typeOf :: Operand -> Type Source #
type Rep Operand Source #
Instance details type Rep Operand = D1 (MetaData "Operand" "LLVM.AST.Operand" "llvm-hs-pure-6.0.0-JDMT8hd3oKgE19P5EBaRIN" False) (C1 (MetaCons "LocalReference" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Type) :*: S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Name)) :+: (C1 (MetaCons "ConstantOperand" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Constant)) :+: C1 (MetaCons "MetadataOperand" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Metadata))))

type CallableOperand = Either InlineAssembly Operand Source #

The Call instruction is special: the callee can be inline assembly