From b49ceb450ff7b91d81c54741f0fc9e49ea6f5f0e Mon Sep 17 00:00:00 2001 From: "James A. Morrison" Date: Fri, 22 Jul 2005 03:48:00 +0000 Subject: [PATCH] fold-const.c (fold_unary): Don't strip signed nops from ABS_EXPRs. 2005-07-21 James A. Morrison * fold-const.c (fold_unary): Don't strip signed nops from ABS_EXPRs. (tree_expr_nonnegative_p): Return try for TYPE_UNSIGNED. From-SVN: r102269 --- gcc/ChangeLog | 5 +++++ gcc/fold-const.c | 9 +++++++-- 2 files changed, 12 insertions(+), 2 deletions(-) diff --git a/gcc/ChangeLog b/gcc/ChangeLog index 2699e1212f4..178432c25e7 100644 --- a/gcc/ChangeLog +++ b/gcc/ChangeLog @@ -1,3 +1,8 @@ +2005-07-21 James A. Morrison + + * fold-const.c (fold_unary): Don't strip signed nops from ABS_EXPRs. + (tree_expr_nonnegative_p): Return try for TYPE_UNSIGNED. + 2005-07-21 DJ Delorie * toplev.c (warn_deprecated_use): Add warning control to warning diff --git a/gcc/fold-const.c b/gcc/fold-const.c index 20c94efedef..9a9ea2246c0 100644 --- a/gcc/fold-const.c +++ b/gcc/fold-const.c @@ -6524,9 +6524,11 @@ fold_unary (enum tree_code code, tree type, tree op0) arg0 = op0; if (arg0) { - if (code == NOP_EXPR || code == FLOAT_EXPR || code == CONVERT_EXPR) + if (code == NOP_EXPR || code == CONVERT_EXPR + || code == FLOAT_EXPR || code == ABS_EXPR) { - /* Don't use STRIP_NOPS, because signedness of argument type matters. */ + /* Don't use STRIP_NOPS, because signedness of argument type + matters. */ STRIP_SIGN_NOPS (arg0); } else @@ -10686,6 +10688,9 @@ multiple_of_p (tree type, tree top, tree bottom) int tree_expr_nonnegative_p (tree t) { + if (TYPE_UNSIGNED (TREE_TYPE (t))) + return 1; + switch (TREE_CODE (t)) { case ABS_EXPR: