1 /* { dg-do compile } */
2 /* { dg-additional-options "-march=armv8.4-a+nodotprod" } */
3 
main()4 int main ()
5 {
6   return 0;
7 }
8 
9 /* { dg-final { scan-assembler-times {\.arch armv8\.4\-a} 1 } } */
10 
11 /* Checking if trying to turn off default features propagates the commandline
12    option.  */
13