[llvm] 524f591 - [InstSimplify] Add tests for assume with min/max intrinsic (NFC)
Nikita Popov via llvm-commits
llvm-commits at lists.llvm.org
Thu Aug 13 13:10:17 PDT 2020
Author: Nikita Popov
Date: 2020-08-13T22:10:07+02:00
New Revision: 524f591a395cbb65a67c85b4df111c5f4e9d753e
URL: https://github.com/llvm/llvm-project/commit/524f591a395cbb65a67c85b4df111c5f4e9d753e
DIFF: https://github.com/llvm/llvm-project/commit/524f591a395cbb65a67c85b4df111c5f4e9d753e.diff
LOG: [InstSimplify] Add tests for assume with min/max intrinsic (NFC)
If we assume one of the operands is smaller/greater, then min/max
may be simplified.
Added:
Modified:
llvm/test/Transforms/InstSimplify/maxmin_intrinsics.ll
Removed:
################################################################################
diff --git a/llvm/test/Transforms/InstSimplify/maxmin_intrinsics.ll b/llvm/test/Transforms/InstSimplify/maxmin_intrinsics.ll
index 98c6785827aa..711638a9d915 100644
--- a/llvm/test/Transforms/InstSimplify/maxmin_intrinsics.ll
+++ b/llvm/test/Transforms/InstSimplify/maxmin_intrinsics.ll
@@ -11,6 +11,7 @@ declare i8 @llvm.umax.i8(i8, i8)
declare <2 x i8> @llvm.umax.v2i8(<2 x i8>, <2 x i8>)
declare i8 @llvm.umin.i8(i8, i8)
declare <2 x i8> @llvm.umin.v2i8(<2 x i8>, <2 x i8>)
+declare void @llvm.assume(i1)
define i81 @smax_sameval(i81 %x) {
; CHECK-LABEL: @smax_sameval(
@@ -1889,3 +1890,211 @@ define i1 @smax_sgt_
diff _const(i8 %x) {
%c = icmp sgt i8 %m, 5
ret i1 %c
}
+
+define i8 @umin_assume_uge(i8 %x, i8 %y) {
+; CHECK-LABEL: @umin_assume_uge(
+; CHECK-NEXT: [[C:%.*]] = icmp uge i8 [[X:%.*]], [[Y:%.*]]
+; CHECK-NEXT: call void @llvm.assume(i1 [[C]])
+; CHECK-NEXT: [[M:%.*]] = call i8 @llvm.umin.i8(i8 [[X]], i8 [[Y]])
+; CHECK-NEXT: ret i8 [[M]]
+;
+ %c = icmp uge i8 %x, %y
+ call void @llvm.assume(i1 %c)
+ %m = call i8 @llvm.umin.i8(i8 %x, i8 %y)
+ ret i8 %m
+}
+
+define i8 @umin_assume_ugt(i8 %x, i8 %y) {
+; CHECK-LABEL: @umin_assume_ugt(
+; CHECK-NEXT: [[C:%.*]] = icmp ugt i8 [[X:%.*]], [[Y:%.*]]
+; CHECK-NEXT: call void @llvm.assume(i1 [[C]])
+; CHECK-NEXT: [[M:%.*]] = call i8 @llvm.umin.i8(i8 [[X]], i8 [[Y]])
+; CHECK-NEXT: ret i8 [[M]]
+;
+ %c = icmp ugt i8 %x, %y
+ call void @llvm.assume(i1 %c)
+ %m = call i8 @llvm.umin.i8(i8 %x, i8 %y)
+ ret i8 %m
+}
+
+define i8 @umin_assume_ule(i8 %x, i8 %y) {
+; CHECK-LABEL: @umin_assume_ule(
+; CHECK-NEXT: [[C:%.*]] = icmp ule i8 [[X:%.*]], [[Y:%.*]]
+; CHECK-NEXT: call void @llvm.assume(i1 [[C]])
+; CHECK-NEXT: [[M:%.*]] = call i8 @llvm.umin.i8(i8 [[X]], i8 [[Y]])
+; CHECK-NEXT: ret i8 [[M]]
+;
+ %c = icmp ule i8 %x, %y
+ call void @llvm.assume(i1 %c)
+ %m = call i8 @llvm.umin.i8(i8 %x, i8 %y)
+ ret i8 %m
+}
+
+define i8 @umin_assume_ult(i8 %x, i8 %y) {
+; CHECK-LABEL: @umin_assume_ult(
+; CHECK-NEXT: [[C:%.*]] = icmp ult i8 [[X:%.*]], [[Y:%.*]]
+; CHECK-NEXT: call void @llvm.assume(i1 [[C]])
+; CHECK-NEXT: [[M:%.*]] = call i8 @llvm.umin.i8(i8 [[X]], i8 [[Y]])
+; CHECK-NEXT: ret i8 [[M]]
+;
+ %c = icmp ult i8 %x, %y
+ call void @llvm.assume(i1 %c)
+ %m = call i8 @llvm.umin.i8(i8 %x, i8 %y)
+ ret i8 %m
+}
+
+define i8 @umax_assume_uge(i8 %x, i8 %y) {
+; CHECK-LABEL: @umax_assume_uge(
+; CHECK-NEXT: [[C:%.*]] = icmp uge i8 [[X:%.*]], [[Y:%.*]]
+; CHECK-NEXT: call void @llvm.assume(i1 [[C]])
+; CHECK-NEXT: [[M:%.*]] = call i8 @llvm.umax.i8(i8 [[X]], i8 [[Y]])
+; CHECK-NEXT: ret i8 [[M]]
+;
+ %c = icmp uge i8 %x, %y
+ call void @llvm.assume(i1 %c)
+ %m = call i8 @llvm.umax.i8(i8 %x, i8 %y)
+ ret i8 %m
+}
+
+define i8 @umax_assume_ugt(i8 %x, i8 %y) {
+; CHECK-LABEL: @umax_assume_ugt(
+; CHECK-NEXT: [[C:%.*]] = icmp ugt i8 [[X:%.*]], [[Y:%.*]]
+; CHECK-NEXT: call void @llvm.assume(i1 [[C]])
+; CHECK-NEXT: [[M:%.*]] = call i8 @llvm.umax.i8(i8 [[X]], i8 [[Y]])
+; CHECK-NEXT: ret i8 [[M]]
+;
+ %c = icmp ugt i8 %x, %y
+ call void @llvm.assume(i1 %c)
+ %m = call i8 @llvm.umax.i8(i8 %x, i8 %y)
+ ret i8 %m
+}
+
+define i8 @umax_assume_ule(i8 %x, i8 %y) {
+; CHECK-LABEL: @umax_assume_ule(
+; CHECK-NEXT: [[C:%.*]] = icmp ule i8 [[X:%.*]], [[Y:%.*]]
+; CHECK-NEXT: call void @llvm.assume(i1 [[C]])
+; CHECK-NEXT: [[M:%.*]] = call i8 @llvm.umax.i8(i8 [[X]], i8 [[Y]])
+; CHECK-NEXT: ret i8 [[M]]
+;
+ %c = icmp ule i8 %x, %y
+ call void @llvm.assume(i1 %c)
+ %m = call i8 @llvm.umax.i8(i8 %x, i8 %y)
+ ret i8 %m
+}
+
+define i8 @umax_assume_ult(i8 %x, i8 %y) {
+; CHECK-LABEL: @umax_assume_ult(
+; CHECK-NEXT: [[C:%.*]] = icmp ult i8 [[X:%.*]], [[Y:%.*]]
+; CHECK-NEXT: call void @llvm.assume(i1 [[C]])
+; CHECK-NEXT: [[M:%.*]] = call i8 @llvm.umax.i8(i8 [[X]], i8 [[Y]])
+; CHECK-NEXT: ret i8 [[M]]
+;
+ %c = icmp ult i8 %x, %y
+ call void @llvm.assume(i1 %c)
+ %m = call i8 @llvm.umax.i8(i8 %x, i8 %y)
+ ret i8 %m
+}
+
+define i8 @smin_assume_sge(i8 %x, i8 %y) {
+; CHECK-LABEL: @smin_assume_sge(
+; CHECK-NEXT: [[C:%.*]] = icmp sge i8 [[X:%.*]], [[Y:%.*]]
+; CHECK-NEXT: call void @llvm.assume(i1 [[C]])
+; CHECK-NEXT: [[M:%.*]] = call i8 @llvm.smin.i8(i8 [[X]], i8 [[Y]])
+; CHECK-NEXT: ret i8 [[M]]
+;
+ %c = icmp sge i8 %x, %y
+ call void @llvm.assume(i1 %c)
+ %m = call i8 @llvm.smin.i8(i8 %x, i8 %y)
+ ret i8 %m
+}
+
+define i8 @smin_assume_sgt(i8 %x, i8 %y) {
+; CHECK-LABEL: @smin_assume_sgt(
+; CHECK-NEXT: [[C:%.*]] = icmp sgt i8 [[X:%.*]], [[Y:%.*]]
+; CHECK-NEXT: call void @llvm.assume(i1 [[C]])
+; CHECK-NEXT: [[M:%.*]] = call i8 @llvm.smin.i8(i8 [[X]], i8 [[Y]])
+; CHECK-NEXT: ret i8 [[M]]
+;
+ %c = icmp sgt i8 %x, %y
+ call void @llvm.assume(i1 %c)
+ %m = call i8 @llvm.smin.i8(i8 %x, i8 %y)
+ ret i8 %m
+}
+
+define i8 @smin_assume_sle(i8 %x, i8 %y) {
+; CHECK-LABEL: @smin_assume_sle(
+; CHECK-NEXT: [[C:%.*]] = icmp sle i8 [[X:%.*]], [[Y:%.*]]
+; CHECK-NEXT: call void @llvm.assume(i1 [[C]])
+; CHECK-NEXT: [[M:%.*]] = call i8 @llvm.smin.i8(i8 [[X]], i8 [[Y]])
+; CHECK-NEXT: ret i8 [[M]]
+;
+ %c = icmp sle i8 %x, %y
+ call void @llvm.assume(i1 %c)
+ %m = call i8 @llvm.smin.i8(i8 %x, i8 %y)
+ ret i8 %m
+}
+
+define i8 @smin_assume_slt(i8 %x, i8 %y) {
+; CHECK-LABEL: @smin_assume_slt(
+; CHECK-NEXT: [[C:%.*]] = icmp slt i8 [[X:%.*]], [[Y:%.*]]
+; CHECK-NEXT: call void @llvm.assume(i1 [[C]])
+; CHECK-NEXT: [[M:%.*]] = call i8 @llvm.smin.i8(i8 [[X]], i8 [[Y]])
+; CHECK-NEXT: ret i8 [[M]]
+;
+ %c = icmp slt i8 %x, %y
+ call void @llvm.assume(i1 %c)
+ %m = call i8 @llvm.smin.i8(i8 %x, i8 %y)
+ ret i8 %m
+}
+
+define i8 @smax_assume_sge(i8 %x, i8 %y) {
+; CHECK-LABEL: @smax_assume_sge(
+; CHECK-NEXT: [[C:%.*]] = icmp sge i8 [[X:%.*]], [[Y:%.*]]
+; CHECK-NEXT: call void @llvm.assume(i1 [[C]])
+; CHECK-NEXT: [[M:%.*]] = call i8 @llvm.smax.i8(i8 [[X]], i8 [[Y]])
+; CHECK-NEXT: ret i8 [[M]]
+;
+ %c = icmp sge i8 %x, %y
+ call void @llvm.assume(i1 %c)
+ %m = call i8 @llvm.smax.i8(i8 %x, i8 %y)
+ ret i8 %m
+}
+
+define i8 @smax_assume_sgt(i8 %x, i8 %y) {
+; CHECK-LABEL: @smax_assume_sgt(
+; CHECK-NEXT: [[C:%.*]] = icmp sgt i8 [[X:%.*]], [[Y:%.*]]
+; CHECK-NEXT: call void @llvm.assume(i1 [[C]])
+; CHECK-NEXT: [[M:%.*]] = call i8 @llvm.smax.i8(i8 [[X]], i8 [[Y]])
+; CHECK-NEXT: ret i8 [[M]]
+;
+ %c = icmp sgt i8 %x, %y
+ call void @llvm.assume(i1 %c)
+ %m = call i8 @llvm.smax.i8(i8 %x, i8 %y)
+ ret i8 %m
+}
+
+define i8 @smax_assume_sle(i8 %x, i8 %y) {
+; CHECK-LABEL: @smax_assume_sle(
+; CHECK-NEXT: [[C:%.*]] = icmp sle i8 [[X:%.*]], [[Y:%.*]]
+; CHECK-NEXT: call void @llvm.assume(i1 [[C]])
+; CHECK-NEXT: [[M:%.*]] = call i8 @llvm.smax.i8(i8 [[X]], i8 [[Y]])
+; CHECK-NEXT: ret i8 [[M]]
+;
+ %c = icmp sle i8 %x, %y
+ call void @llvm.assume(i1 %c)
+ %m = call i8 @llvm.smax.i8(i8 %x, i8 %y)
+ ret i8 %m
+}
+
+define i8 @smax_assume_slt(i8 %x, i8 %y) {
+; CHECK-LABEL: @smax_assume_slt(
+; CHECK-NEXT: [[C:%.*]] = icmp slt i8 [[X:%.*]], [[Y:%.*]]
+; CHECK-NEXT: call void @llvm.assume(i1 [[C]])
+; CHECK-NEXT: [[M:%.*]] = call i8 @llvm.smax.i8(i8 [[X]], i8 [[Y]])
+; CHECK-NEXT: ret i8 [[M]]
+;
+ %c = icmp slt i8 %x, %y
+ call void @llvm.assume(i1 %c)
+ %m = call i8 @llvm.smax.i8(i8 %x, i8 %y)
+ ret i8 %m
+}
More information about the llvm-commits
mailing list