Struct ReplacementBuilder

pub struct ReplacementBuilder { /* private fields */ }

A builder for a Replacement.

Implementations

impl ReplacementBuilder

pub fn assignment( &mut self, name: Option<String>, type: Option<Type>, value: impl Into<AssignmentRhs>, attributes: Vec<Attribute>, ) -> ValueId

Create a new assignment statement.

Returns the value defined by the assignment.

Panics

Panics if name (when given) does not start with ‘%’.

pub fn block(&mut self, name: Option<String>, predecessors: u32) -> BlockId

Create a new basic block.

Declare that the block has predecessors number of incoming edges in the control-flow graph.

Panics

Panics if name (when given) does not start with ‘%’.

pub fn pc(&mut self, x: impl Into<Operand>, y: impl Into<Operand>)

Create a path condition.

Expresses the fact that x must equal y for the replacement to be valid.

pub fn block_pc( &mut self, block: BlockId, predecessor: u32, x: impl Into<Operand>, y: impl Into<Operand>, )

Create a block path condition.

Expresses that x is equal to y on an incoming edge to block in the control-flow graph.

Panics

Panics if predecessor is greater than or equal to block’s number of predecessors.

pub fn finish( self, lhs: ValueId, rhs: impl Into<Operand>, attributes: impl IntoIterator<Item = RootAttribute>, ) -> Replacement

Finish building this replacement by providing the left- and right-hand sides.

Trait Implementations

impl Clone for ReplacementBuilder

fn clone(&self) -> ReplacementBuilder

Returns a copy of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl Debug for ReplacementBuilder

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.

impl Default for ReplacementBuilder

fn default() -> ReplacementBuilder

Returns the “default value” for a type.