20 lines
436 B
C
20 lines
436 B
C
/* { 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 ();
|
|
}
|