Fix register allocate bug/typo.

This commit is contained in:
Jesse Brault 2026-08-13 15:14:36 -05:00
parent c1447444cc
commit 826c9fb2b7

View File

@ -55,7 +55,7 @@ fn block_live_in_live_out(ir_block: &IrBlock) -> (LivenessSets, LivenessSets) {
// in: use(s) U ( out(s) - def(s) ) // in: use(s) U ( out(s) - def(s) )
let use_s = collect_statement_vr_uses(ir_statement); let use_s = collect_statement_vr_uses(ir_statement);
let out_s = &live_out[statement_index]; let out_s = &live_out[statement_index];
let def_s = collect_statement_vr_uses(ir_statement); let def_s = collect_statement_vr_definitions(ir_statement);
let rhs = out_s - &def_s; let rhs = out_s - &def_s;
let new_ins = use_s.union(&rhs).map(|v| *v).collect::<HashSet<_>>(); let new_ins = use_s.union(&rhs).map(|v| *v).collect::<HashSet<_>>();
@ -181,7 +181,7 @@ fn collect_statement_vr_definitions(statement: &IrStatement) -> HashSet<IrFreeVa
fn collect_statement_vr_uses(statement: &IrStatement) -> HashSet<IrFreeVariableId> { fn collect_statement_vr_uses(statement: &IrStatement) -> HashSet<IrFreeVariableId> {
let mut vr_collector = VrCollector::new(); let mut vr_collector = VrCollector::new();
statement.vr_definitions(&mut vr_collector); statement.vr_uses(&mut vr_collector);
vr_collector.take_vrs() vr_collector.take_vrs()
} }