| /* { 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 |