diff options
| author | Richard Biener <rguenther@suse.de> | 2018-10-23 11:37:52 +0000 |
|---|---|---|
| committer | Richard Biener <rguenth@gcc.gnu.org> | 2018-10-23 11:37:52 +0000 |
| commit | 99c24b911b385a3dddfe8fe5730d2c659a92222a (patch) | |
| tree | b98721a880a76cfc34f5e45c15e7e894c34df909 /gcc | |
| parent | 1cab645d3e321132dca5e43d9d5057c60852a17c (diff) | |
| download | gcc-99c24b911b385a3dddfe8fe5730d2c659a92222a.zip gcc-99c24b911b385a3dddfe8fe5730d2c659a92222a.tar.gz gcc-99c24b911b385a3dddfe8fe5730d2c659a92222a.tar.bz2 | |
tree-vrp.c (add_assert_info): Guard dump_printf with dump_enabled_p.
2018-10-23 Richard Biener <rguenther@suse.de>
* tree-vrp.c (add_assert_info): Guard dump_printf with
dump_enabled_p.
* gimple-ssa-evrp-analyze.c
(evrp_range_analyzer::record_ranges_from_incoming_edge):
Use value_range::ignore_equivs_equal_p.
From-SVN: r265422
Diffstat (limited to 'gcc')
| -rw-r--r-- | gcc/ChangeLog | 8 | ||||
| -rw-r--r-- | gcc/gimple-ssa-evrp-analyze.c | 4 | ||||
| -rw-r--r-- | gcc/tree-vrp.c | 7 |
3 files changed, 13 insertions, 6 deletions
diff --git a/gcc/ChangeLog b/gcc/ChangeLog index 367e60f..f0820c0 100644 --- a/gcc/ChangeLog +++ b/gcc/ChangeLog @@ -1,5 +1,13 @@ 2018-10-23 Richard Biener <rguenther@suse.de> + * tree-vrp.c (add_assert_info): Guard dump_printf with + dump_enabled_p. + * gimple-ssa-evrp-analyze.c + (evrp_range_analyzer::record_ranges_from_incoming_edge): + Use value_range::ignore_equivs_equal_p. + +2018-10-23 Richard Biener <rguenther@suse.de> + PR tree-optimization/87105 PR tree-optimization/87608 * passes.def (pass_all_early_optimizations): Add early phi-opt diff --git a/gcc/gimple-ssa-evrp-analyze.c b/gcc/gimple-ssa-evrp-analyze.c index b7b0fd8..3e5287b1 100644 --- a/gcc/gimple-ssa-evrp-analyze.c +++ b/gcc/gimple-ssa-evrp-analyze.c @@ -209,9 +209,7 @@ evrp_range_analyzer::record_ranges_from_incoming_edge (basic_block bb) value_range *old_vr = get_value_range (vrs[i].first); value_range tem (old_vr->kind (), old_vr->min (), old_vr->max ()); tem.intersect (vrs[i].second); - if (tem.kind () == old_vr->kind () - && tem.min () == old_vr->min () - && tem.max () == old_vr->max ()) + if (tem.ignore_equivs_equal_p (*old_vr)) continue; push_value_range (vrs[i].first, vrs[i].second); if (is_fallthru diff --git a/gcc/tree-vrp.c b/gcc/tree-vrp.c index e3a64fd..17b0b6c 100644 --- a/gcc/tree-vrp.c +++ b/gcc/tree-vrp.c @@ -2299,9 +2299,10 @@ add_assert_info (vec<assert_info> &asserts, info.val = val; info.expr = expr; asserts.safe_push (info); - dump_printf (MSG_NOTE | MSG_PRIORITY_INTERNALS, - "Adding assert for %T from %T %s %T\n", - name, expr, op_symbol_code (comp_code), val); + if (dump_enabled_p ()) + dump_printf (MSG_NOTE | MSG_PRIORITY_INTERNALS, + "Adding assert for %T from %T %s %T\n", + name, expr, op_symbol_code (comp_code), val); } /* If NAME doesn't have an ASSERT_EXPR registered for asserting |