6502/llvm-6502
1
0
Fork 0
mirror of https://github.com/c64scene-ar/llvm-6502.git synced 2024-12-14 11:32:34 +00:00
Code Issues Projects Releases Wiki Activity

normalize the last delinearized dimension

Browse Source 
in the dependence test, we used to discard some information that the
delinearization provides: the size of the innermost dimension of an array,
i.e., the size of scalars stored in the array, and the remainder of the
delinearization that provides the offset from which the array reads start,
i.e., the base address of the array.

To avoid losing this data in the rest of the data dependence analysis, the fix
is to multiply the access function in the last delinearized dimension by its
size, effectively making the size of the last dimension to always be in bytes,
and then add the remainder of delinearization to the last subscript,
effectively making the last subscript start at the base address of the array.

git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@201867 91177308-0d34-0410-b5e6-96231b3b80d8
This commit is contained in:
Sebastian Pop 2014-02-21 18:15:11 +00:00
parent fc605ac12c
commit f9cb030376
1 changed files with 17 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

19
lib/Analysis/DependenceAnalysis.cpp
View File

@ -3189,8 +3189,8 @@ DependenceAnalysis::tryDelinearize(const SCEV *SrcSCEV, const SCEV *DstSCEV,
return false;
SmallVector<const SCEV *, 4> SrcSubscripts, DstSubscripts, SrcSizes, DstSizes;
SrcAR->delinearize(*SE, SrcSubscripts, SrcSizes);
DstAR->delinearize(*SE, DstSubscripts, DstSizes);
const SCEV *RemainderS = SrcAR->delinearize(*SE, SrcSubscripts, SrcSizes);
const SCEV *RemainderD = DstAR->delinearize(*SE, DstSubscripts, DstSizes);
int size = SrcSubscripts.size();
// Fail when there is only a subscript: that's a linearized access function.
@ -3210,6 +3210,21 @@ DependenceAnalysis::tryDelinearize(const SCEV *SrcSCEV, const SCEV *DstSCEV,
if (SrcSizes[i] != DstSizes[i])
return false;
// When the difference in remainders is different than a constant it might be
// that the base address of the arrays is not the same.
const SCEV *DiffRemainders = SE->getMinusSCEV(RemainderS, RemainderD);
if (!isa<SCEVConstant>(DiffRemainders))
return false;
// Normalize the last dimension: integrate the size of the "scalar dimension"
// and the remainder of the delinearization.
DstSubscripts[size-1] = SE->getMulExpr(DstSubscripts[size-1],
DstSizes[size-1]);
SrcSubscripts[size-1] = SE->getMulExpr(SrcSubscripts[size-1],
SrcSizes[size-1]);
SrcSubscripts[size-1] = SE->getAddExpr(SrcSubscripts[size-1], RemainderS);
DstSubscripts[size-1] = SE->getAddExpr(DstSubscripts[size-1], RemainderD);
#ifndef NDEBUG
DEBUG(errs() << "\nSrcSubscripts: ");
for (int i = 0; i < size; i++)