1  /* PR target/95488  */
       2  /* { dg-do compile } */
       3  /* { dg-options "-O2 -mavx512bw -mprefer-vector-width=512" }  */
       4  /* { dg-final { scan-assembler-times "vpmovzxbw" 4 } } */
       5  /* { dg-final { scan-assembler-times "vpmullw\[^\n\]*zmm" 2 } } */
       6  /* { dg-final { scan-assembler-times "vpmovwb" 2 } } */
       7  
       8  typedef char v32qi __attribute__ ((vector_size (32)));
       9  typedef unsigned char v32uqi __attribute__ ((vector_size (32)));
      10  
      11  __attribute__((noipa)) v32qi
      12  mul_512 (v32qi a, v32qi b)
      13  {
      14    return  a * b;
      15  }
      16  
      17  __attribute__((noipa)) v32uqi
      18  umul_512 (v32uqi a, v32uqi b)
      19  {
      20    return  a * b;
      21  }