diff options
| author | Alon Zakai <azakai@google.com> | 2023-07-27 09:39:11 -0700 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2023-07-27 09:39:11 -0700 |
| commit | 5c7c256620c11c120f5db7feb9c77bdccd55ee3c (patch) | |
| tree | 371974479acf0bbef902298c713c0b6253f763cb /test | |
| parent | afcbad033912e9a9201903525aba06f10d65c584 (diff) | |
| download | binaryen-5c7c256620c11c120f5db7feb9c77bdccd55ee3c.tar.gz binaryen-5c7c256620c11c120f5db7feb9c77bdccd55ee3c.tar.bz2 binaryen-5c7c256620c11c120f5db7feb9c77bdccd55ee3c.zip | |
Fix a crash in TypeRefining on bottom types (#5842)
Followup to #5840
Diffstat (limited to 'test')
| -rw-r--r-- | test/lit/passes/type-refining.wast | 44 |
1 files changed, 43 insertions, 1 deletions
diff --git a/test/lit/passes/type-refining.wast b/test/lit/passes/type-refining.wast index fb9f29568..dac509887 100644 --- a/test/lit/passes/type-refining.wast +++ b/test/lit/passes/type-refining.wast @@ -1225,7 +1225,11 @@ (module ;; CHECK: (rec - ;; CHECK-NEXT: (type $ref|$A|_externref_=>_none (func (param (ref $A) externref))) + ;; CHECK-NEXT: (type $ref|noextern|_=>_none (func (param (ref noextern)))) + + ;; CHECK: (type $ref|none|_ref|noextern|_=>_none (func (param (ref none) (ref noextern)))) + + ;; CHECK: (type $ref|$A|_externref_=>_none (func (param (ref $A) externref))) ;; CHECK: (type $A (struct (field (mut (ref noextern))))) (type $A (struct (field (mut externref)))) @@ -1330,4 +1334,42 @@ ) ) ) + + ;; CHECK: (func $bottom.type (type $ref|none|_ref|noextern|_=>_none) (param $ref (ref none)) (param $value (ref noextern)) + ;; CHECK-NEXT: (block ;; (replaces something unreachable we can't emit) + ;; CHECK-NEXT: (drop + ;; CHECK-NEXT: (local.get $ref) + ;; CHECK-NEXT: ) + ;; CHECK-NEXT: (drop + ;; CHECK-NEXT: (local.get $value) + ;; CHECK-NEXT: ) + ;; CHECK-NEXT: (unreachable) + ;; CHECK-NEXT: ) + ;; CHECK-NEXT: ) + (func $bottom.type (param $ref (ref none)) (param $value (ref noextern)) + ;; The reference here is a bottom type, which we should not crash on. + (struct.set $A 0 + (local.get $ref) + (local.get $value) + ) + ) + + ;; CHECK: (func $unreachable (type $ref|noextern|_=>_none) (param $value (ref noextern)) + ;; CHECK-NEXT: (block ;; (replaces something unreachable we can't emit) + ;; CHECK-NEXT: (drop + ;; CHECK-NEXT: (unreachable) + ;; CHECK-NEXT: ) + ;; CHECK-NEXT: (drop + ;; CHECK-NEXT: (local.get $value) + ;; CHECK-NEXT: ) + ;; CHECK-NEXT: (unreachable) + ;; CHECK-NEXT: ) + ;; CHECK-NEXT: ) + (func $unreachable (param $value (ref noextern)) + ;; The reference here is unreachable, which we should not crash on. + (struct.set $A 0 + (unreachable) + (local.get $value) + ) + ) ) |