gcc/testsuite/gcc.dg/tree-ssa/predcom-7.c

   1 /* { dg-do run } */
   2 /* { dg-options "-O3 -fdump-tree-pcom-details-blocks" } */
   3
   4 int b, f, d[5][2];
   5 unsigned int c;
   6
   7 int
   8 main ()
   9 {
  10   for (c = 0; c < 2; c++)
  11     if (d[b + 3][c] & d[b + 4][c])
  12       if (f)
  13         break;
  14   return 0;
  15 }
  16
  17 /* { dg-final { scan-tree-dump "Executing predictive commoning" "pcom" } } */
  18 /* dom pass introduces one mismatch after simplfying mispredicted conditional
  19    on c being non-zero on first iteration.  This happens since c is global variable
  20    and needs alias analysis.  */
  21 /* { dg-final { scan-tree-dump-times "Invalid sum" 1 "pcom" } } */