diff options
Diffstat (limited to 'src/boot/be')
| -rw-r--r-- | src/boot/be/il.ml | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/src/boot/be/il.ml b/src/boot/be/il.ml index 2a5b643a..0e13b4c0 100644 --- a/src/boot/be/il.ml +++ b/src/boot/be/il.ml @@ -128,7 +128,9 @@ let mem_off (mem:mem) (off:Asm.expr64) : mem = Abs e -> Abs (addto e) | RegIn (r, None) -> RegIn (r, Some off) | RegIn (r, Some e) -> RegIn (r, Some (addto e)) - | Spill _ -> bug () "Adding offset to spill slot" + | Spill _ -> + bug () "Adding offset %s to spill slot" + (Asm.string_of_expr64 off) ;; let mem_off_imm (mem:mem) (imm:int64) : mem = |