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 main()15main () 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 33