diff options
Diffstat (limited to 'test')
| -rw-r--r-- | test/lit/passes/signature-refining.wast | 20 |
1 files changed, 20 insertions, 0 deletions
diff --git a/test/lit/passes/signature-refining.wast b/test/lit/passes/signature-refining.wast index dea74451a..11bc84f35 100644 --- a/test/lit/passes/signature-refining.wast +++ b/test/lit/passes/signature-refining.wast @@ -830,3 +830,23 @@ ) ) ) + +(module + ;; CHECK: (type $F (func)) + (type $F (func)) + + ;; CHECK: (func $func (type $F) + ;; CHECK-NEXT: (block ;; (replaces something unreachable we can't emit) + ;; CHECK-NEXT: (drop + ;; CHECK-NEXT: (ref.null nofunc) + ;; CHECK-NEXT: ) + ;; CHECK-NEXT: (unreachable) + ;; CHECK-NEXT: ) + ;; CHECK-NEXT: ) + (func $func + ;; We should not error on a call_ref to a bottom type. + (call_ref $F + (ref.null nofunc) + ) + ) +) |