Method seal_block

cranelift/frontend/src/ssa.rs:436–443

Completes the global value numbering for a `Block`, all of its predecessors having been already sealed. This method modifies the function's `Layout` by adding arguments to the `Block`s to take into account the Phi function placed by the SSA algorithm. Returns the list of newly created blocks for critical edge splitting.

(&mut self, block: Block, func: &mut Function)

    ///
    /// Returns the list of newly created blocks for critical edge splitting.
    pub fn seal_block(&mut self, block: Block, func: &mut Function) -> SideEffects {
        debug_assert!(
            !self.is_sealed(block),
            "Attempting to seal {block} which is already sealed."
        );
        self.seal_one_block(block, func);
        mem::take(&mut self.side_effects)
    }

    /// Completes the global value numbering for all unsealed `Block`s in `func`.
    ///