https://gcc.gnu.org/bugzilla/show_bug.cgi?id=102974
--- Comment #5 from Andrew Pinski <pinskia at gcc dot gnu.org> --- (In reply to cqwrteur from comment #4) > (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 I mean all of _addcarryx_* intrinsics.