gcc/testsuite/gcc.target/i386/adx-addcarryx32-2.c

   1 /* { dg-do run } */
   2 /* { dg-options "-madx -O2" } */
   3 /* { dg-require-effective-target adx } */
   4
   5 #include <x86intrin.h>
   6 #include "adx-check.h"
   7
   8 static void
   9 adx_test (void)
  10 {
  11   volatile unsigned char c;
  12   unsigned int x;
  13   volatile unsigned int y, sum_ref;
  14
  15   c = 0;
  16   x = y = 0xFFFFFFFF;
  17   sum_ref = 0xFFFFFFFE;
  18
  19   /* X = 0xFFFFFFFF, Y = 0xFFFFFFFF, C = 0.  */
  20   c = _addcarryx_u32 (c, x, y, &x);
  21   /* X = 0xFFFFFFFE, Y = 0xFFFFFFFF, C = 1.  */
  22   c = _addcarryx_u32 (c, x, y, &x);
  23   /* X = 0xFFFFFFFE, Y = 0xFFFFFFFF, C = 1.  */
  24
  25   if (x != sum_ref)
  26     abort ();
  27 }