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

df-scan.c (df_insn_refs_verify): Speedup when not verifying.

Browse source 
2017-05-22  Richard Biener  <rguenther@suse.de>

	* df-scan.c (df_insn_refs_verify): Speedup when not verifying.

From-SVN: r248318
This commit is contained in:
Richard Biener 2017-05-22 07:14:10 +00:00 • committed by Richard Biener
parent bca5a34d93
commit 6173a9e3be
2 changed files with 16 additions and 5 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

4
gcc/ChangeLog
View file

@ -1,3 +1,7 @@
2017-05-22 Richard Biener <rguenther@suse.de>
* df-scan.c (df_insn_refs_verify): Speedup when not verifying.
2017-05-19 Jason Merrill <jason@redhat.com>
* tree.c (make_tree_vec_stat, grow_tree_vec_stat): Use size_t.

17
gcc/df-scan.c
View file

@ -4103,23 +4103,30 @@ df_insn_refs_verify (struct df_collection_rec *collection_rec,
rtx_insn *insn,
bool abort_if_fail)
{
bool ret1, ret2, ret3, ret4;
bool ret1, ret2, ret3;
unsigned int uid = INSN_UID (insn);
struct df_insn_info *insn_info = DF_INSN_INFO_GET (insn);
df_insn_refs_collect (collection_rec, bb, insn_info);
/* Unfortunately we cannot opt out early if one of these is not
right because the marks will not get cleared. */
right and abort_if_fail is set because the marks will not get cleared. */
ret1 = df_refs_verify (&collection_rec->def_vec, DF_INSN_UID_DEFS (uid),
abort_if_fail);
if (!ret1 && !abort_if_fail)
return false;
ret2 = df_refs_verify (&collection_rec->use_vec, DF_INSN_UID_USES (uid),
abort_if_fail);
if (!ret2 && !abort_if_fail)
return false;
ret3 = df_refs_verify (&collection_rec->eq_use_vec, DF_INSN_UID_EQ_USES (uid),
abort_if_fail);
ret4 = df_mws_verify (&collection_rec->mw_vec, DF_INSN_UID_MWS (uid),
abort_if_fail);
return (ret1 && ret2 && ret3 && ret4);
if (!ret3 && !abort_if_fail)
return false;
if (! df_mws_verify (&collection_rec->mw_vec, DF_INSN_UID_MWS (uid),
abort_if_fail))
return false;
return (ret1 && ret2 && ret3);
}