Alexander_KS/SAPFOR
4
2
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

private_removing: add call of remove_dead_code pass

Browse Source
This commit is contained in:
Grigorii Gusev
2024-02-24 21:26:05 +03:00
parent 1e9e1db084
commit 9abf5d6c4b
2 changed files with 2 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files

1
sapfor/experts/Sapfor_2017/_src/Sapfor.cpp
View File

@@ -2503,6 +2503,7 @@ void runPass(const int curr_regime, const char *proj_name, const char *folderNam
case PRIVATE_REMOVING: case PRIVATE_REMOVING:
runAnalysis(*project, curr_regime, false, "", folderName); runAnalysis(*project, curr_regime, false, "", folderName);
runPass(REVERT_SUBST_EXPR_RD, proj_name, folderName); runPass(REVERT_SUBST_EXPR_RD, proj_name, folderName);
runPass(REMOVE_DEAD_CODE, proj_name, folderName);
if (folderName) if (folderName)
runAnalysis(*project, UNPARSE_FILE, true, "", folderName); runAnalysis(*project, UNPARSE_FILE, true, "", folderName);
else else

2
sapfor/experts/Sapfor_2017/_src/Transformations/private_removing.cpp
View File

@@ -747,7 +747,7 @@ void removePrivates(SgFile* file, vector<Messages>& messages, int& countOfTransf
//removeDeadCodeFromLoop(varToRemove.loop); // TODO: problem with reverting substitution //removeDeadCodeFromLoop(varToRemove.loop); // TODO: problem with reverting substitution
removeExcessiveDefs(varToRemove); removeExcessiveDefs(varToRemove);
removeEmptyLoops(varToRemove.loop, messages); //removeEmptyLoops(varToRemove.loop, messages); // removing is made by REMOVE_DEAD_CODE pass
SgForStmt* loopStmt = (SgForStmt*)varToRemove.loop->loop->GetOriginal(); SgForStmt* loopStmt = (SgForStmt*)varToRemove.loop->loop->GetOriginal();
vector<SgArrayRefExp*> varRefs = getDirectArrayRefs(loopStmt, varToRemove.varSymbol); vector<SgArrayRefExp*> varRefs = getDirectArrayRefs(loopStmt, varToRemove.varSymbol);