Struct CCPState 

pub struct CCPState {
    pub known: HashMap<LcnfVarId, KnownConstant>,
    pub folded: usize,
    pub dead_branches: usize,
}

State for Conditional Constant Propagation integrated with GVN.

CCP tracks which variables have statically-known values and uses this information to fold conditions and eliminate dead branches.

Fields

known: HashMap<LcnfVarId, KnownConstant>

Map from variable to its known constant value.

folded: usize

Number of constants folded.

dead_branches: usize

Number of dead branches eliminated.

Implementations

impl CCPState

pub fn new() -> Self

pub fn set_known(&mut self, var: LcnfVarId, val: KnownConstant)

pub fn get_known(&self, var: &LcnfVarId) -> &KnownConstant

pub fn run(&mut self, decl: &mut LcnfFunDecl)

Run CCP on a function declaration, folding constants and removing dead branches.

Trait Implementations

impl Debug for CCPState

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

Formats the value using the given formatter.

impl Default for CCPState

fn default() -> CCPState

Returns the “default value” for a type.