On Tue, May 26, 2015 at 6:48 PM, Aditya Kumar wrote:
> w.r.t. the PR48052, here is the patch which finds out if scev would wrap or
> not.
> The patch symbolically evaluates if valid_niter >= loop->nb_iterations is
> true.
> In that case the scev would not wrap.
> Currently, we only look for two
w.r.t. the PR48052, here is the patch which finds out if scev would wrap or not.
The patch symbolically evaluates if valid_niter >= loop->nb_iterations is true.
In that case the scev would not wrap.
Currently, we only look for two special 'patterns', which are sufficient to
analyze the test cases.
