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

   1 /* { dg-do run } */
   2 /* { dg-options "-O0" } */
   3
   4 #include <x86intrin.h>
   5
   6 #ifdef __x86_64__
   7 #define EFLAGS_TYPE unsigned long long int
   8 #else
   9 #define EFLAGS_TYPE unsigned int
  10 #endif
  11
  12 static EFLAGS_TYPE
  13 readeflags_test (unsigned int a, unsigned int b)
  14 {
  15   unsigned x = (a == b);
  16   return __readeflags ();
  17 }
  18
  19 int
  20 main ()
  21 {
  22   EFLAGS_TYPE flags;
  23
  24   flags = readeflags_test (100, 100);
  25
  26   if ((flags & 1) != 0)  /* Read CF */
  27     abort ();
  28
  29   flags = readeflags_test (100, 101);
  30
  31   if ((flags & 1) == 0)  /* Read CF */
  32     abort ();
  33
  34 #ifdef DEBUG
  35     printf ("PASSED\n");
  36 #endif
  37
  38   return 0;
  39 }
  40