[thirdparty/gcc.git] / gcc / testsuite / gcc.dg / tree-ssa / pr81346-5.c

/* PR tree-optimization/81346 */
/* { dg-do compile } */
/* { dg-options "-O2 -fdump-tree-optimized" } */
/* { dg-final { scan-tree-dump-times "\\(signed int\\) x" 10 "optimized" { target int32plus } } } */
/* { dg-final { scan-tree-dump-times "\\(signed short\\) x" 10 "optimized" { target int16 } } } */
/* { dg-final { scan-tree-dump-times " <= 0;" 5 "optimized" } } */
/* { dg-final { scan-tree-dump-times " > 0;" 5 "optimized" } } */

int f1 (unsigned x) { return x - 1 <= __INT_MAX__ - 1; }
int f2 (unsigned x) { unsigned a = 1, b = __INT_MAX__ - 1; return x - a <= b; }
int f3 (unsigned x) { return x - 1 < __INT_MAX__; }
int f4 (unsigned x) { unsigned a = 1, b = __INT_MAX__; return x - a < b; }
int f5 (unsigned x) { return x >= 1 && x <= __INT_MAX__; }
int f6 (unsigned x) { return x - 1 > __INT_MAX__ - 1; }
int f7 (unsigned x) { unsigned a = 1, b = __INT_MAX__ - 1; return x - a > b; }
int f8 (unsigned x) { return x - 1 >= __INT_MAX__; }
int f9 (unsigned x) { unsigned a = 1, b = __INT_MAX__; return x - a >= b; }
int f10 (unsigned x) { return x < 1 || x > __INT_MAX__; }
Commit	Line	Data
564e405c JJ	1	/* PR tree-optimization/81346 */
	2	/* { dg-do compile } */
	3	/* { dg-options "-O2 -fdump-tree-optimized" } */
5c1aec7e GJL	4	/* { dg-final { scan-tree-dump-times "\\(signed int\\) x" 10 "optimized" { target int32plus } } } */
5c1aec7e GJL	5	/* { dg-final { scan-tree-dump-times "\\(signed short\\) x" 10 "optimized" { target int16 } } } */
564e405c JJ	6	/* { dg-final { scan-tree-dump-times " <= 0;" 5 "optimized" } } */
	7	/* { dg-final { scan-tree-dump-times " > 0;" 5 "optimized" } } */
	8
	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__; }