Struct Mem 

pub struct Mem { /* private fields */ }

A memory reference: [base + index * scale + disp], each part optional.

The access width comes from the instruction (mov64 reads eight bytes). Base and index are registers of the target’s address class. A stack slot is its own operand, Operand::Slot, because its address is only known once the frame is laid out.

Examples

use backend_lang::mir::{Mem, Scale};
use backend_lang::x86_64::{RDI, RSI};

let m = Mem::base(RDI.into()).with_index(RSI.into(), Scale::X8).with_disp(16);
assert_eq!(m.base_reg(), Some(RDI.into()));
assert_eq!(m.index_reg(), Some((RSI.into(), Scale::X8)));
assert_eq!(m.disp(), 16);

Implementations

impl Mem

pub fn base(base: Reg) -> Mem

[base].

Examples

use backend_lang::mir::Mem;
use backend_lang::x86_64::RBX;

assert_eq!(Mem::base(RBX.into()).disp(), 0);

pub const fn absolute(disp: i32) -> Mem

[disp]: an absolute address, with no registers.

Examples

use backend_lang::mir::Mem;

let m = Mem::absolute(0x1000);
assert_eq!(m.base_reg(), None);
assert_eq!(m.disp(), 0x1000);

pub fn with_index(self, index: Reg, scale: Scale) -> Mem

The same reference with an index register.

Examples

use backend_lang::mir::{Mem, Scale};
use backend_lang::x86_64::{RAX, RCX};

let m = Mem::base(RAX.into()).with_index(RCX.into(), Scale::X4);
assert_eq!(m.index_reg(), Some((RCX.into(), Scale::X4)));

pub const fn with_disp(self, disp: i32) -> Mem

The same reference with displacement disp.

Examples

use backend_lang::mir::Mem;
use backend_lang::x86_64::RAX;

assert_eq!(Mem::base(RAX.into()).with_disp(-8).disp(), -8);

pub fn base_reg(&self) -> Option<Reg>

The base register, if any.

Examples

use backend_lang::mir::Mem;

assert_eq!(Mem::absolute(0).base_reg(), None);

pub fn index_reg(&self) -> Option<(Reg, Scale)>

The index register and its scale, if any.

Examples

use backend_lang::mir::Mem;
use backend_lang::x86_64::RAX;

assert_eq!(Mem::base(RAX.into()).index_reg(), None);

pub const fn disp(&self) -> i32

The displacement.

Examples

use backend_lang::mir::Mem;

assert_eq!(Mem::absolute(12).disp(), 12);

Trait Implementations

impl Clone for Mem

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 Mem

impl Debug for Mem

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

Formats the value using the given formatter.

impl Eq for Mem

impl From<Mem> for Operand

fn from(m: Mem) -> Operand

Converts to this type from the input type.

impl Hash for Mem

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 Mem

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

Equality operator ==.

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

Inequality operator !=.

impl StructuralPartialEq for Mem