Re: [PATCH GCC]Cleanup lt_to_ne handling in niter analyzer

2016-07-21 Thread Richard Biener
On Wed, Jul 20, 2016 at 6:40 PM, Bin Cheng wrote: > Hi, > This patch cleans up function number_of_iterations_lt_to_ne mainly by > removing computation of may_be_zero. The computation is unnecessary and > may_be_zero in this case must be true. Specifically, DELTA is integer > constant and iv0.

[PATCH GCC]Cleanup lt_to_ne handling in niter analyzer

2016-07-20 Thread Bin Cheng
Hi, This patch cleans up function number_of_iterations_lt_to_ne mainly by removing computation of may_be_zero. The computation is unnecessary and may_be_zero in this case must be true. Specifically, DELTA is integer constant and iv0.base < iv1.base bounds to be true because the false case is h