gcc/testsuite/gcc.dg/tree-ssa/predcom-dse-9.c

   1 /* { dg-do run } */
   2 /* { dg-options "-O2 -fno-inline -fpredictive-commoning -fdump-tree-pcom-details-blocks" } */
   3
   4 int arr1[105] = {2, 3, 5, 7, 11, 13, 17, 19};
   5 int arr2[105] = {2, 3, 5, 7, 11, 13, 17, 19};
   6 int arr3[105] = {2, 3, 5, 7, 11, 13, 17, 19};
   7
   8 int result1[105] = {0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0,
   9                     0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0,
  10                     0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0,
  11                     0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0,
  12                     0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0,
  13                     0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0,
  14                     0, 0, 0, 0, 0, 0, 0, 0, 0, 0, -1, -2, -3, -4, -5};
  15 int result2[105] = {0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0,
  16                     0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0,
  17                     0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0,
  18                     0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0,
  19                     0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0,
  20                     0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0,
  21                     0, 0, 0, 0, 0, 0, 0, 0, 0, 0, -1, -3, -3, -5, -5};
  22 int result3[105] = {0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0,
  23                     0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0,
  24                     0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0,
  25                     0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0,
  26                     0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0,
  27                     0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0,
  28                     0, 0, 0, 0, 0, 0, 0, 0, 0, 0, -5, -5, -5, -5, -5};
  29
  30 extern void abort (void);
  31
  32 void __attribute__((noinline)) foo1 (int *a)
  33 {
  34   int i;
  35   for (i = 0; i < 100; i++)
  36     {
  37       a[i] = 0;
  38       a[i + 1] = -1;
  39       a[i + 2] = -2;
  40       a[i + 3] = -3;
  41       a[i + 4] = -4;
  42       a[i + 5] = -5;
  43     }
  44 }
  45
  46 void __attribute__((noinline)) foo2 (int *a)
  47 {
  48   int i;
  49   for (i = 0; i < 100; i++)
  50     {
  51       a[i] = 0;
  52       a[i + 1] = -1;
  53       a[i + 3] = -3;
  54       a[i + 5] = -5;
  55     }
  56 }
  57
  58 void __attribute__((noinline)) foo3 (int *a)
  59 {
  60   int i;
  61   for (i = 0; i < 100; i++)
  62     {
  63       a[i] = 0;
  64       a[i + 5] = -5;
  65     }
  66 }
  67
  68 void check (int *a, int *res, int len)
  69 {
  70   int i;
  71
  72   for (i = 0; i < len; i++)
  73     if (a[i] != res[i])
  74       abort ();
  75 }
  76
  77 int main (void)
  78 {
  79   foo1 (arr1);
  80   check (arr1, result1, 10);
  81
  82   foo2 (arr2);
  83   check (arr2, result2, 10);
  84
  85   foo3 (arr3);
  86   check (arr3, result3, 10);
  87
  88   return 0;
  89 }
  90 /* { dg-final { scan-tree-dump "Store-stores chain" "pcom"} } */
  91 /* { dg-final { scan-tree-dump-not "Invalid sum" "pcom" } } */