diff options
Diffstat (limited to 'test')
| -rw-r--r-- | test/fib-dbg.wasm.fromBinary | 2 | ||||
| -rw-r--r-- | test/lit/source-map.wast | 46 |
2 files changed, 47 insertions, 1 deletions
diff --git a/test/fib-dbg.wasm.fromBinary b/test/fib-dbg.wasm.fromBinary index 8db3246ad..8abbef764 100644 --- a/test/fib-dbg.wasm.fromBinary +++ b/test/fib-dbg.wasm.fromBinary @@ -204,8 +204,8 @@ (br $label$4) ) ) - ;;@ fib.c:8:0 (return + ;;@ fib.c:8:0 (local.get $4) ) ) diff --git a/test/lit/source-map.wast b/test/lit/source-map.wast new file mode 100644 index 000000000..a0e969c23 --- /dev/null +++ b/test/lit/source-map.wast @@ -0,0 +1,46 @@ +;; RUN: wasm-opt %s -o %t.wasm -osm %t.map -g -q +;; RUN: wasm-opt %t.wasm -ism %t.map -q -o - -S | filecheck %s + +(module + (func $foo (param $x i32) (param $y i32) + ;;@ src.cpp:10:1 + (if + ;;@ src.cpp:20:1 + (i32.add + ;;@ src.cpp:30:1 + (local.get $x) + ;;@ src.cpp:40:1 + (local.get $y) + ) + ;;@ src.cpp:50:1 + (return) + ) + ;;@ src.cpp:60:1 + (call $foo + ;;@ src.cpp:70:1 + (local.get $x) + ;;@ src.cpp:80:1 + (local.get $y) + ) + ) +) + +;; CHECK: (func $foo (param $x i32) (param $y i32) +;; CHECK-NEXT: ;;@ src.cpp:20:1 +;; CHECK-NEXT: (if +;; CHECK-NEXT: (i32.add +;; CHECK-NEXT: ;;@ src.cpp:30:1 +;; CHECK-NEXT: (local.get $x) +;; CHECK-NEXT: ;;@ src.cpp:40:1 +;; CHECK-NEXT: (local.get $y) +;; CHECK-NEXT: ) +;; CHECK-NEXT: ;;@ src.cpp:50:1 +;; CHECK-NEXT: (return) +;; CHECK-NEXT: ) +;; CHECK-NEXT: ;;@ src.cpp:60:1 +;; CHECK-NEXT: (call $foo +;; CHECK-NEXT: ;;@ src.cpp:70:1 +;; CHECK-NEXT: (local.get $x) +;; CHECK-NEXT: ;;@ src.cpp:80:1 +;; CHECK-NEXT: (local.get $y) +;; CHECK-NEXT: ) |