fix: sanity check

This commit is contained in:
2025-02-28 17:22:49 +00:00
parent 68903f5b69
commit 5ae65d3190

View File

@@ -81,7 +81,7 @@ class Stack {
/** Get an MemLocation for a variable in the stack. */ /** Get an MemLocation for a variable in the stack. */
def accessVar(ident: mw.Ident): MemLocation = def accessVar(ident: mw.Ident): MemLocation =
MemLocation(RSP, sizeBytes - stack(ident).bottom, opSize = Some(ident.ty.size)) MemLocation(RSP, sizeBytes - stack(ident).bottom)
def contains(ident: mw.Ident): Boolean = stack.contains(ident) def contains(ident: mw.Ident): Boolean = stack.contains(ident)
def head: MemLocation = MemLocation(RSP, opSize = Some(stack.last._2.size)) def head: MemLocation = MemLocation(RSP, opSize = Some(stack.last._2.size))