Struct souper_ir::ast::ReplacementBuilder

pub struct ReplacementBuilder { /* fields omitted */ }

A builder for a Replacement.

Implementations

impl ReplacementBuilder

pub fn assignment(
    &mut self,
    name: Option<String>,
    r#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.