Re: [PATCH GCC]Improve loop-niter to handle possible infinite loop.

2016-07-15 Thread Bin.Cheng
On Thu, Jul 14, 2016 at 12:42 PM, Richard Biener wrote: > On Wed, Jul 13, 2016 at 6:09 PM, Bin.Cheng wrote: >> On Fri, Jul 1, 2016 at 11:33 AM, Richard Biener >> wrote: >>> On Tue, Jun 28, 2016 at 8:18 AM, Bin Cheng wrote: Hi, At the moment, loop niter analyzer depends on simple_iv to

Re: [PATCH GCC]Improve loop-niter to handle possible infinite loop.

2016-07-14 Thread Richard Biener
On Wed, Jul 13, 2016 at 6:09 PM, Bin.Cheng wrote: > On Fri, Jul 1, 2016 at 11:33 AM, Richard Biener > wrote: >> On Tue, Jun 28, 2016 at 8:18 AM, Bin Cheng wrote: >>> Hi, >>> At the moment, loop niter analyzer depends on simple_iv to understand >>> control induction variable in order to do furth

Re: [PATCH GCC]Improve loop-niter to handle possible infinite loop.

2016-07-13 Thread Bin.Cheng
On Fri, Jul 1, 2016 at 11:33 AM, Richard Biener wrote: > On Tue, Jun 28, 2016 at 8:18 AM, Bin Cheng wrote: >> Hi, >> At the moment, loop niter analyzer depends on simple_iv to understand >> control induction variable in order to do further niter analysis. For cases >> reported in PR57558 (comm

Re: [PATCH GCC]Improve loop-niter to handle possible infinite loop.

2016-07-01 Thread Richard Biener
On Tue, Jun 28, 2016 at 8:18 AM, Bin Cheng wrote: > Hi, > At the moment, loop niter analyzer depends on simple_iv to understand control > induction variable in order to do further niter analysis. For cases reported > in PR57558 (comment #4), the control variable is not an SCEV because it's > c