[all-commits] [llvm/llvm-project] 32b72c: Recommit "[SCEV] Use nw flag and symbolic iteratio...

[max-azul via All-commits]

  Branch: refs/heads/master
  Home:   https://github.com/llvm/llvm-project
  Commit: 32b72c3165bf65cca2e8e6197b59eb4c4b60392a
      https://github.com/llvm/llvm-project/commit/32b72c3165bf65cca2e8e6197b59eb4c4b60392a
  Author: Max Kazantsev <mkazantsev at azul.com>
  Date:   2020-10-16 (Fri, 16 Oct 2020)

  Changed paths:
    M llvm/include/llvm/Analysis/ScalarEvolution.h
    M llvm/lib/Analysis/ScalarEvolution.cpp
    M llvm/test/Analysis/ScalarEvolution/no-wrap-symbolic-becount.ll
    M llvm/test/Transforms/IndVarSimplify/X86/eliminate-trunc.ll
    M llvm/test/Transforms/IndVarSimplify/promote-iv-to-eliminate-casts.ll

  Log Message:
  -----------
  Recommit "[SCEV] Use nw flag and symbolic iteration count to sharpen ranges of AddRecs"

It was reverted because of negative compile time impact. In this version,
less powerful proof methods are used (non-recursive reasoning only), and
scope limited to constant End values to avoid explision of complex proofs.

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


  Commit: 0ee0c7dcc3282b541befaaeaf8179abe1483370c
      https://github.com/llvm/llvm-project/commit/0ee0c7dcc3282b541befaaeaf8179abe1483370c
  Author: Max Kazantsev <mkazantsev at azul.com>
  Date:   2020-10-16 (Fri, 16 Oct 2020)

  Changed paths:
    M llvm/lib/Transforms/Scalar/IndVarSimplify.cpp

  Log Message:
  -----------
  [Indvars][NFC] Remove duplicating checks

Some facts have already been checked in widenWithVariantUse and then
checked again in widenWithVariantUseCodegen. The latter is redundant,
we can replace it with asserts.


Compare: https://github.com/llvm/llvm-project/compare/fbd62fe60fb2...0ee0c7dcc328