diff options
Diffstat (limited to 'test')
| -rw-r--r-- | test/lit/array-init-static.wast | 29 | ||||
| -rw-r--r-- | test/lit/passes/remove-unused-brs-gc.wast | 4 | ||||
| -rw-r--r-- | test/lit/ref_cast_test.wast | 173 |
3 files changed, 2 insertions, 204 deletions
diff --git a/test/lit/array-init-static.wast b/test/lit/array-init-static.wast deleted file mode 100644 index a4110509c..000000000 --- a/test/lit/array-init-static.wast +++ /dev/null @@ -1,29 +0,0 @@ -;; NOTE: Assertions have been generated by update_lit_checks.py --all-items and should not be edited. - -;; RUN: wasm-opt -all %s -S -o - | filecheck %s - -;; Check that the deprecated `array.init_static` alias for `array.new_fixed` is -;; parsed correctly. - -(module - ;; CHECK: (type $0 (func)) - - ;; CHECK: (type $array (array i32)) - (type $array (array i32)) - ;; CHECK: (func $test (type $0) - ;; CHECK-NEXT: (drop - ;; CHECK-NEXT: (array.new_fixed $array 2 - ;; CHECK-NEXT: (i32.const 0) - ;; CHECK-NEXT: (i32.const 1) - ;; CHECK-NEXT: ) - ;; CHECK-NEXT: ) - ;; CHECK-NEXT: ) - (func $test - (drop - (array.init_static $array - (i32.const 0) - (i32.const 1) - ) - ) - ) -) diff --git a/test/lit/passes/remove-unused-brs-gc.wast b/test/lit/passes/remove-unused-brs-gc.wast index 1bdd6f680..5b4e09a25 100644 --- a/test/lit/passes/remove-unused-brs-gc.wast +++ b/test/lit/passes/remove-unused-brs-gc.wast @@ -620,10 +620,10 @@ (drop ;; This should not crash due to the new unreachable below. (br_on_cast $outer (ref none) (ref none) - (ref.cast none + (ref.cast (ref none) ;; This will be optimized to a drop + unreachable. (br_on_cast $outer (ref none) (ref none) - (ref.cast none + (ref.cast (ref none) (local.get $0) ) ) diff --git a/test/lit/ref_cast_test.wast b/test/lit/ref_cast_test.wast deleted file mode 100644 index 0a6018fe8..000000000 --- a/test/lit/ref_cast_test.wast +++ /dev/null @@ -1,173 +0,0 @@ -;; NOTE: Assertions have been generated by update_lit_checks.py and should not be edited. -;; RUN: wasm-opt -all %s -S -o - | filecheck %s - -;; Check that both the legacy and the standard syntax for ref.test and -;; ref.cast work -(module - ;; CHECK: (type $array (array i32)) - (type $array (array i32)) - ;; CHECK: (func $test (type $1) (param $0 eqref) - ;; CHECK-NEXT: (drop - ;; CHECK-NEXT: (ref.cast (ref $array) - ;; CHECK-NEXT: (local.get $0) - ;; CHECK-NEXT: ) - ;; CHECK-NEXT: ) - ;; CHECK-NEXT: (drop - ;; CHECK-NEXT: (ref.cast (ref null $array) - ;; CHECK-NEXT: (local.get $0) - ;; CHECK-NEXT: ) - ;; CHECK-NEXT: ) - ;; CHECK-NEXT: (drop - ;; CHECK-NEXT: (ref.cast (ref i31) - ;; CHECK-NEXT: (local.get $0) - ;; CHECK-NEXT: ) - ;; CHECK-NEXT: ) - ;; CHECK-NEXT: (drop - ;; CHECK-NEXT: (ref.cast i31ref - ;; CHECK-NEXT: (local.get $0) - ;; CHECK-NEXT: ) - ;; CHECK-NEXT: ) - ;; CHECK-NEXT: (drop - ;; CHECK-NEXT: (ref.cast (ref $array) - ;; CHECK-NEXT: (local.get $0) - ;; CHECK-NEXT: ) - ;; CHECK-NEXT: ) - ;; CHECK-NEXT: (drop - ;; CHECK-NEXT: (ref.cast (ref null $array) - ;; CHECK-NEXT: (local.get $0) - ;; CHECK-NEXT: ) - ;; CHECK-NEXT: ) - ;; CHECK-NEXT: (drop - ;; CHECK-NEXT: (ref.cast (ref i31) - ;; CHECK-NEXT: (local.get $0) - ;; CHECK-NEXT: ) - ;; CHECK-NEXT: ) - ;; CHECK-NEXT: (drop - ;; CHECK-NEXT: (ref.cast i31ref - ;; CHECK-NEXT: (local.get $0) - ;; CHECK-NEXT: ) - ;; CHECK-NEXT: ) - ;; CHECK-NEXT: (drop - ;; CHECK-NEXT: (ref.test (ref $array) - ;; CHECK-NEXT: (local.get $0) - ;; CHECK-NEXT: ) - ;; CHECK-NEXT: ) - ;; CHECK-NEXT: (drop - ;; CHECK-NEXT: (ref.test (ref null $array) - ;; CHECK-NEXT: (local.get $0) - ;; CHECK-NEXT: ) - ;; CHECK-NEXT: ) - ;; CHECK-NEXT: (drop - ;; CHECK-NEXT: (ref.test (ref i31) - ;; CHECK-NEXT: (local.get $0) - ;; CHECK-NEXT: ) - ;; CHECK-NEXT: ) - ;; CHECK-NEXT: (drop - ;; CHECK-NEXT: (ref.test i31ref - ;; CHECK-NEXT: (local.get $0) - ;; CHECK-NEXT: ) - ;; CHECK-NEXT: ) - ;; CHECK-NEXT: (drop - ;; CHECK-NEXT: (ref.test (ref $array) - ;; CHECK-NEXT: (local.get $0) - ;; CHECK-NEXT: ) - ;; CHECK-NEXT: ) - ;; CHECK-NEXT: (drop - ;; CHECK-NEXT: (ref.test (ref null $array) - ;; CHECK-NEXT: (local.get $0) - ;; CHECK-NEXT: ) - ;; CHECK-NEXT: ) - ;; CHECK-NEXT: (drop - ;; CHECK-NEXT: (ref.test (ref i31) - ;; CHECK-NEXT: (local.get $0) - ;; CHECK-NEXT: ) - ;; CHECK-NEXT: ) - ;; CHECK-NEXT: (drop - ;; CHECK-NEXT: (ref.test i31ref - ;; CHECK-NEXT: (local.get $0) - ;; CHECK-NEXT: ) - ;; CHECK-NEXT: ) - ;; CHECK-NEXT: ) - (func $test (param eqref) - (drop - (ref.cast $array - (local.get 0) - ) - ) - (drop - (ref.cast null $array - (local.get 0) - ) - ) - (drop - (ref.cast i31 - (local.get 0) - ) - ) - (drop - (ref.cast null i31 - (local.get 0) - ) - ) - (drop - (ref.cast (ref $array) - (local.get 0) - ) - ) - (drop - (ref.cast (ref null $array) - (local.get 0) - ) - ) - (drop - (ref.cast (ref i31) - (local.get 0) - ) - ) - (drop - (ref.cast i31ref - (local.get 0) - ) - ) - (drop - (ref.test $array - (local.get 0) - ) - ) - (drop - (ref.test null $array - (local.get 0) - ) - ) - (drop - (ref.test i31 - (local.get 0) - ) - ) - (drop - (ref.test null i31 - (local.get 0) - ) - ) - (drop - (ref.test (ref $array) - (local.get 0) - ) - ) - (drop - (ref.test (ref null $array) - (local.get 0) - ) - ) - (drop - (ref.test (ref i31) - (local.get 0) - ) - ) - (drop - (ref.test i31ref - (local.get 0) - ) - ) - ) -) |