[llvm] bad205f - [InstSimplify] add tests for min/max intrinsics with common operands; NFC
Sanjay Patel via llvm-commits
llvm-commits at lists.llvm.org
Tue Aug 11 08:24:19 PDT 2020
Author: Sanjay Patel
Date: 2020-08-11T11:23:15-04:00
New Revision: bad205fe0c742d956246b8b59305e783694d2ae2
URL: https://github.com/llvm/llvm-project/commit/bad205fe0c742d956246b8b59305e783694d2ae2
DIFF: https://github.com/llvm/llvm-project/commit/bad205fe0c742d956246b8b59305e783694d2ae2.diff
LOG: [InstSimplify] add tests for min/max intrinsics with common operands; NFC
There are 4*4*4 = 64 variations. We currently handle some, but not all,
of the alternative patterns with cmp+sel in instcombine.
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 9fad690d79ac..51b71d287b11 100644
--- a/llvm/test/Transforms/InstSimplify/maxmin_intrinsics.ll
+++ b/llvm/test/Transforms/InstSimplify/maxmin_intrinsics.ll
@@ -1085,3 +1085,835 @@ define i1 @umax_eq_commute(i8 %x, i8 %y) {
%r = icmp eq i8 %x, %max
ret i1 %r
}
+
+define i8 @smax_smax_smax(i8 %x, i8 %y) {
+; CHECK-LABEL: @smax_smax_smax(
+; CHECK-NEXT: [[M1:%.*]] = call i8 @llvm.smax.i8(i8 [[X:%.*]], i8 [[Y:%.*]])
+; CHECK-NEXT: [[M2:%.*]] = call i8 @llvm.smax.i8(i8 [[Y]], i8 [[X]])
+; CHECK-NEXT: [[R:%.*]] = call i8 @llvm.smax.i8(i8 [[M1]], i8 [[M2]])
+; CHECK-NEXT: ret i8 [[R]]
+;
+ %m1 = call i8 @llvm.smax.i8(i8 %x, i8 %y)
+ %m2 = call i8 @llvm.smax.i8(i8 %y, i8 %x)
+ %r = call i8 @llvm.smax.i8(i8 %m1, i8 %m2)
+ ret i8 %r
+}
+
+define i8 @smax_smax_smin(i8 %x, i8 %y) {
+; CHECK-LABEL: @smax_smax_smin(
+; CHECK-NEXT: [[M1:%.*]] = call i8 @llvm.smax.i8(i8 [[X:%.*]], i8 [[Y:%.*]])
+; CHECK-NEXT: [[M2:%.*]] = call i8 @llvm.smin.i8(i8 [[Y]], i8 [[X]])
+; CHECK-NEXT: [[R:%.*]] = call i8 @llvm.smax.i8(i8 [[M1]], i8 [[M2]])
+; CHECK-NEXT: ret i8 [[R]]
+;
+ %m1 = call i8 @llvm.smax.i8(i8 %x, i8 %y)
+ %m2 = call i8 @llvm.smin.i8(i8 %y, i8 %x)
+ %r = call i8 @llvm.smax.i8(i8 %m1, i8 %m2)
+ ret i8 %r
+}
+
+define i8 @smax_smax_umax(i8 %x, i8 %y) {
+; CHECK-LABEL: @smax_smax_umax(
+; CHECK-NEXT: [[M1:%.*]] = call i8 @llvm.smax.i8(i8 [[X:%.*]], i8 [[Y:%.*]])
+; CHECK-NEXT: [[M2:%.*]] = call i8 @llvm.umax.i8(i8 [[Y]], i8 [[X]])
+; CHECK-NEXT: [[R:%.*]] = call i8 @llvm.smax.i8(i8 [[M1]], i8 [[M2]])
+; CHECK-NEXT: ret i8 [[R]]
+;
+ %m1 = call i8 @llvm.smax.i8(i8 %x, i8 %y)
+ %m2 = call i8 @llvm.umax.i8(i8 %y, i8 %x)
+ %r = call i8 @llvm.smax.i8(i8 %m1, i8 %m2)
+ ret i8 %r
+}
+
+define i8 @smax_smax_umin(i8 %x, i8 %y) {
+; CHECK-LABEL: @smax_smax_umin(
+; CHECK-NEXT: [[M1:%.*]] = call i8 @llvm.smax.i8(i8 [[X:%.*]], i8 [[Y:%.*]])
+; CHECK-NEXT: [[M2:%.*]] = call i8 @llvm.umin.i8(i8 [[Y]], i8 [[X]])
+; CHECK-NEXT: [[R:%.*]] = call i8 @llvm.smax.i8(i8 [[M1]], i8 [[M2]])
+; CHECK-NEXT: ret i8 [[R]]
+;
+ %m1 = call i8 @llvm.smax.i8(i8 %x, i8 %y)
+ %m2 = call i8 @llvm.umin.i8(i8 %y, i8 %x)
+ %r = call i8 @llvm.smax.i8(i8 %m1, i8 %m2)
+ ret i8 %r
+}
+
+define i8 @smax_smin_smax(i8 %x, i8 %y) {
+; CHECK-LABEL: @smax_smin_smax(
+; CHECK-NEXT: [[M1:%.*]] = call i8 @llvm.smin.i8(i8 [[X:%.*]], i8 [[Y:%.*]])
+; CHECK-NEXT: [[M2:%.*]] = call i8 @llvm.smax.i8(i8 [[Y]], i8 [[X]])
+; CHECK-NEXT: [[R:%.*]] = call i8 @llvm.smax.i8(i8 [[M1]], i8 [[M2]])
+; CHECK-NEXT: ret i8 [[R]]
+;
+ %m1 = call i8 @llvm.smin.i8(i8 %x, i8 %y)
+ %m2 = call i8 @llvm.smax.i8(i8 %y, i8 %x)
+ %r = call i8 @llvm.smax.i8(i8 %m1, i8 %m2)
+ ret i8 %r
+}
+
+define i8 @smax_smin_smin(i8 %x, i8 %y) {
+; CHECK-LABEL: @smax_smin_smin(
+; CHECK-NEXT: [[M1:%.*]] = call i8 @llvm.smin.i8(i8 [[X:%.*]], i8 [[Y:%.*]])
+; CHECK-NEXT: [[M2:%.*]] = call i8 @llvm.smin.i8(i8 [[Y]], i8 [[X]])
+; CHECK-NEXT: [[R:%.*]] = call i8 @llvm.smax.i8(i8 [[M1]], i8 [[M2]])
+; CHECK-NEXT: ret i8 [[R]]
+;
+ %m1 = call i8 @llvm.smin.i8(i8 %x, i8 %y)
+ %m2 = call i8 @llvm.smin.i8(i8 %y, i8 %x)
+ %r = call i8 @llvm.smax.i8(i8 %m1, i8 %m2)
+ ret i8 %r
+}
+
+define i8 @smax_smin_umax(i8 %x, i8 %y) {
+; CHECK-LABEL: @smax_smin_umax(
+; CHECK-NEXT: [[M1:%.*]] = call i8 @llvm.smin.i8(i8 [[X:%.*]], i8 [[Y:%.*]])
+; CHECK-NEXT: [[M2:%.*]] = call i8 @llvm.umax.i8(i8 [[Y]], i8 [[X]])
+; CHECK-NEXT: [[R:%.*]] = call i8 @llvm.smax.i8(i8 [[M1]], i8 [[M2]])
+; CHECK-NEXT: ret i8 [[R]]
+;
+ %m1 = call i8 @llvm.smin.i8(i8 %x, i8 %y)
+ %m2 = call i8 @llvm.umax.i8(i8 %y, i8 %x)
+ %r = call i8 @llvm.smax.i8(i8 %m1, i8 %m2)
+ ret i8 %r
+}
+
+define i8 @smax_smin_umin(i8 %x, i8 %y) {
+; CHECK-LABEL: @smax_smin_umin(
+; CHECK-NEXT: [[M1:%.*]] = call i8 @llvm.smin.i8(i8 [[X:%.*]], i8 [[Y:%.*]])
+; CHECK-NEXT: [[M2:%.*]] = call i8 @llvm.umin.i8(i8 [[Y]], i8 [[X]])
+; CHECK-NEXT: [[R:%.*]] = call i8 @llvm.smax.i8(i8 [[M1]], i8 [[M2]])
+; CHECK-NEXT: ret i8 [[R]]
+;
+ %m1 = call i8 @llvm.smin.i8(i8 %x, i8 %y)
+ %m2 = call i8 @llvm.umin.i8(i8 %y, i8 %x)
+ %r = call i8 @llvm.smax.i8(i8 %m1, i8 %m2)
+ ret i8 %r
+}
+
+define i8 @smax_umax_smax(i8 %x, i8 %y) {
+; CHECK-LABEL: @smax_umax_smax(
+; CHECK-NEXT: [[M1:%.*]] = call i8 @llvm.umax.i8(i8 [[X:%.*]], i8 [[Y:%.*]])
+; CHECK-NEXT: [[M2:%.*]] = call i8 @llvm.smax.i8(i8 [[Y]], i8 [[X]])
+; CHECK-NEXT: [[R:%.*]] = call i8 @llvm.smax.i8(i8 [[M1]], i8 [[M2]])
+; CHECK-NEXT: ret i8 [[R]]
+;
+ %m1 = call i8 @llvm.umax.i8(i8 %x, i8 %y)
+ %m2 = call i8 @llvm.smax.i8(i8 %y, i8 %x)
+ %r = call i8 @llvm.smax.i8(i8 %m1, i8 %m2)
+ ret i8 %r
+}
+
+define i8 @smax_umax_smin(i8 %x, i8 %y) {
+; CHECK-LABEL: @smax_umax_smin(
+; CHECK-NEXT: [[M1:%.*]] = call i8 @llvm.umax.i8(i8 [[X:%.*]], i8 [[Y:%.*]])
+; CHECK-NEXT: [[M2:%.*]] = call i8 @llvm.smin.i8(i8 [[Y]], i8 [[X]])
+; CHECK-NEXT: [[R:%.*]] = call i8 @llvm.smax.i8(i8 [[M1]], i8 [[M2]])
+; CHECK-NEXT: ret i8 [[R]]
+;
+ %m1 = call i8 @llvm.umax.i8(i8 %x, i8 %y)
+ %m2 = call i8 @llvm.smin.i8(i8 %y, i8 %x)
+ %r = call i8 @llvm.smax.i8(i8 %m1, i8 %m2)
+ ret i8 %r
+}
+
+define i8 @smax_umax_umax(i8 %x, i8 %y) {
+; CHECK-LABEL: @smax_umax_umax(
+; CHECK-NEXT: [[M1:%.*]] = call i8 @llvm.umax.i8(i8 [[X:%.*]], i8 [[Y:%.*]])
+; CHECK-NEXT: [[M2:%.*]] = call i8 @llvm.umax.i8(i8 [[Y]], i8 [[X]])
+; CHECK-NEXT: [[R:%.*]] = call i8 @llvm.smax.i8(i8 [[M1]], i8 [[M2]])
+; CHECK-NEXT: ret i8 [[R]]
+;
+ %m1 = call i8 @llvm.umax.i8(i8 %x, i8 %y)
+ %m2 = call i8 @llvm.umax.i8(i8 %y, i8 %x)
+ %r = call i8 @llvm.smax.i8(i8 %m1, i8 %m2)
+ ret i8 %r
+}
+
+define i8 @smax_umax_umin(i8 %x, i8 %y) {
+; CHECK-LABEL: @smax_umax_umin(
+; CHECK-NEXT: [[M1:%.*]] = call i8 @llvm.umax.i8(i8 [[X:%.*]], i8 [[Y:%.*]])
+; CHECK-NEXT: [[M2:%.*]] = call i8 @llvm.umin.i8(i8 [[Y]], i8 [[X]])
+; CHECK-NEXT: [[R:%.*]] = call i8 @llvm.smax.i8(i8 [[M1]], i8 [[M2]])
+; CHECK-NEXT: ret i8 [[R]]
+;
+ %m1 = call i8 @llvm.umax.i8(i8 %x, i8 %y)
+ %m2 = call i8 @llvm.umin.i8(i8 %y, i8 %x)
+ %r = call i8 @llvm.smax.i8(i8 %m1, i8 %m2)
+ ret i8 %r
+}
+
+define i8 @smax_umin_smax(i8 %x, i8 %y) {
+; CHECK-LABEL: @smax_umin_smax(
+; CHECK-NEXT: [[M1:%.*]] = call i8 @llvm.umin.i8(i8 [[X:%.*]], i8 [[Y:%.*]])
+; CHECK-NEXT: [[M2:%.*]] = call i8 @llvm.smax.i8(i8 [[Y]], i8 [[X]])
+; CHECK-NEXT: [[R:%.*]] = call i8 @llvm.smax.i8(i8 [[M1]], i8 [[M2]])
+; CHECK-NEXT: ret i8 [[R]]
+;
+ %m1 = call i8 @llvm.umin.i8(i8 %x, i8 %y)
+ %m2 = call i8 @llvm.smax.i8(i8 %y, i8 %x)
+ %r = call i8 @llvm.smax.i8(i8 %m1, i8 %m2)
+ ret i8 %r
+}
+
+define i8 @smax_umin_smin(i8 %x, i8 %y) {
+; CHECK-LABEL: @smax_umin_smin(
+; CHECK-NEXT: [[M1:%.*]] = call i8 @llvm.umin.i8(i8 [[X:%.*]], i8 [[Y:%.*]])
+; CHECK-NEXT: [[M2:%.*]] = call i8 @llvm.smin.i8(i8 [[Y]], i8 [[X]])
+; CHECK-NEXT: [[R:%.*]] = call i8 @llvm.smax.i8(i8 [[M1]], i8 [[M2]])
+; CHECK-NEXT: ret i8 [[R]]
+;
+ %m1 = call i8 @llvm.umin.i8(i8 %x, i8 %y)
+ %m2 = call i8 @llvm.smin.i8(i8 %y, i8 %x)
+ %r = call i8 @llvm.smax.i8(i8 %m1, i8 %m2)
+ ret i8 %r
+}
+
+define i8 @smax_umin_umax(i8 %x, i8 %y) {
+; CHECK-LABEL: @smax_umin_umax(
+; CHECK-NEXT: [[M1:%.*]] = call i8 @llvm.umin.i8(i8 [[X:%.*]], i8 [[Y:%.*]])
+; CHECK-NEXT: [[M2:%.*]] = call i8 @llvm.umax.i8(i8 [[Y]], i8 [[X]])
+; CHECK-NEXT: [[R:%.*]] = call i8 @llvm.smax.i8(i8 [[M1]], i8 [[M2]])
+; CHECK-NEXT: ret i8 [[R]]
+;
+ %m1 = call i8 @llvm.umin.i8(i8 %x, i8 %y)
+ %m2 = call i8 @llvm.umax.i8(i8 %y, i8 %x)
+ %r = call i8 @llvm.smax.i8(i8 %m1, i8 %m2)
+ ret i8 %r
+}
+
+define i8 @smax_umin_umin(i8 %x, i8 %y) {
+; CHECK-LABEL: @smax_umin_umin(
+; CHECK-NEXT: [[M1:%.*]] = call i8 @llvm.umin.i8(i8 [[X:%.*]], i8 [[Y:%.*]])
+; CHECK-NEXT: [[M2:%.*]] = call i8 @llvm.umin.i8(i8 [[Y]], i8 [[X]])
+; CHECK-NEXT: [[R:%.*]] = call i8 @llvm.smax.i8(i8 [[M1]], i8 [[M2]])
+; CHECK-NEXT: ret i8 [[R]]
+;
+ %m1 = call i8 @llvm.umin.i8(i8 %x, i8 %y)
+ %m2 = call i8 @llvm.umin.i8(i8 %y, i8 %x)
+ %r = call i8 @llvm.smax.i8(i8 %m1, i8 %m2)
+ ret i8 %r
+}
+
+define i8 @smin_smax_smax(i8 %x, i8 %y) {
+; CHECK-LABEL: @smin_smax_smax(
+; CHECK-NEXT: [[M1:%.*]] = call i8 @llvm.smax.i8(i8 [[X:%.*]], i8 [[Y:%.*]])
+; CHECK-NEXT: [[M2:%.*]] = call i8 @llvm.smax.i8(i8 [[Y]], i8 [[X]])
+; CHECK-NEXT: [[R:%.*]] = call i8 @llvm.smin.i8(i8 [[M1]], i8 [[M2]])
+; CHECK-NEXT: ret i8 [[R]]
+;
+ %m1 = call i8 @llvm.smax.i8(i8 %x, i8 %y)
+ %m2 = call i8 @llvm.smax.i8(i8 %y, i8 %x)
+ %r = call i8 @llvm.smin.i8(i8 %m1, i8 %m2)
+ ret i8 %r
+}
+
+define i8 @smin_smax_smin(i8 %x, i8 %y) {
+; CHECK-LABEL: @smin_smax_smin(
+; CHECK-NEXT: [[M1:%.*]] = call i8 @llvm.smax.i8(i8 [[X:%.*]], i8 [[Y:%.*]])
+; CHECK-NEXT: [[M2:%.*]] = call i8 @llvm.smin.i8(i8 [[Y]], i8 [[X]])
+; CHECK-NEXT: [[R:%.*]] = call i8 @llvm.smin.i8(i8 [[M1]], i8 [[M2]])
+; CHECK-NEXT: ret i8 [[R]]
+;
+ %m1 = call i8 @llvm.smax.i8(i8 %x, i8 %y)
+ %m2 = call i8 @llvm.smin.i8(i8 %y, i8 %x)
+ %r = call i8 @llvm.smin.i8(i8 %m1, i8 %m2)
+ ret i8 %r
+}
+
+define i8 @smin_smax_umax(i8 %x, i8 %y) {
+; CHECK-LABEL: @smin_smax_umax(
+; CHECK-NEXT: [[M1:%.*]] = call i8 @llvm.smax.i8(i8 [[X:%.*]], i8 [[Y:%.*]])
+; CHECK-NEXT: [[M2:%.*]] = call i8 @llvm.umax.i8(i8 [[Y]], i8 [[X]])
+; CHECK-NEXT: [[R:%.*]] = call i8 @llvm.smin.i8(i8 [[M1]], i8 [[M2]])
+; CHECK-NEXT: ret i8 [[R]]
+;
+ %m1 = call i8 @llvm.smax.i8(i8 %x, i8 %y)
+ %m2 = call i8 @llvm.umax.i8(i8 %y, i8 %x)
+ %r = call i8 @llvm.smin.i8(i8 %m1, i8 %m2)
+ ret i8 %r
+}
+
+define i8 @smin_smax_umin(i8 %x, i8 %y) {
+; CHECK-LABEL: @smin_smax_umin(
+; CHECK-NEXT: [[M1:%.*]] = call i8 @llvm.smax.i8(i8 [[X:%.*]], i8 [[Y:%.*]])
+; CHECK-NEXT: [[M2:%.*]] = call i8 @llvm.umin.i8(i8 [[Y]], i8 [[X]])
+; CHECK-NEXT: [[R:%.*]] = call i8 @llvm.smin.i8(i8 [[M1]], i8 [[M2]])
+; CHECK-NEXT: ret i8 [[R]]
+;
+ %m1 = call i8 @llvm.smax.i8(i8 %x, i8 %y)
+ %m2 = call i8 @llvm.umin.i8(i8 %y, i8 %x)
+ %r = call i8 @llvm.smin.i8(i8 %m1, i8 %m2)
+ ret i8 %r
+}
+
+define i8 @smin_smin_smax(i8 %x, i8 %y) {
+; CHECK-LABEL: @smin_smin_smax(
+; CHECK-NEXT: [[M1:%.*]] = call i8 @llvm.smin.i8(i8 [[X:%.*]], i8 [[Y:%.*]])
+; CHECK-NEXT: [[M2:%.*]] = call i8 @llvm.smax.i8(i8 [[Y]], i8 [[X]])
+; CHECK-NEXT: [[R:%.*]] = call i8 @llvm.smin.i8(i8 [[M1]], i8 [[M2]])
+; CHECK-NEXT: ret i8 [[R]]
+;
+ %m1 = call i8 @llvm.smin.i8(i8 %x, i8 %y)
+ %m2 = call i8 @llvm.smax.i8(i8 %y, i8 %x)
+ %r = call i8 @llvm.smin.i8(i8 %m1, i8 %m2)
+ ret i8 %r
+}
+
+define i8 @smin_smin_smin(i8 %x, i8 %y) {
+; CHECK-LABEL: @smin_smin_smin(
+; CHECK-NEXT: [[M1:%.*]] = call i8 @llvm.smin.i8(i8 [[X:%.*]], i8 [[Y:%.*]])
+; CHECK-NEXT: [[M2:%.*]] = call i8 @llvm.smin.i8(i8 [[Y]], i8 [[X]])
+; CHECK-NEXT: [[R:%.*]] = call i8 @llvm.smin.i8(i8 [[M1]], i8 [[M2]])
+; CHECK-NEXT: ret i8 [[R]]
+;
+ %m1 = call i8 @llvm.smin.i8(i8 %x, i8 %y)
+ %m2 = call i8 @llvm.smin.i8(i8 %y, i8 %x)
+ %r = call i8 @llvm.smin.i8(i8 %m1, i8 %m2)
+ ret i8 %r
+}
+
+define i8 @smin_smin_umax(i8 %x, i8 %y) {
+; CHECK-LABEL: @smin_smin_umax(
+; CHECK-NEXT: [[M1:%.*]] = call i8 @llvm.smin.i8(i8 [[X:%.*]], i8 [[Y:%.*]])
+; CHECK-NEXT: [[M2:%.*]] = call i8 @llvm.umax.i8(i8 [[Y]], i8 [[X]])
+; CHECK-NEXT: [[R:%.*]] = call i8 @llvm.smin.i8(i8 [[M1]], i8 [[M2]])
+; CHECK-NEXT: ret i8 [[R]]
+;
+ %m1 = call i8 @llvm.smin.i8(i8 %x, i8 %y)
+ %m2 = call i8 @llvm.umax.i8(i8 %y, i8 %x)
+ %r = call i8 @llvm.smin.i8(i8 %m1, i8 %m2)
+ ret i8 %r
+}
+
+define i8 @smin_smin_umin(i8 %x, i8 %y) {
+; CHECK-LABEL: @smin_smin_umin(
+; CHECK-NEXT: [[M1:%.*]] = call i8 @llvm.smin.i8(i8 [[X:%.*]], i8 [[Y:%.*]])
+; CHECK-NEXT: [[M2:%.*]] = call i8 @llvm.umin.i8(i8 [[Y]], i8 [[X]])
+; CHECK-NEXT: [[R:%.*]] = call i8 @llvm.smin.i8(i8 [[M1]], i8 [[M2]])
+; CHECK-NEXT: ret i8 [[R]]
+;
+ %m1 = call i8 @llvm.smin.i8(i8 %x, i8 %y)
+ %m2 = call i8 @llvm.umin.i8(i8 %y, i8 %x)
+ %r = call i8 @llvm.smin.i8(i8 %m1, i8 %m2)
+ ret i8 %r
+}
+
+define i8 @smin_umax_smax(i8 %x, i8 %y) {
+; CHECK-LABEL: @smin_umax_smax(
+; CHECK-NEXT: [[M1:%.*]] = call i8 @llvm.umax.i8(i8 [[X:%.*]], i8 [[Y:%.*]])
+; CHECK-NEXT: [[M2:%.*]] = call i8 @llvm.smax.i8(i8 [[Y]], i8 [[X]])
+; CHECK-NEXT: [[R:%.*]] = call i8 @llvm.smin.i8(i8 [[M1]], i8 [[M2]])
+; CHECK-NEXT: ret i8 [[R]]
+;
+ %m1 = call i8 @llvm.umax.i8(i8 %x, i8 %y)
+ %m2 = call i8 @llvm.smax.i8(i8 %y, i8 %x)
+ %r = call i8 @llvm.smin.i8(i8 %m1, i8 %m2)
+ ret i8 %r
+}
+
+define i8 @smin_umax_smin(i8 %x, i8 %y) {
+; CHECK-LABEL: @smin_umax_smin(
+; CHECK-NEXT: [[M1:%.*]] = call i8 @llvm.umax.i8(i8 [[X:%.*]], i8 [[Y:%.*]])
+; CHECK-NEXT: [[M2:%.*]] = call i8 @llvm.smin.i8(i8 [[Y]], i8 [[X]])
+; CHECK-NEXT: [[R:%.*]] = call i8 @llvm.smin.i8(i8 [[M1]], i8 [[M2]])
+; CHECK-NEXT: ret i8 [[R]]
+;
+ %m1 = call i8 @llvm.umax.i8(i8 %x, i8 %y)
+ %m2 = call i8 @llvm.smin.i8(i8 %y, i8 %x)
+ %r = call i8 @llvm.smin.i8(i8 %m1, i8 %m2)
+ ret i8 %r
+}
+
+define i8 @smin_umax_umax(i8 %x, i8 %y) {
+; CHECK-LABEL: @smin_umax_umax(
+; CHECK-NEXT: [[M1:%.*]] = call i8 @llvm.umax.i8(i8 [[X:%.*]], i8 [[Y:%.*]])
+; CHECK-NEXT: [[M2:%.*]] = call i8 @llvm.umax.i8(i8 [[Y]], i8 [[X]])
+; CHECK-NEXT: [[R:%.*]] = call i8 @llvm.smin.i8(i8 [[M1]], i8 [[M2]])
+; CHECK-NEXT: ret i8 [[R]]
+;
+ %m1 = call i8 @llvm.umax.i8(i8 %x, i8 %y)
+ %m2 = call i8 @llvm.umax.i8(i8 %y, i8 %x)
+ %r = call i8 @llvm.smin.i8(i8 %m1, i8 %m2)
+ ret i8 %r
+}
+
+define i8 @smin_umax_umin(i8 %x, i8 %y) {
+; CHECK-LABEL: @smin_umax_umin(
+; CHECK-NEXT: [[M1:%.*]] = call i8 @llvm.umax.i8(i8 [[X:%.*]], i8 [[Y:%.*]])
+; CHECK-NEXT: [[M2:%.*]] = call i8 @llvm.umin.i8(i8 [[Y]], i8 [[X]])
+; CHECK-NEXT: [[R:%.*]] = call i8 @llvm.smin.i8(i8 [[M1]], i8 [[M2]])
+; CHECK-NEXT: ret i8 [[R]]
+;
+ %m1 = call i8 @llvm.umax.i8(i8 %x, i8 %y)
+ %m2 = call i8 @llvm.umin.i8(i8 %y, i8 %x)
+ %r = call i8 @llvm.smin.i8(i8 %m1, i8 %m2)
+ ret i8 %r
+}
+
+define i8 @smin_umin_smax(i8 %x, i8 %y) {
+; CHECK-LABEL: @smin_umin_smax(
+; CHECK-NEXT: [[M1:%.*]] = call i8 @llvm.umin.i8(i8 [[X:%.*]], i8 [[Y:%.*]])
+; CHECK-NEXT: [[M2:%.*]] = call i8 @llvm.smax.i8(i8 [[Y]], i8 [[X]])
+; CHECK-NEXT: [[R:%.*]] = call i8 @llvm.smin.i8(i8 [[M1]], i8 [[M2]])
+; CHECK-NEXT: ret i8 [[R]]
+;
+ %m1 = call i8 @llvm.umin.i8(i8 %x, i8 %y)
+ %m2 = call i8 @llvm.smax.i8(i8 %y, i8 %x)
+ %r = call i8 @llvm.smin.i8(i8 %m1, i8 %m2)
+ ret i8 %r
+}
+
+define i8 @smin_umin_smin(i8 %x, i8 %y) {
+; CHECK-LABEL: @smin_umin_smin(
+; CHECK-NEXT: [[M1:%.*]] = call i8 @llvm.umin.i8(i8 [[X:%.*]], i8 [[Y:%.*]])
+; CHECK-NEXT: [[M2:%.*]] = call i8 @llvm.smin.i8(i8 [[Y]], i8 [[X]])
+; CHECK-NEXT: [[R:%.*]] = call i8 @llvm.smin.i8(i8 [[M1]], i8 [[M2]])
+; CHECK-NEXT: ret i8 [[R]]
+;
+ %m1 = call i8 @llvm.umin.i8(i8 %x, i8 %y)
+ %m2 = call i8 @llvm.smin.i8(i8 %y, i8 %x)
+ %r = call i8 @llvm.smin.i8(i8 %m1, i8 %m2)
+ ret i8 %r
+}
+
+define i8 @smin_umin_umax(i8 %x, i8 %y) {
+; CHECK-LABEL: @smin_umin_umax(
+; CHECK-NEXT: [[M1:%.*]] = call i8 @llvm.umin.i8(i8 [[X:%.*]], i8 [[Y:%.*]])
+; CHECK-NEXT: [[M2:%.*]] = call i8 @llvm.umax.i8(i8 [[Y]], i8 [[X]])
+; CHECK-NEXT: [[R:%.*]] = call i8 @llvm.smin.i8(i8 [[M1]], i8 [[M2]])
+; CHECK-NEXT: ret i8 [[R]]
+;
+ %m1 = call i8 @llvm.umin.i8(i8 %x, i8 %y)
+ %m2 = call i8 @llvm.umax.i8(i8 %y, i8 %x)
+ %r = call i8 @llvm.smin.i8(i8 %m1, i8 %m2)
+ ret i8 %r
+}
+
+define i8 @smin_umin_umin(i8 %x, i8 %y) {
+; CHECK-LABEL: @smin_umin_umin(
+; CHECK-NEXT: [[M1:%.*]] = call i8 @llvm.umin.i8(i8 [[X:%.*]], i8 [[Y:%.*]])
+; CHECK-NEXT: [[M2:%.*]] = call i8 @llvm.umin.i8(i8 [[Y]], i8 [[X]])
+; CHECK-NEXT: [[R:%.*]] = call i8 @llvm.smin.i8(i8 [[M1]], i8 [[M2]])
+; CHECK-NEXT: ret i8 [[R]]
+;
+ %m1 = call i8 @llvm.umin.i8(i8 %x, i8 %y)
+ %m2 = call i8 @llvm.umin.i8(i8 %y, i8 %x)
+ %r = call i8 @llvm.smin.i8(i8 %m1, i8 %m2)
+ ret i8 %r
+}
+
+define i8 @umax_smax_smax(i8 %x, i8 %y) {
+; CHECK-LABEL: @umax_smax_smax(
+; CHECK-NEXT: [[M1:%.*]] = call i8 @llvm.smax.i8(i8 [[X:%.*]], i8 [[Y:%.*]])
+; CHECK-NEXT: [[M2:%.*]] = call i8 @llvm.smax.i8(i8 [[Y]], i8 [[X]])
+; CHECK-NEXT: [[R:%.*]] = call i8 @llvm.umax.i8(i8 [[M1]], i8 [[M2]])
+; CHECK-NEXT: ret i8 [[R]]
+;
+ %m1 = call i8 @llvm.smax.i8(i8 %x, i8 %y)
+ %m2 = call i8 @llvm.smax.i8(i8 %y, i8 %x)
+ %r = call i8 @llvm.umax.i8(i8 %m1, i8 %m2)
+ ret i8 %r
+}
+
+define i8 @umax_smax_smin(i8 %x, i8 %y) {
+; CHECK-LABEL: @umax_smax_smin(
+; CHECK-NEXT: [[M1:%.*]] = call i8 @llvm.smax.i8(i8 [[X:%.*]], i8 [[Y:%.*]])
+; CHECK-NEXT: [[M2:%.*]] = call i8 @llvm.smin.i8(i8 [[Y]], i8 [[X]])
+; CHECK-NEXT: [[R:%.*]] = call i8 @llvm.umax.i8(i8 [[M1]], i8 [[M2]])
+; CHECK-NEXT: ret i8 [[R]]
+;
+ %m1 = call i8 @llvm.smax.i8(i8 %x, i8 %y)
+ %m2 = call i8 @llvm.smin.i8(i8 %y, i8 %x)
+ %r = call i8 @llvm.umax.i8(i8 %m1, i8 %m2)
+ ret i8 %r
+}
+
+define i8 @umax_smax_umax(i8 %x, i8 %y) {
+; CHECK-LABEL: @umax_smax_umax(
+; CHECK-NEXT: [[M1:%.*]] = call i8 @llvm.smax.i8(i8 [[X:%.*]], i8 [[Y:%.*]])
+; CHECK-NEXT: [[M2:%.*]] = call i8 @llvm.umax.i8(i8 [[Y]], i8 [[X]])
+; CHECK-NEXT: [[R:%.*]] = call i8 @llvm.umax.i8(i8 [[M1]], i8 [[M2]])
+; CHECK-NEXT: ret i8 [[R]]
+;
+ %m1 = call i8 @llvm.smax.i8(i8 %x, i8 %y)
+ %m2 = call i8 @llvm.umax.i8(i8 %y, i8 %x)
+ %r = call i8 @llvm.umax.i8(i8 %m1, i8 %m2)
+ ret i8 %r
+}
+
+define i8 @umax_smax_umin(i8 %x, i8 %y) {
+; CHECK-LABEL: @umax_smax_umin(
+; CHECK-NEXT: [[M1:%.*]] = call i8 @llvm.smax.i8(i8 [[X:%.*]], i8 [[Y:%.*]])
+; CHECK-NEXT: [[M2:%.*]] = call i8 @llvm.umin.i8(i8 [[Y]], i8 [[X]])
+; CHECK-NEXT: [[R:%.*]] = call i8 @llvm.umax.i8(i8 [[M1]], i8 [[M2]])
+; CHECK-NEXT: ret i8 [[R]]
+;
+ %m1 = call i8 @llvm.smax.i8(i8 %x, i8 %y)
+ %m2 = call i8 @llvm.umin.i8(i8 %y, i8 %x)
+ %r = call i8 @llvm.umax.i8(i8 %m1, i8 %m2)
+ ret i8 %r
+}
+
+define i8 @umax_smin_smax(i8 %x, i8 %y) {
+; CHECK-LABEL: @umax_smin_smax(
+; CHECK-NEXT: [[M1:%.*]] = call i8 @llvm.smin.i8(i8 [[X:%.*]], i8 [[Y:%.*]])
+; CHECK-NEXT: [[M2:%.*]] = call i8 @llvm.smax.i8(i8 [[Y]], i8 [[X]])
+; CHECK-NEXT: [[R:%.*]] = call i8 @llvm.umax.i8(i8 [[M1]], i8 [[M2]])
+; CHECK-NEXT: ret i8 [[R]]
+;
+ %m1 = call i8 @llvm.smin.i8(i8 %x, i8 %y)
+ %m2 = call i8 @llvm.smax.i8(i8 %y, i8 %x)
+ %r = call i8 @llvm.umax.i8(i8 %m1, i8 %m2)
+ ret i8 %r
+}
+
+define i8 @umax_smin_smin(i8 %x, i8 %y) {
+; CHECK-LABEL: @umax_smin_smin(
+; CHECK-NEXT: [[M1:%.*]] = call i8 @llvm.smin.i8(i8 [[X:%.*]], i8 [[Y:%.*]])
+; CHECK-NEXT: [[M2:%.*]] = call i8 @llvm.smin.i8(i8 [[Y]], i8 [[X]])
+; CHECK-NEXT: [[R:%.*]] = call i8 @llvm.umax.i8(i8 [[M1]], i8 [[M2]])
+; CHECK-NEXT: ret i8 [[R]]
+;
+ %m1 = call i8 @llvm.smin.i8(i8 %x, i8 %y)
+ %m2 = call i8 @llvm.smin.i8(i8 %y, i8 %x)
+ %r = call i8 @llvm.umax.i8(i8 %m1, i8 %m2)
+ ret i8 %r
+}
+
+define i8 @umax_smin_umax(i8 %x, i8 %y) {
+; CHECK-LABEL: @umax_smin_umax(
+; CHECK-NEXT: [[M1:%.*]] = call i8 @llvm.smin.i8(i8 [[X:%.*]], i8 [[Y:%.*]])
+; CHECK-NEXT: [[M2:%.*]] = call i8 @llvm.umax.i8(i8 [[Y]], i8 [[X]])
+; CHECK-NEXT: [[R:%.*]] = call i8 @llvm.umax.i8(i8 [[M1]], i8 [[M2]])
+; CHECK-NEXT: ret i8 [[R]]
+;
+ %m1 = call i8 @llvm.smin.i8(i8 %x, i8 %y)
+ %m2 = call i8 @llvm.umax.i8(i8 %y, i8 %x)
+ %r = call i8 @llvm.umax.i8(i8 %m1, i8 %m2)
+ ret i8 %r
+}
+
+define i8 @umax_smin_umin(i8 %x, i8 %y) {
+; CHECK-LABEL: @umax_smin_umin(
+; CHECK-NEXT: [[M1:%.*]] = call i8 @llvm.smin.i8(i8 [[X:%.*]], i8 [[Y:%.*]])
+; CHECK-NEXT: [[M2:%.*]] = call i8 @llvm.umin.i8(i8 [[Y]], i8 [[X]])
+; CHECK-NEXT: [[R:%.*]] = call i8 @llvm.umax.i8(i8 [[M1]], i8 [[M2]])
+; CHECK-NEXT: ret i8 [[R]]
+;
+ %m1 = call i8 @llvm.smin.i8(i8 %x, i8 %y)
+ %m2 = call i8 @llvm.umin.i8(i8 %y, i8 %x)
+ %r = call i8 @llvm.umax.i8(i8 %m1, i8 %m2)
+ ret i8 %r
+}
+
+define i8 @umax_umax_smax(i8 %x, i8 %y) {
+; CHECK-LABEL: @umax_umax_smax(
+; CHECK-NEXT: [[M1:%.*]] = call i8 @llvm.umax.i8(i8 [[X:%.*]], i8 [[Y:%.*]])
+; CHECK-NEXT: [[M2:%.*]] = call i8 @llvm.smax.i8(i8 [[Y]], i8 [[X]])
+; CHECK-NEXT: [[R:%.*]] = call i8 @llvm.umax.i8(i8 [[M1]], i8 [[M2]])
+; CHECK-NEXT: ret i8 [[R]]
+;
+ %m1 = call i8 @llvm.umax.i8(i8 %x, i8 %y)
+ %m2 = call i8 @llvm.smax.i8(i8 %y, i8 %x)
+ %r = call i8 @llvm.umax.i8(i8 %m1, i8 %m2)
+ ret i8 %r
+}
+
+define i8 @umax_umax_smin(i8 %x, i8 %y) {
+; CHECK-LABEL: @umax_umax_smin(
+; CHECK-NEXT: [[M1:%.*]] = call i8 @llvm.umax.i8(i8 [[X:%.*]], i8 [[Y:%.*]])
+; CHECK-NEXT: [[M2:%.*]] = call i8 @llvm.smin.i8(i8 [[Y]], i8 [[X]])
+; CHECK-NEXT: [[R:%.*]] = call i8 @llvm.umax.i8(i8 [[M1]], i8 [[M2]])
+; CHECK-NEXT: ret i8 [[R]]
+;
+ %m1 = call i8 @llvm.umax.i8(i8 %x, i8 %y)
+ %m2 = call i8 @llvm.smin.i8(i8 %y, i8 %x)
+ %r = call i8 @llvm.umax.i8(i8 %m1, i8 %m2)
+ ret i8 %r
+}
+
+define i8 @umax_umax_umax(i8 %x, i8 %y) {
+; CHECK-LABEL: @umax_umax_umax(
+; CHECK-NEXT: [[M1:%.*]] = call i8 @llvm.umax.i8(i8 [[X:%.*]], i8 [[Y:%.*]])
+; CHECK-NEXT: [[M2:%.*]] = call i8 @llvm.umax.i8(i8 [[Y]], i8 [[X]])
+; CHECK-NEXT: [[R:%.*]] = call i8 @llvm.umax.i8(i8 [[M1]], i8 [[M2]])
+; CHECK-NEXT: ret i8 [[R]]
+;
+ %m1 = call i8 @llvm.umax.i8(i8 %x, i8 %y)
+ %m2 = call i8 @llvm.umax.i8(i8 %y, i8 %x)
+ %r = call i8 @llvm.umax.i8(i8 %m1, i8 %m2)
+ ret i8 %r
+}
+
+define i8 @umax_umax_umin(i8 %x, i8 %y) {
+; CHECK-LABEL: @umax_umax_umin(
+; CHECK-NEXT: [[M1:%.*]] = call i8 @llvm.umax.i8(i8 [[X:%.*]], i8 [[Y:%.*]])
+; CHECK-NEXT: [[M2:%.*]] = call i8 @llvm.umin.i8(i8 [[Y]], i8 [[X]])
+; CHECK-NEXT: [[R:%.*]] = call i8 @llvm.umax.i8(i8 [[M1]], i8 [[M2]])
+; CHECK-NEXT: ret i8 [[R]]
+;
+ %m1 = call i8 @llvm.umax.i8(i8 %x, i8 %y)
+ %m2 = call i8 @llvm.umin.i8(i8 %y, i8 %x)
+ %r = call i8 @llvm.umax.i8(i8 %m1, i8 %m2)
+ ret i8 %r
+}
+
+define i8 @umax_umin_smax(i8 %x, i8 %y) {
+; CHECK-LABEL: @umax_umin_smax(
+; CHECK-NEXT: [[M1:%.*]] = call i8 @llvm.umin.i8(i8 [[X:%.*]], i8 [[Y:%.*]])
+; CHECK-NEXT: [[M2:%.*]] = call i8 @llvm.smax.i8(i8 [[Y]], i8 [[X]])
+; CHECK-NEXT: [[R:%.*]] = call i8 @llvm.umax.i8(i8 [[M1]], i8 [[M2]])
+; CHECK-NEXT: ret i8 [[R]]
+;
+ %m1 = call i8 @llvm.umin.i8(i8 %x, i8 %y)
+ %m2 = call i8 @llvm.smax.i8(i8 %y, i8 %x)
+ %r = call i8 @llvm.umax.i8(i8 %m1, i8 %m2)
+ ret i8 %r
+}
+
+define i8 @umax_umin_smin(i8 %x, i8 %y) {
+; CHECK-LABEL: @umax_umin_smin(
+; CHECK-NEXT: [[M1:%.*]] = call i8 @llvm.umin.i8(i8 [[X:%.*]], i8 [[Y:%.*]])
+; CHECK-NEXT: [[M2:%.*]] = call i8 @llvm.smin.i8(i8 [[Y]], i8 [[X]])
+; CHECK-NEXT: [[R:%.*]] = call i8 @llvm.umax.i8(i8 [[M1]], i8 [[M2]])
+; CHECK-NEXT: ret i8 [[R]]
+;
+ %m1 = call i8 @llvm.umin.i8(i8 %x, i8 %y)
+ %m2 = call i8 @llvm.smin.i8(i8 %y, i8 %x)
+ %r = call i8 @llvm.umax.i8(i8 %m1, i8 %m2)
+ ret i8 %r
+}
+
+define i8 @umax_umin_umax(i8 %x, i8 %y) {
+; CHECK-LABEL: @umax_umin_umax(
+; CHECK-NEXT: [[M1:%.*]] = call i8 @llvm.umin.i8(i8 [[X:%.*]], i8 [[Y:%.*]])
+; CHECK-NEXT: [[M2:%.*]] = call i8 @llvm.umax.i8(i8 [[Y]], i8 [[X]])
+; CHECK-NEXT: [[R:%.*]] = call i8 @llvm.umax.i8(i8 [[M1]], i8 [[M2]])
+; CHECK-NEXT: ret i8 [[R]]
+;
+ %m1 = call i8 @llvm.umin.i8(i8 %x, i8 %y)
+ %m2 = call i8 @llvm.umax.i8(i8 %y, i8 %x)
+ %r = call i8 @llvm.umax.i8(i8 %m1, i8 %m2)
+ ret i8 %r
+}
+
+define i8 @umax_umin_umin(i8 %x, i8 %y) {
+; CHECK-LABEL: @umax_umin_umin(
+; CHECK-NEXT: [[M1:%.*]] = call i8 @llvm.umin.i8(i8 [[X:%.*]], i8 [[Y:%.*]])
+; CHECK-NEXT: [[M2:%.*]] = call i8 @llvm.umin.i8(i8 [[Y]], i8 [[X]])
+; CHECK-NEXT: [[R:%.*]] = call i8 @llvm.umax.i8(i8 [[M1]], i8 [[M2]])
+; CHECK-NEXT: ret i8 [[R]]
+;
+ %m1 = call i8 @llvm.umin.i8(i8 %x, i8 %y)
+ %m2 = call i8 @llvm.umin.i8(i8 %y, i8 %x)
+ %r = call i8 @llvm.umax.i8(i8 %m1, i8 %m2)
+ ret i8 %r
+}
+
+define i8 @umin_smax_smax(i8 %x, i8 %y) {
+; CHECK-LABEL: @umin_smax_smax(
+; CHECK-NEXT: [[M1:%.*]] = call i8 @llvm.smax.i8(i8 [[X:%.*]], i8 [[Y:%.*]])
+; CHECK-NEXT: [[M2:%.*]] = call i8 @llvm.smax.i8(i8 [[Y]], i8 [[X]])
+; CHECK-NEXT: [[R:%.*]] = call i8 @llvm.umin.i8(i8 [[M1]], i8 [[M2]])
+; CHECK-NEXT: ret i8 [[R]]
+;
+ %m1 = call i8 @llvm.smax.i8(i8 %x, i8 %y)
+ %m2 = call i8 @llvm.smax.i8(i8 %y, i8 %x)
+ %r = call i8 @llvm.umin.i8(i8 %m1, i8 %m2)
+ ret i8 %r
+}
+
+define i8 @umin_smax_smin(i8 %x, i8 %y) {
+; CHECK-LABEL: @umin_smax_smin(
+; CHECK-NEXT: [[M1:%.*]] = call i8 @llvm.smax.i8(i8 [[X:%.*]], i8 [[Y:%.*]])
+; CHECK-NEXT: [[M2:%.*]] = call i8 @llvm.smin.i8(i8 [[Y]], i8 [[X]])
+; CHECK-NEXT: [[R:%.*]] = call i8 @llvm.umin.i8(i8 [[M1]], i8 [[M2]])
+; CHECK-NEXT: ret i8 [[R]]
+;
+ %m1 = call i8 @llvm.smax.i8(i8 %x, i8 %y)
+ %m2 = call i8 @llvm.smin.i8(i8 %y, i8 %x)
+ %r = call i8 @llvm.umin.i8(i8 %m1, i8 %m2)
+ ret i8 %r
+}
+
+define i8 @umin_smax_umax(i8 %x, i8 %y) {
+; CHECK-LABEL: @umin_smax_umax(
+; CHECK-NEXT: [[M1:%.*]] = call i8 @llvm.smax.i8(i8 [[X:%.*]], i8 [[Y:%.*]])
+; CHECK-NEXT: [[M2:%.*]] = call i8 @llvm.umax.i8(i8 [[Y]], i8 [[X]])
+; CHECK-NEXT: [[R:%.*]] = call i8 @llvm.umin.i8(i8 [[M1]], i8 [[M2]])
+; CHECK-NEXT: ret i8 [[R]]
+;
+ %m1 = call i8 @llvm.smax.i8(i8 %x, i8 %y)
+ %m2 = call i8 @llvm.umax.i8(i8 %y, i8 %x)
+ %r = call i8 @llvm.umin.i8(i8 %m1, i8 %m2)
+ ret i8 %r
+}
+
+define i8 @umin_smax_umin(i8 %x, i8 %y) {
+; CHECK-LABEL: @umin_smax_umin(
+; CHECK-NEXT: [[M1:%.*]] = call i8 @llvm.smax.i8(i8 [[X:%.*]], i8 [[Y:%.*]])
+; CHECK-NEXT: [[M2:%.*]] = call i8 @llvm.umin.i8(i8 [[Y]], i8 [[X]])
+; CHECK-NEXT: [[R:%.*]] = call i8 @llvm.umin.i8(i8 [[M1]], i8 [[M2]])
+; CHECK-NEXT: ret i8 [[R]]
+;
+ %m1 = call i8 @llvm.smax.i8(i8 %x, i8 %y)
+ %m2 = call i8 @llvm.umin.i8(i8 %y, i8 %x)
+ %r = call i8 @llvm.umin.i8(i8 %m1, i8 %m2)
+ ret i8 %r
+}
+
+define i8 @umin_smin_smax(i8 %x, i8 %y) {
+; CHECK-LABEL: @umin_smin_smax(
+; CHECK-NEXT: [[M1:%.*]] = call i8 @llvm.smin.i8(i8 [[X:%.*]], i8 [[Y:%.*]])
+; CHECK-NEXT: [[M2:%.*]] = call i8 @llvm.smax.i8(i8 [[Y]], i8 [[X]])
+; CHECK-NEXT: [[R:%.*]] = call i8 @llvm.umin.i8(i8 [[M1]], i8 [[M2]])
+; CHECK-NEXT: ret i8 [[R]]
+;
+ %m1 = call i8 @llvm.smin.i8(i8 %x, i8 %y)
+ %m2 = call i8 @llvm.smax.i8(i8 %y, i8 %x)
+ %r = call i8 @llvm.umin.i8(i8 %m1, i8 %m2)
+ ret i8 %r
+}
+
+define i8 @umin_smin_smin(i8 %x, i8 %y) {
+; CHECK-LABEL: @umin_smin_smin(
+; CHECK-NEXT: [[M1:%.*]] = call i8 @llvm.smin.i8(i8 [[X:%.*]], i8 [[Y:%.*]])
+; CHECK-NEXT: [[M2:%.*]] = call i8 @llvm.smin.i8(i8 [[Y]], i8 [[X]])
+; CHECK-NEXT: [[R:%.*]] = call i8 @llvm.umin.i8(i8 [[M1]], i8 [[M2]])
+; CHECK-NEXT: ret i8 [[R]]
+;
+ %m1 = call i8 @llvm.smin.i8(i8 %x, i8 %y)
+ %m2 = call i8 @llvm.smin.i8(i8 %y, i8 %x)
+ %r = call i8 @llvm.umin.i8(i8 %m1, i8 %m2)
+ ret i8 %r
+}
+
+define i8 @umin_smin_umax(i8 %x, i8 %y) {
+; CHECK-LABEL: @umin_smin_umax(
+; CHECK-NEXT: [[M1:%.*]] = call i8 @llvm.smin.i8(i8 [[X:%.*]], i8 [[Y:%.*]])
+; CHECK-NEXT: [[M2:%.*]] = call i8 @llvm.umax.i8(i8 [[Y]], i8 [[X]])
+; CHECK-NEXT: [[R:%.*]] = call i8 @llvm.umin.i8(i8 [[M1]], i8 [[M2]])
+; CHECK-NEXT: ret i8 [[R]]
+;
+ %m1 = call i8 @llvm.smin.i8(i8 %x, i8 %y)
+ %m2 = call i8 @llvm.umax.i8(i8 %y, i8 %x)
+ %r = call i8 @llvm.umin.i8(i8 %m1, i8 %m2)
+ ret i8 %r
+}
+
+define i8 @umin_smin_umin(i8 %x, i8 %y) {
+; CHECK-LABEL: @umin_smin_umin(
+; CHECK-NEXT: [[M1:%.*]] = call i8 @llvm.smin.i8(i8 [[X:%.*]], i8 [[Y:%.*]])
+; CHECK-NEXT: [[M2:%.*]] = call i8 @llvm.umin.i8(i8 [[Y]], i8 [[X]])
+; CHECK-NEXT: [[R:%.*]] = call i8 @llvm.umin.i8(i8 [[M1]], i8 [[M2]])
+; CHECK-NEXT: ret i8 [[R]]
+;
+ %m1 = call i8 @llvm.smin.i8(i8 %x, i8 %y)
+ %m2 = call i8 @llvm.umin.i8(i8 %y, i8 %x)
+ %r = call i8 @llvm.umin.i8(i8 %m1, i8 %m2)
+ ret i8 %r
+}
+
+define i8 @umin_umax_smax(i8 %x, i8 %y) {
+; CHECK-LABEL: @umin_umax_smax(
+; CHECK-NEXT: [[M1:%.*]] = call i8 @llvm.umax.i8(i8 [[X:%.*]], i8 [[Y:%.*]])
+; CHECK-NEXT: [[M2:%.*]] = call i8 @llvm.smax.i8(i8 [[Y]], i8 [[X]])
+; CHECK-NEXT: [[R:%.*]] = call i8 @llvm.umin.i8(i8 [[M1]], i8 [[M2]])
+; CHECK-NEXT: ret i8 [[R]]
+;
+ %m1 = call i8 @llvm.umax.i8(i8 %x, i8 %y)
+ %m2 = call i8 @llvm.smax.i8(i8 %y, i8 %x)
+ %r = call i8 @llvm.umin.i8(i8 %m1, i8 %m2)
+ ret i8 %r
+}
+
+define i8 @umin_umax_smin(i8 %x, i8 %y) {
+; CHECK-LABEL: @umin_umax_smin(
+; CHECK-NEXT: [[M1:%.*]] = call i8 @llvm.umax.i8(i8 [[X:%.*]], i8 [[Y:%.*]])
+; CHECK-NEXT: [[M2:%.*]] = call i8 @llvm.smin.i8(i8 [[Y]], i8 [[X]])
+; CHECK-NEXT: [[R:%.*]] = call i8 @llvm.umin.i8(i8 [[M1]], i8 [[M2]])
+; CHECK-NEXT: ret i8 [[R]]
+;
+ %m1 = call i8 @llvm.umax.i8(i8 %x, i8 %y)
+ %m2 = call i8 @llvm.smin.i8(i8 %y, i8 %x)
+ %r = call i8 @llvm.umin.i8(i8 %m1, i8 %m2)
+ ret i8 %r
+}
+
+define i8 @umin_umax_umax(i8 %x, i8 %y) {
+; CHECK-LABEL: @umin_umax_umax(
+; CHECK-NEXT: [[M1:%.*]] = call i8 @llvm.umax.i8(i8 [[X:%.*]], i8 [[Y:%.*]])
+; CHECK-NEXT: [[M2:%.*]] = call i8 @llvm.umax.i8(i8 [[Y]], i8 [[X]])
+; CHECK-NEXT: [[R:%.*]] = call i8 @llvm.umin.i8(i8 [[M1]], i8 [[M2]])
+; CHECK-NEXT: ret i8 [[R]]
+;
+ %m1 = call i8 @llvm.umax.i8(i8 %x, i8 %y)
+ %m2 = call i8 @llvm.umax.i8(i8 %y, i8 %x)
+ %r = call i8 @llvm.umin.i8(i8 %m1, i8 %m2)
+ ret i8 %r
+}
+
+define i8 @umin_umax_umin(i8 %x, i8 %y) {
+; CHECK-LABEL: @umin_umax_umin(
+; CHECK-NEXT: [[M1:%.*]] = call i8 @llvm.umax.i8(i8 [[X:%.*]], i8 [[Y:%.*]])
+; CHECK-NEXT: [[M2:%.*]] = call i8 @llvm.umin.i8(i8 [[Y]], i8 [[X]])
+; CHECK-NEXT: [[R:%.*]] = call i8 @llvm.umin.i8(i8 [[M1]], i8 [[M2]])
+; CHECK-NEXT: ret i8 [[R]]
+;
+ %m1 = call i8 @llvm.umax.i8(i8 %x, i8 %y)
+ %m2 = call i8 @llvm.umin.i8(i8 %y, i8 %x)
+ %r = call i8 @llvm.umin.i8(i8 %m1, i8 %m2)
+ ret i8 %r
+}
+
+define i8 @umin_umin_smax(i8 %x, i8 %y) {
+; CHECK-LABEL: @umin_umin_smax(
+; CHECK-NEXT: [[M1:%.*]] = call i8 @llvm.umin.i8(i8 [[X:%.*]], i8 [[Y:%.*]])
+; CHECK-NEXT: [[M2:%.*]] = call i8 @llvm.smax.i8(i8 [[Y]], i8 [[X]])
+; CHECK-NEXT: [[R:%.*]] = call i8 @llvm.umin.i8(i8 [[M1]], i8 [[M2]])
+; CHECK-NEXT: ret i8 [[R]]
+;
+ %m1 = call i8 @llvm.umin.i8(i8 %x, i8 %y)
+ %m2 = call i8 @llvm.smax.i8(i8 %y, i8 %x)
+ %r = call i8 @llvm.umin.i8(i8 %m1, i8 %m2)
+ ret i8 %r
+}
+
+define i8 @umin_umin_smin(i8 %x, i8 %y) {
+; CHECK-LABEL: @umin_umin_smin(
+; CHECK-NEXT: [[M1:%.*]] = call i8 @llvm.umin.i8(i8 [[X:%.*]], i8 [[Y:%.*]])
+; CHECK-NEXT: [[M2:%.*]] = call i8 @llvm.smin.i8(i8 [[Y]], i8 [[X]])
+; CHECK-NEXT: [[R:%.*]] = call i8 @llvm.umin.i8(i8 [[M1]], i8 [[M2]])
+; CHECK-NEXT: ret i8 [[R]]
+;
+ %m1 = call i8 @llvm.umin.i8(i8 %x, i8 %y)
+ %m2 = call i8 @llvm.smin.i8(i8 %y, i8 %x)
+ %r = call i8 @llvm.umin.i8(i8 %m1, i8 %m2)
+ ret i8 %r
+}
+
+define i8 @umin_umin_umax(i8 %x, i8 %y) {
+; CHECK-LABEL: @umin_umin_umax(
+; CHECK-NEXT: [[M1:%.*]] = call i8 @llvm.umin.i8(i8 [[X:%.*]], i8 [[Y:%.*]])
+; CHECK-NEXT: [[M2:%.*]] = call i8 @llvm.umax.i8(i8 [[Y]], i8 [[X]])
+; CHECK-NEXT: [[R:%.*]] = call i8 @llvm.umin.i8(i8 [[M1]], i8 [[M2]])
+; CHECK-NEXT: ret i8 [[R]]
+;
+ %m1 = call i8 @llvm.umin.i8(i8 %x, i8 %y)
+ %m2 = call i8 @llvm.umax.i8(i8 %y, i8 %x)
+ %r = call i8 @llvm.umin.i8(i8 %m1, i8 %m2)
+ ret i8 %r
+}
+
+define i8 @umin_umin_umin(i8 %x, i8 %y) {
+; CHECK-LABEL: @umin_umin_umin(
+; CHECK-NEXT: [[M1:%.*]] = call i8 @llvm.umin.i8(i8 [[X:%.*]], i8 [[Y:%.*]])
+; CHECK-NEXT: [[M2:%.*]] = call i8 @llvm.umin.i8(i8 [[Y]], i8 [[X]])
+; CHECK-NEXT: [[R:%.*]] = call i8 @llvm.umin.i8(i8 [[M1]], i8 [[M2]])
+; CHECK-NEXT: ret i8 [[R]]
+;
+ %m1 = call i8 @llvm.umin.i8(i8 %x, i8 %y)
+ %m2 = call i8 @llvm.umin.i8(i8 %y, i8 %x)
+ %r = call i8 @llvm.umin.i8(i8 %m1, i8 %m2)
+ ret i8 %r
+}
More information about the llvm-commits
mailing list