diff options
| author | Alon Zakai <azakai@google.com> | 2022-07-25 13:37:46 -0700 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2022-07-25 20:37:46 +0000 |
| commit | 7fe3b11fc8309fbca27ef148069bdcbe5e68bbd4 (patch) | |
| tree | a16139c044868e94e24acc86c946af10ef3e497b /test | |
| parent | 3a8d28f421a9452aff8f7ed2b140e12e2f314322 (diff) | |
| download | binaryen-7fe3b11fc8309fbca27ef148069bdcbe5e68bbd4.tar.gz binaryen-7fe3b11fc8309fbca27ef148069bdcbe5e68bbd4.tar.bz2 binaryen-7fe3b11fc8309fbca27ef148069bdcbe5e68bbd4.zip | |
[Wasm GC] i31get can trap (#4825)
Diffstat (limited to 'test')
| -rw-r--r-- | test/lit/passes/vacuum-gc.wast | 21 |
1 files changed, 21 insertions, 0 deletions
diff --git a/test/lit/passes/vacuum-gc.wast b/test/lit/passes/vacuum-gc.wast index f37085406..71f0e39c2 100644 --- a/test/lit/passes/vacuum-gc.wast +++ b/test/lit/passes/vacuum-gc.wast @@ -75,4 +75,25 @@ ) ) ) + + ;; CHECK: (func $drop-i31.get (param $ref (ref null i31)) (param $ref-nn i31ref) + ;; CHECK-NEXT: (drop + ;; CHECK-NEXT: (i31.get_s + ;; CHECK-NEXT: (local.get $ref) + ;; CHECK-NEXT: ) + ;; CHECK-NEXT: ) + ;; CHECK-NEXT: ) + (func $drop-i31.get (param $ref (ref null i31)) (param $ref-nn (ref i31)) + ;; A nullable get might trap, so only the second item can be removed. + (drop + (i31.get_s + (local.get $ref) + ) + ) + (drop + (i31.get_s + (local.get $ref-nn) + ) + ) + ) ) |