averello/swift-mirror
1
0
Fork 0
mirror of https://github.com/apple/swift.git synced 2025-12-21 12:14:44 +01:00
Code Issues Packages Projects Releases Wiki Activity

AST: Lazy construct GenericSignatureBuilder in a GenericEnvironment

Browse Source
This commit is contained in:
Slava Pestov
2021-07-14 01:03:43 -04:00
parent 6a11410978
commit 323e52e66a
4 changed files with 23 additions and 21 deletions
Download Patch File Download Diff File Expand all files Collapse all files

22
lib/AST/GenericEnvironment.cpp
View File

@@ -46,15 +46,24 @@ GenericEnvironment::getGenericParams() const {
return Signature->getGenericParams();
}
GenericEnvironment::GenericEnvironment(GenericSignature signature,
GenericSignatureBuilder *builder)
: Signature(signature), Builder(builder)
GenericEnvironment::GenericEnvironment(GenericSignature signature)
: Signature(signature)
{
// Clear out the memory that holds the context types.
std::uninitialized_fill(getContextTypes().begin(), getContextTypes().end(),
Type());
}
GenericSignatureBuilder *GenericEnvironment::getGenericSignatureBuilder() const {
if (Builder)
return Builder;
const_cast<GenericEnvironment *>(this)->Builder
= Signature->getGenericSignatureBuilder();
return Builder;
}
void GenericEnvironment::addMapping(GenericParamKey key,
Type contextType) {
// Find the index into the parallel arrays of generic parameters and
@@ -122,15 +131,14 @@ Type QueryInterfaceTypeSubstitutions::operator()(SubstitutableType *type) const{
// If the context type isn't already known, lazily create it.
Type contextType = self->getContextTypes()[index];
if (!contextType) {
assert(self->Builder &&"Missing generic signature builder for lazy query");
auto *builder = self->getGenericSignatureBuilder();
auto equivClass =
self->Builder->resolveEquivalenceClass(
builder->resolveEquivalenceClass(
type,
ArchetypeResolutionKind::CompleteWellFormed);
auto mutableSelf = const_cast<GenericEnvironment *>(self);
contextType = equivClass->getTypeInContext(*mutableSelf->Builder,
mutableSelf);
contextType = equivClass->getTypeInContext(*builder, mutableSelf);
// FIXME: Redundant mapping from key -> index.
if (self->getContextTypes()[index].isNull())