1 /* PR target/70525 */
2 /* { dg-do assemble { target avx512bw } } */
3 /* { dg-options "-O2 -mavx512bw -mno-avx512vl" } */
4 
5 typedef char v64qi __attribute__ ((vector_size (64)));
6 typedef short v32hi __attribute__ ((vector_size (64)));
7 typedef int v16si __attribute__ ((vector_size (64)));
8 typedef long long v8di __attribute__ ((vector_size (64)));
9 
10 v64qi
f1(v64qi x,v64qi y)11 f1 (v64qi x, v64qi y)
12 {
13   return x & ~y;
14 }
15 
16 v32hi
f2(v32hi x,v32hi y)17 f2 (v32hi x, v32hi y)
18 {
19   return x & ~y;
20 }
21 
22 v16si
f3(v16si x,v16si y)23 f3 (v16si x, v16si y)
24 {
25   return x & ~y;
26 }
27 
28 v8di
f4(v8di x,v8di y)29 f4 (v8di x, v8di y)
30 {
31   return x & ~y;
32 }
33