procyberian/gcc
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

path solver: Avoid further lookups when range is defined in block.

Browse source 
If an SSA is defined in the current block, there is no need to query
range_on_path_entry for additional information.

gcc/ChangeLog:

	* gimple-range-path.cc (path_range_query::path_range_query):
	Move debugging header...
	(path_range_query::precompute_ranges): ...here.
	(path_range_query::internal_range_of_expr): Do not call
	range_on_path_entry if NAME is defined in the current block.
This commit is contained in:
Aldy Hernandez 2021-09-24 12:42:05 +02:00
parent 9b11107ed7
commit 55b3299dcd
1 changed files with 3 additions and 6 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

9
gcc/gimple-range-path.cc
View file

@ -39,9 +39,6 @@ along with GCC; see the file COPYING3. If not see
path_range_query::path_range_query (gimple_ranger &ranger, bool resolve)
: m_ranger (ranger)
{
if (DEBUG_SOLVER)
fprintf (dump_file, "\n*********** path_range_query ******************\n");
m_cache = new ssa_global_cache;
m_has_cache_entry = BITMAP_ALLOC (NULL);
m_path = NULL;
@ -173,9 +170,6 @@ path_range_query::internal_range_of_expr (irange &r, tree name, gimple *stmt)
if (TREE_CODE (name) == SSA_NAME)
r.intersect (gimple_range_global (name));
if (m_resolve && r.varying_p ())
range_on_path_entry (r, name);
set_cache (r, name);
return true;
}
@ -467,6 +461,9 @@ void
path_range_query::precompute_ranges (const vec<basic_block> &path,
const bitmap_head *imports)
{
if (DEBUG_SOLVER)
fprintf (dump_file, "\n*********** path_range_query ******************\n");
set_path (path);
bitmap_copy (m_imports, imports);
m_undefined_path = false;