From 5ce3874b3c2fdd76f506005cb1171a732af7c807 Mon Sep 17 00:00:00 2001 From: Andrew MacLeod Date: Thu, 8 Aug 2024 16:34:15 -0400 Subject: Limit equivalency processing in rangers cache. When the number of block exceed VRP's sparse threshold, do not query all equivalencies during cache filling. This can be expensive for unknown benefit. PR tree-optimization/114855 * gimple-range-cache.cc (ranger_cache::fill_block_cache): Do not process equivalencies if the number of blocks is too high. --- gcc/gimple-range-cache.cc | 8 ++++++++ 1 file changed, 8 insertions(+) (limited to 'gcc') diff --git a/gcc/gimple-range-cache.cc b/gcc/gimple-range-cache.cc index 0fffd7c..4394989 100644 --- a/gcc/gimple-range-cache.cc +++ b/gcc/gimple-range-cache.cc @@ -1486,6 +1486,14 @@ ranger_cache::fill_block_cache (tree name, basic_block bb, basic_block def_bb) tree equiv_name; relation_kind rel; int prec = TYPE_PRECISION (type); + // If there are too many basic blocks, do not attempt to process + // equivalencies. + if (last_basic_block_for_fn (cfun) > param_vrp_sparse_threshold) + { + m_on_entry.set_bb_range (name, bb, block_result); + gcc_checking_assert (m_workback.length () == start_length); + return; + } FOR_EACH_PARTIAL_AND_FULL_EQUIV (m_relation, bb, name, equiv_name, rel) { basic_block equiv_bb = gimple_bb (SSA_NAME_DEF_STMT (equiv_name)); -- cgit v1.1