RPCS3/llvm-mirror
1
0
Fork 0
mirror of https://github.com/RPCS3/llvm-mirror.git synced 2025-02-01 05:01:59 +01:00
Code Issues Projects Releases Wiki Activity

[InstSimplify] Add tests for icmp of min/max with constants (NFC)

Browse Source 
Test the case where the constants are not the same, but the result
is still known.
This commit is contained in:
Nikita Popov 2020-08-12 21:57:02 +02:00
parent 2e6cebe140
commit cfe9647681
1 changed files with 44 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

44
test/Transforms/InstSimplify/maxmin_intrinsics.ll
View File

@ -1853,3 +1853,47 @@ define i8 @umin_umin_umin(i8 %x, i8 %y) {
%r = call i8 @llvm.umin.i8(i8 %m1, i8 %m2)
ret i8 %r
}
define i1 @umin_ult_diff_const(i8 %x) {
; CHECK-LABEL: @umin_ult_diff_const(
; CHECK-NEXT: [[M:%.*]] = call i8 @llvm.umin.i8(i8 [[X:%.*]], i8 10)
; CHECK-NEXT: [[C:%.*]] = icmp ult i8 [[M]], 20
; CHECK-NEXT: ret i1 [[C]]
;
%m = call i8 @llvm.umin.i8(i8 %x, i8 10)
%c = icmp ult i8 %m, 20
ret i1 %c
}
define i1 @umax_ugt_diff_const(i8 %x) {
; CHECK-LABEL: @umax_ugt_diff_const(
; CHECK-NEXT: [[M:%.*]] = call i8 @llvm.umax.i8(i8 [[X:%.*]], i8 10)
; CHECK-NEXT: [[C:%.*]] = icmp ugt i8 [[M]], 5
; CHECK-NEXT: ret i1 [[C]]
;
%m = call i8 @llvm.umax.i8(i8 %x, i8 10)
%c = icmp ugt i8 %m, 5
ret i1 %c
}
define i1 @smin_slt_diff_const(i8 %x) {
; CHECK-LABEL: @smin_slt_diff_const(
; CHECK-NEXT: [[M:%.*]] = call i8 @llvm.smin.i8(i8 [[X:%.*]], i8 10)
; CHECK-NEXT: [[C:%.*]] = icmp slt i8 [[M]], 20
; CHECK-NEXT: ret i1 [[C]]
;
%m = call i8 @llvm.smin.i8(i8 %x, i8 10)
%c = icmp slt i8 %m, 20
ret i1 %c
}
define i1 @smax_sgt_diff_const(i8 %x) {
; CHECK-LABEL: @smax_sgt_diff_const(
; CHECK-NEXT: [[M:%.*]] = call i8 @llvm.smax.i8(i8 [[X:%.*]], i8 10)
; CHECK-NEXT: [[C:%.*]] = icmp sgt i8 [[M]], 5
; CHECK-NEXT: ret i1 [[C]]
;
%m = call i8 @llvm.smax.i8(i8 %x, i8 10)
%c = icmp sgt i8 %m, 5
ret i1 %c
}