[SCEV] Support sext in SCEVLoopGuardRewriter
authorMax Kazantsev <mkazantsev@azul.com>
Tue, 7 Feb 2023 06:09:46 +0000 (13:09 +0700)
committerMax Kazantsev <mkazantsev@azul.com>
Tue, 7 Feb 2023 07:00:30 +0000 (14:00 +0700)
commit0c4a7352004da149319d2ec9717985c7ba621082
tree9f905ee8dd4f1e6c1acf49ee52a329c3603584b0
parentd18523c0430cee513a07b5b2a89ad1adb43c91f1
[SCEV] Support sext in SCEVLoopGuardRewriter

There is no particular reason why it's not supported, and it is useful.

Differential Revision: https://reviews.llvm.org/D143257
Reviewed By: fhahn
llvm/lib/Analysis/ScalarEvolution.cpp
llvm/test/Analysis/ScalarEvolution/max-backedge-taken-count-guard-info-rewrite-expressions.ll