Class MoveOptimizer

src/internal/move_optimizer.rs:64–88

}

pub struct MoveOptimizer {
    /// State tracker used for processing blocks.
    state_tracker: StateTracker,

    /// Set of values and their allocations on entry to a block.
    ///
    /// A single entry state may be shared by multiple blocks if they have the
    /// same predecessor block.
    entry_states: PrimaryMap<EntryState, SmallVec<[(Allocation, Value); 15]>>,

    /// For each block, the state that it has on entry when processing it.
    ///
    /// This must be some for blocks that are in the queue or have been
    /// processed.
    block_entry_states: SecondaryMap<Block, PackedOption<EntryState>>,

    /// Queue of blocks that need to be pre-processed.
    ///
    /// For faster convergence, we always pre-process the lower-index blocks
    /// first.
    blocks_to_preprocess: BinaryHeap<Reverse<Block>>,

    /// Set of blocks in `blocks_to_process`.
    blocks_in_queue: EntitySet<Block>,
}

impl MoveOptimizer {
    pub fn new() -> Self {