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

[sil-aa] Make the comment descriptor of transitive escape inst clearer and use a refactored method to determine if a builtin is read none instead of doing it manually.

Browse Source 
Swift SVN r13793
This commit is contained in:
Michael Gottesman
2014-02-12 00:14:30 +00:00
parent f70a1d8d1b
commit 060a6b59fa
1 changed files with 4 additions and 5 deletions
Download Patch File Download Diff File Expand all files Collapse all files

9
lib/SILAnalysis/AliasAnalysis.cpp
View File

@@ -111,7 +111,8 @@ enum CaptureException : unsigned {
} // end anonymous namespace
/// Is Inst an instruction whose operands escape only if Inst itself escapes?
/// Is Inst an instruction which escapes if and only if one of its results
/// escape?
static bool isTransitiveEscapeInst(SILInstruction *Inst) {
switch (Inst->getKind()) {
case ValueKind::AllocArrayInst:
@@ -257,10 +258,8 @@ static bool valueMayBeCaptured(SILValue V, CaptureException Exception) {
// memory in some manner?
// TODO: Add in knowledge about how parameters work on swift to make this
// more aggressive.
if (auto *AI = dyn_cast<ApplyInst>(Inst))
if (auto *BI = dyn_cast<BuiltinFunctionRefInst>(AI->getCallee().getDef()))
if (isReadNone(BI))
continue;
if (isNoReadApplyInst(Inst))
continue;
// Loading from a pointer does not cause it to be captured.
if (isa<LoadInst>(Inst))