diff options
| author | Thomas Lively <tlively@google.com> | 2023-08-17 14:47:02 -0700 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2023-08-17 14:47:02 -0700 |
| commit | 7abe224ab5c00fa471e3f4e1ed176974b8ac4e9b (patch) | |
| tree | 6dafb705a4f5ee3570c3c610a2eef777d9a7efcd /test/lit/passes/optimize-instructions-call_ref.wast | |
| parent | 67dd6f7db409f9ab7171e97db9da2a4e01a5dc4b (diff) | |
| download | binaryen-7abe224ab5c00fa471e3f4e1ed176974b8ac4e9b.tar.gz binaryen-7abe224ab5c00fa471e3f4e1ed176974b8ac4e9b.tar.bz2 binaryen-7abe224ab5c00fa471e3f4e1ed176974b8ac4e9b.zip | |
Further improve ref.cast during finalization (#5882)
We previously improved the nullability and heap type of the ref.cast target type
in RefCast::finalize() based on what we knew about its input type. Simplify the
code and make this improvement more powerful by using the greatest lower bound
of the original cast target and input type.
Diffstat (limited to 'test/lit/passes/optimize-instructions-call_ref.wast')
| -rw-r--r-- | test/lit/passes/optimize-instructions-call_ref.wast | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/test/lit/passes/optimize-instructions-call_ref.wast b/test/lit/passes/optimize-instructions-call_ref.wast index a085e1ed4..3b2ec2b54 100644 --- a/test/lit/passes/optimize-instructions-call_ref.wast +++ b/test/lit/passes/optimize-instructions-call_ref.wast @@ -160,7 +160,7 @@ ;; CHECK: (func $fallthrough-bad-type (type $none_=>_i32) (result i32) ;; CHECK-NEXT: (block ;; (replaces something unreachable we can't emit) ;; CHECK-NEXT: (drop - ;; CHECK-NEXT: (block + ;; CHECK-NEXT: (block (result (ref nofunc)) ;; CHECK-NEXT: (drop ;; CHECK-NEXT: (ref.func $return-nothing) ;; CHECK-NEXT: ) |