/* { 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;
}