| /* { dg-do compile } */ | |
| /* { dg-additional-options "-march=armv8.4-a+nodotprod" } */ | |
| int main () | |
| { | |
| return 0; | |
| } | |
| /* { dg-final { scan-assembler-times {\.arch armv8\.4\-a} 1 } } */ | |
| /* Checking if trying to turn off default features propagates the commandline | |
| option. */ |