diff options
| author | Alon Zakai <azakai@google.com> | 2023-08-17 18:56:34 -0700 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2023-08-17 18:56:34 -0700 |
| commit | b41ec7cb488481e5b1a57fc7203e9c0bc7331bbd (patch) | |
| tree | c4ad18a571e1a79a164d5c3a670fc7f0b7b70fe5 /test | |
| parent | f044172ed665e94e61f579a8fc19770bb56f7b65 (diff) | |
| download | binaryen-b41ec7cb488481e5b1a57fc7203e9c0bc7331bbd.tar.gz binaryen-b41ec7cb488481e5b1a57fc7203e9c0bc7331bbd.tar.bz2 binaryen-b41ec7cb488481e5b1a57fc7203e9c0bc7331bbd.zip | |
Fix SSA on null refinement (#5886)
Similar to #5885 this was uncovered by #5881 #5882. Here we need to refinalize
when we replace a local.get with a null, since the null's type is more refined.
Diffstat (limited to 'test')
| -rw-r--r-- | test/lit/passes/ssa.wast | 28 |
1 files changed, 28 insertions, 0 deletions
diff --git a/test/lit/passes/ssa.wast b/test/lit/passes/ssa.wast index ed5b94f7b..06fe450aa 100644 --- a/test/lit/passes/ssa.wast +++ b/test/lit/passes/ssa.wast @@ -2,6 +2,9 @@ ;; RUN: wasm-opt %s -all --ssa -S -o - | filecheck %s (module + ;; CHECK: (type $A (struct )) + (type $A (struct )) + ;; CHECK: (func $foo (type $none_=>_none) ;; CHECK-NEXT: (nop) ;; CHECK-NEXT: ) @@ -31,4 +34,29 @@ (local.set $x (ref.func $bar)) (drop (local.get $x)) ) + + ;; CHECK: (func $refine-to-null (type $none_=>_ref|$A|) (result (ref $A)) + ;; CHECK-NEXT: (local $0 (ref null $A)) + ;; CHECK-NEXT: (block $label (result (ref none)) + ;; CHECK-NEXT: (drop + ;; CHECK-NEXT: (br_on_cast $label nullref (ref none) + ;; CHECK-NEXT: (ref.null none) + ;; CHECK-NEXT: ) + ;; CHECK-NEXT: ) + ;; CHECK-NEXT: (unreachable) + ;; CHECK-NEXT: ) + ;; CHECK-NEXT: ) + (func $refine-to-null (result (ref $A)) + (local $0 (ref null $A)) + (block $label (result (ref $A)) + (drop + (br_on_cast $label (ref null $A) (ref $A) + ;; This will turn into a null, which has a more refined type that affects + ;; the br_on_cast parent. + (local.get $0) + ) + ) + (unreachable) + ) + ) ) |