1  /* { dg-do compile } */
       2  /* { dg-options "-march=x86-64-v4" } */
       3  
       4  /* Verify -march=x86-64-v4 works even with -m32 or -mabi=ms.  */
       5  #include "x86-64-v4.c"