aboutsummaryrefslogtreecommitdiff
path: root/gcc/testsuite/gcc.dg/tree-ssa/pr96685-3.c
blob: b3c185530bdda0c481dae58eaf38d15e34127ec4 (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
37
38
39
40
41
42
43
/* PR tree-optimization/96685 */
/* { dg-do compile } */
/* { dg-options "-O2 -fdump-tree-optimized" } */
/* { dg-final { scan-tree-dump-times "return 1;" 4 "optimized" } } */

int
f1 (unsigned x, unsigned y)
{
  unsigned int r1 = (x - y);
  r1 = ~r1;
  unsigned int r2 = (y - x);
  r2 = r2 - 1;
  return r1 == r2;
}

int
f2 (unsigned x, unsigned y)
{
  unsigned int r1 = (x - 23);
  r1 = ~r1;
  unsigned int r2 = (23 - x);
  r2 = r2 - 1;
  return r1 == r2;
}

int
f3 (int x, int y)
{
  int r1 = (x - 23);
  r1 = ~r1;
  int r2 = (23 - x);
  --r2;
  return r1 == r2;
}

int
f4 (int x, int y)
{
  int r1 = (x - 23);
  r1 = ~r1;
  int r2 = (22 - x);
  return r1 == r2;
}