[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

[Eli Friedman]

On Mon, Jun 29, 2009 at 7:12 PM, Andreas Bolka<a at bolka.at> 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?

-Eli