| /* { dg-do compile } */ | |
| /* { dg-options "-std=c99" } */ | |
| #include <stdint.h> | |
| typedef double float64x1_t __attribute__ ((vector_size (8))); | |
| typedef uint64_t uint64x1_t; | |
| void | |
| foo (void) | |
| { | |
| float64x1_t arg1 = (float64x1_t) 0x3fedf9d4343c7c80; | |
| float64x1_t arg2 = (float64x1_t) 0x3fcdc53742ea9c40; | |
| uint64x1_t result = (uint64x1_t) (arg1 == arg2); | |
| uint64_t got = result; | |
| uint64_t exp = 0; | |
| if (got != 0) | |
| __builtin_abort (); | |
| } |