commit 16efeb49a0c9ac08749fd6e0d7f28d74632d4541
parent cedfcc8aee4a6e9d775a902f56388573592f6546
Author: Ryan Sepassi <rsepassi@gmail.com>
Date: Wed, 17 Jun 2026 12:19:17 -0700
test/dbg: refresh stale toy goldens for current aa64 prologue
The toy-* transcript goldens still encoded the pre-x29-at-bottom aa64
prologue (sub sp,#32; add x17,sp,#16; stp [x17]; add x29,sp,#16) and the
function offsets it produced. Regenerate them against the current leaner
prologue (stp x29,x30,[sp,#-16]!; add x29,sp,#0). Transcript-only; no
behavior change.
Diffstat:
6 files changed, 26 insertions(+), 26 deletions(-)
diff --git a/test/dbg/cases/toy-file-line-step/expected b/test/dbg/cases/toy-file-line-step/expected
@@ -1,18 +1,18 @@
kit dbg — 'h' for help, 'q' to quit
Breakpoint 1 at 0xADDR (@CASE@/main.toy:2)
-Breakpoint 1 (@CASE@/main.toy:2) hit at 0xADDR <main+0x80> at @CASE@/main.toy:2:16
+Breakpoint 1 (@CASE@/main.toy:2) hit at 0xADDR <main+0x24> at @CASE@/main.toy:2:16
1 fn main(): i32 {
2 > let x: i64 = 10;
3 let y: i64 = x + 32;
4 return y as i32;
5 }
-Single-step complete at 0xADDR <main+0x84> at @CASE@/main.toy:2:16
+Single-step complete at 0xADDR <main+0x28> at @CASE@/main.toy:2:16
1 fn main(): i32 {
2 > let x: i64 = 10;
3 let y: i64 = x + 32;
4 return y as i32;
5 }
-Next complete at 0xADDR <main+0x88> at @CASE@/main.toy:3:20
+Next complete at 0xADDR <main+0x2c> at @CASE@/main.toy:3:20
1 fn main(): i32 {
2 let x: i64 = 10;
3 > let y: i64 = x + 32;
diff --git a/test/dbg/cases/toy-local-inspection/expected b/test/dbg/cases/toy-local-inspection/expected
@@ -1,6 +1,6 @@
kit dbg — 'h' for help, 'q' to quit
Breakpoint 1 at 0xADDR (@CASE@/main.toy:3)
-Breakpoint 1 (@CASE@/main.toy:3) hit at 0xADDR <helper+0x94> at @CASE@/main.toy:3:10
+Breakpoint 1 (@CASE@/main.toy:3) hit at 0xADDR <helper+0x34> at @CASE@/main.toy:3:10
1 fn helper(v: i64): i64 {
2 let n: i64 = v + 2;
3 > return n;
diff --git a/test/dbg/cases/toy-step-finish/expected b/test/dbg/cases/toy-step-finish/expected
@@ -1,6 +1,6 @@
kit dbg — 'h' for help, 'q' to quit
Breakpoint 1 at 0xADDR (@CASE@/main.toy:8)
-Breakpoint 1 (@CASE@/main.toy:8) hit at 0xADDR <main+0x88> at @CASE@/main.toy:8:25
+Breakpoint 1 (@CASE@/main.toy:8) hit at 0xADDR <main+0x2c> at @CASE@/main.toy:8:25
3 return y;
4 }
5
@@ -9,7 +9,7 @@ Breakpoint 1 (@CASE@/main.toy:8) hit at 0xADDR <main+0x88> at @CASE@/main.toy:8:
8 > let out: i64 = helper(base);
9 return out as i32;
10 }
-Step complete at 0xADDR <helper+0x84> at @CASE@/main.toy:2:20
+Step complete at 0xADDR <helper+0x28> at @CASE@/main.toy:2:20
1 fn helper(v: i64): i64 {
2 > let y: i64 = v + 1;
3 return y;
@@ -17,7 +17,7 @@ Step complete at 0xADDR <helper+0x84> at @CASE@/main.toy:2:20
5
6 fn main(): i32 {
7 let base: i64 = 41;
-Finish complete at 0xADDR <main+0x98> at @CASE@/main.toy:8:25
+Finish complete at 0xADDR <main+0x34> at @CASE@/main.toy:8:25
3 return y;
4 }
5
diff --git a/test/dbg/cases/toy-stopped-inspection/expected b/test/dbg/cases/toy-stopped-inspection/expected
@@ -36,20 +36,20 @@ x28 0xADDR
x29 0xADDR
x30 0xADDR
sp 0xADDR
-0xADDR: sub sp, sp, #32
-0xADDR: add x17, sp, #16
-0xADDR: stp x29, x30, [x17]
-0xADDR: add x29, sp, #16
+0xADDR: stp x29, x30, [sp, #-16]!
+0xADDR: add x29, sp, #0
0xADDR: b 0xADDR
0xADDR: nop
0xADDR: nop
0xADDR: nop
-0xADDR: sub sp, sp, #32
-0xADDR: add x17, sp, #16
-0xADDR: stp x29, x30, [x17]
-0xADDR: add x29, sp, #16
+0xADDR: nop
+0xADDR: nop
+0xADDR: stp x29, x30, [sp, #-16]!
+0xADDR: add x29, sp, #0
0xADDR: b 0xADDR
0xADDR: nop
0xADDR: nop
0xADDR: nop
+0xADDR: nop
+0xADDR: nop
Program exited with code 42
diff --git a/test/dbg/cases/toy-trap-backtrace/expected b/test/dbg/cases/toy-trap-backtrace/expected
@@ -1,11 +1,11 @@
kit dbg — 'h' for help, 'q' to quit
-Stopped on trap signal 5 at 0xADDR <bt_leaf+0x80> at <dbg-jit-1.toy>:1:35
-#0 0xADDR <bt_leaf+0x80> in _bt_leaf () at <dbg-jit-1.toy>:1:35
-#1 0xADDR <bt_mid+0x84> in _bt_mid () at <dbg-jit-1.toy>:1:102
-#2 0xADDR <bt_root+0x84> in _bt_root () at <dbg-jit-1.toy>:1:155
-#3 0xADDR <main+0x84> in _main () at <dbg-jit-1.toy>:1:191
+Stopped on trap signal 5 at 0xADDR <bt_leaf+0x24> at <dbg-jit-1.toy>:1:35
+#0 0xADDR <bt_leaf+0x24> in _bt_leaf () at <dbg-jit-1.toy>:1:35
+#1 0xADDR <bt_mid+0x28> in _bt_mid () at <dbg-jit-1.toy>:1:102
+#2 0xADDR <bt_root+0x28> in _bt_root () at <dbg-jit-1.toy>:1:155
+#3 0xADDR <main+0x28> in _main () at <dbg-jit-1.toy>:1:191
1 > fn @[.noinline] bt_leaf(): i32 { @trap(); return 0 as i32; } fn @[.noinline] bt_mid(): i32 { return bt_leaf(); } fn @[.noinline] bt_root(): i32 { return bt_mid(); } fn main(): i32 { return bt_root(); }
-#0 0xADDR <bt_leaf+0x80> in _bt_leaf () at <dbg-jit-1.toy>:1:35
-#1 0xADDR <bt_mid+0x84> in _bt_mid () at <dbg-jit-1.toy>:1:102
-#2 0xADDR <bt_root+0x84> in _bt_root () at <dbg-jit-1.toy>:1:155
-#3 0xADDR <main+0x84> in _main () at <dbg-jit-1.toy>:1:191
+#0 0xADDR <bt_leaf+0x24> in _bt_leaf () at <dbg-jit-1.toy>:1:35
+#1 0xADDR <bt_mid+0x28> in _bt_mid () at <dbg-jit-1.toy>:1:102
+#2 0xADDR <bt_root+0x28> in _bt_root () at <dbg-jit-1.toy>:1:155
+#3 0xADDR <main+0x28> in _main () at <dbg-jit-1.toy>:1:191
diff --git a/test/dbg/cases/toy-trap-stop/expected b/test/dbg/cases/toy-trap-stop/expected
@@ -1,4 +1,4 @@
kit dbg — 'h' for help, 'q' to quit
-Stopped on trap signal 5 at 0xADDR <main+0x80> at <dbg-jit-1.toy>:1:19
-#0 0xADDR <main+0x80> in _main () at <dbg-jit-1.toy>:1:19
+Stopped on trap signal 5 at 0xADDR <main+0x24> at <dbg-jit-1.toy>:1:19
+#0 0xADDR <main+0x24> in _main () at <dbg-jit-1.toy>:1:19
1 > fn main(): i32 { @trap(); return 0 as i32; }
