http://gcc.gnu.org/bugzilla/show_bug.cgi?id=55461
--- Comment #2 from Andi Kleen <andi-gcc at firstfloor dot org> 2012-11-25 18:07:49 UTC --- That's a design not matching the hardware then -- read up on reformatting penalties. Also the way the rule in the md file is written it more looks like a bug to me. It seems to try to figure out the right type, and it works most of the time, just sometimes it fails.
