blob: 8ee8e3c3f42dca22bae83069c5d6fb6316c91ed4 [file] [log] [blame]
 /* { 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"} } */