This is an archive of the discontinued LLVM Phabricator instance.

Differential D147899

[ValueTracking] Add tests for using condition in select for non-zero analysis; NFC
ClosedPublic

Authored by goldstein.w.n on Apr 9 2023, 5:15 PM.

Details

Reviewers
nikic
spatel
majnemer
Commits
rG530bbc8f6919: [ValueTracking] Add tests for using condition in select for non-zero analysis…

Diff Detail

Event Timeline

goldstein.w.n created this revision.Apr 9 2023, 5:15 PM
Herald added a project: Restricted Project. · View Herald TranscriptApr 9 2023, 5:15 PM
goldstein.w.n requested review of this revision.Apr 9 2023, 5:15 PM
Herald added a project: Restricted Project. · View Herald TranscriptApr 9 2023, 5:15 PM
Herald added a subscriber: llvm-commits. · View Herald Transcript
goldstein.w.n added reviewers: nikic, spatel, majnemer.Apr 9 2023, 5:19 PM
Herald added a subscriber: StephenFan. · View Herald TranscriptApr 9 2023, 5:19 PM
goldstein.w.n added a child revision: D147900: [ValueTracking] Use `select` condition to help determine if `select` is non-zero.Apr 9 2023, 5:19 PM
Harbormaster completed remote builds in B224500: Diff 512052.Apr 9 2023, 5:34 PM
goldstein.w.n updated this revision to Diff 512995.Apr 12 2023, 4:02 PM

Add non-const tests in preperation for weakening impl

Harbormaster completed remote builds in B225201: Diff 512995.Apr 12 2023, 4:49 PM
goldstein.w.n updated this revision to Diff 518393.Apr 30 2023, 10:00 PM

Rebase

Harbormaster completed remote builds in B229187: Diff 518393.Apr 30 2023, 10:38 PM
goldstein.w.n updated this revision to Diff 518806.May 2 2023, 11:12 AM

Rebase

Harbormaster completed remote builds in B229492: Diff 518806.May 2 2023, 1:54 PM
goldstein.w.n added a parent revision: D149423: [ValueTracking] Use knownbits interface for determining if `div`/`rem` are safe to speculate.May 19 2023, 2:26 PM
goldstein.w.n removed a parent revision: D149423: [ValueTracking] Use knownbits interface for determining if `div`/`rem` are safe to speculate.
goldstein.w.n added a parent revision: D149423: [ValueTracking] Use knownbits interface for determining if `div`/`rem` are safe to speculate.May 19 2023, 2:28 PM
goldstein.w.n removed a parent revision: D149423: [ValueTracking] Use knownbits interface for determining if `div`/`rem` are safe to speculate.
goldstein.w.n updated this revision to Diff 523955.May 19 2023, 3:51 PM

Rebase

Harbormaster completed remote builds in B233312: Diff 523955.May 19 2023, 4:48 PM
goldstein.w.n updated this revision to Diff 524134.May 21 2023, 2:55 PM

Rebase

Harbormaster completed remote builds in B233454: Diff 524134.May 21 2023, 3:41 PM
goldstein.w.n updated this revision to Diff 524455.May 22 2023, 1:26 PM

Rebase

nikic added inline comments.May 22 2023, 1:54 PM
llvm/test/Analysis/ValueTracking/select-known-non-zero.ll
3

Is this file still supposed to be here? Some of the tests are redundant with those in the other file, such as the first one (select_v_ne_z), or basically anything that shows a diff in D147900.

goldstein.w.n added inline comments.May 22 2023, 2:28 PM
llvm/test/Analysis/ValueTracking/select-known-non-zero.ll
3

These are the original tests before using cmpExcludesZero (when the analysis used knownbits). Would like to add them as well as they are cases we should be able to handle. I'll drop all the tests that have diff in current D147900 or match the const test though.

Harbormaster completed remote builds in B233685: Diff 524455.May 22 2023, 3:22 PM
goldstein.w.n updated this revision to Diff 524517.May 22 2023, 3:35 PM

Remove dup tests

Harbormaster completed remote builds in B233737: Diff 524517.May 22 2023, 5:40 PM
nikic accepted this revision.May 23 2023, 12:33 AM

LGTM

This revision is now accepted and ready to land.May 23 2023, 12:33 AM
Closed by commit rG530bbc8f6919: [ValueTracking] Add tests for using condition in select for non-zero analysis… (authored by goldstein.w.n). · Explain WhyMay 23 2023, 11:57 AM
This revision was automatically updated to reflect the committed changes.
goldstein.w.n marked an inline comment as done.
goldstein.w.n added a commit: rG530bbc8f6919: [ValueTracking] Add tests for using condition in select for non-zero analysis….

Revision Contents

PathSize
llvm/
test/
Analysis/
ValueTracking/
388 lines
394 lines

Diff 524831

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

  • This file was added.
