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

REMOVE_DIST_ARRAYS_FROM_IO: improve parsing of IO operators, fix substitution borders #63

Merged
Alexander_KS merged 2 commits from replace_io_arrays into master 2025-06-15 17:07:00 +00:00
Conversation 0 Commits 2 Files Changed 2 +26 -16
1 changed files with 26 additions and 16 deletions
Download Patch File Download Diff File Expand all files Collapse all files
Showing only changes of commit f5f99f6e8a - Show all commits

42
src/Transformations/ReplaceArraysInIO/replace_dist_arrays_in_io.cpp
View File

@@ -88,24 +88,36 @@ static void populateDistributedIoArrays(map<SgSymbol*, set<SgStatement*>>& array
case READ_STAT: case READ_STAT:
case WRITE_STAT: case WRITE_STAT:
{ {
SgExpression* spec = stat->expr(1); SgExpression* spec = stat->expr(1);
__spf_print(DEBUG_TRACE, "[%d: %s (%d)]\n", 2000, spec->rhs()->unparse(), spec->rhs()->variant());
if (!spec || spec->variant() != EXPR_LIST || if (spec->variant() == SPEC_PAIR)
spec->lhs()->variant() != SPEC_PAIR ||
!spec->rhs() || !spec->rhs()->lhs() || spec->rhs()->lhs()->variant() != SPEC_PAIR)
{ {
printInternalError(convertFileName(__FILE__).c_str(), __LINE__); if (spec->rhs()->variant() != KEYWORD_VAL || spec->rhs()->sunparse() != "*")
return; {
need_replace = true;
break;
}
} }
else
{
while (spec)
{
auto *kv = spec->lhs();
if (!kv || kv->variant() != SPEC_PAIR || !kv->rhs())
{
printInternalError(convertFileName(__FILE__).c_str(), __LINE__);
return;
}
SgExpression* unit_val = spec->lhs()->rhs(), * fmt_val = spec->rhs()->lhs()->rhs(); if (kv->rhs()->variant() != KEYWORD_VAL || kv->rhs()->sunparse() != "*")
{
need_replace = true;
break;
}
if (unit_val->variant() != KEYWORD_VAL || unit_val->sunparse() != "*" || spec = spec->rhs();
fmt_val->variant() != KEYWORD_VAL || fmt_val->sunparse() != "*") }
need_replace = true; }
break;
} }
default: default:
break; break;
@@ -203,11 +215,9 @@ static void copyArrayBetweenStatements(SgSymbol* replace_symb, SgSymbol* replace
while (start->lexNext() && !isSgExecutableStatement(start->lexNext())) while (start->lexNext() && !isSgExecutableStatement(start->lexNext()))
start = start->lexNext(); start = start->lexNext();
auto* stop = last->lexNext();
bool has_read = false, has_write = false; bool has_read = false, has_write = false;
for (auto* st = start->lexNext(); st && st != stop->lexPrev(); st = st->lexNext()) for (auto* st = start->lexNext(); st && st != last; st = st->lexNext())
replaceArrayRec(replace_symb, replace_by, st, has_read, has_write); replaceArrayRec(replace_symb, replace_by, st, has_read, has_write);