From e55fecddff5154116387e8f5ed678dd4fda81146 Mon Sep 17 00:00:00 2001 From: Andrew MacLeod Date: Mon, 17 Oct 2022 12:28:21 -0400 Subject: [PATCH 3/3] Show output --- gcc/tree-vrp.cc | 24 ++++++++++++++++++++++++ 1 file changed, 24 insertions(+) diff --git a/gcc/tree-vrp.cc b/gcc/tree-vrp.cc index 93482e5d102..120b9611bc7 100644 --- a/gcc/tree-vrp.cc +++ b/gcc/tree-vrp.cc @@ -4345,6 +4345,30 @@ execute_ranger_vrp (struct function *fun, bool warn_array_bounds_p) scev_initialize (); calculate_dominance_info (CDI_DOMINATORS); + gimple_ranger *r2= enable_ranger (fun); + for (unsigned i = 0; i < num_ssa_names; i++) + { + tree name = ssa_name (i); + if (!name || !gimple_range_ssa_p (name)) + continue; + tree type = TREE_TYPE (name); + if (!Value_Range::supports_type_p (type)) + continue; + Value_Range assume_range (type); + if (r2->assume_range_p (assume_range, name)) + { + if (dump_file) + { + fprintf (dump_file, "for an assume function, "); + print_generic_expr (dump_file, name, TDF_SLIM); + fprintf (dump_file, " would have a range of "); + assume_range.dump (dump_file); + fputc ('\n', dump_file); + } + } + } + disable_ranger (fun); + set_all_edges_as_executable (fun); gimple_ranger *ranger = enable_ranger (fun, false); rvrp_folder folder (ranger); -- 2.37.3