[−][src]Trait llvm_ir::types::Typed
The Typed
trait is used for anything that has a Type
.
Required methods
Loading content...Implementations on Foreign Types
impl<A, B> Typed for Either<A, B> where
A: Typed,
B: Typed,
[src]
Loading content...
A: Typed,
B: Typed,
Implementors
impl Typed for Constant
[src]
impl Typed for Float
[src]
impl Typed for Instruction
[src]
The Type
of an Instruction
(or any subtype of Instruction
) is its result type.
impl Typed for BinaryOp
[src]
impl Typed for UnaryOp
[src]
impl Typed for Operand
[src]
impl Typed for Terminator
[src]
The Type
of a Terminator
is its result type.
For most terminators, this is VoidType
.
For instance, a Ret
instruction has void type even if
the function returns a non-void value; we do not store the result of a Ret
instruction using something like %3 = ret i32 %2
.
See LLVM 10 docs on Terminator Instructions