http://gcc.gnu.org/bugzilla/show_bug.cgi?id=48126
--- Comment #8 from Michael K. Edwards <m.k.edwards at gmail dot com> 2011-06-24 11:28:53 UTC --- So I think we agree that the CLREX is needless, but the DMB should move after the branch target. Does that make this bug "confirmed"? (I don't feel the need for patch credit. :-)
