1 /* { dg-do compile } */
2 /* { dg-options "-O2" } */
3 
4 void
f1(int * x)5 f1 (int *x)
6 {
7   __builtin_aarch64_set_fpsr (*x);
8 }
9 
10 void
f2(int * x)11 f2 (int *x)
12 {
13   __builtin_aarch64_set_fpcr (*x);
14 }
15 
16 void
f3(int * x)17 f3 (int *x)
18 {
19   *x = __builtin_aarch64_get_fpsr ();
20 }
21 
22 void
f4(int * x)23 f4 (int *x)
24 {
25   *x = __builtin_aarch64_get_fpcr ();
26 }
27