Mercurial > hg > CbC > CbC_gcc
comparison gcc/testsuite/gcc.dg/pr88784-5.c @ 145:1830386684a0
gcc-9.2.0
| author | anatofuz |
|---|---|
| date | Thu, 13 Feb 2020 11:34:05 +0900 |
| parents | |
| children |
comparison
equal
deleted
inserted
replaced
| 131:84e7813d76e9 | 145:1830386684a0 |
|---|---|
| 1 /* { dg-do compile } */ | |
| 2 /* { dg-options "-O2 -fdump-tree-ifcombine" } */ | |
| 3 | |
| 4 #include <limits.h> | |
| 5 | |
| 6 _Bool and1(unsigned x, unsigned y) | |
| 7 { | |
| 8 /* x <= y && x == 0 --> x == 0 */ | |
| 9 return x <= y && x == 0; | |
| 10 } | |
| 11 | |
| 12 _Bool and2(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 and3(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 and4(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 " <= " "ifcombine" } } */ | |
| 31 /* { dg-final { scan-tree-dump-not " >= " "ifcombine" } } */ |