diff options
| author | Roger Sayle <roger@eyesopen.com> | 2006-02-18 05:22:46 +0000 |
|---|---|---|
| committer | Roger Sayle <sayle@gcc.gnu.org> | 2006-02-18 05:22:46 +0000 |
| commit | 8305d7868da2a057825734b31113455ef97d9a76 (patch) | |
| tree | 4d37d7702bbfbd33a364527a6c3b6ba57cad4e0a /gcc/fold-const.c | |
| parent | e097f8873d8389995b81b2794f7ec718064fb8b6 (diff) | |
| download | gcc-8305d7868da2a057825734b31113455ef97d9a76.zip gcc-8305d7868da2a057825734b31113455ef97d9a76.tar.gz gcc-8305d7868da2a057825734b31113455ef97d9a76.tar.bz2 | |
re PR rtl-optimization/25600 (unsigned>>31?-1:0 should be optimized to int>>31)
PR middle-end/25600
* fold-const.c (fold_binary): Fold (X >> C) != 0 into X < 0 when
C is one less than the width of X (and related transformations).
* simplify_rtx.c (simplify_unary_operation_1): Transform
(neg (lt x 0)) into either (ashiftrt X C) or (lshiftrt X C)
depending on STORE_FLAG_VALUE, were C is one less then the
width of X.
From-SVN: r111226
Diffstat (limited to 'gcc/fold-const.c')
| -rw-r--r-- | gcc/fold-const.c | 24 |
1 files changed, 24 insertions, 0 deletions
diff --git a/gcc/fold-const.c b/gcc/fold-const.c index 7413883..c77e7ba 100644 --- a/gcc/fold-const.c +++ b/gcc/fold-const.c @@ -10042,6 +10042,30 @@ fold_binary (enum tree_code code, tree type, tree op0, tree op1) return t1; } + /* Fold (X >> C) != 0 into X < 0 if C is one less than the width + of X. Similarly fold (X >> C) == 0 into X >= 0. */ + if ((code == EQ_EXPR || code == NE_EXPR) + && integer_zerop (arg1) + && TREE_CODE (arg0) == RSHIFT_EXPR + && TREE_CODE (TREE_OPERAND (arg0, 1)) == INTEGER_CST) + { + tree arg00 = TREE_OPERAND (arg0, 0); + tree arg01 = TREE_OPERAND (arg0, 1); + tree itype = TREE_TYPE (arg00); + if (TREE_INT_CST_HIGH (arg01) == 0 + && TREE_INT_CST_LOW (arg01) + == (unsigned HOST_WIDE_INT) (TYPE_PRECISION (itype) - 1)) + { + if (TYPE_UNSIGNED (itype)) + { + itype = lang_hooks.types.signed_type (itype); + arg00 = fold_convert (itype, arg00); + } + return fold_build2 (code == EQ_EXPR ? GE_EXPR : LT_EXPR, + type, arg00, build_int_cst (itype, 0)); + } + } + if ((code == EQ_EXPR || code == NE_EXPR) && integer_zerop (arg1) && tree_expr_nonzero_p (arg0)) |