aboutsummaryrefslogtreecommitdiff
path: root/gcc/testsuite/gcc.dg/tree-ssa/phi-opt-26.c
blob: 21aa66e38b8a4665e04af2c943dcb55450668dc9 (plain)
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
28
29
30
31
/* { dg-do compile } */
/* { dg-options "-O -fgimple -fdump-tree-phiopt1" } */

int __GIMPLE (ssa,startwith("phiopt"))
foo (int a, int b, int flag)
{
  int res;

  __BB(2):
  if (flag_2(D) != 0)
    goto __BB6;
  else
    goto __BB4;

  __BB(4):
  if (a_3(D) > b_4(D))
    goto __BB7;
  else
    goto __BB6;

  __BB(6):
  goto __BB7;

  __BB(7):
  res_1 = __PHI (__BB4: a_3(D), __BB6: b_4(D));
  return res_1;
}

/* We should be able to detect MAX despite the extra edge into
   the middle BB.  */
/* { dg-final { scan-tree-dump "MAX" "phiopt1" } } */