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