[all-commits] [llvm/llvm-project] 02fdbc: Revert "[NFC][SCEV] Generalize monotonicity check ...

[max-azul via All-commits]

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

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

  Log Message:
  -----------
  Revert "[NFC][SCEV] Generalize monotonicity check for full and limited iteration space"

This reverts commit 2734a9ebf4a31df0131acdfc739395a5e692c342.

This patch appeared to not be a NFC. It introduced an execution path where
monotonicity check on limited space started relying in existing nsw/nuw
flags, which is illegal. The motivating test will follow-up.