/* { dg-do compile { target { ! ia32 } } } */
/* { dg-options "-mabi=sysv -mtune=haswell -march=x86-64-v3" } */

/* Check that -march=x86-64-v3 preserves tuning.  */

/* PCLMUL is not in x86-64-v3, but in -march=haswell.  Make sure that
   it is absent.  */
#ifdef __PCLMUL__
# error __PCLMUL__ is defined
#endif

/* -mtune=haswell tuning is preserved.  */
#ifndef __k8__
# error __k8__ is not defined
#endif
#ifndef __tune_haswell__
# error __tune_haswell__ is not defined
#endif