xref: /llvm-project/llvm/test/Transforms/Attributor/nofpclass-trunc.ll (revision d48d108bc66adb31185ee023e1eb0ccdda2065c1) 
1; NOTE: Assertions have been autogenerated by utils/update_test_checks.py UTC_ARGS: --version 2
2; RUN: opt -aa-pipeline=basic-aa -passes=attributor -attributor-manifest-internal -S < %s | FileCheck %s --check-prefixes=CHECK,TUNIT
3
4declare float @llvm.trunc.f32(float)
5declare ppc_fp128 @llvm.trunc.ppcf128(ppc_fp128)
6
7define float @ret_trunc(float %arg0) {
8; CHECK-LABEL: define nofpclass(sub) float @ret_trunc
9; CHECK-SAME: (float [[ARG0:%.*]]) #[[ATTR1:[0-9]+]] {
10; CHECK-NEXT:    [[CALL:%.*]] = call nofpclass(sub) float @llvm.trunc.f32(float [[ARG0]]) #[[ATTR2:[0-9]+]]
11; CHECK-NEXT:    ret float [[CALL]]
12;
13  %call = call float @llvm.trunc.f32(float %arg0)
14  ret float %call
15}
16
17define float @ret_trunc_noinf(float nofpclass(inf) %arg0) {
18; CHECK-LABEL: define nofpclass(inf sub) float @ret_trunc_noinf
19; CHECK-SAME: (float nofpclass(inf) [[ARG0:%.*]]) #[[ATTR1]] {
20; CHECK-NEXT:    [[CALL:%.*]] = call nofpclass(inf sub) float @llvm.trunc.f32(float nofpclass(inf) [[ARG0]]) #[[ATTR2]]
21; CHECK-NEXT:    ret float [[CALL]]
22;
23  %call = call float @llvm.trunc.f32(float %arg0)
24  ret float %call
25}
26
27define float @ret_trunc_nopinf(float nofpclass(pinf) %arg0) {
28; CHECK-LABEL: define nofpclass(pinf sub) float @ret_trunc_nopinf
29; CHECK-SAME: (float nofpclass(pinf) [[ARG0:%.*]]) #[[ATTR1]] {
30; CHECK-NEXT:    [[CALL:%.*]] = call nofpclass(pinf sub) float @llvm.trunc.f32(float nofpclass(pinf) [[ARG0]]) #[[ATTR2]]
31; CHECK-NEXT:    ret float [[CALL]]
32;
33  %call = call float @llvm.trunc.f32(float %arg0)
34  ret float %call
35}
36
37define float @ret_trunc_noninf(float nofpclass(ninf) %arg0) {
38; CHECK-LABEL: define nofpclass(ninf sub) float @ret_trunc_noninf
39; CHECK-SAME: (float nofpclass(ninf) [[ARG0:%.*]]) #[[ATTR1]] {
40; CHECK-NEXT:    [[CALL:%.*]] = call nofpclass(ninf sub) float @llvm.trunc.f32(float nofpclass(ninf) [[ARG0]]) #[[ATTR2]]
41; CHECK-NEXT:    ret float [[CALL]]
42;
43  %call = call float @llvm.trunc.f32(float %arg0)
44  ret float %call
45}
46
47define float @ret_trunc_nonan(float nofpclass(nan) %arg0) {
48; CHECK-LABEL: define nofpclass(nan sub) float @ret_trunc_nonan
49; CHECK-SAME: (float nofpclass(nan) [[ARG0:%.*]]) #[[ATTR1]] {
50; CHECK-NEXT:    [[CALL:%.*]] = call nofpclass(nan sub) float @llvm.trunc.f32(float nofpclass(nan) [[ARG0]]) #[[ATTR2]]
51; CHECK-NEXT:    ret float [[CALL]]
52;
53  %call = call float @llvm.trunc.f32(float %arg0)
54  ret float %call
55}
56
57define float @ret_trunc_noqnan(float nofpclass(qnan) %arg0) {
58; CHECK-LABEL: define nofpclass(sub) float @ret_trunc_noqnan
59; CHECK-SAME: (float nofpclass(qnan) [[ARG0:%.*]]) #[[ATTR1]] {
60; CHECK-NEXT:    [[CALL:%.*]] = call nofpclass(sub) float @llvm.trunc.f32(float nofpclass(qnan) [[ARG0]]) #[[ATTR2]]
61; CHECK-NEXT:    ret float [[CALL]]
62;
63  %call = call float @llvm.trunc.f32(float %arg0)
64  ret float %call
65}
66
67define float @ret_trunc_nosnan(float nofpclass(snan) %arg0) {
68; CHECK-LABEL: define nofpclass(snan sub) float @ret_trunc_nosnan
69; CHECK-SAME: (float nofpclass(snan) [[ARG0:%.*]]) #[[ATTR1]] {
70; CHECK-NEXT:    [[CALL:%.*]] = call nofpclass(snan sub) float @llvm.trunc.f32(float nofpclass(snan) [[ARG0]]) #[[ATTR2]]
71; CHECK-NEXT:    ret float [[CALL]]
72;
73  %call = call float @llvm.trunc.f32(float %arg0)
74  ret float %call
75}
76
77define float @ret_trunc_nozero(float nofpclass(zero) %arg0) {
78; CHECK-LABEL: define nofpclass(sub) float @ret_trunc_nozero
79; CHECK-SAME: (float nofpclass(zero) [[ARG0:%.*]]) #[[ATTR1]] {
80; CHECK-NEXT:    [[CALL:%.*]] = call nofpclass(sub) float @llvm.trunc.f32(float nofpclass(zero) [[ARG0]]) #[[ATTR2]]
81; CHECK-NEXT:    ret float [[CALL]]
82;
83  %call = call float @llvm.trunc.f32(float %arg0)
84  ret float %call
85}
86
87define float @ret_trunc_nopzero(float nofpclass(pzero) %arg0) {
88; CHECK-LABEL: define nofpclass(sub) float @ret_trunc_nopzero
89; CHECK-SAME: (float nofpclass(pzero) [[ARG0:%.*]]) #[[ATTR1]] {
90; CHECK-NEXT:    [[CALL:%.*]] = call nofpclass(sub) float @llvm.trunc.f32(float nofpclass(pzero) [[ARG0]]) #[[ATTR2]]
91; CHECK-NEXT:    ret float [[CALL]]
92;
93  %call = call float @llvm.trunc.f32(float %arg0)
94  ret float %call
95}
96
97define float @ret_trunc_nonzero(float nofpclass(nzero) %arg0) {
98; CHECK-LABEL: define nofpclass(sub) float @ret_trunc_nonzero
99; CHECK-SAME: (float nofpclass(nzero) [[ARG0:%.*]]) #[[ATTR1]] {
100; CHECK-NEXT:    [[CALL:%.*]] = call nofpclass(sub) float @llvm.trunc.f32(float nofpclass(nzero) [[ARG0]]) #[[ATTR2]]
101; CHECK-NEXT:    ret float [[CALL]]
102;
103  %call = call float @llvm.trunc.f32(float %arg0)
104  ret float %call
105}
106
107define float @ret_trunc_nonorm(float nofpclass(norm) %arg0) {
108; CHECK-LABEL: define nofpclass(sub) float @ret_trunc_nonorm
109; CHECK-SAME: (float nofpclass(norm) [[ARG0:%.*]]) #[[ATTR1]] {
110; CHECK-NEXT:    [[CALL:%.*]] = call nofpclass(sub) float @llvm.trunc.f32(float nofpclass(norm) [[ARG0]]) #[[ATTR2]]
111; CHECK-NEXT:    ret float [[CALL]]
112;
113  %call = call float @llvm.trunc.f32(float %arg0)
114  ret float %call
115}
116
117define float @ret_trunc_nonnorm(float nofpclass(nnorm) %arg0) {
118; CHECK-LABEL: define nofpclass(sub) float @ret_trunc_nonnorm
119; CHECK-SAME: (float nofpclass(nnorm) [[ARG0:%.*]]) #[[ATTR1]] {
120; CHECK-NEXT:    [[CALL:%.*]] = call nofpclass(sub) float @llvm.trunc.f32(float nofpclass(nnorm) [[ARG0]]) #[[ATTR2]]
121; CHECK-NEXT:    ret float [[CALL]]
122;
123  %call = call float @llvm.trunc.f32(float %arg0)
124  ret float %call
125}
126
127define float @ret_trunc_nopnorm(float nofpclass(pnorm) %arg0) {
128; CHECK-LABEL: define nofpclass(sub) float @ret_trunc_nopnorm
129; CHECK-SAME: (float nofpclass(pnorm) [[ARG0:%.*]]) #[[ATTR1]] {
130; CHECK-NEXT:    [[CALL:%.*]] = call nofpclass(sub) float @llvm.trunc.f32(float nofpclass(pnorm) [[ARG0]]) #[[ATTR2]]
131; CHECK-NEXT:    ret float [[CALL]]
132;
133  %call = call float @llvm.trunc.f32(float %arg0)
134  ret float %call
135}
136
137define float @ret_trunc_nonsub(float nofpclass(nsub) %arg0) {
138; CHECK-LABEL: define nofpclass(sub) float @ret_trunc_nonsub
139; CHECK-SAME: (float nofpclass(nsub) [[ARG0:%.*]]) #[[ATTR1]] {
140; CHECK-NEXT:    [[CALL:%.*]] = call nofpclass(sub) float @llvm.trunc.f32(float nofpclass(nsub) [[ARG0]]) #[[ATTR2]]
141; CHECK-NEXT:    ret float [[CALL]]
142;
143  %call = call float @llvm.trunc.f32(float %arg0)
144  ret float %call
145}
146
147define float @ret_trunc_nopsub(float nofpclass(psub) %arg0) {
148; CHECK-LABEL: define nofpclass(sub) float @ret_trunc_nopsub
149; CHECK-SAME: (float nofpclass(psub) [[ARG0:%.*]]) #[[ATTR1]] {
150; CHECK-NEXT:    [[CALL:%.*]] = call nofpclass(sub) float @llvm.trunc.f32(float nofpclass(psub) [[ARG0]]) #[[ATTR2]]
151; CHECK-NEXT:    ret float [[CALL]]
152;
153  %call = call float @llvm.trunc.f32(float %arg0)
154  ret float %call
155}
156
157define float @ret_trunc_nonorm_nosub(float nofpclass(norm sub) %arg0) {
158; CHECK-LABEL: define nofpclass(sub) float @ret_trunc_nonorm_nosub
159; CHECK-SAME: (float nofpclass(sub norm) [[ARG0:%.*]]) #[[ATTR1]] {
160; CHECK-NEXT:    [[CALL:%.*]] = call nofpclass(sub) float @llvm.trunc.f32(float nofpclass(sub norm) [[ARG0]]) #[[ATTR2]]
161; CHECK-NEXT:    ret float [[CALL]]
162;
163  %call = call float @llvm.trunc.f32(float %arg0)
164  ret float %call
165}
166
167define float @ret_trunc_nopnorm_nopsub(float nofpclass(pnorm psub) %arg0) {
168; CHECK-LABEL: define nofpclass(sub) float @ret_trunc_nopnorm_nopsub
169; CHECK-SAME: (float nofpclass(psub pnorm) [[ARG0:%.*]]) #[[ATTR1]] {
170; CHECK-NEXT:    [[CALL:%.*]] = call nofpclass(sub) float @llvm.trunc.f32(float nofpclass(psub pnorm) [[ARG0]]) #[[ATTR2]]
171; CHECK-NEXT:    ret float [[CALL]]
172;
173  %call = call float @llvm.trunc.f32(float %arg0)
174  ret float %call
175}
176
177define float @ret_trunc_nonnorm_nonsub(float nofpclass(nnorm nsub) %arg0) {
178; CHECK-LABEL: define nofpclass(sub) float @ret_trunc_nonnorm_nonsub
179; CHECK-SAME: (float nofpclass(nsub nnorm) [[ARG0:%.*]]) #[[ATTR1]] {
180; CHECK-NEXT:    [[CALL:%.*]] = call nofpclass(sub) float @llvm.trunc.f32(float nofpclass(nsub nnorm) [[ARG0]]) #[[ATTR2]]
181; CHECK-NEXT:    ret float [[CALL]]
182;
183  %call = call float @llvm.trunc.f32(float %arg0)
184  ret float %call
185}
186
187define float @ret_trunc_nopnorm_nonsub(float nofpclass(pnorm nsub) %arg0) {
188; CHECK-LABEL: define nofpclass(sub) float @ret_trunc_nopnorm_nonsub
189; CHECK-SAME: (float nofpclass(nsub pnorm) [[ARG0:%.*]]) #[[ATTR1]] {
190; CHECK-NEXT:    [[CALL:%.*]] = call nofpclass(sub) float @llvm.trunc.f32(float nofpclass(nsub pnorm) [[ARG0]]) #[[ATTR2]]
191; CHECK-NEXT:    ret float [[CALL]]
192;
193  %call = call float @llvm.trunc.f32(float %arg0)
194  ret float %call
195}
196
197define ppc_fp128 @ret_trunc_ppcf128(ppc_fp128 %arg0) {
198; CHECK-LABEL: define nofpclass(sub) ppc_fp128 @ret_trunc_ppcf128
199; CHECK-SAME: (ppc_fp128 [[ARG0:%.*]]) #[[ATTR1]] {
200; CHECK-NEXT:    [[CALL:%.*]] = call nofpclass(sub) ppc_fp128 @llvm.trunc.ppcf128(ppc_fp128 [[ARG0]]) #[[ATTR2]]
201; CHECK-NEXT:    ret ppc_fp128 [[CALL]]
202;
203  %call = call ppc_fp128 @llvm.trunc.ppcf128(ppc_fp128 %arg0)
204  ret ppc_fp128 %call
205}
206
207define ppc_fp128 @ret_trunc_noinf_ppcf128(ppc_fp128 nofpclass(inf) %arg0) {
208; CHECK-LABEL: define nofpclass(inf sub) ppc_fp128 @ret_trunc_noinf_ppcf128
209; CHECK-SAME: (ppc_fp128 nofpclass(inf) [[ARG0:%.*]]) #[[ATTR1]] {
210; CHECK-NEXT:    [[CALL:%.*]] = call nofpclass(inf sub) ppc_fp128 @llvm.trunc.ppcf128(ppc_fp128 nofpclass(inf) [[ARG0]]) #[[ATTR2]]
211; CHECK-NEXT:    ret ppc_fp128 [[CALL]]
212;
213  %call = call ppc_fp128 @llvm.trunc.ppcf128(ppc_fp128 %arg0)
214  ret ppc_fp128 %call
215}
216
217define ppc_fp128 @ret_trunc_nopinf_ppcf128(ppc_fp128 nofpclass(pinf) %arg0) {
218; CHECK-LABEL: define nofpclass(pinf sub) ppc_fp128 @ret_trunc_nopinf_ppcf128
219; CHECK-SAME: (ppc_fp128 nofpclass(pinf) [[ARG0:%.*]]) #[[ATTR1]] {
220; CHECK-NEXT:    [[CALL:%.*]] = call nofpclass(pinf sub) ppc_fp128 @llvm.trunc.ppcf128(ppc_fp128 nofpclass(pinf) [[ARG0]]) #[[ATTR2]]
221; CHECK-NEXT:    ret ppc_fp128 [[CALL]]
222;
223  %call = call ppc_fp128 @llvm.trunc.ppcf128(ppc_fp128 %arg0)
224  ret ppc_fp128 %call
225}
226
227define ppc_fp128 @ret_trunc_noninf_ppcf128(ppc_fp128 nofpclass(ninf) %arg0) {
228; CHECK-LABEL: define nofpclass(ninf sub) ppc_fp128 @ret_trunc_noninf_ppcf128
229; CHECK-SAME: (ppc_fp128 nofpclass(ninf) [[ARG0:%.*]]) #[[ATTR1]] {
230; CHECK-NEXT:    [[CALL:%.*]] = call nofpclass(ninf sub) ppc_fp128 @llvm.trunc.ppcf128(ppc_fp128 nofpclass(ninf) [[ARG0]]) #[[ATTR2]]
231; CHECK-NEXT:    ret ppc_fp128 [[CALL]]
232;
233  %call = call ppc_fp128 @llvm.trunc.ppcf128(ppc_fp128 %arg0)
234  ret ppc_fp128 %call
235}
236
237define ppc_fp128 @ret_trunc_nonan_ppcf128(ppc_fp128 nofpclass(nan) %arg0) {
238; CHECK-LABEL: define nofpclass(nan sub) ppc_fp128 @ret_trunc_nonan_ppcf128
239; CHECK-SAME: (ppc_fp128 nofpclass(nan) [[ARG0:%.*]]) #[[ATTR1]] {
240; CHECK-NEXT:    [[CALL:%.*]] = call nofpclass(nan sub) ppc_fp128 @llvm.trunc.ppcf128(ppc_fp128 nofpclass(nan) [[ARG0]]) #[[ATTR2]]
241; CHECK-NEXT:    ret ppc_fp128 [[CALL]]
242;
243  %call = call ppc_fp128 @llvm.trunc.ppcf128(ppc_fp128 %arg0)
244  ret ppc_fp128 %call
245}
246
247define float @ret_trunc_nopzero_nopnorm(float nofpclass(pzero pnorm) %arg0) {
248; CHECK-LABEL: define nofpclass(sub) float @ret_trunc_nopzero_nopnorm
249; CHECK-SAME: (float nofpclass(pzero pnorm) [[ARG0:%.*]]) #[[ATTR1]] {
250; CHECK-NEXT:    [[CALL:%.*]] = call nofpclass(sub) float @llvm.trunc.f32(float nofpclass(pzero pnorm) [[ARG0]]) #[[ATTR2]]
251; CHECK-NEXT:    ret float [[CALL]]
252;
253  %call = call float @llvm.trunc.f32(float %arg0)
254  ret float %call
255}
256
257define float @ret_trunc_nonzero_nonnorm(float nofpclass(nzero nnorm) %arg0) {
258; CHECK-LABEL: define nofpclass(sub) float @ret_trunc_nonzero_nonnorm
259; CHECK-SAME: (float nofpclass(nzero nnorm) [[ARG0:%.*]]) #[[ATTR1]] {
260; CHECK-NEXT:    [[CALL:%.*]] = call nofpclass(sub) float @llvm.trunc.f32(float nofpclass(nzero nnorm) [[ARG0]]) #[[ATTR2]]
261; CHECK-NEXT:    ret float [[CALL]]
262;
263  %call = call float @llvm.trunc.f32(float %arg0)
264  ret float %call
265}
266
267define float @ret_trunc_nozero_nonorm(float nofpclass(zero norm) %arg0) {
268; CHECK-LABEL: define nofpclass(sub) float @ret_trunc_nozero_nonorm
269; CHECK-SAME: (float nofpclass(zero norm) [[ARG0:%.*]]) #[[ATTR1]] {
270; CHECK-NEXT:    [[CALL:%.*]] = call nofpclass(sub) float @llvm.trunc.f32(float nofpclass(zero norm) [[ARG0]]) #[[ATTR2]]
271; CHECK-NEXT:    ret float [[CALL]]
272;
273  %call = call float @llvm.trunc.f32(float %arg0)
274  ret float %call
275}
276
277;; NOTE: These prefixes are unused and the list is autogenerated. Do not add tests below this line:
278; TUNIT: {{.*}}
279