diff options
Diffstat (limited to 'test/passes/simplify-locals_all-features.wast')
| -rw-r--r-- | test/passes/simplify-locals_all-features.wast | 41 |
1 files changed, 21 insertions, 20 deletions
diff --git a/test/passes/simplify-locals_all-features.wast b/test/passes/simplify-locals_all-features.wast index 3edffca7e..b32da3df8 100644 --- a/test/passes/simplify-locals_all-features.wast +++ b/test/passes/simplify-locals_all-features.wast @@ -1655,22 +1655,23 @@ ) ) ) -(module - (func $subtype-test (result funcref) - (local $0 nullref) - (local $1 funcref) - (local $2 funcref) - (block - (local.set $1 - (local.get $0) - ) - ) - (local.set $2 - (local.get $1) - ) - (local.get $1) - ) -) +;; TODO (GC) +;; (module +;; (func $subtype-test (result anyref) +;; (local $0 anyref) +;; (local $1 externref) +;; (local $2 externref) +;; (block +;; (local.set $1 +;; (local.get $0) +;; ) +;; ) +;; (local.set $2 +;; (local.get $1) +;; ) +;; (local.get $1) +;; ) +;; ) (module (event $event$0 (attr 0) (param)) (func $unoptimizable-br_on_exn-block (result exnref) (local $0 exnref) @@ -1678,7 +1679,7 @@ (local.set $0 ;; br_on_exn's target block cannot be optimized to have a return value (br_on_exn $label$0 $event$0 - (ref.null) + (ref.null exn) ) ) ) @@ -1692,7 +1693,7 @@ (local.set $0 (block $label$1 (result exnref) (br_on_exn $label$1 $event$1 - (ref.null) + (ref.null exn) ) ) ) @@ -1704,7 +1705,7 @@ (local.set $0 (block $label$1 (result i32) (try - (do (rethrow (ref.null))) + (do (rethrow (ref.null exn))) (catch) ) (i32.const 0) @@ -1738,7 +1739,7 @@ ;; try-catch, so it is OK. (local.set $0 (try (result exnref) - (do (ref.null)) + (do (ref.null exn)) (catch (exnref.pop)) ) ) |