gcc/testsuite/gcc.dg/sccopy-1.c

   1 /* { dg-do compile } */
   2 /* { dg-options "-fgimple -fdump-tree-sccopy -O2" } */
   3 /* { dg-final { scan-tree-dump "Replacing SCC of size 2" "sccopy1" } } */
   4
   5 int __GIMPLE (ssa, startwith ("sccopy"))
   6 main ()
   7 {
   8   int a;
   9   int y;
  10   int x;
  11   int _1;
  12   int _2;
  13   int _13;
  14
  15   __BB(2):
  16   if (x_7(D) == 5)
  17     goto __BB3;
  18   else
  19     goto __BB4;
  20
  21   __BB(3):
  22   a_10 = x_7(D);
  23   goto __BB5;
  24
  25   __BB(4):
  26   a_9 = y_8(D);
  27   goto __BB5;
  28
  29   __BB(5):
  30   a_3 = __PHI (__BB3: a_10, __BB4: a_9);
  31   if (x_7(D) == y_8(D))
  32     goto __BB6;
  33   else
  34     goto __BB11;
  35
  36   __BB(6):
  37   a_11 = a_3 + 1;
  38   goto __BB7;
  39
  40   __BB(7):
  41   a_4 = __PHI (__BB6: a_11, __BB11: a_6);
  42 label1:
  43   if (x_7(D) != y_8(D))
  44     goto __BB8;
  45   else
  46     goto __BB10;
  47
  48   __BB(8):
  49   goto __BB9;
  50
  51   __BB(9):
  52   a_12 = __PHI (__BB8: a_4, __BB10: a_5);
  53   goto __BB10;
  54
  55   __BB(10,loop_header(1)):
  56   a_5 = __PHI (__BB7: a_4, __BB9: a_12);
  57 label2:
  58   _1 = y_8(D) * 2;
  59   if (x_7(D) == _1)
  60     goto __BB9;
  61   else
  62     goto __BB11;
  63
  64   __BB(11):
  65   a_6 = __PHI (__BB5: a_3, __BB10: a_5);
  66   _2 = x_7(D) * 3;
  67   if (y_8(D) == _2)
  68     goto __BB7;
  69   else
  70     goto __BB12;
  71
  72   __BB(12):
  73   _13 = 0;
  74   return _13;
  75
  76 }
  77
  78