1 /* { dg-do compile } */
2 /* { dg-options "-O2 -msse2 -mno-avx -fipa-ra -fomit-frame-pointer" } */
3
4 typedef double v2df __attribute__((vector_size (16)));
5
6 static v2df __attribute__((noinline))
bar(v2df a)7 bar (v2df a)
8 {
9 return a + (v2df){ 3.0, 3.0 };
10 }
11
12 v2df __attribute__((noinline))
foo(v2df y)13 foo (v2df y)
14 {
15 return y + bar (y);
16 }
17
18 /* Check presence of all insns on xmm registers. These checks are expected to
19 pass with both -fipa-ra and -fno-ipa-ra. */
20
21 /* Darwin local constant symbol is "lC0", ELF targets ".LC0" */
22 /* { dg-final { scan-assembler-times {addpd\t\.?[Ll]C0.*, %xmm0} 1 { target { { ! ia32 } || nonpic } } } } */
23 /* { dg-final { scan-assembler-times {movapd\t\.?[Ll]C0.*, %xmm1} 1 { target { ia32 && { ! nonpic } } } } } */
24
25 /* We happen to get this for both cases, but in different positions. */
26 /* { dg-final { scan-assembler-times "addpd\t%xmm1, %xmm0" 1 } } */
27
28 /* { dg-final { scan-assembler-times "movapd\t%xmm0, %xmm1" 1 { target { { ! ia32 } || nonpic } } } } */
29 /* { dg-final { scan-assembler-times "movapd\t%xmm0, %xmm2" 1 { target { ia32 && { ! nonpic } } } } } */
30 /* { dg-final { scan-assembler-times "addpd\t%xmm2, %xmm0" 1 { target { ia32 && { ! nonpic } } } } } */
31
32 /* Check absence of save/restore of xmm1 register. */
33 /* { dg-final { scan-assembler-not "movaps\t%xmm1, \\(%\[re\]?sp\\)" } } */
34 /* { dg-final { scan-assembler-not "movapd\t\\(%\[re\]?sp\\), %xmm1" } } */
35