[all-commits] [llvm/llvm-project] 57fd7f: [IndVarSimplify] Lift limitations on IV being a Ph...

[Max Kazantsev via All-commits]

  Branch: refs/heads/main
  Home:   https://github.com/llvm/llvm-project
  Commit: 57fd7ffefffae313de800fecdd9f095a17bfd4ea
      https://github.com/llvm/llvm-project/commit/57fd7ffefffae313de800fecdd9f095a17bfd4ea
  Author: Max Kazantsev <mkazantsev at azul.com>
  Date:   2022-11-22 (Tue, 22 Nov 2022)

  Changed paths:
    M llvm/lib/Transforms/Utils/SimplifyIndVar.cpp
    M llvm/test/Transforms/IndVarSimplify/X86/loop-invariant-conditions.ll
    M llvm/test/Transforms/IndVarSimplify/X86/pr57187.ll

  Log Message:
  -----------
  [IndVarSimplify] Lift limitations on IV being a Phi for turn-to-invariant

These limitations are too strict, and their only purpose is to avoid code
size explosion. These restrictions seem obsolete, and the size problem
is solved in other places through cheap expansion limits.

The motivation is that the old code cannot deal with comparisons against
induction variant's increment.

Differential Revision: https://reviews.llvm.org/D138412
Reviewed By: lebedev.ri, reames