1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
|
/* { dg-do compile { target { arm_thumb2_ok } } } */
/* { dg-options "-O2 -fdump-rtl-loop2_invariant " } */
int t1, t2, t3, t4, t5, t6, t7, t8, t9, t10;
extern void foo2 (int *, int *, int *, int *, int *, int *);
extern int foo3 (int, int, int, int, int, int);
int foo (int a, int b, int c, int d)
{
int i = a;
for (; i > 0; i += b)
{
if (a > 0x1234567)
foo2 (&t1, &t2, &t3, &t4, &t5, &t6);
foo2 (&t1, &t2, &t3, &t4, &t5, &t6);
if (b > 0x1234567)
foo2 (&t7, &t2, &t8, &t4, &t5, &t6);
foo2 (&t1, &t2, &t3, &t4, &t5, &t6);
if (c > 0x1234567)
foo2 (&t1, &t9, &t10, &t4, &t5, &t6);
t2 = t5 - d;
}
return foo3 (t1, t2, t3, t4, t5, t6);
}
/* { dg-final { scan-rtl-dump "Decided to move invariant 0" "loop2_invariant" } } */
|