; NOTE: Assertions have been autogenerated by utils/update_test_checks.py
; RUN: opt < %s -passes=instsimplify -S | FileCheck %s
declare void @llvm.assume(i1)
define <2 x i1> @select_v_ne_z(<2 x i8> %v, <2 x i8> %yy) {
; CHECK-LABEL: @select_v_ne_z(
; CHECK-NEXT: [[Y:%.*]] = or <2 x i8> [[YY:%.*]], <i8 1, i8 1>
; CHECK-NEXT: [[CMP:%.*]] = icmp ne <2 x i8> [[V:%.*]], zeroinitializer
; CHECK-NEXT: [[S:%.*]] = select <2 x i1> [[CMP]], <2 x i8> [[V]], <2 x i8> [[Y]]
; CHECK-NEXT: [[R:%.*]] = icmp eq <2 x i8> [[S]], zeroinitializer
; CHECK-NEXT: ret <2 x i1> [[R]]
;
%y = or <2 x i8> %yy, <i8 1, i8 1>
%cmp = icmp ne <2 x i8> %v, zeroinitializer
%s = select <2 x i1> %cmp, <2 x i8> %v, <2 x i8> %y
%r = icmp eq <2 x i8> %s, zeroinitializer
ret <2 x i1> %r
}
define i1 @select_v_ne_fail(i8 %v, i8 %y) {
; CHECK-LABEL: @select_v_ne_fail(
; CHECK-NEXT: [[YNZ:%.*]] = icmp ne i8 [[Y:%.*]], 0
; CHECK-NEXT: call void @llvm.assume(i1 [[YNZ]])
; CHECK-NEXT: [[CMP:%.*]] = icmp ne i8 [[V:%.*]], 1
; CHECK-NEXT: [[S:%.*]] = select i1 [[CMP]], i8 [[V]], i8 [[Y]]
; CHECK-NEXT: [[R:%.*]] = icmp eq i8 [[S]], 0
; CHECK-NEXT: ret i1 [[R]]
;
%ynz = icmp ne i8 %y, 0
call void @llvm.assume(i1 %ynz)
%cmp = icmp ne i8 %v, 1
%s = select i1 %cmp, i8 %v, i8 %y
%r = icmp eq i8 %s, 0
ret i1 %r
}
define i1 @select_v_eq_nz(i8 %v, i8 %y) {
; CHECK-LABEL: @select_v_eq_nz(
; CHECK-NEXT: [[YNZ:%.*]] = icmp ne i8 [[Y:%.*]], 0
; CHECK-NEXT: call void @llvm.assume(i1 [[YNZ]])
; CHECK-NEXT: [[CMP:%.*]] = icmp eq i8 44, [[V:%.*]]
; CHECK-NEXT: [[S:%.*]] = select i1 [[CMP]], i8 [[V]], i8 [[Y]]
; CHECK-NEXT: [[R:%.*]] = icmp eq i8 [[S]], 0
; CHECK-NEXT: ret i1 [[R]]
;
%ynz = icmp ne i8 %y, 0
call void @llvm.assume(i1 %ynz)
%cmp = icmp eq i8 44, %v
%s = select i1 %cmp, i8 %v, i8 %y
%r = icmp eq i8 %s, 0
ret i1 %r
}
define i1 @inv_select_v_ugt_nz(i8 %v, i8 %C, i8 %y) {
; CHECK-LABEL: @inv_select_v_ugt_nz(
; CHECK-NEXT: [[YNZ:%.*]] = icmp ne i8 [[Y:%.*]], 0
; CHECK-NEXT: call void @llvm.assume(i1 [[YNZ]])
; CHECK-NEXT: [[CMP:%.*]] = icmp ugt i8 14, [[V:%.*]]
; CHECK-NEXT: [[S:%.*]] = select i1 [[CMP]], i8 [[Y]], i8 [[V]]
; CHECK-NEXT: [[R:%.*]] = icmp eq i8 [[S]], 0
; CHECK-NEXT: ret i1 [[R]]
;
%ynz = icmp ne i8 %y, 0
call void @llvm.assume(i1 %ynz)
%cmp = icmp ugt i8 14, %v
%s = select i1 %cmp, i8 %y, i8 %v
%r = icmp eq i8 %s, 0
ret i1 %r
}
define i1 @inv_select_v_ugt_fail(i8 %v, i8 %C, i8 %y) {
; CHECK-LABEL: @inv_select_v_ugt_fail(
; CHECK-NEXT: [[YNZ:%.*]] = icmp ne i8 [[Y:%.*]], 0
; CHECK-NEXT: call void @llvm.assume(i1 [[YNZ]])
; CHECK-NEXT: [[CMP:%.*]] = icmp ugt i8 -2, [[V:%.*]]
; CHECK-NEXT: [[S:%.*]] = select i1 [[CMP]], i8 [[Y]], i8 [[V]]
; CHECK-NEXT: [[R:%.*]] = icmp eq i8 [[S]], 0
; CHECK-NEXT: ret i1 [[R]]
;
%ynz = icmp ne i8 %y, 0
call void @llvm.assume(i1 %ynz)
%cmp = icmp ugt i8 -2, %v
%s = select i1 %cmp, i8 %y, i8 %v
%r = icmp eq i8 %s, 0
ret i1 %r
}
define <2 x i1> @select_v_ult(<2 x i8> %v, <2 x i8> %C, <2 x i8> %yy) {
; CHECK-LABEL: @select_v_ult(
; CHECK-NEXT: [[Y:%.*]] = or <2 x i8> [[YY:%.*]], <i8 1, i8 1>
; CHECK-NEXT: [[CMP:%.*]] = icmp ult <2 x i8> [[C:%.*]], [[V:%.*]]
; CHECK-NEXT: [[S:%.*]] = select <2 x i1> [[CMP]], <2 x i8> [[V]], <2 x i8> [[Y]]
; CHECK-NEXT: [[R:%.*]] = icmp eq <2 x i8> [[S]], zeroinitializer
; CHECK-NEXT: ret <2 x i1> [[R]]
;
%y = or <2 x i8> %yy, <i8 1, i8 1>
%cmp = icmp ult <2 x i8> %C, %v
%s = select <2 x i1> %cmp, <2 x i8> %v, <2 x i8> %y
%r = icmp eq <2 x i8> %s, zeroinitializer
ret <2 x i1> %r
}
define <2 x i1> @select_v_uge_nz(<2 x i8> %v, <2 x i8> %yy) {
; CHECK-LABEL: @select_v_uge_nz(
; CHECK-NEXT: [[Y:%.*]] = or <2 x i8> [[YY:%.*]], <i8 1, i8 1>
; CHECK-NEXT: [[CMP:%.*]] = icmp uge <2 x i8> [[V:%.*]], <i8 1, i8 1>
; CHECK-NEXT: [[S:%.*]] = select <2 x i1> [[CMP]], <2 x i8> [[V]], <2 x i8> [[Y]]
; CHECK-NEXT: [[R:%.*]] = icmp eq <2 x i8> [[S]], zeroinitializer
; CHECK-NEXT: ret <2 x i1> [[R]]
;
%y = or <2 x i8> %yy, <i8 1, i8 1>
%cmp = icmp uge <2 x i8> %v, <i8 1, i8 1>
%s = select <2 x i1> %cmp, <2 x i8> %v, <2 x i8> %y
%r = icmp eq <2 x i8> %s, zeroinitializer
ret <2 x i1> %r
}
define i1 @inv_select_v_ule(i8 %v, i8 %y) {
; CHECK-LABEL: @inv_select_v_ule(
; CHECK-NEXT: [[YNZ:%.*]] = icmp ne i8 [[Y:%.*]], 0
; CHECK-NEXT: call void @llvm.assume(i1 [[YNZ]])
; CHECK-NEXT: [[CMP:%.*]] = icmp ule i8 [[V:%.*]], 4
; CHECK-NEXT: [[S:%.*]] = select i1 [[CMP]], i8 [[Y]], i8 [[V]]
; CHECK-NEXT: [[R:%.*]] = icmp eq i8 [[S]], 0
; CHECK-NEXT: ret i1 [[R]]
;
%ynz = icmp ne i8 %y, 0
call void @llvm.assume(i1 %ynz)
%cmp = icmp ule i8 %v, 4
%s = select i1 %cmp, i8 %y, i8 %v
%r = icmp eq i8 %s, 0
ret i1 %r
}
define i1 @select_v_sgt_nonneg(i8 %v, i8 %y) {
; CHECK-LABEL: @select_v_sgt_nonneg(
; CHECK-NEXT: [[YNZ:%.*]] = icmp ne i8 [[Y:%.*]], 0
; CHECK-NEXT: call void @llvm.assume(i1 [[YNZ]])
; CHECK-NEXT: [[CMP:%.*]] = icmp sgt i8 [[V:%.*]], 0
; CHECK-NEXT: [[S:%.*]] = select i1 [[CMP]], i8 [[V]], i8 [[Y]]
; CHECK-NEXT: [[R:%.*]] = icmp eq i8 [[S]], 0
; CHECK-NEXT: ret i1 [[R]]
;
%ynz = icmp ne i8 %y, 0
call void @llvm.assume(i1 %ynz)
%cmp = icmp sgt i8 %v, 0
%s = select i1 %cmp, i8 %v, i8 %y
%r = icmp eq i8 %s, 0
ret i1 %r
}
define i1 @select_v_sgt_fail(i8 %v, i8 %y) {
; CHECK-LABEL: @select_v_sgt_fail(
; CHECK-NEXT: [[YNZ:%.*]] = icmp ne i8 [[Y:%.*]], 0
; CHECK-NEXT: call void @llvm.assume(i1 [[YNZ]])
; CHECK-NEXT: [[CMP:%.*]] = icmp sgt i8 [[V:%.*]], -1
; CHECK-NEXT: [[S:%.*]] = select i1 [[CMP]], i8 [[V]], i8 [[Y]]
; CHECK-NEXT: [[R:%.*]] = icmp eq i8 [[S]], 0
; CHECK-NEXT: ret i1 [[R]]
;
%ynz = icmp ne i8 %y, 0
call void @llvm.assume(i1 %ynz)
%cmp = icmp sgt i8 %v, -1
%s = select i1 %cmp, i8 %v, i8 %y
%r = icmp eq i8 %s, 0
ret i1 %r
}
define i1 @inv_select_v_sgt_neg(i8 %v, i8 %y) {
; CHECK-LABEL: @inv_select_v_sgt_neg(
; CHECK-NEXT: [[YNZ:%.*]] = icmp ne i8 [[Y:%.*]], 0
; CHECK-NEXT: call void @llvm.assume(i1 [[YNZ]])
; CHECK-NEXT: [[CMP:%.*]] = icmp sgt i8 [[V:%.*]], -1
; CHECK-NEXT: [[S:%.*]] = select i1 [[CMP]], i8 [[Y]], i8 [[V]]
; CHECK-NEXT: [[R:%.*]] = icmp eq i8 [[S]], 0
; CHECK-NEXT: ret i1 [[R]]
;
%ynz = icmp ne i8 %y, 0
call void @llvm.assume(i1 %ynz)
%cmp = icmp sgt i8 %v, -1
%s = select i1 %cmp, i8 %y, i8 %v
%r = icmp eq i8 %s, 0
ret i1 %r
}
define i1 @inv_select_v_sgt_nonneg_nz(i8 %v, i8 %C, i8 %y) {
; CHECK-LABEL: @inv_select_v_sgt_nonneg_nz(
; CHECK-NEXT: [[YNZ:%.*]] = icmp ne i8 [[Y:%.*]], 0
; CHECK-NEXT: call void @llvm.assume(i1 [[YNZ]])
; CHECK-NEXT: [[CMP:%.*]] = icmp sgt i8 99, [[V:%.*]]
; CHECK-NEXT: [[S:%.*]] = select i1 [[CMP]], i8 [[Y]], i8 [[V]]
; CHECK-NEXT: [[R:%.*]] = icmp eq i8 [[S]], 0
; CHECK-NEXT: ret i1 [[R]]
;
%ynz = icmp ne i8 %y, 0
call void @llvm.assume(i1 %ynz)
%cmp = icmp sgt i8 99, %v
%s = select i1 %cmp, i8 %y, i8 %v
%r = icmp eq i8 %s, 0
ret i1 %r
}
define i1 @select_v_slt_nonneg(i8 %v, i8 %y) {
; CHECK-LABEL: @select_v_slt_nonneg(
; CHECK-NEXT: [[YNZ:%.*]] = icmp ne i8 [[Y:%.*]], 0
; CHECK-NEXT: call void @llvm.assume(i1 [[YNZ]])
; CHECK-NEXT: [[CMP:%.*]] = icmp slt i8 0, [[V:%.*]]
; CHECK-NEXT: [[S:%.*]] = select i1 [[CMP]], i8 [[V]], i8 [[Y]]
; CHECK-NEXT: [[R:%.*]] = icmp eq i8 [[S]], 0
; CHECK-NEXT: ret i1 [[R]]
;
%ynz = icmp ne i8 %y, 0
call void @llvm.assume(i1 %ynz)
%cmp = icmp slt i8 0, %v
%s = select i1 %cmp, i8 %v, i8 %y
%r = icmp eq i8 %s, 0
ret i1 %r
}
define i1 @select_v_slt_nonneg_fail(i8 %v, i8 %C, i8 %y) {
; CHECK-LABEL: @select_v_slt_nonneg_fail(
; CHECK-NEXT: [[YNZ:%.*]] = icmp ne i8 [[Y:%.*]], 0
; CHECK-NEXT: call void @llvm.assume(i1 [[YNZ]])
; CHECK-NEXT: [[CMP:%.*]] = icmp slt i8 -1, [[V:%.*]]
; CHECK-NEXT: [[S:%.*]] = select i1 [[CMP]], i8 [[V]], i8 [[Y]]
; CHECK-NEXT: [[R:%.*]] = icmp eq i8 [[S]], 0
; CHECK-NEXT: ret i1 [[R]]
;
%ynz = icmp ne i8 %y, 0
call void @llvm.assume(i1 %ynz)
%cmp = icmp slt i8 -1, %v
%s = select i1 %cmp, i8 %v, i8 %y
%r = icmp eq i8 %s, 0
ret i1 %r
}
define i1 @select_v_slt_neg(i8 %v, i8 %y) {
; CHECK-LABEL: @select_v_slt_neg(
; CHECK-NEXT: [[YNZ:%.*]] = icmp ne i8 [[Y:%.*]], 0
; CHECK-NEXT: call void @llvm.assume(i1 [[YNZ]])
; CHECK-NEXT: [[CMP:%.*]] = icmp slt i8 [[V:%.*]], -1
; CHECK-NEXT: [[S:%.*]] = select i1 [[CMP]], i8 [[V]], i8 [[Y]]
; CHECK-NEXT: [[R:%.*]] = icmp eq i8 [[S]], 0
; CHECK-NEXT: ret i1 [[R]]
;
%ynz = icmp ne i8 %y, 0
call void @llvm.assume(i1 %ynz)
%cmp = icmp slt i8 %v, -1
%s = select i1 %cmp, i8 %v, i8 %y
%r = icmp eq i8 %s, 0
ret i1 %r
}
define i1 @select_v_sge_nonneg_nz(i8 %v, i8 %y) {
; CHECK-LABEL: @select_v_sge_nonneg_nz(
; CHECK-NEXT: [[YNZ:%.*]] = icmp ne i8 [[Y:%.*]], 0
; CHECK-NEXT: call void @llvm.assume(i1 [[YNZ]])
; CHECK-NEXT: [[CMP:%.*]] = icmp sge i8 [[V:%.*]], 1
; CHECK-NEXT: [[S:%.*]] = select i1 [[CMP]], i8 [[V]], i8 [[Y]]
; CHECK-NEXT: [[R:%.*]] = icmp eq i8 [[S]], 0
; CHECK-NEXT: ret i1 [[R]]
;
%ynz = icmp ne i8 %y, 0
call void @llvm.assume(i1 %ynz)
%cmp = icmp sge i8 %v, 1
%s = select i1 %cmp, i8 %v, i8 %y
%r = icmp eq i8 %s, 0
ret i1 %r
}
define i1 @select_v_sge_neg(i8 %v, i8 %y) {
; CHECK-LABEL: @select_v_sge_neg(
; CHECK-NEXT: [[YNZ:%.*]] = icmp ne i8 [[Y:%.*]], 0
; CHECK-NEXT: call void @llvm.assume(i1 [[YNZ]])
; CHECK-NEXT: [[CMP:%.*]] = icmp sge i8 -3, [[V:%.*]]
; CHECK-NEXT: [[S:%.*]] = select i1 [[CMP]], i8 [[V]], i8 [[Y]]
; CHECK-NEXT: [[R:%.*]] = icmp eq i8 [[S]], 0
; CHECK-NEXT: ret i1 [[R]]
;
%ynz = icmp ne i8 %y, 0
call void @llvm.assume(i1 %ynz)
%cmp = icmp sge i8 -3, %v
%s = select i1 %cmp, i8 %v, i8 %y
%r = icmp eq i8 %s, 0
ret i1 %r
}
define i1 @inv_select_v_sge_z(i8 %v, i8 %y) {
; CHECK-LABEL: @inv_select_v_sge_z(
; CHECK-NEXT: [[YNZ:%.*]] = icmp ne i8 [[Y:%.*]], 0
; CHECK-NEXT: call void @llvm.assume(i1 [[YNZ]])
; CHECK-NEXT: [[CMP:%.*]] = icmp sge i8 [[V:%.*]], 0
; CHECK-NEXT: [[S:%.*]] = select i1 [[CMP]], i8 [[Y]], i8 [[V]]
; CHECK-NEXT: [[R:%.*]] = icmp eq i8 [[S]], 0
; CHECK-NEXT: ret i1 [[R]]
;
%ynz = icmp ne i8 %y, 0
call void @llvm.assume(i1 %ynz)
%cmp = icmp sge i8 %v, 0
%s = select i1 %cmp, i8 %y, i8 %v
%r = icmp eq i8 %s, 0
ret i1 %r
}
define i1 @inv_select_v_sge_fail(i8 %v, i8 %C, i8 %y) {
; CHECK-LABEL: @inv_select_v_sge_fail(
; CHECK-NEXT: [[YNZ:%.*]] = icmp ne i8 [[Y:%.*]], 0
; CHECK-NEXT: call void @llvm.assume(i1 [[YNZ]])
; CHECK-NEXT: [[CMP:%.*]] = icmp sge i8 [[V:%.*]], -44
; CHECK-NEXT: [[S:%.*]] = select i1 [[CMP]], i8 [[Y]], i8 [[V]]
; CHECK-NEXT: [[R:%.*]] = icmp eq i8 [[S]], 0
; CHECK-NEXT: ret i1 [[R]]
;
%ynz = icmp ne i8 %y, 0
call void @llvm.assume(i1 %ynz)
%cmp = icmp sge i8 %v, -44
%s = select i1 %cmp, i8 %y, i8 %v
%r = icmp eq i8 %s, 0
ret i1 %r
}
define i1 @select_v_sle_neg(i8 %v, i8 %y) {
; CHECK-LABEL: @select_v_sle_neg(
; CHECK-NEXT: [[YNZ:%.*]] = icmp ne i8 [[Y:%.*]], 0
; CHECK-NEXT: call void @llvm.assume(i1 [[YNZ]])
; CHECK-NEXT: [[CMP:%.*]] = icmp sle i8 [[V:%.*]], -1
; CHECK-NEXT: [[S:%.*]] = select i1 [[CMP]], i8 [[V]], i8 [[Y]]
; CHECK-NEXT: [[R:%.*]] = icmp eq i8 [[S]], 0
; CHECK-NEXT: ret i1 [[R]]
;
%ynz = icmp ne i8 %y, 0
call void @llvm.assume(i1 %ynz)
%cmp = icmp sle i8 %v, -1
%s = select i1 %cmp, i8 %v, i8 %y
%r = icmp eq i8 %s, 0
ret i1 %r
}
define i1 @select_v_sle_nonneg_nz(i8 %v, i8 %y) {
; CHECK-LABEL: @select_v_sle_nonneg_nz(
; CHECK-NEXT: [[YNZ:%.*]] = icmp ne i8 [[Y:%.*]], 0
; CHECK-NEXT: call void @llvm.assume(i1 [[YNZ]])
; CHECK-NEXT: [[CMP:%.*]] = icmp sle i8 1, [[V:%.*]]
; CHECK-NEXT: [[S:%.*]] = select i1 [[CMP]], i8 [[V]], i8 [[Y]]
; CHECK-NEXT: [[R:%.*]] = icmp eq i8 [[S]], 0
; CHECK-NEXT: ret i1 [[R]]
;
%ynz = icmp ne i8 %y, 0
call void @llvm.assume(i1 %ynz)
%cmp = icmp sle i8 1, %v
%s = select i1 %cmp, i8 %v, i8 %y
%r = icmp eq i8 %s, 0
ret i1 %r
}
define i1 @select_v_sle_fail(i8 %v, i8 %y) {
; CHECK-LABEL: @select_v_sle_fail(
; CHECK-NEXT: [[YNZ:%.*]] = icmp ne i8 [[Y:%.*]], 0
; CHECK-NEXT: call void @llvm.assume(i1 [[YNZ]])
; CHECK-NEXT: [[CMP:%.*]] = icmp sle i8 0, [[V:%.*]]
; CHECK-NEXT: [[S:%.*]] = select i1 [[CMP]], i8 [[V]], i8 [[Y]]
; CHECK-NEXT: [[R:%.*]] = icmp eq i8 [[S]], 0
; CHECK-NEXT: ret i1 [[R]]
;
%ynz = icmp ne i8 %y, 0
call void @llvm.assume(i1 %ynz)
%cmp = icmp sle i8 0, %v
%s = select i1 %cmp, i8 %v, i8 %y
%r = icmp eq i8 %s, 0
ret i1 %r
}
define i1 @inv_select_v_sle_nonneg(i8 %v, i8 %y) {
; CHECK-LABEL: @inv_select_v_sle_nonneg(
; CHECK-NEXT: [[YNZ:%.*]] = icmp ne i8 [[Y:%.*]], 0
; CHECK-NEXT: call void @llvm.assume(i1 [[YNZ]])
; CHECK-NEXT: [[CMP:%.*]] = icmp sle i8 [[V:%.*]], 0
; CHECK-NEXT: [[S:%.*]] = select i1 [[CMP]], i8 [[Y]], i8 [[V]]
; CHECK-NEXT: [[R:%.*]] = icmp eq i8 [[S]], 0
; CHECK-NEXT: ret i1 [[R]]
;
%ynz = icmp ne i8 %y, 0
call void @llvm.assume(i1 %ynz)
%cmp = icmp sle i8 %v, 0
%s = select i1 %cmp, i8 %y, i8 %v
%r = icmp eq i8 %s, 0
ret i1 %r
}

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

  • This file was added.
; NOTE: Assertions have been autogenerated by utils/update_test_checks.py
; RUN: opt < %s -passes=instsimplify -S | FileCheck %s
nikicUnsubmitted
Done
ReplyInline Actions

Is this file still supposed to be here? Some of the tests are redundant with those in the other file, such as the first one (select_v_ne_z), or basically anything that shows a diff in D147900.

nikic: Is this file still supposed to be here? Some of the tests are redundant with those in the other…
goldstein.w.nAuthorUnsubmitted
Done
ReplyInline Actions

These are the original tests before using cmpExcludesZero (when the analysis used knownbits). Would like to add them as well as they are cases we should be able to handle. I'll drop all the tests that have diff in current D147900 or match the const test though.

goldstein.w.n: These are the original tests before using `cmpExcludesZero` (when the analysis used knownbits).
declare void @llvm.assume(i1)
define i1 @select_v_ne_fail(i8 %v, i8 %C, i8 %y) {
; CHECK-LABEL: @select_v_ne_fail(
; CHECK-NEXT: [[YNZ:%.*]] = icmp ne i8 [[Y:%.*]], 0
; CHECK-NEXT: call void @llvm.assume(i1 [[YNZ]])
; CHECK-NEXT: [[CMP:%.*]] = icmp ne i8 [[V:%.*]], [[C:%.*]]
; CHECK-NEXT: [[S:%.*]] = select i1 [[CMP]], i8 [[V]], i8 [[Y]]
; CHECK-NEXT: [[R:%.*]] = icmp eq i8 [[S]], 0
; CHECK-NEXT: ret i1 [[R]]
;
%ynz = icmp ne i8 %y, 0
call void @llvm.assume(i1 %ynz)
%cmp = icmp ne i8 %v, %C
%s = select i1 %cmp, i8 %v, i8 %y
%r = icmp eq i8 %s, 0
ret i1 %r
}
define i1 @select_v_eq_nz(i8 %v, i8 %C, i8 %y) {
; CHECK-LABEL: @select_v_eq_nz(
; CHECK-NEXT: [[YNZ:%.*]] = icmp ne i8 [[Y:%.*]], 0
; CHECK-NEXT: call void @llvm.assume(i1 [[YNZ]])
; CHECK-NEXT: [[PCOND0:%.*]] = icmp ne i8 [[C:%.*]], 0
; CHECK-NEXT: call void @llvm.assume(i1 [[PCOND0]])
; CHECK-NEXT: [[CMP:%.*]] = icmp eq i8 [[C]], [[V:%.*]]
; CHECK-NEXT: [[S:%.*]] = select i1 [[CMP]], i8 [[V]], i8 [[Y]]
; CHECK-NEXT: [[R:%.*]] = icmp eq i8 [[S]], 0
; CHECK-NEXT: ret i1 [[R]]
;
%ynz = icmp ne i8 %y, 0
call void @llvm.assume(i1 %ynz)
%pcond0 = icmp ne i8 %C, 0
call void @llvm.assume(i1 %pcond0)
%cmp = icmp eq i8 %C, %v
%s = select i1 %cmp, i8 %v, i8 %y
%r = icmp eq i8 %s, 0
ret i1 %r
}
define i1 @inv_select_v_ugt_nz(i8 %v, i8 %C, i8 %y) {
; CHECK-LABEL: @inv_select_v_ugt_nz(
; CHECK-NEXT: [[YNZ:%.*]] = icmp ne i8 [[Y:%.*]], 0
; CHECK-NEXT: call void @llvm.assume(i1 [[YNZ]])
; CHECK-NEXT: [[PCOND0:%.*]] = icmp ne i8 [[C:%.*]], 0
; CHECK-NEXT: call void @llvm.assume(i1 [[PCOND0]])
; CHECK-NEXT: [[CMP:%.*]] = icmp ugt i8 [[C]], [[V:%.*]]
; CHECK-NEXT: [[S:%.*]] = select i1 [[CMP]], i8 [[Y]], i8 [[V]]
; CHECK-NEXT: [[R:%.*]] = icmp eq i8 [[S]], 0
; CHECK-NEXT: ret i1 [[R]]
;
%ynz = icmp ne i8 %y, 0
call void @llvm.assume(i1 %ynz)
%pcond0 = icmp ne i8 %C, 0
call void @llvm.assume(i1 %pcond0)
%cmp = icmp ugt i8 %C, %v
%s = select i1 %cmp, i8 %y, i8 %v
%r = icmp eq i8 %s, 0
ret i1 %r
}
define i1 @inv_select_v_ugt_fail(i8 %v, i8 %C, i8 %y) {
; CHECK-LABEL: @inv_select_v_ugt_fail(
; CHECK-NEXT: [[YNZ:%.*]] = icmp ne i8 [[Y:%.*]], 0
; CHECK-NEXT: call void @llvm.assume(i1 [[YNZ]])
; CHECK-NEXT: [[PCOND0:%.*]] = icmp sge i8 [[C:%.*]], -8
; CHECK-NEXT: call void @llvm.assume(i1 [[PCOND0]])
; CHECK-NEXT: [[CMP:%.*]] = icmp ugt i8 [[C]], [[V:%.*]]
; CHECK-NEXT: [[S:%.*]] = select i1 [[CMP]], i8 [[Y]], i8 [[V]]
; CHECK-NEXT: [[R:%.*]] = icmp eq i8 [[S]], 0
; CHECK-NEXT: ret i1 [[R]]
;
%ynz = icmp ne i8 %y, 0
call void @llvm.assume(i1 %ynz)
%pcond0 = icmp sge i8 %C, -8
call void @llvm.assume(i1 %pcond0)
%cmp = icmp ugt i8 %C, %v
%s = select i1 %cmp, i8 %y, i8 %v
%r = icmp eq i8 %s, 0
ret i1 %r
}
define i1 @select_v_uge_nz(i8 %v, i8 %C, i8 %y) {
; CHECK-LABEL: @select_v_uge_nz(
; CHECK-NEXT: [[YNZ:%.*]] = icmp ne i8 [[Y:%.*]], 0
; CHECK-NEXT: call void @llvm.assume(i1 [[YNZ]])
; CHECK-NEXT: [[PCOND0:%.*]] = icmp ne i8 [[C:%.*]], 0
; CHECK-NEXT: call void @llvm.assume(i1 [[PCOND0]])
; CHECK-NEXT: [[CMP:%.*]] = icmp uge i8 [[V:%.*]], [[C]]
; CHECK-NEXT: [[S:%.*]] = select i1 [[CMP]], i8 [[V]], i8 [[Y]]
; CHECK-NEXT: [[R:%.*]] = icmp eq i8 [[S]], 0
; CHECK-NEXT: ret i1 [[R]]
;
%ynz = icmp ne i8 %y, 0
call void @llvm.assume(i1 %ynz)
%pcond0 = icmp ne i8 %C, 0
call void @llvm.assume(i1 %pcond0)
%cmp = icmp uge i8 %v, %C
%s = select i1 %cmp, i8 %v, i8 %y
%r = icmp eq i8 %s, 0
ret i1 %r
}
define i1 @select_v_sgt_nonneg(i8 %v, i8 %C, i8 %y) {
; CHECK-LABEL: @select_v_sgt_nonneg(
; CHECK-NEXT: [[YNZ:%.*]] = icmp ne i8 [[Y:%.*]], 0
; CHECK-NEXT: call void @llvm.assume(i1 [[YNZ]])
; CHECK-NEXT: [[PCOND0:%.*]] = icmp sge i8 [[C:%.*]], 0
; CHECK-NEXT: call void @llvm.assume(i1 [[PCOND0]])
; CHECK-NEXT: [[CMP:%.*]] = icmp sgt i8 [[V:%.*]], [[C]]
; CHECK-NEXT: [[S:%.*]] = select i1 [[CMP]], i8 [[V]], i8 [[Y]]
; CHECK-NEXT: [[R:%.*]] = icmp eq i8 [[S]], 0
; CHECK-NEXT: ret i1 [[R]]
;
%ynz = icmp ne i8 %y, 0
call void @llvm.assume(i1 %ynz)
%pcond0 = icmp sge i8 %C, 0
call void @llvm.assume(i1 %pcond0)
%cmp = icmp sgt i8 %v, %C
%s = select i1 %cmp, i8 %v, i8 %y
%r = icmp eq i8 %s, 0
ret i1 %r
}
define i1 @select_v_sgt_fail(i8 %v, i8 %C, i8 %y) {
; CHECK-LABEL: @select_v_sgt_fail(
; CHECK-NEXT: [[YNZ:%.*]] = icmp ne i8 [[Y:%.*]], 0
; CHECK-NEXT: call void @llvm.assume(i1 [[YNZ]])
; CHECK-NEXT: [[PCOND0:%.*]] = icmp sge i8 [[C:%.*]], -4
; CHECK-NEXT: call void @llvm.assume(i1 [[PCOND0]])
; CHECK-NEXT: [[CMP:%.*]] = icmp sgt i8 [[V:%.*]], [[C]]
; CHECK-NEXT: [[S:%.*]] = select i1 [[CMP]], i8 [[V]], i8 [[Y]]
; CHECK-NEXT: [[R:%.*]] = icmp eq i8 [[S]], 0
; CHECK-NEXT: ret i1 [[R]]
;
%ynz = icmp ne i8 %y, 0
call void @llvm.assume(i1 %ynz)
%pcond0 = icmp sge i8 %C, -4
call void @llvm.assume(i1 %pcond0)
%cmp = icmp sgt i8 %v, %C
%s = select i1 %cmp, i8 %v, i8 %y
%r = icmp eq i8 %s, 0
ret i1 %r
}
define i1 @inv_select_v_sgt_neg(i8 %v, i8 %C, i8 %y) {
; CHECK-LABEL: @inv_select_v_sgt_neg(
; CHECK-NEXT: [[YNZ:%.*]] = icmp ne i8 [[Y:%.*]], 0
; CHECK-NEXT: call void @llvm.assume(i1 [[YNZ]])
; CHECK-NEXT: [[PCOND0:%.*]] = icmp slt i8 [[C:%.*]], 0
; CHECK-NEXT: call void @llvm.assume(i1 [[PCOND0]])
; CHECK-NEXT: [[CMP:%.*]] = icmp sgt i8 [[V:%.*]], [[C]]
; CHECK-NEXT: [[S:%.*]] = select i1 [[CMP]], i8 [[Y]], i8 [[V]]
; CHECK-NEXT: [[R:%.*]] = icmp eq i8 [[S]], 0
; CHECK-NEXT: ret i1 [[R]]
;
%ynz = icmp ne i8 %y, 0
call void @llvm.assume(i1 %ynz)
%pcond0 = icmp slt i8 %C, 0
call void @llvm.assume(i1 %pcond0)
%cmp = icmp sgt i8 %v, %C
%s = select i1 %cmp, i8 %y, i8 %v
%r = icmp eq i8 %s, 0
ret i1 %r
}
define i1 @inv_select_v_sgt_nonneg_nz(i8 %v, i8 %C, i8 %y) {
; CHECK-LABEL: @inv_select_v_sgt_nonneg_nz(
; CHECK-NEXT: [[YNZ:%.*]] = icmp ne i8 [[Y:%.*]], 0
; CHECK-NEXT: call void @llvm.assume(i1 [[YNZ]])
; CHECK-NEXT: [[PCOND0:%.*]] = icmp sgt i8 [[C:%.*]], 0
; CHECK-NEXT: call void @llvm.assume(i1 [[PCOND0]])
; CHECK-NEXT: [[CMP:%.*]] = icmp sgt i8 [[C]], [[V:%.*]]
; CHECK-NEXT: [[S:%.*]] = select i1 [[CMP]], i8 [[Y]], i8 [[V]]
; CHECK-NEXT: [[R:%.*]] = icmp eq i8 [[S]], 0
; CHECK-NEXT: ret i1 [[R]]
;
%ynz = icmp ne i8 %y, 0
call void @llvm.assume(i1 %ynz)
%pcond0 = icmp sgt i8 %C, 0
call void @llvm.assume(i1 %pcond0)
%cmp = icmp sgt i8 %C, %v
%s = select i1 %cmp, i8 %y, i8 %v
%r = icmp eq i8 %s, 0
ret i1 %r
}
define i1 @select_v_slt_nonneg(i8 %v, i8 %C, i8 %y) {
; CHECK-LABEL: @select_v_slt_nonneg(
; CHECK-NEXT: [[YNZ:%.*]] = icmp ne i8 [[Y:%.*]], 0
; CHECK-NEXT: call void @llvm.assume(i1 [[YNZ]])
; CHECK-NEXT: [[PCOND0:%.*]] = icmp sge i8 [[C:%.*]], 0
; CHECK-NEXT: call void @llvm.assume(i1 [[PCOND0]])
; CHECK-NEXT: [[CMP:%.*]] = icmp slt i8 [[C]], [[V:%.*]]
; CHECK-NEXT: [[S:%.*]] = select i1 [[CMP]], i8 [[V]], i8 [[Y]]
; CHECK-NEXT: [[R:%.*]] = icmp eq i8 [[S]], 0
; CHECK-NEXT: ret i1 [[R]]
;
%ynz = icmp ne i8 %y, 0
call void @llvm.assume(i1 %ynz)
%pcond0 = icmp sge i8 %C, 0
call void @llvm.assume(i1 %pcond0)
%cmp = icmp slt i8 %C, %v
%s = select i1 %cmp, i8 %v, i8 %y
%r = icmp eq i8 %s, 0
ret i1 %r
}
define i1 @select_v_slt_nonneg_fail(i8 %v, i8 %C, i8 %y) {
; CHECK-LABEL: @select_v_slt_nonneg_fail(
; CHECK-NEXT: [[YNZ:%.*]] = icmp ne i8 [[Y:%.*]], 0
; CHECK-NEXT: call void @llvm.assume(i1 [[YNZ]])
; CHECK-NEXT: [[PCOND0:%.*]] = icmp sge i8 [[C:%.*]], -1
; CHECK-NEXT: call void @llvm.assume(i1 [[PCOND0]])
; CHECK-NEXT: [[CMP:%.*]] = icmp slt i8 [[C]], [[V:%.*]]
; CHECK-NEXT: [[S:%.*]] = select i1 [[CMP]], i8 [[V]], i8 [[Y]]
; CHECK-NEXT: [[R:%.*]] = icmp eq i8 [[S]], 0
; CHECK-NEXT: ret i1 [[R]]
;
%ynz = icmp ne i8 %y, 0
call void @llvm.assume(i1 %ynz)
%pcond0 = icmp sge i8 %C, -1
call void @llvm.assume(i1 %pcond0)
%cmp = icmp slt i8 %C, %v
%s = select i1 %cmp, i8 %v, i8 %y
%r = icmp eq i8 %s, 0
ret i1 %r
}
define i1 @select_v_slt_neg(i8 %v, i8 %C, i8 %y) {
; CHECK-LABEL: @select_v_slt_neg(
; CHECK-NEXT: [[YNZ:%.*]] = icmp ne i8 [[Y:%.*]], 0
; CHECK-NEXT: call void @llvm.assume(i1 [[YNZ]])
; CHECK-NEXT: [[PCOND0:%.*]] = icmp slt i8 [[C:%.*]], 0
; CHECK-NEXT: call void @llvm.assume(i1 [[PCOND0]])
; CHECK-NEXT: [[CMP:%.*]] = icmp slt i8 [[V:%.*]], [[C]]
; CHECK-NEXT: [[S:%.*]] = select i1 [[CMP]], i8 [[V]], i8 [[Y]]
; CHECK-NEXT: [[R:%.*]] = icmp eq i8 [[S]], 0
; CHECK-NEXT: ret i1 [[R]]
;
%ynz = icmp ne i8 %y, 0
call void @llvm.assume(i1 %ynz)
%pcond0 = icmp slt i8 %C, 0
call void @llvm.assume(i1 %pcond0)
%cmp = icmp slt i8 %v, %C
%s = select i1 %cmp, i8 %v, i8 %y
%r = icmp eq i8 %s, 0
ret i1 %r
}
define i1 @select_v_sge_nonneg_nz(i8 %v, i8 %C, i8 %y) {
; CHECK-LABEL: @select_v_sge_nonneg_nz(
; CHECK-NEXT: [[YNZ:%.*]] = icmp ne i8 [[Y:%.*]], 0
; CHECK-NEXT: call void @llvm.assume(i1 [[YNZ]])
; CHECK-NEXT: [[PCOND0:%.*]] = icmp sgt i8 [[C:%.*]], 0
; CHECK-NEXT: call void @llvm.assume(i1 [[PCOND0]])
; CHECK-NEXT: [[CMP:%.*]] = icmp sge i8 [[V:%.*]], [[C]]
; CHECK-NEXT: [[S:%.*]] = select i1 [[CMP]], i8 [[V]], i8 [[Y]]
; CHECK-NEXT: [[R:%.*]] = icmp eq i8 [[S]], 0
; CHECK-NEXT: ret i1 [[R]]
;
%ynz = icmp ne i8 %y, 0
call void @llvm.assume(i1 %ynz)
%pcond0 = icmp sgt i8 %C, 0
call void @llvm.assume(i1 %pcond0)
%cmp = icmp sge i8 %v, %C
%s = select i1 %cmp, i8 %v, i8 %y
%r = icmp eq i8 %s, 0
ret i1 %r
}
define i1 @select_v_sge_neg(i8 %v, i8 %C, i8 %y) {
; CHECK-LABEL: @select_v_sge_neg(
; CHECK-NEXT: [[YNZ:%.*]] = icmp ne i8 [[Y:%.*]], 0
; CHECK-NEXT: call void @llvm.assume(i1 [[YNZ]])
; CHECK-NEXT: [[PCOND0:%.*]] = icmp slt i8 [[C:%.*]], 0
; CHECK-NEXT: call void @llvm.assume(i1 [[PCOND0]])
; CHECK-NEXT: [[CMP:%.*]] = icmp sge i8 [[C]], [[V:%.*]]
; CHECK-NEXT: [[S:%.*]] = select i1 [[CMP]], i8 [[V]], i8 [[Y]]
; CHECK-NEXT: [[R:%.*]] = icmp eq i8 [[S]], 0
; CHECK-NEXT: ret i1 [[R]]
;
%ynz = icmp ne i8 %y, 0
call void @llvm.assume(i1 %ynz)
%pcond0 = icmp slt i8 %C, 0
call void @llvm.assume(i1 %pcond0)
%cmp = icmp sge i8 %C, %v
%s = select i1 %cmp, i8 %v, i8 %y
%r = icmp eq i8 %s, 0
ret i1 %r
}
define i1 @inv_select_v_sge_fail(i8 %v, i8 %C, i8 %y) {
; CHECK-LABEL: @inv_select_v_sge_fail(
; CHECK-NEXT: [[YNZ:%.*]] = icmp ne i8 [[Y:%.*]], 0
; CHECK-NEXT: call void @llvm.assume(i1 [[YNZ]])
; CHECK-NEXT: [[CMP:%.*]] = icmp sge i8 [[V:%.*]], [[C:%.*]]
; CHECK-NEXT: [[S:%.*]] = select i1 [[CMP]], i8 [[Y]], i8 [[V]]
; CHECK-NEXT: [[R:%.*]] = icmp eq i8 [[S]], 0
; CHECK-NEXT: ret i1 [[R]]
;
%ynz = icmp ne i8 %y, 0
call void @llvm.assume(i1 %ynz)
%cmp = icmp sge i8 %v, %C
%s = select i1 %cmp, i8 %y, i8 %v
%r = icmp eq i8 %s, 0
ret i1 %r
}
define i1 @select_v_sle_neg(i8 %v, i8 %C, i8 %y) {
; CHECK-LABEL: @select_v_sle_neg(
; CHECK-NEXT: [[YNZ:%.*]] = icmp ne i8 [[Y:%.*]], 0
; CHECK-NEXT: call void @llvm.assume(i1 [[YNZ]])
; CHECK-NEXT: [[PCOND0:%.*]] = icmp slt i8 [[C:%.*]], 0
; CHECK-NEXT: call void @llvm.assume(i1 [[PCOND0]])
; CHECK-NEXT: [[CMP:%.*]] = icmp sle i8 [[V:%.*]], [[C]]
; CHECK-NEXT: [[S:%.*]] = select i1 [[CMP]], i8 [[V]], i8 [[Y]]
; CHECK-NEXT: [[R:%.*]] = icmp eq i8 [[S]], 0
; CHECK-NEXT: ret i1 [[R]]
;
%ynz = icmp ne i8 %y, 0
call void @llvm.assume(i1 %ynz)
%pcond0 = icmp slt i8 %C, 0
call void @llvm.assume(i1 %pcond0)
%cmp = icmp sle i8 %v, %C
%s = select i1 %cmp, i8 %v, i8 %y
%r = icmp eq i8 %s, 0
ret i1 %r
}
define i1 @select_v_sle_nonneg_nz(i8 %v, i8 %C, i8 %y) {
; CHECK-LABEL: @select_v_sle_nonneg_nz(
; CHECK-NEXT: [[YNZ:%.*]] = icmp ne i8 [[Y:%.*]], 0
; CHECK-NEXT: call void @llvm.assume(i1 [[YNZ]])
; CHECK-NEXT: [[PCOND0:%.*]] = icmp sgt i8 [[C:%.*]], 0
; CHECK-NEXT: call void @llvm.assume(i1 [[PCOND0]])
; CHECK-NEXT: [[CMP:%.*]] = icmp sle i8 [[C]], [[V:%.*]]
; CHECK-NEXT: [[S:%.*]] = select i1 [[CMP]], i8 [[V]], i8 [[Y]]
; CHECK-NEXT: [[R:%.*]] = icmp eq i8 [[S]], 0
; CHECK-NEXT: ret i1 [[R]]
;
%ynz = icmp ne i8 %y, 0
call void @llvm.assume(i1 %ynz)
%pcond0 = icmp sgt i8 %C, 0
call void @llvm.assume(i1 %pcond0)
%cmp = icmp sle i8 %C, %v
%s = select i1 %cmp, i8 %v, i8 %y
%r = icmp eq i8 %s, 0
ret i1 %r
}
define i1 @select_v_sle_fail(i8 %v, i8 %C, i8 %y) {
; CHECK-LABEL: @select_v_sle_fail(
; CHECK-NEXT: [[YNZ:%.*]] = icmp ne i8 [[Y:%.*]], 0
; CHECK-NEXT: call void @llvm.assume(i1 [[YNZ]])
; CHECK-NEXT: [[PCOND0:%.*]] = icmp sge i8 [[C:%.*]], 0
; CHECK-NEXT: call void @llvm.assume(i1 [[PCOND0]])
; CHECK-NEXT: [[CMP:%.*]] = icmp sle i8 [[C]], [[V:%.*]]
; CHECK-NEXT: [[S:%.*]] = select i1 [[CMP]], i8 [[V]], i8 [[Y]]
; CHECK-NEXT: [[R:%.*]] = icmp eq i8 [[S]], 0
; CHECK-NEXT: ret i1 [[R]]
;
%ynz = icmp ne i8 %y, 0
call void @llvm.assume(i1 %ynz)
%pcond0 = icmp sge i8 %C, 0
call void @llvm.assume(i1 %pcond0)
%cmp = icmp sle i8 %C, %v
%s = select i1 %cmp, i8 %v, i8 %y
%r = icmp eq i8 %s, 0
ret i1 %r
}
define i1 @inv_select_v_sle_nonneg(i8 %v, i8 %C, i8 %y) {
; CHECK-LABEL: @inv_select_v_sle_nonneg(
; CHECK-NEXT: [[YNZ:%.*]] = icmp ne i8 [[Y:%.*]], 0
; CHECK-NEXT: call void @llvm.assume(i1 [[YNZ]])
; CHECK-NEXT: [[PCOND0:%.*]] = icmp sge i8 [[C:%.*]], 0
; CHECK-NEXT: call void @llvm.assume(i1 [[PCOND0]])
; CHECK-NEXT: [[CMP:%.*]] = icmp sle i8 [[V:%.*]], [[C]]
; CHECK-NEXT: [[S:%.*]] = select i1 [[CMP]], i8 [[Y]], i8 [[V]]
; CHECK-NEXT: [[R:%.*]] = icmp eq i8 [[S]], 0
; CHECK-NEXT: ret i1 [[R]]
;
%ynz = icmp ne i8 %y, 0
call void @llvm.assume(i1 %ynz)
%pcond0 = icmp sge i8 %C, 0
call void @llvm.assume(i1 %pcond0)
%cmp = icmp sle i8 %v, %C
%s = select i1 %cmp, i8 %y, i8 %v
%r = icmp eq i8 %s, 0
ret i1 %r
}