From 337504683efa0b898bcf69b4e5be67d73dbaf180 Mon Sep 17 00:00:00 2001 From: Nikita Popov Date: Mon, 18 Dec 2023 09:58:23 +0100 Subject: [ValueTracking] Use isKnownNonEqual() in isNonZeroSub() (x - y) != 0 is true iff x != y, so use the isKnownNonEqual() helper, which knows some additional tricks. --- llvm/test/Analysis/ValueTracking/known-non-zero.ll | 5 +---- 1 file changed, 1 insertion(+), 4 deletions(-) (limited to 'llvm/test/Analysis') diff --git a/llvm/test/Analysis/ValueTracking/known-non-zero.ll b/llvm/test/Analysis/ValueTracking/known-non-zero.ll index d8dbd1a..c8e17f8 100644 --- a/llvm/test/Analysis/ValueTracking/known-non-zero.ll +++ b/llvm/test/Analysis/ValueTracking/known-non-zero.ll @@ -1222,10 +1222,7 @@ define i1 @sub_via_non_eq(i8 %x, i8 %y) { ; CHECK-LABEL: @sub_via_non_eq( ; CHECK-NEXT: [[NE:%.*]] = icmp ne i8 [[X:%.*]], 0 ; CHECK-NEXT: call void @llvm.assume(i1 [[NE]]) -; CHECK-NEXT: [[SHL:%.*]] = shl nuw i8 [[X]], 3 -; CHECK-NEXT: [[SUB:%.*]] = sub i8 [[X]], [[SHL]] -; CHECK-NEXT: [[CMP:%.*]] = icmp eq i8 [[SUB]], 0 -; CHECK-NEXT: ret i1 [[CMP]] +; CHECK-NEXT: ret i1 false ; %ne = icmp ne i8 %x, 0 call void @llvm.assume(i1 %ne) -- cgit v1.1