/* { dg-do run { target ia32 } } */
/* { dg-options "-O0 -mtune=pentium" } */

#include "readeflags-1.c"