mirror of
https://github.com/RPCS3/llvm-mirror.git
synced 2025-02-01 05:01:59 +01:00
[InstSimplify] add tests for min/max intrinsics; NFC
This commit is contained in:
Sanjay Patel
parent
e73cfa27dc
commit
1555485a98
@ -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
|
||||
}
|
||||
|
||||
Loading…
x
Reference in New Issue
Block a user