Method remove_block_predecessor

cranelift/frontend/src/ssa.rs:417–427

Remove a previously declared Block predecessor by giving a reference to the jump instruction. Returns the basic block containing the instruction. Note: use only when you know what you are doing, this might break the SSA building problem

(&mut self, block: Block, inst: Inst)

    ///
    /// Note: use only when you know what you are doing, this might break the SSA building problem
    pub fn remove_block_predecessor(&mut self, block: Block, inst: Inst) {
        debug_assert!(!self.is_sealed(block));
        let data = &mut self.ssa_blocks[block];
        let pred = data
            .predecessors
            .as_slice(&self.inst_pool)
            .iter()
            .position(|&branch| branch == inst)
            .expect("the predecessor you are trying to remove is not declared");
        data.predecessors.swap_remove(pred, &mut self.inst_pool);
    }

    /// Completes the global value numbering for a `Block`, all of its predecessors having been
    /// already sealed.