1/* { dg-do compile } */ 2/* { dg-options "-O1 -fdump-tree-dom3" } */ 3 4extern void abort (void); 5extern int blah[]; 6 7foo(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" } } */ 23