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" } } */
9 int f1 (unsigned x
) { return x
- 1 <= __INT_MAX__
- 1; }
10 int f2 (unsigned x
) { unsigned a
= 1, b
= __INT_MAX__
- 1; return x
- a
<= b
; }
11 int f3 (unsigned x
) { return x
- 1 < __INT_MAX__
; }
12 int f4 (unsigned x
) { unsigned a
= 1, b
= __INT_MAX__
; return x
- a
< b
; }
13 int f5 (unsigned x
) { return x
>= 1 && x
<= __INT_MAX__
; }
14 int f6 (unsigned x
) { return x
- 1 > __INT_MAX__
- 1; }
15 int f7 (unsigned x
) { unsigned a
= 1, b
= __INT_MAX__
- 1; return x
- a
> b
; }
16 int f8 (unsigned x
) { return x
- 1 >= __INT_MAX__
; }
17 int f9 (unsigned x
) { unsigned a
= 1, b
= __INT_MAX__
; return x
- a
>= b
; }
18 int f10 (unsigned x
) { return x
< 1 || x
> __INT_MAX__
; }
