gcc/testsuite/gcc.target/aarch64/options_set_18.c

/* { dg-do compile } */
/* { dg-additional-options "-march=armv8.4-a+dotprod" } */

int main ()
{
  return 0;
}

/* { dg-final { scan-assembler {\.arch armv8\.4-a\+crc} } } */

 /* dotprod is default in armv8.4-a, don't emit.  */