GCC 4.1: Problem with old-loop and REG_EQUAL notes

[Andreas Krebbel]

Hi,

> OK.  Then would it be enough to weaken the condition of the removal test to
> 
>   if (loop_invariant_p (loop, ...) != 1)
> 
> in order to solve your problem?
Sure, that would be an alternative compared to always removing the
REG_EQUAL notes when hoisting an insn and it would fix my particular testcase
as well.

But I don't see why this can't happen with unconditional loop invariants?
Maybe it can be consider safe since loop.c is *always* able to hoist unconditional
loop invariants?!

Bye,

-Andreas-