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
fn1()7 fn1 ()
8 {
9 }
10 #pragma GCC pop_options
11 float
fn2(float a)12 fn2 (float a)
13 {
14   return a + 2.0;
15 }
16 
17 /* { dg-final { scan-assembler-not "__addsf3" } } */
18