| /* { 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" } } */ |
| |