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