/* { dg-do compile } */
/* { dg-options "-march=x86-64-v4" } */

/* Verify -march=x86-64-v4 works even with -m32 or -mabi=ms.  */
#include "x86-64-v4.c"