Re: Help understand the may_be_zero field in loop niter information

2014-06-16 Thread Bin.Cheng
On Thu, Jun 12, 2014 at 7:59 PM, Zdenek Dvorak wrote: > Hi, > >> > I noticed there is below code/comments about may_be_zero field in loop >> > niter desc: >> > >> > tree may_be_zero;/* The boolean expression. If it evaluates to true, >> >the loop will exit in the first itera

Re: Help understand the may_be_zero field in loop niter information

2014-06-13 Thread Richard Biener
On Fri, Jun 13, 2014 at 9:43 AM, Bin.Cheng wrote: > On Thu, Jun 12, 2014 at 7:59 PM, Zdenek Dvorak > wrote: >> Hi, >> >>> > I noticed there is below code/comments about may_be_zero field in loop >>> > niter desc: >>> > >>> > tree may_be_zero;/* The boolean expression. If it evaluates to

Re: Help understand the may_be_zero field in loop niter information

2014-06-13 Thread Bin.Cheng
On Thu, Jun 12, 2014 at 7:59 PM, Zdenek Dvorak wrote: > Hi, > >> > I noticed there is below code/comments about may_be_zero field in loop >> > niter desc: >> > >> > tree may_be_zero;/* The boolean expression. If it evaluates to true, >> >the loop will exit in the first itera

Re: Help understand the may_be_zero field in loop niter information

2014-06-12 Thread Zdenek Dvorak
Hi, > > I noticed there is below code/comments about may_be_zero field in loop > > niter desc: > > > > tree may_be_zero;/* The boolean expression. If it evaluates to true, > >the loop will exit in the first iteration (i.e. > >its latch will not be executed),

Re: Help understand the may_be_zero field in loop niter information

2014-06-12 Thread Richard Biener
On Thu, Jun 12, 2014 at 1:41 PM, Bin.Cheng wrote: > Hi, > I noticed there is below code/comments about may_be_zero field in loop > niter desc: > > tree may_be_zero;/* The boolean expression. If it evaluates to true, >the loop will exit in the first iteration (i.e. >