1 /* { dg-do compile } */
2 /* { dg-options "-O2 -msve-vector-bits=256" } */
3 
4 #include <stdint.h>
5 
6 typedef int32_t vnx4si __attribute__((vector_size(32)));
7 
8 void
foo(int32_t val)9 foo (int32_t val)
10 {
11   register vnx4si x asm ("z0");
12   val += 1;
13   vnx4si y = { val, val, val, val, val, val, val, val };
14   x = (vnx4si) { -1, 0, 0, -1, 0, -1, 0, -1 } ? y : (vnx4si) { 0 };
15   asm volatile ("" :: "w" (x));
16 }
17 
18 /* { dg-final { scan-assembler {\tmovprfx\tz0\.s, p[0-7]/z, z0\.s\n\tmov\tz0\.s, p[0-7]/m, w[0-9]+\n} } } */
19