https://gcc.gnu.org/bugzilla/show_bug.cgi?id=95855
--- Comment #1 from CVS Commits <cvs-commit at gcc dot gnu.org> --- The master branch has been updated by Richard Biener <rgue...@gcc.gnu.org>: https://gcc.gnu.org/g:33d114f570b4a3583421c700396fd5945acebc28 commit r11-1731-g33d114f570b4a3583421c700396fd5945acebc28 Author: Yang Yang <yangyang...@huawei.com> 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 <yangyang...@huawei.com> 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.