1  /* { dg-do compile } */
       2  /* { dg-options "-O2 -march=armv8-a+fp" } */
       3  
       4  #pragma GCC push_options
       5  #pragma GCC target "arch=armv8-a+nofp"
       6  static void
       7  fn1 ()
       8  {
       9  }
      10  #pragma GCC pop_options
      11  float
      12  fn2 (float a)
      13  {
      14    return a + 2.0;
      15  }
      16  
      17  /* { dg-final { scan-assembler-not "__addsf3" } } */