Struct ConstantFoldingPass 

pub struct ConstantFoldingPass {
    pub folds_performed: u32,
}

Constant folding pass – evaluate constant expressions at compile time.

Fields

folds_performed: u32

Implementations

impl ConstantFoldingPass

pub fn new() -> Self

pub fn run(&mut self, decls: &mut [LcnfFunDecl])

pub fn try_fold_nat_op(&self, op: &str, lhs: u64, rhs: u64) -> Option<u64>

Try to fold a nat binary operation.

pub fn try_fold_bool_op(&self, op: &str, lhs: bool, rhs: bool) -> Option<bool>

Try to fold a boolean operation.

pub fn try_fold_cmp(&self, op: &str, lhs: u64, rhs: u64) -> Option<bool>

Try to fold a comparison operation.

Trait Implementations

impl Debug for ConstantFoldingPass

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

Formats the value using the given formatter.

impl Default for ConstantFoldingPass

fn default() -> Self

Returns the “default value” for a type.

impl OptPass for ConstantFoldingPass

fn name(&self) -> &str

Human-readable name of this pass.

fn run_pass(&mut self, decls: &mut [LcnfFunDecl]) -> usize

Run the pass on a set of declarations, returning the number of changes made.

fn is_enabled(&self) -> bool

Whether this pass is enabled.

fn dependencies(&self) -> Vec<&str>

Dependencies: names of passes that must run before this one.