gcc/testsuite/gcc.dg/tree-ssa/20030703-1.c

   1 /* { dg-do compile } */
   2 /* { dg-options "-O1 -fdump-tree-dom3" } */
   3
   4 extern void abort (void);
   5 extern int blah[];
   6
   7 foo(int index)
   8 {
   9   if (blah [(unsigned int)index] != 0)
  10     abort ();
  11   if (blah [(unsigned int)index] != 0)
  12     abort ();
  13 }
  14
  15 /* There should be precisely one load of blah.  If there is
  16    more than one, then the dominator optimizations failed.  */
  17 /* { dg-final { scan-tree-dump-times "blah" 1 "dom3"} } */
  18
  19 /* There should be exactly one IF conditional.  */
  20 /* { dg-final { scan-tree-dump-times "if " 1 "dom3"} } */
  21
  22 /* { dg-final { cleanup-tree-dump "dom3" } } */