Struct souper_ir::ast::Phi

pub struct Phi {
    pub block: BlockId,
    pub values: Vec<Operand>,
}

A phi node.

If a phi's block has n predecessors, then the length of values must be n.

All phi nodes associated with a particular block will have their ith value selected when control flow comes from block's ith predecessor. For example, given:

%bb = block 3
%a = phi %bb, 1, 2, 3
%b = phi %bb, 4, 5, 6
%c = phi %bb, 7, 8, 9

If the basic block %bb has three control-flow predecessors. If it is entered via its first predecessor, then %a == 1, %b == 4, and %c == 7. If it is entered via its second predecessor, then %a == 2, %b == 5, and %c == 8. Finally, if it is entered via its third predecessor, then %a == 3, %b == 6, and %c == 9.

Fields

block: BlockId

The basic block that this phi node is contained within.

values: Vec<Operand>

The potential values for this phi node.

Trait Implementations

impl Clone for Phi

fn clone(&self) -> Phi

Returns a copy of the value.

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

Performs copy-assignment from source.

impl Debug for Phi

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

Formats the value using the given formatter.

impl From<Phi> for AssignmentRhs

fn from(p: Phi) -> Self

Performs the conversion.

impl Parse for Phi

fn parse<'a>(parser: &mut Parser<'a>) -> Result<Self>

Parse a Self from the given buffer.

impl Peek for Phi

fn peek<'a>(parser: &mut Parser<'a>) -> Result<bool>

Does it look like we can parse a Self from the given buffer?