[all-commits] [llvm/llvm-project] 087310: [SCEV] Strengthen inference of RHS > Start in howM...

[Philip Reames via All-commits]

  Branch: refs/heads/main
  Home:   https://github.com/llvm/llvm-project
  Commit: 087310c71e5c1c70818ac62acd781860d59a6ce7
      https://github.com/llvm/llvm-project/commit/087310c71e5c1c70818ac62acd781860d59a6ce7
  Author: Philip Reames <listmail at philipreames.com>
  Date:   2021-07-13 (Tue, 13 Jul 2021)

  Changed paths:
    M llvm/lib/Analysis/ScalarEvolution.cpp

  Log Message:
  -----------
  [SCEV] Strengthen inference of RHS > Start in howManyLessThans

Split off from D105216 to simplify review.  Rewritten with a lambda to be easier to follow.  Comments clarified.

Sorry for no test case, this is tricky to exercise with the current structure of the code.  It's about to be hit more frequently in a follow up patch, and the change itself is simple.