https://gcc.gnu.org/bugzilla/show_bug.cgi?id=102974
--- Comment #4 from cqwrteur <unlvsur at live dot com> --- (In reply to cqwrteur from comment #3) > (In reply to Andrew Pinski from comment #2) > > There might be another bug about _addcarryx_u64 already. > > This is 32 bit addcarry. but yeah. GCC does not perform optimizations very well to add carries and mul + recognize >>64u <<64u patterns