This is an archive of the discontinued LLVM Phabricator instance.

Differential D149201

[ValueTracking] Add some additional tests for `isKnownNonZero`; NFC
ClosedPublic

Authored by goldstein.w.n on Apr 25 2023, 2:29 PM.

Details

Reviewers
nikic
spatel
StephenFan
Commits
rG73f5f1a8fa13: [ValueTracking] Add some additional tests for `isKnownNonZero`; NFC

Diff Detail

Event Timeline

goldstein.w.n created this revision.Apr 25 2023, 2:29 PM
Herald added a project: Restricted Project. · View Herald TranscriptApr 25 2023, 2:29 PM
goldstein.w.n requested review of this revision.Apr 25 2023, 2:29 PM
Herald added a project: Restricted Project. · View Herald TranscriptApr 25 2023, 2:29 PM
Herald added a subscriber: llvm-commits. · View Herald Transcript
goldstein.w.n added a child revision: D149202: [ValueTracking] Add logic for `(sub x, y) != 0` if we know `KnownX != KnownY`.Apr 25 2023, 2:32 PM
goldstein.w.n updated this revision to Diff 516936.Apr 25 2023, 3:03 PM

Rebase

Harbormaster completed remote builds in B228125: Diff 516936.Apr 25 2023, 3:52 PM
nikic accepted this revision.Apr 26 2023, 12:10 AM

LGTM

This revision is now accepted and ready to land.Apr 26 2023, 12:10 AM
goldstein.w.n updated this revision to Diff 517344.Apr 26 2023, 3:07 PM

Rebase

goldstein.w.n updated this revision to Diff 517349.Apr 26 2023, 3:10 PM

Rebase

Harbormaster completed remote builds in B228420: Diff 517349.Apr 26 2023, 3:58 PM
This revision was landed with ongoing or failed builds.Apr 26 2023, 9:49 PM
Closed by commit rG73f5f1a8fa13: [ValueTracking] Add some additional tests for `isKnownNonZero`; NFC (authored by goldstein.w.n). · Explain Why
This revision was automatically updated to reflect the committed changes.
goldstein.w.n added a commit: rG73f5f1a8fa13: [ValueTracking] Add some additional tests for `isKnownNonZero`; NFC.

Revision Contents

PathSize
llvm/
test/
Analysis/
ValueTracking/
98 lines

Diff 517349

llvm/test/Analysis/ValueTracking/known-non-zero.ll

