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

   1 /* { dg-do compile } */
   2 /* { dg-options "-O2 -fdump-tree-dse1" } */
   3
   4 int glob1, glob2;
   5
   6 int foo1 (void)
   7 {
   8   glob1 = 0;
   9   glob2 = 1;
  10   glob1 = 2;
  11   glob2 = 3;
  12   return glob1 + glob2;
  13 }
  14
  15
  16
  17 /* There should only be one assignment to glob1 and glob2, the final
  18    return statement should just return a constant.  */
  19 /* { dg-final { scan-tree-dump-times "glob1 = " 1 "dse1"} } */
  20 /* { dg-final { scan-tree-dump-times "glob2 = " 1 "dse1"} } */
  21 /* { dg-final { scan-tree-dump-times "return 5" 1 "dse1"} } */
  22
  23 /* { dg-final { cleanup-tree-dump "dse1" } } */