diff options
| author | Jérôme Vouillon <jerome.vouillon@gmail.com> | 2023-08-23 22:47:33 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2023-08-23 13:47:33 -0700 |
| commit | 6dad9fb15130515bc7eed60270263f3d8269b60f (patch) | |
| tree | 3c5f9982b014d870a3a87d19fa63cf015c7197d6 /test/lit/ref_cast_test.wast | |
| parent | f6867f9a485c125dcd2914f58e2636f01879db7b (diff) | |
| download | binaryen-6dad9fb15130515bc7eed60270263f3d8269b60f.tar.gz binaryen-6dad9fb15130515bc7eed60270263f3d8269b60f.tar.bz2 binaryen-6dad9fb15130515bc7eed60270263f3d8269b60f.zip | |
Use the standard syntax for ref.cast, ref.test and array.new_fixed (#5894)
* Update text output for `ref.cast` and `ref.test`
* Update text output for `array.new_fixed`
* Update tests with new syntax for `ref.cast` and `ref.test`
* Update tests with new `array.new_fixed` syntax
Diffstat (limited to 'test/lit/ref_cast_test.wast')
| -rw-r--r-- | test/lit/ref_cast_test.wast | 32 |
1 files changed, 16 insertions, 16 deletions
diff --git a/test/lit/ref_cast_test.wast b/test/lit/ref_cast_test.wast index c44278c13..3ff05c48c 100644 --- a/test/lit/ref_cast_test.wast +++ b/test/lit/ref_cast_test.wast @@ -8,82 +8,82 @@ (type $array (array i32)) ;; CHECK: (func $test (type $eqref_=>_none) (param $0 eqref) ;; CHECK-NEXT: (drop - ;; CHECK-NEXT: (ref.cast $array + ;; CHECK-NEXT: (ref.cast (ref $array) ;; CHECK-NEXT: (local.get $0) ;; CHECK-NEXT: ) ;; CHECK-NEXT: ) ;; CHECK-NEXT: (drop - ;; CHECK-NEXT: (ref.cast null $array + ;; CHECK-NEXT: (ref.cast (ref null $array) ;; CHECK-NEXT: (local.get $0) ;; CHECK-NEXT: ) ;; CHECK-NEXT: ) ;; CHECK-NEXT: (drop - ;; CHECK-NEXT: (ref.cast i31 + ;; CHECK-NEXT: (ref.cast (ref i31) ;; CHECK-NEXT: (local.get $0) ;; CHECK-NEXT: ) ;; CHECK-NEXT: ) ;; CHECK-NEXT: (drop - ;; CHECK-NEXT: (ref.cast null i31 + ;; CHECK-NEXT: (ref.cast i31ref ;; CHECK-NEXT: (local.get $0) ;; CHECK-NEXT: ) ;; CHECK-NEXT: ) ;; CHECK-NEXT: (drop - ;; CHECK-NEXT: (ref.cast $array + ;; CHECK-NEXT: (ref.cast (ref $array) ;; CHECK-NEXT: (local.get $0) ;; CHECK-NEXT: ) ;; CHECK-NEXT: ) ;; CHECK-NEXT: (drop - ;; CHECK-NEXT: (ref.cast null $array + ;; CHECK-NEXT: (ref.cast (ref null $array) ;; CHECK-NEXT: (local.get $0) ;; CHECK-NEXT: ) ;; CHECK-NEXT: ) ;; CHECK-NEXT: (drop - ;; CHECK-NEXT: (ref.cast i31 + ;; CHECK-NEXT: (ref.cast (ref i31) ;; CHECK-NEXT: (local.get $0) ;; CHECK-NEXT: ) ;; CHECK-NEXT: ) ;; CHECK-NEXT: (drop - ;; CHECK-NEXT: (ref.cast null i31 + ;; CHECK-NEXT: (ref.cast i31ref ;; CHECK-NEXT: (local.get $0) ;; CHECK-NEXT: ) ;; CHECK-NEXT: ) ;; CHECK-NEXT: (drop - ;; CHECK-NEXT: (ref.test $array + ;; CHECK-NEXT: (ref.test (ref $array) ;; CHECK-NEXT: (local.get $0) ;; CHECK-NEXT: ) ;; CHECK-NEXT: ) ;; CHECK-NEXT: (drop - ;; CHECK-NEXT: (ref.test null $array + ;; CHECK-NEXT: (ref.test (ref null $array) ;; CHECK-NEXT: (local.get $0) ;; CHECK-NEXT: ) ;; CHECK-NEXT: ) ;; CHECK-NEXT: (drop - ;; CHECK-NEXT: (ref.test i31 + ;; CHECK-NEXT: (ref.test (ref i31) ;; CHECK-NEXT: (local.get $0) ;; CHECK-NEXT: ) ;; CHECK-NEXT: ) ;; CHECK-NEXT: (drop - ;; CHECK-NEXT: (ref.test null i31 + ;; CHECK-NEXT: (ref.test i31ref ;; CHECK-NEXT: (local.get $0) ;; CHECK-NEXT: ) ;; CHECK-NEXT: ) ;; CHECK-NEXT: (drop - ;; CHECK-NEXT: (ref.test $array + ;; CHECK-NEXT: (ref.test (ref $array) ;; CHECK-NEXT: (local.get $0) ;; CHECK-NEXT: ) ;; CHECK-NEXT: ) ;; CHECK-NEXT: (drop - ;; CHECK-NEXT: (ref.test null $array + ;; CHECK-NEXT: (ref.test (ref null $array) ;; CHECK-NEXT: (local.get $0) ;; CHECK-NEXT: ) ;; CHECK-NEXT: ) ;; CHECK-NEXT: (drop - ;; CHECK-NEXT: (ref.test i31 + ;; CHECK-NEXT: (ref.test (ref i31) ;; CHECK-NEXT: (local.get $0) ;; CHECK-NEXT: ) ;; CHECK-NEXT: ) ;; CHECK-NEXT: (drop - ;; CHECK-NEXT: (ref.test null i31 + ;; CHECK-NEXT: (ref.test i31ref ;; CHECK-NEXT: (local.get $0) ;; CHECK-NEXT: ) ;; CHECK-NEXT: ) |