------- Comment #13 from amonakov at gcc dot gnu dot org 2010-07-20 14:13 ------- (In reply to comment #10) > Re. comment 9: Well, the order of *this* store and *this* load is the > difference between the test case failing or passing. So I do not think the > problem is between this load and another store.
To clarify, I'm saying that the problem is in moving insn 9 (the store) past insn 21, not past insn 28. Your simplified dumps in comment #10 support that (r15 is incremented and decremented, r14 is post-modified; thus, both insn 21 and insn 9 touch memory[r12]). Insn 28 is not relevant to the miscompilation. -- http://gcc.gnu.org/bugzilla/show_bug.cgi?id=43494
