maxjhandsome
/
llvm-project
forked from OSchip/llvm-project
1
0
Fork 0
Code Issues Pull Requests Packages Releases Wiki Activity

[FIX] Add missing projection for invariant load domains 

This was left out from the original patch proposed in
    http://reviews.llvm.org/D13195
  even though it is needed to define an order invariant loads
  are hoisted.

llvm-svn: 249680
This commit is contained in:
Johannes Doerfert 2015-10-08 11:05:57 +00:00
parent 32bd3c8cff
commit f7e2967293
1 changed files with 20 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

20
polly/lib/Analysis/ScopInfo.cpp
View File

@ -1389,6 +1389,26 @@ void ScopStmt::hoistMemoryAccesses(MemoryAccessList &InvMAs,
DomainCtx = isl_set_detect_equalities(DomainCtx);
DomainCtx = isl_set_coalesce(DomainCtx);
Scop &S = *getParent();
ScalarEvolution &SE = *S.getSE();
// Project out all parameters that relate to loads in this statement that
// we will hoist. Otherwise we would have cyclic dependences on the
// constraints under which the hoisted loads are executed and we could not
// determine an order in which to preload them. This happens because not only
// lower bounds are part of the domain but also upper bounds.
for (MemoryAccess *MA : InvMAs) {
Instruction *AccInst = MA->getAccessInstruction();
if (SE.isSCEVable(AccInst->getType())) {
isl_id *ParamId = S.getIdForParam(SE.getSCEV(AccInst));
if (ParamId) {
int Dim = isl_set_find_dim_by_id(DomainCtx, isl_dim_param, ParamId);
DomainCtx = isl_set_eliminate(DomainCtx, isl_dim_param, Dim, 1);
}
isl_id_free(ParamId);
}
}
for (MemoryAccess *MA : InvMAs)
TargetList.push_back(std::make_pair(MA, isl_set_copy(DomainCtx)));