Re: [PATCH GCC]Improve loop bound info by simplifying conversions in iv base

On Thu, Aug 20, 2015 at 10:22 AM, Bin.Cheng wrote: > On Fri, Aug 14, 2015 at 4:28 PM, Richard Biener > wrote: >> On Tue, Jul 28, 2015 at 11:38 AM, Bin Cheng wrote: >>> Hi, >>> For now, SCEV may compute iv base in the form of "(signed T)((unsigned >>> T)base + step))". This complicates other opt

Re: [PATCH GCC]Improve loop bound info by simplifying conversions in iv base

On Fri, Aug 14, 2015 at 4:28 PM, Richard Biener wrote: > On Tue, Jul 28, 2015 at 11:38 AM, Bin Cheng wrote: >> Hi, >> For now, SCEV may compute iv base in the form of "(signed T)((unsigned >> T)base + step))". This complicates other optimizations/analysis depending >> on SCEV because it's hard t

Re: [PATCH GCC]Improve loop bound info by simplifying conversions in iv base

On Tue, Jul 28, 2015 at 11:38 AM, Bin Cheng wrote: > Hi, > For now, SCEV may compute iv base in the form of "(signed T)((unsigned > T)base + step))". This complicates other optimizations/analysis depending > on SCEV because it's hard to dive into type conversions. For many cases, > such type con

Re: [PATCH GCC]Improve loop bound info by simplifying conversions in iv base

On Fri, Aug 14, 2015 at 6:10 AM, Jeff Law wrote: > On 07/28/2015 03:38 AM, Bin Cheng wrote: >> >> Hi, >> For now, SCEV may compute iv base in the form of "(signed T)((unsigned >> T)base + step))". This complicates other optimizations/analysis depending >> on SCEV because it's hard to dive into ty

Re: [PATCH GCC]Improve loop bound info by simplifying conversions in iv base

On 07/28/2015 03:38 AM, Bin Cheng wrote: Hi, For now, SCEV may compute iv base in the form of "(signed T)((unsigned T)base + step))". This complicates other optimizations/analysis depending on SCEV because it's hard to dive into type conversions. For many cases, such type conversions can be sim

Re: [PATCH GCC]Improve loop bound info by simplifying conversions in iv base

Ping. Thanks, bin On Tue, Jul 28, 2015 at 5:38 PM, Bin Cheng wrote: > Hi, > For now, SCEV may compute iv base in the form of "(signed T)((unsigned > T)base + step))". This complicates other optimizations/analysis depending > on SCEV because it's hard to dive into type conversions. For many cas

[PATCH GCC]Improve loop bound info by simplifying conversions in iv base

Hi, For now, SCEV may compute iv base in the form of "(signed T)((unsigned T)base + step))". This complicates other optimizations/analysis depending on SCEV because it's hard to dive into type conversions. For many cases, such type conversions can be simplified with additional range information i