Struct BlockCall 

pub struct BlockCall { /* private fields */ }

A branch target and the arguments passed to its block parameters. Made by Function::block_call, which stores the arguments in the function; read them back with Function::args.

Examples

use backend_lang::mir::{Function, Operand};
use backend_lang::x86_64::{SYSV, RAX};

let mut f = Function::new("f", &SYSV);
let _entry = f.block()?;
let next = f.block()?;
let call = f.block_call(next, &[Operand::Reg(RAX.into())])?;
assert_eq!(call.block(), next);
assert_eq!(f.args(call), [Operand::Reg(RAX.into())]);

Implementations

impl BlockCall

pub const fn block(&self) -> Block

The target block.

Examples

use backend_lang::mir::Function;
use backend_lang::x86_64::SYSV;

let mut f = Function::new("f", &SYSV);
let b = f.block()?;
assert_eq!(f.block_call(b, &[])?.block(), b);

pub const fn len(&self) -> usize

The number of arguments.

Examples

use backend_lang::mir::{Function, Operand};
use backend_lang::x86_64::SYSV;

let mut f = Function::new("f", &SYSV);
let b = f.block()?;
assert_eq!(f.block_call(b, &[Operand::Imm(1), Operand::Imm(2)])?.len(), 2);

pub const fn is_empty(&self) -> bool

Whether there are no arguments.

Examples

use backend_lang::mir::Function;
use backend_lang::x86_64::SYSV;

let mut f = Function::new("f", &SYSV);
let b = f.block()?;
assert!(f.block_call(b, &[])?.is_empty());

Trait Implementations

impl Clone for BlockCall

fn clone(&self) -> Self

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 From<BlockCall> for Operand

fn from(b: BlockCall) -> Operand

Converts to this type from the input type.

impl Hash for BlockCall

fn hash<__H: Hasher>(&self, state: &mut __H)

Feeds this value into the given Hasher.

fn hash_slice<H>(data: &[Self], state: &mut H)

where H: Hasher, Self: Sized,

Feeds a slice of this type into the given Hasher.

impl PartialEq for BlockCall

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

Equality operator ==.

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

Inequality operator !=.

impl StructuralPartialEq for BlockCall