mirror of
https://github.com/apple/swift.git
synced 2025-12-21 12:14:44 +01:00
17fc00f8a7
This attribute was introduced in 7eca38ce76d5d1915f4ab7e665964062c0b37697 (llvm-project). Match it using a wildcard regex, since it is not relevant to these tests. This is intended to reduce future conflicts with rebranch.
89 lines
4.2 KiB
Swift
89 lines
4.2 KiB
Swift
// RUN: %target-swift-frontend -emit-ir %s -swift-version 5 -disable-availability-checking | %IRGenFileCheck %s
|
|
|
|
// CHECK-LABEL: @"$sl26existential_shape_metadata2Q0_px1TRts_XPXGMq" = linkonce_odr hidden constant
|
|
// CHECK-SAME: { i32 {{.*}}sub ([[INT]] ptrtoint (ptr @{{[0-9]+}} to [[INT]])
|
|
// CHECK-SAME: i32 6400,
|
|
// CHECK-SAME: i32 {{.*}} @"flat unique 26existential_shape_metadata2Q0_px1TAaBPRts_XP"
|
|
// CHECK-SAME: i16 2, i16 2, i16 3, i16 0,
|
|
// CHECK-SAME: i16 1, i16 0, i16 1, i16 0, i32 1,
|
|
|
|
// CHECK-LABEL: @"$sl26existential_shape_metadata2R033_881A0B6978EB4286E7CFF1E27030ACACLL_px1TRts_XPXG" = internal constant
|
|
// CHECK-SAME: { i32 6400,
|
|
// This could use a symbolic reference because this doesn't have to be uniqued.
|
|
// CHECK-SAME: i32 {{.*}} @"flat unique 26existential_shape_metadata2R033_881A0B6978EB4286E7CFF1E27030ACACLL_px1TAabCLLPRts_XP"
|
|
// CHECK-SAME: i16 2, i16 2, i16 3, i16 0,
|
|
// CHECK-SAME: i16 1, i16 0, i16 1, i16 0, i32 1,
|
|
|
|
public protocol P0 {}
|
|
public protocol P1 {}
|
|
|
|
public protocol Q0<T> {
|
|
associatedtype T
|
|
}
|
|
public protocol Q1<A> {
|
|
associatedtype A
|
|
}
|
|
public protocol Q2<A, B>: Q1 {
|
|
associatedtype A
|
|
associatedtype B
|
|
}
|
|
|
|
private protocol R0<T> {
|
|
associatedtype T
|
|
}
|
|
|
|
public struct B<T> {}
|
|
private struct C {}
|
|
|
|
// CHECK-LABEL: define{{.*}} @"$s26existential_shape_metadata12testConcrete
|
|
public func testConcrete() -> Any.Type {
|
|
// CHECK: [[METADATA:%.*]] = call ptr @__swift_instantiateConcreteTypeFromMangledName(ptr @"$s26existential_shape_metadata2Q0_pSi1TAaBPRts_XPMD")
|
|
// CHECK: ret ptr [[METADATA]]
|
|
return (any Q0<Int>).self
|
|
}
|
|
|
|
// Still the same shape with an application of a dependent type.
|
|
// CHECK-LABEL: define{{.*}} @"$s26existential_shape_metadata13testDependent
|
|
public func testDependent<T>(t: T.Type) -> Any.Type {
|
|
// CHECK: [[ARGS:%.*]] = alloca [1 x ptr], align
|
|
// CHECK: [[T0:%.*]] = getelementptr inbounds{{.*}} [1 x ptr], ptr [[ARGS]], i32 0, i32 0
|
|
// CHECK: store ptr %T, ptr [[T0]], align
|
|
// CHECK: [[METADATA:%.*]] = call ptr @swift_getExtendedExistentialTypeMetadata(ptr @"$sl26existential_shape_metadata2Q0_px1TRts_XPXGMq{{(\.ptrauth)?}}", ptr [[ARGS]])
|
|
// CHECK: ret ptr [[METADATA]]
|
|
return (any Q0<T>).self
|
|
}
|
|
|
|
// Still the same shape with an application of a complex type.
|
|
// CHECK-LABEL: define{{.*}} @"$s26existential_shape_metadata22testComplexApplication
|
|
public func testComplexApplication<T>(t: T.Type) -> Any.Type {
|
|
// CHECK: [[ARGS:%.*]] = alloca [1 x ptr], align
|
|
// CHECK: [[T0:%.*]] = call swiftcc %swift.metadata_response @"$s26existential_shape_metadata1BVMa"([[INT]] 255, ptr %T)
|
|
// CHECK: [[B_T:%.*]] = extractvalue %swift.metadata_response [[T0]], 0
|
|
// CHECK: [[T0:%.*]] = getelementptr inbounds{{.*}} [1 x ptr], ptr [[ARGS]], i32 0, i32 0
|
|
// CHECK: store ptr [[B_T]], ptr [[T0]], align
|
|
// CHECK: [[METADATA:%.*]] = call ptr @swift_getExtendedExistentialTypeMetadata(ptr @"$sl26existential_shape_metadata2Q0_px1TRts_XPXGMq{{(\.ptrauth)?}}", ptr [[ARGS]])
|
|
// CHECK: ret ptr [[METADATA]]
|
|
return (any Q0<B<T>>).self
|
|
}
|
|
|
|
// Private protocols make the shape private and unique.
|
|
// CHECK-LABEL: define{{.*}} @"$s26existential_shape_metadata12test_private
|
|
public func test_private<T>(t: T.Type) -> Any.Type {
|
|
// CHECK: [[ARGS:%.*]] = alloca [1 x ptr], align
|
|
// CHECK: [[T0:%.*]] = getelementptr inbounds{{.*}} [1 x ptr], ptr [[ARGS]], i32 0, i32 0
|
|
// CHECK: store ptr %T, ptr [[T0]], align
|
|
// FIXME: this should be unique?
|
|
// CHECK: [[METADATA:%.*]] = call ptr @swift_getExtendedExistentialTypeMetadata_unique(ptr @"$sl26existential_shape_metadata2R033_881A0B6978EB4286E7CFF1E27030ACACLL_px1TRts_XPXG{{(\.ptrauth)?}}", ptr [[ARGS]])
|
|
// CHECK: ret ptr [[METADATA]]
|
|
return (any R0<T>).self
|
|
}
|
|
|
|
// Applying private arguments to a public protocol does not
|
|
// change anything: the shape is still public.
|
|
// CHECK-LABEL: define{{.*}} @"$s26existential_shape_metadata23test_privateApplication
|
|
public func test_privateApplication<T>(t: T.Type) -> Any.Type {
|
|
// CHECK: [[METADATA:%.*]] = call ptr @__swift_instantiateConcreteTypeFromMangledName(ptr @"$s26existential_shape_metadata2Q0_pAA1C33_881A0B6978EB4286E7CFF1E27030ACACLLV1TAaBPRts_XPMD")
|
|
// CHECK: ret ptr [[METADATA]]
|
|
return (any Q0<C>).self
|
|
}
|