diff options
| author | Thomas Lively <tlively@google.com> | 2023-09-11 19:47:08 -0500 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2023-09-12 00:47:08 +0000 |
| commit | 592f6ccba11e0d9b74d9fb6965eae17c76aa45b8 (patch) | |
| tree | 3ef82e0feab0539980b61a709abf660d02f16c19 /test | |
| parent | e9d0fb7251dd6dd3d629fe6c389490a0a0e92c24 (diff) | |
| download | binaryen-592f6ccba11e0d9b74d9fb6965eae17c76aa45b8.tar.gz binaryen-592f6ccba11e0d9b74d9fb6965eae17c76aa45b8.tar.bz2 binaryen-592f6ccba11e0d9b74d9fb6965eae17c76aa45b8.zip | |
Remove legacy GC text syntax (#5929)
Remove the old forms of ref.test and ref.cast that took heap types instead of
ref types and remove the old array.init_static name for array.new_fixed.
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) - ) - ) - ) -) |