Struct MetadataLoweringContext 

pub struct MetadataLoweringContext { /* private fields */ }

Symbol lookups backed by explicit, immutable program metadata.

Function indices retain metadata table order, independently of executable addresses. String lookups never append to or reorder the supplied table. The context is independent of any instruction set; dialect crates provide implementations of their lowering-capability traits for it.

Implementations

impl MetadataLoweringContext

pub fn new<V, Ty, Info>( metadata: &ProgramMetadata<V, Ty, Info>, ) -> Result<MetadataLoweringContext, Report>

Prepare section-wide string and function lookups.

Errors

Rejects invalid function-name indices, duplicate function names, and tables whose indices cannot be represented by u32. Full program validation remains the responsibility of the metadata loading driver.

pub fn function_address(&self, name: &str) -> Result<u32, Report>

Look up a function’s executable start address.

pub fn function_index(&self, name: &str) -> Result<u32, Report>

Look up a function’s index in the supplied metadata table.

pub fn label_address(&self, name: &str) -> Result<u32, Report>

Look up a label in the current function’s scope.

pub fn string_index(&self, text: &str) -> Result<u32, Report>

Look up decoded string contents without modifying the supplied table. Equal strings resolve to the first matching table entry.

Trait Implementations

impl Debug for MetadataLoweringContext

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

Formats the value using the given formatter.

impl FunctionScope for MetadataLoweringContext

fn enter_function<'a>( &mut self, name: &str, labels: impl IntoIterator<Item = (&'a str, usize)>, ) -> Result<(), Report>

Replace the active function’s labels, including forward references.