diff --git a/llvm/include/llvm/IR/CmpPredicate.h b/llvm/include/llvm/IR/CmpPredicate.h index ce78e4311f9f8..9aa1449465f5f 100644 --- a/llvm/include/llvm/IR/CmpPredicate.h +++ b/llvm/include/llvm/IR/CmpPredicate.h @@ -71,13 +71,7 @@ class CmpPredicate { /// Get the swapped predicate of a CmpInst. static CmpPredicate getSwapped(const CmpInst *Cmp); - - /// Provided to facilitate storing a CmpPredicate in data structures that - /// require hashing. - friend hash_code hash_value(const CmpPredicate &Arg); // NOLINT }; - -[[nodiscard]] hash_code hash_value(const CmpPredicate &Arg); } // namespace llvm #endif diff --git a/llvm/lib/IR/Instructions.cpp b/llvm/lib/IR/Instructions.cpp index d1da02c744f18..2d6fe40f4c1de 100644 --- a/llvm/lib/IR/Instructions.cpp +++ b/llvm/lib/IR/Instructions.cpp @@ -3946,10 +3946,6 @@ CmpPredicate CmpPredicate::getSwapped(const CmpInst *Cmp) { return getSwapped(get(Cmp)); } -hash_code llvm::hash_value(const CmpPredicate &Arg) { // NOLINT - return hash_combine(Arg.Pred, Arg.HasSameSign); -} - //===----------------------------------------------------------------------===// // SwitchInst Implementation //===----------------------------------------------------------------------===// diff --git a/llvm/lib/Transforms/Scalar/EarlyCSE.cpp b/llvm/lib/Transforms/Scalar/EarlyCSE.cpp index 682c5c3d8c634..3a0ae6b01a114 100644 --- a/llvm/lib/Transforms/Scalar/EarlyCSE.cpp +++ b/llvm/lib/Transforms/Scalar/EarlyCSE.cpp @@ -290,7 +290,8 @@ static unsigned getHashValueImpl(SimpleValue Val) { Pred = CmpInst::getInversePredicate(Pred); std::swap(A, B); } - return hash_combine(Inst->getOpcode(), Pred, X, Y, A, B); + return hash_combine(Inst->getOpcode(), + static_cast(Pred), X, Y, A, B); } if (CastInst *CI = dyn_cast(Inst)) diff --git a/llvm/test/Transforms/EarlyCSE/pr119893.ll b/llvm/test/Transforms/EarlyCSE/pr119893.ll new file mode 100644 index 0000000000000..c9ea315c9fea4 --- /dev/null +++ b/llvm/test/Transforms/EarlyCSE/pr119893.ll @@ -0,0 +1,21 @@ +; NOTE: Assertions have been autogenerated by utils/update_test_checks.py UTC_ARGS: --version 5 +; RUN: opt -passes=early-cse -S %s | FileCheck %s + +define i32 @samesign_hash_bug(i16 %v) { +; CHECK-LABEL: define i32 @samesign_hash_bug( +; CHECK-SAME: i16 [[V:%.*]]) { +; CHECK-NEXT: [[ZEXT:%.*]] = zext i16 [[V]] to i32 +; CHECK-NEXT: [[ICMP_SAMESIGN:%.*]] = icmp ugt i32 [[ZEXT]], 31 +; CHECK-NEXT: [[SELECT_ICMP_SAMESIGN:%.*]] = select i1 [[ICMP_SAMESIGN]], i32 0, i32 1 +; CHECK-NEXT: [[SELECT_ICMP:%.*]] = select i1 [[ICMP_SAMESIGN]], i32 1, i32 0 +; CHECK-NEXT: ret i32 [[SELECT_ICMP]] +; + %zext = zext i16 %v to i32 + %icmp.samesign = icmp samesign ugt i32 %zext, 31 + %select.icmp.samesign = select i1 %icmp.samesign, i32 0, i32 1 + %ashr = ashr i32 0, %select.icmp.samesign + %icmp = icmp ugt i32 %zext, 31 + %select.icmp = select i1 %icmp, i32 1, i32 0 + %ret = add i32 %ashr, %select.icmp + ret i32 %ret +}