diff options
| author | Daniel Wirtz <dcode@dcode.io> | 2020-09-09 03:40:09 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2020-09-09 03:40:09 +0200 |
| commit | 916ce6f1a9f7c85102a8c69f593b301c8df5d19d (patch) | |
| tree | 93b22be9f2c0718248528d140b05221cb6878600 /test/passes/flatten_all-features.wast | |
| parent | 0fdcf5b51a0c8c379b2d3ad8262aa22bb234f0e9 (diff) | |
| download | binaryen-916ce6f1a9f7c85102a8c69f593b301c8df5d19d.tar.gz binaryen-916ce6f1a9f7c85102a8c69f593b301c8df5d19d.tar.bz2 binaryen-916ce6f1a9f7c85102a8c69f593b301c8df5d19d.zip | |
Update reference types (#3084)
Align with the current state of the reference types proposal:
* Remove `nullref`
* Remove `externref` and `funcref` subtyping
* A `Literal` of a nullable reference type can now represent `null` (previously was type `nullref`)
* Update the tests and temporarily comment out those tests relying on subtyping
Diffstat (limited to 'test/passes/flatten_all-features.wast')
| -rw-r--r-- | test/passes/flatten_all-features.wast | 26 |
1 files changed, 14 insertions, 12 deletions
diff --git a/test/passes/flatten_all-features.wast b/test/passes/flatten_all-features.wast index f07175bd2..68bd7a64b 100644 --- a/test/passes/flatten_all-features.wast +++ b/test/passes/flatten_all-features.wast @@ -1020,6 +1020,7 @@ (return (i32.sub (i32.const 1) (i32.const 2))) ) + ;; TODO (GC) ;; subtypes ;; br_if leaves a value on the stack if not taken, which later can be the last @@ -1027,18 +1028,19 @@ ;; targets an outer branch whose return type is a supertype of the br_if's ;; value type, we need the value to be set into two locals: one with the outer ;; block's type, and one with its value type. - (func $subtype (result externref) (local $0 nullref) - (block $label0 (result externref) - (block (result nullref) - (local.tee $0 - (br_if $label0 - (ref.null) - (i32.const 0) - ) - ) - ) - ) - ) + ;; (func $subtype (result externref) + ;; (local $0 anyref) + ;; (block $label0 (result externref) + ;; (block (result anyref) + ;; (local.tee $0 + ;; (br_if $label0 + ;; (ref.null extern) + ;; (i32.const 0) + ;; ) + ;; ) + ;; ) + ;; ) + ;; ) ) (module (func $0 (param $0 i64) (param $1 f32) |