HomePhabricator

[LoopInterchange] Adjust assertions when updating successors.

Authored by fhahn on Nov 24 2019, 11:24 AM.

Description

[LoopInterchange] Adjust assertions when updating successors.

Currently the assertion in updateSuccessor is overly strict in some
cases and overly relaxed in other cases. For branches to the inner and
outer loop preheader it is too strict, because they can either be
unconditional branches or conditional branches with duplicate targets.
Both cases are fine and we can allow updating multiple successors.

On the other hand, we have to at least update one successor. This patch
adds such an assertion.

Details

Committed
fhahnNov 24 2019, 11:37 AM
Parents
rG6078be698d97: [TableGen] Fixed 'unused but set variable' warning. NFCI
Branches
Unknown
Tags
Unknown