URL
https://opencores.org/ocsvn/openrisc/openrisc/trunk
Subversion Repositories openrisc
[/] [openrisc/] [trunk/] [gnu-stable/] [gcc-4.5.1/] [gcc/] [testsuite/] [gcc.dg/] [tree-ssa/] [vrp06.c] - Rev 826
Compare with Previous | Blame | View Log
/* { dg-do compile } */ /* { dg-options "-O2 -fdump-tree-vrp1" } */ foo (int i, int j, int a) { if (i >= 10) if (i <= 30) if (i == j) { a--; /* This should fold to 'if (0)'. */ if (i < 0) i = baz (); /* This should fold to 'if (1)'. */ if (j > 0) a--; /* This should fold to 'if (0)'. */ if (i != j) return 0; } return i + a + j; } /* { dg-final { scan-tree-dump-times "Folding predicate i_.*to 0" 1 "vrp1" } } */ /* { dg-final { scan-tree-dump-times "Folding predicate j_.*to 1" 1 "vrp1" } } */ /* { dg-final { scan-tree-dump-times "Folding predicate i_.*to 0" 1 "vrp1" } } */ /* { dg-final { cleanup-tree-dump "vrp1" } } */