diff options
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) + ) + ) + ) ) |