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

Implement (de-)serialization for open_existential[_ref].

Browse Source 
Swift SVN r13898
This commit is contained in:
Doug Gregor
2014-02-14 05:01:18 +00:00
parent cf5aaa2112
commit 1fa4612eb8
5 changed files with 38 additions and 5 deletions
Download Patch File Download Diff File Expand all files Collapse all files

16
lib/Serialization/SerializeSIL.cpp
View File

@@ -286,7 +286,9 @@ void SILSerializer::writeSILInstruction(const SILInstruction &SI) {
SILValue operand;
SILType Ty;
ArrayRef<ProtocolConformance*> conformances;
SmallVector<ProtocolDecl *, 4> protocols;
CanType existentialType;
switch (SI.getKind()) {
default: assert(0 && "out of sync with parent");
case ValueKind::InitExistentialInst: {
@@ -294,6 +296,7 @@ void SILSerializer::writeSILInstruction(const SILInstruction &SI) {
operand = IEI.getOperand();
Ty = IEI.getConcreteType();
conformances = IEI.getConformances();
existentialType = IEI.getOperand().getType().getSwiftRValueType();
break;
}
case ValueKind::InitExistentialRefInst: {
@@ -301,9 +304,15 @@ void SILSerializer::writeSILInstruction(const SILInstruction &SI) {
operand = IERI.getOperand();
Ty = IERI.getType();
conformances = IERI.getConformances();
existentialType = IERI.getType().getSwiftRValueType();
break;
}
}
// Retrieve the protocols.
assert(existentialType->isExistentialType() && "Not an existential type?");
existentialType->isExistentialType(protocols);
unsigned abbrCode = SILAbbrCodes[SILInitExistentialLayout::Code];
SILInitExistentialLayout::emitRecord(Out, ScratchRecord, abbrCode,
(unsigned)SI.getKind(),
@@ -315,8 +324,9 @@ void SILSerializer::writeSILInstruction(const SILInstruction &SI) {
operand.getResultNumber(),
conformances.size());
for (auto *c : conformances)
S.writeConformance(c->getProtocol(), c, nullptr, SILAbbrCodes);
for (unsigned i = 0, n = conformances.size(); i != n; ++i) {
S.writeConformance(protocols[i], conformances[i], nullptr, SILAbbrCodes);
}
break;
}
case ValueKind::DeallocBoxInst: