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 an AccessedStorageDumper pass to verify findAccessedStorage.

Browse Source 
Rename the existing pass to AccessedStorageAnalysisDumper.

AccessedStorage is useful on its own as a utility without the
analysis. We need a way to test the utility itself.

Add test cases for the previous commit that introduced
FindPhiStorageVisitor.
This commit is contained in:
Andrew Trick
2020-07-14 23:06:35 -07:00
parent acf72bdf26
commit 5091aee6f2
7 changed files with 237 additions and 13 deletions
Download Patch File Download Diff File Expand all files Collapse all files

18
lib/SIL/Utils/MemAccessUtils.cpp
View File

@@ -190,6 +190,10 @@ const char *AccessedStorage::getKindName(AccessedStorage::Kind k) {
}
void AccessedStorage::print(raw_ostream &os) const {
if (!*this) {
os << "INVALID\n";
return;
}
os << getKindName(getKind()) << " ";
switch (getKind()) {
case Box:
@@ -246,10 +250,16 @@ public:
this->visit(pointerWorklist.pop_back_val());
}
// If a common path component was found, recursively look for the storage.
if (commonDefinition && commonDefinition.getValue()) {
auto storage = storageVisitor.findStorage(commonDefinition.getValue());
(void)storage; // The same storageVisitor called us. It has already
// recorded the storage that it found.
if (commonDefinition) {
if (commonDefinition.getValue()) {
auto storage = storageVisitor.findStorage(commonDefinition.getValue());
(void)storage; // The same storageVisitor called us. It has already
// recorded the storage that it found.
} else {
// If divergent paths were found, invalidate any previously discovered
// storage.
storageVisitor.setStorage(AccessedStorage());
}
}
}