2 /* { dg-options "-O0" } */
6 extern void abort (void);
9 #define EFLAGS_TYPE unsigned long long int
11 #define EFLAGS_TYPE unsigned int
17 EFLAGS_TYPE flags
= 0xD7; /* 111010111b */
19 __writeeflags (flags
);
21 flags
= __readeflags ();
23 if ((flags
& 0xFF) != 0xD7)