Struct cranefack::OptimizeConfig

pub struct OptimizeConfig {
    pub max_loops: usize,
    pub complex_loops: bool,
    pub non_local: bool,
    pub jit_level: Option<String>,
    pub unroll_loop_limit: usize,
    pub partially_unroll_loops_limit: usize,
    pub wrapping_is_ub: bool,
    pub debug: bool,
}

Configuration to control optimization of the program

Fields

max_loops: usize

Maximum of optimization loops. Use zero to disable optimization

complex_loops: bool

Optimize complex loops

non_local: bool

Run non local optimizations passes

jit_level: Option<String>

Optimization level passed to cranelift

Currently this supports none, speed and speed_and_size.
By default speed is used for all levels expect 0

unroll_loop_limit: usize

Limit for loop unrolling pass

partially_unroll_loops_limit: usize

Limit for partially unrolling loops known to be take at least one time

wrapping_is_ub: bool

Define wrapping integer overflow as undefined behavior

Allows some optimization to mark values as non zero if there is a known increment

debug: bool

Print statistics after each pass

Implementations

impl OptimizeConfig

pub fn o0() -> OptimizeConfig

Don’t do any optimization

pub fn o1() -> OptimizeConfig

Only simple optimizations

pub fn o2() -> OptimizeConfig

Complex loop and non local optimizations

pub fn o3() -> OptimizeConfig

Unroll more loops

pub fn size() -> OptimizeConfig

Try to keep size small

pub fn wtf() -> OptimizeConfig

Turn on all optimization passes on the max

Only useful for testing…

pub fn optimize(&self) -> bool

Check if configuration has an optimization enabled