https://gcc.gnu.org/bugzilla/show_bug.cgi?id=93990
--- Comment #1 from Andrew Pinski <pinskia at gcc dot gnu.org> --- This is already been fixed in GCC 10: addq %rdx, %rdi movq %rsi, %rax adcq %rcx, %rax xorq %rdi, %rax ret .ident "GCC: (GNU) 10.0.1 20200121 (experimental) [master revision e0a5b313c1a:f4dc220f630:b313d3c49c2387b5e212df22a5e6ecc0c4e95c0a]"