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
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
|
// RUN: %target-swift-frontend -primary-file %s -emit-ir -disable-objc-attr-requires-foundation-module -swift-version 4 | %FileCheck %s -DINT=i%target-ptrsize
protocol P1 {
associatedtype AssocP1
}
protocol P2 {
associatedtype AssocP2: P1
func getAssocP2() -> AssocP2
}
protocol P3 {
associatedtype AssocP3: P2 where AssocP3.AssocP2: Q
func getAssocP3() -> AssocP3
}
protocol Q { }
struct X { }
struct Y: P1, Q {
typealias AssocP1 = X
}
struct Z: P2 {
typealias AssocP2 = Y
func getAssocP2() -> Y { return Y() }
}
// CHECK: @"$s35witness_table_indirect_conformances1WVAA2P3AAWP" = hidden global [5 x ptr] [
// CHECK-SAME: @"$s35witness_table_indirect_conformances1WVAA2P3AAMc"
// CHECK-SAME: {{(associated conformance 35witness_table_indirect_conformances1WVAA2P3AA05AssocE0AaDP_AA2P2|.ptrauth)}}
// CHECK-SAME: @"$s35witness_table_indirect_conformances1WVAA2P3A2aDP08getAssocE00gE0QzyFTW{{(\.ptrauth)?}}"
struct W: P3 {
typealias AssocP3 = Z
func getAssocP3() -> Z { return Z() }
}
// CHECK-LABEL: define hidden swiftcc %swift.metadata_response @"$s35witness_table_indirect_conformances1ZVMa"
// CHECK-SAME: ([[INT]] %0)
// CHECK-NEXT: entry:
// CHECK-NEXT: ret %swift.metadata_response { ptr {{.*}} @"$s35witness_table_indirect_conformances1ZVMf", i32 0, i32 2), [[INT]] 0 }
|
