[llvm] 1ebcf03 - [InstSimplify] add tests for min/max intrinsics; NFC
Sanjay Patel via llvm-commits
llvm-commits at lists.llvm.org
Mon Jul 27 05:26:35 PDT 2020
Author: Sanjay Patel
Date: 2020-07-27T08:26:27-04:00
New Revision: 1ebcf03551c3136b8153d44968204c022f121ae6
URL: https://github.com/llvm/llvm-project/commit/1ebcf03551c3136b8153d44968204c022f121ae6
DIFF: https://github.com/llvm/llvm-project/commit/1ebcf03551c3136b8153d44968204c022f121ae6.diff
LOG: [InstSimplify] add tests for min/max intrinsics; NFC
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 99a8656b34aa..13c9f0ebd4ab 100644
--- a/llvm/test/Transforms/InstSimplify/maxmin_intrinsics.ll
+++ b/llvm/test/Transforms/InstSimplify/maxmin_intrinsics.ll
@@ -1,8 +1,10 @@
; NOTE: Assertions have been autogenerated by utils/update_test_checks.py
; RUN: opt < %s -instsimplify -S | FileCheck %s
+declare i81 @llvm.smax.i81(i81, i81)
declare i8 @llvm.smax.i8(i8, i8)
declare <2 x i8> @llvm.smax.v2i8(<2 x i8>, <2 x i8>)
+declare i3 @llvm.smin.i3(i3, i3)
declare i8 @llvm.smin.i8(i8, i8)
declare <2 x i8> @llvm.smin.v2i8(<2 x i8>, <2 x i8>)
declare i8 @llvm.umax.i8(i8, i8)
@@ -10,6 +12,78 @@ 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>)
+define i81 @smax_sameval(i81 %x) {
+; CHECK-LABEL: @smax_sameval(
+; CHECK-NEXT: [[R:%.*]] = call i81 @llvm.smax.i81(i81 [[X:%.*]], i81 [[X]])
+; CHECK-NEXT: ret i81 [[R]]
+;
+ %r = call i81 @llvm.smax.i81(i81 %x, i81 %x)
+ ret i81 %r
+}
+
+define i3 @smin_sameval(i3 %x) {
+; CHECK-LABEL: @smin_sameval(
+; CHECK-NEXT: [[R:%.*]] = call i3 @llvm.smin.i3(i3 [[X:%.*]], i3 [[X]])
+; CHECK-NEXT: ret i3 [[R]]
+;
+ %r = call i3 @llvm.smin.i3(i3 %x, i3 %x)
+ ret i3 %r
+}
+
+define <2 x i8> @umax_sameval(<2 x i8> %x) {
+; CHECK-LABEL: @umax_sameval(
+; CHECK-NEXT: [[R:%.*]] = call <2 x i8> @llvm.umax.v2i8(<2 x i8> [[X:%.*]], <2 x i8> [[X]])
+; CHECK-NEXT: ret <2 x i8> [[R]]
+;
+ %r = call <2 x i8> @llvm.umax.v2i8(<2 x i8> %x, <2 x i8> %x)
+ ret <2 x i8> %r
+}
+
+define <2 x i8> @umin_sameval(<2 x i8> %x) {
+; CHECK-LABEL: @umin_sameval(
+; CHECK-NEXT: [[R:%.*]] = call <2 x i8> @llvm.umin.v2i8(<2 x i8> [[X:%.*]], <2 x i8> [[X]])
+; CHECK-NEXT: ret <2 x i8> [[R]]
+;
+ %r = call <2 x i8> @llvm.umin.v2i8(<2 x i8> %x, <2 x i8> %x)
+ ret <2 x i8> %r
+}
+
+define i81 @smax_undef(i81 %x) {
+; CHECK-LABEL: @smax_undef(
+; CHECK-NEXT: [[R:%.*]] = call i81 @llvm.smax.i81(i81 undef, i81 [[X:%.*]])
+; CHECK-NEXT: ret i81 [[R]]
+;
+ %r = call i81 @llvm.smax.i81(i81 undef, i81 %x)
+ ret i81 %r
+}
+
+define i3 @smin_undef(i3 %x) {
+; CHECK-LABEL: @smin_undef(
+; CHECK-NEXT: [[R:%.*]] = call i3 @llvm.smin.i3(i3 [[X:%.*]], i3 undef)
+; CHECK-NEXT: ret i3 [[R]]
+;
+ %r = call i3 @llvm.smin.i3(i3 %x, i3 undef)
+ ret i3 %r
+}
+
+define <2 x i8> @umax_undef(<2 x i8> %x) {
+; CHECK-LABEL: @umax_undef(
+; CHECK-NEXT: [[R:%.*]] = call <2 x i8> @llvm.umax.v2i8(<2 x i8> undef, <2 x i8> [[X:%.*]])
+; CHECK-NEXT: ret <2 x i8> [[R]]
+;
+ %r = call <2 x i8> @llvm.umax.v2i8(<2 x i8> undef, <2 x i8> %x)
+ ret <2 x i8> %r
+}
+
+define <2 x i8> @umin_undef(<2 x i8> %x) {
+; CHECK-LABEL: @umin_undef(
+; CHECK-NEXT: [[R:%.*]] = call <2 x i8> @llvm.umin.v2i8(<2 x i8> [[X:%.*]], <2 x i8> undef)
+; CHECK-NEXT: ret <2 x i8> [[R]]
+;
+ %r = call <2 x i8> @llvm.umin.v2i8(<2 x i8> %x, <2 x i8> undef)
+ ret <2 x i8> %r
+}
+
define i8 @smax_maxval(i8 %x) {
; CHECK-LABEL: @smax_maxval(
; CHECK-NEXT: ret i8 127
@@ -73,3 +147,147 @@ define <2 x i8> @umin_minval_commute(<2 x i8> %x) {
%r = call <2 x i8> @llvm.umin.v2i8(<2 x i8> %x, <2 x i8> zeroinitializer)
ret <2 x i8> %r
}
+
+define i8 @smax_minval(i8 %x) {
+; CHECK-LABEL: @smax_minval(
+; CHECK-NEXT: [[R:%.*]] = call i8 @llvm.smax.i8(i8 [[X:%.*]], i8 -128)
+; CHECK-NEXT: ret i8 [[R]]
+;
+ %r = call i8 @llvm.smax.i8(i8 %x, i8 -128)
+ ret i8 %r
+}
+
+define <2 x i8> @smax_minval_commute(<2 x i8> %x) {
+; CHECK-LABEL: @smax_minval_commute(
+; CHECK-NEXT: [[R:%.*]] = call <2 x i8> @llvm.smax.v2i8(<2 x i8> <i8 -128, i8 -128>, <2 x i8> [[X:%.*]])
+; CHECK-NEXT: ret <2 x i8> [[R]]
+;
+ %r = call <2 x i8> @llvm.smax.v2i8(<2 x i8> <i8 -128, i8 -128>, <2 x i8> %x)
+ ret <2 x i8> %r
+}
+
+define i8 @smin_maxval(i8 %x) {
+; CHECK-LABEL: @smin_maxval(
+; CHECK-NEXT: [[R:%.*]] = call i8 @llvm.smin.i8(i8 127, i8 [[X:%.*]])
+; CHECK-NEXT: ret i8 [[R]]
+;
+ %r = call i8 @llvm.smin.i8(i8 127, i8 %x)
+ ret i8 %r
+}
+
+define <2 x i8> @smin_maxval_commute(<2 x i8> %x) {
+; CHECK-LABEL: @smin_maxval_commute(
+; CHECK-NEXT: [[R:%.*]] = call <2 x i8> @llvm.smin.v2i8(<2 x i8> [[X:%.*]], <2 x i8> <i8 127, i8 127>)
+; CHECK-NEXT: ret <2 x i8> [[R]]
+;
+ %r = call <2 x i8> @llvm.smin.v2i8(<2 x i8> %x, <2 x i8> <i8 127, i8 127>)
+ ret <2 x i8> %r
+}
+
+define i8 @umax_minval(i8 %x) {
+; CHECK-LABEL: @umax_minval(
+; CHECK-NEXT: [[R:%.*]] = call i8 @llvm.umax.i8(i8 [[X:%.*]], i8 0)
+; CHECK-NEXT: ret i8 [[R]]
+;
+ %r = call i8 @llvm.umax.i8(i8 %x, i8 0)
+ ret i8 %r
+}
+
+define <2 x i8> @umax_minval_commute(<2 x i8> %x) {
+; CHECK-LABEL: @umax_minval_commute(
+; CHECK-NEXT: [[R:%.*]] = call <2 x i8> @llvm.umax.v2i8(<2 x i8> zeroinitializer, <2 x i8> [[X:%.*]])
+; CHECK-NEXT: ret <2 x i8> [[R]]
+;
+ %r = call <2 x i8> @llvm.umax.v2i8(<2 x i8> zeroinitializer, <2 x i8> %x)
+ ret <2 x i8> %r
+}
+
+define i8 @umin_maxval(i8 %x) {
+; CHECK-LABEL: @umin_maxval(
+; CHECK-NEXT: [[R:%.*]] = call i8 @llvm.umin.i8(i8 -1, i8 [[X:%.*]])
+; CHECK-NEXT: ret i8 [[R]]
+;
+ %r = call i8 @llvm.umin.i8(i8 255, i8 %x)
+ ret i8 %r
+}
+
+define <2 x i8> @umin_maxval_commute(<2 x i8> %x) {
+; CHECK-LABEL: @umin_maxval_commute(
+; CHECK-NEXT: [[R:%.*]] = call <2 x i8> @llvm.umin.v2i8(<2 x i8> [[X:%.*]], <2 x i8> <i8 -1, i8 -1>)
+; CHECK-NEXT: ret <2 x i8> [[R]]
+;
+ %r = call <2 x i8> @llvm.umin.v2i8(<2 x i8> %x, <2 x i8> <i8 255, i8 255>)
+ ret <2 x i8> %r
+}
+
+define <2 x i8> @smax_maxval_partial_undef(<2 x i8> %x) {
+; CHECK-LABEL: @smax_maxval_partial_undef(
+; CHECK-NEXT: [[R:%.*]] = call <2 x i8> @llvm.smax.v2i8(<2 x i8> <i8 undef, i8 127>, <2 x i8> [[X:%.*]])
+; CHECK-NEXT: ret <2 x i8> [[R]]
+;
+ %r = call <2 x i8> @llvm.smax.v2i8(<2 x i8> <i8 undef, i8 127>, <2 x i8> %x)
+ ret <2 x i8> %r
+}
+
+define <2 x i8> @smin_minval_partial_undef(<2 x i8> %x) {
+; CHECK-LABEL: @smin_minval_partial_undef(
+; CHECK-NEXT: [[R:%.*]] = call <2 x i8> @llvm.smin.v2i8(<2 x i8> [[X:%.*]], <2 x i8> <i8 -128, i8 undef>)
+; CHECK-NEXT: ret <2 x i8> [[R]]
+;
+ %r = call <2 x i8> @llvm.smin.v2i8(<2 x i8> %x, <2 x i8> <i8 -128, i8 undef>)
+ ret <2 x i8> %r
+}
+
+define <2 x i8> @umax_maxval_partial_undef(<2 x i8> %x) {
+; CHECK-LABEL: @umax_maxval_partial_undef(
+; CHECK-NEXT: [[R:%.*]] = call <2 x i8> @llvm.umax.v2i8(<2 x i8> <i8 -1, i8 undef>, <2 x i8> [[X:%.*]])
+; CHECK-NEXT: ret <2 x i8> [[R]]
+;
+ %r = call <2 x i8> @llvm.umax.v2i8(<2 x i8> <i8 255, i8 undef>, <2 x i8> %x)
+ ret <2 x i8> %r
+}
+
+define <2 x i8> @umin_minval_partial_undef(<2 x i8> %x) {
+; CHECK-LABEL: @umin_minval_partial_undef(
+; CHECK-NEXT: [[R:%.*]] = call <2 x i8> @llvm.umin.v2i8(<2 x i8> [[X:%.*]], <2 x i8> <i8 undef, i8 0>)
+; CHECK-NEXT: ret <2 x i8> [[R]]
+;
+ %r = call <2 x i8> @llvm.umin.v2i8(<2 x i8> %x, <2 x i8> <i8 undef, i8 0>)
+ ret <2 x i8> %r
+}
+
+define <2 x i8> @smax_minval_partial_undef(<2 x i8> %x) {
+; CHECK-LABEL: @smax_minval_partial_undef(
+; CHECK-NEXT: [[R:%.*]] = call <2 x i8> @llvm.smax.v2i8(<2 x i8> <i8 undef, i8 -128>, <2 x i8> [[X:%.*]])
+; CHECK-NEXT: ret <2 x i8> [[R]]
+;
+ %r = call <2 x i8> @llvm.smax.v2i8(<2 x i8> <i8 undef, i8 -128>, <2 x i8> %x)
+ ret <2 x i8> %r
+}
+
+define <2 x i8> @smin_maxval_partial_undef(<2 x i8> %x) {
+; CHECK-LABEL: @smin_maxval_partial_undef(
+; CHECK-NEXT: [[R:%.*]] = call <2 x i8> @llvm.smin.v2i8(<2 x i8> [[X:%.*]], <2 x i8> <i8 undef, i8 127>)
+; CHECK-NEXT: ret <2 x i8> [[R]]
+;
+ %r = call <2 x i8> @llvm.smin.v2i8(<2 x i8> %x, <2 x i8> <i8 undef, i8 127>)
+ ret <2 x i8> %r
+}
+
+define <2 x i8> @umax_minval_partial_undef(<2 x i8> %x) {
+; CHECK-LABEL: @umax_minval_partial_undef(
+; CHECK-NEXT: [[R:%.*]] = call <2 x i8> @llvm.umax.v2i8(<2 x i8> <i8 0, i8 undef>, <2 x i8> [[X:%.*]])
+; CHECK-NEXT: ret <2 x i8> [[R]]
+;
+ %r = call <2 x i8> @llvm.umax.v2i8(<2 x i8> <i8 0, i8 undef>, <2 x i8> %x)
+ ret <2 x i8> %r
+}
+
+define <2 x i8> @umin_maxval_partial_undef(<2 x i8> %x) {
+; CHECK-LABEL: @umin_maxval_partial_undef(
+; CHECK-NEXT: [[R:%.*]] = call <2 x i8> @llvm.umin.v2i8(<2 x i8> [[X:%.*]], <2 x i8> <i8 -1, i8 undef>)
+; CHECK-NEXT: ret <2 x i8> [[R]]
+;
+ %r = call <2 x i8> @llvm.umin.v2i8(<2 x i8> %x, <2 x i8> <i8 255, i8 undef>)
+ ret <2 x i8> %r
+}
More information about the llvm-commits
mailing list