Struct CommonRules 

pub struct CommonRules;

Common rewrite rules for optimization.

Implementations

impl CommonRules

pub fn eliminate_add_zero() -> RewriteRule

Eliminate addition with zero: A + 0 -> A

pub fn eliminate_mul_one() -> RewriteRule

Eliminate multiplication by one: A * 1 -> A

pub fn eliminate_mul_zero() -> RewriteRule

Eliminate multiplication by zero: A * 0 -> 0

pub fn constant_folding() -> RewriteRule

Constant folding: C1 + C2 -> C3

pub fn associativity_add() -> RewriteRule

Associativity: (A + B) + C -> A + (B + C)

pub fn all() -> Vec<RewriteRule>

Get all common optimization rules.