Struct Switch 

pub struct Switch {
    pub scrutinee: LocalValueId,
    pub cases: Vec<SwitchArm>,
    pub default: Option<LocalBlockId>,
    pub default_args: Vec<LocalValueId>,
}

Multi-way dispatch on an integer scrutinee: the resolved form of a jump table.

BranchInd is the unresolved indirect branch — its successors are whatever edges an analysis managed to materialize, with no record of which scrutinee value picks which. handle_jump_tables rewrites it to a Switch once it recognizes the table and bounds the index, the same way a two-target resolution already becomes a real CBranch. Keeping the mapping in the terminator is what lets the decompiler emit a switch rather than a list of gotos, and — unlike a bare indirect edge — gives each successor an argument list, so block parameters can cross a dispatch.

default is optional. A table guarded by a preceding bounds check is total over the values it lists, and inventing an unreachable default block for it would only give DCE something to remove.

Fields

scrutinee: LocalValueId

The value dispatched on (the table index, after any bias).

cases: Vec<SwitchArm>

Arms in table order. Case values are pairwise distinct.

default: Option<LocalBlockId>

Where an unlisted scrutinee value goes, when that is representable.

default_args: Vec<LocalValueId>

Arguments passed to default’s parameters.

Trait Implementations

impl Clone for Switch

fn clone(&self) -> Switch

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for Switch

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

Formats the value using the given formatter.

impl<'de> Deserialize<'de> for Switch

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

where __D: Deserializer<'de>,

Deserialize this value from the given Serde deserializer.

impl Eq for Switch

impl Hash for Switch

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 Switch

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

Equality operator ==.

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

Inequality operator !=.

impl Serialize for Switch

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 Switch