aboutsummaryrefslogtreecommitdiff
path: root/gcc/testsuite/gcc.dg/tree-ssa/pr31531-2.c
blob: 865ea2922150f2b0f3abec4da84fa803afed77d9 (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
/* { dg-do compile } */
/* { dg-options "-O2 -fdump-tree-optimized" } */
/* PR tree-optimization/31531 */

int f0(unsigned x, unsigned t)
{
        x = ~x;
        t = ~t;
        int xx = x;
        int tt = t;
        return tt < xx;
}

int f1(unsigned x, int t)
{
        x = ~x;
        t = ~t;
        int xx = x;
        int tt = t;
        return tt < xx;
}

int f2(int x, unsigned t)
{
        x = ~x;
        t = ~t;
        int xx = x;
        int tt = t;
        return tt < xx;
}


/* We should be able to remove all ~ from the above functions. */
/* { dg-final { scan-tree-dump-times "~" 0 "optimized"} } */