| /* { dg-do compile } */ |
| /* { dg-options "-O2 -fdump-tree-evrp" } */ |
| |
| /* Simple tests to make sure transitives are working. */ |
| void keep(); |
| void kill(); |
| |
| void |
| f1 (int x, int y, int z) |
| { |
| if (x > y) |
| if (y > z) |
| { |
| if (x > z) |
| keep (); |
| else |
| kill (); |
| } |
| } |
| |
| void |
| f2 (int w, int x, int y, int z) |
| { |
| // Test one equivalence. |
| if (w == z) |
| if (x > y) |
| if (y > z) |
| { |
| if (x > w) |
| keep (); |
| else |
| kill (); |
| } |
| } |
| |
| void |
| f3 (int a, int w, int x, int y, int z) |
| { |
| // Test two equivlaences. |
| if (a == x) |
| if (w == z) |
| if (x > y) |
| if (y > z) |
| { |
| if (a > w) |
| keep (); |
| else |
| kill (); |
| } |
| } |
| |
| void |
| f4 (int x, int y, int z) |
| { |
| // test X > Y >= Z |
| if (x > y) |
| if (y >= z) |
| { |
| if (x > z) |
| keep (); |
| else |
| kill (); |
| } |
| } |
| void |
| f5 (int x, int y, int z) |
| { |
| // test X >= Y > Z |
| if (x >= y) |
| if (y > z) |
| { |
| if (x > z) |
| keep (); |
| else |
| kill (); |
| } |
| } |
| |
| void |
| f6 (int x, int y, int z) |
| { |
| // test X >= Y >= Z |
| if (x >= y) |
| if (y >= z) |
| { |
| if (x > z) |
| keep (); |
| else if (x == z) |
| keep (); |
| else |
| kill (); |
| } |
| } |
| |
| void |
| f7 (int x, int y, int z) |
| { |
| // test Y <= X , Z <= Y |
| if (y <= x) |
| if (z <= y) |
| { |
| if (x > z) |
| keep (); |
| else if (x == z) |
| keep (); |
| else |
| kill (); |
| } |
| } |
| |
| void |
| f8 (int x, int y, int z) |
| { |
| // test X >= Y, Z <= Y |
| if (x >= y) |
| if (z <= y) |
| { |
| if (x > z) |
| keep (); |
| else if (x == z) |
| keep (); |
| else |
| kill (); |
| } |
| } |
| |
| void |
| f9 (int x, int y, int z) |
| { |
| // test Y <= X Y >= Z |
| if (y <= x) |
| if (y >= z) |
| { |
| if (x > z) |
| keep (); |
| else if (x == z) |
| keep (); |
| else |
| kill (); |
| } |
| } |
| |
| /* { dg-final { scan-tree-dump-not "kill" "evrp" } } */ |
| /* { dg-final { scan-tree-dump-times "keep" 13 "evrp"} } */ |
