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