[InstSimplify] Extend simplifications for `(icmp ({z|s}ext X), C)` where `C` is vector
authorNoah Goldstein <goldstein.w.n@gmail.com>
Mon, 3 Apr 2023 04:40:08 +0000 (23:40 -0500)
committerNoah Goldstein <goldstein.w.n@gmail.com>
Mon, 3 Apr 2023 16:04:57 +0000 (11:04 -0500)
commit87c97d052cfd6dc0c03e5e36be1315f659f9f0ac
tree3560f7f0f7a8415bd56231503e64b6ae8dd16e38
parent0ac84ab1cb554ec79d09531c724bfdb15e9d5cb9
[InstSimplify] Extend simplifications for `(icmp ({z|s}ext X), C)` where `C` is vector

Previous logic only applied for `ConstantInt` which misses all vector
cases. New code works for splat/non-splat vectors as well. No change
to the underlying simplifications.

Reviewed By: nikic

Differential Revision: https://reviews.llvm.org/D147275
llvm/lib/Analysis/InstructionSimplify.cpp
llvm/test/Transforms/InstSimplify/vec-icmp-of-cast.ll