On Sat, Jun 03, 2023 at 01:37:53PM +0200, Mason wrote: > On 01/06/2023 09:42, Mason wrote: > > > As far as I can tell, intrinsics _addcarry_u64() and _addcarryx_u64() are > > plain wrappers around the same __builtin_ia32_addcarryx_u64() function. > > > > https://github.com/gcc-mirror/gcc/blob/master/gcc/config/i386/adxintrin.h > > Hello Uros, Jakub, > > I want to report a missed-optimization bug with _addcarry_u64(). > (I can file an issue on Bugzilla, if you deem it appropriate.) Filing this in bugzilla is the right way to go. I think we'll need to do something about this stuff urgently on most of the arches anyway, see https://gcc.gnu.org/bugzilla/show_bug.cgi?id=102989#c56 But what your testcase shows is a separate issue, so should be filed separately. Thanks. Jakub
