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/lit/ref_cast_test.wast | |
| 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/lit/ref_cast_test.wast')
| -rw-r--r-- | test/lit/ref_cast_test.wast | 173 |
1 files changed, 0 insertions, 173 deletions
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) - ) - ) - ) -) |