/* { dg-options "-O3 -msve-vector-bits=256" } */

#include <stdint.h>

void
f (uint64_t *restrict dst, uint32_t *restrict src1, uint8_t *restrict src2){
  for (int i = 0; i < 7; ++i)
    dst[i] = (uint32_t) (src1[i] | src2[i]);
}

/* { dg-final { scan-assembler-times {\tld1w\tz[0-9]+\.d,} 2 } } */
/* { dg-final { scan-assembler-times {\tld1b\tz[0-9]+\.d,} 2 } } */
/* { dg-final { scan-assembler-not {\tuxtb\tz[0-9]+\.s,} } } */
/* { dg-final { scan-assembler-times {\torr\tz[0-9]+\.d, z[0-9]+\.d, z[0-9]+\.d\n} 2 } } */
/* { dg-final { scan-assembler-times {\tuxtw\tz[0-9]+\.d,} 2 } } */
/* { dg-final { scan-assembler-times {\tst1d\tz[0-9]+\.d,} 2 } } */