Re: [PATCH GCC]Improve no-overflow check in SCEV using value range info.

2016-07-21 Thread Richard Biener
On Wed, Jul 20, 2016 at 6:23 PM, Bin.Cheng wrote: > On Wed, Jul 20, 2016 at 11:01 AM, Richard Biener > wrote: >> On Tue, Jul 19, 2016 at 6:15 PM, Bin.Cheng wrote: >>> On Tue, Jul 19, 2016 at 1:10 PM, Richard Biener >>> wrote: On Mon, Jul 18, 2016 at 6:27 PM, Bin Cheng wrote: > Hi, >>>

Re: [PATCH GCC]Improve no-overflow check in SCEV using value range info.

2016-07-20 Thread Bin.Cheng
On Wed, Jul 20, 2016 at 11:01 AM, Richard Biener wrote: > On Tue, Jul 19, 2016 at 6:15 PM, Bin.Cheng wrote: >> On Tue, Jul 19, 2016 at 1:10 PM, Richard Biener >> wrote: >>> On Mon, Jul 18, 2016 at 6:27 PM, Bin Cheng wrote: Hi, Scalar evolution needs to prove no-overflow for source var

Re: [PATCH GCC]Improve no-overflow check in SCEV using value range info.

2016-07-20 Thread Richard Biener
On Tue, Jul 19, 2016 at 6:15 PM, Bin.Cheng wrote: > On Tue, Jul 19, 2016 at 1:10 PM, Richard Biener > wrote: >> On Mon, Jul 18, 2016 at 6:27 PM, Bin Cheng wrote: >>> Hi, >>> Scalar evolution needs to prove no-overflow for source variable when >>> handling type conversion. This is important bec

Re: [PATCH GCC]Improve no-overflow check in SCEV using value range info.

2016-07-19 Thread Bin.Cheng
On Tue, Jul 19, 2016 at 1:10 PM, Richard Biener wrote: > On Mon, Jul 18, 2016 at 6:27 PM, Bin Cheng wrote: >> Hi, >> Scalar evolution needs to prove no-overflow for source variable when >> handling type conversion. This is important because otherwise we would fail >> to recognize result of the

Re: [PATCH GCC]Improve no-overflow check in SCEV using value range info.

2016-07-19 Thread Richard Biener
On Mon, Jul 18, 2016 at 6:27 PM, Bin Cheng wrote: > Hi, > Scalar evolution needs to prove no-overflow for source variable when handling > type conversion. This is important because otherwise we would fail to > recognize result of the conversion as SCEV, resulting in missing loop > optimization