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