/* { dg-do compile } */
/* { dg-options "-march=armv8.2-a+profile" } */
/* { dg-final { scan-assembler "\\.arch armv8.2-a\[\^\n\]*\\+profile\[\^\n\]*\n" } } */