https://gcc.gnu.org/bugzilla/show_bug.cgi?id=92425 --- Comment #2 from Alexander Kobets <akobets at mail dot ru> --- I think eax is 32-bit register. May be I do not understand, then I re-check the result of that operation.