Revert "[NFC][SCEV] Generalize monotonicity check for full and limited iteration...
authorMax Kazantsev <mkazantsev@azul.com>
Tue, 24 Nov 2020 10:56:59 +0000 (17:56 +0700)
committerMax Kazantsev <mkazantsev@azul.com>
Tue, 24 Nov 2020 10:56:59 +0000 (17:56 +0700)
commit02fdbc3567249471349474c70828cb5a5d4881c8
treef782be2a3dce5cd45400d41baf6d7c3c31fa39d0
parenta2b59048d99040179c0106e86730f8a45f0e2286
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.
llvm/include/llvm/Analysis/ScalarEvolution.h
llvm/lib/Analysis/ScalarEvolution.cpp