------- Comment #2 from rakdver at gcc dot gnu dot org 2006-02-14 00:51 ------- Without further information (use of pc) loop-invariant has no way how to know that this insn cannot be moved; so I think your patch should be correct.
-- http://gcc.gnu.org/bugzilla/show_bug.cgi?id=26272