This commit is contained in:
Jakub Doka 2024-11-17 21:30:20 +01:00
parent 37dd13cab2
commit becd5c4b7f
No known key found for this signature in database
GPG key ID: C6E9A89936B8C143

View file

@ -301,10 +301,11 @@ impl HbvmBackend {
let bundle_count = self.ralloc.bundles.len() + (reg_offset as usize); let bundle_count = self.ralloc.bundles.len() + (reg_offset as usize);
( (
if tail { 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"); assert!(bundle_count < reg::STACK_PTR as usize, "TODO: spill memory");
self.ralloc.bundles.len() self.ralloc.bundles.len()
} else {
bundle_count.saturating_sub(reg::RET_ADDR as _)
}, },
tail, tail,
) )