pub enum Switch {
If(Operand, Block, Block),
SwitchInt(Operand, IntegerTy, Vec<(Vec<ScalarValue>, Block)>, Block),
Match(Place, Vec<(Vec<VariantId>, Block)>, Option<Block>),
}
Variants§
If(Operand, Block, Block)
Gives the if
block and the else
block. The Operand
is the condition of the if
, e.g. if (y == 0)
could become
ⓘ
v@3 := copy y; // Represented as `Assign(v@3, Use(Copy(y))`
v@2 := move v@3 == 0; // Represented as `Assign(v@2, BinOp(BinOp::Eq, Move(y), Const(0)))`
if (move v@2) { // Represented as `If(Move(v@2), <then branch>, <else branch>)`
SwitchInt(Operand, IntegerTy, Vec<(Vec<ScalarValue>, Block)>, Block)
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.
Also, we use a Vec
to make sure the order of the switch
branches is preserved.
Rk.: we use a vector of values, because some of the branches may be grouped together, like for the following code:
match e {
E::V1 | E::V2 => ..., // Grouped
E::V3 => ...
}
Match(Place, Vec<(Vec<VariantId>, Block)>, Option<Block>)
A match over an ADT.
The match statement is introduced in [crate::remove_read_discriminant] (whenever we find a discriminant read, we merge it with the subsequent switch into a match).
Implementations§
source§impl Switch
impl Switch
pub fn as_if_mut(&mut self) -> Option<(&mut Operand, &mut Block, &mut Block)>
pub fn as_switch_int_mut( &mut self, ) -> Option<(&mut Operand, &mut IntegerTy, &mut Vec<(Vec<ScalarValue>, Block)>, &mut Block)>
pub fn as_match_mut( &mut self, ) -> Option<(&mut Place, &mut Vec<(Vec<VariantId>, Block)>, &mut Option<Block>)>
Trait Implementations§
source§impl<'de> Deserialize<'de> for Switch
impl<'de> Deserialize<'de> for Switch
source§fn deserialize<__D>(__deserializer: __D) -> Result<Self, __D::Error>where
__D: Deserializer<'de>,
fn deserialize<__D>(__deserializer: __D) -> Result<Self, __D::Error>where
__D: Deserializer<'de>,
Deserialize this value from the given Serde deserializer. Read more
Auto Trait Implementations§
impl Freeze for Switch
impl RefUnwindSafe for Switch
impl Send for Switch
impl Sync for Switch
impl Unpin for Switch
impl UnwindSafe for Switch
Blanket Implementations§
source§impl<T> BorrowMut<T> for Twhere
T: ?Sized,
impl<T> BorrowMut<T> for Twhere
T: ?Sized,
source§fn borrow_mut(&mut self) -> &mut T
fn borrow_mut(&mut self) -> &mut T
Mutably borrows from an owned value. Read more
source§impl<T> CloneToUninit for Twhere
T: Clone,
impl<T> CloneToUninit for Twhere
T: Clone,
source§unsafe fn clone_to_uninit(&self, dst: *mut T)
unsafe fn clone_to_uninit(&self, dst: *mut T)
🔬This is a nightly-only experimental API. (
clone_to_uninit
)§impl<I, T> ExtractContext<I, ()> for T
impl<I, T> ExtractContext<I, ()> for T
§fn extract_context(self, _original_input: I)
fn extract_context(self, _original_input: I)
Given the context attached to a nom error, and given the original
input to the nom parser, extract more the useful context information. Read more
§impl<T> Instrument for T
impl<T> Instrument for T
§fn instrument(self, span: Span) -> Instrumented<Self>
fn instrument(self, span: Span) -> Instrumented<Self>
§fn in_current_span(self) -> Instrumented<Self>
fn in_current_span(self) -> Instrumented<Self>
source§impl<T> IntoEither for T
impl<T> IntoEither for T
source§fn into_either(self, into_left: bool) -> Either<Self, Self>
fn into_either(self, into_left: bool) -> Either<Self, Self>
Converts
self
into a Left
variant of Either<Self, Self>
if into_left
is true
.
Converts self
into a Right
variant of Either<Self, Self>
otherwise. Read moresource§fn into_either_with<F>(self, into_left: F) -> Either<Self, Self>
fn into_either_with<F>(self, into_left: F) -> Either<Self, Self>
Converts
self
into a Left
variant of Either<Self, Self>
if into_left(&self)
returns true
.
Converts self
into a Right
variant of Either<Self, Self>
otherwise. Read more§impl<I> RecreateContext<I> for I
impl<I> RecreateContext<I> for I
§fn recreate_context(_original_input: I, tail: I) -> I
fn recreate_context(_original_input: I, tail: I) -> I
Given the original input, as well as the context reported by nom,
recreate a context in the original string where the error occurred. Read more