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