On 03/19/2011 05:19 AM, Paolo Bonzini wrote:
On Fri, Mar 18, 2011 at 19:18, Kenneth Zadeck<zad...@naturalbridge.com> wrote:
yes, but i think that the reason this is a pr is that it seems to be needed
for correctness.
Note that df_get_bb_dirty is defaulting to "return false", not
"abort". This is what tricked crossjumping and caused the bug.
where does the compiler fail if you change it to abort, (after doing the
check from jakub's patch)?
If I can get hold of my old SPEC2000 copy, I'd like to remove LIVE
completely from most -O2 passes (certainly those running after
initialization of uninitialized regs!) in 4.7.
i had thought that there were other reasons for doing live throughout
-O2 and higher, but i have forgotten. it has been a long time.
Paolo
