diff options
Diffstat (limited to 'test')
| -rw-r--r-- | test/lit/passes/rse-gc.wast | 34 |
1 files changed, 34 insertions, 0 deletions
diff --git a/test/lit/passes/rse-gc.wast b/test/lit/passes/rse-gc.wast index ddb4aaf87..e96b06a45 100644 --- a/test/lit/passes/rse-gc.wast +++ b/test/lit/passes/rse-gc.wast @@ -2,6 +2,15 @@ ;; RUN: wasm-opt %s --rse --enable-gc-nn-locals -all -S -o - | filecheck %s (module + ;; CHECK: (type $B (struct (field dataref))) + + ;; CHECK: (type $A (struct (field (ref null data)))) + (type $A (struct_subtype (field (ref null data)) data)) + + ;; $B is a subtype of $A, and its field has a more refined type (it is non- + ;; nullable). + (type $B (struct_subtype (field (ref data)) $A)) + ;; CHECK: (func $test ;; CHECK-NEXT: (local $single (ref func)) ;; CHECK-NEXT: (local $tuple ((ref any) (ref any))) @@ -15,4 +24,29 @@ ;; A non-nullable tuple. (local $tuple ((ref any) (ref any))) ) + + ;; CHECK: (func $needs-refinalize (param $b (ref $B)) (result anyref) + ;; CHECK-NEXT: (local $a (ref null $A)) + ;; CHECK-NEXT: (local.set $a + ;; CHECK-NEXT: (local.get $b) + ;; CHECK-NEXT: ) + ;; CHECK-NEXT: (struct.get $B 0 + ;; CHECK-NEXT: (local.get $b) + ;; CHECK-NEXT: ) + ;; CHECK-NEXT: ) + (func $needs-refinalize (param $b (ref $B)) (result anyref) + (local $a (ref null $A)) + ;; Make $a contain $b. + (local.set $a + (local.get $b) + ) + (struct.get $A 0 + ;; Once more, make $a contain $b. This set is redundant. After removing it, + ;; the struct.get will be reading from type $B, which has a more refined + ;; field, so we must refinalize to get the right type for the instruction. + (local.tee $a + (local.get $b) + ) + ) + ) ) |