1  /* { dg-do compile } */
       2  /* { dg-options "-O3 -mzarch -march=z13 -mzvector" } */
       3  
       4  #include <vecintrin.h>
       5  
       6  
       7  vector unsigned char a, b, c, d;
       8  
       9  int
      10  foo ()
      11  {
      12    a = vec_genmask (0);
      13    b = vec_genmask (65535);
      14    c = vec_genmask (43605);
      15    d = vec_genmask (37830);
      16  }
      17  
      18  /* { dg-final { scan-assembler-times "vzero" 1 } } */
      19  /* { dg-final { scan-assembler-times "vone" 1 } } */
      20  /* { dg-final { scan-assembler-times "vgbm\t%v.*,43605" 1 } } */
      21  /* { dg-final { scan-assembler-times "vgbm\t%v.*,37830" 1 } } */