aboutsummaryrefslogtreecommitdiff
path: root/gcc/testsuite/gcc.dg/tree-ssa/vrp123.c
blob: 1ad3caa43841a6d8fbeb320d3a124c5ee616d258 (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
// { dg-options "-O1 -fdump-tree-dom3-raw" }

extern int
__attribute__((const))
foo4b (int);

int f4b (unsigned int r)
{
  if (foo4b (r))
    r *= 8U;

  if ((r / 2U) & 2U)
    r += foo4b (r);

  return r;
}

// { dg-final { scan-tree-dump-times {gimple_call <foo4b,} 1 dom3 } }