gcc/testsuite/gcc.target/i386/pr67317-1.c

   1 /* PR target/67317 */
   2 /* { dg-do compile } */
   3 /* { dg-options "-O2" } */
   4
   5 typedef unsigned int u32;
   6
   7 u32 testcarry_u32 (u32 a, u32 b, u32 c, u32 d)
   8 {
   9   u32 result0, result1;
  10
  11   __builtin_ia32_addcarryx_u32
  12     (__builtin_ia32_addcarryx_u32 (0, a, c, &result0), b, d, &result1);
  13
  14   return result0 ^ result1;
  15 }
  16
  17 /* { dg-final { scan-assembler-not "addb" } } */
  18 /* { dg-final { scan-assembler-not "setn?c" } } */