Enum BinOp

Source

pub enum BinOp {
Show 19 variants    Add,
    Sub,
    Mul,
    Div,
    Mod,
    Pow,
    BitAnd,
    BitOr,
    BitXor,
    BitShl,
    BitShr,
    Eq,
    Ne,
    Lt,
    Le,
    Gt,
    Ge,
    And,
    Or,
}

Expand description

Binary operations in MIR.

W11-fup-A (Phase 3d, 2026-05-18) extends this enum with Pow + the five bitwise variants (BitAnd/BitOr/BitXor/BitShl/BitShr) per the W11-jit-new-array close §4 Class A residual: the bytecode VM already emits typed opcodes for these operators (PowInt/PowNumber, BitAndInt/BitOrInt/BitXorInt/BitShlInt/BitShrInt at crates/shape-vm/src/bytecode/opcode_defs.rs:317-322 / 1860-1873); the MIR layer was the gap forcing lower_binary_op to fall through to Rvalue::Aggregate(vec![l, r]) and surface-and-stop in JIT (Route A at crates/shape-jit/src/mir_compiler/rvalues.rs:145).

Fuzzy ops + NullCoalesce / ErrorContext / Pipe remain unhandled here per the same close doc’s “different semantics” disposition — those are tracked by their own follow-up sub-clusters.

Variants§

§

BinOp

Enum BinOp Copy item path

Variants§

Add

Sub

Mul

Div

Mod

Pow

BitAnd

BitOr

BitXor

BitShl

BitShr

Eq

Ne

Lt

Le

Gt

Ge

And

Or

Trait Implementations§

impl Clone for BinOp

fn clone(&self) -> Self

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

impl Copy for BinOp

impl Debug for BinOp

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

impl Eq for BinOp

impl PartialEq for BinOp

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

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

impl StructuralPartialEq for BinOp

Auto Trait Implementations§

impl Freeze for BinOp

impl RefUnwindSafe for BinOp

impl Send for BinOp

impl Sync for BinOp

impl Unpin for BinOp

impl UnsafeUnpin for BinOp

impl UnwindSafe for BinOp

Blanket Implementations§

impl<T> Allocation for Twhere T: RefUnwindSafe + Send + Sync,

impl<T> Any for Twhere T: 'static + ?Sized,

fn type_id(&self) -> TypeId

impl<T> Borrow<T> for Twhere T: ?Sized,

fn borrow(&self) -> &T

impl<T> BorrowMut<T> for Twhere T: ?Sized,

fn borrow_mut(&mut self) -> &mut T

impl<T> CloneToUninit for Twhere T: Clone,

unsafe fn clone_to_uninit(&self, dest: *mut u8)

impl<Q, K> Equivalent<K> for Qwhere Q: Eq + ?Sized, K: Borrow<Q> + ?Sized,

fn equivalent(&self, key: &K) -> bool

impl<Q, K> Equivalent<K> for Qwhere Q: Eq + ?Sized, K: Borrow<Q> + ?Sized,

fn equivalent(&self, key: &K) -> bool

impl<T> From<T> for T

fn from(t: T) -> T

impl<T> Instrument for T

fn instrument(self, span: Span) -> Instrumented<Self> ⓘ

fn in_current_span(self) -> Instrumented<Self> ⓘ

impl<T, U> Into<U> for Twhere U: From<T>,

fn into(self) -> U

impl<T> IntoEither for T

fn into_either(self, into_left: bool) -> Either<Self, Self> ⓘ

fn into_either_with<F>(self, into_left: F) -> Either<Self, Self> ⓘwhere F: FnOnce(&Self) -> bool,

impl<T> Pointable for T

const ALIGN: usize

type Init = T

unsafe fn init(init: <T as Pointable>::Init) -> usize

unsafe fn deref<'a>(ptr: usize) -> &'a T

unsafe fn deref_mut<'a>(ptr: usize) -> &'a mut T

unsafe fn drop(ptr: usize)

impl<T> PolicyExt for Twhere T: ?Sized,

fn and<P, B, E>(self, other: P) -> And<T, P>where T: Sized + Policy<B, E>, P: Policy<B, E>,

fn or<P, B, E>(self, other: P) -> Or<T, P>where T: Sized + Policy<B, E>, P: Policy<B, E>,

impl<T> Same for T

type Output = T

impl<T> ToOwned for Twhere T: Clone,

type Owned = T

Enum BinOp

impl<T> Allocation for T
where T: RefUnwindSafe + Send + Sync,

impl<T> Any for T
where T: 'static + ?Sized,

impl<T> Borrow<T> for T
where T: ?Sized,

impl<T> BorrowMut<T> for T
where T: ?Sized,

impl<T> CloneToUninit for T
where T: Clone,

impl<Q, K> Equivalent<K> for Q
where Q: Eq + ?Sized, K: Borrow<Q> + ?Sized,

impl<Q, K> Equivalent<K> for Q
where Q: Eq + ?Sized, K: Borrow<Q> + ?Sized,

impl<T, U> Into<U> for T
where U: From<T>,

fn into_either_with<F>(self, into_left: F) -> Either<Self, Self> ⓘ
where F: FnOnce(&Self) -> bool,

impl<T> PolicyExt for T
where T: ?Sized,

fn and<P, B, E>(self, other: P) -> And<T, P>
where T: Sized + Policy<B, E>, P: Policy<B, E>,

fn or<P, B, E>(self, other: P) -> Or<T, P>
where T: Sized + Policy<B, E>, P: Policy<B, E>,

impl<T> ToOwned for T
where T: Clone,

impl<T, U> TryFrom<U> for T
where U: Into<T>,

impl<T, U> TryInto<U> for T
where U: TryFrom<T>,

impl<V, T> VZip<V> for T
where V: MultiLane<T>,

fn with_subscriber<S>(self, subscriber: S) -> WithDispatch<Self> ⓘ
where S: Into<Dispatch>,