From becd5c4b7fa44eca3c5184c36122a5f4c07aad95 Mon Sep 17 00:00:00 2001 From: Jakub Doka Date: Sun, 17 Nov 2024 21:30:20 +0100 Subject: [PATCH] well? --- lang/src/son/hbvm/regalloc.rs | 5 +++-- 1 file changed, 3 insertions(+), 2 deletions(-) diff --git a/lang/src/son/hbvm/regalloc.rs b/lang/src/son/hbvm/regalloc.rs index 20828d7..aa47d6e 100644 --- a/lang/src/son/hbvm/regalloc.rs +++ b/lang/src/son/hbvm/regalloc.rs @@ -301,10 +301,11 @@ impl HbvmBackend { let bundle_count = self.ralloc.bundles.len() + (reg_offset as usize); ( if tail { + debug_assert!(bundle_count >= reg::RET_ADDR as _); + bundle_count.saturating_sub(reg::RET_ADDR as _) + } else { assert!(bundle_count < reg::STACK_PTR as usize, "TODO: spill memory"); self.ralloc.bundles.len() - } else { - bundle_count.saturating_sub(reg::RET_ADDR as _) }, tail, )