From 4d920bd7ae68f04cb387875f71695503f4db86ae 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 1adb15c9934..3c0d5c43215 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); + assume_query *r2 = new assume_query (); + 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); + } + } + } + delete r2; + set_all_edges_as_executable (fun); gimple_ranger *ranger = enable_ranger (fun, false); rvrp_folder folder (ranger); -- 2.37.3