mirror of
https://github.com/apple/swift.git
synced 2025-12-14 20:36:38 +01:00
b5aec4cc34
These were added in https://github.com/swiftlang/swift/pull/81375 (and several other follow-up PRs because we missed a few places) and are no longer needed.
437 lines
17 KiB
Swift
437 lines
17 KiB
Swift
// RUN: %target-swift-emit-irgen -Onone \
|
|
// RUN: %s \
|
|
// RUN: | \
|
|
// RUN: %IRGenFileCheck %s
|
|
|
|
@_silgen_name("external_symbol")
|
|
func external_symbol()
|
|
|
|
public protocol P {
|
|
static func foo()
|
|
}
|
|
|
|
public class C<T> {
|
|
deinit {
|
|
external_symbol()
|
|
}
|
|
}
|
|
|
|
public struct InnerDeinitingReleasableNC<T> : ~Copyable {
|
|
public let i1: Int
|
|
public let i2: Int
|
|
public let i3: Int
|
|
public let i4: Int
|
|
public let c1: C<T>
|
|
public let c2: C<T>
|
|
public let c3: C<T>
|
|
public let c4: C<T>
|
|
|
|
deinit {
|
|
external_symbol()
|
|
}
|
|
}
|
|
|
|
public struct InnerDeinitingDestructableNC<T> : ~Copyable {
|
|
public let t: T
|
|
public let i1: Int
|
|
public let i2: Int
|
|
public let i3: Int
|
|
public let i4: Int
|
|
public let c1: C<T>
|
|
public let c2: C<T>
|
|
public let c3: C<T>
|
|
public let c4: C<T>
|
|
|
|
deinit {
|
|
external_symbol()
|
|
}
|
|
}
|
|
|
|
public struct InnerDeinitingWithLayoutNC<T> : ~Copyable {
|
|
public let t: T
|
|
deinit {}
|
|
}
|
|
|
|
public struct InnerDeinitingWithoutLayoutNC<T>: ~Copyable {
|
|
public let ptr: Int
|
|
deinit {}
|
|
}
|
|
|
|
public struct OuterDeinitingNC_1<T> : ~Copyable {
|
|
public let i1: Int
|
|
public let c1: C<T>
|
|
public let i: InnerDeinitingReleasableNC<T>
|
|
deinit {
|
|
external_symbol()
|
|
}
|
|
}
|
|
|
|
public struct OuterNC_1<T> : ~Copyable {
|
|
public let i1: Int
|
|
public let c1: C<T>
|
|
public let i: InnerDeinitingReleasableNC<T>
|
|
}
|
|
|
|
public struct OuterNC_2<T> : ~Copyable {
|
|
public let i1: Int
|
|
public let c1: C<T>
|
|
public let i: InnerDeinitingDestructableNC<T>
|
|
}
|
|
|
|
public struct GenericContext_1<T> {
|
|
}
|
|
|
|
extension GenericContext_1 : P where T : P {
|
|
public static func foo() {
|
|
T.foo()
|
|
}
|
|
public struct OuterNC_1: ~Copyable {
|
|
let i: Inner_NC1
|
|
|
|
func doit() {
|
|
i.beinit()
|
|
}
|
|
}
|
|
|
|
public struct Inner_NC1: ~Copyable {
|
|
let t: T
|
|
let ptr: Int
|
|
deinit {
|
|
T.foo()
|
|
}
|
|
func beinit() {}
|
|
}
|
|
}
|
|
|
|
public enum OuterSinglePayloadNC_1<T>: ~Copyable {
|
|
case none
|
|
case some(InnerDeinitingWithoutLayoutNC<T>)
|
|
}
|
|
|
|
public enum OuterSinglePayloadNC_2<T>: ~Copyable {
|
|
case none
|
|
case some(InnerDeinitingReleasableNC<T>)
|
|
}
|
|
|
|
public enum OuterSinglePayloadNC_3<T>: ~Copyable {
|
|
case none
|
|
case some(InnerDeinitingDestructableNC<T>)
|
|
}
|
|
|
|
public enum OuterMultiPayloadNC_1<T>: ~Copyable {
|
|
case none
|
|
case some(InnerDeinitingWithLayoutNC<T>)
|
|
case some2(InnerDeinitingWithLayoutNC<T>)
|
|
}
|
|
|
|
public enum OuterMultiPayloadNC_2<T>: ~Copyable {
|
|
case none
|
|
case some(InnerDeinitingWithoutLayoutNC<T>)
|
|
case some2(InnerDeinitingWithoutLayoutNC<T>)
|
|
}
|
|
|
|
public enum OuterMultiPayloadNC_3<T>: ~Copyable {
|
|
case none
|
|
case some(InnerDeinitingReleasableNC<T>)
|
|
case some2(InnerDeinitingReleasableNC<T>)
|
|
}
|
|
|
|
public enum OuterMultiPayloadNC_4<T>: ~Copyable {
|
|
case none
|
|
case some(InnerDeinitingDestructableNC<T>)
|
|
case some2(InnerDeinitingDestructableNC<T>)
|
|
}
|
|
|
|
// Destroyed value:
|
|
// - has deinit
|
|
// On lifetime end:
|
|
// - call deinit
|
|
// CHECK-LABEL: define{{.*}} @"$s30moveonly_value_functions_onone22takeOuterDeinitingNC_1yyAA0fgH2_1VyxGnlF"(
|
|
// CHECK-SAME: ptr{{.*}} %0,
|
|
// CHECK-SAME: ptr %T)
|
|
// CHECK-SAME: {
|
|
// CHECK: [[RESPONSE:%[^,]+]] = call{{.*}} @"$s30moveonly_value_functions_onone18OuterDeinitingNC_1VMa"(
|
|
// : i64 0,
|
|
// CHECK-SAME: ptr %T)
|
|
// CHECK: [[OUTER_DEINITING_NC_1_METADATA:%[^,]+]] = extractvalue %swift.metadata_response [[RESPONSE]]
|
|
// CHECK: call{{.*}} @"$s30moveonly_value_functions_onone18OuterDeinitingNC_1VfD"(
|
|
// CHECK-SAME: ptr [[OUTER_DEINITING_NC_1_METADATA]],
|
|
// : ptr{{.*}} %t)
|
|
// CHECK: }
|
|
public func takeOuterDeinitingNC_1<T>(_ t: consuming OuterDeinitingNC_1<T>) {
|
|
external_symbol()
|
|
}
|
|
|
|
// If the destroyed value has no deinit, is releasable, and contains a
|
|
// noncopyable value with a deinit, call the outlined release function.
|
|
// Destroyed value:
|
|
// - has NO deinit
|
|
// - contains value type with deinit
|
|
// - is releasable
|
|
// On lifetime end:
|
|
// - call outlined release function
|
|
// CHECK-LABEL: define{{.*}} @"$s30moveonly_value_functions_onone13takeOuterNC_1yyAA0fG2_1VyxGnlF"(
|
|
// CHECK-SAME: ptr{{.*}} %0,
|
|
// CHECK-SAME: ptr %T)
|
|
// CHECK-SAME: {
|
|
// CHECK: call{{.*}} @"$s30moveonly_value_functions_onone9OuterNC_1VyxGlWOh"(
|
|
// : ptr %o,
|
|
// CHECK-SAME: ptr %T)
|
|
// CHECK: }
|
|
|
|
// Verify that the outlined release function takes the metadata for the
|
|
// move-only-with-deinit type InnerDeinitingReleasableNC<T> and passes it along
|
|
// to that deinit.
|
|
// $s30moveonly_value_functions_onone9OuterNC_1VyxGlWOs ---> outlined release of moveonly_value_functions.OuterNC_2<A>
|
|
// CHECK-LABEL: define{{.*}} @"$s30moveonly_value_functions_onone9OuterNC_1VyxGlWOh"(
|
|
// CHECK-SAME: ptr %0,
|
|
// CHECK-SAME: ptr %T)
|
|
// CHECK-SAME: {
|
|
// ...
|
|
// ...
|
|
// CHECK: [[RESPONSE:%[^,]+]] = call{{.*}} @"$s30moveonly_value_functions_onone26InnerDeinitingReleasableNCVMa"(
|
|
// : i64 0,
|
|
// CHECK-SAME: ptr %T)
|
|
// CHECK: [[INNER_DEINITING_RELEASABLE_NC_METADATA:%[^,]+]] = extractvalue %swift.metadata_response [[RESPONSE]]
|
|
// CHECK: call swiftcc void @"$s30moveonly_value_functions_onone26InnerDeinitingReleasableNCVfD"(
|
|
// CHECK-SAME: ptr [[INNER_DEINITING_RELEASABLE_NC_METADATA]],
|
|
// : ptr noalias swiftself captures(none) dereferenceable(64) %deinit.arg)
|
|
// CHECK: }
|
|
public func takeOuterNC_1<T>(_ o: consuming OuterNC_1<T>) {
|
|
external_symbol()
|
|
}
|
|
|
|
// If the destroyed value has no deinit, is releasable, and contains a
|
|
// noncopyable value with a deinit, call the outlined destroy function.
|
|
// Destroyed value:
|
|
// - has NO deinit
|
|
// - contains value type with deinit
|
|
// - is NOT releasable
|
|
// On lifetime end:
|
|
// - call outlined destroy destroy
|
|
// CHECK-LABEL: define{{.*}} @"$s30moveonly_value_functions_onone13takeOuterNC_2yyAA0fG2_2VyxGnlF"(
|
|
// CHECK-SAME: ptr{{.*}} %0,
|
|
// CHECK-SAME: ptr %T)
|
|
// CHECK-SAME: {
|
|
// CHECK: call{{.*}} @"$s30moveonly_value_functions_onone9OuterNC_2VyxGlWOh"(
|
|
// : ptr %5,
|
|
// CHECK-SAME: ptr %T)
|
|
// CHECK: }
|
|
|
|
// Verify that the outlined destroy function takes the metadata for the
|
|
// move-only-with-deinit type InnerDeinitingDestructable<T> and passes it along
|
|
// to that deinit.
|
|
// $s30moveonly_value_functions_onone9OuterNC_2VyxGlWOh ---> outlined destroy of moveonly_value_functions.OuterNC_2<A>
|
|
// CHECK-LABEL: define{{.*}} @"$s30moveonly_value_functions_onone9OuterNC_2VyxGlWOh"(
|
|
// CHECK-SAME: ptr %0,
|
|
// CHECK-SAME: ptr %T)
|
|
// CHECK-SAME: {
|
|
// ...
|
|
// ...
|
|
// CHECK: [[RESPONSE:%[^,]+]] = call{{.*}} @"$s30moveonly_value_functions_onone28InnerDeinitingDestructableNCVMa"(
|
|
// : i64 0,
|
|
// CHECK-SAME: ptr %T)
|
|
// CHECK: [[INNER_DEINITING_DESTRUCTABLE_NC_METADATA:%[^,]+]] = extractvalue %swift.metadata_response [[RESPONSE]]
|
|
// CHECK: call{{.*}} @"$s30moveonly_value_functions_onone28InnerDeinitingDestructableNCVfD"(
|
|
// CHECK-SAME: ptr [[INNER_DEINITING_DESTRUCTABLE_NC_METADATA]],
|
|
// : ptr noalias swiftself %3)
|
|
// CHECK: }
|
|
public func takeOuterNC_2<T>(_ o: consuming OuterNC_2<T>) {
|
|
external_symbol()
|
|
}
|
|
|
|
// CHECK-LABEL: define{{.*}} @"$s30moveonly_value_functions_onone29takeGenericContext_1OuterNC_1yyAA0fG2_1VA2A1PRzlE0hI2_1Vyx_GnAaERzlF"(
|
|
// CHECK-SAME: ptr noalias %0,
|
|
// CHECK-SAME: ptr %T,
|
|
// CHECK-SAME: ptr %T.P)
|
|
// CHECK-SAME: {
|
|
// CHECK: call ptr @"$s30moveonly_value_functions_onone16GenericContext_1VA2A1PRzlE9OuterNC_1Vyx_GAaDRzlWOh"(
|
|
// : ptr %5,
|
|
// CHECK-SAME: ptr %T,
|
|
// CHECK-SAME: ptr %T.P)
|
|
// CHECK: }
|
|
// CHECK-LABEL: define{{.*}} @"$s30moveonly_value_functions_onone16GenericContext_1VA2A1PRzlE9OuterNC_1Vyx_GAaDRzlWOh"(
|
|
// CHECK-SAME: ptr %0,
|
|
// CHECK-SAME: ptr %T,
|
|
// CHECK-SAME: ptr %T.P)
|
|
// CHECK-SAME: {
|
|
// CHECK: [[RESPONSE:%[^,]+]] = call{{.*}} @"$s30moveonly_value_functions_onone16GenericContext_1VA2A1PRzlE9Inner_NC1VMa"(
|
|
// : i64 0,
|
|
// CHECK-SAME: ptr %T,
|
|
// CHECK-SAME: ptr %T.P)
|
|
// CHECK: [[GENERIC_CONTEXT_1_INNER_NC_1_METADATA:%[^,]+]] = extractvalue %swift.metadata_response [[RESPONSE]], 0
|
|
// CHECK: call swiftcc void @"$s30moveonly_value_functions_onone16GenericContext_1VA2A1PRzlE9Inner_NC1VfD"(
|
|
// CHECK-SAME: ptr [[GENERIC_CONTEXT_1_INNER_NC_1_METADATA]],
|
|
// CHECK-SAME: ptr noalias swiftself %0)
|
|
// CHECK: }
|
|
public func takeGenericContext_1OuterNC_1<T : P>(_ e: consuming GenericContext_1<T>.OuterNC_1) {}
|
|
|
|
// CHECK-LABEL: define{{.*}} @"$s30moveonly_value_functions_onone26takeOuterSinglePayloadNC_1yyAA0fghI2_1OyxGnlF"(
|
|
// : i64 %0,
|
|
// : i8 %1,
|
|
// CHECK-SAME: ptr %T)
|
|
// CHECK-SAME: {
|
|
// CHECK: call{{.*}} @"$s30moveonly_value_functions_onone22OuterSinglePayloadNC_1OyxGlWOh"(
|
|
// : i64 %0,
|
|
// : i1 %2,
|
|
// CHECK-SAME: ptr %T)
|
|
// CHECK: }
|
|
// CHECK-LABEL: define{{.*}} @"$s30moveonly_value_functions_onone22OuterSinglePayloadNC_1OyxGlWOh"(
|
|
// : i64 %0,
|
|
// : i1 %1,
|
|
// CHECK-SAME: ptr %T)
|
|
// CHECK-SAME: {
|
|
// CHECK: call{{.*}} @"$s30moveonly_value_functions_onone29InnerDeinitingWithoutLayoutNCVfD"(
|
|
// : i64 %0,
|
|
// CHECK-SAME: ptr %T)
|
|
// CHECK: }
|
|
public func takeOuterSinglePayloadNC_1<T>(_ e: consuming OuterSinglePayloadNC_1<T>) {}
|
|
|
|
// CHECK-LABEL: define{{.*}} @"$s30moveonly_value_functions_onone26takeOuterSinglePayloadNC_2yyAA0fghI2_2OyxGnlF"(
|
|
// : ptr noalias captures(none) dereferenceable(64) %0,
|
|
// CHECK-SAME: ptr %T)
|
|
// CHECK-SAME: {
|
|
// CHECK: call{{.*}} @"$s30moveonly_value_functions_onone22OuterSinglePayloadNC_2OyxGlWOh"(
|
|
// : ptr %0,
|
|
// CHECK-SAME: ptr %T)
|
|
// CHECK: }
|
|
// CHECK-LABEL: define{{.*}} @"$s30moveonly_value_functions_onone22OuterSinglePayloadNC_2OyxGlWOh"(
|
|
// CHECK-SAME: ptr %0,
|
|
// CHECK-SAME: ptr %T)
|
|
// CHECK-SAME: {
|
|
// CHECK: [[RESPONSE:%[^,]+]] = call swiftcc %swift.metadata_response @"$s30moveonly_value_functions_onone26InnerDeinitingReleasableNCVMa"(
|
|
// : i64 0,
|
|
// CHECK-SAME: ptr %T)
|
|
// CHECK: [[METADATA:%[^,]+]] = extractvalue %swift.metadata_response [[RESPONSE]], 0
|
|
// CHECK: call swiftcc void @"$s30moveonly_value_functions_onone26InnerDeinitingReleasableNCVfD"(
|
|
// CHECK-SAME: ptr [[METADATA]],
|
|
// : ptr noalias swiftself captures(none) dereferenceable(64) %0)
|
|
// CHECK: }
|
|
public func takeOuterSinglePayloadNC_2<T>(_ e: consuming OuterSinglePayloadNC_2<T>) {}
|
|
|
|
// CHECK-LABEL: define{{.*}} @"$s30moveonly_value_functions_onone26takeOuterSinglePayloadNC_3yyAA0fghI2_3OyxGnlF"(
|
|
// CHECK-SAME: ptr noalias %0,
|
|
// CHECK-SAME: ptr %T)
|
|
// CHECK-SAME: {
|
|
// CHECK: call{{.*}} @"$s30moveonly_value_functions_onone22OuterSinglePayloadNC_3OyxGlWOh"(
|
|
// : ptr %0,
|
|
// CHECK-SAME: ptr %T)
|
|
// CHECK: }
|
|
// CHECK-LABEL: define{{.*}} @"$s30moveonly_value_functions_onone22OuterSinglePayloadNC_3OyxGlWOh"(
|
|
// CHECK-SAME: ptr %0,
|
|
// CHECK-SAME: ptr %T)
|
|
// CHECK-SAME: {
|
|
// CHECK: [[RESPONSE:%[^,]+]] = call{{.*}} @"$s30moveonly_value_functions_onone28InnerDeinitingDestructableNCVMa"(
|
|
// : i64 0,
|
|
// CHECK-SAME: ptr %T)
|
|
// CHECK: [[METADATA:%[^,]+]] = extractvalue %swift.metadata_response [[RESPONSE:%[^,]+]], 0
|
|
// CHECK: call{{.*}} @"$s30moveonly_value_functions_onone28InnerDeinitingDestructableNCVfD"(
|
|
// CHECK-SAME: ptr [[METADATA:%[^,]+]],
|
|
// : ptr noalias swiftself %0)
|
|
// CHECK: }
|
|
public func takeOuterSinglePayloadNC_3<T>(_ e: consuming OuterSinglePayloadNC_3<T>) {}
|
|
|
|
// CHECK-LABEL: define{{.*}} @"$s30moveonly_value_functions_onone25takeOuterMultiPayloadNC_1yyAA0fghI2_1OyxGnlF"(
|
|
// CHECK-SAME: ptr noalias %0,
|
|
// CHECK-SAME: ptr %T)
|
|
// CHECK-SAME: {
|
|
// CHECK: call{{.*}} @"$s30moveonly_value_functions_onone21OuterMultiPayloadNC_1OyxGlWOh"(
|
|
// : ptr %5,
|
|
// CHECK-SAME: ptr %T)
|
|
// CHECK: }
|
|
// CHECK-LABEL: define{{.*}} @"$s30moveonly_value_functions_onone21OuterMultiPayloadNC_1OyxGlWOh"(
|
|
// CHECK-SAME: ptr %0,
|
|
// CHECK-SAME: ptr %T)
|
|
// CHECK-SAME: {
|
|
// CHECK: [[RESPONSE1:%[^,]+]] = call{{.*}} @"$s30moveonly_value_functions_onone26InnerDeinitingWithLayoutNCVMa"(
|
|
// : i64 0,
|
|
// CHECK-SAME: ptr %T)
|
|
// CHECK: [[METADATA1:%[^,]+]] = extractvalue %swift.metadata_response [[RESPONSE1]], 0
|
|
// CHECK: call{{.*}} @"$s30moveonly_value_functions_onone26InnerDeinitingWithLayoutNCVfD"(
|
|
// CHECK-SAME: ptr [[METADATA1]],
|
|
// CHECK-SAME: ptr noalias swiftself %0)
|
|
// CHECK: [[RESPONSE2:%[^,]+]] = call{{.*}} @"$s30moveonly_value_functions_onone26InnerDeinitingWithLayoutNCVMa"(
|
|
// : i64 0,
|
|
// CHECK-SAME: ptr %T)
|
|
// CHECK: [[METADATA2:%[^,]+]] = extractvalue %swift.metadata_response [[RESPONSE2]], 0
|
|
// CHECK: call{{.*}} @"$s30moveonly_value_functions_onone26InnerDeinitingWithLayoutNCVfD"(
|
|
// CHECK-SAME: ptr [[METADATA2]],
|
|
// CHECK-SAME: ptr noalias swiftself %0)
|
|
// CHECK: }
|
|
public func takeOuterMultiPayloadNC_1<T>(_ e: consuming OuterMultiPayloadNC_1<T>) {}
|
|
// CHECK-LABEL: define{{.*}} @"$s30moveonly_value_functions_onone25takeOuterMultiPayloadNC_2yyAA0fghI2_2OyxGnlF"(
|
|
// : i64 %0,
|
|
// : i8 %1,
|
|
// CHECK-SAME: ptr %T)
|
|
// CHECK-SAME: {
|
|
// CHECK: call{{.*}} @"$s30moveonly_value_functions_onone21OuterMultiPayloadNC_2OyxGlWOe"(
|
|
// : i64 %0,
|
|
// : i8 %1,
|
|
// CHECK-SAME: ptr %T)
|
|
// CHECK: }
|
|
// CHECK-LABEL: define{{.*}} @"$s30moveonly_value_functions_onone21OuterMultiPayloadNC_2OyxGlWOe"(
|
|
// : i64 %0,
|
|
// : i8 %1,
|
|
// CHECK-SAME: ptr %T)
|
|
// CHECK-SAME: {
|
|
// CHECK: call{{.*}} @"$s30moveonly_value_functions_onone29InnerDeinitingWithoutLayoutNCVfD"(
|
|
// : i64 %0,
|
|
// CHECK-SAME: ptr %T)
|
|
// CHECK: call{{.*}} @"$s30moveonly_value_functions_onone29InnerDeinitingWithoutLayoutNCVfD"(
|
|
// : i64 %0,
|
|
// CHECK-SAME: ptr %T)
|
|
// CHECK: }
|
|
public func takeOuterMultiPayloadNC_2<T>(_ e: consuming OuterMultiPayloadNC_2<T>) {}
|
|
// CHECK-LABEL: define{{.*}} @"$s30moveonly_value_functions_onone25takeOuterMultiPayloadNC_3yyAA0fghI2_3OyxGnlF"(
|
|
// : ptr noalias captures(none) dereferenceable(64) %0,
|
|
// CHECK-SAME: ptr %T)
|
|
// CHECK-SAME: {
|
|
// CHECK: call{{.*}} @"$s30moveonly_value_functions_onone21OuterMultiPayloadNC_3OyxGlWOh"(
|
|
// : ptr %e,
|
|
// CHECK-SAME: ptr %T)
|
|
// CHECK: }
|
|
// CHECK-LABEL: define{{.*}} @"$s30moveonly_value_functions_onone21OuterMultiPayloadNC_3OyxGlWOh"(
|
|
// CHECK-SAME: ptr %0,
|
|
// CHECK-SAME: ptr %T)
|
|
// CHECK-SAME: {
|
|
// CHECK: call{{.*}} @"$s30moveonly_value_functions_onone21OuterMultiPayloadNC_3OyxGlWOe"(
|
|
// : i64 %2,
|
|
// : i64 %4,
|
|
// : i64 %6,
|
|
// : i64 %8,
|
|
// : i64 %10,
|
|
// : i64 %12,
|
|
// : i64 %14,
|
|
// : i64 %16,
|
|
// CHECK-SAME: ptr %T)
|
|
// CHECK: }
|
|
public func takeOuterMultiPayloadNC_3<T>(_ e: consuming OuterMultiPayloadNC_3<T>) {}
|
|
// CHECK-LABEL: define{{.*}} @"$s30moveonly_value_functions_onone25takeOuterMultiPayloadNC_4yyAA0fghI2_4OyxGnlF"(
|
|
// CHECK-SAME: ptr noalias %0,
|
|
// CHECK-SAME: ptr %T)
|
|
// CHECK-SAME: {
|
|
// CHECK: call{{.*}} @"$s30moveonly_value_functions_onone21OuterMultiPayloadNC_4OyxGlWOh"(
|
|
// : ptr %5,
|
|
// CHECK-SAME: ptr %T)
|
|
// CHECK: }
|
|
// CHECK-LABEL: define{{.*}} @"$s30moveonly_value_functions_onone21OuterMultiPayloadNC_4OyxGlWOh"(
|
|
// CHECK-SAME: ptr %0,
|
|
// CHECK-SAME: ptr %T)
|
|
// CHECK-SAME: {
|
|
// CHECK: [[RESPONSE1:%[^,]+]] = call{{.*}} @"$s30moveonly_value_functions_onone28InnerDeinitingDestructableNCVMa"(
|
|
// : i64 0,
|
|
// CHECK-SAME: ptr %T)
|
|
// CHECK: [[METADATA1:%[^,]+]] = extractvalue %swift.metadata_response [[RESPONSE1]], 0
|
|
// CHECK: call{{.*}} @"$s30moveonly_value_functions_onone28InnerDeinitingDestructableNCVfD"(
|
|
// CHECK-SAME: ptr [[METADATA1]],
|
|
// CHECK-SAME: ptr noalias swiftself %0)
|
|
// CHECK: [[RESPONSE2:%[^,]+]] = call{{.*}} @"$s30moveonly_value_functions_onone28InnerDeinitingDestructableNCVMa"(
|
|
// : i64 0,
|
|
// CHECK-SAME: ptr %T)
|
|
// CHECK: [[METADATA2:%[^,]+]] = extractvalue %swift.metadata_response [[RESPONSE2]], 0
|
|
// CHECK: call{{.*}} @"$s30moveonly_value_functions_onone28InnerDeinitingDestructableNCVfD"(
|
|
// CHECK-SAME: ptr [[METADATA2]],
|
|
// CHECK-SAME: ptr noalias swiftself %0)
|
|
// CHECK: }
|
|
public func takeOuterMultiPayloadNC_4<T>(_ e: consuming OuterMultiPayloadNC_4<T>) {}
|