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

findlocaldata #20

Merged
Alexander_KS merged 2 commits from CP into master 2023-12-22 07:50:31 +00:00
Conversation 2 Commits 2 Files Changed 1 +37 -19
Alexander_KS commented 2023-12-20 14:38:14 +00:00
Owner
Copy Link
No description provided.
Alexander_KS added 1 commit 2023-12-20 14:38:15 +00:00
findlocaldata 36e401b5d2
Alexander_KS reviewed 2023-12-20 14:46:30 +00:00
Alexander_KS left a comment
Author
Owner
Copy Link

@AntonMilienkov

@AntonMilienkov
sapfor/experts/Sapfor_2017/_src/Transformations/checkpoints.cpp Outdated
@@ -832,7 +851,7 @@ void createCheckpoints(SgFile* file, const map<string, CommonBlock*>& commonBloc
vector<SgExpression*> local;
map<string, SgStatement*> localParams;
set<string> addedToList;
findLocalData(func->lexNext(), firstExec, local, localParams, addedToList);
Alexander_KS commented 2023-12-20 14:44:46 +00:00
Author
Owner
Copy Link

и тут

и тут
AntonMilienkov commented 2023-12-20 18:05:39 +00:00
Contributor
Copy Link

была немного изменена сигнатура функции и теперь она принимает не первый statement из объявления, а функцию (или название модуля). это нужно для того чтобы получить название функции и после - структуру FuncInfo

была немного изменена сигнатура функции и теперь она принимает не первый statement из объявления, а функцию (или название модуля). это нужно для того чтобы получить название функции и после - структуру FuncInfo
sapfor/experts/Sapfor_2017/_src/Transformations/checkpoints.cpp Outdated
@@ -740,7 +759,7 @@ static void processModules(SgFile* file)
vector<SgExpression*> local;
map<string, SgStatement*> localParams;
set<string> addedToList;
findLocalData(mod->lexNext(), hasContains ? st : mod->lastNodeOfStmt(), local, localParams, addedToList);
Alexander_KS commented 2023-12-20 14:44:41 +00:00
Author
Owner
Copy Link

а зачем тут удаляется lexNext ?

а зачем тут удаляется lexNext ?
sapfor/experts/Sapfor_2017/_src/Transformations/checkpoints.cpp Outdated
@@ -3,6 +3,7 @@
#include <vector>
#include <string>
#include <set>
#include <iostream>
Alexander_KS commented 2023-12-20 14:38:30 +00:00
Author
Owner
Copy Link

этот заголовок для отладки использовлася?

этот заголовок для отладки использовлася?
AntonMilienkov commented 2023-12-20 18:05:57 +00:00
Contributor
Copy Link

да, впредь буду удалять

да, впредь буду удалять
sapfor/experts/Sapfor_2017/_src/Transformations/checkpoints.cpp Outdated
@@ -39,3 +40,3 @@
static void findDecls(SgExpression* ex, vector<SgExpression*>& local, const map<string, SgStatement*>& localParams,
set<string>& added)
set<string>& added, std::set<std::string>& IntentInadded)
Alexander_KS commented 2023-12-20 14:39:10 +00:00
Author
Owner
Copy Link

std:: лишнее, так как сверху есть using namespace std;

std:: лишнее, так как сверху есть using namespace std;
AntonMilienkov commented 2023-12-20 18:07:17 +00:00
Contributor
Copy Link

ок

ок
sapfor/experts/Sapfor_2017/_src/Transformations/checkpoints.cpp Outdated
@@ -76,0 +90,4 @@
{
SgStatement* start = func->lexNext();
FuncInfo* funcI = findFileInfoByName(func, allFuncInfo);
Alexander_KS commented 2023-12-20 14:40:07 +00:00
Author
Owner
Copy Link

зачем искать эту функцию заново, если она уже ищется до вызова ? ее нужно передать просто, и не передавать вектор

зачем искать эту функцию заново, если она уже ищется до вызова ? ее нужно передать просто, и не передавать вектор
AntonMilienkov commented 2023-12-20 18:11:27 +00:00
Contributor
Copy Link

не понял про "заново", кажется, что не ищется. Эта функция взята из функции processFunctionCallChain (написанной студенткой) и этот код (если его раскомментить) выполняется позже. До вывзова findlocatedata ищется тоьлко название функции, в которой есть create checkpoint.
Так как подобный код есть в processFunctionCallChain, я решил выделить его в отдельную функцию

не понял про "заново", кажется, что не ищется. Эта функция взята из функции processFunctionCallChain (написанной студенткой) и этот код (если его раскомментить) выполняется позже. До вывзова findlocatedata ищется тоьлко название функции, в которой есть create checkpoint. Так как подобный код есть в processFunctionCallChain, я решил выделить его в отдельную функцию
sapfor/experts/Sapfor_2017/_src/Transformations/checkpoints.cpp Outdated
@@ -76,0 +93,4 @@
FuncInfo* funcI = findFileInfoByName(func, allFuncInfo);
std::set<std::string> IntentInadded;
for (int i = 0; i < funcI->funcParams.countOfPars; ++i)
if (funcI->funcParams.isArgIn(i) && !funcI->funcParams.isArgOut(i))
Alexander_KS commented 2023-12-20 14:46:05 +00:00
Author
Owner
Copy Link

есть еще isArgInOut, надо просто посмотреть доступные функции

есть еще isArgInOut, надо просто посмотреть доступные функции
AntonMilienkov commented 2023-12-20 18:13:12 +00:00
Contributor
Copy Link

isArgInOut реализован следующим образом:
bool isArgInOut(const int num) const
{
if (num >= countOfPars)
return false;
else
return isArgIn(num) && isArgOut(num);
}

Поэтому, если переменная не out, то она и не inout

isArgInOut реализован следующим образом: bool isArgInOut(const int num) const { if (num >= countOfPars) return false; else return isArgIn(num) && isArgOut(num); } Поэтому, если переменная не out, то она и не inout
Alexander_KS commented 2023-12-21 12:30:49 +00:00
Author
Owner
Copy Link

@AntonMilienkov получается, что тут надо поправить std:: , удалить лишний инклуд и я бы еще переименовал IntentInadded -> IntentInParams

@AntonMilienkov получается, что тут надо поправить std:: , удалить лишний инклуд и я бы еще переименовал IntentInadded -> IntentInParams
AntonMilienkov added 1 commit 2023-12-22 07:08:58 +00:00
IntentInadded -> IntentInParams e51f9643a4
Alexander_KS merged commit 752e9206db into master 2023-12-22 07:50:31 +00:00
Sign in to join this conversation.
Reviewers
No Reviewers
Alexander_KS
Labels
No items
No Label
Milestone
No items
No Milestone
Projects
Clear projects
No project
Assignees
Clear assignees
abrosim0v Dudarenko EgorMayorov gr_gusev IgorBobrov oleg_nikitin xnpster Alexander_KS
No Assignees
2 Participants
Notifications
Due Date
No due date set.
Dependencies

No dependencies set.

Reference: Alexander_KS/SAPFOR#20
Delete Branch "CP"

Deleting a branch is permanent. Although the deleted branch may continue to exist for a short time before it actually gets removed, it CANNOT be undone in most cases. Continue?