1 /* { dg-do compile } */ 2 /* { dg-additional-options "-march=armv8.4-a+nodotprod" } */ 3 main()4int 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