Enum Terminator

pub enum Terminator {
    Ret(Ret),
    Br(Br),
    CondBr(CondBr),
    Switch(Switch),
    IndirectBr(IndirectBr),
    Invoke(Invoke),
    Resume(Resume),
    Unreachable(Unreachable),
    CleanupRet(CleanupRet),
    CatchRet(CatchRet),
    CatchSwitch(CatchSwitch),
    CallBr(CallBr),
}

Terminator instructions end a basic block. See LLVM 14 docs on Terminator Instructions

Variants

Ret(Ret)

Br(Br)

CondBr(CondBr)

Switch(Switch)

IndirectBr(IndirectBr)

Invoke(Invoke)

Resume(Resume)

Unreachable(Unreachable)

CleanupRet(CleanupRet)

CatchRet(CatchRet)

CatchSwitch(CatchSwitch)

CallBr(CallBr)

Implementations

impl Terminator

pub fn try_get_result(&self) -> Option<&Name>

Get the result (destination) of the Terminator, or None if the Terminator doesn’t have a result (has void type).

Trait Implementations

impl Clone for Terminator

fn clone(&self) -> Terminator

Returns a duplicate of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl Debug for Terminator

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.

impl Display for Terminator

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.

impl From<Br> for Terminator

fn from(term: Br) -> Terminator

Converts to this type from the input type.

impl From<CallBr> for Terminator

fn from(term: CallBr) -> Terminator

Converts to this type from the input type.

impl From<CatchRet> for Terminator

fn from(term: CatchRet) -> Terminator

Converts to this type from the input type.

impl From<CatchSwitch> for Terminator

fn from(term: CatchSwitch) -> Terminator

Converts to this type from the input type.

impl From<CleanupRet> for Terminator

fn from(term: CleanupRet) -> Terminator

Converts to this type from the input type.

impl From<CondBr> for Terminator

fn from(term: CondBr) -> Terminator

Converts to this type from the input type.

impl From<IndirectBr> for Terminator

fn from(term: IndirectBr) -> Terminator

Converts to this type from the input type.

impl From<Invoke> for Terminator

fn from(term: Invoke) -> Terminator

Converts to this type from the input type.

impl From<Resume> for Terminator

fn from(term: Resume) -> Terminator

Converts to this type from the input type.

impl From<Ret> for Terminator

fn from(term: Ret) -> Terminator

Converts to this type from the input type.

impl From<Switch> for Terminator

fn from(term: Switch) -> Terminator

Converts to this type from the input type.

impl From<Unreachable> for Terminator

fn from(term: Unreachable) -> Terminator

Converts to this type from the input type.

impl HasDebugLoc for Terminator

fn get_debug_loc(&self) -> &Option<DebugLoc>

Returns the DebugLoc associated with the given Instruction, Terminator, GlobalVariable, or Function; or None if it doesn’t have a DebugLoc.

impl Hash for Terminator

fn hash<__H: Hasher>(&self, state: &mut __H)

Feeds this value into the given Hasher.

fn hash_slice<H>(data: &[Self], state: &mut H)

where H: Hasher, Self: Sized,

Feeds a slice of this type into the given Hasher.

impl PartialEq for Terminator

fn eq(&self, other: &Terminator) -> bool

Tests for self and other values to be equal, and is used by ==.

fn ne(&self, other: &Rhs) -> bool

Tests for !=. The default implementation is almost always sufficient, and should not be overridden without very good reason.

impl TryFrom<Terminator> for Br

type Error = &'static str

The type returned in the event of a conversion error.

fn try_from(term: Terminator) -> Result<Self, Self::Error>

Performs the conversion.

impl TryFrom<Terminator> for CallBr

type Error = &'static str

The type returned in the event of a conversion error.

fn try_from(term: Terminator) -> Result<Self, Self::Error>

Performs the conversion.

impl TryFrom<Terminator> for CatchRet

type Error = &'static str

The type returned in the event of a conversion error.

fn try_from(term: Terminator) -> Result<Self, Self::Error>

Performs the conversion.

impl TryFrom<Terminator> for CatchSwitch

type Error = &'static str

The type returned in the event of a conversion error.

fn try_from(term: Terminator) -> Result<Self, Self::Error>

Performs the conversion.

impl TryFrom<Terminator> for CleanupRet

type Error = &'static str

The type returned in the event of a conversion error.

fn try_from(term: Terminator) -> Result<Self, Self::Error>

Performs the conversion.

impl TryFrom<Terminator> for CondBr

type Error = &'static str

The type returned in the event of a conversion error.

fn try_from(term: Terminator) -> Result<Self, Self::Error>

Performs the conversion.

impl TryFrom<Terminator> for IndirectBr

type Error = &'static str

The type returned in the event of a conversion error.

fn try_from(term: Terminator) -> Result<Self, Self::Error>

Performs the conversion.

impl TryFrom<Terminator> for Invoke

type Error = &'static str

The type returned in the event of a conversion error.

fn try_from(term: Terminator) -> Result<Self, Self::Error>

Performs the conversion.

impl TryFrom<Terminator> for Resume

type Error = &'static str

The type returned in the event of a conversion error.

fn try_from(term: Terminator) -> Result<Self, Self::Error>

Performs the conversion.

impl TryFrom<Terminator> for Ret

type Error = &'static str

The type returned in the event of a conversion error.

fn try_from(term: Terminator) -> Result<Self, Self::Error>

Performs the conversion.

impl TryFrom<Terminator> for Switch

type Error = &'static str

The type returned in the event of a conversion error.

fn try_from(term: Terminator) -> Result<Self, Self::Error>

Performs the conversion.

impl TryFrom<Terminator> for Unreachable

type Error = &'static str

The type returned in the event of a conversion error.

fn try_from(term: Terminator) -> Result<Self, Self::Error>

Performs the conversion.

impl Typed for Terminator

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 14 docs on Terminator Instructions

fn get_type(&self, types: &Types) -> TypeRef

impl StructuralPartialEq for Terminator