Viewing file:  evrp-trans.c (1.9 KB) -rw-r--r--
Select action/file-type:
 (+) |  (+) |  (+) | Code (+) | Session (+) |  (+) | SDB (+) |  (+) |  (+) |  (+) |  (+) |  (+) |
/* { 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"} } */
|
