aboutsummaryrefslogtreecommitdiff
path: root/gcc/testsuite/gcc.dg/tree-ssa/phi-opt-value-4.c
blob: 380082cb463aadbacab84a4291a999ff0c7d8e72 (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
32
33
34
35
36
/* { dg-do compile } */
/* { dg-options "-O1 -fdump-tree-fre3 -fdump-tree-phiopt1 -fdump-tree-optimized" } */

[[gnu::const]]
int constcall(int);

int fdiv(int a, int b)
{
  int c = b/a;
  int t = constcall(c);
  int d;
  if (a == 1) d = b; else d = c;
  return constcall(d) + t;
}
int fmult(int a, int b)
{
  int c = b*a;
  int t = constcall(c);
  int d;
  if (a == 1) d = b; else d = c;
  return constcall(d) + t;
}
int fand(int a, int b)
{
  int c = b&a;
  int t = constcall(c);
  int d;
  if (a == -1) d = b; else d = c;
  return constcall(d) + t;
}

/* Should be able to optimize away the if statements in phiopt1. */
/* { dg-final { scan-tree-dump-not "if " "phiopt1" } } */
/* fre3 should be optimize each function to just `return constcall(a OP b) * 2;`. */
/* { dg-final { scan-tree-dump-times "constcall " 3 "fre3" } } */
/* { dg-final { scan-tree-dump-times "constcall " 3 "optimized" } } */