Struct SwitchData 

pub struct SwitchData {
    pub scrutinee: SwitchScrutinee,
    pub branches: Vec<(ConstantExpr, BranchId)>,
    pub fallback: Option<BranchId>,
}

A branching operation.

Fields

scrutinee: SwitchScrutinee

The value to branch over.

branches: Vec<(ConstantExpr, BranchId)>

Which branch to take for each value of the scrutinee. Several values may point to the same branch, and not all values may be accounted for.

If the scrutinee is an operand, the constant expressions are literal values. If the scrutinee is a discriminant read, the expressions are of the form ConstantExprKind::Discriminant.

fallback: Option<BranchId>

Branch to use if the scrutinee didn’t match any of the values above. None if the set of branch values is known to be exhaustive.

Implementations

impl SwitchData

pub fn as_if(&self) -> Option<(BranchId, BranchId)>

If this is a switch over a boolean, return its then and else branches.

pub fn group_by_branch(&self) -> IndexVec<BranchId, Vec<ConstantExpr>>

Group the explicit switch values by the branch they select.

Trait Implementations

impl AstVisitable for SwitchData

fn drive<V: VisitAst>(&self, v: &mut V) -> ControlFlow<V::Break>

Recursively visit this type with the provided visitor. This calls the visitor’s visit_$any method if it exists, otherwise visit_inner.

fn drive_mut<V: VisitAstMut>(&mut self, v: &mut V) -> ControlFlow<V::Break>

Recursively visit this type with the provided visitor. This calls the visitor’s visit_$any method if it exists, otherwise visit_inner.

fn drive_two<V: ZipAst>(&self, other: &Self, v: &mut V) -> ControlFlow<V::Break>

Recursively visit this type with the provided visitor. This calls the visitor’s visit_$any method if it exists, otherwise visit_inner.

fn name(&self) -> &'static str

The name of the type, used for debug logging.

fn dyn_visit<T: AstVisitable>(&self, f: impl FnMut(&T))

where Self: Sized,

Visit all occurrences of that type inside self, in pre-order traversal.

fn dyn_visit_mut<T: AstVisitable>(&mut self, f: impl FnMut(&mut T))

where Self: Sized,

Visit all occurrences of that type inside self, in pre-order traversal.

impl BodyVisitable for SwitchData

fn drive_body<V: VisitBody>(&self, v: &mut V) -> ControlFlow<V::Break>

Recursively visit this type with the provided visitor. This calls the visitor’s visit_$any method if it exists, otherwise visit_inner.

fn drive_body_mut<V: VisitBodyMut>( &mut self, v: &mut V, ) -> ControlFlow<V::Break>

Recursively visit this type with the provided visitor. This calls the visitor’s visit_$any method if it exists, otherwise visit_inner.

fn dyn_visit_in_body<T: BodyVisitable>(&self, f: impl FnMut(&T))

where Self: Sized,

Visit all occurrences of that type inside self, in pre-order traversal.

fn dyn_visit_in_body_mut<T: BodyVisitable>(&mut self, f: impl FnMut(&mut T))

where Self: Sized,

Visit all occurrences of that type inside self, in pre-order traversal.

impl Clone for SwitchData

fn clone(&self) -> SwitchData

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for SwitchData

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

Formats the value using the given formatter.

impl<'de, __State: ?Sized> DeserializeState<'de, __State> for SwitchData

where SwitchScrutinee: DeserializeState<'de, __State>, Vec<(ConstantExpr, BranchId)>: DeserializeState<'de, __State>, Option<BranchId>: DeserializeState<'de, __State>,

fn deserialize_state<__D>( __state: &__State, __deserializer: __D, ) -> Result<Self, __D::Error>

where __D: Deserializer<'de>,

impl<'s, V> Drive<'s, V> for SwitchData

where V: Visitor + Visit<'s, SwitchScrutinee> + Visit<'s, Vec<(ConstantExpr, BranchId)>> + Visit<'s, Option<BranchId>>,

fn drive_inner(&'s self, visitor: &mut V) -> ControlFlow<V::Break>

Call v.visit() on the immediate contents of self.

impl<'s, V> DriveMut<'s, V> for SwitchData

where V: Visitor + VisitMut<'s, SwitchScrutinee> + VisitMut<'s, Vec<(ConstantExpr, BranchId)>> + VisitMut<'s, Option<BranchId>>,

fn drive_inner_mut(&'s mut self, visitor: &mut V) -> ControlFlow<V::Break>

Call v.visit() on the immediate contents of self.

impl<'s, V> DriveTwo<'s, V> for SwitchData

where V: Visitor<Break: Default> + VisitTwo<'s, SwitchScrutinee> + VisitTwo<'s, Vec<(ConstantExpr, BranchId)>> + VisitTwo<'s, Option<BranchId>>,

fn drive_two_inner( &'s self, other: &'s Self, visitor: &mut V, ) -> ControlFlow<V::Break>

Call v.visit() on the immediate contents of self and other, if they correspond. If the values don’t match up, this returns Break(Default::default()).

impl Eq for SwitchData

impl PartialEq for SwitchData

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

Equality operator ==.

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

Inequality operator !=.

impl<__State: ?Sized> SerializeState<__State> for SwitchData

where SwitchScrutinee: SerializeState<__State>, Vec<(ConstantExpr, BranchId)>: SerializeState<__State>, Option<BranchId>: SerializeState<__State>,

fn serialize_state<__S>( &self, __state: &__State, __serializer: __S, ) -> Result<__S::Ok, __S::Error>

where __S: Serializer,

impl StructuralPartialEq for SwitchData