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

Compare commits

base: Alexander_KS:e99855cdffb268b827429e5a683c47cefc7daf22
Branches Tags
Alexander_KS:master Alexander_KS:fix_array_analysis Alexander_KS:replace_io_arrays Alexander_KS:par_reg_merging Alexander_KS:egormayorov Alexander_KS:private_arrays Alexander_KS:libpredict_integration Alexander_KS:analyze_loops_with_IR
...
compare: Alexander_KS:93fa183b632b13ccac955e48546c2c932e9e7ebe
Branches Tags
Alexander_KS:master Alexander_KS:fix_array_analysis Alexander_KS:replace_io_arrays Alexander_KS:par_reg_merging Alexander_KS:egormayorov Alexander_KS:private_arrays Alexander_KS:libpredict_integration Alexander_KS:analyze_loops_with_IR

2 Commits
e99855cdff ... 93fa183b63

Author SHA1 Message Date
Oleg Nikitin
93fa183b63 fix 2025-12-21 03:58:45 +03:00
Alexander_KS
a07a701826 Merge pull request 'fix private arrays search' (#70) from private_arrays into master 2025-12-19 18:07:14 +00:00
1 changed files with 1 additions and 15 deletions
Expand all files Collapse all files

16
src/PrivateAnalyzer/region.cpp
View File

@@ -124,26 +124,13 @@ static int GetDefUseArray(SAPFOR::BasicBlock* block, LoopGraph* loop, ArrayAcces
vector<ArrayDimension> accessPoint(n); vector<ArrayDimension> accessPoint(n);
auto* ref = isSgArrayRefExp(instruction->getInstruction()->getExpression()); auto* ref = isSgArrayRefExp(instruction->getInstruction()->getExpression());
vector<pair<int, int>> coefsForDims;
int subs = ref->numberOfSubscripts();
for (int i = 0; ref && i < ref->numberOfSubscripts(); ++i)
{
const vector<int*>& coefs = getAttributes<SgExpression*, int*>(ref->subscript(i), set<int>{ INT_VAL });
if (coefs.size() == 1)
{
const pair<int, int> coef(coefs[0][0], coefs[0][1]);
coefsForDims.push_back(coef);
}
}
int fillCount = 0; int fillCount = 0;
while (!index_vars.empty() && !refPos.empty() && !coefsForDims.empty()) while (!index_vars.empty() && !refPos.empty())
{ {
auto var = index_vars.back(); auto var = index_vars.back();
int currentVarPos = refPos.back(); int currentVarPos = refPos.back();
pair<int, int> currentCoefs = coefsForDims.back();
ArrayDimension current_dim; ArrayDimension current_dim;
if (var->getType() == SAPFOR::CFG_ARG_TYPE::CONST) if (var->getType() == SAPFOR::CFG_ARG_TYPE::CONST)
current_dim = { stoul(var->getValue()), 1, 1, ref}; current_dim = { stoul(var->getValue()), 1, 1, ref};
@@ -185,7 +172,6 @@ static int GetDefUseArray(SAPFOR::BasicBlock* block, LoopGraph* loop, ArrayAcces
} }
index_vars.pop_back(); index_vars.pop_back();
refPos.pop_back(); refPos.pop_back();
coefsForDims.pop_back();
} }
if (fillCount == accessPoint.size()) if (fillCount == accessPoint.size())