1 /* { dg-do run } */
2 /* { dg-options "-O2 -fomit-frame-pointer --save-temps -fno-inline" } */
3
4 extern void abort (void);
5
6 typedef float float16x4_t __attribute__ ((vector_size ((16))));
7
8 float a;
9 float b;
10
11 float16x4_t
make_vector()12 make_vector ()
13 {
14 return (float16x4_t) { 0, 0, a, b };
15 }
16
17 int
main(int argc,char ** argv)18 main (int argc, char **argv)
19 {
20 a = 4.0;
21 b = 3.0;
22 float16x4_t vec = make_vector ();
23 if (vec[0] != 0 || vec[1] != 0 || vec[2] != a || vec[3] != b)
24 abort ();
25 return 0;
26 }
27
28 /* For memory models that don't have an addend on the lane value
29 load we can merge the load and lane insert into an LD1.
30 For others we expect LDR + INS sequences. */
31 /* { dg-final { scan-assembler-times "ld1\\t" 2 { target { aarch64_tiny || aarch64_large } } } } */
32 /* { dg-final { scan-assembler-times "ins\\t" 2 { target aarch64_small } } } */
33 /* What we want to check, is that make_vector does not stp the whole vector
34 to the stack. Unfortunately here we scan the body of main() too, which may
35 be a bit fragile - the test is currently passing only because of the option
36 -fomit-frame-pointer which avoids use of stp in the prologue to main(). */
37 /* { dg-final { scan-assembler-not "stp\\t" } } */
38