Trait CodeSink

pub trait CodeSink {
    // Required methods
    fn put1(&mut self, _: u8);
    fn put2(&mut self, _: u16);
    fn put4(&mut self, _: u32);
    fn put8(&mut self, _: u64);
    fn add_trap(&mut self, code: TrapCode);
    fn current_offset(&self) -> u32;
    fn use_label_at_offset(&mut self, offset: u32, label: Label);
    fn get_label_for_constant(&mut self, id: Constant) -> Label;
}

Describe how an instruction is emitted into a code buffer.

Required Methods

fn put1(&mut self, _: u8)

Add 1 byte to the code section.

fn put2(&mut self, _: u16)

Add 2 bytes to the code section.

fn put4(&mut self, _: u32)

Add 4 bytes to the code section.

fn put8(&mut self, _: u64)

Add 8 bytes to the code section.

fn add_trap(&mut self, code: TrapCode)

Inform the code buffer of a possible trap at the current location; required for assembling memory accesses.

fn current_offset(&self) -> u32

Return the byte offset of the current location in the code buffer; required for assembling RIP-relative memory accesses.

fn use_label_at_offset(&mut self, offset: u32, label: Label)

Inform the code buffer of a use of label at offset; required for assembling RIP-relative memory accesses.

fn get_label_for_constant(&mut self, id: Constant) -> Label

Return the label for a constant id; required for assembling RIP-relative memory accesses of constants.

Implementations on Foreign Types

impl CodeSink for Vec<u8>

Provide a convenient implementation for testing.

fn put1(&mut self, v: u8)

fn put2(&mut self, v: u16)

fn put4(&mut self, v: u32)

fn put8(&mut self, v: u64)

fn add_trap(&mut self, _: TrapCode)

fn current_offset(&self) -> u32

fn use_label_at_offset(&mut self, _: u32, _: Label)

fn get_label_for_constant(&mut self, c: Constant) -> Label

Implementors