Struct midenc_hir::ReplaceBuilder

pub struct ReplaceBuilder<'f> { /* private fields */ }

Instruction builder that replaces an existing instruction.

The inserted instruction will have the same Inst number as the old one.

If the old instruction still has result values attached, it is assumed that the new instruction produces the same number and types of results. The old result values are preserved. If the replacement instruction format does not support multiple results, the builder panics. It is a bug to leave result values dangling.

Implementations

impl<'f> ReplaceBuilder<'f>

pub fn new(dfg: &'f mut DataFlowGraph, inst: Inst) -> Self

Create a ReplaceBuilder that will overwrite inst.

Trait Implementations

impl<'f> InstBuilderBase<'f> for ReplaceBuilder<'f>

fn data_flow_graph(&self) -> &DataFlowGraph

Get a reference to the underlying DataFlowGraph for this builder

fn data_flow_graph_mut(&mut self) -> &mut DataFlowGraph

Get a mutable reference to the underlying DataFlowGraph for this builder

fn insertion_point(&self) -> InsertionPoint

Return the insertion point of this builder

fn build( self, data: Instruction, ctrl_typevar: Type, span: SourceSpan, ) -> (Inst, &'f mut DataFlowGraph)

Build the given instruction, returing it’s handle and the inner DataFlowGraph

fn ins<'a, 'b: 'a>(&'b mut self) -> DefaultInstBuilder<'a>

Get a default instruction builder using the dataflow graph and insertion point of the current builder