http://gcc.gnu.org/bugzilla/show_bug.cgi?id=59363
--- Comment #6 from Michael Zolotukhin <michael.v.zolotukhin at gmail dot com> --- I wasn't able to reproduce the problem, though I got the same asm-files as you showed. However, the both asms look correct to me, and equivalent to each other. Could the problem be in function xdi_diff? Maybe it's compiled with some different flags? Though, I might miss something - I'll continue digging into the problem.