http://gcc.gnu.org/bugzilla/show_bug.cgi?id=57299
--- Comment #1 from Andrew Pinski <pinskia at gcc dot gnu.org> --- I think you are wrong in how many registers that inline-asm uses. It uses 4 registers, two each to hold y and x which have to be loaded into a register from the stack.