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 vnx4si
foo(vnx4si x,vnx4si y)9 foo (vnx4si x, vnx4si y)
10 {
11   return (vnx4si) { -1, 0, 0, -1, -1, -1, 0, 0 } ? x : y;
12 }
13 
14 /* { dg-final { scan-assembler {\tldr\tp[0-9]+,} } } */
15 /* { dg-final { scan-assembler {\t\.byte\t1\n\t\.byte\t16\n\t\.byte\t17\n\t\.byte\t0\n} } } */
16