Re: [PATCH] [RTL] Relax CSE check to set REG_EQUAL notes.

2015-04-24 Thread Alex Velenko
On 24/04/15 02:16, Jeff Law wrote: On 04/10/2015 03:14 AM, Alex Velenko wrote: On 09/03/15 17:40, Jeff Law wrote: On 03/09/15 03:53, Steven Bosscher wrote: On Wed, Mar 4, 2015 at 12:09 PM, Alex Velenko wrote: For example, in arm testcase pr43920-2.c, CSE previously decided not to put an

Re: [PATCH] [RTL] Relax CSE check to set REG_EQUAL notes.

2015-04-23 Thread Jeff Law
On 04/10/2015 03:14 AM, Alex Velenko wrote: On 09/03/15 17:40, Jeff Law wrote: On 03/09/15 03:53, Steven Bosscher wrote: On Wed, Mar 4, 2015 at 12:09 PM, Alex Velenko wrote: For example, in arm testcase pr43920-2.c, CSE previously decided not to put an obvious note on insn 9, as set value was

Re: [PATCH] [RTL] Relax CSE check to set REG_EQUAL notes.

2015-03-09 Thread Jeff Law
On 03/09/15 03:53, Steven Bosscher wrote: On Wed, Mar 4, 2015 at 12:09 PM, Alex Velenko wrote: For example, in arm testcase pr43920-2.c, CSE previously decided not to put an obvious note on insn 9, as set value was the same as note value. At the same time, other insns set up as -1 were set up

Re: [PATCH] [RTL] Relax CSE check to set REG_EQUAL notes.

2015-03-09 Thread Steven Bosscher
On Wed, Mar 4, 2015 at 12:09 PM, Alex Velenko wrote: For example, in arm testcase pr43920-2.c, CSE previously decided not to put an obvious note on insn 9, as set value was the same as note value. At the same time, other insns set up as -1 were set up through a register and did get a note:

Re: [PATCH] [RTL] Relax CSE check to set REG_EQUAL notes.

2015-03-06 Thread Segher Boessenkool
On Wed, Mar 04, 2015 at 11:09:14AM +, Alex Velenko wrote: I prefer adding notes in CSE instead of adding additional checks in Jump2 and, if any, other passes, as I think it is more uniform solution and allows single point fix. Downside is having more notes. The other downside is that every

[PATCH] [RTL] Relax CSE check to set REG_EQUAL notes.

2015-03-04 Thread Alex Velenko
Hi, This patch permits CSE to add REG_EQUAL notes when single setting a constant to a register even if REG_EQUAL constant rtx is the same as the set source rtx. This enables optimizations in later passes looking for REG_EQUAL notes, like jump2 pass. For example, in arm testcase pr43920-2.c, CSE