diff options
| author | Alon Zakai <azakai@google.com> | 2024-06-13 10:28:32 -0700 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2024-06-13 17:28:32 +0000 |
| commit | 66610d84bc466d0826803d8e2951af48ca2f1bae (patch) | |
| tree | e672c8aabf0af72b2d57b4cf7859e1be0d0ebb38 /test/lit/debug | |
| parent | 34686197f5a05854c0723214f3fdffbc9b19a7d5 (diff) | |
| download | binaryen-66610d84bc466d0826803d8e2951af48ca2f1bae.tar.gz binaryen-66610d84bc466d0826803d8e2951af48ca2f1bae.tar.bz2 binaryen-66610d84bc466d0826803d8e2951af48ca2f1bae.zip | |
Add local.set/tee local type annotations to BINARYEN_PRINT_FULL (#6657)
With this we now print e.g.
(local.set $temp (; local type: i32 ;)
...
This can be nice in large functions to avoid needing to scroll up to
see the local type, e.g. when debugging why unsubtyping doesn't
work somewhere.
Also avoid [ ] in this mode, in favor of the standard (; ;), and put those
at the end rather than at the start.
Diffstat (limited to 'test/lit/debug')
| -rw-r--r-- | test/lit/debug/full.wat | 30 | ||||
| -rw-r--r-- | test/lit/debug/replace-keep.wat | 40 |
2 files changed, 35 insertions, 35 deletions
diff --git a/test/lit/debug/full.wat b/test/lit/debug/full.wat index 3ea861611..3e0efca11 100644 --- a/test/lit/debug/full.wat +++ b/test/lit/debug/full.wat @@ -27,24 +27,24 @@ ;; NRML-NEXT: ) ;; NRML-NEXT: ) ;; FULL: (func $a - ;; FULL-NEXT: [none] ;;@ src.cpp:1:2 - ;; FULL-NEXT: [none](block $block - ;; FULL-NEXT: [none] ;;@ src.cpp:1:2 + ;; FULL-NEXT: ;;@ src.cpp:1:2 + ;; FULL-NEXT: (block $block (; none ;) + ;; FULL-NEXT: ;;@ src.cpp:1:2 ;; FULL-NEXT: (drop - ;; FULL-NEXT: [i32] ;;@ src.cpp:1:2 - ;; FULL-NEXT: (i32.const 0) - ;; FULL-NEXT: ) - ;; FULL-NEXT: [none] ;;@ src.cpp:3:4 + ;; FULL-NEXT: ;;@ src.cpp:1:2 + ;; FULL-NEXT: (i32.const 0) (; i32 ;) + ;; FULL-NEXT: ) (; none ;) + ;; FULL-NEXT: ;;@ src.cpp:3:4 ;; FULL-NEXT: (drop - ;; FULL-NEXT: [i32] ;;@ src.cpp:3:4 - ;; FULL-NEXT: (i32.const 1) - ;; FULL-NEXT: ) - ;; FULL-NEXT: [none] ;;@ src.cpp:3:4 + ;; FULL-NEXT: ;;@ src.cpp:3:4 + ;; FULL-NEXT: (i32.const 1) (; i32 ;) + ;; FULL-NEXT: ) (; none ;) + ;; FULL-NEXT: ;;@ src.cpp:3:4 ;; FULL-NEXT: (drop - ;; FULL-NEXT: [i32] ;;@ src.cpp:3:4 - ;; FULL-NEXT: (i32.const 2) - ;; FULL-NEXT: ) - ;; FULL-NEXT: ) ;; end block block + ;; FULL-NEXT: ;;@ src.cpp:3:4 + ;; FULL-NEXT: (i32.const 2) (; i32 ;) + ;; FULL-NEXT: ) (; none ;) + ;; FULL-NEXT: ) ;; end block block (; none ;) ;; FULL-NEXT: ) (func $a ;;@ src.cpp:1:2 diff --git a/test/lit/debug/replace-keep.wat b/test/lit/debug/replace-keep.wat index 4c073aeab..f8fc64f65 100644 --- a/test/lit/debug/replace-keep.wat +++ b/test/lit/debug/replace-keep.wat @@ -9,16 +9,16 @@ (module ;; CHECK: (func $test ;; CHECK-NEXT: (local $temp i32) - ;; CHECK-NEXT: [none] ;;@ src.cpp:200:2 - ;; CHECK-NEXT: [none](block - ;; CHECK-NEXT: [none] ;;@ src.cpp:200:2 - ;; CHECK-NEXT: (call $test) - ;; CHECK-NEXT: [none] ;;@ src.cpp:200:2 - ;; CHECK-NEXT: (local.set $temp - ;; CHECK-NEXT: [i32] ;;@ src.cpp:200:2 - ;; CHECK-NEXT: (i32.const 1) - ;; CHECK-NEXT: ) - ;; CHECK-NEXT: ) ;; end block + ;; CHECK-NEXT: ;;@ src.cpp:200:2 + ;; CHECK-NEXT: (block (; none ;) + ;; CHECK-NEXT: ;;@ src.cpp:200:2 + ;; CHECK-NEXT: (call $test) (; none ;) + ;; CHECK-NEXT: ;;@ src.cpp:200:2 + ;; CHECK-NEXT: (local.set $temp (; local type: i32 ;) + ;; CHECK-NEXT: ;;@ src.cpp:200:2 + ;; CHECK-NEXT: (i32.const 1) (; i32 ;) + ;; CHECK-NEXT: ) (; none ;) + ;; CHECK-NEXT: ) ;; end block (; none ;) ;; CHECK-NEXT: ) (func $test (local $temp i32) @@ -40,16 +40,16 @@ ;; CHECK: (func $test-no-trample ;; CHECK-NEXT: (local $temp i32) - ;; CHECK-NEXT: [none] ;;@ src.cpp:300:3 - ;; CHECK-NEXT: [none](block - ;; CHECK-NEXT: [none] ;;@ src.cpp:400:4 - ;; CHECK-NEXT: (call $test) - ;; CHECK-NEXT: [none] ;;@ src.cpp:200:2 - ;; CHECK-NEXT: (local.set $temp - ;; CHECK-NEXT: [i32] ;;@ src.cpp:500:5 - ;; CHECK-NEXT: (i32.const 1) - ;; CHECK-NEXT: ) - ;; CHECK-NEXT: ) ;; end block + ;; CHECK-NEXT: ;;@ src.cpp:300:3 + ;; CHECK-NEXT: (block (; none ;) + ;; CHECK-NEXT: ;;@ src.cpp:400:4 + ;; CHECK-NEXT: (call $test) (; none ;) + ;; CHECK-NEXT: ;;@ src.cpp:200:2 + ;; CHECK-NEXT: (local.set $temp (; local type: i32 ;) + ;; CHECK-NEXT: ;;@ src.cpp:500:5 + ;; CHECK-NEXT: (i32.const 1) (; i32 ;) + ;; CHECK-NEXT: ) (; none ;) + ;; CHECK-NEXT: ) ;; end block (; none ;) ;; CHECK-NEXT: ) (func $test-no-trample (local $temp i32) |