[ValueTracking] enhance matching of smin/smax with 'not' operands
authorSanjay Patel <spatel@rotateright.com>
Sun, 5 Apr 2020 12:51:29 +0000 (08:51 -0400)
committerSanjay Patel <spatel@rotateright.com>
Sun, 5 Apr 2020 12:54:12 +0000 (08:54 -0400)
commit867f0c3c4d8c25c5cded2dd290a3fcfd92d98557
tree96fbf29150c6371a00609b47cda82103670b92d6
parent59d10dc703357631e9a13000ef15930b86a93335
[ValueTracking] enhance matching of smin/smax with 'not' operands

The cmyk tests are based on the known regression that resulted from:
rGf2fbdf76d8d0

So this improvement in analysis might be enough to restore that commit.
llvm/lib/Analysis/ValueTracking.cpp
llvm/test/Transforms/InstCombine/max-of-nots.ll
llvm/unittests/Analysis/ValueTrackingTest.cpp