Struct Effects 

pub struct Effects<'a> { /* private fields */ }

Extra implicit operands for one instruction: registers it reads and writes without naming them, and registers it clobbers, beyond what its opcode always has. Used for calls (argument registers, return registers, the convention’s clobbers), returns (result registers), and system calls.

Examples

use backend_lang::mir::Effects;
use backend_lang::x86_64::{SYSV, RAX, RDI};

let e = Effects::new().uses(&[RDI]).defs(&[RAX]).clobbers(SYSV.call_clobbers());
assert_eq!(e.uses_regs(), [RDI]);
assert!(e.clobber_set().contains(RAX));

Implementations

impl<'a> Effects<'a>

pub const fn new() -> Effects<'a>

No extra operands.

Examples

use backend_lang::mir::Effects;

assert!(Effects::new().uses_regs().is_empty());

pub const fn uses(self, regs: &'a [PReg]) -> Effects<'a>

Registers read.

Examples

use backend_lang::mir::Effects;
use backend_lang::x86_64::RSI;

assert_eq!(Effects::new().uses(&[RSI]).uses_regs(), [RSI]);

pub const fn defs(self, regs: &'a [PReg]) -> Effects<'a>

Registers written with defined values.

Examples

use backend_lang::mir::Effects;
use backend_lang::x86_64::RAX;

assert_eq!(Effects::new().defs(&[RAX]).defs_regs(), [RAX]);

pub const fn clobbers(self, regs: RegSet) -> Effects<'a>

Registers left with unspecified contents.

Examples

use backend_lang::RegSet;
use backend_lang::mir::Effects;
use backend_lang::x86_64::R11;

assert!(Effects::new().clobbers(RegSet::of(&[R11])).clobber_set().contains(R11));

pub const fn uses_regs(&self) -> &'a [PReg]

The registers read.

Examples

use backend_lang::mir::Effects;

assert!(Effects::new().uses_regs().is_empty());

pub const fn defs_regs(&self) -> &'a [PReg]

The registers written.

Examples

use backend_lang::mir::Effects;

assert!(Effects::new().defs_regs().is_empty());

pub const fn clobber_set(&self) -> RegSet

The registers clobbered.

Examples

use backend_lang::mir::Effects;

assert!(Effects::new().clobber_set().is_empty());

Trait Implementations

impl<'a> Clone for Effects<'a>

fn clone(&self) -> Self

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl<'a> Copy for Effects<'a>

impl<'a> Debug for Effects<'a>

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

Formats the value using the given formatter.

impl<'a> Default for Effects<'a>

fn default() -> Self

Returns the “default value” for a type.

impl<'a> Eq for Effects<'a>

impl<'a> PartialEq for Effects<'a>

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

Equality operator ==.

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

Inequality operator !=.

impl<'a> StructuralPartialEq for Effects<'a>