1 /* { dg-do compile } */
2 /* { dg-options "-O2" } */
4 typedef __Float64x1_t float64x1_t
;
6 typedef long long int64_t;
8 extern int64_t bar (float64x1_t f
);
13 float64x1_t f
= { 3.14159265358979311599796346854 };
14 int64_t c
= 0x400921FB54442D18;