|
2 | 2 |
|
3 | 3 | // Check skipped function bodies are neither typechecked nor SILgen'd when the
|
4 | 4 | // -experimental-skip-*-function-bodies-* flags are specified.
|
5 |
| -// RUN: %target-swift-frontend -emit-sil %s > %t/NoSkip.sil |
| 5 | +// RUN: %target-swift-frontend -emit-sil -target %target-swift-abi-5.10-triple %s > %t/NoSkip.sil |
6 | 6 | // RUN: %target-swift-frontend -emit-sil -experimental-skip-non-inlinable-function-bodies -debug-forbid-typecheck-prefix NEVERTYPECHECK -debug-forbid-typecheck-prefix INLINENOTYPECHECK %s > %t/Skip.noninlinable.sil
|
7 |
| -// RUN: %target-swift-frontend -emit-sil -experimental-skip-non-inlinable-function-bodies-without-types -debug-forbid-typecheck-prefix NEVERTYPECHECK %s > %t/Skip.withouttypes.sil |
| 7 | +// RUN: %target-swift-frontend -emit-sil -target %target-swift-abi-5.10-triple -experimental-skip-non-inlinable-function-bodies-without-types -debug-forbid-typecheck-prefix NEVERTYPECHECK %s > %t/Skip.withouttypes.sil |
8 | 8 |
|
9 | 9 | // RUN: %FileCheck %s --check-prefixes CHECK,CHECK-SIL-NO-SKIP --input-file %t/NoSkip.sil
|
10 | 10 | // RUN: %FileCheck %s --check-prefixes CHECK,CHECK-SIL-SKIP-NONINLINE-OR-WITHOUTTYPES,CHECK-SIL-SKIP-NONINLINE --input-file %t/Skip.noninlinable.sil
|
|
14 | 14 | // RUN: %FileCheck %s --check-prefixes CHECK,CHECK-SIL-SKIP-ALL --input-file %t/Skip.all.sil
|
15 | 15 |
|
16 | 16 | // Emit module interfaces and check their contents, too.
|
17 |
| -// RUN: %target-swift-emit-module-interface(%t/Skip.noninlinable.swiftinterface) %s -module-name Skip -experimental-skip-non-inlinable-function-bodies |
| 17 | +// RUN: %target-swift-emit-module-interface(%t/Skip.noninlinable.swiftinterface) %s -target %target-swift-abi-5.10-triple -module-name Skip -experimental-skip-non-inlinable-function-bodies |
18 | 18 | // RUN: %target-swift-typecheck-module-from-interface(%t/Skip.noninlinable.swiftinterface) -module-name Skip
|
19 | 19 | // RUN: %FileCheck %s --check-prefixes CHECK,CHECK-TEXTUAL --input-file %t/Skip.noninlinable.swiftinterface
|
20 |
| -// RUN: %target-swift-emit-module-interface(%t/Skip.all.swiftinterface) %s -module-name Skip -experimental-skip-all-function-bodies |
| 20 | +// RUN: %target-swift-emit-module-interface(%t/Skip.all.swiftinterface) %s -target %target-swift-abi-5.10-triple -module-name Skip -experimental-skip-all-function-bodies |
21 | 21 | // RUN: %target-swift-typecheck-module-from-interface(%t/Skip.all.swiftinterface) -module-name Skip
|
22 | 22 | // RUN: %FileCheck %s --check-prefixes CHECK,CHECK-TEXTUAL --input-file %t/Skip.all.swiftinterface
|
23 | 23 |
|
24 | 24 | // Verify that the emitted interfaces match an interface emitted without any
|
25 | 25 | // body skipping flags.
|
26 |
| -// RUN: %target-swift-emit-module-interface(%t/NoSkip.swiftinterface) %s -module-name Skip |
| 26 | +// RUN: %target-swift-emit-module-interface(%t/NoSkip.swiftinterface) %s -target %target-swift-abi-5.10-triple -module-name Skip |
27 | 27 | // RUN: %FileCheck %s --check-prefixes CHECK,CHECK-TEXTUAL --input-file %t/NoSkip.swiftinterface
|
28 | 28 | // RUN: diff -u %t/Skip.noninlinable.swiftinterface %t/NoSkip.swiftinterface
|
29 | 29 | // RUN: diff -u %t/Skip.all.swiftinterface %t/NoSkip.swiftinterface
|
|
0 commit comments