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
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
|
// RUN: %target-swift-frontend -emit-ir -primary-file %s | %FileCheck %s -DINT=i%target-ptrsize
// REQUIRES: CPU=i386 || CPU=x86_64
protocol Runcer {
associatedtype Runcee
}
protocol Runcible {
associatedtype RuncerType : Runcer
associatedtype AltRuncerType : Runcer
}
struct Mince {}
struct Quince : Runcer {
typealias Runcee = Mince
}
struct Spoon : Runcible {
typealias RuncerType = Quince
typealias AltRuncerType = Quince
}
struct Owl<T : Runcible, U> {
// CHECK: define hidden swiftcc void @"$s16associated_types3OwlV3eat{{[_0-9a-zA-Z]*}}F"(ptr
func eat(_ what: T.RuncerType.Runcee, and: T.RuncerType, with: T) { }
}
class Pussycat<T : Runcible, U> {
init() {}
// CHECK: define hidden swiftcc void @"$s16associated_types8PussycatC3eat{{[_0-9a-zA-Z]*}}F"(ptr noalias %0, ptr noalias %1, ptr noalias %2, ptr swiftself %3)
func eat(_ what: T.RuncerType.Runcee, and: T.RuncerType, with: T) { }
}
func owl() -> Owl<Spoon, Int> {
return Owl()
}
func owl2() {
Owl<Spoon, Int>().eat(Mince(), and: Quince(), with: Spoon())
}
func pussycat() -> Pussycat<Spoon, Int> {
return Pussycat()
}
func pussycat2() {
Pussycat<Spoon, Int>().eat(Mince(), and: Quince(), with: Spoon())
}
protocol Speedy {
static func accelerate()
}
protocol FastRuncer {
associatedtype Runcee : Speedy
}
protocol FastRuncible {
associatedtype RuncerType : FastRuncer
}
// This is a complex example demonstrating the need to pull conformance
// information for archetypes from all paths to that archetype, not just
// its parent relationships.
func testFastRuncible<T: Runcible, U: FastRuncible>(_ t: T, u: U)
where T.RuncerType == U.RuncerType {
U.RuncerType.Runcee.accelerate()
}
// CHECK: define hidden swiftcc void @"$s16associated_types16testFastRuncible_1uyx_q_tAA0E0RzAA0dE0R_10RuncerTypeQy_AFRtzr0_lF"(ptr noalias %0, ptr noalias %1, ptr %T, ptr %U, ptr %T.Runcible, ptr %U.FastRuncible) {{.*}} {
// 1. Get the type metadata for U.RuncerType.Runcee.
// 1a. Get the type metadata for U.RuncerType.
// Note that we actually look things up in T, which is going to prove unfortunate.
// CHECK: [[T2:%.*]] = call swiftcc %swift.metadata_response @swift_getAssociatedTypeWitness([[INT]] 255, ptr %U.FastRuncible, ptr %U, ptr getelementptr{{.*}}i32 9), i32 -1), ptr getelementptr inbounds (<{{.*}}>, ptr @"$s16associated_types12FastRuncibleMp", i32 0, i32 10)) [[NOUNWIND_READNONE:#.*]]
// CHECK-NEXT: [[T3:%.*]] = extractvalue %swift.metadata_response [[T2]], 0
// CHECK-NEXT: extractvalue %swift.metadata_response [[T2]], 1
// 2. Get the witness table for U.RuncerType.Runcee : Speedy
// 2a. Get the protocol witness table for U.RuncerType : FastRuncer.
// CHECK-NEXT: %T.RuncerType.FastRuncer = call swiftcc ptr @swift_getAssociatedConformanceWitness(ptr %U.FastRuncible, ptr %U, ptr [[T3]]
// 1c. Get the type metadata for U.RuncerType.Runcee.
// CHECK-NEXT: [[T2:%.*]] = call swiftcc %swift.metadata_response @swift_getAssociatedTypeWitness([[INT]] 0, ptr %T.RuncerType.FastRuncer, ptr [[T3]], {{.*}}, ptr getelementptr inbounds (<{{.*}}>, ptr @"$s16associated_types10FastRuncerMp", i32 0, i32 10))
// CHECK-NEXT: %T.RuncerType.Runcee = extractvalue %swift.metadata_response [[T2]], 0
// 2b. Get the witness table for U.RuncerType.Runcee : Speedy.
// CHECK-NEXT: %T.RuncerType.Runcee.Speedy = call swiftcc ptr @swift_getAssociatedConformanceWitness(ptr %T.RuncerType.FastRuncer, ptr [[T3]], ptr %T.RuncerType.Runcee
// 3. Perform the actual call.
// CHECK-NEXT: [[T0_GEP:%.*]] = getelementptr inbounds ptr, ptr %T.RuncerType.Runcee.Speedy, i32 1
// CHECK-NEXT: [[T0:%.*]] = load ptr, ptr [[T0_GEP]]
// CHECK-NEXT: call swiftcc void [[T0]](ptr swiftself %T.RuncerType.Runcee, ptr %T.RuncerType.Runcee, ptr %T.RuncerType.Runcee.Speedy)
public protocol P0 {
associatedtype ErrorType : Swift.Error
}
public struct P0Impl : P0 {
public typealias ErrorType = Swift.Error
}
// CHECK: define{{.*}} swiftcc ptr @"$s16associated_types6P0ImplVAA0C0AA9ErrorTypeAaDP_s0E0PWT"(ptr %P0Impl.ErrorType, ptr %P0Impl, ptr %P0Impl.P0)
// CHECK: ret ptr @"$ss5ErrorWS"
// CHECK: attributes [[NOUNWIND_READNONE]] = { nounwind willreturn memory(none) }
|