Show First 20 Lines • Show All 433 Lines • ▼ Show 20 Lines;
%cnt = and i32 %ccnt, 6 %cnt = and i32 %ccnt, 6
%val = and i32 %y, 268435455 %val = and i32 %y, 268435455
%val_nz = icmp ne i32 %val, 0 %val_nz = icmp ne i32 %val, 0
call void @llvm.assume(i1 %val_nz) call void @llvm.assume(i1 %val_nz)
%shl = shl i32 %val, %cnt %shl = shl i32 %val, %cnt
%r = icmp eq i32 %shl, 0 %r = icmp eq i32 %shl, 0
ret i1 %r ret i1 %r
} }
define i1 @sub_nonzero_ops_ne(i8 %xx, i8 %yy, i8 %z) {
; CHECK-LABEL: @sub_nonzero_ops_ne(
; CHECK-NEXT: [[X:%.*]] = and i8 [[XX:%.*]], -65
; CHECK-NEXT: [[Y:%.*]] = or i8 [[YY:%.*]], 64
; CHECK-NEXT: [[S:%.*]] = sub i8 [[X]], [[Y]]
; CHECK-NEXT: [[EXP:%.*]] = or i8 [[Z:%.*]], [[S]]
; CHECK-NEXT: [[R:%.*]] = icmp eq i8 [[EXP]], 0
; CHECK-NEXT: ret i1 [[R]]
;
%x = and i8 %xx, 191
%y = or i8 %yy, 64
%s = sub i8 %x, %y
%exp = or i8 %z, %s
%r = icmp eq i8 %exp, 0
ret i1 %r
}
define i1 @sub_nonzero_ops_ne_fail(i8 %xx, i8 %yy, i8 %z) {
; CHECK-LABEL: @sub_nonzero_ops_ne_fail(
; CHECK-NEXT: [[X:%.*]] = and i8 [[XX:%.*]], -64
; CHECK-NEXT: [[Y:%.*]] = or i8 [[YY:%.*]], 64
; CHECK-NEXT: [[S:%.*]] = sub i8 [[X]], [[Y]]
; CHECK-NEXT: [[EXP:%.*]] = or i8 [[Z:%.*]], [[S]]
; CHECK-NEXT: [[R:%.*]] = icmp eq i8 [[EXP]], 0
; CHECK-NEXT: ret i1 [[R]]
;
%x = and i8 %xx, 192
%y = or i8 %yy, 64
%s = sub i8 %x, %y
%exp = or i8 %z, %s
%r = icmp eq i8 %exp, 0
ret i1 %r
}
define i1 @add_nonzero_nuw(i8 %x, i8 %y) {
; CHECK-LABEL: @add_nonzero_nuw(
; CHECK-NEXT: [[X_NZ:%.*]] = icmp ne i8 [[X:%.*]], 0
; CHECK-NEXT: call void @llvm.assume(i1 [[X_NZ]])
; CHECK-NEXT: [[A:%.*]] = add nuw i8 [[X]], [[Y:%.*]]
; CHECK-NEXT: [[R:%.*]] = icmp eq i8 [[A]], 0
; CHECK-NEXT: ret i1 [[R]]
;
%x_nz = icmp ne i8 %x, 0
call void @llvm.assume(i1 %x_nz)
%a = add nuw i8 %x, %y
%r = icmp eq i8 %a, 0
ret i1 %r
}
define i1 @add_nonzero_nsw_fail(i8 %x, i8 %y) {
; CHECK-LABEL: @add_nonzero_nsw_fail(
; CHECK-NEXT: [[X_NZ:%.*]] = icmp ne i8 [[X:%.*]], 0
; CHECK-NEXT: call void @llvm.assume(i1 [[X_NZ]])
; CHECK-NEXT: [[A:%.*]] = add nsw i8 [[X]], [[Y:%.*]]
; CHECK-NEXT: [[R:%.*]] = icmp eq i8 [[A]], 0
; CHECK-NEXT: ret i1 [[R]]
;
%x_nz = icmp ne i8 %x, 0
call void @llvm.assume(i1 %x_nz)
%a = add nsw i8 %x, %y
%r = icmp eq i8 %a, 0
ret i1 %r
}
define i1 @udiv_y_le_x(i8 %xx, i8 %yy, i8 %z) {
; CHECK-LABEL: @udiv_y_le_x(
; CHECK-NEXT: [[X:%.*]] = or i8 [[XX:%.*]], 7
; CHECK-NEXT: [[Y:%.*]] = and i8 [[YY:%.*]], 7
; CHECK-NEXT: [[D:%.*]] = udiv i8 [[X]], [[Y]]
; CHECK-NEXT: [[O:%.*]] = or i8 [[D]], [[Z:%.*]]
; CHECK-NEXT: [[R:%.*]] = icmp eq i8 [[O]], 0
; CHECK-NEXT: ret i1 [[R]]
;
%x = or i8 %xx, 7
%y = and i8 %yy, 7
%d = udiv i8 %x, %y
%o = or i8 %d, %z
%r = icmp eq i8 %o, 0
ret i1 %r
}
define i1 @udiv_y_le_x_fail(i8 %xx, i8 %yy, i8 %z) {
; CHECK-LABEL: @udiv_y_le_x_fail(
; CHECK-NEXT: [[X:%.*]] = or i8 [[XX:%.*]], 6
; CHECK-NEXT: [[Y:%.*]] = and i8 [[YY:%.*]], 7
; CHECK-NEXT: [[D:%.*]] = udiv i8 [[X]], [[Y]]
; CHECK-NEXT: [[O:%.*]] = or i8 [[D]], [[Z:%.*]]
; CHECK-NEXT: [[R:%.*]] = icmp eq i8 [[O]], 0
; CHECK-NEXT: ret i1 [[R]]
;
%x = or i8 %xx, 6
%y = and i8 %yy, 7
%d = udiv i8 %x, %y
%o = or i8 %d, %z
%r = icmp eq i8 %o, 0
ret i1 %r
}