gcc/testsuite/gcc.dg/tree-ssa/vrp-float-relations-3.c


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27

// { dg-do compile }
// { dg-options "-O2 -fdump-tree-all-stats" }

void stuff();

void foo (float a, int cond)
{
  float x;

  if (cond)
    x = a;
  else
    x = 8.0;

  /* Even though on the BB2->BB4 path, x_1 and a_4 are equivalent, we cannot
     fold x_1 == a_4 because of possible NANs:

    <bb 4>
    # x_1 = PHI <a_4(D)(2), 8.0e+0(3)>
    if (x_1 == a_4(D))
  */
  if (x == a)
    stuff();
}

// { dg-final { scan-tree-dump-not "Jumps threaded" "threadfull1" } }
// { dg-final { scan-tree-dump-not "Jumps threaded" "threadfull2" } }