1  /* { dg-options "-O3 -msve-vector-bits=256" } */
       2  
       3  #include <stdint.h>
       4  
       5  void
       6  f (uint64_t *restrict dst, uint16_t *restrict src1, uint8_t *restrict src2)
       7  {
       8    for (int i = 0; i < 7; ++i)
       9      dst[i] = (uint16_t) (src1[i] | src2[i]);
      10  }
      11  
      12  /* { dg-final { scan-assembler-times {\tld1h\tz[0-9]+\.d,} 2 } } */
      13  /* { dg-final { scan-assembler-times {\tld1b\tz[0-9]+\.d,} 2 } } */
      14  /* { dg-final { scan-assembler-not {\tuxtb\tz[0-9]+\.h,} } } */
      15  /* { dg-final { scan-assembler-times {\torr\tz[0-9]+\.d,} 2 } } */
      16  /* { dg-final { scan-assembler-times {\tuxth\tz[0-9]+\.d,} 2 } } */
      17  /* { dg-final { scan-assembler-times {\tst1d\tz[0-9]+\.d,} 2 } } */