diff options
| author | Andrew MacLeod <amacleod@redhat.com> | 2024-06-17 16:07:16 -0400 |
|---|---|---|
| committer | Andrew MacLeod <amacleod@redhat.com> | 2024-06-21 08:55:21 -0400 |
| commit | 747a06017196b6344e3f664706a11231ba712548 (patch) | |
| tree | 2f7d2c2407ecdb9999b4db05abbb7ac6d09c1121 /gcc/tree-vrp.cc | |
| parent | 68532d3c63725777aaa63b9ac2e4a086c6359bfa (diff) | |
| download | gcc-747a06017196b6344e3f664706a11231ba712548.zip gcc-747a06017196b6344e3f664706a11231ba712548.tar.gz gcc-747a06017196b6344e3f664706a11231ba712548.tar.bz2 | |
Print "Global Exported" to dump_file from set_range_info.
* gimple-range.cc (gimple_ranger::register_inferred_ranges): Do not
dump global range info after set_range_info.
(gimple_ranger::register_transitive_inferred_ranges): Likewise.
(dom_ranger::range_of_stmt): Likewise.
* tree-ssanames.cc (set_range_info): If global range info
changes, maybe print new range to dump_file.
* tree-vrp.cc (remove_unreachable::handle_early): Do not
dump global range info after set_range_info.
(remove_unreachable::remove): Likewise.
(remove_unreachable::remove_and_update_globals): Likewise.
(pass_assumptions::execute): Likewise.
Diffstat (limited to 'gcc/tree-vrp.cc')
| -rw-r--r-- | gcc/tree-vrp.cc | 43 |
1 files changed, 4 insertions, 39 deletions
diff --git a/gcc/tree-vrp.cc b/gcc/tree-vrp.cc index 6e96b63..4fc33e6 100644 --- a/gcc/tree-vrp.cc +++ b/gcc/tree-vrp.cc @@ -228,15 +228,6 @@ remove_unreachable::handle_early (gimple *s, edge e) // Nothing at this late stage we can do if the write fails. if (!set_range_info (name, r)) continue; - if (dump_file) - { - fprintf (dump_file, "Global Exported (via early unreachable): "); - print_generic_expr (dump_file, name, TDF_SLIM); - fprintf (dump_file, " = "); - gimple_range_global (r, name); - r.dump (dump_file); - fputc ('\n', dump_file); - } } tree ssa = lhs_p ? gimple_cond_lhs (s) : gimple_cond_rhs (s); @@ -287,16 +278,8 @@ remove_unreachable::remove () if (name && fully_replaceable (name, src)) { value_range r (TREE_TYPE (name)); - if (gori_name_on_edge (r, name, e, &m_ranger) - && set_range_info (name, r) &&(dump_file)) - { - fprintf (dump_file, "Global Exported (via unreachable): "); - print_generic_expr (dump_file, name, TDF_SLIM); - fprintf (dump_file, " = "); - gimple_range_global (r, name); - r.dump (dump_file); - fputc ('\n', dump_file); - } + if (gori_name_on_edge (r, name, e, &m_ranger)) + set_range_info (name, r); } change = true; @@ -419,15 +402,6 @@ remove_unreachable::remove_and_update_globals () if (!set_range_info (name, r)) continue; change = true; - if (dump_file) - { - fprintf (dump_file, "Global Exported (via unreachable): "); - print_generic_expr (dump_file, name, TDF_SLIM); - fprintf (dump_file, " = "); - gimple_range_global (r, name); - r.dump (dump_file); - fputc ('\n', dump_file); - } } return change; } @@ -1404,18 +1378,9 @@ public: if (!value_range::supports_type_p (type)) continue; value_range assume_range (type); + // Set the global range of NAME to anything calculated. if (query.assume_range_p (assume_range, name)) - { - // Set the global range of NAME to anything calculated. - set_range_info (name, assume_range); - if (dump_file) - { - print_generic_expr (dump_file, name, TDF_SLIM); - fprintf (dump_file, " -> "); - assume_range.dump (dump_file); - fputc ('\n', dump_file); - } - } + set_range_info (name, assume_range); } if (dump_file) { |