From 4e35b483437408ae8cd39fa0b3cb9a0419af4a58 Mon Sep 17 00:00:00 2001 From: sayle Date: Thu, 9 Mar 2006 14:54:11 +0000 Subject: [PATCH] 2006-03-09 Roger Sayle Eric Botcazou PR middle-end/26561 * fold-const.c (fold_div_compare): When optimizing X/C1 op C2 as X op C3, consider whether C3 overflows towards +Inf or -Inf. * gcc.c-torture/execute/divcmp-5.c: New test case. git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@111862 138bc75d-0d04-0410-961f-82ee72b054a4 --- gcc/ChangeLog | 6 +++++ gcc/fold-const.c | 26 ++++++++++++++++----- gcc/testsuite/ChangeLog | 6 +++++ gcc/testsuite/gcc.c-torture/execute/divcmp-5.c | 31 ++++++++++++++++++++++++++ 4 files changed, 64 insertions(+), 5 deletions(-) create mode 100644 gcc/testsuite/gcc.c-torture/execute/divcmp-5.c diff --git a/gcc/ChangeLog b/gcc/ChangeLog index 047033cce57..55391749ffe 100644 --- a/gcc/ChangeLog +++ b/gcc/ChangeLog @@ -1,3 +1,9 @@ +2006-03-09 Roger Sayle + + PR middle-end/26561 + * fold-const.c (fold_div_compare): When optimizing X/C1 op C2 as + X op C3, consider whether C3 overflows towards +Inf or -Inf. + 2006-03-08 DJ Delorie * config/m32c/addsub.md (addqi3): Disparage a0/a1. diff --git a/gcc/fold-const.c b/gcc/fold-const.c index 2e8996984e5..be0c461f586 100644 --- a/gcc/fold-const.c +++ b/gcc/fold-const.c @@ -6014,6 +6014,7 @@ fold_div_compare (enum tree_code code, tree type, tree arg0, tree arg1) tree arg01 = TREE_OPERAND (arg0, 1); unsigned HOST_WIDE_INT lpart; HOST_WIDE_INT hpart; + bool neg_overflow; int overflow; /* We have to do this the hard way to detect unsigned overflow. @@ -6024,6 +6025,7 @@ fold_div_compare (enum tree_code code, tree type, tree arg0, tree arg1) TREE_INT_CST_HIGH (arg1), &lpart, &hpart); prod = build_int_cst_wide (TREE_TYPE (arg00), lpart, hpart); prod = force_fit_type (prod, -1, overflow, false); + neg_overflow = false; if (TYPE_UNSIGNED (TREE_TYPE (arg0))) { @@ -6046,6 +6048,7 @@ fold_div_compare (enum tree_code code, tree type, tree arg0, tree arg1) switch (tree_int_cst_sgn (arg1)) { case -1: + neg_overflow = true; lo = int_const_binop (MINUS_EXPR, prod, tmp, 0); hi = prod; break; @@ -6083,7 +6086,8 @@ fold_div_compare (enum tree_code code, tree type, tree arg0, tree arg1) break; case 1: - lo = int_const_binop (PLUS_EXPR, prod, tmp, 0); + neg_overflow = true; + lo = int_const_binop (PLUS_EXPR, prod, tmp, 0); hi = prod; break; @@ -6114,22 +6118,34 @@ fold_div_compare (enum tree_code code, tree type, tree arg0, tree arg1) case LT_EXPR: if (TREE_OVERFLOW (lo)) - return omit_one_operand (type, integer_one_node, arg00); + { + tmp = neg_overflow ? integer_zero_node : integer_one_node; + return omit_one_operand (type, tmp, arg00); + } return fold_build2 (LT_EXPR, type, arg00, lo); case LE_EXPR: if (TREE_OVERFLOW (hi)) - return omit_one_operand (type, integer_one_node, arg00); + { + tmp = neg_overflow ? integer_zero_node : integer_one_node; + return omit_one_operand (type, tmp, arg00); + } return fold_build2 (LE_EXPR, type, arg00, hi); case GT_EXPR: if (TREE_OVERFLOW (hi)) - return omit_one_operand (type, integer_zero_node, arg00); + { + tmp = neg_overflow ? integer_one_node : integer_zero_node; + return omit_one_operand (type, tmp, arg00); + } return fold_build2 (GT_EXPR, type, arg00, hi); case GE_EXPR: if (TREE_OVERFLOW (lo)) - return omit_one_operand (type, integer_zero_node, arg00); + { + tmp = neg_overflow ? integer_one_node : integer_zero_node; + return omit_one_operand (type, tmp, arg00); + } return fold_build2 (GE_EXPR, type, arg00, lo); default: diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog index 3dff55cba19..b082e5653e4 100644 --- a/gcc/testsuite/ChangeLog +++ b/gcc/testsuite/ChangeLog @@ -1,3 +1,9 @@ +2006-03-09 Roger Sayle + Eric Botcazou + + PR middle-end/26561 + * gcc.c-torture/execute/divcmp-5.c: New test case. + 2006-03-09 Paul Thomas * PR fortran/26257 diff --git a/gcc/testsuite/gcc.c-torture/execute/divcmp-5.c b/gcc/testsuite/gcc.c-torture/execute/divcmp-5.c new file mode 100644 index 00000000000..f6d1af3be12 --- /dev/null +++ b/gcc/testsuite/gcc.c-torture/execute/divcmp-5.c @@ -0,0 +1,31 @@ +/* PR middle-end/26561 */ + +extern void abort(void); + +int always_one_1 (int a) +{ + if (a/100 >= -999999999) + return 1; + else + return 0; +} + +int always_one_2 (int a) +{ + if (a/100 < -999999999) + return 0; + else + return 1; +} + +int main(void) +{ + if (always_one_1 (0) != 1) + abort (); + + if (always_one_2 (0) != 1) + abort (); + + return 0; +} + -- 2.11.0