[llvm-commits] [llvm] r74499 - in /llvm/trunk: lib/Analysis/LoopDependenceAnalysis.cpp test/Analysis/LoopDependenceAnalysis/local-array.ll test/Analysis/LoopDependenceAnalysis/no-array.ll test/Analysis/LoopDependenceAnalysis/siv-strong1.ll test/A

[Andreas Bolka]

On Tue Jun 30 05:47:25 +0200 2009, Eli Friedman wrote:
> On Mon, Jun 29, 2009 at 7:12 PM, Andreas Bolka wrote:
> > +  // For now, we only work on (pointers to) global or stack-allocated array
> > +  // values, as we know that their underlying memory areas will not overlap.
> > +  // MAYBE: relax this and test for aliasing?
> > +  if (!((isa<GlobalVariable>(srcObj) || isa<AllocaInst>(srcObj)) &&
> > +        (isa<GlobalVariable>(dstObj) || isa<AllocaInst>(dstObj)) &&
> > +        isa<PointerType>(srcTy) &&
> > +        isa<PointerType>(dstTy) &&
> > +        isa<ArrayType>(cast<PointerType>(srcTy)->getElementType()) &&
> > +        isa<ArrayType>(cast<PointerType>(dstTy)->getElementType())))
> > +    return true;
> 
> How does the type affect aliasing?

Seems I missed this comment earlier; this should be fixed by r74647.

-- 
Andreas