1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
|
// RUN: %empty-directory(%t)
// RUN: %target-swift-frontend -parse-sil %s -emit-sib -o %t/Library.sib -module-name Library -I %S/Inputs/good-modules -parse-stdlib
// RUN: %target-sil-opt %t/Library.sib -I %S/Inputs/good-modules -emit-sorted-sil | %FileCheck %s
// RUN: %target-sil-opt %t/Library.sib -I %S/Inputs/bad-modules -emit-sorted-sil | %FileCheck -check-prefix=CHECK-RECOVERY %s
// RUN: %target-sil-opt %t/Library.sib -I %S/Inputs/bad-modules -emit-sorted-sil | %FileCheck -check-prefix=CHECK-RECOVERY-NEGATIVE %s
// CHECK-LABEL: sil_stage raw
// CHECK-RECOVERY-LABEL: sil_stage raw
sil_stage raw
import Types
// CHECK-LABEL: sil @missingParam : $@convention(thin) (SoonToBeMissing) -> () {
// CHECK-RECOVERY-NEGATIVE-NOT: sil [ossa] @missingParam
sil [ossa] @missingParam : $@convention(thin) (SoonToBeMissing) -> () {
entry(%arg : $SoonToBeMissing):
%9999 = tuple()
return %9999 : $()
}
// CHECK-LABEL: sil @missingResult : $@convention(thin) () -> SoonToBeMissing {
// CHECK-RECOVERY-NEGATIVE-NOT: sil @missingResult
sil @missingResult : $@convention(thin) () -> (SoonToBeMissing) {
entry:
unreachable
}
|
