Struct BlockPc

pub struct BlockPc {
    pub block: BlockId,
    pub predecessor: u32,
    pub x: Operand,
    pub y: Operand,
}

A block path condition.

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

Fields

block: BlockId

The basic block in question.

predecessor: u32

The ith control-flow predecessor of block.

Zero-indexed: must be less than block’s total number of predecessors.

x: Operand

Must be equal to y if control-flow entered block via predecessor.

y: Operand

Must be equal to x if control-flow entered block via predecessor.

Trait Implementations

impl Clone for BlockPc

fn clone(&self) -> BlockPc

Returns a copy of the value.

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

Performs copy-assignment from source.

impl Debug for BlockPc

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

Formats the value using the given formatter.

impl From<BlockPc> for Statement

fn from(bpc: BlockPc) -> Self

Converts to this type from the input type.

impl Parse for BlockPc

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

Parse a Self from the given buffer.

impl Peek for BlockPc

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

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