Enum StrengthReduceRule 

pub enum StrengthReduceRule {
    MulByPow2(u32),
    DivByPow2(u32),
    ModByPow2(u32),
    MulByConstant(u64),
    DivByConstant(u64),
    Pow2Const,
    Pow3Const,
    NegToSub,
    AddSubToInc,
}

A single algebraic strength-reduction rewrite rule.

Variants

MulByPow2(u32)

x * 2^n → x << n.

DivByPow2(u32)

x / 2^n → x >> n (unsigned / logical right shift).

ModByPow2(u32)

x % 2^n → x & (2^n - 1).

MulByConstant(u64)

x * c → sequence of shifts and additions.

DivByConstant(u64)

x / c → multiply-by-reciprocal (magic number division).

Pow2Const

pow(x, 2) → x * x.

Pow3Const

pow(x, 3) → x * x * x.

NegToSub

0 - x → negate(x).

AddSubToInc

x + 1 → incr(x).

Trait Implementations

impl Clone for StrengthReduceRule

fn clone(&self) -> StrengthReduceRule

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for StrengthReduceRule

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

Formats the value using the given formatter.

impl Display for StrengthReduceRule

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

Formats the value using the given formatter.

impl PartialEq for StrengthReduceRule

fn eq(&self, other: &StrengthReduceRule) -> 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 Eq for StrengthReduceRule

impl StructuralPartialEq for StrengthReduceRule