gcc/testsuite/gcc.target/arm/identical-invariants.c

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