[all-commits] [llvm/llvm-project] dec15d: [indvars] Use loop guards when canonicalizing exit...

[Philip Reames via All-commits]

  Branch: refs/heads/main
  Home:   https://github.com/llvm/llvm-project
  Commit: dec15d9a0a9d91ec17edae3deaa39ac8c01aae77
      https://github.com/llvm/llvm-project/commit/dec15d9a0a9d91ec17edae3deaa39ac8c01aae77
  Author: Philip Reames <listmail at philipreames.com>
  Date:   2021-11-04 (Thu, 04 Nov 2021)

  Changed paths:
    M llvm/lib/Transforms/Scalar/IndVarSimplify.cpp
    M llvm/test/Transforms/IndVarSimplify/finite-exit-comparisons.ll

  Log Message:
  -----------
  [indvars] Use loop guards when canonicalizing exit conditions

This extends the logic in canonicalizeExitConditions to use loop guards to specialize the SCEV of the loop invariant term before quering it's range.