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

Add support for Init Existentials for opaque value types

Browse Source
This commit is contained in:
Joe Shajrawi
2017-02-13 13:58:41 -08:00
parent b5bb43cc3f
commit 1e521c453b
22 changed files with 211 additions and 2 deletions
Download Patch File Download Diff File Expand all files Collapse all files

25
lib/SIL/SILVerifier.cpp
View File

@@ -2331,6 +2331,31 @@ public:
verifyOpenedArchetype(AEI, AEI->getFormalConcreteType());
}
void checkInitExistentialOpaqueInst(InitExistentialOpaqueInst *IEI) {
SILType concreteType = IEI->getOperand()->getType();
require(!concreteType.isAddress(),
"init_existential_opaque must not be used on addresses");
require(!IEI->getType().isAddress(),
"init_existential_opaque result must not be an address");
// The operand must be at the right abstraction level for the existential.
SILType exType = IEI->getType();
auto archetype = ArchetypeType::getOpened(exType.getSwiftRValueType());
auto loweredTy = F.getModule().Types.getLoweredType(
Lowering::AbstractionPattern(archetype), IEI->getFormalConcreteType());
requireSameType(
concreteType, loweredTy,
"init_existential_opaque operand must be lowered to the right "
"abstraction level for the existential");
require(isLoweringOf(IEI->getOperand()->getType(),
IEI->getFormalConcreteType()),
"init_existential_opaque operand must be a lowering of the formal "
"concrete type");
checkExistentialProtocolConformances(exType, IEI->getConformances());
verifyOpenedArchetype(IEI, IEI->getFormalConcreteType());
}
void checkInitExistentialRefInst(InitExistentialRefInst *IEI) {
SILType concreteType = IEI->getOperand()->getType();
require(concreteType.getSwiftType()->isBridgeableObjectType(),