Struct cranelift_object::ObjectBackend

pub struct ObjectBackend { /* fields omitted */ }

A ObjectBackend implements Backend and emits ".o" files using the object library.

See the ObjectBuilder for a convenient way to construct ObjectBackend instances.

Trait Implementations

impl Backend for ObjectBackend

type Builder = ObjectBuilder

A builder for constructing Backend instances.

type CompiledFunction = ObjectCompiledFunction

The results of compiling a function.

type CompiledData = ObjectCompiledData

The results of "compiling" a data object.

type FinalizedFunction = ()

The completed output artifact for a function, if this is meaningful for the Backend.

type FinalizedData = ()

The completed output artifact for a data object, if this is meaningful for the Backend.

type Product = ObjectProduct

This is an object returned by Module's finish function, if the Backend has a purpose for this.

fn new(builder: ObjectBuilder) -> Self

Create a new ObjectBackend using the given Cranelift target.

fn isa(&self) -> &dyn TargetIsa

Return the TargetIsa to compile for.

fn declare_function(&mut self, id: FuncId, name: &str, linkage: Linkage)

Declare a function.

fn declare_data(
    &mut self,
    id: DataId,
    name: &str,
    linkage: Linkage,
    _writable: bool,
    _align: Option<u8>
)

Declare a data object.

fn define_function(
    &mut self,
    func_id: FuncId,
    _name: &str,
    ctx: &Context,
    _namespace: &ModuleNamespace<Self>,
    code_size: u32
) -> ModuleResult<ObjectCompiledFunction>

Define a function, producing the function body from the given Context.

fn define_data(
    &mut self,
    data_id: DataId,
    _name: &str,
    writable: bool,
    align: Option<u8>,
    data_ctx: &DataContext,
    _namespace: &ModuleNamespace<Self>
) -> ModuleResult<ObjectCompiledData>

Define a zero-initialized data object of the given size.

fn write_data_funcaddr(
    &mut self,
    _data: &mut ObjectCompiledData,
    _offset: usize,
    _what: FuncRef
)

Write the address of what into the data for data at offset. data must refer to a defined data object.

fn write_data_dataaddr(
    &mut self,
    _data: &mut ObjectCompiledData,
    _offset: usize,
    _what: GlobalValue,
    _usize: Addend
)

Write the address of what plus addend into the data for data at offset. data must refer to a defined data object.

fn finalize_function(
    &mut self,
    _id: FuncId,
    func: &ObjectCompiledFunction,
    namespace: &ModuleNamespace<Self>
)

Perform all outstanding relocations on the given function. This requires all Local and Export entities referenced to be defined.

fn get_finalized_function(&self, _func: &ObjectCompiledFunction)

Return the finalized artifact from the backend, if relevant.

fn finalize_data(
    &mut self,
    _id: DataId,
    data: &ObjectCompiledData,
    namespace: &ModuleNamespace<Self>
)

Perform all outstanding relocations on the given data object. This requires all Local and Export entities referenced to be defined.

fn get_finalized_data(&self, _data: &ObjectCompiledData)

Return the finalized artifact from the backend, if relevant.

fn publish(&mut self)

"Publish" all finalized functions and data objects to their ultimate destinations.

fn finish(self) -> ObjectProduct

Consume this Backend and return a result. Some implementations may provide additional functionality through this result.