1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18
/* { dg-do compile } */ /* { dg-options "-O2" } */ typedef __Float64x1_t float64x1_t; typedef long int64_t; extern int64_t bar (float64x1_t f); int foo (void) { float64x1_t f = { 3.14159265358979311599796346854 }; int64_t c = 0x400921FB54442D18; int64_t r; r = bar (f); return r == c; }