[all-commits] [llvm/llvm-project] 16370e: [IndVars] Provide eliminateIVComparison with context

[max-azul via All-commits]

  Branch: refs/heads/main
  Home:   https://github.com/llvm/llvm-project
  Commit: 16370e02a715717dd585537f02eb3e3a3221637e
      https://github.com/llvm/llvm-project/commit/16370e02a715717dd585537f02eb3e3a3221637e
  Author: Max Kazantsev <mkazantsev at azul.com>
  Date:   2021-03-19 (Fri, 19 Mar 2021)

  Changed paths:
    M llvm/lib/Transforms/Utils/SimplifyIndVar.cpp
    M llvm/test/Transforms/IndVarSimplify/X86/pr35406.ll
    M llvm/test/Transforms/IndVarSimplify/checks_against_min_value.ll
    M llvm/test/Transforms/IndVarSimplify/eliminate-comparison.ll
    M llvm/test/Transforms/LoopLoadElim/pr-49141.ll

  Log Message:
  -----------
  [IndVars] Provide eliminateIVComparison with context

We can prove more predicates when we have a context when eliminating ICmp.
As first (and very obvious) approximation we can use the ICmp instruction itself,
though in the future we are going to use a common dominator of all its users.
Need some refactoring before that.

Observed ~0.5% negative compile time impact.

Differential Revision: https://reviews.llvm.org/D98697
Reviewed By: lebedev.ri