diff options
| author | rguenth <rguenth@138bc75d-0d04-0410-961f-82ee72b054a4> | 2008-08-29 08:36:10 +0000 |
|---|---|---|
| committer | rguenth <rguenth@138bc75d-0d04-0410-961f-82ee72b054a4> | 2008-08-29 08:36:10 +0000 |
| commit | eb8b313af81929e569d7729872ebb95db543c480 (patch) | |
| tree | 81dde4fb09ba070d53dbbe9adb6f6574611ea46a /gcc/tree-vrp.c | |
| parent | c0d40c29c39fe97e86b9cc59598dc4ece3487c63 (diff) | |
| download | gcc-eb8b313af81929e569d7729872ebb95db543c480.tar.gz | |
2008-08-29 Richard Guenther <rguenther@suse.de>
PR tree-optimization/37207
* tree-vrp.c (extract_range_from_binary_expr): Also try
to constant fold if only one of the operands is a constant.
* gcc.dg/tree-ssa/vrp46.c: New testcase.
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@139754 138bc75d-0d04-0410-961f-82ee72b054a4
Diffstat (limited to 'gcc/tree-vrp.c')
| -rw-r--r-- | gcc/tree-vrp.c | 9 |
1 files changed, 6 insertions, 3 deletions
diff --git a/gcc/tree-vrp.c b/gcc/tree-vrp.c index 17fbcdbb770..7579ee1330b 100644 --- a/gcc/tree-vrp.c +++ b/gcc/tree-vrp.c @@ -2058,10 +2058,13 @@ extract_range_from_binary_expr (value_range_t *vr, && code != TRUTH_OR_EXPR) { /* We can still do constant propagation here. */ - if ((op0 = op_with_constant_singleton_value_range (op0)) != NULL_TREE - && (op1 = op_with_constant_singleton_value_range (op1)) != NULL_TREE) + tree const_op0 = op_with_constant_singleton_value_range (op0); + tree const_op1 = op_with_constant_singleton_value_range (op1); + if (const_op0 || const_op1) { - tree tem = fold_binary (code, expr_type, op0, op1); + tree tem = fold_binary (code, expr_type, + const_op0 ? const_op0 : op0, + const_op1 ? const_op1 : op1); if (tem && is_gimple_min_invariant (tem) && !is_overflow_infinity (tem)) |