1 /* PR tree-optimization/81346 */
2 /* { dg-do compile } */
3 /* { dg-options "-O2 -fdump-tree-optimized" } */
4 /* { dg-final { scan-tree-dump-times "\\(signed int\\) x" 10 "optimized" { target int32plus } } } */
5 /* { dg-final { scan-tree-dump-times "\\(signed short\\) x" 10 "optimized" { target int16 } } } */
6 /* { dg-final { scan-tree-dump-times " <= 0;" 5 "optimized" } } */
7 /* { dg-final { scan-tree-dump-times " > 0;" 5 "optimized" } } */
8
f1(unsigned x)9 int f1 (unsigned x) { return x - 1 <= __INT_MAX__ - 1; }
f2(unsigned x)10 int f2 (unsigned x) { unsigned a = 1, b = __INT_MAX__ - 1; return x - a <= b; }
f3(unsigned x)11 int f3 (unsigned x) { return x - 1 < __INT_MAX__; }
f4(unsigned x)12 int f4 (unsigned x) { unsigned a = 1, b = __INT_MAX__; return x - a < b; }
f5(unsigned x)13 int f5 (unsigned x) { return x >= 1 && x <= __INT_MAX__; }
f6(unsigned x)14 int f6 (unsigned x) { return x - 1 > __INT_MAX__ - 1; }
f7(unsigned x)15 int f7 (unsigned x) { unsigned a = 1, b = __INT_MAX__ - 1; return x - a > b; }
f8(unsigned x)16 int f8 (unsigned x) { return x - 1 >= __INT_MAX__; }
f9(unsigned x)17 int f9 (unsigned x) { unsigned a = 1, b = __INT_MAX__; return x - a >= b; }
f10(unsigned x)18 int f10 (unsigned x) { return x < 1 || x > __INT_MAX__; }
19