https://gcc.gnu.org/bugzilla/show_bug.cgi?id=95855
--- Comment #1 from CVS Commits ---
The master branch has been updated by Richard Biener :
https://gcc.gnu.org/g:33d114f570b4a3583421c700396fd5945acebc28
commit r11-1731-g33d114f570b4a3583421c700396fd5945acebc28
Author: Yang Yang
Date: Tue Jun 30 18:04:31 2020 +0800
tree-optimization/95855 - Add checks to avoid spoiling if-conversion if
Add some checks in pass_splits_paths, so that pass_split_paths can
recognize the missed if-conversion opportunity and do not duplicate the
corresponding block.
2020-06-30 Yang Yang
gcc/ChangeLog:
PR tree-optimization/95855
* gimple-ssa-split-paths.c (is_feasible_trace): Add extra
checks to recognize a missed if-conversion opportunity when
judging whether to duplicate a block.
gcc/testsuite/ChangeLog
PR tree-optimization/95855
* gcc.dg/tree-ssa/split-path-12.c: New testcase.