Skip to content

Commit 06c06e1

Browse files
AZero13AZero13
authored
[Float2Int] Resolve FIXME: Pick the smallest legal type that fits (#79158)
Pick the type based on the smallest bit-width possible, using DataLayout.
1 parent e42e97a commit 06c06e1

File tree

3 files changed

+214
-68
lines changed

3 files changed

+214
-68
lines changed

‎llvm/include/llvm/Transforms/Scalar/Float2Int.h

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -44,7 +44,7 @@ class Float2IntPass : public PassInfoMixin<Float2IntPass> {
4444
std::optional<ConstantRange> calcRange(Instruction *I);
4545
void walkBackwards();
4646
void walkForwards();
47-
bool validateAndTransform();
47+
bool validateAndTransform(const DataLayout &DL);
4848
Value *convert(Instruction *I, Type *ToTy);
4949
void cleanup();
5050

‎llvm/lib/Transforms/Scalar/Float2Int.cpp

Lines changed: 19 additions & 10 deletions
Original file line numberDiff line numberDiff line change
@@ -311,7 +311,7 @@ void Float2IntPass::walkForwards() {
311311
}
312312

313313
// If there is a valid transform to be done, do it.
314-
bool Float2IntPass::validateAndTransform() {
314+
bool Float2IntPass::validateAndTransform(const DataLayout &DL) {
315315
bool MadeChange = false;
316316

317317
// Iterate over every disjoint partition of the def-use graph.
@@ -376,15 +376,23 @@ bool Float2IntPass::validateAndTransform() {
376376
LLVM_DEBUG(dbgs() << "F2I: Value not guaranteed to be representable!\n");
377377
continue;
378378
}
379-
if (MinBW > 64) {
380-
LLVM_DEBUG(
381-
dbgs() << "F2I: Value requires more than 64 bits to represent!\n");
382-
continue;
383-
}
384379

385-
// OK, R is known to be representable. Now pick a type for it.
386-
// FIXME: Pick the smallest legal type that will fit.
387-
Type *Ty = (MinBW > 32) ? Type::getInt64Ty(*Ctx) : Type::getInt32Ty(*Ctx);
380+
// OK, R is known to be representable.
381+
// Pick the smallest legal type that will fit.
382+
Type *Ty = DL.getSmallestLegalIntType(*Ctx, MinBW);
383+
if (!Ty) {
384+
// Every supported target supports 64-bit and 32-bit integers,
385+
// so fallback to a 32 or 64-bit integer if the value fits.
386+
if (MinBW <= 32) {
387+
Ty = Type::getInt32Ty(*Ctx);
388+
} else if (MinBW <= 64) {
389+
Ty = Type::getInt64Ty(*Ctx);
390+
} else {
391+
LLVM_DEBUG(dbgs() << "F2I: Value requires more than bits to represent "
392+
"than the target supports!\n");
393+
continue;
394+
}
395+
}
388396

389397
for (auto MI = ECs.member_begin(It), ME = ECs.member_end();
390398
MI != ME; ++MI)
@@ -491,7 +499,8 @@ bool Float2IntPass::runImpl(Function &F, const DominatorTree &DT) {
491499
walkBackwards();
492500
walkForwards();
493501

494-
bool Modified = validateAndTransform();
502+
const DataLayout &DL = F.getParent()->getDataLayout();
503+
bool Modified = validateAndTransform(DL);
495504
if (Modified)
496505
cleanup();
497506
return Modified;

‎llvm/test/Transforms/Float2Int/basic.ll

Lines changed: 194 additions & 57 deletions
Original file line numberDiff line numberDiff line change
@@ -1,16 +1,29 @@
11
; NOTE: Assertions have been autogenerated by utils/update_test_checks.py
2-
; RUN: opt < %s -passes='float2int' -S | FileCheck %s
2+
; RUN: opt < %s -passes=float2int -S | FileCheck %s -check-prefixes=CHECK,NONE
3+
; RUN: opt < %s -passes=float2int -S --data-layout="n64" | FileCheck %s -check-prefixes=CHECK,ONLY64
4+
; RUN: opt < %s -passes=float2int -S --data-layout="n8:16:32:64"| FileCheck %s -check-prefixes=CHECK,MULTIPLE
35

46
;
57
; Positive tests
68
;
79

810
define i16 @simple1(i8 %a) {
9-
; CHECK-LABEL: @simple1(
10-
; CHECK-NEXT: [[TMP1:%.*]] = zext i8 [[A:%.*]] to i32
11-
; CHECK-NEXT: [[T21:%.*]] = add i32 [[TMP1]], 1
12-
; CHECK-NEXT: [[TMP2:%.*]] = trunc i32 [[T21]] to i16
13-
; CHECK-NEXT: ret i16 [[TMP2]]
11+
; NONE-LABEL: @simple1(
12+
; NONE-NEXT: [[TMP1:%.*]] = zext i8 [[A:%.*]] to i32
13+
; NONE-NEXT: [[T21:%.*]] = add i32 [[TMP1]], 1
14+
; NONE-NEXT: [[TMP2:%.*]] = trunc i32 [[T21]] to i16
15+
; NONE-NEXT: ret i16 [[TMP2]]
16+
;
17+
; ONLY64-LABEL: @simple1(
18+
; ONLY64-NEXT: [[TMP1:%.*]] = zext i8 [[A:%.*]] to i64
19+
; ONLY64-NEXT: [[T21:%.*]] = add i64 [[TMP1]], 1
20+
; ONLY64-NEXT: [[TMP2:%.*]] = trunc i64 [[T21]] to i16
21+
; ONLY64-NEXT: ret i16 [[TMP2]]
22+
;
23+
; MULTIPLE-LABEL: @simple1(
24+
; MULTIPLE-NEXT: [[TMP1:%.*]] = zext i8 [[A:%.*]] to i16
25+
; MULTIPLE-NEXT: [[T21:%.*]] = add i16 [[TMP1]], 1
26+
; MULTIPLE-NEXT: ret i16 [[T21]]
1427
;
1528
%t1 = uitofp i8 %a to float
1629
%t2 = fadd float %t1, 1.0
@@ -19,11 +32,23 @@ define i16 @simple1(i8 %a) {
1932
}
2033

2134
define i8 @simple2(i8 %a) {
22-
; CHECK-LABEL: @simple2(
23-
; CHECK-NEXT: [[TMP1:%.*]] = zext i8 [[A:%.*]] to i32
24-
; CHECK-NEXT: [[T21:%.*]] = sub i32 [[TMP1]], 1
25-
; CHECK-NEXT: [[TMP2:%.*]] = trunc i32 [[T21]] to i8
26-
; CHECK-NEXT: ret i8 [[TMP2]]
35+
; NONE-LABEL: @simple2(
36+
; NONE-NEXT: [[TMP1:%.*]] = zext i8 [[A:%.*]] to i32
37+
; NONE-NEXT: [[T21:%.*]] = sub i32 [[TMP1]], 1
38+
; NONE-NEXT: [[TMP2:%.*]] = trunc i32 [[T21]] to i8
39+
; NONE-NEXT: ret i8 [[TMP2]]
40+
;
41+
; ONLY64-LABEL: @simple2(
42+
; ONLY64-NEXT: [[TMP1:%.*]] = zext i8 [[A:%.*]] to i64
43+
; ONLY64-NEXT: [[T21:%.*]] = sub i64 [[TMP1]], 1
44+
; ONLY64-NEXT: [[TMP2:%.*]] = trunc i64 [[T21]] to i8
45+
; ONLY64-NEXT: ret i8 [[TMP2]]
46+
;
47+
; MULTIPLE-LABEL: @simple2(
48+
; MULTIPLE-NEXT: [[TMP1:%.*]] = zext i8 [[A:%.*]] to i16
49+
; MULTIPLE-NEXT: [[T21:%.*]] = sub i16 [[TMP1]], 1
50+
; MULTIPLE-NEXT: [[TMP2:%.*]] = trunc i16 [[T21]] to i8
51+
; MULTIPLE-NEXT: ret i8 [[TMP2]]
2752
;
2853
%t1 = uitofp i8 %a to float
2954
%t2 = fsub float %t1, 1.0
@@ -32,10 +57,22 @@ define i8 @simple2(i8 %a) {
3257
}
3358

3459
define i32 @simple3(i8 %a) {
35-
; CHECK-LABEL: @simple3(
36-
; CHECK-NEXT: [[TMP1:%.*]] = zext i8 [[A:%.*]] to i32
37-
; CHECK-NEXT: [[T21:%.*]] = sub i32 [[TMP1]], 1
38-
; CHECK-NEXT: ret i32 [[T21]]
60+
; NONE-LABEL: @simple3(
61+
; NONE-NEXT: [[TMP1:%.*]] = zext i8 [[A:%.*]] to i32
62+
; NONE-NEXT: [[T21:%.*]] = sub i32 [[TMP1]], 1
63+
; NONE-NEXT: ret i32 [[T21]]
64+
;
65+
; ONLY64-LABEL: @simple3(
66+
; ONLY64-NEXT: [[TMP1:%.*]] = zext i8 [[A:%.*]] to i64
67+
; ONLY64-NEXT: [[T21:%.*]] = sub i64 [[TMP1]], 1
68+
; ONLY64-NEXT: [[TMP2:%.*]] = trunc i64 [[T21]] to i32
69+
; ONLY64-NEXT: ret i32 [[TMP2]]
70+
;
71+
; MULTIPLE-LABEL: @simple3(
72+
; MULTIPLE-NEXT: [[TMP1:%.*]] = zext i8 [[A:%.*]] to i16
73+
; MULTIPLE-NEXT: [[T21:%.*]] = sub i16 [[TMP1]], 1
74+
; MULTIPLE-NEXT: [[TMP2:%.*]] = zext i16 [[T21]] to i32
75+
; MULTIPLE-NEXT: ret i32 [[TMP2]]
3976
;
4077
%t1 = uitofp i8 %a to float
4178
%t2 = fsub float %t1, 1.0
@@ -44,11 +81,23 @@ define i32 @simple3(i8 %a) {
4481
}
4582

4683
define i1 @cmp(i8 %a, i8 %b) {
47-
; CHECK-LABEL: @cmp(
48-
; CHECK-NEXT: [[TMP1:%.*]] = zext i8 [[A:%.*]] to i32
49-
; CHECK-NEXT: [[TMP2:%.*]] = zext i8 [[B:%.*]] to i32
50-
; CHECK-NEXT: [[T31:%.*]] = icmp slt i32 [[TMP1]], [[TMP2]]
51-
; CHECK-NEXT: ret i1 [[T31]]
84+
; NONE-LABEL: @cmp(
85+
; NONE-NEXT: [[TMP1:%.*]] = zext i8 [[A:%.*]] to i32
86+
; NONE-NEXT: [[TMP2:%.*]] = zext i8 [[B:%.*]] to i32
87+
; NONE-NEXT: [[T31:%.*]] = icmp slt i32 [[TMP1]], [[TMP2]]
88+
; NONE-NEXT: ret i1 [[T31]]
89+
;
90+
; ONLY64-LABEL: @cmp(
91+
; ONLY64-NEXT: [[TMP1:%.*]] = zext i8 [[A:%.*]] to i64
92+
; ONLY64-NEXT: [[TMP2:%.*]] = zext i8 [[B:%.*]] to i64
93+
; ONLY64-NEXT: [[T31:%.*]] = icmp slt i64 [[TMP1]], [[TMP2]]
94+
; ONLY64-NEXT: ret i1 [[T31]]
95+
;
96+
; MULTIPLE-LABEL: @cmp(
97+
; MULTIPLE-NEXT: [[TMP1:%.*]] = zext i8 [[A:%.*]] to i16
98+
; MULTIPLE-NEXT: [[TMP2:%.*]] = zext i8 [[B:%.*]] to i16
99+
; MULTIPLE-NEXT: [[T31:%.*]] = icmp slt i16 [[TMP1]], [[TMP2]]
100+
; MULTIPLE-NEXT: ret i1 [[T31]]
52101
;
53102
%t1 = uitofp i8 %a to float
54103
%t2 = uitofp i8 %b to float
@@ -70,12 +119,27 @@ define i32 @simple4(i32 %a) {
70119
}
71120

72121
define i32 @simple5(i8 %a, i8 %b) {
73-
; CHECK-LABEL: @simple5(
74-
; CHECK-NEXT: [[TMP1:%.*]] = zext i8 [[A:%.*]] to i32
75-
; CHECK-NEXT: [[TMP2:%.*]] = zext i8 [[B:%.*]] to i32
76-
; CHECK-NEXT: [[T31:%.*]] = add i32 [[TMP1]], 1
77-
; CHECK-NEXT: [[T42:%.*]] = mul i32 [[T31]], [[TMP2]]
78-
; CHECK-NEXT: ret i32 [[T42]]
122+
; NONE-LABEL: @simple5(
123+
; NONE-NEXT: [[TMP1:%.*]] = zext i8 [[A:%.*]] to i32
124+
; NONE-NEXT: [[TMP2:%.*]] = zext i8 [[B:%.*]] to i32
125+
; NONE-NEXT: [[T31:%.*]] = add i32 [[TMP1]], 1
126+
; NONE-NEXT: [[T42:%.*]] = mul i32 [[T31]], [[TMP2]]
127+
; NONE-NEXT: ret i32 [[T42]]
128+
;
129+
; ONLY64-LABEL: @simple5(
130+
; ONLY64-NEXT: [[TMP1:%.*]] = zext i8 [[A:%.*]] to i64
131+
; ONLY64-NEXT: [[TMP2:%.*]] = zext i8 [[B:%.*]] to i64
132+
; ONLY64-NEXT: [[T31:%.*]] = add i64 [[TMP1]], 1
133+
; ONLY64-NEXT: [[T42:%.*]] = mul i64 [[T31]], [[TMP2]]
134+
; ONLY64-NEXT: [[TMP3:%.*]] = trunc i64 [[T42]] to i32
135+
; ONLY64-NEXT: ret i32 [[TMP3]]
136+
;
137+
; MULTIPLE-LABEL: @simple5(
138+
; MULTIPLE-NEXT: [[TMP1:%.*]] = zext i8 [[A:%.*]] to i32
139+
; MULTIPLE-NEXT: [[TMP2:%.*]] = zext i8 [[B:%.*]] to i32
140+
; MULTIPLE-NEXT: [[T31:%.*]] = add i32 [[TMP1]], 1
141+
; MULTIPLE-NEXT: [[T42:%.*]] = mul i32 [[T31]], [[TMP2]]
142+
; MULTIPLE-NEXT: ret i32 [[T42]]
79143
;
80144
%t1 = uitofp i8 %a to float
81145
%t2 = uitofp i8 %b to float
@@ -86,12 +150,27 @@ define i32 @simple5(i8 %a, i8 %b) {
86150
}
87151

88152
define i32 @simple6(i8 %a, i8 %b) {
89-
; CHECK-LABEL: @simple6(
90-
; CHECK-NEXT: [[TMP1:%.*]] = zext i8 [[A:%.*]] to i32
91-
; CHECK-NEXT: [[TMP2:%.*]] = zext i8 [[B:%.*]] to i32
92-
; CHECK-NEXT: [[T31:%.*]] = sub i32 0, [[TMP1]]
93-
; CHECK-NEXT: [[T42:%.*]] = mul i32 [[T31]], [[TMP2]]
94-
; CHECK-NEXT: ret i32 [[T42]]
153+
; NONE-LABEL: @simple6(
154+
; NONE-NEXT: [[TMP1:%.*]] = zext i8 [[A:%.*]] to i32
155+
; NONE-NEXT: [[TMP2:%.*]] = zext i8 [[B:%.*]] to i32
156+
; NONE-NEXT: [[T31:%.*]] = sub i32 0, [[TMP1]]
157+
; NONE-NEXT: [[T42:%.*]] = mul i32 [[T31]], [[TMP2]]
158+
; NONE-NEXT: ret i32 [[T42]]
159+
;
160+
; ONLY64-LABEL: @simple6(
161+
; ONLY64-NEXT: [[TMP1:%.*]] = zext i8 [[A:%.*]] to i64
162+
; ONLY64-NEXT: [[TMP2:%.*]] = zext i8 [[B:%.*]] to i64
163+
; ONLY64-NEXT: [[T31:%.*]] = sub i64 0, [[TMP1]]
164+
; ONLY64-NEXT: [[T42:%.*]] = mul i64 [[T31]], [[TMP2]]
165+
; ONLY64-NEXT: [[TMP3:%.*]] = trunc i64 [[T42]] to i32
166+
; ONLY64-NEXT: ret i32 [[TMP3]]
167+
;
168+
; MULTIPLE-LABEL: @simple6(
169+
; MULTIPLE-NEXT: [[TMP1:%.*]] = zext i8 [[A:%.*]] to i32
170+
; MULTIPLE-NEXT: [[TMP2:%.*]] = zext i8 [[B:%.*]] to i32
171+
; MULTIPLE-NEXT: [[T31:%.*]] = sub i32 0, [[TMP1]]
172+
; MULTIPLE-NEXT: [[T42:%.*]] = mul i32 [[T31]], [[TMP2]]
173+
; MULTIPLE-NEXT: ret i32 [[T42]]
95174
;
96175
%t1 = uitofp i8 %a to float
97176
%t2 = uitofp i8 %b to float
@@ -105,15 +184,37 @@ define i32 @simple6(i8 %a, i8 %b) {
105184
; cause failure of the other.
106185

107186
define i32 @multi1(i8 %a, i8 %b, i8 %c, float %d) {
108-
; CHECK-LABEL: @multi1(
109-
; CHECK-NEXT: [[TMP1:%.*]] = zext i8 [[A:%.*]] to i32
110-
; CHECK-NEXT: [[TMP2:%.*]] = zext i8 [[B:%.*]] to i32
111-
; CHECK-NEXT: [[FC:%.*]] = uitofp i8 [[C:%.*]] to float
112-
; CHECK-NEXT: [[X1:%.*]] = add i32 [[TMP1]], [[TMP2]]
113-
; CHECK-NEXT: [[Z:%.*]] = fadd float [[FC]], [[D:%.*]]
114-
; CHECK-NEXT: [[W:%.*]] = fptoui float [[Z]] to i32
115-
; CHECK-NEXT: [[R:%.*]] = add i32 [[X1]], [[W]]
116-
; CHECK-NEXT: ret i32 [[R]]
187+
; NONE-LABEL: @multi1(
188+
; NONE-NEXT: [[TMP1:%.*]] = zext i8 [[A:%.*]] to i32
189+
; NONE-NEXT: [[TMP2:%.*]] = zext i8 [[B:%.*]] to i32
190+
; NONE-NEXT: [[FC:%.*]] = uitofp i8 [[C:%.*]] to float
191+
; NONE-NEXT: [[X1:%.*]] = add i32 [[TMP1]], [[TMP2]]
192+
; NONE-NEXT: [[Z:%.*]] = fadd float [[FC]], [[D:%.*]]
193+
; NONE-NEXT: [[W:%.*]] = fptoui float [[Z]] to i32
194+
; NONE-NEXT: [[R:%.*]] = add i32 [[X1]], [[W]]
195+
; NONE-NEXT: ret i32 [[R]]
196+
;
197+
; ONLY64-LABEL: @multi1(
198+
; ONLY64-NEXT: [[TMP1:%.*]] = zext i8 [[A:%.*]] to i64
199+
; ONLY64-NEXT: [[TMP2:%.*]] = zext i8 [[B:%.*]] to i64
200+
; ONLY64-NEXT: [[FC:%.*]] = uitofp i8 [[C:%.*]] to float
201+
; ONLY64-NEXT: [[X1:%.*]] = add i64 [[TMP1]], [[TMP2]]
202+
; ONLY64-NEXT: [[TMP3:%.*]] = trunc i64 [[X1]] to i32
203+
; ONLY64-NEXT: [[Z:%.*]] = fadd float [[FC]], [[D:%.*]]
204+
; ONLY64-NEXT: [[W:%.*]] = fptoui float [[Z]] to i32
205+
; ONLY64-NEXT: [[R:%.*]] = add i32 [[TMP3]], [[W]]
206+
; ONLY64-NEXT: ret i32 [[R]]
207+
;
208+
; MULTIPLE-LABEL: @multi1(
209+
; MULTIPLE-NEXT: [[TMP1:%.*]] = zext i8 [[A:%.*]] to i16
210+
; MULTIPLE-NEXT: [[TMP2:%.*]] = zext i8 [[B:%.*]] to i16
211+
; MULTIPLE-NEXT: [[FC:%.*]] = uitofp i8 [[C:%.*]] to float
212+
; MULTIPLE-NEXT: [[X1:%.*]] = add i16 [[TMP1]], [[TMP2]]
213+
; MULTIPLE-NEXT: [[TMP3:%.*]] = zext i16 [[X1]] to i32
214+
; MULTIPLE-NEXT: [[Z:%.*]] = fadd float [[FC]], [[D:%.*]]
215+
; MULTIPLE-NEXT: [[W:%.*]] = fptoui float [[Z]] to i32
216+
; MULTIPLE-NEXT: [[R:%.*]] = add i32 [[TMP3]], [[W]]
217+
; MULTIPLE-NEXT: ret i32 [[R]]
117218
;
118219
%fa = uitofp i8 %a to float
119220
%fb = uitofp i8 %b to float
@@ -127,11 +228,22 @@ define i32 @multi1(i8 %a, i8 %b, i8 %c, float %d) {
127228
}
128229

129230
define i16 @simple_negzero(i8 %a) {
130-
; CHECK-LABEL: @simple_negzero(
131-
; CHECK-NEXT: [[TMP1:%.*]] = zext i8 [[A:%.*]] to i32
132-
; CHECK-NEXT: [[T21:%.*]] = add i32 [[TMP1]], 0
133-
; CHECK-NEXT: [[TMP2:%.*]] = trunc i32 [[T21]] to i16
134-
; CHECK-NEXT: ret i16 [[TMP2]]
231+
; NONE-LABEL: @simple_negzero(
232+
; NONE-NEXT: [[TMP1:%.*]] = zext i8 [[A:%.*]] to i32
233+
; NONE-NEXT: [[T21:%.*]] = add i32 [[TMP1]], 0
234+
; NONE-NEXT: [[TMP2:%.*]] = trunc i32 [[T21]] to i16
235+
; NONE-NEXT: ret i16 [[TMP2]]
236+
;
237+
; ONLY64-LABEL: @simple_negzero(
238+
; ONLY64-NEXT: [[TMP1:%.*]] = zext i8 [[A:%.*]] to i64
239+
; ONLY64-NEXT: [[T21:%.*]] = add i64 [[TMP1]], 0
240+
; ONLY64-NEXT: [[TMP2:%.*]] = trunc i64 [[T21]] to i16
241+
; ONLY64-NEXT: ret i16 [[TMP2]]
242+
;
243+
; MULTIPLE-LABEL: @simple_negzero(
244+
; MULTIPLE-NEXT: [[TMP1:%.*]] = zext i8 [[A:%.*]] to i16
245+
; MULTIPLE-NEXT: [[T21:%.*]] = add i16 [[TMP1]], 0
246+
; MULTIPLE-NEXT: ret i16 [[T21]]
135247
;
136248
%t1 = uitofp i8 %a to float
137249
%t2 = fadd fast float %t1, -0.0
@@ -140,12 +252,26 @@ define i16 @simple_negzero(i8 %a) {
140252
}
141253

142254
define i32 @simple_negative(i8 %call) {
143-
; CHECK-LABEL: @simple_negative(
144-
; CHECK-NEXT: [[TMP1:%.*]] = sext i8 [[CALL:%.*]] to i32
145-
; CHECK-NEXT: [[MUL1:%.*]] = mul i32 [[TMP1]], -3
146-
; CHECK-NEXT: [[TMP2:%.*]] = trunc i32 [[MUL1]] to i8
147-
; CHECK-NEXT: [[CONV3:%.*]] = sext i8 [[TMP2]] to i32
148-
; CHECK-NEXT: ret i32 [[CONV3]]
255+
; NONE-LABEL: @simple_negative(
256+
; NONE-NEXT: [[TMP1:%.*]] = sext i8 [[CALL:%.*]] to i32
257+
; NONE-NEXT: [[MUL1:%.*]] = mul i32 [[TMP1]], -3
258+
; NONE-NEXT: [[TMP2:%.*]] = trunc i32 [[MUL1]] to i8
259+
; NONE-NEXT: [[CONV3:%.*]] = sext i8 [[TMP2]] to i32
260+
; NONE-NEXT: ret i32 [[CONV3]]
261+
;
262+
; ONLY64-LABEL: @simple_negative(
263+
; ONLY64-NEXT: [[TMP1:%.*]] = sext i8 [[CALL:%.*]] to i64
264+
; ONLY64-NEXT: [[MUL1:%.*]] = mul i64 [[TMP1]], -3
265+
; ONLY64-NEXT: [[TMP2:%.*]] = trunc i64 [[MUL1]] to i8
266+
; ONLY64-NEXT: [[CONV3:%.*]] = sext i8 [[TMP2]] to i32
267+
; ONLY64-NEXT: ret i32 [[CONV3]]
268+
;
269+
; MULTIPLE-LABEL: @simple_negative(
270+
; MULTIPLE-NEXT: [[TMP1:%.*]] = sext i8 [[CALL:%.*]] to i16
271+
; MULTIPLE-NEXT: [[MUL1:%.*]] = mul i16 [[TMP1]], -3
272+
; MULTIPLE-NEXT: [[TMP2:%.*]] = trunc i16 [[MUL1]] to i8
273+
; MULTIPLE-NEXT: [[CONV3:%.*]] = sext i8 [[TMP2]] to i32
274+
; MULTIPLE-NEXT: ret i32 [[CONV3]]
149275
;
150276
%conv1 = sitofp i8 %call to float
151277
%mul = fmul float %conv1, -3.000000e+00
@@ -155,11 +281,22 @@ define i32 @simple_negative(i8 %call) {
155281
}
156282

157283
define i16 @simple_fneg(i8 %a) {
158-
; CHECK-LABEL: @simple_fneg(
159-
; CHECK-NEXT: [[TMP1:%.*]] = zext i8 [[A:%.*]] to i32
160-
; CHECK-NEXT: [[T21:%.*]] = sub i32 0, [[TMP1]]
161-
; CHECK-NEXT: [[TMP2:%.*]] = trunc i32 [[T21]] to i16
162-
; CHECK-NEXT: ret i16 [[TMP2]]
284+
; NONE-LABEL: @simple_fneg(
285+
; NONE-NEXT: [[TMP1:%.*]] = zext i8 [[A:%.*]] to i32
286+
; NONE-NEXT: [[T21:%.*]] = sub i32 0, [[TMP1]]
287+
; NONE-NEXT: [[TMP2:%.*]] = trunc i32 [[T21]] to i16
288+
; NONE-NEXT: ret i16 [[TMP2]]
289+
;
290+
; ONLY64-LABEL: @simple_fneg(
291+
; ONLY64-NEXT: [[TMP1:%.*]] = zext i8 [[A:%.*]] to i64
292+
; ONLY64-NEXT: [[T21:%.*]] = sub i64 0, [[TMP1]]
293+
; ONLY64-NEXT: [[TMP2:%.*]] = trunc i64 [[T21]] to i16
294+
; ONLY64-NEXT: ret i16 [[TMP2]]
295+
;
296+
; MULTIPLE-LABEL: @simple_fneg(
297+
; MULTIPLE-NEXT: [[TMP1:%.*]] = zext i8 [[A:%.*]] to i16
298+
; MULTIPLE-NEXT: [[T21:%.*]] = sub i16 0, [[TMP1]]
299+
; MULTIPLE-NEXT: ret i16 [[T21]]
163300
;
164301
%t1 = uitofp i8 %a to float
165302
%t2 = fneg fast float %t1

0 commit comments

Comments
 (0)