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

Merge pull request 'private_removing: add check for indirect array usage + structural code changes' (#12) from private_removing into master

Browse Source
This commit was merged in pull request #12.
This commit is contained in:
Alexander_KS
2023-10-26 08:36:48 +00:00
parent fb8d29fa3e 78a05d1a53
commit 91788bd09e
4 changed files with 500 additions and 236 deletions
Download Patch File Download Diff File Expand all files Collapse all files

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

File diff suppressed because it is too large Load Diff

4
sapfor/experts/Sapfor_2017/_src/Transformations/private_removing.h
View File

@@ -10,8 +10,8 @@
// fixedDimensions is used for comparison of DEF and USE statements // fixedDimensions is used for comparison of DEF and USE statements
struct PrivateToRemove { struct PrivateToRemove {
LoopGraph* loop; LoopGraph* loop;
SgSymbol* var; SgSymbol* varSymbol;
std::vector<std::pair<SgAssignStmt*, SgAssignStmt*>> defUseStmtsPairs; std::vector<std::pair<SgAssignStmt*, SgStatement*>> defUseStmtsPairs;
std::vector<bool> fixedDimensions; std::vector<bool> fixedDimensions;
}; };

3
sapfor/experts/Sapfor_2017/_src/Utils/errors.h
View File

@@ -101,6 +101,7 @@ enum typeMessage { WARR, ERROR, NOTE };
// 22 "cannot transform ..." // 22 "cannot transform ..."
// 23 "cannot transform ..." // 23 "cannot transform ..."
// 24 "loop on line %d was removed" // 24 "loop on line %d was removed"
// 25 "Cannot remove private var '%s' - it is used in the call of function '%s'"
// 30xx PARALLEL GROUP // 30xx PARALLEL GROUP
// 01 "add across dependencies by array '%s' to loop" // 01 "add across dependencies by array '%s' to loop"
@@ -531,7 +532,7 @@ static const wchar_t *R197 = L"R197:";
//2024 //2024
static const wchar_t *R198 = L"R198:%d"; static const wchar_t *R198 = L"R198:%d";
//2025 //2025
static const wchar_t *R203 = L"R203:%s%d"; static const wchar_t *R203 = L"R203:%s%s";
//3001 //3001
static const wchar_t *R108 = L"R108:%s"; static const wchar_t *R108 = L"R108:%s";

2
sapfor/experts/Sapfor_2017/_src/Utils/russian_errors_text.txt
View File

@@ -243,7 +243,7 @@ R197 = "Преобразование не может быть выполнено
//2024 //2024
R198 = "Цикл на строке %d был удалён" R198 = "Цикл на строке %d был удалён"
//2025 //2025
R203 = "Нельзя удалить приватную переменную '%s' - она используется в вызове функции на строке %d" R203 = "Нельзя удалить приватную переменную '%s' - она используется в вызове функции %s"
//3001 //3001
R108 = "Добавлена across-зависимость к массиву '%s' в цикле" R108 = "Добавлена across-зависимость к массиву '%s' в цикле"