-
Notifications
You must be signed in to change notification settings - Fork 10.4k
/
Copy pathSILGenGlobalVariable.cpp
324 lines (271 loc) · 12.3 KB
/
SILGenGlobalVariable.cpp
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
246
247
248
249
250
251
252
253
254
255
256
257
258
259
260
261
262
263
264
265
266
267
268
269
270
271
272
273
274
275
276
277
278
279
280
281
282
283
284
285
286
287
288
289
290
291
292
293
294
295
296
297
298
299
300
301
302
303
304
305
306
307
308
309
310
311
312
313
314
315
316
317
318
319
320
321
322
323
//===--- SILGenGlobalVariable.cpp - Lowering for global variables ---------===//
//
// 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
//
//===----------------------------------------------------------------------===//
#include "SILGenFunction.h"
#include "ExecutorBreadcrumb.h"
#include "ManagedValue.h"
#include "Scope.h"
#include "swift/AST/ASTMangler.h"
#include "swift/AST/GenericSignature.h"
#include "swift/Basic/Assertions.h"
#include "swift/SIL/FormalLinkage.h"
using namespace swift;
using namespace Lowering;
/// Get or create SILGlobalVariable for a given global VarDecl.
SILGlobalVariable *SILGenModule::getSILGlobalVariable(VarDecl *gDecl,
ForDefinition_t forDef) {
// First, get a mangled name for the declaration.
std::string mangledName;
{
auto SILGenName = gDecl->getAttrs().getAttribute<SILGenNameAttr>();
if (SILGenName && !SILGenName->Name.empty()) {
mangledName = SILGenName->Name.str();
if (SILGenName->Raw) {
mangledName = "\1" + mangledName;
}
} else {
Mangle::ASTMangler NewMangler(gDecl->getASTContext());
mangledName = NewMangler.mangleGlobalVariableFull(gDecl);
}
}
// Get the linkage for SILGlobalVariable.
FormalLinkage formalLinkage;
// sil_global linkage should be kept private if its decl is resilient.
if (gDecl->isResilient())
formalLinkage = FormalLinkage::Private;
else
formalLinkage = getDeclLinkage(gDecl);
auto silLinkage = getSILLinkage(formalLinkage, forDef);
if (gDecl->getAttrs().hasAttribute<SILGenNameAttr>()) {
silLinkage = SILLinkage::DefaultForDeclaration;
if (! gDecl->hasInitialValue()) {
forDef = NotForDefinition;
}
}
// Check if it is already created, and update linkage if necessary.
if (auto gv = M.lookUpGlobalVariable(mangledName)) {
// Update the SILLinkage here if this is a definition.
if (forDef == ForDefinition) {
gv->setLinkage(silLinkage);
gv->setDeclaration(false);
}
return gv;
}
SILType silTy = SILType::getPrimitiveObjectType(
M.Types.getLoweredTypeOfGlobal(gDecl));
auto *silGlobal = SILGlobalVariable::create(
M, silLinkage, IsNotSerialized, mangledName, silTy, std::nullopt, gDecl);
silGlobal->setDeclaration(!forDef);
return silGlobal;
}
ManagedValue
SILGenFunction::emitGlobalVariableRef(SILLocation loc, VarDecl *var,
std::optional<ActorIsolation> actorIso) {
assert(!VarLocs.count(var));
if (var->isLazilyInitializedGlobal()) {
// Call the global accessor to get the variable's address.
SILFunction *accessorFn = SGM.getFunction(
SILDeclRef(var, SILDeclRef::Kind::GlobalAccessor),
NotForDefinition);
SILValue accessor = B.createFunctionRefFor(loc, accessorFn);
// The accessor to obtain a global's address may need to initialize the
// variable first. So, we must call this accessor with the same
// isolation that the variable itself requires during access.
ExecutorBreadcrumb prevExecutor =
emitHopToTargetActor(loc, actorIso,
/*base=*/std::nullopt);
SILValue addr = B.createApply(loc, accessor, SubstitutionMap(), {});
// FIXME: often right after this, we will again hop to the actor to
// read from this address. it would be better to merge these two hops
// pairs of hops together. Alternatively, teaching optimizations to
// expand the scope of two nearly-adjacent pairs would be good.
prevExecutor.emit(*this, loc); // hop back after call.
// FIXME: It'd be nice if the result of the accessor was natively an
// address.
addr = B.createPointerToAddress(
loc, addr, getLoweredType(var->getInterfaceType()).getAddressType(),
/*isStrict*/ true, /*isInvariant*/ false);
return ManagedValue::forLValue(addr);
}
// Global variables can be accessed directly with global_addr. If we have a
// noncopyable type, just emit the global_addr so each individual access has
// its own base projection. This is important so that the checker can
// distinguish in between different accesses to the same global.
auto *silG = SGM.getSILGlobalVariable(var, NotForDefinition);
if (silG->getLoweredType().isMoveOnly()) {
SILValue addr = B.createGlobalAddr(
RegularLocation::getAutoGeneratedLocation(var), silG,
/*dependencyToken=*/ SILValue());
return ManagedValue::forLValue(addr);
}
// If we have a copyable type, emit this instruction into the prolog of the
// function so we can memoize/CSE it via the VarLocs map.
auto *entryBB = &*getFunction().begin();
SILGenBuilder prologueB(*this, entryBB, entryBB->begin());
prologueB.setTrackingList(B.getTrackingList());
// Because we jump back into the prologue, we can't use loc.
SILValue addr = prologueB.createGlobalAddr(
RegularLocation::getAutoGeneratedLocation(), silG,
/*dependencyToken=*/ SILValue());
VarLocs[var] = VarLoc(addr, SILAccessEnforcement::Dynamic);
return ManagedValue::forLValue(addr);
}
//===----------------------------------------------------------------------===//
// Global initialization
//===----------------------------------------------------------------------===//
namespace {
/// A visitor for traversing a pattern, creating
/// global accessor functions for all of the global variables declared inside.
struct GenGlobalAccessors : public PatternVisitor<GenGlobalAccessors>
{
/// The module generator.
SILGenModule &SGM;
/// The Builtin.once token guarding the global initialization.
SILGlobalVariable *OnceToken;
/// The function containing the initialization code.
SILFunction *OnceFunc;
GenGlobalAccessors(SILGenModule &SGM,
SILGlobalVariable *OnceToken,
SILFunction *OnceFunc)
: SGM(SGM), OnceToken(OnceToken), OnceFunc(OnceFunc)
{
// Find Builtin.once.
auto &C = SGM.M.getASTContext();
SmallVector<ValueDecl*, 2> found;
C.TheBuiltinModule->lookupValue(C.getIdentifier("once"),
NLKind::QualifiedLookup, found);
assert(found.size() == 1 && "didn't find Builtin.once?!");
}
// Walk through non-binding patterns.
void visitParenPattern(ParenPattern *P) {
return visit(P->getSubPattern());
}
void visitTypedPattern(TypedPattern *P) {
return visit(P->getSubPattern());
}
void visitBindingPattern(BindingPattern *P) {
return visit(P->getSubPattern());
}
void visitTuplePattern(TuplePattern *P) {
for (auto &elt : P->getElements())
visit(elt.getPattern());
}
void visitAnyPattern(AnyPattern *P) {}
// When we see a variable binding, emit its global accessor.
void visitNamedPattern(NamedPattern *P) {
SGM.emitGlobalAccessor(P->getDecl(), OnceToken, OnceFunc);
}
#define INVALID_PATTERN(Id, Parent) \
void visit##Id##Pattern(Id##Pattern *) { \
llvm_unreachable("pattern not valid in argument or var binding"); \
}
#define PATTERN(Id, Parent)
#define REFUTABLE_PATTERN(Id, Parent) INVALID_PATTERN(Id, Parent)
#include "swift/AST/PatternNodes.def"
#undef INVALID_PATTERN
};
} // end anonymous namespace
/// Emit a global initialization.
void SILGenModule::emitGlobalInitialization(PatternBindingDecl *pd,
unsigned pbdEntry) {
// The SIL emitted for global initialization is never needed clients of
// resilient modules, so skip it if -experimental-skip-non-exportable-decls
// is specified.
if (M.getOptions().SkipNonExportableDecls)
return;
// Generic and dynamic static properties require lazy initialization, which
// isn't implemented yet.
if (pd->isStatic()) {
assert(!pd->getDeclContext()->isGenericContext()
|| pd->getDeclContext()->getGenericSignatureOfContext()
->areAllParamsConcrete());
}
// Force the executable init to be type checked before emission.
if (!pd->getCheckedAndContextualizedExecutableInit(pbdEntry))
return;
Mangle::ASTMangler TokenMangler(pd->getASTContext());
std::string onceTokenBuffer = TokenMangler.mangleGlobalInit(pd, pbdEntry,
false);
auto onceTy = BuiltinIntegerType::getWordType(M.getASTContext());
auto onceSILTy
= SILType::getPrimitiveObjectType(onceTy->getCanonicalType());
// TODO: include the module in the onceToken's name mangling.
// Then we can make it fragile.
auto onceToken = SILGlobalVariable::create(M, SILLinkage::Private,
IsNotSerialized,
onceTokenBuffer, onceSILTy);
onceToken->setDeclaration(false);
// Emit the initialization code into a function.
Mangle::ASTMangler FuncMangler(pd->getASTContext());
std::string onceFuncBuffer = FuncMangler.mangleGlobalInit(pd, pbdEntry,
true);
SILFunction *onceFunc = emitLazyGlobalInitializer(onceFuncBuffer, pd,
pbdEntry);
// Generate accessor functions for all of the declared variables, which
// Builtin.once the lazy global initializer we just generated then return
// the address of the individual variable.
GenGlobalAccessors(*this, onceToken, onceFunc)
.visit(pd->getPattern(pbdEntry));
}
void SILGenFunction::emitLazyGlobalInitializer(PatternBindingDecl *binding,
unsigned pbdEntry) {
MagicFunctionName = SILGenModule::getMagicFunctionName(binding->getDeclContext());
// Add unused context pointer argument required to pass to `Builtin.once`
SILBasicBlock &entry = *F.begin();
if (binding->requiresUnavailableDeclABICompatibilityStubs())
emitApplyOfUnavailableCodeReached();
SILType rawPointerSILTy =
getLoweredLoadableType(getASTContext().TheRawPointerType);
entry.createFunctionArgument(rawPointerSILTy);
{
Scope scope(Cleanups, binding);
// Emit the initialization sequence.
emitPatternBinding(binding, pbdEntry, true);
}
// Return void.
auto ret = emitEmptyTuple(CleanupLocation(binding));
B.createReturn(ImplicitReturnLocation(binding), ret);
}
static SILValue emitOnceCall(SILGenFunction &SGF, VarDecl *global,
SILGlobalVariable *onceToken, SILFunction *onceFunc) {
SILType rawPointerSILTy
= SGF.getLoweredLoadableType(SGF.getASTContext().TheRawPointerType);
// Emit a reference to the global token.
SILValue onceTokenAddr = SGF.B.createGlobalAddr(global, onceToken,
/*dependencyToken=*/ SILValue());
onceTokenAddr = SGF.B.createAddressToPointer(global, onceTokenAddr,
rawPointerSILTy,
/*needsStackProtection=*/ false);
// Emit a reference to the function to execute.
SILValue onceFuncRef = SGF.B.createFunctionRefFor(global, onceFunc);
// Call Builtin.once.
SILValue onceArgs[] = {onceTokenAddr, onceFuncRef};
return SGF.B.createBuiltin(global, SGF.getASTContext().getIdentifier("once"),
SILType::getSILTokenType(SGF.SGM.getASTContext()), {}, onceArgs);
}
void SILGenFunction::emitGlobalAccessor(VarDecl *global,
SILGlobalVariable *onceToken,
SILFunction *onceFunc) {
if (global->requiresUnavailableDeclABICompatibilityStubs())
emitApplyOfUnavailableCodeReached();
SILValue token = emitOnceCall(*this, global, onceToken, onceFunc);
// Return the address of the global variable.
// FIXME: It'd be nice to be able to return a SIL address directly.
auto *silG = SGM.getSILGlobalVariable(global, NotForDefinition);
SILValue addr = B.createGlobalAddr(global, silG, token);
SILType rawPointerSILTy
= getLoweredLoadableType(getASTContext().TheRawPointerType);
addr = B.createAddressToPointer(global, addr, rawPointerSILTy,
/*needsStackProtection=*/ false);
auto *ret = B.createReturn(global, addr);
(void)ret;
assert(ret->getDebugScope() && "instruction without scope");
}