Struct MemoryArgument 

pub struct MemoryArgument { /* private fields */ }

Argument to load and store instructions that contains an address offset and the expected alignment (expressed as the exponent of a power of 2).

The static address offset is added to the dynamic address operand, yielding a 33 bit effective address that is the zero-based index at which the memory is accessed.

See https://webassembly.github.io/spec/core/syntax/instructions.html#memory-instructions

Examples

With Offset & Alignment

use wasm_ast::MemoryArgument;

let argument = MemoryArgument::new(4, 42);

assert_eq!(argument.offset(), 42);
assert_eq!(argument.align(), 4);

With Offset Only

use wasm_ast::MemoryArgument;

let argument = MemoryArgument::new(1, 42);

assert_eq!(argument.offset(), 42);
assert_eq!(argument.align(), 1);

With Alignment Only

use wasm_ast::MemoryArgument;

let argument = MemoryArgument::default_offset(4);

assert_eq!(argument.offset(), 0);
assert_eq!(argument.align(), 4);

Default

use wasm_ast::MemoryArgument;

let argument = MemoryArgument::default_offset(1);

assert_eq!(argument.offset(), 0);
assert_eq!(argument.align(), 1);

Implementations

impl MemoryArgument

pub fn new(align: u32, offset: u32) -> Self

Creates a new memory argument with the given alignment and offset.

pub fn default_offset(align: u32) -> Self

Creates a new memory argument with the default offset and the given alignment.

pub fn offset(&self) -> u32

The static address offset of the memory instruction.

pub fn align(&self) -> u32

The memory alignment of the instruction expressed as the exponent of a power of 2.

Trait Implementations

impl Clone for MemoryArgument

fn clone(&self) -> MemoryArgument

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for MemoryArgument

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

Formats the value using the given formatter.

impl PartialEq for MemoryArgument

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

Tests for self and other values to be equal, and is used by ==.

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

Tests for !=. The default implementation is almost always sufficient, and should not be overridden without very good reason.

impl Copy for MemoryArgument

impl Eq for MemoryArgument

impl StructuralPartialEq for MemoryArgument