diff options
| author | Kaveh R. Ghazi <ghazi@caip.rutgers.edu> | 2001-08-24 12:18:45 +0000 |
|---|---|---|
| committer | Kaveh Ghazi <ghazi@gcc.gnu.org> | 2001-08-24 12:18:45 +0000 |
| commit | ada11335549cffb57812505d5c383af118de5c3e (patch) | |
| tree | 0c0417b0a64813e2114d18342eda55f1a06cf473 /gcc/fold-const.c | |
| parent | 271e349bc386151b9b6410fa85d8f33a5857e02b (diff) | |
| download | gcc-ada11335549cffb57812505d5c383af118de5c3e.zip gcc-ada11335549cffb57812505d5c383af118de5c3e.tar.gz gcc-ada11335549cffb57812505d5c383af118de5c3e.tar.bz2 | |
fold-const.c (tree_expr_nonnegative_p): Handle *_DIV_EXPR, *_MOD_EXPR, SAVE_EXPR and NON_LVALUE_EXPR.
* fold-const.c (tree_expr_nonnegative_p): Handle *_DIV_EXPR,
*_MOD_EXPR, SAVE_EXPR and NON_LVALUE_EXPR.
testsuite:
* gcc.dg/compare5.c: New testcase.
From-SVN: r45148
Diffstat (limited to 'gcc/fold-const.c')
| -rw-r--r-- | gcc/fold-const.c | 15 |
1 files changed, 15 insertions, 0 deletions
diff --git a/gcc/fold-const.c b/gcc/fold-const.c index 9b99c8f..90d9f16 100644 --- a/gcc/fold-const.c +++ b/gcc/fold-const.c @@ -7397,6 +7397,17 @@ tree_expr_nonnegative_p (t) return 1; case INTEGER_CST: return tree_int_cst_sgn (t) >= 0; + case TRUNC_DIV_EXPR: + case CEIL_DIV_EXPR: + case FLOOR_DIV_EXPR: + case ROUND_DIV_EXPR: + return tree_expr_nonnegative_p (TREE_OPERAND (t, 0)) + && tree_expr_nonnegative_p (TREE_OPERAND (t, 1)); + case TRUNC_MOD_EXPR: + case CEIL_MOD_EXPR: + case FLOOR_MOD_EXPR: + case ROUND_MOD_EXPR: + return tree_expr_nonnegative_p (TREE_OPERAND (t, 0)); case COND_EXPR: return tree_expr_nonnegative_p (TREE_OPERAND (t, 1)) && tree_expr_nonnegative_p (TREE_OPERAND (t, 2)); @@ -7412,6 +7423,10 @@ tree_expr_nonnegative_p (t) return tree_expr_nonnegative_p (TREE_OPERAND (t, 1)); case BIND_EXPR: return tree_expr_nonnegative_p (TREE_OPERAND (t, 1)); + case SAVE_EXPR: + return tree_expr_nonnegative_p (TREE_OPERAND (t, 0)); + case NON_LVALUE_EXPR: + return tree_expr_nonnegative_p (TREE_OPERAND (t, 0)); case RTL_EXPR: return rtl_expr_nonnegative_p (RTL_EXPR_RTL (t)); |