Method block_successors

cranelift/codegen/src/ir/function.rs:327–334

Returns an iterator over the blocks succeeding the given block.

(&self, block: Block)

    /// Returns an iterator over the blocks succeeding the given block.
    pub fn block_successors(&self, block: Block) -> impl DoubleEndedIterator<Item = Block> + '_ {
        self.layout.last_inst(block).into_iter().flat_map(|inst| {
            self.dfg.insts[inst]
                .branch_destination(&self.dfg.jump_tables, &self.dfg.exception_tables)
                .iter()
                .map(|block| block.block(&self.dfg.value_lists))
        })
    }

    /// Replace the `dst` instruction's data with the `src` instruction's data
    /// and then remove `src`.