[all-commits] [llvm/llvm-project] f10500: [IndVars] Use isLoopBackedgeGuardedByCond for last...

[max-azul via All-commits]

  Branch: refs/heads/master
  Home:   https://github.com/llvm/llvm-project
  Commit: f10500e220e354a80c53490158933ca2ede3be20
      https://github.com/llvm/llvm-project/commit/f10500e220e354a80c53490158933ca2ede3be20
  Author: Max Kazantsev <mkazantsev at azul.com>
  Date:   2020-11-26 (Thu, 26 Nov 2020)

  Changed paths:
    M llvm/lib/Analysis/ScalarEvolution.cpp
    M llvm/test/Transforms/IndVarSimplify/predicated_ranges.ll

  Log Message:
  -----------
  [IndVars] Use isLoopBackedgeGuardedByCond for last iteration check

Use more context to prove contextual facts about the last iteration. It is
only executed when the backedge is taken, so we can use `isLoopBackedgeGuardedByCond`
to make this check.

Differential Revision: https://reviews.llvm.org/D91535
Reviewed By: skatkov