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

[Serialization] Do less work checking if a value can be deserialized. (#9666)

Browse Source 
Previously we recorded the canonical type of the declaration and made
sure we could deserialize that, but that's a lot of extra work
building up intermediate types that we mostly don't need. Instead,
record smaller types that represent the possible points of failure---
right now, just the nominal types that are referenced by the value
(function, variable/constant, subscript, or initializer). I chose to
use types instead of declarations here because types can potentially
encode more complicated constraints later (such as generic types
checking that their arguments still conform).

This gains us back 20% of type-checking time on a compile-time
microbenchmark: `let _ = [1, 2]`. I expect the effect is less dramatic
the more expressions you have, since we only need to deserialize
things once.
This commit is contained in:
Jordan Rose
2017-05-17 09:02:45 -07:00
committed by GitHub
parent 4a7dccdefc
commit 4a6fe941c7
3 changed files with 128 additions and 76 deletions
Download Patch File Download Diff File Expand all files Collapse all files

21
include/swift/Serialization/ModuleFormat.h
View File

@@ -855,12 +855,13 @@ namespace decls_block {
CtorInitializerKindField, // initializer kind CtorInitializerKindField, // initializer kind
GenericEnvironmentIDField, // generic environment GenericEnvironmentIDField, // generic environment
TypeIDField, // interface type TypeIDField, // interface type
TypeIDField, // canonical interface type
DeclIDField, // overridden decl DeclIDField, // overridden decl
AccessibilityKindField, // accessibility AccessibilityKindField, // accessibility
BCFixed<1>, // requires a new vtable slot BCFixed<1>, // requires a new vtable slot
BCFixed<1>, // 'required' but overridden is not (used for recovery) BCFixed<1>, // 'required' but overridden is not (used for recovery)
BCArray<IdentifierIDField> // argument names BCVBR<5>, // number of parameter name components
BCArray<IdentifierIDField> // name components,
// followed by TypeID dependencies
// Trailed by its generic parameters, if any, followed by the parameter // Trailed by its generic parameters, if any, followed by the parameter
// patterns. // patterns.
>; >;
@@ -876,7 +877,6 @@ namespace decls_block {
BCFixed<1>, // HasNonPatternBindingInit? BCFixed<1>, // HasNonPatternBindingInit?
StorageKindField, // StorageKind StorageKindField, // StorageKind
TypeIDField, // interface type TypeIDField, // interface type
TypeIDField, // canonical interface type
DeclIDField, // getter DeclIDField, // getter
DeclIDField, // setter DeclIDField, // setter
DeclIDField, // materializeForSet DeclIDField, // materializeForSet
@@ -886,7 +886,8 @@ namespace decls_block {
DeclIDField, // didset DeclIDField, // didset
DeclIDField, // overridden decl DeclIDField, // overridden decl
AccessibilityKindField, // accessibility AccessibilityKindField, // accessibility
AccessibilityKindField // setter accessibility, if applicable AccessibilityKindField, // setter accessibility, if applicable
BCArray<TypeIDField> // dependencies
>; >;
using ParamLayout = BCRecordLayout< using ParamLayout = BCRecordLayout<
@@ -911,15 +912,16 @@ namespace decls_block {
BCVBR<5>, // number of parameter patterns BCVBR<5>, // number of parameter patterns
GenericEnvironmentIDField, // generic environment GenericEnvironmentIDField, // generic environment
TypeIDField, // interface type TypeIDField, // interface type
TypeIDField, // canonical interface type
DeclIDField, // operator decl DeclIDField, // operator decl
DeclIDField, // overridden function DeclIDField, // overridden function
DeclIDField, // AccessorStorageDecl DeclIDField, // AccessorStorageDecl
BCFixed<1>, // name is compound? BCVBR<5>, // 0 for a simple name, otherwise the number of parameter name
// components plus one
AddressorKindField, // addressor kind AddressorKindField, // addressor kind
AccessibilityKindField, // accessibility AccessibilityKindField, // accessibility
BCFixed<1>, // requires a new vtable slot BCFixed<1>, // requires a new vtable slot
BCArray<IdentifierIDField> // name components BCArray<IdentifierIDField> // name components,
// followed by TypeID dependencies
// The record is trailed by: // The record is trailed by:
// - its _silgen_name, if any // - its _silgen_name, if any
// - its generic parameters, if any // - its generic parameters, if any
@@ -984,7 +986,6 @@ namespace decls_block {
StorageKindField, // StorageKind StorageKindField, // StorageKind
GenericEnvironmentIDField, // generic environment GenericEnvironmentIDField, // generic environment
TypeIDField, // interface type TypeIDField, // interface type
TypeIDField, // canonical interface type
DeclIDField, // getter DeclIDField, // getter
DeclIDField, // setter DeclIDField, // setter
DeclIDField, // materializeForSet DeclIDField, // materializeForSet
@@ -995,7 +996,9 @@ namespace decls_block {
DeclIDField, // overridden decl DeclIDField, // overridden decl
AccessibilityKindField, // accessibility AccessibilityKindField, // accessibility
AccessibilityKindField, // setter accessibility, if applicable AccessibilityKindField, // setter accessibility, if applicable
BCArray<IdentifierIDField> // name components BCVBR<5>, // number of parameter name components
BCArray<IdentifierIDField> // name components,
// followed by TypeID dependencies
// Trailed by: // Trailed by:
// - generic parameters, if any // - generic parameters, if any
// - the indices pattern // - the indices pattern

123
lib/Serialization/Deserialization.cpp
View File

@@ -2566,25 +2566,27 @@ ModuleFile::getDeclChecked(DeclID DID, Optional<DeclContext *> ForcedContext) {
bool isImplicit, isObjC, hasStubImplementation, throws; bool isImplicit, isObjC, hasStubImplementation, throws;
GenericEnvironmentID genericEnvID; GenericEnvironmentID genericEnvID;
uint8_t storedInitKind, rawAccessLevel; uint8_t storedInitKind, rawAccessLevel;
TypeID interfaceID, canonicalTypeID; TypeID interfaceID;
DeclID overriddenID; DeclID overriddenID;
bool needsNewVTableEntry, firstTimeRequired; bool needsNewVTableEntry, firstTimeRequired;
ArrayRef<uint64_t> argNameIDs; unsigned numArgNames;
ArrayRef<uint64_t> argNameAndDependencyIDs;
decls_block::ConstructorLayout::readRecord(scratch, contextID, decls_block::ConstructorLayout::readRecord(scratch, contextID,
rawFailability, isImplicit, rawFailability, isImplicit,
isObjC, hasStubImplementation, isObjC, hasStubImplementation,
throws, storedInitKind, throws, storedInitKind,
genericEnvID, interfaceID, genericEnvID, interfaceID,
canonicalTypeID, overriddenID, overriddenID,
rawAccessLevel, rawAccessLevel,
needsNewVTableEntry, needsNewVTableEntry,
firstTimeRequired, firstTimeRequired,
argNameIDs); numArgNames,
argNameAndDependencyIDs);
// Resolve the name ids. // Resolve the name ids.
SmallVector<Identifier, 2> argNames; SmallVector<Identifier, 2> argNames;
for (auto argNameID : argNameIDs) for (auto argNameID : argNameAndDependencyIDs.slice(0, numArgNames))
argNames.push_back(getIdentifier(argNameID)); argNames.push_back(getIdentifier(argNameID));
DeclName name(ctx, ctx.Id_init, argNames); DeclName name(ctx, ctx.Id_init, argNames);
@@ -2610,10 +2612,12 @@ ModuleFile::getDeclChecked(DeclID DID, Optional<DeclContext *> ForcedContext) {
return llvm::make_error<OverrideError>(name, errorFlags); return llvm::make_error<OverrideError>(name, errorFlags);
} }
auto canonicalType = getTypeChecked(canonicalTypeID); for (auto dependencyID : argNameAndDependencyIDs.slice(numArgNames)) {
if (!canonicalType) { auto dependency = getTypeChecked(dependencyID);
return llvm::make_error<TypeError>( if (!dependency) {
name, takeErrorInfo(canonicalType.takeError()), errorFlags); return llvm::make_error<TypeError>(
name, takeErrorInfo(dependency.takeError()), errorFlags);
}
} }
auto parent = getDeclContext(contextID); auto parent = getDeclContext(contextID);
@@ -2690,18 +2694,20 @@ ModuleFile::getDeclChecked(DeclID DID, Optional<DeclContext *> ForcedContext) {
DeclContextID contextID; DeclContextID contextID;
bool isImplicit, isObjC, isStatic, isLet, hasNonPatternBindingInit; bool isImplicit, isObjC, isStatic, isLet, hasNonPatternBindingInit;
uint8_t storageKind, rawAccessLevel, rawSetterAccessLevel; uint8_t storageKind, rawAccessLevel, rawSetterAccessLevel;
TypeID interfaceTypeID, canonicalTypeID; TypeID interfaceTypeID;
DeclID getterID, setterID, materializeForSetID, willSetID, didSetID; DeclID getterID, setterID, materializeForSetID, willSetID, didSetID;
DeclID addressorID, mutableAddressorID, overriddenID; DeclID addressorID, mutableAddressorID, overriddenID;
ArrayRef<uint64_t> dependencyIDs;
decls_block::VarLayout::readRecord(scratch, nameID, contextID, decls_block::VarLayout::readRecord(scratch, nameID, contextID,
isImplicit, isObjC, isStatic, isLet, isImplicit, isObjC, isStatic, isLet,
hasNonPatternBindingInit, storageKind, hasNonPatternBindingInit, storageKind,
interfaceTypeID, canonicalTypeID, interfaceTypeID,
getterID, setterID, materializeForSetID, getterID, setterID, materializeForSetID,
addressorID, mutableAddressorID, addressorID, mutableAddressorID,
willSetID, didSetID, overriddenID, willSetID, didSetID, overriddenID,
rawAccessLevel, rawSetterAccessLevel); rawAccessLevel, rawSetterAccessLevel,
dependencyIDs);
Identifier name = getIdentifier(nameID); Identifier name = getIdentifier(nameID);
@@ -2711,10 +2717,12 @@ ModuleFile::getDeclChecked(DeclID DID, Optional<DeclContext *> ForcedContext) {
return llvm::make_error<OverrideError>(name); return llvm::make_error<OverrideError>(name);
} }
auto canonicalType = getTypeChecked(canonicalTypeID); for (TypeID dependencyID : dependencyIDs) {
if (!canonicalType) { auto dependency = getTypeChecked(dependencyID);
return llvm::make_error<TypeError>( if (!dependency) {
name, takeErrorInfo(canonicalType.takeError())); return llvm::make_error<TypeError>(
name, takeErrorInfo(dependency.takeError()));
}
} }
auto DC = ForcedContext ? *ForcedContext : getDeclContext(contextID); auto DC = ForcedContext ? *ForcedContext : getDeclContext(contextID);
@@ -2802,37 +2810,42 @@ ModuleFile::getDeclChecked(DeclID DID, Optional<DeclContext *> ForcedContext) {
bool isStatic; bool isStatic;
uint8_t rawStaticSpelling, rawAccessLevel, rawAddressorKind; uint8_t rawStaticSpelling, rawAccessLevel, rawAddressorKind;
bool isObjC, isMutating, hasDynamicSelf, throws; bool isObjC, isMutating, hasDynamicSelf, throws;
unsigned numParamPatterns; unsigned numParamPatterns, numNameComponentsBiased;
GenericEnvironmentID genericEnvID; GenericEnvironmentID genericEnvID;
TypeID interfaceTypeID, canonicalTypeID; TypeID interfaceTypeID;
DeclID associatedDeclID; DeclID associatedDeclID;
DeclID overriddenID; DeclID overriddenID;
DeclID accessorStorageDeclID; DeclID accessorStorageDeclID;
bool hasCompoundName, needsNewVTableEntry; bool needsNewVTableEntry;
ArrayRef<uint64_t> nameIDs; ArrayRef<uint64_t> nameAndDependencyIDs;
decls_block::FuncLayout::readRecord(scratch, contextID, isImplicit, decls_block::FuncLayout::readRecord(scratch, contextID, isImplicit,
isStatic, rawStaticSpelling, isObjC, isStatic, rawStaticSpelling, isObjC,
isMutating, hasDynamicSelf, throws, isMutating, hasDynamicSelf, throws,
numParamPatterns, genericEnvID, numParamPatterns, genericEnvID,
interfaceTypeID, canonicalTypeID, interfaceTypeID,
associatedDeclID, overriddenID, associatedDeclID, overriddenID,
accessorStorageDeclID, hasCompoundName, accessorStorageDeclID,
numNameComponentsBiased,
rawAddressorKind, rawAccessLevel, rawAddressorKind, rawAccessLevel,
needsNewVTableEntry, nameIDs); needsNewVTableEntry,
nameAndDependencyIDs);
// Resolve the name ids. // Resolve the name ids.
SmallVector<Identifier, 2> names; Identifier baseName = getIdentifier(nameAndDependencyIDs.front());
for (auto nameID : nameIDs)
names.push_back(getIdentifier(nameID));
DeclName name; DeclName name;
if (!names.empty()) { ArrayRef<uint64_t> dependencyIDs;
if (hasCompoundName) if (numNameComponentsBiased != 0) {
name = DeclName(ctx, names[0], SmallVector<Identifier, 2> names;
llvm::makeArrayRef(names.begin() + 1, names.end())); for (auto nameID : nameAndDependencyIDs.slice(1,
else numNameComponentsBiased-1)){
name = DeclName(names[0]); names.push_back(getIdentifier(nameID));
}
name = DeclName(ctx, baseName, names);
dependencyIDs = nameAndDependencyIDs.slice(numNameComponentsBiased);
} else {
name = baseName;
dependencyIDs = nameAndDependencyIDs.drop_front();
} }
DeclDeserializationError::Flags errorFlags; DeclDeserializationError::Flags errorFlags;
@@ -2845,10 +2858,12 @@ ModuleFile::getDeclChecked(DeclID DID, Optional<DeclContext *> ForcedContext) {
return llvm::make_error<OverrideError>(name, errorFlags); return llvm::make_error<OverrideError>(name, errorFlags);
} }
auto canonicalType = getTypeChecked(canonicalTypeID); for (TypeID dependencyID : dependencyIDs) {
if (!canonicalType) { auto dependency = getTypeChecked(dependencyID);
return llvm::make_error<TypeError>( if (!dependency) {
name, takeErrorInfo(canonicalType.takeError()), errorFlags); return llvm::make_error<TypeError>(
name, takeErrorInfo(dependency.takeError()), errorFlags);
}
} }
auto DC = getDeclContext(contextID); auto DC = getDeclContext(contextID);
@@ -3355,28 +3370,29 @@ ModuleFile::getDeclChecked(DeclID DID, Optional<DeclContext *> ForcedContext) {
DeclContextID contextID; DeclContextID contextID;
bool isImplicit, isObjC; bool isImplicit, isObjC;
GenericEnvironmentID genericEnvID; GenericEnvironmentID genericEnvID;
TypeID interfaceTypeID, canonicalTypeID; TypeID interfaceTypeID;
DeclID getterID, setterID, materializeForSetID; DeclID getterID, setterID, materializeForSetID;
DeclID addressorID, mutableAddressorID, willSetID, didSetID; DeclID addressorID, mutableAddressorID, willSetID, didSetID;
DeclID overriddenID; DeclID overriddenID;
uint8_t rawAccessLevel, rawSetterAccessLevel; uint8_t rawAccessLevel, rawSetterAccessLevel;
uint8_t rawStorageKind; uint8_t rawStorageKind;
ArrayRef<uint64_t> argNameIDs; unsigned numArgNames;
ArrayRef<uint64_t> argNameAndDependencyIDs;
decls_block::SubscriptLayout::readRecord(scratch, contextID, decls_block::SubscriptLayout::readRecord(scratch, contextID,
isImplicit, isObjC, rawStorageKind, isImplicit, isObjC, rawStorageKind,
genericEnvID, genericEnvID,
interfaceTypeID, canonicalTypeID, interfaceTypeID,
getterID, setterID, getterID, setterID,
materializeForSetID, materializeForSetID,
addressorID, mutableAddressorID, addressorID, mutableAddressorID,
willSetID, didSetID, willSetID, didSetID,
overriddenID, rawAccessLevel, overriddenID, rawAccessLevel,
rawSetterAccessLevel, rawSetterAccessLevel, numArgNames,
argNameIDs); argNameAndDependencyIDs);
// Resolve the name ids. // Resolve the name ids.
SmallVector<Identifier, 2> argNames; SmallVector<Identifier, 2> argNames;
for (auto argNameID : argNameIDs) for (auto argNameID : argNameAndDependencyIDs.slice(0, numArgNames))
argNames.push_back(getIdentifier(argNameID)); argNames.push_back(getIdentifier(argNameID));
DeclName name(ctx, ctx.Id_subscript, argNames); DeclName name(ctx, ctx.Id_subscript, argNames);
@@ -3386,10 +3402,12 @@ ModuleFile::getDeclChecked(DeclID DID, Optional<DeclContext *> ForcedContext) {
return llvm::make_error<OverrideError>(name); return llvm::make_error<OverrideError>(name);
} }
auto canonicalType = getTypeChecked(canonicalTypeID); for (TypeID dependencyID : argNameAndDependencyIDs.slice(numArgNames)) {
if (!canonicalType) { auto dependency = getTypeChecked(dependencyID);
return llvm::make_error<TypeError>( if (!dependency) {
name, takeErrorInfo(canonicalType.takeError())); return llvm::make_error<TypeError>(
name, takeErrorInfo(dependency.takeError()));
}
} }
auto parent = getDeclContext(contextID); auto parent = getDeclContext(contextID);
@@ -4379,8 +4397,15 @@ Expected<Type> ModuleFile::getTypeChecked(TypeID TID) {
decls_block::UnboundGenericTypeLayout::readRecord(scratch, decls_block::UnboundGenericTypeLayout::readRecord(scratch,
genericID, parentID); genericID, parentID);
auto genericDecl = cast<GenericTypeDecl>(getDecl(genericID)); auto nominalOrError = getDeclChecked(genericID);
typeOrOffset = UnboundGenericType::get(genericDecl, getType(parentID), ctx); if (!nominalOrError)
return nominalOrError.takeError();
auto genericDecl = cast<GenericTypeDecl>(nominalOrError.get());
// FIXME: Check this?
auto parentTy = getType(parentID);
typeOrOffset = UnboundGenericType::get(genericDecl, parentTy, ctx);
break; break;
} }

60
lib/Serialization/Serialization.cpp
View File

@@ -2315,6 +2315,15 @@ void Serializer::writeForeignErrorConvention(const ForeignErrorConvention &fec){
resultTypeID); resultTypeID);
} }
static SmallVector<Type, 4> collectDependenciesFromType(CanType ty) {
llvm::SmallSetVector<Type, 4> result;
ty.visit([&](CanType next) {
if (auto *nominal = next->getAnyNominal())
result.insert(nominal->getDeclaredInterfaceType());
});
return result.takeVector();
}
void Serializer::writeDecl(const Decl *D) { void Serializer::writeDecl(const Decl *D) {
using namespace decls_block; using namespace decls_block;
@@ -2770,7 +2779,11 @@ void Serializer::writeDecl(const Decl *D) {
if (var->isSettable(nullptr)) if (var->isSettable(nullptr))
rawSetterAccessLevel = rawSetterAccessLevel =
getRawStableAccessibility(var->getSetterAccessibility()); getRawStableAccessibility(var->getSetterAccessibility());
Type ty = var->getInterfaceType(); Type ty = var->getInterfaceType();
SmallVector<TypeID, 2> dependencies;
for (Type dependency : collectDependenciesFromType(ty->getCanonicalType()))
dependencies.push_back(addTypeRef(dependency));
unsigned abbrCode = DeclTypeAbbrCodes[VarLayout::Code]; unsigned abbrCode = DeclTypeAbbrCodes[VarLayout::Code];
VarLayout::emitRecord(Out, ScratchRecord, abbrCode, VarLayout::emitRecord(Out, ScratchRecord, abbrCode,
@@ -2783,7 +2796,6 @@ void Serializer::writeDecl(const Decl *D) {
var->hasNonPatternBindingInit(), var->hasNonPatternBindingInit(),
(unsigned) accessors.Kind, (unsigned) accessors.Kind,
addTypeRef(ty), addTypeRef(ty),
addTypeRef(ty->getCanonicalType()),
addDeclRef(accessors.Get), addDeclRef(accessors.Get),
addDeclRef(accessors.Set), addDeclRef(accessors.Set),
addDeclRef(accessors.MaterializeForSet), addDeclRef(accessors.MaterializeForSet),
@@ -2792,7 +2804,8 @@ void Serializer::writeDecl(const Decl *D) {
addDeclRef(accessors.WillSet), addDeclRef(accessors.WillSet),
addDeclRef(accessors.DidSet), addDeclRef(accessors.DidSet),
addDeclRef(var->getOverriddenDecl()), addDeclRef(var->getOverriddenDecl()),
rawAccessLevel, rawSetterAccessLevel); rawAccessLevel, rawSetterAccessLevel,
dependencies);
break; break;
} }
@@ -2826,10 +2839,11 @@ void Serializer::writeDecl(const Decl *D) {
auto contextID = addDeclContextRef(fn->getDeclContext()); auto contextID = addDeclContextRef(fn->getDeclContext());
unsigned abbrCode = DeclTypeAbbrCodes[FuncLayout::Code]; unsigned abbrCode = DeclTypeAbbrCodes[FuncLayout::Code];
SmallVector<IdentifierID, 4> nameComponents; SmallVector<IdentifierID, 4> nameComponentsAndDependencies;
nameComponents.push_back(addIdentifierRef(fn->getFullName().getBaseName())); nameComponentsAndDependencies.push_back(
addIdentifierRef(fn->getFullName().getBaseName()));
for (auto argName : fn->getFullName().getArgumentNames()) for (auto argName : fn->getFullName().getArgumentNames())
nameComponents.push_back(addIdentifierRef(argName)); nameComponentsAndDependencies.push_back(addIdentifierRef(argName));
uint8_t rawAccessLevel = uint8_t rawAccessLevel =
getRawStableAccessibility(fn->getFormalAccess()); getRawStableAccessibility(fn->getFormalAccess());
@@ -2837,6 +2851,9 @@ void Serializer::writeDecl(const Decl *D) {
getRawStableAddressorKind(fn->getAddressorKind()); getRawStableAddressorKind(fn->getAddressorKind());
Type ty = fn->getInterfaceType(); Type ty = fn->getInterfaceType();
for (auto dependency : collectDependenciesFromType(ty->getCanonicalType()))
nameComponentsAndDependencies.push_back(addTypeRef(dependency));
FuncLayout::emitRecord(Out, ScratchRecord, abbrCode, FuncLayout::emitRecord(Out, ScratchRecord, abbrCode,
contextID, contextID,
fn->isImplicit(), fn->isImplicit(),
@@ -2851,15 +2868,15 @@ void Serializer::writeDecl(const Decl *D) {
addGenericEnvironmentRef( addGenericEnvironmentRef(
fn->getGenericEnvironment()), fn->getGenericEnvironment()),
addTypeRef(ty), addTypeRef(ty),
addTypeRef(ty->getCanonicalType()),
addDeclRef(fn->getOperatorDecl()), addDeclRef(fn->getOperatorDecl()),
addDeclRef(fn->getOverriddenDecl()), addDeclRef(fn->getOverriddenDecl()),
addDeclRef(fn->getAccessorStorageDecl()), addDeclRef(fn->getAccessorStorageDecl()),
!fn->getFullName().isSimpleName(), fn->getFullName().getArgumentNames().size() +
fn->getFullName().isCompoundName(),
rawAddressorKind, rawAddressorKind,
rawAccessLevel, rawAccessLevel,
fn->needsNewVTableEntry(), fn->needsNewVTableEntry(),
nameComponents); nameComponentsAndDependencies);
writeGenericParams(fn->getGenericParams()); writeGenericParams(fn->getGenericParams());
@@ -2909,9 +2926,13 @@ void Serializer::writeDecl(const Decl *D) {
auto contextID = addDeclContextRef(subscript->getDeclContext()); auto contextID = addDeclContextRef(subscript->getDeclContext());
SmallVector<IdentifierID, 4> nameComponents; SmallVector<IdentifierID, 4> nameComponentsAndDependencies;
for (auto argName : subscript->getFullName().getArgumentNames()) for (auto argName : subscript->getFullName().getArgumentNames())
nameComponents.push_back(addIdentifierRef(argName)); nameComponentsAndDependencies.push_back(addIdentifierRef(argName));
Type ty = subscript->getInterfaceType();
for (Type dependency : collectDependenciesFromType(ty->getCanonicalType()))
nameComponentsAndDependencies.push_back(addTypeRef(dependency));
Accessors accessors = getAccessors(subscript); Accessors accessors = getAccessors(subscript);
uint8_t rawAccessLevel = uint8_t rawAccessLevel =
@@ -2920,7 +2941,6 @@ void Serializer::writeDecl(const Decl *D) {
if (subscript->isSettable()) if (subscript->isSettable())
rawSetterAccessLevel = rawSetterAccessLevel =
getRawStableAccessibility(subscript->getSetterAccessibility()); getRawStableAccessibility(subscript->getSetterAccessibility());
Type ty = subscript->getInterfaceType();
unsigned abbrCode = DeclTypeAbbrCodes[SubscriptLayout::Code]; unsigned abbrCode = DeclTypeAbbrCodes[SubscriptLayout::Code];
SubscriptLayout::emitRecord(Out, ScratchRecord, abbrCode, SubscriptLayout::emitRecord(Out, ScratchRecord, abbrCode,
@@ -2931,7 +2951,6 @@ void Serializer::writeDecl(const Decl *D) {
addGenericEnvironmentRef( addGenericEnvironmentRef(
subscript->getGenericEnvironment()), subscript->getGenericEnvironment()),
addTypeRef(ty), addTypeRef(ty),
addTypeRef(ty->getCanonicalType()),
addDeclRef(accessors.Get), addDeclRef(accessors.Get),
addDeclRef(accessors.Set), addDeclRef(accessors.Set),
addDeclRef(accessors.MaterializeForSet), addDeclRef(accessors.MaterializeForSet),
@@ -2942,7 +2961,9 @@ void Serializer::writeDecl(const Decl *D) {
addDeclRef(subscript->getOverriddenDecl()), addDeclRef(subscript->getOverriddenDecl()),
rawAccessLevel, rawAccessLevel,
rawSetterAccessLevel, rawSetterAccessLevel,
nameComponents); subscript->
getFullName().getArgumentNames().size(),
nameComponentsAndDependencies);
writeGenericParams(subscript->getGenericParams()); writeGenericParams(subscript->getGenericParams());
writeParameterList(subscript->getIndices()); writeParameterList(subscript->getIndices());
@@ -2956,13 +2977,16 @@ void Serializer::writeDecl(const Decl *D) {
auto contextID = addDeclContextRef(ctor->getDeclContext()); auto contextID = addDeclContextRef(ctor->getDeclContext());
SmallVector<IdentifierID, 4> nameComponents; SmallVector<IdentifierID, 4> nameComponentsAndDependencies;
for (auto argName : ctor->getFullName().getArgumentNames()) for (auto argName : ctor->getFullName().getArgumentNames())
nameComponents.push_back(addIdentifierRef(argName)); nameComponentsAndDependencies.push_back(addIdentifierRef(argName));
Type ty = ctor->getInterfaceType();
for (Type dependency : collectDependenciesFromType(ty->getCanonicalType()))
nameComponentsAndDependencies.push_back(addTypeRef(dependency));
uint8_t rawAccessLevel = uint8_t rawAccessLevel =
getRawStableAccessibility(ctor->getFormalAccess()); getRawStableAccessibility(ctor->getFormalAccess());
Type ty = ctor->getInterfaceType();
bool firstTimeRequired = ctor->isRequired(); bool firstTimeRequired = ctor->isRequired();
if (auto *overridden = ctor->getOverriddenDecl()) if (auto *overridden = ctor->getOverriddenDecl())
@@ -2983,12 +3007,12 @@ void Serializer::writeDecl(const Decl *D) {
addGenericEnvironmentRef( addGenericEnvironmentRef(
ctor->getGenericEnvironment()), ctor->getGenericEnvironment()),
addTypeRef(ty), addTypeRef(ty),
addTypeRef(ty->getCanonicalType()),
addDeclRef(ctor->getOverriddenDecl()), addDeclRef(ctor->getOverriddenDecl()),
rawAccessLevel, rawAccessLevel,
ctor->needsNewVTableEntry(), ctor->needsNewVTableEntry(),
firstTimeRequired, firstTimeRequired,
nameComponents); ctor->getFullName().getArgumentNames().size(),
nameComponentsAndDependencies);
writeGenericParams(ctor->getGenericParams()); writeGenericParams(ctor->getGenericParams());
assert(ctor->getParameterLists().size() == 2); assert(ctor->getParameterLists().size() == 2);