-
Notifications
You must be signed in to change notification settings - Fork 10.4k
/
Copy pathGenProto.h
245 lines (201 loc) · 8.91 KB
/
GenProto.h
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
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159
160
161
162
163
164
165
166
167
168
169
170
171
172
173
174
175
176
177
178
179
180
181
182
183
184
185
186
187
188
189
190
191
192
193
194
195
196
197
198
199
200
201
202
203
204
205
206
207
208
209
210
211
212
213
214
215
216
217
218
219
220
221
222
223
224
225
226
227
228
229
230
231
232
233
234
235
236
237
238
239
240
241
242
243
244
245
//===--- GenProto.h - Swift IR generation for prototypes --------*- C++ -*-===//
//
// This source file is part of the Swift.org open source project
//
// Copyright (c) 2014 - 2017 Apple Inc. and the Swift project authors
// Licensed under Apache License v2.0 with Runtime Library Exception
//
// See https://swift.org/LICENSE.txt for license information
// See https://swift.org/CONTRIBUTORS.txt for the list of Swift project authors
//
//===----------------------------------------------------------------------===//
//
// This file provides the private interface to the protocol-emission code.
//
//===----------------------------------------------------------------------===//
#ifndef SWIFT_IRGEN_GENPROTO_H
#define SWIFT_IRGEN_GENPROTO_H
#include "swift/SIL/SILFunction.h"
#include "Fulfillment.h"
#include "GenericRequirement.h"
namespace llvm {
class Type;
}
namespace swift {
class AssociatedConformance;
class AssociatedType;
class CanType;
class FuncDecl;
class ProtocolConformanceRef;
struct SILDeclRef;
class SILType;
class SILFunction;
namespace irgen {
class Address;
class DynamicMetadataRequest;
class Explosion;
class FunctionPointer;
class IRGenFunction;
class IRGenModule;
class MetadataPath;
class MetadataResponse;
class ProtocolInfo;
class TypeInfo;
/// Set an LLVM value name for the given type metadata.
void setTypeMetadataName(IRGenModule &IGM, llvm::Value *value, CanType type);
/// Set an LLVM value name for the given protocol witness table.
void setProtocolWitnessTableName(IRGenModule &IGM, llvm::Value *value,
CanType type, ProtocolDecl *protocol);
/// Extract the method pointer from the given witness table
/// as a function value.
FunctionPointer emitWitnessMethodValue(IRGenFunction &IGF,
llvm::Value *wtable,
SILDeclRef member);
/// Extract the method pointer from an archetype's witness table
/// as a function value.
FunctionPointer emitWitnessMethodValue(IRGenFunction &IGF,
CanType baseTy,
llvm::Value **baseMetadataCache,
SILDeclRef member,
ProtocolConformanceRef conformance);
/// Given a type T and an associated type X of some protocol P to
/// which T conforms, return the type metadata for T.X.
///
/// \param parentMetadata - the type metadata for T
/// \param wtable - the witness table witnessing the conformance of T to P
/// \param associatedType - the declaration of X; a member of P
MetadataResponse emitAssociatedTypeMetadataRef(IRGenFunction &IGF,
llvm::Value *parentMetadata,
llvm::Value *wtable,
AssociatedType associatedType,
DynamicMetadataRequest request);
// Return the offset one should do on a witness table pointer to retrieve the
// `index`th piece of private data.
inline int privateWitnessTableIndexToTableOffset(unsigned index) {
return -1 - (int)index;
}
/// Add the witness parameters necessary for calling a function with
/// the given generics clause.
void expandPolymorphicSignature(IRGenModule &IGM,
CanSILFunctionType type,
SmallVectorImpl<llvm::Type*> &types);
/// Return the number of trailing arguments necessary for calling a
/// witness method.
inline unsigned getTrailingWitnessSignatureLength(IRGenModule &IGM,
CanSILFunctionType type) {
return 2;
}
/// Add the trailing arguments necessary for calling a witness method.
void expandTrailingWitnessSignature(IRGenModule &IGM,
CanSILFunctionType type,
SmallVectorImpl<llvm::Type*> &types);
struct WitnessMetadata {
llvm::Value *SelfMetadata = nullptr;
llvm::Value *SelfWitnessTable = nullptr;
};
/// Collect any required metadata for a witness method from the end
/// of the given parameter list.
void collectTrailingWitnessMetadata(IRGenFunction &IGF, SILFunction &fn,
Explosion ¶ms,
WitnessMetadata &metadata);
using GetParameterFn = llvm::function_ref<llvm::Value*(unsigned)>;
/// In the prelude of a generic function, perform the bindings for a
/// generics clause.
///
/// \param witnessMetadata - can be omitted if the function is
/// definitely not a witness method
void emitPolymorphicParameters(IRGenFunction &IGF,
SILFunction &Fn,
Explosion &args,
WitnessMetadata *witnessMetadata,
const GetParameterFn &getParameter);
/// When calling a polymorphic call, pass the arguments for the
/// generics clause.
void emitPolymorphicArguments(IRGenFunction &IGF,
CanSILFunctionType origType,
const SubstitutionMap &subs,
WitnessMetadata *witnessMetadata,
Explosion &args);
/// Bind the polymorphic parameter inside of a partial apply forwarding thunk.
void bindPolymorphicParameter(IRGenFunction &IGF,
CanSILFunctionType &OrigFnType,
CanSILFunctionType &SubstFnType,
Explosion &nativeParam, unsigned paramIndex);
/// Emit references to the witness tables for the substituted type
/// in the given substitution.
void emitWitnessTableRefs(IRGenFunction &IGF, const Substitution &sub,
llvm::Value **metadataCache,
SmallVectorImpl<llvm::Value *> &out);
/// Emit a witness table reference.
llvm::Value *emitWitnessTableRef(IRGenFunction &IGF,
CanType srcType,
llvm::Value **srcMetadataCache,
ProtocolConformanceRef conformance);
llvm::Value *emitWitnessTableRef(IRGenFunction &IGF,
CanType srcType,
ProtocolConformanceRef conformance);
/// An entry in a list of known protocols.
class ProtocolEntry {
ProtocolDecl *Protocol;
const ProtocolInfo &Impl;
public:
explicit ProtocolEntry(ProtocolDecl *proto, const ProtocolInfo &impl)
: Protocol(proto), Impl(impl) {}
ProtocolDecl *getProtocol() const { return Protocol; }
const ProtocolInfo &getInfo() const { return Impl; }
};
using GetWitnessTableFn =
llvm::function_ref<llvm::Value*(unsigned originIndex)>;
llvm::Value *emitImpliedWitnessTableRef(IRGenFunction &IGF,
ArrayRef<ProtocolEntry> protos,
ProtocolDecl *target,
const GetWitnessTableFn &getWitnessTable);
class MetadataSource {
public:
enum class Kind {
/// Metadata is derived from a source class pointer.
ClassPointer,
/// Metadata is derived from a type metadata pointer.
Metadata,
/// Metadata is derived from the origin type parameter.
GenericLValueMetadata,
/// Metadata is obtained directly from the from a Self metadata
/// parameter passed via the WitnessMethod convention.
SelfMetadata,
/// Metadata is derived from the Self witness table parameter
/// passed via the WitnessMethod convention.
SelfWitnessTable,
};
static bool requiresSourceIndex(Kind kind) {
return (kind == Kind::ClassPointer ||
kind == Kind::Metadata ||
kind == Kind::GenericLValueMetadata);
}
enum : unsigned { InvalidSourceIndex = ~0U };
private:
/// The kind of source this is.
Kind TheKind;
/// The parameter index, for ClassPointer and Metadata sources.
unsigned Index;
public:
CanType Type;
MetadataSource(Kind kind, unsigned index, CanType type)
: TheKind(kind), Index(index), Type(type) {
assert(index != InvalidSourceIndex || !requiresSourceIndex(kind));
}
Kind getKind() const { return TheKind; }
unsigned getParamIndex() const {
assert(requiresSourceIndex(getKind()));
return Index;
}
};
using GenericParamFulfillmentCallback =
llvm::function_ref<void(CanType genericParamType,
const MetadataSource &source,
const MetadataPath &path)>;
void enumerateGenericParamFulfillments(IRGenModule &IGM,
CanSILFunctionType fnType,
GenericParamFulfillmentCallback callback);
} // end namespace irgen
} // end namespace swift
#endif