------- Comment #5 from steven at gcc dot gnu dot org 2006-11-11 16:46 ------- You can't have if-converted stores at the tree level.
Forms of store motion, like the example of comment #2, ought to get implemented at the tree level somewhen, though. AFAIU this is currently very hard to do, but the mem-ssa and new VN projects should help simplifying the job. -- http://gcc.gnu.org/bugzilla/show_bug.cgi?id=27313
