maxjhandsome
/
llvm-project
forked from OSchip/llvm-project
1
0
Fork 0
Code Issues Pull Requests Packages Releases Wiki Activity

[InstCombine] add tests to show miscompiled smin/smax; NFC

This commit is contained in:
Sanjay Patel 2022-03-09 17:18:35 -05:00
parent 0be6fd44f3
commit cc8f981987
1 changed files with 48 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

48
llvm/test/Transforms/InstCombine/select-min-max.ll
View File

@ -249,3 +249,51 @@ define i8 @umin_umax(i8 %x) {
%s = select i1 %c, i8 %m, i8 126
ret i8 %s
}
define i8 @not_smax(i8 %i41, i8 %i43) {
; CHECK-LABEL: @not_smax(
; CHECK-NEXT: [[I46:%.*]] = sub nsw i8 [[I41:%.*]], [[I43:%.*]]
; CHECK-NEXT: [[TMP1:%.*]] = call i8 @llvm.smax.i8(i8 [[I46]], i8 0)
; CHECK-NEXT: ret i8 [[TMP1]]
;
%i44 = icmp slt i8 %i41, %i43
%i46 = sub nsw i8 %i41, %i43
%spec.select = select i1 %i44, i8 0, i8 %i46
ret i8 %spec.select
}
define i8 @not_smax_swap(i8 %i41, i8 %i43) {
; CHECK-LABEL: @not_smax_swap(
; CHECK-NEXT: [[I46:%.*]] = sub nsw i8 [[I41:%.*]], [[I43:%.*]]
; CHECK-NEXT: [[TMP1:%.*]] = call i8 @llvm.smax.i8(i8 [[I46]], i8 0)
; CHECK-NEXT: ret i8 [[TMP1]]
;
%i44 = icmp sgt i8 %i41, %i43
%i46 = sub nsw i8 %i41, %i43
%spec.select = select i1 %i44, i8 %i46, i8 0
ret i8 %spec.select
}
define i8 @not_smin(i8 %i41, i8 %i43) {
; CHECK-LABEL: @not_smin(
; CHECK-NEXT: [[I46:%.*]] = sub nsw i8 [[I41:%.*]], [[I43:%.*]]
; CHECK-NEXT: [[TMP1:%.*]] = call i8 @llvm.smin.i8(i8 [[I46]], i8 0)
; CHECK-NEXT: ret i8 [[TMP1]]
;
%i44 = icmp sgt i8 %i41, %i43
%i46 = sub nsw i8 %i41, %i43
%spec.select = select i1 %i44, i8 0, i8 %i46
ret i8 %spec.select
}
define i8 @not_smin_swap(i8 %i41, i8 %i43) {
; CHECK-LABEL: @not_smin_swap(
; CHECK-NEXT: [[I46:%.*]] = sub nsw i8 [[I41:%.*]], [[I43:%.*]]
; CHECK-NEXT: [[TMP1:%.*]] = call i8 @llvm.smin.i8(i8 [[I46]], i8 0)
; CHECK-NEXT: ret i8 [[TMP1]]
;
%i44 = icmp slt i8 %i41, %i43
%i46 = sub nsw i8 %i41, %i43
%spec.select = select i1 %i44, i8 %i46, i8 0
ret i8 %spec.select
}