Struct CtfePass 

pub struct CtfePass {
    pub config: CtfeConfig,
    pub known_constants: HashMap<String, CtfeValue>,
    /* private fields */
}

The main CTFE optimisation pass.

Fields

config: CtfeConfig

Configuration.

known_constants: HashMap<String, CtfeValue>

Global evaluated constants available to downstream passes.

Implementations

impl CtfePass

pub fn new(config: CtfeConfig) -> Self

Create a new pass with the given configuration.

pub fn default_pass() -> Self

Create a pass with default configuration.

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

Run the CTFE pass over all declarations.

First all zero-argument (constant) functions are evaluated, then call sites inside every function are replaced with their constant folded results.

pub fn try_evaluate_decl( &mut self, decl: &LcnfFunDecl, interp: &mut CtfeInterpreter, )

Attempt to evaluate decl at compile time, storing the result in self.known_constants if successful.

pub fn replace_calls_with_constants(&mut self, decl: &mut LcnfFunDecl) -> usize

Rewrite expressions in decl to replace calls to known constants.

Returns the number of replacements performed.

pub fn report(&self) -> CtfeReport

Produce a copy of the accumulated report.