Struct BlockCall 

pub struct BlockCall {
    pub block: Block,
    pub args: ValueList,
    pub hint: Hint,
}

A branch target, and the values passed to it.

This is the whole reason there are no phi nodes. The arguments are here, in the branch, beside the block they go to, so removing a predecessor is one edit in one place and there is no second list anywhere that has to be kept in step with this one.

The hint is here for the same reason and not on the instruction: a branch has as many arms as it has block calls, and a weight held anywhere else would be a second list to keep in step with this one.

Fields

block: Block

Where control goes.

args: ValueList

What is passed, one for each of the block’s parameters.

hint: Hint

How often this arm is the one taken, where something said so.

Implementations

impl BlockCall

pub const fn new(block: Block, args: ValueList) -> Self

An arm going to a block with arguments and nothing said about how often it is taken.

pub const fn to(block: Block) -> Self

An arm going to a block that takes no arguments.

Trait Implementations

impl Clone for BlockCall

fn clone(&self) -> BlockCall

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Copy for BlockCall

impl Debug for BlockCall

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

Formats the value using the given formatter.

impl Eq for BlockCall

impl PartialEq for BlockCall

fn eq(&self, other: &BlockCall) -> bool

Equality operator ==.

fn ne(&self, other: &Rhs) -> bool

Inequality operator !=.

impl StructuralPartialEq for BlockCall