1  /* { dg-do run { target ia32 } } */
       2  /* { dg-options "-O0 -mtune=pentium" } */
       3  
       4  #include "readeflags-1.c"
       1  /* { dg-do run { target ia32 } } */
       2  /* { dg-options "-O0 -mtune=pentium" } */
       3  
       4  #include "readeflags-1.c"