Struct RcCodegen 

pub struct RcCodegen { /* private fields */ }

Generates reference counting operations as native IR instructions.

Implementations

impl RcCodegen

pub fn new(enabled: bool) -> Self

Create a new RC codegen.

pub fn emit_rc_inc(&mut self, obj_reg: Register) -> Vec<NativeInst>

Emit instructions to increment the reference count of an object.

if (obj != NULL && !lean_is_scalar(obj)) {
    lean_inc_ref(obj);
}

pub fn emit_rc_dec(&mut self, obj_reg: Register) -> Vec<NativeInst>

Emit instructions to decrement the reference count of an object. If the count reaches zero, the object is freed.

if (obj != NULL && !lean_is_scalar(obj)) {
    lean_dec_ref(obj);
}

pub fn emit_rc_is_unique(&mut self, obj_reg: Register) -> NativeInst

Emit an instruction to check if an object has a unique reference (refcount == 1), enabling in-place mutation.

pub fn emit_conditional_reset( &mut self, obj_reg: Register, _num_obj_fields: usize, _scalar_size: usize, ) -> Vec<NativeInst>

Emit a conditional reset: if the object is unique, reset it for reuse; otherwise, decrement and allocate fresh.

pub fn emit_rc_inc_n( &mut self, obj_reg: Register, count: usize, ) -> Vec<NativeInst>

Emit multi-reference increment (for when a variable is used N times).