Enum SwitchTargets

pub enum SwitchTargets {
    If(BlockId, BlockId),
    SwitchInt(IntegerTy, Vec<(ScalarValue, BlockId)>, BlockId),
}

Variants

If(BlockId, BlockId)

Gives the if block and the else block

SwitchInt(IntegerTy, Vec<(ScalarValue, BlockId)>, BlockId)

Gives the integer type, a map linking values to switch branches, and the otherwise block. Note that matches over enumerations are performed by switching over the discriminant, which is an integer.

Implementations

impl SwitchTargets

pub fn is_if(&self) -> bool

pub fn is_switch_int(&self) -> bool

impl SwitchTargets

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

pub fn as_switch_int( &self, ) -> Option<(&IntegerTy, &Vec<(ScalarValue, BlockId)>, &BlockId)>

impl SwitchTargets

pub fn as_if_mut(&mut self) -> Option<(&mut BlockId, &mut BlockId)>

pub fn as_switch_int_mut( &mut self, ) -> Option<(&mut IntegerTy, &mut Vec<(ScalarValue, BlockId)>, &mut BlockId)>

impl SwitchTargets

pub fn variant_name(&self) -> &'static str

impl SwitchTargets

pub fn variant_index_arity(&self) -> (u32, usize)

impl SwitchTargets

pub fn get_targets(&self) -> Vec<BlockId>

Trait Implementations

impl AstVisitable for SwitchTargets

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 name(&self) -> &'static str

The name of the type, used for debug logging.

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

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))

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

impl BodyVisitable for SwitchTargets

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))

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))

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

impl Clone for SwitchTargets

fn clone(&self) -> SwitchTargets

Returns a copy of the value.

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

Performs copy-assignment from source.

impl Debug for SwitchTargets

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

Formats the value using the given formatter.

impl<'de> Deserialize<'de> for SwitchTargets

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

where __D: Deserializer<'de>,

Deserialize this value from the given Serde deserializer.

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

where V: Visitor + Visit<'s, BlockId> + Visit<'s, IntegerTy> + Visit<'s, Vec<(ScalarValue, BlockId)>>,

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 SwitchTargets

where V: Visitor + VisitMut<'s, BlockId> + VisitMut<'s, IntegerTy> + VisitMut<'s, Vec<(ScalarValue, BlockId)>>,

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

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

impl Serialize for SwitchTargets

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

where __S: Serializer,

Serialize this value into the given Serde serializer.