| /* PR middle-end/87138 */ |
| /* { dg-do run { target int128 } } */ |
| /* { dg-options "-O -fno-tree-fre -mavx512bw -mtune=k8" } */ |
| /* { dg-require-effective-target avx512bw } */ |
| |
| #include "avx512bw-check.h" |
| |
| typedef int U __attribute__ ((vector_size (64))); |
| typedef __int128 V __attribute__ ((vector_size (64))); |
| V g, i; |
| |
| static inline void |
| foo (unsigned h, V j, U k, V n) |
| { |
| k /= h; |
| __builtin_memmove (&h, &n, 1); |
| n[j[1]] *= 0x7FFFFFFFFFFFFFFF; |
| j[k[5]] = 0; |
| g = n; |
| i = h + j + n; |
| } |
| |
| void |
| avx512bw_test () |
| { |
| foo (~0, (V) { }, (U) { 5 }, (V) { 3 }); |
| if (g[0] != (__int128) 3 * 0x7FFFFFFFFFFFFFFF) |
| abort (); |
| } |
