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