Extend tree code folds to IFN_COND_*
[official-gcc.git] / gcc / testsuite / gcc.target / aarch64 / sve / loop_add_6.c
blobaab5eddddb0f3011d680051bb4852bbc552d8f37
1 /* { dg-do compile } */
2 /* { dg-options "-O2 -ftree-vectorize -fgimple -ffast-math" } */
4 double __GIMPLE (startwith("loop"))
5 neg_xi (double *x)
7 int i;
8 long unsigned int index;
9 long unsigned int offset;
10 double * xi_ptr;
11 double xi;
12 double neg_xi;
13 double res;
14 unsigned int ivtmp;
16 bb_1:
17 goto bb_2;
19 bb_2:
20 res_1 = __PHI (bb_1: 0.0, bb_3: res_2);
21 i_4 = __PHI (bb_1: 0, bb_3: i_5);
22 ivtmp_6 = __PHI (bb_1: 100U, bb_3: ivtmp_7);
23 index = (long unsigned int) i_4;
24 offset = index * 8UL;
25 xi_ptr = x_8(D) + offset;
26 xi = *xi_ptr;
27 neg_xi = -xi;
28 res_2 = neg_xi + res_1;
29 i_5 = i_4 + 1;
30 ivtmp_7 = ivtmp_6 - 1U;
31 if (ivtmp_7 != 0U)
32 goto bb_3;
33 else
34 goto bb_4;
36 bb_3:
37 goto bb_2;
39 bb_4:
40 res_3 = __PHI (bb_2: res_2);
41 return res_3;
44 /* { dg-final { scan-assembler {\tfsub\tz[0-9]+\.d, p[0-7]/m} } } */
45 /* { dg-final { scan-assembler-not {\tsel\t} } } */
46 /* { dg-final { scan-assembler-not {\tmovprfx\t} } } */