Re: rtl expansion without zero/sign extension based on VRP

2013-05-22 Thread Richard Biener
On Fri, May 17, 2013 at 1:40 PM, Kugan wrote: > On 13/05/13 17:47, Richard Biener wrote: >> >> On Mon, May 13, 2013 at 5:45 AM, Kugan >> wrote: >>> >>> Hi, >>> >>> This patch removes some of the redundant sign/zero >>> extensions using value ranges informations generated by VRP. >>> >>> When GIMP

Re: rtl expansion without zero/sign extension based on VRP

2013-05-17 Thread Kugan
On 13/05/13 17:47, Richard Biener wrote: On Mon, May 13, 2013 at 5:45 AM, Kugan wrote: Hi, This patch removes some of the redundant sign/zero extensions using value ranges informations generated by VRP. When GIMPLE_ASSIGN stmts with LHS type smaller than word is expanded to rtl, if we can pro

Re: rtl expansion without zero/sign extension based on VRP

2013-05-13 Thread Richard Biener
On Mon, May 13, 2013 at 5:45 AM, Kugan wrote: > Hi, > > This patch removes some of the redundant sign/zero > extensions using value ranges informations generated by VRP. > > When GIMPLE_ASSIGN stmts with LHS type smaller than word is expanded to > rtl, if we can prove that RHS expression value can

rtl expansion without zero/sign extension based on VRP

2013-05-12 Thread Kugan
Hi, This patch removes some of the redundant sign/zero extensions using value ranges informations generated by VRP. When GIMPLE_ASSIGN stmts with LHS type smaller than word is expanded to rtl, if we can prove that RHS expression value can always fit in LHS type and there is no sign conversion, t