Struct Images 

pub struct Images { /* private fields */ }

The initial image of every global in a module that a load can be answered out of.

Empty is the honest answer for a module with no such global and is also what a cache built without one holds, which is why there is a Default here and none on crate::Machine. A missing cost table is a pass optimizing for a machine nobody chose; a missing image is a load that does not fold.

Implementations

impl Images

pub fn of(module: &Module, pic: Pic) -> Self

The images of every read only global this module can vouch for.

pub fn is_empty(&self) -> bool

Whether there is anything here to answer a load with.

pub fn read(&self, name: Symbol, ty: Type, offset: u64) -> Option<Imm>

The value of type ty that lies offset bytes into the image of that global.

Trait Implementations

impl Clone for Images

fn clone(&self) -> Self

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for Images

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

Formats the value using the given formatter.

impl Default for Images

fn default() -> Self

Returns the “default value” for a type.