[llvm] [ValueTracking] Add support for `sub` in `isKnownNonEqual` (PR #87704)

Yingwei Zheng via llvm-commits llvm-commits at lists.llvm.org
Fri Apr 5 05:57:40 PDT 2024


================
@@ -250,9 +250,7 @@ define <2 x i1> @sub_odd_poison(<2 x i8> %x) {
 
 define i1 @sub_even(i8 %x) {
 ; CHECK-LABEL: @sub_even(
-; CHECK-NEXT:    [[SUB:%.*]] = sub i8 2, [[X:%.*]]
-; CHECK-NEXT:    [[CMP:%.*]] = icmp ne i8 [[SUB]], [[X]]
-; CHECK-NEXT:    ret i1 [[CMP]]
+; CHECK-NEXT:    ret i1 true
----------------
dtcxzyw wrote:

Miscompilation: https://alive2.llvm.org/ce/z/kmbPXT

https://github.com/llvm/llvm-project/pull/87704


More information about the llvm-commits mailing list