[PATCH] D127398: [InstCombine] add vector support for (A >> C) == (B >> C) --> (A^B) u< (1 << C)

[Chenbing.Zheng via Phabricator via llvm-commits]

Chenbing.Zheng marked an inline comment as done.
Chenbing.Zheng added inline comments.


================
Comment at: llvm/test/Transforms/InstCombine/compare-signs.ll:78
 
 define <2 x i32> @test3vec_undef2(<2 x i32> %a, <2 x i32> %b) nounwind readnone {
 ; CHECK-LABEL: @test3vec_undef2(
----------------
undef is allowed
https://alive2.llvm.org/ce/z/gq9YWm


================
Comment at: llvm/test/Transforms/InstCombine/compare-signs.ll:92
 
 ; negative test
 
----------------
precommit negative tests here


Repository:
  rG LLVM Github Monorepo

CHANGES SINCE LAST ACTION
  https://reviews.llvm.org/D127398/new/

https://reviews.llvm.org/D127398