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,
>>>
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
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
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
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
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
optimizations. Take case added by this patch as an example, the loop can
