1  /* { dg-do run } */
       2  /* { dg-options "-O0" } */
       3  
       4  #include <x86intrin.h>
       5  
       6  extern void abort (void);
       7  
       8  #ifdef __x86_64__
       9  #define EFLAGS_TYPE unsigned long long int
      10  #else
      11  #define EFLAGS_TYPE unsigned int
      12  #endif
      13  
      14  int
      15  main ()
      16  {
      17    EFLAGS_TYPE flags = 0xD7; /* 111010111b  */
      18  
      19    __writeeflags (flags);
      20  
      21    flags = __readeflags ();
      22  
      23    if ((flags & 0xFF) != 0xD7)
      24      abort ();
      25  
      26  #ifdef DEBUG
      27      printf ("PASSED\n");
      28  #endif
      29  
      30    return 0;
      31  }
      32