Struct cranelift_codegen::machinst::sections::MachSection

pub struct MachSection {
    pub start_offset: CodeOffset,
    pub length_limit: CodeOffset,
    pub data: Vec<u8>,
    pub relocs: Vec<MachReloc>,
    pub traps: Vec<MachTrap>,
    pub call_sites: Vec<MachCallSite>,
    pub srclocs: Vec<MachSrcLoc>,
    pub cur_srcloc: Option<(CodeOffset, SourceLoc)>,
}

A section of output to be emitted to a CodeSink / RelocSink in bulk. Multiple sections may be created with known start offsets in advance; the usual use-case is to create the .text (code) and .rodata (constant pool) at once, after computing the length of the code, so that constant references can use known offsets as instructions are emitted.

Fields

start_offset: CodeOffset

The starting offset of this section.

length_limit: CodeOffset

The limit of this section, defined by the start of the next section.

data: Vec<u8>

The section contents, as raw bytes.

relocs: Vec<MachReloc>

Any relocations referring to this section.

traps: Vec<MachTrap>

Any trap records referring to this section.

call_sites: Vec<MachCallSite>

Any call site records referring to this section.

srclocs: Vec<MachSrcLoc>

Any source location mappings referring to this section.

cur_srcloc: Option<(CodeOffset, SourceLoc)>

The current source location in progress (after start_srcloc() and before end_srcloc()). This is a (start_offset, src_loc) tuple.

Methods

impl MachSection

pub fn new(start_offset: CodeOffset, length_limit: CodeOffset) -> MachSection

Create a new section, known to start at start_offset and with a size limited to length_limit.

pub fn emit<CS: CodeSink>(&self, sink: &mut CS)

Emit this section to the CodeSink and other associated sinks. The current offset of the CodeSink must match the starting offset of this section.

Trait Implementations

impl MachSectionOutput for MachSection

fn cur_offset_from_start(&self) -> CodeOffset

Get the current offset from the start of all sections.

fn start_offset(&self) -> CodeOffset

Get the start offset of this section.

fn put1(&mut self, value: u8)

Add 1 byte to the section.

fn put_data(&mut self, data: &[u8])

Add a slice of bytes to the section.

fn add_reloc(
    &mut self,
    srcloc: SourceLoc,
    kind: Reloc,
    name: &ExternalName,
    addend: Addend
)

Add a relocation at the current offset.

fn add_trap(&mut self, srcloc: SourceLoc, code: TrapCode)

Add a trap record at the current offset.

fn add_call_site(&mut self, srcloc: SourceLoc, opcode: Opcode)

Add a call return address record at the current offset.

fn start_srcloc(&mut self, loc: SourceLoc)

Start the output for the given source-location at the current offset.

fn end_srcloc(&mut self)

End the output for the previously-given source-location at the current offset.

fn put2(&mut self, value: u16)

Add 2 bytes to the section.

fn put4(&mut self, value: u32)

Add 4 bytes to the section.

fn put8(&mut self, value: u64)

Add 8 bytes to the section.

fn align_to(&mut self, align_to: CodeOffset)

Align up to the given alignment.