--
rguenth at gcc dot gnu dot org changed:
What|Removed |Added
Priority|P3 |P2
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=43360
--- Comment #9 from rguenth at gcc dot gnu dot org 2010-03-15 11:30 ---
I'd say its P2 only because it does affect released compilers and is not a
regression on their branches.
--
rguenth at gcc dot gnu dot org changed:
What|Removed |Added
--
jakub at gcc dot gnu dot org changed:
What|Removed |Added
Priority|P3 |P1
Target Milestone|--- |4.3.5
http://gcc.g
--- Comment #8 from jakub at gcc dot gnu dot org 2010-03-14 22:17 ---
Well, it is always executed, just [`g_3'] in REG_EQUAL is not invariant.
--
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=43360
--- Comment #7 from ebotcazou at gcc dot gnu dot org 2010-03-14 21:40
---
> So, the solution is to teach loop2_invariant to also look into REG_EQUAL notes
> if the insn is _really_ invariant or eventually clear REG_EQUAL notes when
> insn is moved out of the loop.
Both should already h
--- Comment #6 from ubizjak at gmail dot com 2010-03-14 20:59 ---
The problem is actually in loop2_invariant rtl pass, and -O1/-O2 difference is
in fact due to missing cprop pass in -O1 case.
So, before _.162r.loop2_invariant, we have:
6 [`g_3']=0x1
7 r61:SI=[`l_5_5_2']
L13:
