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

Avoid CFG updates in VRP threader if nothing changed.

Browse source 
There is no need to update the CFG or SSAs if nothing has changed in VRP
threading.

gcc/ChangeLog:

	* tree-vrp.c (thread_through_all_blocks): Return bool.
	(execute_vrp_threader): Return TODO_* flags.
	(pass_data_vrp_threader): Set todo_flags_finish to 0.
This commit is contained in:
Aldy Hernandez 2021-09-29 10:02:12 +02:00
parent 48c97c62c9
commit 77731cb8f3
1 changed files with 5 additions and 4 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

9
gcc/tree-vrp.c
View file

@ -4372,9 +4372,9 @@ public:
{
walk (fun->cfg->x_entry_block_ptr);
}
void thread_through_all_blocks ()
bool thread_through_all_blocks ()
{
m_threader->thread_through_all_blocks (false);
return m_threader->thread_through_all_blocks (false);
}
private:
@ -4438,7 +4438,8 @@ execute_vrp_threader (function *fun)
{
hybrid_threader threader;
threader.thread_jumps (fun);
threader.thread_through_all_blocks ();
if (threader.thread_through_all_blocks ())
return (TODO_cleanup_cfg | TODO_update_ssa);
return 0;
}
@ -4454,7 +4455,7 @@ const pass_data pass_data_vrp_threader =
0, /* properties_provided */
0, /* properties_destroyed */
0, /* todo_flags_start */
( TODO_cleanup_cfg | TODO_update_ssa ), /* todo_flags_finish */
0 /* todo_flags_finish */
};
class pass_vrp_threader : public gimple_opt_pass