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

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