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
12int
13main ()
14{
15  EFLAGS_TYPE flags = 0xD7; /* 111010111b  */
16
17  __writeeflags (flags);
18
19  flags = __readeflags ();
20
21  if ((flags & 0xFF) != 0xD7)
22    abort ();
23
24#ifdef DEBUG
25    printf ("PASSED\n");
26#endif
27
28  return 0;
29}
30
31