[PATCH] D20695: Floating Point SCEV Analysis

[Sanjoy Das via llvm-commits]

sanjoy added a comment.

In http://reviews.llvm.org/D20695#446877, @sbaranga wrote:

> > float x = init;
>
> > 
>
> >   for (int i=0;i<N;i++){
>
> >     A[i] = x;
>
> >     x += fp_inc; // Loop invariant variable or constant
>
> >   }
>
>
>




> If this is correct with fast-math, we should be able to use this to

>  get the backedge taken count - which would be a good reason for doing

>  this in SCEV.


Shouldn't SCEV //today// be able to compute the backedge taken count of
the above loop (since the controlling induction variable is
integral)?


Repository:
  rL LLVM

http://reviews.llvm.org/D20695