gcc/testsuite/gcc.dg/pr68134.c

   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 }