Re: [PATCH] Adjust/remove REG_EQ{UAL,UIV} notes in REE (PR rtl-optimization/63659)

2014-10-31 Thread Jeff Law
On 10/30/14 01:36, Jakub Jelinek wrote: On Wed, Oct 29, 2014 at 09:47:33PM -0600, Jeff Law wrote: On 10/27/14 14:47, Jakub Jelinek wrote: Hi! The following testcase is miscompiled in 4.8+ on x86_64 at -O2+, because REE widens for ZERO_EXTEND mode on (set (reg:QI ax) (const_int -1)) instruction

Re: [PATCH] Adjust/remove REG_EQ{UAL,UIV} notes in REE (PR rtl-optimization/63659)

2014-10-30 Thread Jakub Jelinek
On Wed, Oct 29, 2014 at 09:47:33PM -0600, Jeff Law wrote: > On 10/27/14 14:47, Jakub Jelinek wrote: > >Hi! > > > >The following testcase is miscompiled in 4.8+ on x86_64 at -O2+, > >because REE widens for ZERO_EXTEND mode on > >(set (reg:QI ax) (const_int -1)) instruction to SImode, but doesn't > >

Re: [PATCH] Adjust/remove REG_EQ{UAL,UIV} notes in REE (PR rtl-optimization/63659)

2014-10-29 Thread Jeff Law
On 10/27/14 14:47, Jakub Jelinek wrote: Hi! The following testcase is miscompiled in 4.8+ on x86_64 at -O2+, because REE widens for ZERO_EXTEND mode on (set (reg:QI ax) (const_int -1)) instruction to SImode, but doesn't adjust REG_EQUAL note of (const_int -1) also to (const_int 0xff) like it cha

[PATCH] Adjust/remove REG_EQ{UAL,UIV} notes in REE (PR rtl-optimization/63659)

2014-10-27 Thread Jakub Jelinek
Hi! The following testcase is miscompiled in 4.8+ on x86_64 at -O2+, because REE widens for ZERO_EXTEND mode on (set (reg:QI ax) (const_int -1)) instruction to SImode, but doesn't adjust REG_EQUAL note of (const_int -1) also to (const_int 0xff) like it changes the pattern. The following patch att