diff options
Diffstat (limited to 'test/lit/source-map.wast')
| -rw-r--r-- | test/lit/source-map.wast | 84 |
1 files changed, 45 insertions, 39 deletions
diff --git a/test/lit/source-map.wast b/test/lit/source-map.wast index 43a87f291..c00374d67 100644 --- a/test/lit/source-map.wast +++ b/test/lit/source-map.wast @@ -1,10 +1,43 @@ +;; NOTE: Assertions have been generated by update_lit_checks.py --all-items and should not be edited. + ;; 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 -;; RUN: wasm-opt %s --new-wat-parser -S -o - | filecheck %s +;; Also test with StackIR, which should have identical results. +;; +;; RUN: wasm-opt %s --generate-stack-ir -o %t.wasm -osm %t.map -g -q +;; RUN: wasm-opt %t.wasm -ism %t.map -q -o - -S | filecheck %s (module ;;@ src.cpp:0:1 + ;; CHECK: (type $0 (func (param i32 i32))) + + ;; CHECK: (type $1 (func)) + + ;; CHECK: (func $foo (param $x i32) (param $y i32) + ;; CHECK-NEXT: ;;@ src.cpp:10:1 + ;; CHECK-NEXT: (if + ;; CHECK-NEXT: ;;@ src.cpp:20:1 + ;; 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: (then + ;; CHECK-NEXT: ;;@ src.cpp:50:1 + ;; CHECK-NEXT: (return) + ;; CHECK-NEXT: ) + ;; 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: ) + ;; CHECK-NEXT: ;;@ src.cpp:90:1 + ;; CHECK-NEXT: ) (func $foo (param $x i32) (param $y i32) ;;@ src.cpp:10:1 (if @@ -33,6 +66,17 @@ ;;@ src.cpp:90:1 ) + ;; CHECK: (func $nested-blocks + ;; CHECK-NEXT: ;;@ src.cpp:2:1 + ;; CHECK-NEXT: (block $label$1 + ;; CHECK-NEXT: ;;@ src.cpp:2:2 + ;; CHECK-NEXT: (block $label$2 + ;; CHECK-NEXT: (br $label$2) + ;; CHECK-NEXT: ) + ;; CHECK-NEXT: ) + ;; CHECK-NEXT: ;;@ src.cpp:3:1 + ;; CHECK-NEXT: (return) + ;; CHECK-NEXT: ) (func $nested-blocks ;;@ src.cpp:2:1 (block $label$1 @@ -45,41 +89,3 @@ (return) ) ) - -;; CHECK: ;;@ src.cpp:0:1 -;; CHECK-NEXT: (func $foo (param $x i32) (param $y i32) -;; CHECK-NEXT: ;;@ src.cpp:10:1 -;; CHECK-NEXT: (if -;; CHECK-NEXT: ;;@ src.cpp:20:1 -;; 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: (then -;; CHECK-NEXT: ;;@ src.cpp:50:1 -;; CHECK-NEXT: (return) -;; CHECK-NEXT: ) -;; 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: ) -;; CHECK-NEXT: ;;@ src.cpp:90:1 -;; CHECK-NEXT: ) - -;; CHECK: (func $nested-blocks -;; CHECK-NEXT: ;;@ src.cpp:2:1 -;; CHECK-NEXT: (block $label$1 -;; CHECK-NEXT: ;;@ src.cpp:2:2 -;; CHECK-NEXT: (block $label$2 -;; CHECK-NEXT: (br $label$2) -;; CHECK-NEXT: ) -;; CHECK-NEXT: ) -;; CHECK-NEXT: ;;@ src.cpp:3:1 -;; CHECK-NEXT: (return) -;; CHECK-NEXT: ) |