------- Comment #3 from rguenth at gcc dot gnu dot org 2009-01-25 16:02 -------
Plan for attacking the problem:
1) Write a verifier that discovers illegal code motion.
1a) Each store and load is assigned a generation count.
1b) After code motion optimizations verify that out-of-order stores/loads
were validly interchanged. If not, ICE. If so, re-compute the
generation counters.
2) Fix the fallout. Tree loop store motion is known to randomly
interchange stores.
3) Profit.
...
n) Deal with RTL (properly export alias information to RTL).
--
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=38964
