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/precompute_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/precompute_all-features.wast')
| -rw-r--r-- | test/passes/precompute_all-features.wast | 16 |
1 files changed, 8 insertions, 8 deletions
diff --git a/test/passes/precompute_all-features.wast b/test/passes/precompute_all-features.wast index 343b01ff1..ca849b88c 100644 --- a/test/passes/precompute_all-features.wast +++ b/test/passes/precompute_all-features.wast @@ -385,13 +385,13 @@ ) ;; Check if Precompute pass does not crash on reference types - (func $reftype-test (result nullref) - (ref.null) + (func $reftype-test (result externref) + (ref.null extern) ) ;; Check if constant nodes (const, ref.null, and ref.func) are correctly ;; reused. (We shouldn't reuse a const node for something like ref.null, which - ;; will incorrectly cause an expression like 'nullref.const'.) + ;; will incorrectly cause an expression like 'someref.const'.) (func $dummy) (func $br_reuse_node (drop @@ -418,7 +418,7 @@ ) (drop - (block $l2 (result nullref) + (block $l2 (result externref) (drop (block $l3 (result i32) (global.set $global-mut @@ -428,14 +428,14 @@ (i32.const 1) (ref.is_null (br_if $l2 - (ref.null) + (ref.null extern) (i32.const 3) ) ) ) ) ) - (ref.null) + (ref.null extern) ) ) @@ -457,7 +457,7 @@ ) ) ) - (ref.null) + (ref.null func) ) ) ) @@ -469,7 +469,7 @@ (block $label$1 (drop (br_on_exn $label$1 $event$0 - (loop $label$2 (result nullref) + (loop $label$2 (result exnref) (br $label$2) ) ) |