/* { dg-do compile } */ | |
/* { dg-options "-O2" } */ | |
typedef __Float64x1_t float64x1_t; | |
typedef long 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; | |
} |