[all-commits] [llvm/llvm-project] 913065: Revert "[SCEV] Generalize no-self-wrap check in is...

[max-azul via All-commits]

  Branch: refs/heads/temp-test-main
  Home:   https://github.com/llvm/llvm-project
  Commit: 9130651126b745b18138b816487cdeb8a689a27f
      https://github.com/llvm/llvm-project/commit/9130651126b745b18138b816487cdeb8a689a27f
  Author: Max Kazantsev <mkazantsev at azul.com>
  Date:   2020-11-25 (Wed, 25 Nov 2020)

  Changed paths:
    M llvm/lib/Analysis/ScalarEvolution.cpp

  Log Message:
  -----------
  Revert "[SCEV] Generalize no-self-wrap check in isLoopInvariantExitCondDuringFirstIterations"

This reverts commit 7dcc8899174f44b7447bc48a9f2ff27f5458f8b7.

This patch introduced a logical error that breaks whole logic of this analysis.
All checks we are making are supposed to be loop-independent, so that we could
safely remove the range check. The 'nw' fact is loop-dependent, so we can remove
the check basing on facts from this very check.

Motivating examples will follow-up.