@@ -1826,13 +1826,10 @@ bool isRemainderZero(const SCEVConstant *Dividend,
18261826// (see also weakZeroDstSIVtest)
18271827//
18281828// Return true if dependence disproved.
1829- bool DependenceInfo::weakZeroSrcSIVtest (const SCEV *DstCoeff,
1830- const SCEV *SrcConst,
1831- const SCEV *DstConst,
1832- const Loop *CurSrcLoop,
1833- const Loop *CurDstLoop, unsigned Level,
1834- FullDependence &Result,
1835- Constraint &NewConstraint) const {
1829+ bool DependenceInfo::weakZeroSrcSIVtest (
1830+ const SCEV *DstCoeff, const SCEV *SrcConst, const SCEV *DstConst,
1831+ const Loop *CurSrcLoop, const Loop *CurDstLoop, unsigned Level,
1832+ FullDependence &Result, Constraint &NewConstraint) const {
18361833 // For the WeakSIV test, it's possible the loop isn't common to
18371834 // the Src and Dst loops. If it isn't, then there's no need to
18381835 // record a direction.
@@ -1937,13 +1934,10 @@ bool DependenceInfo::weakZeroSrcSIVtest(const SCEV *DstCoeff,
19371934// (see also weakZeroSrcSIVtest)
19381935//
19391936// Return true if dependence disproved.
1940- bool DependenceInfo::weakZeroDstSIVtest (const SCEV *SrcCoeff,
1941- const SCEV *SrcConst,
1942- const SCEV *DstConst,
1943- const Loop *CurSrcLoop,
1944- const Loop *CurDstLoop, unsigned Level,
1945- FullDependence &Result,
1946- Constraint &NewConstraint) const {
1937+ bool DependenceInfo::weakZeroDstSIVtest (
1938+ const SCEV *SrcCoeff, const SCEV *SrcConst, const SCEV *DstConst,
1939+ const Loop *CurSrcLoop, const Loop *CurDstLoop, unsigned Level,
1940+ FullDependence &Result, Constraint &NewConstraint) const {
19471941 // For the WeakSIV test, it's possible the loop isn't common to the
19481942 // Src and Dst loops. If it isn't, then there's no need to record a direction.
19491943 LLVM_DEBUG (dbgs () << " \t Weak-Zero (dst) SIV test\n " );
@@ -2016,7 +2010,6 @@ bool DependenceInfo::weakZeroDstSIVtest(const SCEV *SrcCoeff,
20162010 return false ;
20172011}
20182012
2019-
20202013// exactRDIVtest - Tests the RDIV subscript pair for dependence.
20212014// Things of the form [c1 + a*i] and [c2 + b*j],
20222015// where i and j are induction variable, c1 and c2 are loop invariant,
0 commit comments