diff options
| author | Thomas Lively <tlively@google.com> | 2022-11-22 20:48:58 -0600 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2022-11-23 02:48:58 +0000 |
| commit | 853b31ec89416bef0014e06f2defaef74f47b81e (patch) | |
| tree | a288eeab1797ae6623c86cef6a6425c754cf498b /test/lit/passes/simplify-locals-strings.wast | |
| parent | f8e6d0253ba96bd26013146282ea4063f5853289 (diff) | |
| download | binaryen-853b31ec89416bef0014e06f2defaef74f47b81e.tar.gz binaryen-853b31ec89416bef0014e06f2defaef74f47b81e.tar.bz2 binaryen-853b31ec89416bef0014e06f2defaef74f47b81e.zip | |
Change the default type system to isorecursive (#5239)
This makes Binaryen's default type system match the WasmGC spec.
Update the way type definitions without supertypes are printed to reduce the
output diff for MVP tests that do not involve WasmGC. Also port some
type-builder.cpp tests from test/example to test/gtest since they needed to be
rewritten to work with isorecursive type anyway.
A follow-on PR will remove equirecursive types completely.
Diffstat (limited to 'test/lit/passes/simplify-locals-strings.wast')
| -rw-r--r-- | test/lit/passes/simplify-locals-strings.wast | 12 |
1 files changed, 6 insertions, 6 deletions
diff --git a/test/lit/passes/simplify-locals-strings.wast b/test/lit/passes/simplify-locals-strings.wast index 1dd28efa5..176d6fbb8 100644 --- a/test/lit/passes/simplify-locals-strings.wast +++ b/test/lit/passes/simplify-locals-strings.wast @@ -10,7 +10,7 @@ ;; CHECK: (type $array16 (array (mut i16))) (type $array16 (array_subtype (mut i16) data)) - ;; CHECK: (func $no-new-past-store + ;; CHECK: (func $no-new-past-store (type $none_=>_none) ;; CHECK-NEXT: (local $temp stringref) ;; CHECK-NEXT: (local.set $temp ;; CHECK-NEXT: (string.new_wtf8 utf8 @@ -122,7 +122,7 @@ ) ) - ;; CHECK: (func $yes-new-past-store + ;; CHECK: (func $yes-new-past-store (type $none_=>_none) ;; CHECK-NEXT: (local $temp stringref) ;; CHECK-NEXT: (nop) ;; CHECK-NEXT: (drop @@ -156,7 +156,7 @@ ) ) - ;; CHECK: (func $no-new-past-store-gc (param $array (ref $array)) (param $array16 (ref $array16)) + ;; CHECK: (func $no-new-past-store-gc (type $ref|$array|_ref|$array16|_=>_none) (param $array (ref $array)) (param $array16 (ref $array16)) ;; CHECK-NEXT: (local $temp stringref) ;; CHECK-NEXT: (local.set $temp ;; CHECK-NEXT: (string.new_wtf8_array utf8 @@ -284,7 +284,7 @@ ) ) - ;; CHECK: (func $no-load-past-encode (param $ref stringref) + ;; CHECK: (func $no-load-past-encode (type $stringref_=>_none) (param $ref stringref) ;; CHECK-NEXT: (local $temp i32) ;; CHECK-NEXT: (local.set $temp ;; CHECK-NEXT: (i32.load @@ -376,7 +376,7 @@ ) ) - ;; CHECK: (func $no-load-past-encode-gc (param $ref stringref) (param $array (ref $array)) (param $array16 (ref $array16)) + ;; CHECK: (func $no-load-past-encode-gc (type $stringref_ref|$array|_ref|$array16|_=>_none) (param $ref stringref) (param $array (ref $array)) (param $array16 (ref $array16)) ;; CHECK-NEXT: (local $temp i32) ;; CHECK-NEXT: (local.set $temp ;; CHECK-NEXT: (array.get_u $array @@ -481,7 +481,7 @@ ) ) - ;; CHECK: (func $no-iteration-past-each-other (param $iter stringview_iter) + ;; CHECK: (func $no-iteration-past-each-other (type $stringview_iter_=>_none) (param $iter stringview_iter) ;; CHECK-NEXT: (local $i32 i32) ;; CHECK-NEXT: (local.set $i32 ;; CHECK-NEXT: (stringview_iter.next |