Struct DceConfig 

pub struct DceConfig {
    pub eliminate_constant_and: bool,
    pub eliminate_constant_or: bool,
    pub eliminate_constant_not: bool,
    pub eliminate_if_branches: bool,
    pub eliminate_unused_let: bool,
    pub max_passes: u32,
}

Configuration controlling which DCE rules are active.

Fields

eliminate_constant_and: bool

Enable And(False, x) → False, And(True, x) → x, and symmetric variants.

eliminate_constant_or: bool

Enable Or(True, x) → True, Or(False, x) → x, and symmetric variants.

eliminate_constant_not: bool

Enable Not(True) → False, Not(False) → True.

eliminate_if_branches: bool

Enable IfThenElse(True, then, _) → then and IfThenElse(False, _, else) → else.

eliminate_unused_let: bool

Enable removal of Let(x, e, body) when x does not appear free in body.

max_passes: u32

Maximum number of passes before giving up (fixed-point iteration).

Trait Implementations

impl Clone for DceConfig

fn clone(&self) -> DceConfig

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for DceConfig

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

Formats the value using the given formatter.

impl Default for DceConfig

fn default() -> Self

Returns the “default value” for a type.