diff options
| author | Richard Biener <rguenther@suse.de> | 2022-07-01 12:35:58 +0200 |
|---|---|---|
| committer | Richard Biener <rguenther@suse.de> | 2022-07-01 14:20:35 +0200 |
| commit | 08ed796ed08996545c574b846f3ca04f2cbe70dc (patch) | |
| tree | 4968f5d9395acb0469b6d9b7e28eb988fe94e7ff /gcc | |
| parent | f7a148304a71f3d3ad6845b7966fdc3af88c9e45 (diff) | |
| download | gcc-08ed796ed08996545c574b846f3ca04f2cbe70dc.zip gcc-08ed796ed08996545c574b846f3ca04f2cbe70dc.tar.gz gcc-08ed796ed08996545c574b846f3ca04f2cbe70dc.tar.bz2 | |
Make sure checking code is conditional in VN
VN has checking code with gcc_unreachable (), the following makes
it cheaper by instead guarding the side-effect with flag_checking.
2022-07-01 Richard Biener <rguenther@suse.de>
* tree-ssa-sccvn.cc (vn_nary_op_insert_into): Make
checking dominance check conditional on flag_checking.
Diffstat (limited to 'gcc')
| -rw-r--r-- | gcc/tree-ssa-sccvn.cc | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/gcc/tree-ssa-sccvn.cc b/gcc/tree-ssa-sccvn.cc index 76d9289..c40c45e 100644 --- a/gcc/tree-ssa-sccvn.cc +++ b/gcc/tree-ssa-sccvn.cc @@ -4243,9 +4243,10 @@ vn_nary_op_insert_into (vn_nary_op_t vno, vn_nary_op_table_type *table) if (dominated_by_p (CDI_DOMINATORS, vno_bb, val_bb)) /* Value registered with more generic predicate. */ return *slot; - else if (dominated_by_p (CDI_DOMINATORS, val_bb, vno_bb)) + else if (flag_checking) /* Shouldn't happen, we insert in RPO order. */ - gcc_unreachable (); + gcc_assert (!dominated_by_p (CDI_DOMINATORS, + val_bb, vno_bb)); } /* Append value. */ *next = (vn_pval *) obstack_alloc (&vn_tables_obstack, |