vyre-foundation 0.4.1

Foundation layer: IR, type system, memory model, wire format. Zero application semantics. Part of the vyre GPU compiler.
Documentation 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23

//! Binary operator properties used by CSE key canonicalization.

use crate::ir::BinOp;

/// Return true when swapping operands preserves the binary operation result.
#[must_use]
#[inline]
pub fn is_commutative(op: &BinOp) -> bool {
    matches!(
        op,
        BinOp::Add
            | BinOp::SaturatingAdd
            | BinOp::Mul
            | BinOp::SaturatingMul
            | BinOp::BitAnd
            | BinOp::BitOr
            | BinOp::BitXor
            | BinOp::Eq
            | BinOp::Ne
            | BinOp::And
            | BinOp::Or
    )
}