search for: elsevierdirect

...(distance->isZero()) S->Direction = Subscript::EQ; else if (isGT) S->Direction = Subscript::LT; // !! else S->Direction = Subscript::GT; // !! The Delta test paper (Section 1.3) and the 1st printing of Allen & Kennedy (Definition 2.10) are similarly incorrect. See http://www.elsevierdirect.com/companion.jsp?ISBN=9781558602861 particularly the replacement for page 46. I'm also confused about the math, but I'll keep working on it. Thanks, Preston On Sun, Mar 25, 2012 at 9:49 PM, Sanjoy Das <sanjoy at playingwithpointers.com> wrote: > Hi Hal, Preston! > > Sor...

...Subscript::EQ; > else if (isGT) > S->Direction = Subscript::LT; // !! > else > S->Direction = Subscript::GT; // !! > > > The Delta test paper (Section 1.3) and the 1st printing of Allen & Kennedy > (Definition 2.10) are similarly incorrect. > See http://www.elsevierdirect.com/companion.jsp?ISBN=9781558602861 > particularly the replacement for page 46. > > I'm also confused about the math, but I'll keep working on it. > > Thanks, > Preston > > > > On Sun, Mar 25, 2012 at 9:49 PM, Sanjoy Das < > sanjoy at playingwithpointers...

Hi Hal, Preston! Sorry for the delay! Got busy with some offline work. I've worked on my previous code to calculate direction and distance vectors whenever possible (strong SIV, basically). I think the current code is much clearer and would like your opinions on it. I have attached the patch and also pushed to the github repo I mentioned [1]. Thanks! [1]

Gents, I spent some time reading over Sanjoy's patch for LoopDependenceAnalysis. Unfortunately, an early version of these notes escaped; this is the complete review. First off, I agree with his choice to implement the SIV tests. For scientific Fortran, the SIV (and the simpler ZIV) tests cover about 85% of the cases in practice. For C and C++, I expect the percentage will be much higher.