Enum BinOp

pub enum BinOp {
    BitXor,
    BitAnd,
    BitOr,
    Eq,
    Lt,
    Le,
    Ne,
    Ge,
    Gt,
    Div,
    Rem,
    Add,
    Sub,
    Mul,
    WrappingAdd,
    WrappingSub,
    WrappingMul,
    CheckedAdd,
    CheckedSub,
    CheckedMul,
    Shl,
    Shr,
    Offset,
    Cmp,
}

Binary operations.

Variants

BitXor

BitAnd

BitOr

Eq

Lt

Le

Ne

Ge

Gt

Div

Fails if the divisor is 0, or if the operation is int::MIN / -1.

Rem

Fails if the divisor is 0, or if the operation is int::MIN % -1.

Add

Fails on overflow. Not present in MIR: this is introduced by the remove_dynamic_checks pass.

Sub

Fails on overflow. Not present in MIR: this is introduced by the remove_dynamic_checks pass.

Mul

Fails on overflow. Not present in MIR: this is introduced by the remove_dynamic_checks pass.

WrappingAdd

Wraps on overflow.

WrappingSub

Wraps on overflow.

WrappingMul

Wraps on overflow.

CheckedAdd

Returns (result, did_overflow), where result is the result of the operation with wrapping semantics, and did_overflow is a boolean that indicates whether the operation overflowed. This operation does not fail.

CheckedSub

Like CheckedAdd.

CheckedMul

Like CheckedAdd.

Shl

Fails if the shift is bigger than the bit-size of the type.

Shr

Fails if the shift is bigger than the bit-size of the type.

Offset

BinOp(Offset, ptr, n) for ptr a pointer to type T offsets ptr by n * size_of::<T>().

Cmp

BinOp(Cmp, a, b) returns -1u8 if a < b, 0u8 if a == b, and 1u8 if a > b.

Implementations

impl BinOp

pub fn is_bit_xor(&self) -> bool

pub fn is_bit_and(&self) -> bool

pub fn is_bit_or(&self) -> bool

pub fn is_eq(&self) -> bool

pub fn is_lt(&self) -> bool

pub fn is_le(&self) -> bool

pub fn is_ne(&self) -> bool

pub fn is_ge(&self) -> bool

pub fn is_gt(&self) -> bool

pub fn is_div(&self) -> bool

pub fn is_rem(&self) -> bool

pub fn is_add(&self) -> bool

pub fn is_sub(&self) -> bool

pub fn is_mul(&self) -> bool

pub fn is_wrapping_add(&self) -> bool

pub fn is_wrapping_sub(&self) -> bool

pub fn is_wrapping_mul(&self) -> bool

pub fn is_checked_add(&self) -> bool

pub fn is_checked_sub(&self) -> bool

pub fn is_checked_mul(&self) -> bool

pub fn is_shl(&self) -> bool

pub fn is_shr(&self) -> bool

pub fn is_offset(&self) -> bool

pub fn is_cmp(&self) -> bool

impl BinOp

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

Trait Implementations

impl AstVisitable for BinOp

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 BinOp

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 BinOp

fn clone(&self) -> BinOp

Returns a copy of the value.

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

Performs copy-assignment from source.

impl Debug for BinOp

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

Formats the value using the given formatter.

impl<'de> Deserialize<'de> for BinOp

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

where __D: Deserializer<'de>,

Deserialize this value from the given Serde deserializer.

impl Display for BinOp

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

Formats the value using the given formatter.

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

where V: Visitor,

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 BinOp

where V: Visitor,

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

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

impl PartialEq for BinOp

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

Tests for self and other values to be equal, and is used by ==.

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

Tests for !=. The default implementation is almost always sufficient, and should not be overridden without very good reason.

impl Serialize for BinOp

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

where __S: Serializer,

Serialize this value into the given Serde serializer.

impl Copy for BinOp

impl Eq for BinOp

impl StructuralPartialEq for BinOp