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

[region-isolation] Add support for all pack instructions.

Browse Source
This commit is contained in:
Michael Gottesman
2024-01-29 12:00:18 -08:00
parent feec25cb05
commit 12e4e8d6e8
4 changed files with 215 additions and 13 deletions
Download Patch File Download Diff File Expand all files Collapse all files

61
lib/SILOptimizer/Analysis/RegionAnalysis.cpp
View File

@@ -2190,8 +2190,11 @@ void PartitionOpBuilder::print(llvm::raw_ostream &os) const {
assert(trackableValue);
llvm::dbgs() << "State: %%" << opArg << ". ";
trackableValue->getValueState().print(llvm::dbgs());
llvm::dbgs() << "\n Value: "
llvm::dbgs() << "\n Rep Value: "
<< trackableValue->getRepresentative();
if (auto value = trackableValue->getRepresentative().maybeGetValue()) {
llvm::dbgs() << " Type: " << value->getType() << '\n';
}
}
#endif
}
@@ -2473,16 +2476,12 @@ CONSTANT_TRANSLATION(EndUnpairedAccessInst, Unhandled)
// Packs
//
CONSTANT_TRANSLATION(DeallocPackInst, Unhandled)
CONSTANT_TRANSLATION(DynamicPackIndexInst, Unhandled)
CONSTANT_TRANSLATION(OpenPackElementInst, Unhandled)
CONSTANT_TRANSLATION(PackElementGetInst, Unhandled)
CONSTANT_TRANSLATION(PackElementSetInst, Unhandled)
CONSTANT_TRANSLATION(PackLengthInst, Unhandled)
CONSTANT_TRANSLATION(PackPackIndexInst, Unhandled)
CONSTANT_TRANSLATION(ScalarPackIndexInst, Unhandled)
CONSTANT_TRANSLATION(TuplePackElementAddrInst, Unhandled)
CONSTANT_TRANSLATION(TuplePackExtractInst, Unhandled)
CONSTANT_TRANSLATION(DeallocPackInst, Ignored)
CONSTANT_TRANSLATION(DynamicPackIndexInst, Ignored)
CONSTANT_TRANSLATION(OpenPackElementInst, Ignored)
CONSTANT_TRANSLATION(PackLengthInst, Ignored)
CONSTANT_TRANSLATION(PackPackIndexInst, Ignored)
CONSTANT_TRANSLATION(ScalarPackIndexInst, Ignored)
//===---
// Apply
@@ -2605,6 +2604,46 @@ CAST_WITH_MAYBE_SENDABLE_NONSENDABLE_OP_AND_RESULT(UncheckedValueCastInst)
// Custom Handling
//
TranslationSemantics
PartitionOpTranslator::visitPackElementGetInst(PackElementGetInst *r) {
if (!isNonSendableType(r->getType()))
return TranslationSemantics::Require;
translateSILAssign(SILValue(r), r->getPack());
return TranslationSemantics::Special;
}
TranslationSemantics PartitionOpTranslator::visitTuplePackElementAddrInst(
TuplePackElementAddrInst *r) {
if (!isNonSendableType(r->getType())) {
translateSILRequire(r->getTuple());
} else {
translateSILAssign(SILValue(r), r->getTuple());
}
return TranslationSemantics::Special;
}
TranslationSemantics
PartitionOpTranslator::visitTuplePackExtractInst(TuplePackExtractInst *r) {
if (!isNonSendableType(r->getType())) {
translateSILRequire(r->getTuple());
} else {
translateSILAssign(SILValue(r), r->getTuple());
}
return TranslationSemantics::Special;
}
TranslationSemantics
PartitionOpTranslator::visitPackElementSetInst(PackElementSetInst *r) {
// If the value we are storing is sendable, treat this as a require.
if (!isNonSendableType(r->getValue()->getType())) {
return TranslationSemantics::Require;
}
// Otherwise, this is a store.
translateSILStore(r->getPackOperand(), r->getValueOperand());
return TranslationSemantics::Special;
}
TranslationSemantics
PartitionOpTranslator::visitRawPointerToRefInst(RawPointerToRefInst *r) {
assert(isLookThroughIfResultNonSendable(r) && "Out of sync");