Struct TailCall 

pub struct TailCall {
    pub target: Callee,
    pub args: Vec<LocalValueId>,
}

A tail call: an unconditional transfer of control to another function’s entry (a thunk jmp realfunc, or a tail jmp/jcc that the disassembler resolved to a sibling function). Unlike Branch, whose target is a BlockId within the same function, a TailCall carries a Callee: normally a real FunctionId, or temporarily a pass-local minted placeholder. It is a function-level terminator with no intra-function CFG successor. This is the honest encoding of cross-function control flow — the IR never stores a foreign BlockId. See the context-split design, ruling 2 (“strict IR locality”).

Fields

target: Callee

args: Vec<LocalValueId>

Values passed to the callee, one per inferred callee input, in order. Empty on the freshly-lifted IR; populated once the call interface is known.

Trait Implementations

impl Clone for TailCall

fn clone(&self) -> TailCall

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for TailCall

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

Formats the value using the given formatter.

impl<'de> Deserialize<'de> for TailCall

fn deserialize<__D>(__deserializer: __D) -> Result<Self, __D::Error>

where __D: Deserializer<'de>,

Deserialize this value from the given Serde deserializer.

impl Eq for TailCall

impl Hash for TailCall

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 TailCall

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

Equality operator ==.

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

Inequality operator !=.

impl Serialize for TailCall

fn serialize<__S>(&self, __serializer: __S) -> Result<__S::Ok, __S::Error>

where __S: Serializer,

Serialize this value into the given Serde serializer.

impl StructuralPartialEq for TailCall