[LoopDeletion] Separate logic in breakBackedgeIfNotTaken using symboic max trip count...
authorPhilip Reames <listmail@philipreames.com>
Wed, 1 Sep 2021 20:29:10 +0000 (13:29 -0700)
committerPhilip Reames <listmail@philipreames.com>
Wed, 1 Sep 2021 20:30:46 +0000 (13:30 -0700)
commit3af8a11bc66b93dc3f63ce7192647a27189aeefc
tree3e05c4373f77846dcf064f1b7667b9f7905945f8
parentc7cbf1a03ea6f624be54370ea7b571842bc67dda
[LoopDeletion] Separate logic in breakBackedgeIfNotTaken using symboic max trip count [nfc]

As mentioned in D108833, the logic for figuring out if a backedge is dead was somewhat interwoven with the SCEV based logic and the symbolic eval logic. This is my attempt at making the code easier to follow.

Note that this is only NFC after the work done in 29fa37ec.  Thanks to Nikita for catching that case.

Differential Revision: https://reviews.llvm.org/D108848
llvm/lib/Transforms/Scalar/LoopDeletion.cpp