From: Andrew MacLeod <amacleod@redhat.com>
Date: Thu, 8 Aug 2024 20:34:15 +0000 (-0400)
Subject: Limit equivalency processing in rangers cache.
X-Git-Tag: basepoints/gcc-16~6696
X-Git-Url: http://git.ipfire.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=5ce3874b3c2fdd76f506005cb1171a732af7c807;p=thirdparty%2Fgcc.git

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.
---

diff --git a/gcc/gimple-range-cache.cc b/gcc/gimple-range-cache.cc
index 0fffd7c16a1..43949894cbe 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));