mirror of
https://github.com/apple/swift.git
synced 2026-10-06 12:37:28 +02:00
Kavon Farvardin
d2bd562799
The opaque values test coverage I initially added will emit to stdout, which is noisy for people's logs if the test is failing for some other reason.
48 lines
2.5 KiB
Swift
48 lines
2.5 KiB
Swift
// RUN: %target-swift-emit-silgen-ossa -o /dev/null -enable-sil-opaque-values %s
|
|
// RUN: %target-swift-emit-silgen -parse-as-library %s | %FileCheck %s
|
|
|
|
enum PartialApplyEnumPayload<T, U> {
|
|
case left(T)
|
|
case both(T, U)
|
|
|
|
case leftWithLabel(left: T)
|
|
case bothWithLabel(left: T, right: U)
|
|
|
|
case tupleWithLabel(both: (T, U))
|
|
|
|
// Note: SILGen can emit these thunks correctly, but we disabled
|
|
// the feature since calling the constructor directly (without a
|
|
// thunk) doesn't work yet.
|
|
/* case variadic(_: Int...)
|
|
case variadicWithLabel(indices: Int...)
|
|
case variadicTuple(_: (Int, Int)...)
|
|
case variadicWithOther(String, _: Int...) */
|
|
|
|
case autoclosure(@autoclosure () -> ())
|
|
}
|
|
|
|
struct S {}
|
|
struct C {}
|
|
|
|
func partialApplyEnumCases(_ x: S, y: C) {
|
|
_ = PartialApplyEnumPayload<S, C>.left
|
|
_ = PartialApplyEnumPayload<S, C>.both
|
|
_ = PartialApplyEnumPayload<S, C>.leftWithLabel
|
|
_ = PartialApplyEnumPayload<S, C>.tupleWithLabel
|
|
/* _ = PartialApplyEnumPayload<S, C>.variadic
|
|
_ = PartialApplyEnumPayload<S, C>.variadicWithLabel
|
|
_ = PartialApplyEnumPayload<S, C>.variadicTuple
|
|
_ = PartialApplyEnumPayload<S, C>.variadicWithOther */
|
|
_ = PartialApplyEnumPayload<S, C>.autoclosure
|
|
}
|
|
|
|
// CHECK-LABEL: sil private [ossa] @$s17enum_curry_thunks21partialApplyEnumCases_1yyAA1SV_AA1CVtFAA07PartialeF7PayloadOyAeGGAEcAJmcfu_AjEcfu0_ : $@convention(thin) (S, @thin PartialApplyEnumPayload<S, C>.Type) -> @owned PartialApplyEnumPayload<S, C> {
|
|
|
|
// CHECK-LABEL: sil private [ossa] @$s17enum_curry_thunks21partialApplyEnumCases_1yyAA1SV_AA1CVtFAA07PartialeF7PayloadOyAeGGAE_AGtcAJmcfu1_AjE_AGtcfu2_ : $@convention(thin) (S, C, @thin PartialApplyEnumPayload<S, C>.Type) -> @owned PartialApplyEnumPayload<S, C> {
|
|
|
|
// CHECK-LABEL: sil private [ossa] @$s17enum_curry_thunks21partialApplyEnumCases_1yyAA1SV_AA1CVtFAA07PartialeF7PayloadOyAeGGAEcAJmcfu3_AjEcfu4_ : $@convention(thin) (S, @thin PartialApplyEnumPayload<S, C>.Type) -> @owned PartialApplyEnumPayload<S, C> {
|
|
|
|
// CHECK-LABEL: sil private [ossa] @$s17enum_curry_thunks21partialApplyEnumCases_1yyAA1SV_AA1CVtFAA07PartialeF7PayloadOyAeGGAE_AGt_tcAJmcfu5_AjE_AGt_tcfu6_ : $@convention(thin) (S, C, @thin PartialApplyEnumPayload<S, C>.Type) -> @owned PartialApplyEnumPayload<S, C> {
|
|
|
|
// CHECK-LABEL: sil private [ossa] @$s17enum_curry_thunks21partialApplyEnumCases_1yyAA1SV_AA1CVtFAA07PartialeF7PayloadOyAeGGyyXAcAJmcfu7_AJyyXAcfu8_ : $@convention(thin) (@guaranteed @callee_guaranteed () -> (), @thin PartialApplyEnumPayload<S, C>.Type) -> @owned PartialApplyEnumPayload<S, C> {
|