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

corrected style, updated version

Browse Source
This commit is contained in:
ALEXks
2025-12-24 08:58:28 +03:00
committed by Egor Mayorov
parent 4362fb6fb8
commit dcf40201a6
9 changed files with 76 additions and 80 deletions
Download Patch File Download Diff File Expand all files Collapse all files

6
src/PrivateAnalyzer/region.cpp
View File

@@ -119,14 +119,11 @@ static int GetDefUseArray(SAPFOR::BasicBlock* block, LoopGraph* loop, ArrayAcces
{
string strDimLength = arrayType->sizeInDim(i)->unparse();
if (arrayType->sizeInDim(i)->variant() == INT_VAL && strDimLength != "0")
{
point.push_back({ 1ULL, 1ULL, (uint64_t)stoi(strDimLength), (SgArrayRefExp*)op->expr(0) });
}
}
if (point.size() == dimCount)
{
def[instruction->getInstruction()->getResult()->getValue()] = AccessingSet({point});
}
}
}
}
@@ -149,7 +146,6 @@ static int GetDefUseArray(SAPFOR::BasicBlock* block, LoopGraph* loop, ArrayAcces
vector<ArrayDimension> accessPoint(n);
auto* ref = isSgArrayRefExp(instruction->getInstruction()->getExpression());
int fillCount = 0;
while (!index_vars.empty() && !refPos.empty())