diff options
| author | Alon Zakai <azakai@google.com> | 2022-04-04 17:21:29 -0700 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2022-04-05 00:21:29 +0000 |
| commit | 18c969e74f14670e52cc9f74c4e76ff197af3f36 (patch) | |
| tree | 38a300bd08225fd7333ad3f45c8f965f4ac1f918 /test/lit/passes/coalesce-locals-gc.wast | |
| parent | 0315a5bb3d73ce6c9fe550b3661ec5e78e423520 (diff) | |
| download | binaryen-18c969e74f14670e52cc9f74c4e76ff197af3f36.tar.gz binaryen-18c969e74f14670e52cc9f74c4e76ff197af3f36.tar.bz2 binaryen-18c969e74f14670e52cc9f74c4e76ff197af3f36.zip | |
[Wasm GC] Fix unreachable local.gets of non-nullable locals in CoalesceLocals (#4574)
Normally we just replace unreachable local.gets with a constant (0, or null), but if
the local is non-nullable we can't do that.
Fixes #4573
Diffstat (limited to 'test/lit/passes/coalesce-locals-gc.wast')
| -rw-r--r-- | test/lit/passes/coalesce-locals-gc.wast | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/test/lit/passes/coalesce-locals-gc.wast b/test/lit/passes/coalesce-locals-gc.wast index 2c0fc3f03..52243ebc8 100644 --- a/test/lit/passes/coalesce-locals-gc.wast +++ b/test/lit/passes/coalesce-locals-gc.wast @@ -11,7 +11,9 @@ ;; CHECK: (func $test-dead-get-non-nullable (param $0 dataref) ;; CHECK-NEXT: (unreachable) ;; CHECK-NEXT: (drop - ;; CHECK-NEXT: (local.get $0) + ;; CHECK-NEXT: (block (result dataref) + ;; CHECK-NEXT: (unreachable) + ;; CHECK-NEXT: ) ;; CHECK-NEXT: ) ;; CHECK-NEXT: ) (func $test-dead-get-non-nullable (param $func (ref data)) |