void CopyArrayUnderSizeLimit::
ModifyCopyArrayCollect( DepCompCopyArrayCollect& collect, DepCompAstRefGraphCreate& refDep)
{
LoopTreeInterface interface;
if (DebugCopyRoot())
std::cerr << "copydim = " << copydim << std::endl;
for (DepCompCopyArrayCollect::iterator arrays = collect.begin();
arrays != collect.end(); ) {
DepCompCopyArrayCollect::CopyArrayUnit& unit = *arrays;
LoopTreeNode* origroot = unit.root;
if (DebugCopySplit() || DebugCopyRoot())
std::cerr << " modifying copy unit: " << IteratorToString2(unit.refs.begin()) << " with root = " << ((unit.root == 0)? "null" : unit.root->toString()) << std::endl;
unit.root = collect.OutmostCopyRoot(unit, refDep, collect.get_tree_root());
int curdim = -1;
while (true) {
DepCompCopyArrayCollect::CopyArrayUnit::NodeSet cuts;
curdim = EnforceCopyDimension(unit, refDep, copydim, &cuts);
if (cuts.size() == 0)
break;
if (cuts.size() == unit.refs.size()) {
assert(origroot != unit.root);
LoopTreeNode* n = origroot, *p = GetEnclosingLoop(n,interface);
LoopTreeNode* rootloop = (unit.root->GetLoopInfo() == 0)? 0 : unit.root;
while (n != rootloop && p != rootloop) {
n = p;
p = GetEnclosingLoop(p, interface);
}
if (DebugCopyRoot())
std::cerr << "resetting copy root to be " << n->toString() << std::endl;
unit.root = n;
unit.carrybyroot = true;
continue;
}
if (DebugCopySplit())
std::cerr << "Enforce copy dimension by removing " << IteratorToString2(cuts.begin()) << std::endl;
collect.AddCopyArray() =
DepCompCopyArrayCollect::CopyArrayUnit(cuts, collect.ComputeCommonRoot(cuts));
unit.refs -= cuts;
unit.root = origroot = collect.ComputeCommonRoot(unit.refs);
unit.root = collect.OutmostCopyRoot(unit, refDep, collect.get_tree_root());
}
DepCompCopyArrayCollect::CopyArrayUnit::NodeSet cuts;
if (SplitDisconnectedUnit(collect, unit, refDep,cuts)) {
origroot = collect.ComputeCommonRoot(cuts);
DepCompCopyArrayCollect::CopyArrayUnit::NodeSet left = unit.refs;
if (DebugCopySplit() || DebugCopyRoot())
std::cerr << " Spliting disconnected refs: removing " << IteratorToString2(cuts.begin()) << std::endl;
left -= cuts;
collect.AddCopyArray() = DepCompCopyArrayCollect::CopyArrayUnit(left,collect.ComputeCommonRoot(left));
unit.refs = cuts;
curdim = EnforceCopyDimension(unit, refDep, copydim);
assert(curdim <= (int)copydim);
}
if (origroot != 0 && unit.root != origroot) {
int reuselevel = OutmostReuseLevel( unit, refDep);
int copylevel = unit.copylevel();
if (reuselevel > copylevel) {
LoopTreeNode *cur = origroot;
for (int curlevel = origroot->LoopLevel(); reuselevel <= curlevel;
cur = GetEnclosingLoop(cur, interface), --curlevel);
if (DebugCopyRoot())
std::cerr << "After reuse anal, resetting copy root to be " << cur->toString() << std::endl;
unit.root = cur;
curdim -= (reuselevel - copylevel+1);
}
else if (DebugCopyRoot())
std::cerr << "do not reset copy root because copylevel = " << copylevel << " and copy root = " << unit.root->toString() << std::endl;
}
DepCompCopyArrayCollect::iterator tmp = arrays;
++arrays;
if (IsRedundantCopy( unit, curdim)) {
if (DebugCopyRemove()) {
std::cerr << "remove redundant copy " << IteratorToString2(unit.refs.begin()) << " with root = " << unit.root->toString() << std::endl;
}
collect.RemoveCopyArray(tmp);
}
}
}
