Skip to content

Commit 770d7e8

Browse files
el-evel-ev
committed
pre-commit tests
1 parent 940108b commit 770d7e8

File tree

1 file changed

+173
-0
lines changed

1 file changed

+173
-0
lines changed

‎llvm/test/Transforms/InstCombine/smax-smin-canonicalize.ll‎

Lines changed: 173 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,173 @@
1+
; NOTE: Assertions have been autogenerated by utils/update_test_checks.py UTC_ARGS: --version 5
2+
; RUN: opt < %s -passes=instcombine -S | FileCheck %s
3+
4+
; smax(smin(X, MinC), MaxC) -> smin(smax(X, MaxC), MinC)
5+
6+
declare i16 @llvm.smax.i16(i16, i16)
7+
declare i16 @llvm.smin.i16(i16, i16)
8+
declare <2 x i16> @llvm.smax.v2i16(<2 x i16>, <2 x i16>)
9+
declare <2 x i16> @llvm.smin.v2i16(<2 x i16>, <2 x i16>)
10+
11+
define i16 @max_min(i16 %x) {
12+
; CHECK-LABEL: define i16 @max_min(
13+
; CHECK-SAME: i16 [[X:%.*]]) {
14+
; CHECK-NEXT: [[MIN:%.*]] = call i16 @llvm.smin.i16(i16 [[X]], i16 255)
15+
; CHECK-NEXT: [[MAX:%.*]] = call i16 @llvm.smax.i16(i16 [[MIN]], i16 -1)
16+
; CHECK-NEXT: ret i16 [[MAX]]
17+
;
18+
%min = call i16 @llvm.smin.i16(i16 %x, i16 255)
19+
%max = call i16 @llvm.smax.i16(i16 %min, i16 -1)
20+
ret i16 %max
21+
}
22+
23+
define i16 @max_min_commute0(i16 %x) {
24+
; CHECK-LABEL: define i16 @max_min_commute0(
25+
; CHECK-SAME: i16 [[X:%.*]]) {
26+
; CHECK-NEXT: [[MIN:%.*]] = call i16 @llvm.smin.i16(i16 [[X]], i16 127)
27+
; CHECK-NEXT: [[MAX:%.*]] = call i16 @llvm.smax.i16(i16 [[MIN]], i16 -128)
28+
; CHECK-NEXT: ret i16 [[MAX]]
29+
;
30+
%min = call i16 @llvm.smin.i16(i16 %x, i16 127)
31+
%max = call i16 @llvm.smax.i16(i16 %min, i16 -128)
32+
ret i16 %max
33+
}
34+
35+
define i16 @max_min_commute1(i16 %x) {
36+
; CHECK-LABEL: define i16 @max_min_commute1(
37+
; CHECK-SAME: i16 [[X:%.*]]) {
38+
; CHECK-NEXT: [[MIN:%.*]] = call i16 @llvm.smin.i16(i16 [[X]], i16 127)
39+
; CHECK-NEXT: [[MAX:%.*]] = call i16 @llvm.smax.i16(i16 [[MIN]], i16 -128)
40+
; CHECK-NEXT: ret i16 [[MAX]]
41+
;
42+
%min = call i16 @llvm.smin.i16(i16 127, i16 %x)
43+
%max = call i16 @llvm.smax.i16(i16 %min, i16 -128)
44+
ret i16 %max
45+
}
46+
47+
define i16 @max_min_commute2(i16 %x) {
48+
; CHECK-LABEL: define i16 @max_min_commute2(
49+
; CHECK-SAME: i16 [[X:%.*]]) {
50+
; CHECK-NEXT: [[MIN:%.*]] = call i16 @llvm.smin.i16(i16 [[X]], i16 127)
51+
; CHECK-NEXT: [[MAX:%.*]] = call i16 @llvm.smax.i16(i16 [[MIN]], i16 -128)
52+
; CHECK-NEXT: ret i16 [[MAX]]
53+
;
54+
%min = call i16 @llvm.smin.i16(i16 %x, i16 127)
55+
%max = call i16 @llvm.smax.i16(i16 -128, i16 %min)
56+
ret i16 %max
57+
}
58+
59+
define i16 @max_min_commute3(i16 %x) {
60+
; CHECK-LABEL: define i16 @max_min_commute3(
61+
; CHECK-SAME: i16 [[X:%.*]]) {
62+
; CHECK-NEXT: [[MIN:%.*]] = call i16 @llvm.smin.i16(i16 [[X]], i16 127)
63+
; CHECK-NEXT: [[MAX:%.*]] = call i16 @llvm.smax.i16(i16 [[MIN]], i16 -128)
64+
; CHECK-NEXT: ret i16 [[MAX]]
65+
;
66+
%min = call i16 @llvm.smin.i16(i16 %x, i16 127)
67+
%max = call i16 @llvm.smax.i16(i16 %min, i16 -128)
68+
ret i16 %max
69+
}
70+
71+
define <2 x i16> @max_min_v2i16(<2 x i16> %x) {
72+
; CHECK-LABEL: define <2 x i16> @max_min_v2i16(
73+
; CHECK-SAME: <2 x i16> [[X:%.*]]) {
74+
; CHECK-NEXT: [[MIN:%.*]] = call <2 x i16> @llvm.smin.v2i16(<2 x i16> [[X]], <2 x i16> splat (i16 127))
75+
; CHECK-NEXT: [[MAX:%.*]] = call <2 x i16> @llvm.smax.v2i16(<2 x i16> [[MIN]], <2 x i16> splat (i16 -128))
76+
; CHECK-NEXT: ret <2 x i16> [[MAX]]
77+
;
78+
%min = call <2 x i16> @llvm.smin.v2i16(<2 x i16> %x, <2 x i16> splat (i16 127))
79+
%max = call <2 x i16> @llvm.smax.v2i16(<2 x i16> %min, <2 x i16> splat (i16 -128))
80+
ret <2 x i16> %max
81+
}
82+
83+
declare void @use(i16)
84+
85+
define i16 @max_min_used(i16 %x) {
86+
; CHECK-LABEL: define i16 @max_min_used(
87+
; CHECK-SAME: i16 [[X:%.*]]) {
88+
; CHECK-NEXT: [[MAX:%.*]] = call i16 @llvm.smin.i16(i16 [[X]], i16 127)
89+
; CHECK-NEXT: [[MAX1:%.*]] = call i16 @llvm.smax.i16(i16 [[MAX]], i16 -128)
90+
; CHECK-NEXT: call void @use(i16 [[MAX]])
91+
; CHECK-NEXT: ret i16 [[MAX1]]
92+
;
93+
%min = call i16 @llvm.smin.i16(i16 %x, i16 127)
94+
%max = call i16 @llvm.smax.i16(i16 %min, i16 -128)
95+
call void @use(i16 %min)
96+
ret i16 %max
97+
}
98+
99+
; Special cases
100+
101+
define i16 @max_min_i16_limits(i16 %x) {
102+
; CHECK-LABEL: define i16 @max_min_i16_limits(
103+
; CHECK-SAME: i16 [[X:%.*]]) {
104+
; CHECK-NEXT: ret i16 [[X]]
105+
;
106+
%min = call i16 @llvm.smin.i16(i16 %x, i16 32767)
107+
%max = call i16 @llvm.smax.i16(i16 %min, i16 -32768)
108+
ret i16 %max
109+
}
110+
111+
define i16 @max_min_cmax_lt_cmin(i16 %x) {
112+
; CHECK-LABEL: define i16 @max_min_cmax_lt_cmin(
113+
; CHECK-SAME: i16 [[X:%.*]]) {
114+
; CHECK-NEXT: ret i16 127
115+
;
116+
%min = call i16 @llvm.smin.i16(i16 %x, i16 -128)
117+
%max = call i16 @llvm.smax.i16(i16 %min, i16 127)
118+
ret i16 %max
119+
}
120+
121+
define i16 @min_max_min_nested(i16 %x) {
122+
; CHECK-LABEL: define i16 @min_max_min_nested(
123+
; CHECK-SAME: i16 [[X:%.*]]) {
124+
; CHECK-NEXT: [[MIN1:%.*]] = call i16 @llvm.smin.i16(i16 [[X]], i16 255)
125+
; CHECK-NEXT: [[TMP1:%.*]] = call i16 @llvm.smax.i16(i16 [[MIN1]], i16 -128)
126+
; CHECK-NEXT: [[MIN2:%.*]] = call i16 @llvm.smin.i16(i16 [[TMP1]], i16 127)
127+
; CHECK-NEXT: ret i16 [[MIN2]]
128+
;
129+
%min1 = call i16 @llvm.smin.i16(i16 %x, i16 255)
130+
%max = call i16 @llvm.smax.i16(i16 %min1, i16 -128)
131+
%min2 = call i16 @llvm.smin.i16(i16 %max, i16 127)
132+
ret i16 %min2
133+
}
134+
135+
; Negative cases
136+
137+
define i16 @max_min_variables(i16 %x, i16 %y, i16 %z) {
138+
; CHECK-LABEL: define i16 @max_min_variables(
139+
; CHECK-SAME: i16 [[X:%.*]], i16 [[Y:%.*]], i16 [[Z:%.*]]) {
140+
; CHECK-NEXT: [[MAX:%.*]] = call i16 @llvm.smin.i16(i16 [[X]], i16 [[Y]])
141+
; CHECK-NEXT: [[MIN:%.*]] = call i16 @llvm.smax.i16(i16 [[MAX]], i16 [[Z]])
142+
; CHECK-NEXT: ret i16 [[MIN]]
143+
;
144+
%min = call i16 @llvm.smin.i16(i16 %x, i16 %y)
145+
%max = call i16 @llvm.smax.i16(i16 %min, i16 %z)
146+
ret i16 %max
147+
}
148+
149+
define i16 @min_max(i16 %x) {
150+
; CHECK-LABEL: define i16 @min_max(
151+
; CHECK-SAME: i16 [[X:%.*]]) {
152+
; CHECK-NEXT: [[MAX:%.*]] = call i16 @llvm.smax.i16(i16 [[X]], i16 -128)
153+
; CHECK-NEXT: [[MIN:%.*]] = call i16 @llvm.smin.i16(i16 [[MAX]], i16 127)
154+
; CHECK-NEXT: ret i16 [[MIN]]
155+
;
156+
%max = call i16 @llvm.smax.i16(i16 %x, i16 -128)
157+
%min = call i16 @llvm.smin.i16(i16 %max, i16 127)
158+
ret i16 %min
159+
}
160+
161+
declare i16 @llvm.umin.i16(i16, i16)
162+
declare i16 @llvm.umax.i16(i16, i16)
163+
164+
define i16 @umax_umin(i16 %x) {
165+
; CHECK-LABEL: define i16 @umax_umin(
166+
; CHECK-SAME: i16 [[X:%.*]]) {
167+
; CHECK-NEXT: [[MIN:%.*]] = call i16 @llvm.umin.i16(i16 [[X]], i16 255)
168+
; CHECK-NEXT: ret i16 [[MIN]]
169+
;
170+
%min = call i16 @llvm.umax.i16(i16 %x, i16 -1)
171+
%max = call i16 @llvm.umin.i16(i16 %x, i16 255)
172+
ret i16 %max
173+
}

0 commit comments

Comments
 (0)