[SCEV] Support signed predicates in applyLoopGuards.
authorFlorian Hahn <flo@fhahn.com>
Wed, 23 Jun 2021 08:42:45 +0000 (09:42 +0100)
committerFlorian Hahn <flo@fhahn.com>
Wed, 23 Jun 2021 09:21:05 +0000 (10:21 +0100)
commitadee485adf84ae8af4105ab4e0b62753245f420d
treeea39168b9fa2a8f5676787a097c30f23cfe94a96
parent5ab96fa16b31c0f019da63ae2bce3820e672d897
[SCEV] Support signed predicates in applyLoopGuards.

This adds handling for signed predicates, similar to how unsigned
predicates are already handled.

Reviewed By: nikic

Differential Revision: https://reviews.llvm.org/D104732
llvm/lib/Analysis/ScalarEvolution.cpp
llvm/test/Analysis/Delinearization/a.ll
llvm/test/Analysis/ScalarEvolution/max-backedge-taken-count-guard-info.ll
llvm/test/Analysis/ScalarEvolution/max-trip-count-address-space.ll
llvm/test/Analysis/ScalarEvolution/max-trip-count.ll
llvm/test/Analysis/ScalarEvolution/sext-mul.ll