diff options
| author | Alon Zakai <azakai@google.com> | 2024-11-25 09:33:10 -0800 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2024-11-25 09:33:10 -0800 |
| commit | 3d394018fe30e5d7ea153c975a158b95c1720393 (patch) | |
| tree | 18fd87113f0347cc3238d9cb3a398f7dc1a0cc71 /test | |
| parent | ca61aeeb87e330635548ce6368ac053576ee994c (diff) | |
| download | binaryen-3d394018fe30e5d7ea153c975a158b95c1720393.tar.gz binaryen-3d394018fe30e5d7ea153c975a158b95c1720393.tar.bz2 binaryen-3d394018fe30e5d7ea153c975a158b95c1720393.zip | |
[GC] Refinalize after selectify in RemoveUnusedBrs (#7104)
Replacing an if with a select may have refined the type. Without this fix,
the sharper stale type checks complain.
Diffstat (limited to 'test')
| -rw-r--r-- | test/lit/passes/remove-unused-brs-gc.wast | 29 |
1 files changed, 29 insertions, 0 deletions
diff --git a/test/lit/passes/remove-unused-brs-gc.wast b/test/lit/passes/remove-unused-brs-gc.wast index 0a9e08858..fa7a6d727 100644 --- a/test/lit/passes/remove-unused-brs-gc.wast +++ b/test/lit/passes/remove-unused-brs-gc.wast @@ -864,4 +864,33 @@ ) ) ) + + ;; CHECK: (func $select-refinalize (type $13) (param $param (ref $struct)) (result (ref struct)) + ;; CHECK-NEXT: (select (result (ref $struct)) + ;; CHECK-NEXT: (select (result (ref $struct)) + ;; CHECK-NEXT: (struct.new_default $struct) + ;; CHECK-NEXT: (struct.new_default $struct) + ;; CHECK-NEXT: (i32.const 0) + ;; CHECK-NEXT: ) + ;; CHECK-NEXT: (local.get $param) + ;; CHECK-NEXT: (i32.const 0) + ;; CHECK-NEXT: ) + ;; CHECK-NEXT: ) + (func $select-refinalize (param $param (ref $struct)) (result (ref struct)) + ;; The inner if can turn into a select. The type then changes, allowing the + ;; outer select to be refined, which will error if we do not refinalize. + (select (result (ref struct)) + (if (result (ref struct)) + (i32.const 0) + (then + (struct.new_default $struct) + ) + (else + (struct.new_default $struct) + ) + ) + (local.get $param) + (i32.const 0) + ) + ) ) |