[all-commits] [llvm/llvm-project] e8b55c: [SCEV] Apply loop guards when computing max BTC fo...

[Florian Hahn via All-commits]

  Branch: refs/heads/main
  Home:   https://github.com/llvm/llvm-project
  Commit: e8b55cf7b70a695d158d3e172d1124e36d81a8fc
      https://github.com/llvm/llvm-project/commit/e8b55cf7b70a695d158d3e172d1124e36d81a8fc
  Author: Florian Hahn <flo at fhahn.com>
  Date:   2021-11-17 (Wed, 17 Nov 2021)

  Changed paths:
    M llvm/lib/Analysis/ScalarEvolution.cpp
    M llvm/test/Analysis/ScalarEvolution/max-backedge-taken-count-guard-info-rewrite-expressions.ll

  Log Message:
  -----------
  [SCEV] Apply loop guards when computing max BTC for arbitrary steps.

Similar other cases in the current function (e.g. when the step is 1 or
-1), applying loop guards can lead to tighter upper bounds for the
backedge-taken counts.

Fixes PR52464.

Reviewed By: reames, nikic

Differential Revision: https://reviews.llvm.org/D113578