gcc/testsuite/gcc.dg/tree-ssa/vrp-float-1.c


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19

// { dg-do compile }
// { dg-options "-O2 -fdisable-tree-ethread -fdisable-tree-fre1 -fdump-tree-evrp-details" }

void bar ();
void george ();

float
foo (float x, float y)
{
  if (x == x)
    {
      if (x > y)
        bar();
      if (x == x)
        george();
    }
}

// { dg-final { scan-tree-dump-times "Folded into: if \\(1 != 0\\)" 1 "evrp" } }