Struct HoistCandidate 

pub struct HoistCandidate {
    pub expr: LoopInvariantExpr,
    pub target_loop_header: LcnfVarId,
    pub savings_estimate: u32,
}

A candidate expression ready to be hoisted to a preheader.

Fields

expr: LoopInvariantExpr

The invariant binding to hoist.

target_loop_header: LcnfVarId

The id of the loop this candidate should be hoisted out of.

savings_estimate: u32

Estimated number of redundant evaluations saved (loop trip count heuristic; we use 10 as a conservative default).

Trait Implementations

impl Clone for HoistCandidate

fn clone(&self) -> HoistCandidate

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for HoistCandidate

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

Formats the value using the given formatter.