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
      11  f1 (v64qi x, v64qi y)
      12  {
      13    return x & ~y;
      14  }
      15  
      16  v32hi
      17  f2 (v32hi x, v32hi y)
      18  {
      19    return x & ~y;
      20  }
      21  
      22  v16si
      23  f3 (v16si x, v16si y)
      24  {
      25    return x & ~y;
      26  }
      27  
      28  v8di
      29  f4 (v8di x, v8di y)
      30  {
      31    return x & ~y;
      32  }