]> gcc.gnu.org Git - gcc.git/commit
loop-invariant: Split preheader edge if the preheader bb ends with jump [PR106751]
authorJakub Jelinek <jakub@redhat.com>
Fri, 16 Dec 2022 09:19:22 +0000 (10:19 +0100)
committerJakub Jelinek <jakub@redhat.com>
Fri, 16 Dec 2022 09:19:22 +0000 (10:19 +0100)
commitddcaa60983b50378bde1b7e327086fe0ce101795
treedd51d1c19562c5344f193fdbd0d34ba48b25011a
parent711e0acdbb2645f5a8aa89014488c24e89ccb0f7
loop-invariant: Split preheader edge if the preheader bb ends with jump [PR106751]

The RTL loop passes only request simple preheaders, but don't require
fallthru preheaders, while move_invariant_reg apparently assumes the
latter, that it can just append instruction(s) to the end of the preheader
basic block.

The following patch fixes that by splitting the preheader edge if
the preheader bb ends with a JUMP_INSN (asm goto in this case).
Without that we get control flow in the middle of a bb.

2022-12-16  Jakub Jelinek  <jakub@redhat.com>

PR rtl-optimization/106751
* loop-invariant.cc (move_invariant_reg): If preheader bb ends
with a JUMP_INSN, split the preheader edge and emit invariants
into the new preheader basic block.

* gcc.c-torture/compile/pr106751.c: New test.
gcc/loop-invariant.cc
gcc/testsuite/gcc.c-torture/compile/pr106751.c [new file with mode: 0644]
This page took 0.059591 seconds and 5 git commands to generate.