[llvm-commits] [llvm] r78157 - in /llvm/trunk: include/llvm/Analysis/LoopDependenceAnalysis.h lib/Analysis/LoopDependenceAnalysis.cpp test/Analysis/LoopDependenceAnalysis/alias.ll test/Analysis/LoopDependenceAnalysis/ziv.ll

[Bill Wendling]

Hi Andreas,

On Aug 4, 2009, at 9:26 PM, Andreas Bolka wrote:

> Author: abolka
> Date: Tue Aug  4 23:26:05 2009
> New Revision: 78157
>
> =
> =
> =
> =
> =
> =
> =
> =
> ======================================================================
> --- llvm/trunk/lib/Analysis/LoopDependenceAnalysis.cpp (original)
> +++ llvm/trunk/lib/Analysis/LoopDependenceAnalysis.cpp Tue Aug  4  
> 23:26:05 2009
> @@ -136,6 +136,19 @@
>   return isLoopInvariant(S) || (rec && rec->isAffine());
> }
>
> +bool LoopDependenceAnalysis::isZIVPair(const SCEV *A, const SCEV  
> *B) const {
> +  return isLoopInvariant(A) && isLoopInvariant(B);
> +}
> +
> +LoopDependenceAnalysis::DependenceResult
> +LoopDependenceAnalysis::analyseZIV(const SCEV *A,
> +                                   const SCEV *B,
> +                                   Subscript *S) const {
> +  assert(isZIVPair(A, B));

A message after this assert, please. Something like:

	assert(isZIVPair(A, B) && "The world is coming to an end!!!");

:-)

-bw