[all-commits] [llvm/llvm-project] 3af8a1: [LoopDeletion] Separate logic in breakBackedgeIfNo...

[Philip Reames via All-commits]

  Branch: refs/heads/main
  Home:   https://github.com/llvm/llvm-project
  Commit: 3af8a11bc66b93dc3f63ce7192647a27189aeefc
      https://github.com/llvm/llvm-project/commit/3af8a11bc66b93dc3f63ce7192647a27189aeefc
  Author: Philip Reames <listmail at philipreames.com>
  Date:   2021-09-01 (Wed, 01 Sep 2021)

  Changed paths:
    M llvm/lib/Transforms/Scalar/LoopDeletion.cpp

  Log Message:
  -----------
  [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