https://gcc.gnu.org/bugzilla/show_bug.cgi?id=77283
--- Comment #7 from Richard Biener <rguenth at gcc dot gnu.org> --- Created attachment 39469 --> https://gcc.gnu.org/bugzilla/attachment.cgi?id=39469&action=edit patch Ok, causes FAIL: gcc.dg/tree-ssa/pr69270.c scan-tree-dump-not dom3 "bit_xor" FAIL: gcc.dg/tree-ssa/pr69270.c scan-tree-dump-times dom3 "Folded to: _[0-9]+ = 0;" 1 FAIL: gcc.dg/tree-ssa/pr69270.c scan-tree-dump-times dom3 "Folded to: _[0-9]+ = 1;" 1 FAIL: gcc.dg/tree-ssa/pr69270.c scan-tree-dump-times dom3 "Replaced .bufferstep_ [0-9]+. with constant .0." 1 FAIL: gcc.dg/tree-ssa/pr69270.c scan-tree-dump-times dom3 "Replaced .bufferstep_ [0-9]+. with constant .1." 1 which is where path-splitting exposes a jump threading opportunity it seems as jump threading is not happy to perform the operation in one go. Also my adjustment of gcc.dg/tree-ssa/split-path-7.c was only good in my dev tree for some reason. Otherwise bootstrapped / tested on x86_64-unknown-linux-gnu.
