| /* { dg-do compile } */ |
| /* { dg-options "-O1 -fdump-tree-dom3" } */ |
| /* LLVM LOCAL test not applicable */ |
| /* { dg-require-fdump "" } */ |
| |
| extern void abort (void); |
| extern int blah[]; |
| |
| foo(int index) |
| { |
| if (blah [(unsigned int)index] != 0) |
| abort (); |
| if (blah [(unsigned int)index] != 0) |
| abort (); |
| } |
| |
| /* There should be precisely one load of blah. If there is |
| more than one, then the dominator optimizations failed. */ |
| /* { dg-final { scan-tree-dump-times "blah" 1 "dom3"} } */ |
| |
| /* There should be exactly one IF conditional. */ |
| /* { dg-final { scan-tree-dump-times "if " 1 "dom3"} } */ |
| |
| /* { dg-final { cleanup-tree-dump "dom3" } } */ |