1  /* { dg-do compile } */
       2  /* { dg-options "-std=c99" } */
       3  
       4  #include <stdint.h>
       5  
       6  typedef double float64x1_t __attribute__ ((vector_size (8)));
       7  typedef uint64_t uint64x1_t;
       8  
       9  void
      10  foo (void)
      11  {
      12    float64x1_t arg1 = (float64x1_t) 0x3fedf9d4343c7c80;
      13    float64x1_t arg2 = (float64x1_t) 0x3fcdc53742ea9c40;
      14    uint64x1_t result = (uint64x1_t) (arg1 == arg2);
      15    uint64_t got = result;
      16    uint64_t exp = 0;
      17    if (got != 0)
      18      __builtin_abort ();
      19  }