]>
Commit | Line | Data |
---|---|---|
c16504f6 LJH |
1 | /* { dg-do compile } */ |
2 | /* { dg-options "-O2 -fdump-tree-dce3" } */ | |
3 | ||
4 | #include <limits.h> | |
5 | ||
6 | _Bool or1(unsigned x, unsigned y) | |
7 | { | |
8 | /* x <= y || x == 0 --> x <= y */ | |
9 | return x <= y || x == 0; | |
10 | } | |
11 | ||
12 | _Bool or2(unsigned x, unsigned y) | |
13 | { | |
14 | /* x >= y || x == UINT_MAX --> x >= y */ | |
15 | return x >= y || x == UINT_MAX; | |
16 | } | |
17 | ||
18 | _Bool or3(signed x, signed y) | |
19 | { | |
20 | /* x <= y || x == INT_MIN --> x <= y */ | |
21 | return x <= y || x == INT_MIN; | |
22 | } | |
23 | ||
24 | _Bool or4(signed x, signed y) | |
25 | { | |
26 | /* x >= y || x == INT_MAX --> x >= y */ | |
27 | return x >= y || x == INT_MAX; | |
28 | } | |
29 | ||
30 | /* { dg-final { scan-tree-dump-not " == " "dce3" } } */ |