1 /* { dg-options "-O2 -ftree-vectorize -msve-vector-bits=512" } */
2 
3 #include <stdint.h>
4 
5 void
f1(uint64_t * dst,uint32_t * src1,uint16_t * src2)6 f1 (uint64_t *dst, uint32_t *src1, uint16_t *src2)
7 {
8   for (int i = 0; i < 7; ++i)
9     dst[i] += (uint32_t) (src1[i] + src2[i]);
10 }
11 
12 /* { dg-final { scan-assembler-times {\tld1h\tz[0-9]+\.d,} 1 } } */
13 /* { dg-final { scan-assembler-times {\tld1w\tz[0-9]+\.d,} 1 } } */
14 /* { dg-final { scan-assembler-times {\tld1d\tz[0-9]+\.d,} 1 } } */
15 
16 /* { dg-final { scan-assembler-times {\tadd\tz} 2 } } */
17 /* { dg-final { scan-assembler-times {\tadd\tz[0-9]+\.s, z[0-9]+\.s, z[0-9]+\.s\n} 1 } } */
18 /* { dg-final { scan-assembler-times {\tadd\tz[0-9]+\.d, z[0-9]+\.d, z[0-9]+\.d\n} 1 } } */
19 
20 /* { dg-final { scan-assembler-times {\tuxt.\t} 1 } } */
21 /* { dg-final { scan-assembler-times {\tuxtw\tz[0-9]+\.d,} 1 } } */
22