Struct MemLowerContext 

pub struct MemLowerContext<'a> {
    pub linear_memory_base: LoweredValueId,
    pub value_map: &'a HashMap<Value, LoweredValueId>,
    pub stack_slot_map: &'a mut HashMap<StackSlot, LoweredValueId>,
    pub next_value_id: &'a mut LoweredValueId,
}

Context threaded through the memory-family lowering.

Carries the device-pointer base (kernel-arg 0 by convention), the running value-id allocator, and the bookkeeping maps for translating Cranelift ir::Value / ir::StackSlot into LoweredValueId.

The caller owns all four state pieces: this type is a borrow bundle, not an owner. Lifetime 'a ties the borrows together so callers can thread one context through a block walk without re-binding.

Fields

linear_memory_base: LoweredValueId

SSA value id of the kernel’s device-resident linear-memory base pointer. By convention this is the lowered id of kernel arg 0. Wave-1 lowering does not yet use this id (regular load/store take their base directly from Self::value_map); it is plumbed here so the wave-2 kernel-arg refinement can land without changing the signature.

value_map: &'a HashMap<Value, LoweredValueId>

Map from Cranelift ir::Value → LoweredValueId. Populated by the caller before invoking this family. A miss on a base-pointer lookup is a MemLowerError::UnmappedValue.

stack_slot_map: &'a mut HashMap<StackSlot, LoweredValueId>

Map from Cranelift ir::StackSlot → LoweredValueId of the alloca’s pointer. Populated lazily by this family the first time a stack_load/stack_store references the slot.

next_value_id: &'a mut LoweredValueId

Next free LoweredValueId. Incremented by Self::fresh_id each time a new id is handed out.

Implementations

impl<'a> MemLowerContext<'a>

pub fn fresh_id(&mut self) -> Result<LoweredValueId, MemLowerError>

Allocate and return the next fresh LoweredValueId, advancing the caller’s counter.

jit LOW fix (finding 7): standardize on checked_add(1) (the lower_arith idiom) and return a structured MemLowerError::SsaOverflow on overflow rather than wrapping_add, which silently aliased fresh ids onto already-used ones once the counter wrapped.

pub fn lookup_value(&self, v: Value) -> Result<LoweredValueId, MemLowerError>

Look up the LoweredValueId for a Cranelift value, returning MemLowerError::UnmappedValue if the value has not been lowered yet.

Trait Implementations

impl<'a> Debug for MemLowerContext<'a>

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

Formats the value using the given formatter.