2 /* { dg-do run { target sse2_runtime } } */
3 /* { dg-options "-O -msse2" } */
4 /* { dg-additional-options "-mavx -mtune=bdver1" { target avx_runtime } } */
6 extern void abort (void);
7 typedef double V
__attribute__((vector_size(16)));
10 unsigned long long m
[2];
12 } u
= { { 0xffffffffff000000ULL
, 0xffffffffff000000ULL
} };
17 V y
= __builtin_ia32_andpd (x
, u
.v
);
18 V z
= __builtin_ia32_subpd (x
, y
);
19 return __builtin_ia32_mulpd (y
, z
);
33 if (u
.m
[0] != 0x3acbf487f0a30550ULL
|| u
.m
[1] != u
.m
[0])