blob: dcc2ed0bbc8251db105ead08f5ef052ad44073eb [file] [log] [blame]
Richard Henderson951c6302014-09-19 11:39:20 -07001/*
2 * Tiny Code Generator for QEMU
3 *
4 * Copyright (c) 2008 Fabrice Bellard
5 *
6 * Permission is hereby granted, free of charge, to any person obtaining a copy
7 * of this software and associated documentation files (the "Software"), to deal
8 * in the Software without restriction, including without limitation the rights
9 * to use, copy, modify, merge, publish, distribute, sublicense, and/or sell
10 * copies of the Software, and to permit persons to whom the Software is
11 * furnished to do so, subject to the following conditions:
12 *
13 * The above copyright notice and this permission notice shall be included in
14 * all copies or substantial portions of the Software.
15 *
16 * THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND, EXPRESS OR
17 * IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF MERCHANTABILITY,
18 * FITNESS FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT. IN NO EVENT SHALL
19 * THE AUTHORS OR COPYRIGHT HOLDERS BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER
20 * LIABILITY, WHETHER IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING FROM,
21 * OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN
22 * THE SOFTWARE.
23 */
24
Peter Maydell757e7252016-01-26 18:17:08 +000025#include "qemu/osdep.h"
Paolo Bonzini63c91552016-03-15 13:18:37 +010026#include "exec/exec-all.h"
Philippe Mathieu-Daudédcb32f12020-01-01 12:23:00 +010027#include "tcg/tcg.h"
28#include "tcg/tcg-op.h"
29#include "tcg/tcg-mo.h"
Lluís Vilanovadcdaadb2016-06-09 19:31:47 +020030#include "trace-tcg.h"
31#include "trace/mem.h"
Emilio G. Cotae6d86be2018-10-21 13:24:26 -040032#include "exec/plugin-gen.h"
Richard Henderson951c6302014-09-19 11:39:20 -070033
Richard Henderson3a13c3f2014-09-19 11:41:05 -070034/* Reduce the number of ifdefs below. This assumes that all uses of
35 TCGV_HIGH and TCGV_LOW are properly protected by a conditional that
36 the compiler can eliminate. */
37#if TCG_TARGET_REG_BITS == 64
38extern TCGv_i32 TCGV_LOW_link_error(TCGv_i64);
39extern TCGv_i32 TCGV_HIGH_link_error(TCGv_i64);
40#define TCGV_LOW TCGV_LOW_link_error
41#define TCGV_HIGH TCGV_HIGH_link_error
42#endif
Richard Henderson951c6302014-09-19 11:39:20 -070043
Richard Hendersonb7e8b172017-10-15 11:50:16 -070044void tcg_gen_op1(TCGOpcode opc, TCGArg a1)
Richard Henderson951c6302014-09-19 11:39:20 -070045{
Richard Hendersonb7e8b172017-10-15 11:50:16 -070046 TCGOp *op = tcg_emit_op(opc);
Richard Henderson75e8b9b2016-12-08 10:52:57 -080047 op->args[0] = a1;
Richard Henderson951c6302014-09-19 11:39:20 -070048}
49
Richard Hendersonb7e8b172017-10-15 11:50:16 -070050void tcg_gen_op2(TCGOpcode opc, TCGArg a1, TCGArg a2)
Richard Henderson951c6302014-09-19 11:39:20 -070051{
Richard Hendersonb7e8b172017-10-15 11:50:16 -070052 TCGOp *op = tcg_emit_op(opc);
Richard Henderson75e8b9b2016-12-08 10:52:57 -080053 op->args[0] = a1;
54 op->args[1] = a2;
Richard Henderson951c6302014-09-19 11:39:20 -070055}
56
Richard Hendersonb7e8b172017-10-15 11:50:16 -070057void tcg_gen_op3(TCGOpcode opc, TCGArg a1, TCGArg a2, TCGArg a3)
Richard Henderson951c6302014-09-19 11:39:20 -070058{
Richard Hendersonb7e8b172017-10-15 11:50:16 -070059 TCGOp *op = tcg_emit_op(opc);
Richard Henderson75e8b9b2016-12-08 10:52:57 -080060 op->args[0] = a1;
61 op->args[1] = a2;
62 op->args[2] = a3;
Richard Henderson951c6302014-09-19 11:39:20 -070063}
64
Richard Hendersonb7e8b172017-10-15 11:50:16 -070065void tcg_gen_op4(TCGOpcode opc, TCGArg a1, TCGArg a2, TCGArg a3, TCGArg a4)
Richard Henderson951c6302014-09-19 11:39:20 -070066{
Richard Hendersonb7e8b172017-10-15 11:50:16 -070067 TCGOp *op = tcg_emit_op(opc);
Richard Henderson75e8b9b2016-12-08 10:52:57 -080068 op->args[0] = a1;
69 op->args[1] = a2;
70 op->args[2] = a3;
71 op->args[3] = a4;
Richard Henderson951c6302014-09-19 11:39:20 -070072}
73
Richard Hendersonb7e8b172017-10-15 11:50:16 -070074void tcg_gen_op5(TCGOpcode opc, TCGArg a1, TCGArg a2, TCGArg a3,
75 TCGArg a4, TCGArg a5)
Richard Henderson951c6302014-09-19 11:39:20 -070076{
Richard Hendersonb7e8b172017-10-15 11:50:16 -070077 TCGOp *op = tcg_emit_op(opc);
Richard Henderson75e8b9b2016-12-08 10:52:57 -080078 op->args[0] = a1;
79 op->args[1] = a2;
80 op->args[2] = a3;
81 op->args[3] = a4;
82 op->args[4] = a5;
Richard Henderson951c6302014-09-19 11:39:20 -070083}
84
Richard Hendersonb7e8b172017-10-15 11:50:16 -070085void tcg_gen_op6(TCGOpcode opc, TCGArg a1, TCGArg a2, TCGArg a3,
86 TCGArg a4, TCGArg a5, TCGArg a6)
Richard Henderson951c6302014-09-19 11:39:20 -070087{
Richard Hendersonb7e8b172017-10-15 11:50:16 -070088 TCGOp *op = tcg_emit_op(opc);
Richard Henderson75e8b9b2016-12-08 10:52:57 -080089 op->args[0] = a1;
90 op->args[1] = a2;
91 op->args[2] = a3;
92 op->args[3] = a4;
93 op->args[4] = a5;
94 op->args[5] = a6;
Richard Henderson951c6302014-09-19 11:39:20 -070095}
96
Pranith Kumarf65e19b2016-07-14 16:20:13 -040097void tcg_gen_mb(TCGBar mb_type)
98{
Emilio G. Cotab1311c42017-07-12 17:15:52 -040099 if (tcg_ctx->tb_cflags & CF_PARALLEL) {
Richard Hendersonb7e8b172017-10-15 11:50:16 -0700100 tcg_gen_op1(INDEX_op_mb, mb_type);
Pranith Kumarf65e19b2016-07-14 16:20:13 -0400101 }
102}
103
Richard Henderson951c6302014-09-19 11:39:20 -0700104/* 32 bit ops */
105
Richard Henderson11d11d62020-03-29 20:07:08 -0700106void tcg_gen_movi_i32(TCGv_i32 ret, int32_t arg)
107{
108 tcg_gen_mov_i32(ret, tcg_constant_i32(arg));
109}
110
Richard Henderson951c6302014-09-19 11:39:20 -0700111void tcg_gen_addi_i32(TCGv_i32 ret, TCGv_i32 arg1, int32_t arg2)
112{
113 /* some cases can be optimized here */
114 if (arg2 == 0) {
115 tcg_gen_mov_i32(ret, arg1);
116 } else {
Richard Henderson11d11d62020-03-29 20:07:08 -0700117 tcg_gen_add_i32(ret, arg1, tcg_constant_i32(arg2));
Richard Henderson951c6302014-09-19 11:39:20 -0700118 }
119}
120
121void tcg_gen_subfi_i32(TCGv_i32 ret, int32_t arg1, TCGv_i32 arg2)
122{
123 if (arg1 == 0 && TCG_TARGET_HAS_neg_i32) {
124 /* Don't recurse with tcg_gen_neg_i32. */
125 tcg_gen_op2_i32(INDEX_op_neg_i32, ret, arg2);
126 } else {
Richard Henderson11d11d62020-03-29 20:07:08 -0700127 tcg_gen_sub_i32(ret, tcg_constant_i32(arg1), arg2);
Richard Henderson951c6302014-09-19 11:39:20 -0700128 }
129}
130
131void tcg_gen_subi_i32(TCGv_i32 ret, TCGv_i32 arg1, int32_t arg2)
132{
133 /* some cases can be optimized here */
134 if (arg2 == 0) {
135 tcg_gen_mov_i32(ret, arg1);
136 } else {
Richard Henderson11d11d62020-03-29 20:07:08 -0700137 tcg_gen_sub_i32(ret, arg1, tcg_constant_i32(arg2));
Richard Henderson951c6302014-09-19 11:39:20 -0700138 }
139}
140
Richard Henderson474b2e82018-01-04 07:44:17 -0800141void tcg_gen_andi_i32(TCGv_i32 ret, TCGv_i32 arg1, int32_t arg2)
Richard Henderson951c6302014-09-19 11:39:20 -0700142{
Richard Henderson951c6302014-09-19 11:39:20 -0700143 /* Some cases can be optimized here. */
144 switch (arg2) {
145 case 0:
146 tcg_gen_movi_i32(ret, 0);
147 return;
Richard Henderson474b2e82018-01-04 07:44:17 -0800148 case -1:
Richard Henderson951c6302014-09-19 11:39:20 -0700149 tcg_gen_mov_i32(ret, arg1);
150 return;
Richard Henderson474b2e82018-01-04 07:44:17 -0800151 case 0xff:
Richard Henderson951c6302014-09-19 11:39:20 -0700152 /* Don't recurse with tcg_gen_ext8u_i32. */
153 if (TCG_TARGET_HAS_ext8u_i32) {
154 tcg_gen_op2_i32(INDEX_op_ext8u_i32, ret, arg1);
155 return;
156 }
157 break;
Richard Henderson474b2e82018-01-04 07:44:17 -0800158 case 0xffff:
Richard Henderson951c6302014-09-19 11:39:20 -0700159 if (TCG_TARGET_HAS_ext16u_i32) {
160 tcg_gen_op2_i32(INDEX_op_ext16u_i32, ret, arg1);
161 return;
162 }
163 break;
164 }
Richard Henderson11d11d62020-03-29 20:07:08 -0700165
166 tcg_gen_and_i32(ret, arg1, tcg_constant_i32(arg2));
Richard Henderson951c6302014-09-19 11:39:20 -0700167}
168
169void tcg_gen_ori_i32(TCGv_i32 ret, TCGv_i32 arg1, int32_t arg2)
170{
171 /* Some cases can be optimized here. */
172 if (arg2 == -1) {
173 tcg_gen_movi_i32(ret, -1);
174 } else if (arg2 == 0) {
175 tcg_gen_mov_i32(ret, arg1);
176 } else {
Richard Henderson11d11d62020-03-29 20:07:08 -0700177 tcg_gen_or_i32(ret, arg1, tcg_constant_i32(arg2));
Richard Henderson951c6302014-09-19 11:39:20 -0700178 }
179}
180
181void tcg_gen_xori_i32(TCGv_i32 ret, TCGv_i32 arg1, int32_t arg2)
182{
183 /* Some cases can be optimized here. */
184 if (arg2 == 0) {
185 tcg_gen_mov_i32(ret, arg1);
186 } else if (arg2 == -1 && TCG_TARGET_HAS_not_i32) {
187 /* Don't recurse with tcg_gen_not_i32. */
188 tcg_gen_op2_i32(INDEX_op_not_i32, ret, arg1);
189 } else {
Richard Henderson11d11d62020-03-29 20:07:08 -0700190 tcg_gen_xor_i32(ret, arg1, tcg_constant_i32(arg2));
Richard Henderson951c6302014-09-19 11:39:20 -0700191 }
192}
193
Richard Henderson474b2e82018-01-04 07:44:17 -0800194void tcg_gen_shli_i32(TCGv_i32 ret, TCGv_i32 arg1, int32_t arg2)
Richard Henderson951c6302014-09-19 11:39:20 -0700195{
Richard Henderson474b2e82018-01-04 07:44:17 -0800196 tcg_debug_assert(arg2 >= 0 && arg2 < 32);
Richard Henderson951c6302014-09-19 11:39:20 -0700197 if (arg2 == 0) {
198 tcg_gen_mov_i32(ret, arg1);
199 } else {
Richard Henderson11d11d62020-03-29 20:07:08 -0700200 tcg_gen_shl_i32(ret, arg1, tcg_constant_i32(arg2));
Richard Henderson951c6302014-09-19 11:39:20 -0700201 }
202}
203
Richard Henderson474b2e82018-01-04 07:44:17 -0800204void tcg_gen_shri_i32(TCGv_i32 ret, TCGv_i32 arg1, int32_t arg2)
Richard Henderson951c6302014-09-19 11:39:20 -0700205{
Richard Henderson474b2e82018-01-04 07:44:17 -0800206 tcg_debug_assert(arg2 >= 0 && arg2 < 32);
Richard Henderson951c6302014-09-19 11:39:20 -0700207 if (arg2 == 0) {
208 tcg_gen_mov_i32(ret, arg1);
209 } else {
Richard Henderson11d11d62020-03-29 20:07:08 -0700210 tcg_gen_shr_i32(ret, arg1, tcg_constant_i32(arg2));
Richard Henderson951c6302014-09-19 11:39:20 -0700211 }
212}
213
Richard Henderson474b2e82018-01-04 07:44:17 -0800214void tcg_gen_sari_i32(TCGv_i32 ret, TCGv_i32 arg1, int32_t arg2)
Richard Henderson951c6302014-09-19 11:39:20 -0700215{
Richard Henderson474b2e82018-01-04 07:44:17 -0800216 tcg_debug_assert(arg2 >= 0 && arg2 < 32);
Richard Henderson951c6302014-09-19 11:39:20 -0700217 if (arg2 == 0) {
218 tcg_gen_mov_i32(ret, arg1);
219 } else {
Richard Henderson11d11d62020-03-29 20:07:08 -0700220 tcg_gen_sar_i32(ret, arg1, tcg_constant_i32(arg2));
Richard Henderson951c6302014-09-19 11:39:20 -0700221 }
222}
223
Richard Henderson42a268c2015-02-13 12:51:55 -0800224void tcg_gen_brcond_i32(TCGCond cond, TCGv_i32 arg1, TCGv_i32 arg2, TCGLabel *l)
Richard Henderson951c6302014-09-19 11:39:20 -0700225{
226 if (cond == TCG_COND_ALWAYS) {
Richard Henderson42a268c2015-02-13 12:51:55 -0800227 tcg_gen_br(l);
Richard Henderson951c6302014-09-19 11:39:20 -0700228 } else if (cond != TCG_COND_NEVER) {
Richard Hendersond88a1172018-11-26 12:47:28 -0800229 l->refs++;
Richard Henderson42a268c2015-02-13 12:51:55 -0800230 tcg_gen_op4ii_i32(INDEX_op_brcond_i32, arg1, arg2, cond, label_arg(l));
Richard Henderson951c6302014-09-19 11:39:20 -0700231 }
232}
233
Richard Henderson42a268c2015-02-13 12:51:55 -0800234void tcg_gen_brcondi_i32(TCGCond cond, TCGv_i32 arg1, int32_t arg2, TCGLabel *l)
Richard Henderson951c6302014-09-19 11:39:20 -0700235{
Richard Henderson37ed3bf2015-02-20 11:13:50 -0800236 if (cond == TCG_COND_ALWAYS) {
237 tcg_gen_br(l);
238 } else if (cond != TCG_COND_NEVER) {
Richard Henderson11d11d62020-03-29 20:07:08 -0700239 tcg_gen_brcond_i32(cond, arg1, tcg_constant_i32(arg2), l);
Richard Henderson37ed3bf2015-02-20 11:13:50 -0800240 }
Richard Henderson951c6302014-09-19 11:39:20 -0700241}
242
243void tcg_gen_setcond_i32(TCGCond cond, TCGv_i32 ret,
244 TCGv_i32 arg1, TCGv_i32 arg2)
245{
246 if (cond == TCG_COND_ALWAYS) {
247 tcg_gen_movi_i32(ret, 1);
248 } else if (cond == TCG_COND_NEVER) {
249 tcg_gen_movi_i32(ret, 0);
250 } else {
251 tcg_gen_op4i_i32(INDEX_op_setcond_i32, ret, arg1, arg2, cond);
252 }
253}
254
255void tcg_gen_setcondi_i32(TCGCond cond, TCGv_i32 ret,
256 TCGv_i32 arg1, int32_t arg2)
257{
Richard Henderson11d11d62020-03-29 20:07:08 -0700258 tcg_gen_setcond_i32(cond, ret, arg1, tcg_constant_i32(arg2));
Richard Henderson951c6302014-09-19 11:39:20 -0700259}
260
261void tcg_gen_muli_i32(TCGv_i32 ret, TCGv_i32 arg1, int32_t arg2)
262{
Richard Hendersonb2e3ae92018-01-31 13:20:07 -0800263 if (arg2 == 0) {
264 tcg_gen_movi_i32(ret, 0);
265 } else if (is_power_of_2(arg2)) {
266 tcg_gen_shli_i32(ret, arg1, ctz32(arg2));
267 } else {
Richard Henderson11d11d62020-03-29 20:07:08 -0700268 tcg_gen_mul_i32(ret, arg1, tcg_constant_i32(arg2));
Richard Hendersonb2e3ae92018-01-31 13:20:07 -0800269 }
Richard Henderson951c6302014-09-19 11:39:20 -0700270}
271
272void tcg_gen_div_i32(TCGv_i32 ret, TCGv_i32 arg1, TCGv_i32 arg2)
273{
274 if (TCG_TARGET_HAS_div_i32) {
275 tcg_gen_op3_i32(INDEX_op_div_i32, ret, arg1, arg2);
276 } else if (TCG_TARGET_HAS_div2_i32) {
277 TCGv_i32 t0 = tcg_temp_new_i32();
278 tcg_gen_sari_i32(t0, arg1, 31);
279 tcg_gen_op5_i32(INDEX_op_div2_i32, ret, t0, arg1, t0, arg2);
280 tcg_temp_free_i32(t0);
281 } else {
282 gen_helper_div_i32(ret, arg1, arg2);
283 }
284}
285
286void tcg_gen_rem_i32(TCGv_i32 ret, TCGv_i32 arg1, TCGv_i32 arg2)
287{
288 if (TCG_TARGET_HAS_rem_i32) {
289 tcg_gen_op3_i32(INDEX_op_rem_i32, ret, arg1, arg2);
290 } else if (TCG_TARGET_HAS_div_i32) {
291 TCGv_i32 t0 = tcg_temp_new_i32();
292 tcg_gen_op3_i32(INDEX_op_div_i32, t0, arg1, arg2);
293 tcg_gen_mul_i32(t0, t0, arg2);
294 tcg_gen_sub_i32(ret, arg1, t0);
295 tcg_temp_free_i32(t0);
296 } else if (TCG_TARGET_HAS_div2_i32) {
297 TCGv_i32 t0 = tcg_temp_new_i32();
298 tcg_gen_sari_i32(t0, arg1, 31);
299 tcg_gen_op5_i32(INDEX_op_div2_i32, t0, ret, arg1, t0, arg2);
300 tcg_temp_free_i32(t0);
301 } else {
302 gen_helper_rem_i32(ret, arg1, arg2);
303 }
304}
305
306void tcg_gen_divu_i32(TCGv_i32 ret, TCGv_i32 arg1, TCGv_i32 arg2)
307{
308 if (TCG_TARGET_HAS_div_i32) {
309 tcg_gen_op3_i32(INDEX_op_divu_i32, ret, arg1, arg2);
310 } else if (TCG_TARGET_HAS_div2_i32) {
311 TCGv_i32 t0 = tcg_temp_new_i32();
312 tcg_gen_movi_i32(t0, 0);
313 tcg_gen_op5_i32(INDEX_op_divu2_i32, ret, t0, arg1, t0, arg2);
314 tcg_temp_free_i32(t0);
315 } else {
316 gen_helper_divu_i32(ret, arg1, arg2);
317 }
318}
319
320void tcg_gen_remu_i32(TCGv_i32 ret, TCGv_i32 arg1, TCGv_i32 arg2)
321{
322 if (TCG_TARGET_HAS_rem_i32) {
323 tcg_gen_op3_i32(INDEX_op_remu_i32, ret, arg1, arg2);
324 } else if (TCG_TARGET_HAS_div_i32) {
325 TCGv_i32 t0 = tcg_temp_new_i32();
326 tcg_gen_op3_i32(INDEX_op_divu_i32, t0, arg1, arg2);
327 tcg_gen_mul_i32(t0, t0, arg2);
328 tcg_gen_sub_i32(ret, arg1, t0);
329 tcg_temp_free_i32(t0);
330 } else if (TCG_TARGET_HAS_div2_i32) {
331 TCGv_i32 t0 = tcg_temp_new_i32();
332 tcg_gen_movi_i32(t0, 0);
333 tcg_gen_op5_i32(INDEX_op_divu2_i32, t0, ret, arg1, t0, arg2);
334 tcg_temp_free_i32(t0);
335 } else {
336 gen_helper_remu_i32(ret, arg1, arg2);
337 }
338}
339
340void tcg_gen_andc_i32(TCGv_i32 ret, TCGv_i32 arg1, TCGv_i32 arg2)
341{
342 if (TCG_TARGET_HAS_andc_i32) {
343 tcg_gen_op3_i32(INDEX_op_andc_i32, ret, arg1, arg2);
344 } else {
345 TCGv_i32 t0 = tcg_temp_new_i32();
346 tcg_gen_not_i32(t0, arg2);
347 tcg_gen_and_i32(ret, arg1, t0);
348 tcg_temp_free_i32(t0);
349 }
350}
351
352void tcg_gen_eqv_i32(TCGv_i32 ret, TCGv_i32 arg1, TCGv_i32 arg2)
353{
354 if (TCG_TARGET_HAS_eqv_i32) {
355 tcg_gen_op3_i32(INDEX_op_eqv_i32, ret, arg1, arg2);
356 } else {
357 tcg_gen_xor_i32(ret, arg1, arg2);
358 tcg_gen_not_i32(ret, ret);
359 }
360}
361
362void tcg_gen_nand_i32(TCGv_i32 ret, TCGv_i32 arg1, TCGv_i32 arg2)
363{
364 if (TCG_TARGET_HAS_nand_i32) {
365 tcg_gen_op3_i32(INDEX_op_nand_i32, ret, arg1, arg2);
366 } else {
367 tcg_gen_and_i32(ret, arg1, arg2);
368 tcg_gen_not_i32(ret, ret);
369 }
370}
371
372void tcg_gen_nor_i32(TCGv_i32 ret, TCGv_i32 arg1, TCGv_i32 arg2)
373{
374 if (TCG_TARGET_HAS_nor_i32) {
375 tcg_gen_op3_i32(INDEX_op_nor_i32, ret, arg1, arg2);
376 } else {
377 tcg_gen_or_i32(ret, arg1, arg2);
378 tcg_gen_not_i32(ret, ret);
379 }
380}
381
382void tcg_gen_orc_i32(TCGv_i32 ret, TCGv_i32 arg1, TCGv_i32 arg2)
383{
384 if (TCG_TARGET_HAS_orc_i32) {
385 tcg_gen_op3_i32(INDEX_op_orc_i32, ret, arg1, arg2);
386 } else {
387 TCGv_i32 t0 = tcg_temp_new_i32();
388 tcg_gen_not_i32(t0, arg2);
389 tcg_gen_or_i32(ret, arg1, t0);
390 tcg_temp_free_i32(t0);
391 }
392}
393
Richard Henderson0e28d002016-11-16 09:23:28 +0100394void tcg_gen_clz_i32(TCGv_i32 ret, TCGv_i32 arg1, TCGv_i32 arg2)
395{
396 if (TCG_TARGET_HAS_clz_i32) {
397 tcg_gen_op3_i32(INDEX_op_clz_i32, ret, arg1, arg2);
398 } else if (TCG_TARGET_HAS_clz_i64) {
399 TCGv_i64 t1 = tcg_temp_new_i64();
400 TCGv_i64 t2 = tcg_temp_new_i64();
401 tcg_gen_extu_i32_i64(t1, arg1);
402 tcg_gen_extu_i32_i64(t2, arg2);
403 tcg_gen_addi_i64(t2, t2, 32);
404 tcg_gen_clz_i64(t1, t1, t2);
405 tcg_gen_extrl_i64_i32(ret, t1);
406 tcg_temp_free_i64(t1);
407 tcg_temp_free_i64(t2);
408 tcg_gen_subi_i32(ret, ret, 32);
409 } else {
410 gen_helper_clz_i32(ret, arg1, arg2);
411 }
412}
413
414void tcg_gen_clzi_i32(TCGv_i32 ret, TCGv_i32 arg1, uint32_t arg2)
415{
Richard Henderson11d11d62020-03-29 20:07:08 -0700416 tcg_gen_clz_i32(ret, arg1, tcg_constant_i32(arg2));
Richard Henderson0e28d002016-11-16 09:23:28 +0100417}
418
419void tcg_gen_ctz_i32(TCGv_i32 ret, TCGv_i32 arg1, TCGv_i32 arg2)
420{
421 if (TCG_TARGET_HAS_ctz_i32) {
422 tcg_gen_op3_i32(INDEX_op_ctz_i32, ret, arg1, arg2);
423 } else if (TCG_TARGET_HAS_ctz_i64) {
424 TCGv_i64 t1 = tcg_temp_new_i64();
425 TCGv_i64 t2 = tcg_temp_new_i64();
426 tcg_gen_extu_i32_i64(t1, arg1);
427 tcg_gen_extu_i32_i64(t2, arg2);
428 tcg_gen_ctz_i64(t1, t1, t2);
429 tcg_gen_extrl_i64_i32(ret, t1);
430 tcg_temp_free_i64(t1);
431 tcg_temp_free_i64(t2);
Richard Henderson14e99212016-11-22 12:40:35 +0000432 } else if (TCG_TARGET_HAS_ctpop_i32
433 || TCG_TARGET_HAS_ctpop_i64
434 || TCG_TARGET_HAS_clz_i32
435 || TCG_TARGET_HAS_clz_i64) {
436 TCGv_i32 z, t = tcg_temp_new_i32();
437
438 if (TCG_TARGET_HAS_ctpop_i32 || TCG_TARGET_HAS_ctpop_i64) {
439 tcg_gen_subi_i32(t, arg1, 1);
440 tcg_gen_andc_i32(t, t, arg1);
441 tcg_gen_ctpop_i32(t, t);
442 } else {
443 /* Since all non-x86 hosts have clz(0) == 32, don't fight it. */
444 tcg_gen_neg_i32(t, arg1);
445 tcg_gen_and_i32(t, t, arg1);
446 tcg_gen_clzi_i32(t, t, 32);
447 tcg_gen_xori_i32(t, t, 31);
448 }
Richard Henderson11d11d62020-03-29 20:07:08 -0700449 z = tcg_constant_i32(0);
Richard Henderson14e99212016-11-22 12:40:35 +0000450 tcg_gen_movcond_i32(TCG_COND_EQ, ret, arg1, z, arg2, t);
451 tcg_temp_free_i32(t);
Richard Henderson0e28d002016-11-16 09:23:28 +0100452 } else {
453 gen_helper_ctz_i32(ret, arg1, arg2);
454 }
455}
456
457void tcg_gen_ctzi_i32(TCGv_i32 ret, TCGv_i32 arg1, uint32_t arg2)
458{
Richard Henderson14e99212016-11-22 12:40:35 +0000459 if (!TCG_TARGET_HAS_ctz_i32 && TCG_TARGET_HAS_ctpop_i32 && arg2 == 32) {
460 /* This equivalence has the advantage of not requiring a fixup. */
461 TCGv_i32 t = tcg_temp_new_i32();
462 tcg_gen_subi_i32(t, arg1, 1);
463 tcg_gen_andc_i32(t, t, arg1);
464 tcg_gen_ctpop_i32(ret, t);
465 tcg_temp_free_i32(t);
466 } else {
Richard Henderson11d11d62020-03-29 20:07:08 -0700467 tcg_gen_ctz_i32(ret, arg1, tcg_constant_i32(arg2));
Richard Henderson14e99212016-11-22 12:40:35 +0000468 }
Richard Henderson0e28d002016-11-16 09:23:28 +0100469}
470
Richard Henderson086920c2016-11-16 17:32:48 +0100471void tcg_gen_clrsb_i32(TCGv_i32 ret, TCGv_i32 arg)
472{
473 if (TCG_TARGET_HAS_clz_i32) {
474 TCGv_i32 t = tcg_temp_new_i32();
475 tcg_gen_sari_i32(t, arg, 31);
476 tcg_gen_xor_i32(t, t, arg);
477 tcg_gen_clzi_i32(t, t, 32);
478 tcg_gen_subi_i32(ret, t, 1);
479 tcg_temp_free_i32(t);
480 } else {
481 gen_helper_clrsb_i32(ret, arg);
482 }
483}
484
Richard Hendersona768e4e2016-11-21 11:13:39 +0100485void tcg_gen_ctpop_i32(TCGv_i32 ret, TCGv_i32 arg1)
486{
487 if (TCG_TARGET_HAS_ctpop_i32) {
488 tcg_gen_op2_i32(INDEX_op_ctpop_i32, ret, arg1);
489 } else if (TCG_TARGET_HAS_ctpop_i64) {
490 TCGv_i64 t = tcg_temp_new_i64();
491 tcg_gen_extu_i32_i64(t, arg1);
492 tcg_gen_ctpop_i64(t, t);
493 tcg_gen_extrl_i64_i32(ret, t);
494 tcg_temp_free_i64(t);
495 } else {
496 gen_helper_ctpop_i32(ret, arg1);
497 }
498}
499
Richard Henderson951c6302014-09-19 11:39:20 -0700500void tcg_gen_rotl_i32(TCGv_i32 ret, TCGv_i32 arg1, TCGv_i32 arg2)
501{
502 if (TCG_TARGET_HAS_rot_i32) {
503 tcg_gen_op3_i32(INDEX_op_rotl_i32, ret, arg1, arg2);
504 } else {
505 TCGv_i32 t0, t1;
506
507 t0 = tcg_temp_new_i32();
508 t1 = tcg_temp_new_i32();
509 tcg_gen_shl_i32(t0, arg1, arg2);
510 tcg_gen_subfi_i32(t1, 32, arg2);
511 tcg_gen_shr_i32(t1, arg1, t1);
512 tcg_gen_or_i32(ret, t0, t1);
513 tcg_temp_free_i32(t0);
514 tcg_temp_free_i32(t1);
515 }
516}
517
Richard Henderson07dada02020-04-19 17:58:23 -0700518void tcg_gen_rotli_i32(TCGv_i32 ret, TCGv_i32 arg1, int32_t arg2)
Richard Henderson951c6302014-09-19 11:39:20 -0700519{
Richard Henderson07dada02020-04-19 17:58:23 -0700520 tcg_debug_assert(arg2 >= 0 && arg2 < 32);
Richard Henderson951c6302014-09-19 11:39:20 -0700521 /* some cases can be optimized here */
522 if (arg2 == 0) {
523 tcg_gen_mov_i32(ret, arg1);
524 } else if (TCG_TARGET_HAS_rot_i32) {
Richard Henderson11d11d62020-03-29 20:07:08 -0700525 tcg_gen_rotl_i32(ret, arg1, tcg_constant_i32(arg2));
Richard Henderson951c6302014-09-19 11:39:20 -0700526 } else {
527 TCGv_i32 t0, t1;
528 t0 = tcg_temp_new_i32();
529 t1 = tcg_temp_new_i32();
530 tcg_gen_shli_i32(t0, arg1, arg2);
531 tcg_gen_shri_i32(t1, arg1, 32 - arg2);
532 tcg_gen_or_i32(ret, t0, t1);
533 tcg_temp_free_i32(t0);
534 tcg_temp_free_i32(t1);
535 }
536}
537
538void tcg_gen_rotr_i32(TCGv_i32 ret, TCGv_i32 arg1, TCGv_i32 arg2)
539{
540 if (TCG_TARGET_HAS_rot_i32) {
541 tcg_gen_op3_i32(INDEX_op_rotr_i32, ret, arg1, arg2);
542 } else {
543 TCGv_i32 t0, t1;
544
545 t0 = tcg_temp_new_i32();
546 t1 = tcg_temp_new_i32();
547 tcg_gen_shr_i32(t0, arg1, arg2);
548 tcg_gen_subfi_i32(t1, 32, arg2);
549 tcg_gen_shl_i32(t1, arg1, t1);
550 tcg_gen_or_i32(ret, t0, t1);
551 tcg_temp_free_i32(t0);
552 tcg_temp_free_i32(t1);
553 }
554}
555
Richard Henderson07dada02020-04-19 17:58:23 -0700556void tcg_gen_rotri_i32(TCGv_i32 ret, TCGv_i32 arg1, int32_t arg2)
Richard Henderson951c6302014-09-19 11:39:20 -0700557{
Richard Henderson07dada02020-04-19 17:58:23 -0700558 tcg_debug_assert(arg2 >= 0 && arg2 < 32);
Richard Henderson951c6302014-09-19 11:39:20 -0700559 /* some cases can be optimized here */
560 if (arg2 == 0) {
561 tcg_gen_mov_i32(ret, arg1);
562 } else {
563 tcg_gen_rotli_i32(ret, arg1, 32 - arg2);
564 }
565}
566
567void tcg_gen_deposit_i32(TCGv_i32 ret, TCGv_i32 arg1, TCGv_i32 arg2,
568 unsigned int ofs, unsigned int len)
569{
570 uint32_t mask;
571 TCGv_i32 t1;
572
573 tcg_debug_assert(ofs < 32);
Richard Henderson0d0d3092016-10-14 17:26:38 -0500574 tcg_debug_assert(len > 0);
Richard Henderson951c6302014-09-19 11:39:20 -0700575 tcg_debug_assert(len <= 32);
576 tcg_debug_assert(ofs + len <= 32);
577
Richard Henderson0d0d3092016-10-14 17:26:38 -0500578 if (len == 32) {
Richard Henderson951c6302014-09-19 11:39:20 -0700579 tcg_gen_mov_i32(ret, arg2);
580 return;
581 }
582 if (TCG_TARGET_HAS_deposit_i32 && TCG_TARGET_deposit_i32_valid(ofs, len)) {
583 tcg_gen_op5ii_i32(INDEX_op_deposit_i32, ret, arg1, arg2, ofs, len);
584 return;
585 }
586
Richard Henderson951c6302014-09-19 11:39:20 -0700587 t1 = tcg_temp_new_i32();
588
Richard Hendersonb0a60562019-02-25 11:10:53 -0800589 if (TCG_TARGET_HAS_extract2_i32) {
590 if (ofs + len == 32) {
591 tcg_gen_shli_i32(t1, arg1, len);
592 tcg_gen_extract2_i32(ret, t1, arg2, len);
593 goto done;
594 }
595 if (ofs == 0) {
596 tcg_gen_extract2_i32(ret, arg1, arg2, len);
597 tcg_gen_rotli_i32(ret, ret, len);
598 goto done;
599 }
600 }
601
602 mask = (1u << len) - 1;
Richard Henderson951c6302014-09-19 11:39:20 -0700603 if (ofs + len < 32) {
604 tcg_gen_andi_i32(t1, arg2, mask);
605 tcg_gen_shli_i32(t1, t1, ofs);
606 } else {
607 tcg_gen_shli_i32(t1, arg2, ofs);
608 }
609 tcg_gen_andi_i32(ret, arg1, ~(mask << ofs));
610 tcg_gen_or_i32(ret, ret, t1);
Richard Hendersonb0a60562019-02-25 11:10:53 -0800611 done:
Richard Henderson951c6302014-09-19 11:39:20 -0700612 tcg_temp_free_i32(t1);
613}
614
Richard Henderson07cc68d2016-10-17 13:21:31 -0700615void tcg_gen_deposit_z_i32(TCGv_i32 ret, TCGv_i32 arg,
616 unsigned int ofs, unsigned int len)
617{
618 tcg_debug_assert(ofs < 32);
619 tcg_debug_assert(len > 0);
620 tcg_debug_assert(len <= 32);
621 tcg_debug_assert(ofs + len <= 32);
622
623 if (ofs + len == 32) {
624 tcg_gen_shli_i32(ret, arg, ofs);
625 } else if (ofs == 0) {
626 tcg_gen_andi_i32(ret, arg, (1u << len) - 1);
627 } else if (TCG_TARGET_HAS_deposit_i32
628 && TCG_TARGET_deposit_i32_valid(ofs, len)) {
Richard Henderson11d11d62020-03-29 20:07:08 -0700629 TCGv_i32 zero = tcg_constant_i32(0);
Richard Henderson07cc68d2016-10-17 13:21:31 -0700630 tcg_gen_op5ii_i32(INDEX_op_deposit_i32, ret, zero, arg, ofs, len);
Richard Henderson07cc68d2016-10-17 13:21:31 -0700631 } else {
632 /* To help two-operand hosts we prefer to zero-extend first,
633 which allows ARG to stay live. */
634 switch (len) {
635 case 16:
636 if (TCG_TARGET_HAS_ext16u_i32) {
637 tcg_gen_ext16u_i32(ret, arg);
638 tcg_gen_shli_i32(ret, ret, ofs);
639 return;
640 }
641 break;
642 case 8:
643 if (TCG_TARGET_HAS_ext8u_i32) {
644 tcg_gen_ext8u_i32(ret, arg);
645 tcg_gen_shli_i32(ret, ret, ofs);
646 return;
647 }
648 break;
649 }
650 /* Otherwise prefer zero-extension over AND for code size. */
651 switch (ofs + len) {
652 case 16:
653 if (TCG_TARGET_HAS_ext16u_i32) {
654 tcg_gen_shli_i32(ret, arg, ofs);
655 tcg_gen_ext16u_i32(ret, ret);
656 return;
657 }
658 break;
659 case 8:
660 if (TCG_TARGET_HAS_ext8u_i32) {
661 tcg_gen_shli_i32(ret, arg, ofs);
662 tcg_gen_ext8u_i32(ret, ret);
663 return;
664 }
665 break;
666 }
667 tcg_gen_andi_i32(ret, arg, (1u << len) - 1);
668 tcg_gen_shli_i32(ret, ret, ofs);
669 }
670}
671
Richard Henderson7ec8bab2016-10-14 12:04:32 -0500672void tcg_gen_extract_i32(TCGv_i32 ret, TCGv_i32 arg,
673 unsigned int ofs, unsigned int len)
674{
675 tcg_debug_assert(ofs < 32);
676 tcg_debug_assert(len > 0);
677 tcg_debug_assert(len <= 32);
678 tcg_debug_assert(ofs + len <= 32);
679
680 /* Canonicalize certain special cases, even if extract is supported. */
681 if (ofs + len == 32) {
682 tcg_gen_shri_i32(ret, arg, 32 - len);
683 return;
684 }
685 if (ofs == 0) {
686 tcg_gen_andi_i32(ret, arg, (1u << len) - 1);
687 return;
688 }
689
690 if (TCG_TARGET_HAS_extract_i32
691 && TCG_TARGET_extract_i32_valid(ofs, len)) {
692 tcg_gen_op4ii_i32(INDEX_op_extract_i32, ret, arg, ofs, len);
693 return;
694 }
695
696 /* Assume that zero-extension, if available, is cheaper than a shift. */
697 switch (ofs + len) {
698 case 16:
699 if (TCG_TARGET_HAS_ext16u_i32) {
700 tcg_gen_ext16u_i32(ret, arg);
701 tcg_gen_shri_i32(ret, ret, ofs);
702 return;
703 }
704 break;
705 case 8:
706 if (TCG_TARGET_HAS_ext8u_i32) {
707 tcg_gen_ext8u_i32(ret, arg);
708 tcg_gen_shri_i32(ret, ret, ofs);
709 return;
710 }
711 break;
712 }
713
714 /* ??? Ideally we'd know what values are available for immediate AND.
715 Assume that 8 bits are available, plus the special case of 16,
716 so that we get ext8u, ext16u. */
717 switch (len) {
718 case 1 ... 8: case 16:
719 tcg_gen_shri_i32(ret, arg, ofs);
720 tcg_gen_andi_i32(ret, ret, (1u << len) - 1);
721 break;
722 default:
723 tcg_gen_shli_i32(ret, arg, 32 - len - ofs);
724 tcg_gen_shri_i32(ret, ret, 32 - len);
725 break;
726 }
727}
728
729void tcg_gen_sextract_i32(TCGv_i32 ret, TCGv_i32 arg,
730 unsigned int ofs, unsigned int len)
731{
732 tcg_debug_assert(ofs < 32);
733 tcg_debug_assert(len > 0);
734 tcg_debug_assert(len <= 32);
735 tcg_debug_assert(ofs + len <= 32);
736
737 /* Canonicalize certain special cases, even if extract is supported. */
738 if (ofs + len == 32) {
739 tcg_gen_sari_i32(ret, arg, 32 - len);
740 return;
741 }
742 if (ofs == 0) {
743 switch (len) {
744 case 16:
745 tcg_gen_ext16s_i32(ret, arg);
746 return;
747 case 8:
748 tcg_gen_ext8s_i32(ret, arg);
749 return;
750 }
751 }
752
753 if (TCG_TARGET_HAS_sextract_i32
754 && TCG_TARGET_extract_i32_valid(ofs, len)) {
755 tcg_gen_op4ii_i32(INDEX_op_sextract_i32, ret, arg, ofs, len);
756 return;
757 }
758
759 /* Assume that sign-extension, if available, is cheaper than a shift. */
760 switch (ofs + len) {
761 case 16:
762 if (TCG_TARGET_HAS_ext16s_i32) {
763 tcg_gen_ext16s_i32(ret, arg);
764 tcg_gen_sari_i32(ret, ret, ofs);
765 return;
766 }
767 break;
768 case 8:
769 if (TCG_TARGET_HAS_ext8s_i32) {
770 tcg_gen_ext8s_i32(ret, arg);
771 tcg_gen_sari_i32(ret, ret, ofs);
772 return;
773 }
774 break;
775 }
776 switch (len) {
777 case 16:
778 if (TCG_TARGET_HAS_ext16s_i32) {
779 tcg_gen_shri_i32(ret, arg, ofs);
780 tcg_gen_ext16s_i32(ret, ret);
781 return;
782 }
783 break;
784 case 8:
785 if (TCG_TARGET_HAS_ext8s_i32) {
786 tcg_gen_shri_i32(ret, arg, ofs);
787 tcg_gen_ext8s_i32(ret, ret);
788 return;
789 }
790 break;
791 }
792
793 tcg_gen_shli_i32(ret, arg, 32 - len - ofs);
794 tcg_gen_sari_i32(ret, ret, 32 - len);
795}
796
David Hildenbrand2089fcc2019-02-25 16:42:04 +0100797/*
798 * Extract 32-bits from a 64-bit input, ah:al, starting from ofs.
799 * Unlike tcg_gen_extract_i32 above, len is fixed at 32.
800 */
801void tcg_gen_extract2_i32(TCGv_i32 ret, TCGv_i32 al, TCGv_i32 ah,
802 unsigned int ofs)
803{
804 tcg_debug_assert(ofs <= 32);
805 if (ofs == 0) {
806 tcg_gen_mov_i32(ret, al);
807 } else if (ofs == 32) {
808 tcg_gen_mov_i32(ret, ah);
809 } else if (al == ah) {
810 tcg_gen_rotri_i32(ret, al, ofs);
Richard Hendersonfce12962019-02-25 10:29:25 -0800811 } else if (TCG_TARGET_HAS_extract2_i32) {
812 tcg_gen_op4i_i32(INDEX_op_extract2_i32, ret, al, ah, ofs);
David Hildenbrand2089fcc2019-02-25 16:42:04 +0100813 } else {
814 TCGv_i32 t0 = tcg_temp_new_i32();
815 tcg_gen_shri_i32(t0, al, ofs);
816 tcg_gen_deposit_i32(ret, t0, ah, 32 - ofs, ofs);
817 tcg_temp_free_i32(t0);
818 }
819}
820
Richard Henderson951c6302014-09-19 11:39:20 -0700821void tcg_gen_movcond_i32(TCGCond cond, TCGv_i32 ret, TCGv_i32 c1,
822 TCGv_i32 c2, TCGv_i32 v1, TCGv_i32 v2)
823{
Richard Henderson37ed3bf2015-02-20 11:13:50 -0800824 if (cond == TCG_COND_ALWAYS) {
825 tcg_gen_mov_i32(ret, v1);
826 } else if (cond == TCG_COND_NEVER) {
827 tcg_gen_mov_i32(ret, v2);
828 } else if (TCG_TARGET_HAS_movcond_i32) {
Richard Henderson951c6302014-09-19 11:39:20 -0700829 tcg_gen_op6i_i32(INDEX_op_movcond_i32, ret, c1, c2, v1, v2, cond);
830 } else {
831 TCGv_i32 t0 = tcg_temp_new_i32();
832 TCGv_i32 t1 = tcg_temp_new_i32();
833 tcg_gen_setcond_i32(cond, t0, c1, c2);
834 tcg_gen_neg_i32(t0, t0);
835 tcg_gen_and_i32(t1, v1, t0);
836 tcg_gen_andc_i32(ret, v2, t0);
837 tcg_gen_or_i32(ret, ret, t1);
838 tcg_temp_free_i32(t0);
839 tcg_temp_free_i32(t1);
840 }
841}
842
843void tcg_gen_add2_i32(TCGv_i32 rl, TCGv_i32 rh, TCGv_i32 al,
844 TCGv_i32 ah, TCGv_i32 bl, TCGv_i32 bh)
845{
846 if (TCG_TARGET_HAS_add2_i32) {
847 tcg_gen_op6_i32(INDEX_op_add2_i32, rl, rh, al, ah, bl, bh);
Richard Henderson951c6302014-09-19 11:39:20 -0700848 } else {
849 TCGv_i64 t0 = tcg_temp_new_i64();
850 TCGv_i64 t1 = tcg_temp_new_i64();
851 tcg_gen_concat_i32_i64(t0, al, ah);
852 tcg_gen_concat_i32_i64(t1, bl, bh);
853 tcg_gen_add_i64(t0, t0, t1);
854 tcg_gen_extr_i64_i32(rl, rh, t0);
855 tcg_temp_free_i64(t0);
856 tcg_temp_free_i64(t1);
857 }
858}
859
860void tcg_gen_sub2_i32(TCGv_i32 rl, TCGv_i32 rh, TCGv_i32 al,
861 TCGv_i32 ah, TCGv_i32 bl, TCGv_i32 bh)
862{
863 if (TCG_TARGET_HAS_sub2_i32) {
864 tcg_gen_op6_i32(INDEX_op_sub2_i32, rl, rh, al, ah, bl, bh);
Richard Henderson951c6302014-09-19 11:39:20 -0700865 } else {
866 TCGv_i64 t0 = tcg_temp_new_i64();
867 TCGv_i64 t1 = tcg_temp_new_i64();
868 tcg_gen_concat_i32_i64(t0, al, ah);
869 tcg_gen_concat_i32_i64(t1, bl, bh);
870 tcg_gen_sub_i64(t0, t0, t1);
871 tcg_gen_extr_i64_i32(rl, rh, t0);
872 tcg_temp_free_i64(t0);
873 tcg_temp_free_i64(t1);
874 }
875}
876
877void tcg_gen_mulu2_i32(TCGv_i32 rl, TCGv_i32 rh, TCGv_i32 arg1, TCGv_i32 arg2)
878{
879 if (TCG_TARGET_HAS_mulu2_i32) {
880 tcg_gen_op4_i32(INDEX_op_mulu2_i32, rl, rh, arg1, arg2);
Richard Henderson951c6302014-09-19 11:39:20 -0700881 } else if (TCG_TARGET_HAS_muluh_i32) {
882 TCGv_i32 t = tcg_temp_new_i32();
883 tcg_gen_op3_i32(INDEX_op_mul_i32, t, arg1, arg2);
884 tcg_gen_op3_i32(INDEX_op_muluh_i32, rh, arg1, arg2);
885 tcg_gen_mov_i32(rl, t);
886 tcg_temp_free_i32(t);
887 } else {
888 TCGv_i64 t0 = tcg_temp_new_i64();
889 TCGv_i64 t1 = tcg_temp_new_i64();
890 tcg_gen_extu_i32_i64(t0, arg1);
891 tcg_gen_extu_i32_i64(t1, arg2);
892 tcg_gen_mul_i64(t0, t0, t1);
893 tcg_gen_extr_i64_i32(rl, rh, t0);
894 tcg_temp_free_i64(t0);
895 tcg_temp_free_i64(t1);
896 }
897}
898
899void tcg_gen_muls2_i32(TCGv_i32 rl, TCGv_i32 rh, TCGv_i32 arg1, TCGv_i32 arg2)
900{
901 if (TCG_TARGET_HAS_muls2_i32) {
902 tcg_gen_op4_i32(INDEX_op_muls2_i32, rl, rh, arg1, arg2);
Richard Henderson951c6302014-09-19 11:39:20 -0700903 } else if (TCG_TARGET_HAS_mulsh_i32) {
904 TCGv_i32 t = tcg_temp_new_i32();
905 tcg_gen_op3_i32(INDEX_op_mul_i32, t, arg1, arg2);
906 tcg_gen_op3_i32(INDEX_op_mulsh_i32, rh, arg1, arg2);
907 tcg_gen_mov_i32(rl, t);
908 tcg_temp_free_i32(t);
909 } else if (TCG_TARGET_REG_BITS == 32) {
910 TCGv_i32 t0 = tcg_temp_new_i32();
911 TCGv_i32 t1 = tcg_temp_new_i32();
912 TCGv_i32 t2 = tcg_temp_new_i32();
913 TCGv_i32 t3 = tcg_temp_new_i32();
914 tcg_gen_mulu2_i32(t0, t1, arg1, arg2);
915 /* Adjust for negative inputs. */
916 tcg_gen_sari_i32(t2, arg1, 31);
917 tcg_gen_sari_i32(t3, arg2, 31);
918 tcg_gen_and_i32(t2, t2, arg2);
919 tcg_gen_and_i32(t3, t3, arg1);
920 tcg_gen_sub_i32(rh, t1, t2);
921 tcg_gen_sub_i32(rh, rh, t3);
922 tcg_gen_mov_i32(rl, t0);
923 tcg_temp_free_i32(t0);
924 tcg_temp_free_i32(t1);
925 tcg_temp_free_i32(t2);
926 tcg_temp_free_i32(t3);
927 } else {
928 TCGv_i64 t0 = tcg_temp_new_i64();
929 TCGv_i64 t1 = tcg_temp_new_i64();
930 tcg_gen_ext_i32_i64(t0, arg1);
931 tcg_gen_ext_i32_i64(t1, arg2);
932 tcg_gen_mul_i64(t0, t0, t1);
933 tcg_gen_extr_i64_i32(rl, rh, t0);
934 tcg_temp_free_i64(t0);
935 tcg_temp_free_i64(t1);
936 }
937}
938
Richard Henderson5087abf2016-09-27 14:23:52 -0700939void tcg_gen_mulsu2_i32(TCGv_i32 rl, TCGv_i32 rh, TCGv_i32 arg1, TCGv_i32 arg2)
940{
941 if (TCG_TARGET_REG_BITS == 32) {
942 TCGv_i32 t0 = tcg_temp_new_i32();
943 TCGv_i32 t1 = tcg_temp_new_i32();
944 TCGv_i32 t2 = tcg_temp_new_i32();
945 tcg_gen_mulu2_i32(t0, t1, arg1, arg2);
946 /* Adjust for negative input for the signed arg1. */
947 tcg_gen_sari_i32(t2, arg1, 31);
948 tcg_gen_and_i32(t2, t2, arg2);
949 tcg_gen_sub_i32(rh, t1, t2);
950 tcg_gen_mov_i32(rl, t0);
951 tcg_temp_free_i32(t0);
952 tcg_temp_free_i32(t1);
953 tcg_temp_free_i32(t2);
954 } else {
955 TCGv_i64 t0 = tcg_temp_new_i64();
956 TCGv_i64 t1 = tcg_temp_new_i64();
957 tcg_gen_ext_i32_i64(t0, arg1);
958 tcg_gen_extu_i32_i64(t1, arg2);
959 tcg_gen_mul_i64(t0, t0, t1);
960 tcg_gen_extr_i64_i32(rl, rh, t0);
961 tcg_temp_free_i64(t0);
962 tcg_temp_free_i64(t1);
963 }
964}
965
Richard Henderson951c6302014-09-19 11:39:20 -0700966void tcg_gen_ext8s_i32(TCGv_i32 ret, TCGv_i32 arg)
967{
968 if (TCG_TARGET_HAS_ext8s_i32) {
969 tcg_gen_op2_i32(INDEX_op_ext8s_i32, ret, arg);
970 } else {
971 tcg_gen_shli_i32(ret, arg, 24);
972 tcg_gen_sari_i32(ret, ret, 24);
973 }
974}
975
976void tcg_gen_ext16s_i32(TCGv_i32 ret, TCGv_i32 arg)
977{
978 if (TCG_TARGET_HAS_ext16s_i32) {
979 tcg_gen_op2_i32(INDEX_op_ext16s_i32, ret, arg);
980 } else {
981 tcg_gen_shli_i32(ret, arg, 16);
982 tcg_gen_sari_i32(ret, ret, 16);
983 }
984}
985
986void tcg_gen_ext8u_i32(TCGv_i32 ret, TCGv_i32 arg)
987{
988 if (TCG_TARGET_HAS_ext8u_i32) {
989 tcg_gen_op2_i32(INDEX_op_ext8u_i32, ret, arg);
990 } else {
991 tcg_gen_andi_i32(ret, arg, 0xffu);
992 }
993}
994
995void tcg_gen_ext16u_i32(TCGv_i32 ret, TCGv_i32 arg)
996{
997 if (TCG_TARGET_HAS_ext16u_i32) {
998 tcg_gen_op2_i32(INDEX_op_ext16u_i32, ret, arg);
999 } else {
1000 tcg_gen_andi_i32(ret, arg, 0xffffu);
1001 }
1002}
1003
1004/* Note: we assume the two high bytes are set to zero */
1005void tcg_gen_bswap16_i32(TCGv_i32 ret, TCGv_i32 arg)
1006{
1007 if (TCG_TARGET_HAS_bswap16_i32) {
1008 tcg_gen_op2_i32(INDEX_op_bswap16_i32, ret, arg);
1009 } else {
1010 TCGv_i32 t0 = tcg_temp_new_i32();
1011
1012 tcg_gen_ext8u_i32(t0, arg);
1013 tcg_gen_shli_i32(t0, t0, 8);
1014 tcg_gen_shri_i32(ret, arg, 8);
1015 tcg_gen_or_i32(ret, ret, t0);
1016 tcg_temp_free_i32(t0);
1017 }
1018}
1019
1020void tcg_gen_bswap32_i32(TCGv_i32 ret, TCGv_i32 arg)
1021{
1022 if (TCG_TARGET_HAS_bswap32_i32) {
1023 tcg_gen_op2_i32(INDEX_op_bswap32_i32, ret, arg);
1024 } else {
Richard Hendersona686dc72018-11-20 20:38:16 +01001025 TCGv_i32 t0 = tcg_temp_new_i32();
1026 TCGv_i32 t1 = tcg_temp_new_i32();
Richard Henderson11d11d62020-03-29 20:07:08 -07001027 TCGv_i32 t2 = tcg_constant_i32(0x00ff00ff);
Richard Henderson951c6302014-09-19 11:39:20 -07001028
Richard Hendersona686dc72018-11-20 20:38:16 +01001029 /* arg = abcd */
1030 tcg_gen_shri_i32(t0, arg, 8); /* t0 = .abc */
1031 tcg_gen_and_i32(t1, arg, t2); /* t1 = .b.d */
1032 tcg_gen_and_i32(t0, t0, t2); /* t0 = .a.c */
1033 tcg_gen_shli_i32(t1, t1, 8); /* t1 = b.d. */
1034 tcg_gen_or_i32(ret, t0, t1); /* ret = badc */
Richard Henderson951c6302014-09-19 11:39:20 -07001035
Richard Hendersona686dc72018-11-20 20:38:16 +01001036 tcg_gen_shri_i32(t0, ret, 16); /* t0 = ..ba */
1037 tcg_gen_shli_i32(t1, ret, 16); /* t1 = dc.. */
1038 tcg_gen_or_i32(ret, t0, t1); /* ret = dcba */
Richard Henderson951c6302014-09-19 11:39:20 -07001039
Richard Henderson951c6302014-09-19 11:39:20 -07001040 tcg_temp_free_i32(t0);
1041 tcg_temp_free_i32(t1);
1042 }
1043}
1044
Richard Hendersonb87fb8c2018-05-10 18:10:57 +01001045void tcg_gen_smin_i32(TCGv_i32 ret, TCGv_i32 a, TCGv_i32 b)
1046{
1047 tcg_gen_movcond_i32(TCG_COND_LT, ret, a, b, a, b);
1048}
1049
1050void tcg_gen_umin_i32(TCGv_i32 ret, TCGv_i32 a, TCGv_i32 b)
1051{
1052 tcg_gen_movcond_i32(TCG_COND_LTU, ret, a, b, a, b);
1053}
1054
1055void tcg_gen_smax_i32(TCGv_i32 ret, TCGv_i32 a, TCGv_i32 b)
1056{
1057 tcg_gen_movcond_i32(TCG_COND_LT, ret, a, b, b, a);
1058}
1059
1060void tcg_gen_umax_i32(TCGv_i32 ret, TCGv_i32 a, TCGv_i32 b)
1061{
1062 tcg_gen_movcond_i32(TCG_COND_LTU, ret, a, b, b, a);
1063}
1064
Richard Hendersonff1f11f2019-04-17 13:51:29 -10001065void tcg_gen_abs_i32(TCGv_i32 ret, TCGv_i32 a)
1066{
1067 TCGv_i32 t = tcg_temp_new_i32();
1068
1069 tcg_gen_sari_i32(t, a, 31);
1070 tcg_gen_xor_i32(ret, a, t);
1071 tcg_gen_sub_i32(ret, ret, t);
1072 tcg_temp_free_i32(t);
1073}
1074
Richard Henderson951c6302014-09-19 11:39:20 -07001075/* 64-bit ops */
1076
1077#if TCG_TARGET_REG_BITS == 32
1078/* These are all inline for TCG_TARGET_REG_BITS == 64. */
1079
1080void tcg_gen_discard_i64(TCGv_i64 arg)
1081{
1082 tcg_gen_discard_i32(TCGV_LOW(arg));
1083 tcg_gen_discard_i32(TCGV_HIGH(arg));
1084}
1085
1086void tcg_gen_mov_i64(TCGv_i64 ret, TCGv_i64 arg)
1087{
Richard Henderson11d11d62020-03-29 20:07:08 -07001088 TCGTemp *ts = tcgv_i64_temp(arg);
1089
1090 /* Canonicalize TCGv_i64 TEMP_CONST into TCGv_i32 TEMP_CONST. */
1091 if (ts->kind == TEMP_CONST) {
1092 tcg_gen_movi_i64(ret, ts->val);
1093 } else {
1094 tcg_gen_mov_i32(TCGV_LOW(ret), TCGV_LOW(arg));
1095 tcg_gen_mov_i32(TCGV_HIGH(ret), TCGV_HIGH(arg));
1096 }
Richard Henderson951c6302014-09-19 11:39:20 -07001097}
1098
1099void tcg_gen_movi_i64(TCGv_i64 ret, int64_t arg)
1100{
1101 tcg_gen_movi_i32(TCGV_LOW(ret), arg);
1102 tcg_gen_movi_i32(TCGV_HIGH(ret), arg >> 32);
1103}
1104
1105void tcg_gen_ld8u_i64(TCGv_i64 ret, TCGv_ptr arg2, tcg_target_long offset)
1106{
1107 tcg_gen_ld8u_i32(TCGV_LOW(ret), arg2, offset);
1108 tcg_gen_movi_i32(TCGV_HIGH(ret), 0);
1109}
1110
1111void tcg_gen_ld8s_i64(TCGv_i64 ret, TCGv_ptr arg2, tcg_target_long offset)
1112{
1113 tcg_gen_ld8s_i32(TCGV_LOW(ret), arg2, offset);
Joseph Myers3ff91d72016-10-27 23:35:04 +00001114 tcg_gen_sari_i32(TCGV_HIGH(ret), TCGV_LOW(ret), 31);
Richard Henderson951c6302014-09-19 11:39:20 -07001115}
1116
1117void tcg_gen_ld16u_i64(TCGv_i64 ret, TCGv_ptr arg2, tcg_target_long offset)
1118{
1119 tcg_gen_ld16u_i32(TCGV_LOW(ret), arg2, offset);
1120 tcg_gen_movi_i32(TCGV_HIGH(ret), 0);
1121}
1122
1123void tcg_gen_ld16s_i64(TCGv_i64 ret, TCGv_ptr arg2, tcg_target_long offset)
1124{
1125 tcg_gen_ld16s_i32(TCGV_LOW(ret), arg2, offset);
1126 tcg_gen_sari_i32(TCGV_HIGH(ret), TCGV_LOW(ret), 31);
1127}
1128
1129void tcg_gen_ld32u_i64(TCGv_i64 ret, TCGv_ptr arg2, tcg_target_long offset)
1130{
1131 tcg_gen_ld_i32(TCGV_LOW(ret), arg2, offset);
1132 tcg_gen_movi_i32(TCGV_HIGH(ret), 0);
1133}
1134
1135void tcg_gen_ld32s_i64(TCGv_i64 ret, TCGv_ptr arg2, tcg_target_long offset)
1136{
1137 tcg_gen_ld_i32(TCGV_LOW(ret), arg2, offset);
1138 tcg_gen_sari_i32(TCGV_HIGH(ret), TCGV_LOW(ret), 31);
1139}
1140
1141void tcg_gen_ld_i64(TCGv_i64 ret, TCGv_ptr arg2, tcg_target_long offset)
1142{
1143 /* Since arg2 and ret have different types,
1144 they cannot be the same temporary */
Peter Maydellcf811ff2015-04-08 20:57:09 +01001145#ifdef HOST_WORDS_BIGENDIAN
Richard Henderson951c6302014-09-19 11:39:20 -07001146 tcg_gen_ld_i32(TCGV_HIGH(ret), arg2, offset);
1147 tcg_gen_ld_i32(TCGV_LOW(ret), arg2, offset + 4);
1148#else
1149 tcg_gen_ld_i32(TCGV_LOW(ret), arg2, offset);
1150 tcg_gen_ld_i32(TCGV_HIGH(ret), arg2, offset + 4);
1151#endif
1152}
1153
1154void tcg_gen_st_i64(TCGv_i64 arg1, TCGv_ptr arg2, tcg_target_long offset)
1155{
Peter Maydellcf811ff2015-04-08 20:57:09 +01001156#ifdef HOST_WORDS_BIGENDIAN
Richard Henderson951c6302014-09-19 11:39:20 -07001157 tcg_gen_st_i32(TCGV_HIGH(arg1), arg2, offset);
1158 tcg_gen_st_i32(TCGV_LOW(arg1), arg2, offset + 4);
1159#else
1160 tcg_gen_st_i32(TCGV_LOW(arg1), arg2, offset);
1161 tcg_gen_st_i32(TCGV_HIGH(arg1), arg2, offset + 4);
1162#endif
1163}
1164
1165void tcg_gen_and_i64(TCGv_i64 ret, TCGv_i64 arg1, TCGv_i64 arg2)
1166{
1167 tcg_gen_and_i32(TCGV_LOW(ret), TCGV_LOW(arg1), TCGV_LOW(arg2));
1168 tcg_gen_and_i32(TCGV_HIGH(ret), TCGV_HIGH(arg1), TCGV_HIGH(arg2));
1169}
1170
1171void tcg_gen_or_i64(TCGv_i64 ret, TCGv_i64 arg1, TCGv_i64 arg2)
1172{
1173 tcg_gen_or_i32(TCGV_LOW(ret), TCGV_LOW(arg1), TCGV_LOW(arg2));
1174 tcg_gen_or_i32(TCGV_HIGH(ret), TCGV_HIGH(arg1), TCGV_HIGH(arg2));
1175}
1176
1177void tcg_gen_xor_i64(TCGv_i64 ret, TCGv_i64 arg1, TCGv_i64 arg2)
1178{
1179 tcg_gen_xor_i32(TCGV_LOW(ret), TCGV_LOW(arg1), TCGV_LOW(arg2));
1180 tcg_gen_xor_i32(TCGV_HIGH(ret), TCGV_HIGH(arg1), TCGV_HIGH(arg2));
1181}
1182
1183void tcg_gen_shl_i64(TCGv_i64 ret, TCGv_i64 arg1, TCGv_i64 arg2)
1184{
1185 gen_helper_shl_i64(ret, arg1, arg2);
1186}
1187
1188void tcg_gen_shr_i64(TCGv_i64 ret, TCGv_i64 arg1, TCGv_i64 arg2)
1189{
1190 gen_helper_shr_i64(ret, arg1, arg2);
1191}
1192
1193void tcg_gen_sar_i64(TCGv_i64 ret, TCGv_i64 arg1, TCGv_i64 arg2)
1194{
1195 gen_helper_sar_i64(ret, arg1, arg2);
1196}
1197
1198void tcg_gen_mul_i64(TCGv_i64 ret, TCGv_i64 arg1, TCGv_i64 arg2)
1199{
1200 TCGv_i64 t0;
1201 TCGv_i32 t1;
1202
1203 t0 = tcg_temp_new_i64();
1204 t1 = tcg_temp_new_i32();
1205
1206 tcg_gen_mulu2_i32(TCGV_LOW(t0), TCGV_HIGH(t0),
1207 TCGV_LOW(arg1), TCGV_LOW(arg2));
1208
1209 tcg_gen_mul_i32(t1, TCGV_LOW(arg1), TCGV_HIGH(arg2));
1210 tcg_gen_add_i32(TCGV_HIGH(t0), TCGV_HIGH(t0), t1);
1211 tcg_gen_mul_i32(t1, TCGV_HIGH(arg1), TCGV_LOW(arg2));
1212 tcg_gen_add_i32(TCGV_HIGH(t0), TCGV_HIGH(t0), t1);
1213
1214 tcg_gen_mov_i64(ret, t0);
1215 tcg_temp_free_i64(t0);
1216 tcg_temp_free_i32(t1);
1217}
Richard Henderson11d11d62020-03-29 20:07:08 -07001218
1219#else
1220
1221void tcg_gen_movi_i64(TCGv_i64 ret, int64_t arg)
1222{
1223 tcg_gen_mov_i64(ret, tcg_constant_i64(arg));
1224}
1225
Richard Henderson951c6302014-09-19 11:39:20 -07001226#endif /* TCG_TARGET_REG_SIZE == 32 */
1227
1228void tcg_gen_addi_i64(TCGv_i64 ret, TCGv_i64 arg1, int64_t arg2)
1229{
1230 /* some cases can be optimized here */
1231 if (arg2 == 0) {
1232 tcg_gen_mov_i64(ret, arg1);
Richard Henderson11d11d62020-03-29 20:07:08 -07001233 } else if (TCG_TARGET_REG_BITS == 64) {
1234 tcg_gen_add_i64(ret, arg1, tcg_constant_i64(arg2));
Richard Henderson951c6302014-09-19 11:39:20 -07001235 } else {
Richard Henderson11d11d62020-03-29 20:07:08 -07001236 tcg_gen_add2_i32(TCGV_LOW(ret), TCGV_HIGH(ret),
1237 TCGV_LOW(arg1), TCGV_HIGH(arg1),
1238 tcg_constant_i32(arg2), tcg_constant_i32(arg2 >> 32));
Richard Henderson951c6302014-09-19 11:39:20 -07001239 }
1240}
1241
1242void tcg_gen_subfi_i64(TCGv_i64 ret, int64_t arg1, TCGv_i64 arg2)
1243{
1244 if (arg1 == 0 && TCG_TARGET_HAS_neg_i64) {
1245 /* Don't recurse with tcg_gen_neg_i64. */
1246 tcg_gen_op2_i64(INDEX_op_neg_i64, ret, arg2);
Richard Henderson11d11d62020-03-29 20:07:08 -07001247 } else if (TCG_TARGET_REG_BITS == 64) {
1248 tcg_gen_sub_i64(ret, tcg_constant_i64(arg1), arg2);
Richard Henderson951c6302014-09-19 11:39:20 -07001249 } else {
Richard Henderson11d11d62020-03-29 20:07:08 -07001250 tcg_gen_sub2_i32(TCGV_LOW(ret), TCGV_HIGH(ret),
1251 tcg_constant_i32(arg1), tcg_constant_i32(arg1 >> 32),
1252 TCGV_LOW(arg2), TCGV_HIGH(arg2));
Richard Henderson951c6302014-09-19 11:39:20 -07001253 }
1254}
1255
1256void tcg_gen_subi_i64(TCGv_i64 ret, TCGv_i64 arg1, int64_t arg2)
1257{
1258 /* some cases can be optimized here */
1259 if (arg2 == 0) {
1260 tcg_gen_mov_i64(ret, arg1);
Richard Henderson11d11d62020-03-29 20:07:08 -07001261 } else if (TCG_TARGET_REG_BITS == 64) {
1262 tcg_gen_sub_i64(ret, arg1, tcg_constant_i64(arg2));
Richard Henderson951c6302014-09-19 11:39:20 -07001263 } else {
Richard Henderson11d11d62020-03-29 20:07:08 -07001264 tcg_gen_sub2_i32(TCGV_LOW(ret), TCGV_HIGH(ret),
1265 TCGV_LOW(arg1), TCGV_HIGH(arg1),
1266 tcg_constant_i32(arg2), tcg_constant_i32(arg2 >> 32));
Richard Henderson951c6302014-09-19 11:39:20 -07001267 }
1268}
1269
Richard Henderson474b2e82018-01-04 07:44:17 -08001270void tcg_gen_andi_i64(TCGv_i64 ret, TCGv_i64 arg1, int64_t arg2)
Richard Henderson951c6302014-09-19 11:39:20 -07001271{
Richard Henderson3a13c3f2014-09-19 11:41:05 -07001272 if (TCG_TARGET_REG_BITS == 32) {
1273 tcg_gen_andi_i32(TCGV_LOW(ret), TCGV_LOW(arg1), arg2);
1274 tcg_gen_andi_i32(TCGV_HIGH(ret), TCGV_HIGH(arg1), arg2 >> 32);
1275 return;
1276 }
1277
Richard Henderson951c6302014-09-19 11:39:20 -07001278 /* Some cases can be optimized here. */
1279 switch (arg2) {
1280 case 0:
1281 tcg_gen_movi_i64(ret, 0);
1282 return;
Richard Henderson474b2e82018-01-04 07:44:17 -08001283 case -1:
Richard Henderson951c6302014-09-19 11:39:20 -07001284 tcg_gen_mov_i64(ret, arg1);
1285 return;
Richard Henderson474b2e82018-01-04 07:44:17 -08001286 case 0xff:
Richard Henderson951c6302014-09-19 11:39:20 -07001287 /* Don't recurse with tcg_gen_ext8u_i64. */
1288 if (TCG_TARGET_HAS_ext8u_i64) {
1289 tcg_gen_op2_i64(INDEX_op_ext8u_i64, ret, arg1);
1290 return;
1291 }
1292 break;
Richard Henderson474b2e82018-01-04 07:44:17 -08001293 case 0xffff:
Richard Henderson951c6302014-09-19 11:39:20 -07001294 if (TCG_TARGET_HAS_ext16u_i64) {
1295 tcg_gen_op2_i64(INDEX_op_ext16u_i64, ret, arg1);
1296 return;
1297 }
1298 break;
Richard Henderson474b2e82018-01-04 07:44:17 -08001299 case 0xffffffffu:
Richard Henderson951c6302014-09-19 11:39:20 -07001300 if (TCG_TARGET_HAS_ext32u_i64) {
1301 tcg_gen_op2_i64(INDEX_op_ext32u_i64, ret, arg1);
1302 return;
1303 }
1304 break;
1305 }
Richard Henderson11d11d62020-03-29 20:07:08 -07001306
1307 tcg_gen_and_i64(ret, arg1, tcg_constant_i64(arg2));
Richard Henderson951c6302014-09-19 11:39:20 -07001308}
1309
1310void tcg_gen_ori_i64(TCGv_i64 ret, TCGv_i64 arg1, int64_t arg2)
1311{
Richard Henderson3a13c3f2014-09-19 11:41:05 -07001312 if (TCG_TARGET_REG_BITS == 32) {
1313 tcg_gen_ori_i32(TCGV_LOW(ret), TCGV_LOW(arg1), arg2);
1314 tcg_gen_ori_i32(TCGV_HIGH(ret), TCGV_HIGH(arg1), arg2 >> 32);
1315 return;
1316 }
Richard Henderson951c6302014-09-19 11:39:20 -07001317 /* Some cases can be optimized here. */
1318 if (arg2 == -1) {
1319 tcg_gen_movi_i64(ret, -1);
1320 } else if (arg2 == 0) {
1321 tcg_gen_mov_i64(ret, arg1);
1322 } else {
Richard Henderson11d11d62020-03-29 20:07:08 -07001323 tcg_gen_or_i64(ret, arg1, tcg_constant_i64(arg2));
Richard Henderson951c6302014-09-19 11:39:20 -07001324 }
Richard Henderson951c6302014-09-19 11:39:20 -07001325}
1326
1327void tcg_gen_xori_i64(TCGv_i64 ret, TCGv_i64 arg1, int64_t arg2)
1328{
Richard Henderson3a13c3f2014-09-19 11:41:05 -07001329 if (TCG_TARGET_REG_BITS == 32) {
1330 tcg_gen_xori_i32(TCGV_LOW(ret), TCGV_LOW(arg1), arg2);
1331 tcg_gen_xori_i32(TCGV_HIGH(ret), TCGV_HIGH(arg1), arg2 >> 32);
1332 return;
1333 }
Richard Henderson951c6302014-09-19 11:39:20 -07001334 /* Some cases can be optimized here. */
1335 if (arg2 == 0) {
1336 tcg_gen_mov_i64(ret, arg1);
1337 } else if (arg2 == -1 && TCG_TARGET_HAS_not_i64) {
1338 /* Don't recurse with tcg_gen_not_i64. */
1339 tcg_gen_op2_i64(INDEX_op_not_i64, ret, arg1);
1340 } else {
Richard Henderson11d11d62020-03-29 20:07:08 -07001341 tcg_gen_xor_i64(ret, arg1, tcg_constant_i64(arg2));
Richard Henderson951c6302014-09-19 11:39:20 -07001342 }
Richard Henderson951c6302014-09-19 11:39:20 -07001343}
1344
Richard Henderson951c6302014-09-19 11:39:20 -07001345static inline void tcg_gen_shifti_i64(TCGv_i64 ret, TCGv_i64 arg1,
1346 unsigned c, bool right, bool arith)
1347{
1348 tcg_debug_assert(c < 64);
1349 if (c == 0) {
1350 tcg_gen_mov_i32(TCGV_LOW(ret), TCGV_LOW(arg1));
1351 tcg_gen_mov_i32(TCGV_HIGH(ret), TCGV_HIGH(arg1));
1352 } else if (c >= 32) {
1353 c -= 32;
1354 if (right) {
1355 if (arith) {
1356 tcg_gen_sari_i32(TCGV_LOW(ret), TCGV_HIGH(arg1), c);
1357 tcg_gen_sari_i32(TCGV_HIGH(ret), TCGV_HIGH(arg1), 31);
1358 } else {
1359 tcg_gen_shri_i32(TCGV_LOW(ret), TCGV_HIGH(arg1), c);
1360 tcg_gen_movi_i32(TCGV_HIGH(ret), 0);
1361 }
1362 } else {
1363 tcg_gen_shli_i32(TCGV_HIGH(ret), TCGV_LOW(arg1), c);
1364 tcg_gen_movi_i32(TCGV_LOW(ret), 0);
1365 }
Richard Henderson02616ba2019-02-25 10:58:15 -08001366 } else if (right) {
1367 if (TCG_TARGET_HAS_extract2_i32) {
1368 tcg_gen_extract2_i32(TCGV_LOW(ret),
1369 TCGV_LOW(arg1), TCGV_HIGH(arg1), c);
Richard Henderson951c6302014-09-19 11:39:20 -07001370 } else {
Richard Henderson02616ba2019-02-25 10:58:15 -08001371 tcg_gen_shri_i32(TCGV_LOW(ret), TCGV_LOW(arg1), c);
1372 tcg_gen_deposit_i32(TCGV_LOW(ret), TCGV_LOW(ret),
1373 TCGV_HIGH(arg1), 32 - c, c);
Richard Henderson951c6302014-09-19 11:39:20 -07001374 }
Richard Henderson02616ba2019-02-25 10:58:15 -08001375 if (arith) {
1376 tcg_gen_sari_i32(TCGV_HIGH(ret), TCGV_HIGH(arg1), c);
1377 } else {
1378 tcg_gen_shri_i32(TCGV_HIGH(ret), TCGV_HIGH(arg1), c);
1379 }
1380 } else {
1381 if (TCG_TARGET_HAS_extract2_i32) {
1382 tcg_gen_extract2_i32(TCGV_HIGH(ret),
1383 TCGV_LOW(arg1), TCGV_HIGH(arg1), 32 - c);
1384 } else {
1385 TCGv_i32 t0 = tcg_temp_new_i32();
1386 tcg_gen_shri_i32(t0, TCGV_LOW(arg1), 32 - c);
1387 tcg_gen_deposit_i32(TCGV_HIGH(ret), t0,
1388 TCGV_HIGH(arg1), c, 32 - c);
1389 tcg_temp_free_i32(t0);
1390 }
1391 tcg_gen_shli_i32(TCGV_LOW(ret), TCGV_LOW(arg1), c);
Richard Henderson951c6302014-09-19 11:39:20 -07001392 }
1393}
1394
Richard Henderson474b2e82018-01-04 07:44:17 -08001395void tcg_gen_shli_i64(TCGv_i64 ret, TCGv_i64 arg1, int64_t arg2)
Richard Henderson951c6302014-09-19 11:39:20 -07001396{
Richard Henderson474b2e82018-01-04 07:44:17 -08001397 tcg_debug_assert(arg2 >= 0 && arg2 < 64);
Richard Henderson3a13c3f2014-09-19 11:41:05 -07001398 if (TCG_TARGET_REG_BITS == 32) {
1399 tcg_gen_shifti_i64(ret, arg1, arg2, 0, 0);
1400 } else if (arg2 == 0) {
Richard Henderson951c6302014-09-19 11:39:20 -07001401 tcg_gen_mov_i64(ret, arg1);
1402 } else {
Richard Henderson11d11d62020-03-29 20:07:08 -07001403 tcg_gen_shl_i64(ret, arg1, tcg_constant_i64(arg2));
Richard Henderson951c6302014-09-19 11:39:20 -07001404 }
1405}
1406
Richard Henderson474b2e82018-01-04 07:44:17 -08001407void tcg_gen_shri_i64(TCGv_i64 ret, TCGv_i64 arg1, int64_t arg2)
Richard Henderson951c6302014-09-19 11:39:20 -07001408{
Richard Henderson474b2e82018-01-04 07:44:17 -08001409 tcg_debug_assert(arg2 >= 0 && arg2 < 64);
Richard Henderson3a13c3f2014-09-19 11:41:05 -07001410 if (TCG_TARGET_REG_BITS == 32) {
1411 tcg_gen_shifti_i64(ret, arg1, arg2, 1, 0);
1412 } else if (arg2 == 0) {
Richard Henderson951c6302014-09-19 11:39:20 -07001413 tcg_gen_mov_i64(ret, arg1);
1414 } else {
Richard Henderson11d11d62020-03-29 20:07:08 -07001415 tcg_gen_shr_i64(ret, arg1, tcg_constant_i64(arg2));
Richard Henderson951c6302014-09-19 11:39:20 -07001416 }
1417}
1418
Richard Henderson474b2e82018-01-04 07:44:17 -08001419void tcg_gen_sari_i64(TCGv_i64 ret, TCGv_i64 arg1, int64_t arg2)
Richard Henderson951c6302014-09-19 11:39:20 -07001420{
Richard Henderson474b2e82018-01-04 07:44:17 -08001421 tcg_debug_assert(arg2 >= 0 && arg2 < 64);
Richard Henderson3a13c3f2014-09-19 11:41:05 -07001422 if (TCG_TARGET_REG_BITS == 32) {
1423 tcg_gen_shifti_i64(ret, arg1, arg2, 1, 1);
1424 } else if (arg2 == 0) {
Richard Henderson951c6302014-09-19 11:39:20 -07001425 tcg_gen_mov_i64(ret, arg1);
1426 } else {
Richard Henderson11d11d62020-03-29 20:07:08 -07001427 tcg_gen_sar_i64(ret, arg1, tcg_constant_i64(arg2));
Richard Henderson951c6302014-09-19 11:39:20 -07001428 }
1429}
Richard Henderson951c6302014-09-19 11:39:20 -07001430
Richard Henderson42a268c2015-02-13 12:51:55 -08001431void tcg_gen_brcond_i64(TCGCond cond, TCGv_i64 arg1, TCGv_i64 arg2, TCGLabel *l)
Richard Henderson951c6302014-09-19 11:39:20 -07001432{
1433 if (cond == TCG_COND_ALWAYS) {
Richard Henderson42a268c2015-02-13 12:51:55 -08001434 tcg_gen_br(l);
Richard Henderson951c6302014-09-19 11:39:20 -07001435 } else if (cond != TCG_COND_NEVER) {
Richard Hendersond88a1172018-11-26 12:47:28 -08001436 l->refs++;
Richard Henderson3a13c3f2014-09-19 11:41:05 -07001437 if (TCG_TARGET_REG_BITS == 32) {
1438 tcg_gen_op6ii_i32(INDEX_op_brcond2_i32, TCGV_LOW(arg1),
1439 TCGV_HIGH(arg1), TCGV_LOW(arg2),
Richard Henderson42a268c2015-02-13 12:51:55 -08001440 TCGV_HIGH(arg2), cond, label_arg(l));
Richard Henderson3a13c3f2014-09-19 11:41:05 -07001441 } else {
Richard Henderson42a268c2015-02-13 12:51:55 -08001442 tcg_gen_op4ii_i64(INDEX_op_brcond_i64, arg1, arg2, cond,
1443 label_arg(l));
Richard Henderson3a13c3f2014-09-19 11:41:05 -07001444 }
Richard Henderson951c6302014-09-19 11:39:20 -07001445 }
1446}
1447
Richard Henderson42a268c2015-02-13 12:51:55 -08001448void tcg_gen_brcondi_i64(TCGCond cond, TCGv_i64 arg1, int64_t arg2, TCGLabel *l)
Richard Henderson951c6302014-09-19 11:39:20 -07001449{
Richard Henderson11d11d62020-03-29 20:07:08 -07001450 if (TCG_TARGET_REG_BITS == 64) {
1451 tcg_gen_brcond_i64(cond, arg1, tcg_constant_i64(arg2), l);
1452 } else if (cond == TCG_COND_ALWAYS) {
Richard Henderson42a268c2015-02-13 12:51:55 -08001453 tcg_gen_br(l);
Richard Henderson951c6302014-09-19 11:39:20 -07001454 } else if (cond != TCG_COND_NEVER) {
Richard Henderson11d11d62020-03-29 20:07:08 -07001455 l->refs++;
1456 tcg_gen_op6ii_i32(INDEX_op_brcond2_i32,
1457 TCGV_LOW(arg1), TCGV_HIGH(arg1),
1458 tcg_constant_i32(arg2),
1459 tcg_constant_i32(arg2 >> 32),
1460 cond, label_arg(l));
Richard Henderson951c6302014-09-19 11:39:20 -07001461 }
1462}
1463
1464void tcg_gen_setcond_i64(TCGCond cond, TCGv_i64 ret,
1465 TCGv_i64 arg1, TCGv_i64 arg2)
1466{
1467 if (cond == TCG_COND_ALWAYS) {
1468 tcg_gen_movi_i64(ret, 1);
1469 } else if (cond == TCG_COND_NEVER) {
1470 tcg_gen_movi_i64(ret, 0);
1471 } else {
Richard Henderson3a13c3f2014-09-19 11:41:05 -07001472 if (TCG_TARGET_REG_BITS == 32) {
1473 tcg_gen_op6i_i32(INDEX_op_setcond2_i32, TCGV_LOW(ret),
1474 TCGV_LOW(arg1), TCGV_HIGH(arg1),
1475 TCGV_LOW(arg2), TCGV_HIGH(arg2), cond);
1476 tcg_gen_movi_i32(TCGV_HIGH(ret), 0);
1477 } else {
1478 tcg_gen_op4i_i64(INDEX_op_setcond_i64, ret, arg1, arg2, cond);
1479 }
Richard Henderson951c6302014-09-19 11:39:20 -07001480 }
1481}
1482
1483void tcg_gen_setcondi_i64(TCGCond cond, TCGv_i64 ret,
1484 TCGv_i64 arg1, int64_t arg2)
1485{
Richard Henderson11d11d62020-03-29 20:07:08 -07001486 if (TCG_TARGET_REG_BITS == 64) {
1487 tcg_gen_setcond_i64(cond, ret, arg1, tcg_constant_i64(arg2));
1488 } else if (cond == TCG_COND_ALWAYS) {
1489 tcg_gen_movi_i64(ret, 1);
1490 } else if (cond == TCG_COND_NEVER) {
1491 tcg_gen_movi_i64(ret, 0);
1492 } else {
1493 tcg_gen_op6i_i32(INDEX_op_setcond2_i32, TCGV_LOW(ret),
1494 TCGV_LOW(arg1), TCGV_HIGH(arg1),
1495 tcg_constant_i32(arg2),
1496 tcg_constant_i32(arg2 >> 32), cond);
1497 tcg_gen_movi_i32(TCGV_HIGH(ret), 0);
1498 }
Richard Henderson951c6302014-09-19 11:39:20 -07001499}
1500
1501void tcg_gen_muli_i64(TCGv_i64 ret, TCGv_i64 arg1, int64_t arg2)
1502{
Richard Hendersonb2e3ae92018-01-31 13:20:07 -08001503 if (arg2 == 0) {
1504 tcg_gen_movi_i64(ret, 0);
1505 } else if (is_power_of_2(arg2)) {
1506 tcg_gen_shli_i64(ret, arg1, ctz64(arg2));
1507 } else {
1508 TCGv_i64 t0 = tcg_const_i64(arg2);
1509 tcg_gen_mul_i64(ret, arg1, t0);
1510 tcg_temp_free_i64(t0);
1511 }
Richard Henderson951c6302014-09-19 11:39:20 -07001512}
1513
1514void tcg_gen_div_i64(TCGv_i64 ret, TCGv_i64 arg1, TCGv_i64 arg2)
1515{
1516 if (TCG_TARGET_HAS_div_i64) {
1517 tcg_gen_op3_i64(INDEX_op_div_i64, ret, arg1, arg2);
1518 } else if (TCG_TARGET_HAS_div2_i64) {
1519 TCGv_i64 t0 = tcg_temp_new_i64();
1520 tcg_gen_sari_i64(t0, arg1, 63);
1521 tcg_gen_op5_i64(INDEX_op_div2_i64, ret, t0, arg1, t0, arg2);
1522 tcg_temp_free_i64(t0);
1523 } else {
1524 gen_helper_div_i64(ret, arg1, arg2);
1525 }
1526}
1527
1528void tcg_gen_rem_i64(TCGv_i64 ret, TCGv_i64 arg1, TCGv_i64 arg2)
1529{
1530 if (TCG_TARGET_HAS_rem_i64) {
1531 tcg_gen_op3_i64(INDEX_op_rem_i64, ret, arg1, arg2);
1532 } else if (TCG_TARGET_HAS_div_i64) {
1533 TCGv_i64 t0 = tcg_temp_new_i64();
1534 tcg_gen_op3_i64(INDEX_op_div_i64, t0, arg1, arg2);
1535 tcg_gen_mul_i64(t0, t0, arg2);
1536 tcg_gen_sub_i64(ret, arg1, t0);
1537 tcg_temp_free_i64(t0);
1538 } else if (TCG_TARGET_HAS_div2_i64) {
1539 TCGv_i64 t0 = tcg_temp_new_i64();
1540 tcg_gen_sari_i64(t0, arg1, 63);
1541 tcg_gen_op5_i64(INDEX_op_div2_i64, t0, ret, arg1, t0, arg2);
1542 tcg_temp_free_i64(t0);
1543 } else {
1544 gen_helper_rem_i64(ret, arg1, arg2);
1545 }
1546}
1547
1548void tcg_gen_divu_i64(TCGv_i64 ret, TCGv_i64 arg1, TCGv_i64 arg2)
1549{
1550 if (TCG_TARGET_HAS_div_i64) {
1551 tcg_gen_op3_i64(INDEX_op_divu_i64, ret, arg1, arg2);
1552 } else if (TCG_TARGET_HAS_div2_i64) {
1553 TCGv_i64 t0 = tcg_temp_new_i64();
1554 tcg_gen_movi_i64(t0, 0);
1555 tcg_gen_op5_i64(INDEX_op_divu2_i64, ret, t0, arg1, t0, arg2);
1556 tcg_temp_free_i64(t0);
1557 } else {
1558 gen_helper_divu_i64(ret, arg1, arg2);
1559 }
1560}
1561
1562void tcg_gen_remu_i64(TCGv_i64 ret, TCGv_i64 arg1, TCGv_i64 arg2)
1563{
1564 if (TCG_TARGET_HAS_rem_i64) {
1565 tcg_gen_op3_i64(INDEX_op_remu_i64, ret, arg1, arg2);
1566 } else if (TCG_TARGET_HAS_div_i64) {
1567 TCGv_i64 t0 = tcg_temp_new_i64();
1568 tcg_gen_op3_i64(INDEX_op_divu_i64, t0, arg1, arg2);
1569 tcg_gen_mul_i64(t0, t0, arg2);
1570 tcg_gen_sub_i64(ret, arg1, t0);
1571 tcg_temp_free_i64(t0);
1572 } else if (TCG_TARGET_HAS_div2_i64) {
1573 TCGv_i64 t0 = tcg_temp_new_i64();
1574 tcg_gen_movi_i64(t0, 0);
1575 tcg_gen_op5_i64(INDEX_op_divu2_i64, t0, ret, arg1, t0, arg2);
1576 tcg_temp_free_i64(t0);
1577 } else {
1578 gen_helper_remu_i64(ret, arg1, arg2);
1579 }
1580}
1581
1582void tcg_gen_ext8s_i64(TCGv_i64 ret, TCGv_i64 arg)
1583{
Richard Henderson3a13c3f2014-09-19 11:41:05 -07001584 if (TCG_TARGET_REG_BITS == 32) {
1585 tcg_gen_ext8s_i32(TCGV_LOW(ret), TCGV_LOW(arg));
1586 tcg_gen_sari_i32(TCGV_HIGH(ret), TCGV_LOW(ret), 31);
1587 } else if (TCG_TARGET_HAS_ext8s_i64) {
Richard Henderson951c6302014-09-19 11:39:20 -07001588 tcg_gen_op2_i64(INDEX_op_ext8s_i64, ret, arg);
1589 } else {
1590 tcg_gen_shli_i64(ret, arg, 56);
1591 tcg_gen_sari_i64(ret, ret, 56);
1592 }
Richard Henderson951c6302014-09-19 11:39:20 -07001593}
1594
1595void tcg_gen_ext16s_i64(TCGv_i64 ret, TCGv_i64 arg)
1596{
Richard Henderson3a13c3f2014-09-19 11:41:05 -07001597 if (TCG_TARGET_REG_BITS == 32) {
1598 tcg_gen_ext16s_i32(TCGV_LOW(ret), TCGV_LOW(arg));
1599 tcg_gen_sari_i32(TCGV_HIGH(ret), TCGV_LOW(ret), 31);
1600 } else if (TCG_TARGET_HAS_ext16s_i64) {
Richard Henderson951c6302014-09-19 11:39:20 -07001601 tcg_gen_op2_i64(INDEX_op_ext16s_i64, ret, arg);
1602 } else {
1603 tcg_gen_shli_i64(ret, arg, 48);
1604 tcg_gen_sari_i64(ret, ret, 48);
1605 }
Richard Henderson951c6302014-09-19 11:39:20 -07001606}
1607
1608void tcg_gen_ext32s_i64(TCGv_i64 ret, TCGv_i64 arg)
1609{
Richard Henderson3a13c3f2014-09-19 11:41:05 -07001610 if (TCG_TARGET_REG_BITS == 32) {
1611 tcg_gen_mov_i32(TCGV_LOW(ret), TCGV_LOW(arg));
1612 tcg_gen_sari_i32(TCGV_HIGH(ret), TCGV_LOW(ret), 31);
1613 } else if (TCG_TARGET_HAS_ext32s_i64) {
Richard Henderson951c6302014-09-19 11:39:20 -07001614 tcg_gen_op2_i64(INDEX_op_ext32s_i64, ret, arg);
1615 } else {
1616 tcg_gen_shli_i64(ret, arg, 32);
1617 tcg_gen_sari_i64(ret, ret, 32);
1618 }
Richard Henderson951c6302014-09-19 11:39:20 -07001619}
1620
1621void tcg_gen_ext8u_i64(TCGv_i64 ret, TCGv_i64 arg)
1622{
Richard Henderson3a13c3f2014-09-19 11:41:05 -07001623 if (TCG_TARGET_REG_BITS == 32) {
1624 tcg_gen_ext8u_i32(TCGV_LOW(ret), TCGV_LOW(arg));
1625 tcg_gen_movi_i32(TCGV_HIGH(ret), 0);
1626 } else if (TCG_TARGET_HAS_ext8u_i64) {
Richard Henderson951c6302014-09-19 11:39:20 -07001627 tcg_gen_op2_i64(INDEX_op_ext8u_i64, ret, arg);
1628 } else {
1629 tcg_gen_andi_i64(ret, arg, 0xffu);
1630 }
Richard Henderson951c6302014-09-19 11:39:20 -07001631}
1632
1633void tcg_gen_ext16u_i64(TCGv_i64 ret, TCGv_i64 arg)
1634{
Richard Henderson3a13c3f2014-09-19 11:41:05 -07001635 if (TCG_TARGET_REG_BITS == 32) {
1636 tcg_gen_ext16u_i32(TCGV_LOW(ret), TCGV_LOW(arg));
1637 tcg_gen_movi_i32(TCGV_HIGH(ret), 0);
1638 } else if (TCG_TARGET_HAS_ext16u_i64) {
Richard Henderson951c6302014-09-19 11:39:20 -07001639 tcg_gen_op2_i64(INDEX_op_ext16u_i64, ret, arg);
1640 } else {
1641 tcg_gen_andi_i64(ret, arg, 0xffffu);
1642 }
Richard Henderson951c6302014-09-19 11:39:20 -07001643}
1644
1645void tcg_gen_ext32u_i64(TCGv_i64 ret, TCGv_i64 arg)
1646{
Richard Henderson3a13c3f2014-09-19 11:41:05 -07001647 if (TCG_TARGET_REG_BITS == 32) {
1648 tcg_gen_mov_i32(TCGV_LOW(ret), TCGV_LOW(arg));
1649 tcg_gen_movi_i32(TCGV_HIGH(ret), 0);
1650 } else if (TCG_TARGET_HAS_ext32u_i64) {
Richard Henderson951c6302014-09-19 11:39:20 -07001651 tcg_gen_op2_i64(INDEX_op_ext32u_i64, ret, arg);
1652 } else {
1653 tcg_gen_andi_i64(ret, arg, 0xffffffffu);
1654 }
Richard Henderson951c6302014-09-19 11:39:20 -07001655}
1656
1657/* Note: we assume the six high bytes are set to zero */
1658void tcg_gen_bswap16_i64(TCGv_i64 ret, TCGv_i64 arg)
1659{
Richard Henderson3a13c3f2014-09-19 11:41:05 -07001660 if (TCG_TARGET_REG_BITS == 32) {
1661 tcg_gen_bswap16_i32(TCGV_LOW(ret), TCGV_LOW(arg));
1662 tcg_gen_movi_i32(TCGV_HIGH(ret), 0);
1663 } else if (TCG_TARGET_HAS_bswap16_i64) {
Richard Henderson951c6302014-09-19 11:39:20 -07001664 tcg_gen_op2_i64(INDEX_op_bswap16_i64, ret, arg);
1665 } else {
1666 TCGv_i64 t0 = tcg_temp_new_i64();
1667
1668 tcg_gen_ext8u_i64(t0, arg);
1669 tcg_gen_shli_i64(t0, t0, 8);
1670 tcg_gen_shri_i64(ret, arg, 8);
1671 tcg_gen_or_i64(ret, ret, t0);
1672 tcg_temp_free_i64(t0);
1673 }
Richard Henderson951c6302014-09-19 11:39:20 -07001674}
1675
1676/* Note: we assume the four high bytes are set to zero */
1677void tcg_gen_bswap32_i64(TCGv_i64 ret, TCGv_i64 arg)
1678{
Richard Henderson3a13c3f2014-09-19 11:41:05 -07001679 if (TCG_TARGET_REG_BITS == 32) {
1680 tcg_gen_bswap32_i32(TCGV_LOW(ret), TCGV_LOW(arg));
1681 tcg_gen_movi_i32(TCGV_HIGH(ret), 0);
1682 } else if (TCG_TARGET_HAS_bswap32_i64) {
Richard Henderson951c6302014-09-19 11:39:20 -07001683 tcg_gen_op2_i64(INDEX_op_bswap32_i64, ret, arg);
1684 } else {
Richard Hendersona686dc72018-11-20 20:38:16 +01001685 TCGv_i64 t0 = tcg_temp_new_i64();
1686 TCGv_i64 t1 = tcg_temp_new_i64();
Richard Henderson11d11d62020-03-29 20:07:08 -07001687 TCGv_i64 t2 = tcg_constant_i64(0x00ff00ff);
Richard Henderson951c6302014-09-19 11:39:20 -07001688
Richard Hendersona686dc72018-11-20 20:38:16 +01001689 /* arg = ....abcd */
1690 tcg_gen_shri_i64(t0, arg, 8); /* t0 = .....abc */
1691 tcg_gen_and_i64(t1, arg, t2); /* t1 = .....b.d */
1692 tcg_gen_and_i64(t0, t0, t2); /* t0 = .....a.c */
1693 tcg_gen_shli_i64(t1, t1, 8); /* t1 = ....b.d. */
1694 tcg_gen_or_i64(ret, t0, t1); /* ret = ....badc */
Richard Henderson951c6302014-09-19 11:39:20 -07001695
Richard Hendersona686dc72018-11-20 20:38:16 +01001696 tcg_gen_shli_i64(t1, ret, 48); /* t1 = dc...... */
1697 tcg_gen_shri_i64(t0, ret, 16); /* t0 = ......ba */
1698 tcg_gen_shri_i64(t1, t1, 32); /* t1 = ....dc.. */
1699 tcg_gen_or_i64(ret, t0, t1); /* ret = ....dcba */
Richard Henderson951c6302014-09-19 11:39:20 -07001700
Richard Henderson951c6302014-09-19 11:39:20 -07001701 tcg_temp_free_i64(t0);
1702 tcg_temp_free_i64(t1);
1703 }
Richard Henderson951c6302014-09-19 11:39:20 -07001704}
1705
1706void tcg_gen_bswap64_i64(TCGv_i64 ret, TCGv_i64 arg)
1707{
Richard Henderson3a13c3f2014-09-19 11:41:05 -07001708 if (TCG_TARGET_REG_BITS == 32) {
1709 TCGv_i32 t0, t1;
1710 t0 = tcg_temp_new_i32();
1711 t1 = tcg_temp_new_i32();
Richard Henderson951c6302014-09-19 11:39:20 -07001712
Richard Henderson3a13c3f2014-09-19 11:41:05 -07001713 tcg_gen_bswap32_i32(t0, TCGV_LOW(arg));
1714 tcg_gen_bswap32_i32(t1, TCGV_HIGH(arg));
1715 tcg_gen_mov_i32(TCGV_LOW(ret), t1);
1716 tcg_gen_mov_i32(TCGV_HIGH(ret), t0);
1717 tcg_temp_free_i32(t0);
1718 tcg_temp_free_i32(t1);
1719 } else if (TCG_TARGET_HAS_bswap64_i64) {
Richard Henderson951c6302014-09-19 11:39:20 -07001720 tcg_gen_op2_i64(INDEX_op_bswap64_i64, ret, arg);
1721 } else {
1722 TCGv_i64 t0 = tcg_temp_new_i64();
1723 TCGv_i64 t1 = tcg_temp_new_i64();
Richard Henderson9e821ea2018-11-20 21:05:03 +01001724 TCGv_i64 t2 = tcg_temp_new_i64();
Richard Henderson951c6302014-09-19 11:39:20 -07001725
Richard Henderson9e821ea2018-11-20 21:05:03 +01001726 /* arg = abcdefgh */
1727 tcg_gen_movi_i64(t2, 0x00ff00ff00ff00ffull);
1728 tcg_gen_shri_i64(t0, arg, 8); /* t0 = .abcdefg */
1729 tcg_gen_and_i64(t1, arg, t2); /* t1 = .b.d.f.h */
1730 tcg_gen_and_i64(t0, t0, t2); /* t0 = .a.c.e.g */
1731 tcg_gen_shli_i64(t1, t1, 8); /* t1 = b.d.f.h. */
1732 tcg_gen_or_i64(ret, t0, t1); /* ret = badcfehg */
Richard Henderson951c6302014-09-19 11:39:20 -07001733
Richard Henderson9e821ea2018-11-20 21:05:03 +01001734 tcg_gen_movi_i64(t2, 0x0000ffff0000ffffull);
1735 tcg_gen_shri_i64(t0, ret, 16); /* t0 = ..badcfe */
1736 tcg_gen_and_i64(t1, ret, t2); /* t1 = ..dc..hg */
1737 tcg_gen_and_i64(t0, t0, t2); /* t0 = ..ba..fe */
1738 tcg_gen_shli_i64(t1, t1, 16); /* t1 = dc..hg.. */
1739 tcg_gen_or_i64(ret, t0, t1); /* ret = dcbahgfe */
Richard Henderson951c6302014-09-19 11:39:20 -07001740
Richard Henderson9e821ea2018-11-20 21:05:03 +01001741 tcg_gen_shri_i64(t0, ret, 32); /* t0 = ....dcba */
1742 tcg_gen_shli_i64(t1, ret, 32); /* t1 = hgfe.... */
1743 tcg_gen_or_i64(ret, t0, t1); /* ret = hgfedcba */
Richard Henderson951c6302014-09-19 11:39:20 -07001744
Richard Henderson951c6302014-09-19 11:39:20 -07001745 tcg_temp_free_i64(t0);
1746 tcg_temp_free_i64(t1);
Richard Henderson9e821ea2018-11-20 21:05:03 +01001747 tcg_temp_free_i64(t2);
Richard Henderson951c6302014-09-19 11:39:20 -07001748 }
Richard Henderson951c6302014-09-19 11:39:20 -07001749}
1750
1751void tcg_gen_not_i64(TCGv_i64 ret, TCGv_i64 arg)
1752{
Richard Henderson3a13c3f2014-09-19 11:41:05 -07001753 if (TCG_TARGET_REG_BITS == 32) {
1754 tcg_gen_not_i32(TCGV_LOW(ret), TCGV_LOW(arg));
1755 tcg_gen_not_i32(TCGV_HIGH(ret), TCGV_HIGH(arg));
1756 } else if (TCG_TARGET_HAS_not_i64) {
Richard Henderson951c6302014-09-19 11:39:20 -07001757 tcg_gen_op2_i64(INDEX_op_not_i64, ret, arg);
1758 } else {
1759 tcg_gen_xori_i64(ret, arg, -1);
1760 }
Richard Henderson951c6302014-09-19 11:39:20 -07001761}
1762
1763void tcg_gen_andc_i64(TCGv_i64 ret, TCGv_i64 arg1, TCGv_i64 arg2)
1764{
Richard Henderson3a13c3f2014-09-19 11:41:05 -07001765 if (TCG_TARGET_REG_BITS == 32) {
1766 tcg_gen_andc_i32(TCGV_LOW(ret), TCGV_LOW(arg1), TCGV_LOW(arg2));
1767 tcg_gen_andc_i32(TCGV_HIGH(ret), TCGV_HIGH(arg1), TCGV_HIGH(arg2));
1768 } else if (TCG_TARGET_HAS_andc_i64) {
Richard Henderson951c6302014-09-19 11:39:20 -07001769 tcg_gen_op3_i64(INDEX_op_andc_i64, ret, arg1, arg2);
1770 } else {
1771 TCGv_i64 t0 = tcg_temp_new_i64();
1772 tcg_gen_not_i64(t0, arg2);
1773 tcg_gen_and_i64(ret, arg1, t0);
1774 tcg_temp_free_i64(t0);
1775 }
Richard Henderson951c6302014-09-19 11:39:20 -07001776}
1777
1778void tcg_gen_eqv_i64(TCGv_i64 ret, TCGv_i64 arg1, TCGv_i64 arg2)
1779{
Richard Henderson3a13c3f2014-09-19 11:41:05 -07001780 if (TCG_TARGET_REG_BITS == 32) {
1781 tcg_gen_eqv_i32(TCGV_LOW(ret), TCGV_LOW(arg1), TCGV_LOW(arg2));
1782 tcg_gen_eqv_i32(TCGV_HIGH(ret), TCGV_HIGH(arg1), TCGV_HIGH(arg2));
1783 } else if (TCG_TARGET_HAS_eqv_i64) {
Richard Henderson951c6302014-09-19 11:39:20 -07001784 tcg_gen_op3_i64(INDEX_op_eqv_i64, ret, arg1, arg2);
1785 } else {
1786 tcg_gen_xor_i64(ret, arg1, arg2);
1787 tcg_gen_not_i64(ret, ret);
1788 }
Richard Henderson951c6302014-09-19 11:39:20 -07001789}
1790
1791void tcg_gen_nand_i64(TCGv_i64 ret, TCGv_i64 arg1, TCGv_i64 arg2)
1792{
Richard Henderson3a13c3f2014-09-19 11:41:05 -07001793 if (TCG_TARGET_REG_BITS == 32) {
1794 tcg_gen_nand_i32(TCGV_LOW(ret), TCGV_LOW(arg1), TCGV_LOW(arg2));
1795 tcg_gen_nand_i32(TCGV_HIGH(ret), TCGV_HIGH(arg1), TCGV_HIGH(arg2));
1796 } else if (TCG_TARGET_HAS_nand_i64) {
Richard Henderson951c6302014-09-19 11:39:20 -07001797 tcg_gen_op3_i64(INDEX_op_nand_i64, ret, arg1, arg2);
1798 } else {
1799 tcg_gen_and_i64(ret, arg1, arg2);
1800 tcg_gen_not_i64(ret, ret);
1801 }
Richard Henderson951c6302014-09-19 11:39:20 -07001802}
1803
1804void tcg_gen_nor_i64(TCGv_i64 ret, TCGv_i64 arg1, TCGv_i64 arg2)
1805{
Richard Henderson3a13c3f2014-09-19 11:41:05 -07001806 if (TCG_TARGET_REG_BITS == 32) {
1807 tcg_gen_nor_i32(TCGV_LOW(ret), TCGV_LOW(arg1), TCGV_LOW(arg2));
1808 tcg_gen_nor_i32(TCGV_HIGH(ret), TCGV_HIGH(arg1), TCGV_HIGH(arg2));
1809 } else if (TCG_TARGET_HAS_nor_i64) {
Richard Henderson951c6302014-09-19 11:39:20 -07001810 tcg_gen_op3_i64(INDEX_op_nor_i64, ret, arg1, arg2);
1811 } else {
1812 tcg_gen_or_i64(ret, arg1, arg2);
1813 tcg_gen_not_i64(ret, ret);
1814 }
Richard Henderson951c6302014-09-19 11:39:20 -07001815}
1816
1817void tcg_gen_orc_i64(TCGv_i64 ret, TCGv_i64 arg1, TCGv_i64 arg2)
1818{
Richard Henderson3a13c3f2014-09-19 11:41:05 -07001819 if (TCG_TARGET_REG_BITS == 32) {
1820 tcg_gen_orc_i32(TCGV_LOW(ret), TCGV_LOW(arg1), TCGV_LOW(arg2));
1821 tcg_gen_orc_i32(TCGV_HIGH(ret), TCGV_HIGH(arg1), TCGV_HIGH(arg2));
1822 } else if (TCG_TARGET_HAS_orc_i64) {
Richard Henderson951c6302014-09-19 11:39:20 -07001823 tcg_gen_op3_i64(INDEX_op_orc_i64, ret, arg1, arg2);
1824 } else {
1825 TCGv_i64 t0 = tcg_temp_new_i64();
1826 tcg_gen_not_i64(t0, arg2);
1827 tcg_gen_or_i64(ret, arg1, t0);
1828 tcg_temp_free_i64(t0);
1829 }
Richard Henderson951c6302014-09-19 11:39:20 -07001830}
1831
Richard Henderson0e28d002016-11-16 09:23:28 +01001832void tcg_gen_clz_i64(TCGv_i64 ret, TCGv_i64 arg1, TCGv_i64 arg2)
1833{
1834 if (TCG_TARGET_HAS_clz_i64) {
1835 tcg_gen_op3_i64(INDEX_op_clz_i64, ret, arg1, arg2);
1836 } else {
1837 gen_helper_clz_i64(ret, arg1, arg2);
1838 }
1839}
1840
1841void tcg_gen_clzi_i64(TCGv_i64 ret, TCGv_i64 arg1, uint64_t arg2)
1842{
1843 if (TCG_TARGET_REG_BITS == 32
1844 && TCG_TARGET_HAS_clz_i32
1845 && arg2 <= 0xffffffffu) {
Richard Henderson11d11d62020-03-29 20:07:08 -07001846 TCGv_i32 t = tcg_temp_new_i32();
1847 tcg_gen_clzi_i32(t, TCGV_LOW(arg1), arg2 - 32);
Richard Henderson0e28d002016-11-16 09:23:28 +01001848 tcg_gen_addi_i32(t, t, 32);
1849 tcg_gen_clz_i32(TCGV_LOW(ret), TCGV_HIGH(arg1), t);
1850 tcg_gen_movi_i32(TCGV_HIGH(ret), 0);
1851 tcg_temp_free_i32(t);
1852 } else {
Richard Henderson11d11d62020-03-29 20:07:08 -07001853 TCGv_i64 t0 = tcg_const_i64(arg2);
1854 tcg_gen_clz_i64(ret, arg1, t0);
1855 tcg_temp_free_i64(t0);
Richard Henderson0e28d002016-11-16 09:23:28 +01001856 }
1857}
1858
1859void tcg_gen_ctz_i64(TCGv_i64 ret, TCGv_i64 arg1, TCGv_i64 arg2)
1860{
1861 if (TCG_TARGET_HAS_ctz_i64) {
1862 tcg_gen_op3_i64(INDEX_op_ctz_i64, ret, arg1, arg2);
Richard Henderson14e99212016-11-22 12:40:35 +00001863 } else if (TCG_TARGET_HAS_ctpop_i64 || TCG_TARGET_HAS_clz_i64) {
1864 TCGv_i64 z, t = tcg_temp_new_i64();
1865
1866 if (TCG_TARGET_HAS_ctpop_i64) {
1867 tcg_gen_subi_i64(t, arg1, 1);
1868 tcg_gen_andc_i64(t, t, arg1);
1869 tcg_gen_ctpop_i64(t, t);
1870 } else {
1871 /* Since all non-x86 hosts have clz(0) == 64, don't fight it. */
1872 tcg_gen_neg_i64(t, arg1);
1873 tcg_gen_and_i64(t, t, arg1);
1874 tcg_gen_clzi_i64(t, t, 64);
1875 tcg_gen_xori_i64(t, t, 63);
1876 }
Richard Henderson11d11d62020-03-29 20:07:08 -07001877 z = tcg_constant_i64(0);
Richard Henderson14e99212016-11-22 12:40:35 +00001878 tcg_gen_movcond_i64(TCG_COND_EQ, ret, arg1, z, arg2, t);
1879 tcg_temp_free_i64(t);
1880 tcg_temp_free_i64(z);
Richard Henderson0e28d002016-11-16 09:23:28 +01001881 } else {
1882 gen_helper_ctz_i64(ret, arg1, arg2);
1883 }
1884}
1885
1886void tcg_gen_ctzi_i64(TCGv_i64 ret, TCGv_i64 arg1, uint64_t arg2)
1887{
1888 if (TCG_TARGET_REG_BITS == 32
1889 && TCG_TARGET_HAS_ctz_i32
1890 && arg2 <= 0xffffffffu) {
Richard Henderson11d11d62020-03-29 20:07:08 -07001891 TCGv_i32 t32 = tcg_temp_new_i32();
1892 tcg_gen_ctzi_i32(t32, TCGV_HIGH(arg1), arg2 - 32);
Richard Henderson0e28d002016-11-16 09:23:28 +01001893 tcg_gen_addi_i32(t32, t32, 32);
1894 tcg_gen_ctz_i32(TCGV_LOW(ret), TCGV_LOW(arg1), t32);
1895 tcg_gen_movi_i32(TCGV_HIGH(ret), 0);
1896 tcg_temp_free_i32(t32);
Richard Henderson14e99212016-11-22 12:40:35 +00001897 } else if (!TCG_TARGET_HAS_ctz_i64
1898 && TCG_TARGET_HAS_ctpop_i64
1899 && arg2 == 64) {
1900 /* This equivalence has the advantage of not requiring a fixup. */
1901 TCGv_i64 t = tcg_temp_new_i64();
1902 tcg_gen_subi_i64(t, arg1, 1);
1903 tcg_gen_andc_i64(t, t, arg1);
1904 tcg_gen_ctpop_i64(ret, t);
1905 tcg_temp_free_i64(t);
Richard Henderson0e28d002016-11-16 09:23:28 +01001906 } else {
Richard Henderson11d11d62020-03-29 20:07:08 -07001907 TCGv_i64 t0 = tcg_const_i64(arg2);
1908 tcg_gen_ctz_i64(ret, arg1, t0);
1909 tcg_temp_free_i64(t0);
Richard Henderson0e28d002016-11-16 09:23:28 +01001910 }
1911}
1912
Richard Henderson086920c2016-11-16 17:32:48 +01001913void tcg_gen_clrsb_i64(TCGv_i64 ret, TCGv_i64 arg)
1914{
1915 if (TCG_TARGET_HAS_clz_i64 || TCG_TARGET_HAS_clz_i32) {
1916 TCGv_i64 t = tcg_temp_new_i64();
1917 tcg_gen_sari_i64(t, arg, 63);
1918 tcg_gen_xor_i64(t, t, arg);
1919 tcg_gen_clzi_i64(t, t, 64);
1920 tcg_gen_subi_i64(ret, t, 1);
1921 tcg_temp_free_i64(t);
1922 } else {
1923 gen_helper_clrsb_i64(ret, arg);
1924 }
1925}
1926
Richard Hendersona768e4e2016-11-21 11:13:39 +01001927void tcg_gen_ctpop_i64(TCGv_i64 ret, TCGv_i64 arg1)
1928{
1929 if (TCG_TARGET_HAS_ctpop_i64) {
1930 tcg_gen_op2_i64(INDEX_op_ctpop_i64, ret, arg1);
1931 } else if (TCG_TARGET_REG_BITS == 32 && TCG_TARGET_HAS_ctpop_i32) {
1932 tcg_gen_ctpop_i32(TCGV_HIGH(ret), TCGV_HIGH(arg1));
1933 tcg_gen_ctpop_i32(TCGV_LOW(ret), TCGV_LOW(arg1));
1934 tcg_gen_add_i32(TCGV_LOW(ret), TCGV_LOW(ret), TCGV_HIGH(ret));
1935 tcg_gen_movi_i32(TCGV_HIGH(ret), 0);
1936 } else {
1937 gen_helper_ctpop_i64(ret, arg1);
1938 }
1939}
1940
Richard Henderson951c6302014-09-19 11:39:20 -07001941void tcg_gen_rotl_i64(TCGv_i64 ret, TCGv_i64 arg1, TCGv_i64 arg2)
1942{
1943 if (TCG_TARGET_HAS_rot_i64) {
1944 tcg_gen_op3_i64(INDEX_op_rotl_i64, ret, arg1, arg2);
1945 } else {
1946 TCGv_i64 t0, t1;
1947 t0 = tcg_temp_new_i64();
1948 t1 = tcg_temp_new_i64();
1949 tcg_gen_shl_i64(t0, arg1, arg2);
1950 tcg_gen_subfi_i64(t1, 64, arg2);
1951 tcg_gen_shr_i64(t1, arg1, t1);
1952 tcg_gen_or_i64(ret, t0, t1);
1953 tcg_temp_free_i64(t0);
1954 tcg_temp_free_i64(t1);
1955 }
1956}
1957
Richard Henderson07dada02020-04-19 17:58:23 -07001958void tcg_gen_rotli_i64(TCGv_i64 ret, TCGv_i64 arg1, int64_t arg2)
Richard Henderson951c6302014-09-19 11:39:20 -07001959{
Richard Henderson07dada02020-04-19 17:58:23 -07001960 tcg_debug_assert(arg2 >= 0 && arg2 < 64);
Richard Henderson951c6302014-09-19 11:39:20 -07001961 /* some cases can be optimized here */
1962 if (arg2 == 0) {
1963 tcg_gen_mov_i64(ret, arg1);
1964 } else if (TCG_TARGET_HAS_rot_i64) {
Richard Henderson11d11d62020-03-29 20:07:08 -07001965 tcg_gen_rotl_i64(ret, arg1, tcg_constant_i64(arg2));
Richard Henderson951c6302014-09-19 11:39:20 -07001966 } else {
1967 TCGv_i64 t0, t1;
1968 t0 = tcg_temp_new_i64();
1969 t1 = tcg_temp_new_i64();
1970 tcg_gen_shli_i64(t0, arg1, arg2);
1971 tcg_gen_shri_i64(t1, arg1, 64 - arg2);
1972 tcg_gen_or_i64(ret, t0, t1);
1973 tcg_temp_free_i64(t0);
1974 tcg_temp_free_i64(t1);
1975 }
1976}
1977
1978void tcg_gen_rotr_i64(TCGv_i64 ret, TCGv_i64 arg1, TCGv_i64 arg2)
1979{
1980 if (TCG_TARGET_HAS_rot_i64) {
1981 tcg_gen_op3_i64(INDEX_op_rotr_i64, ret, arg1, arg2);
1982 } else {
1983 TCGv_i64 t0, t1;
1984 t0 = tcg_temp_new_i64();
1985 t1 = tcg_temp_new_i64();
1986 tcg_gen_shr_i64(t0, arg1, arg2);
1987 tcg_gen_subfi_i64(t1, 64, arg2);
1988 tcg_gen_shl_i64(t1, arg1, t1);
1989 tcg_gen_or_i64(ret, t0, t1);
1990 tcg_temp_free_i64(t0);
1991 tcg_temp_free_i64(t1);
1992 }
1993}
1994
Richard Henderson07dada02020-04-19 17:58:23 -07001995void tcg_gen_rotri_i64(TCGv_i64 ret, TCGv_i64 arg1, int64_t arg2)
Richard Henderson951c6302014-09-19 11:39:20 -07001996{
Richard Henderson07dada02020-04-19 17:58:23 -07001997 tcg_debug_assert(arg2 >= 0 && arg2 < 64);
Richard Henderson951c6302014-09-19 11:39:20 -07001998 /* some cases can be optimized here */
1999 if (arg2 == 0) {
2000 tcg_gen_mov_i64(ret, arg1);
2001 } else {
2002 tcg_gen_rotli_i64(ret, arg1, 64 - arg2);
2003 }
2004}
2005
2006void tcg_gen_deposit_i64(TCGv_i64 ret, TCGv_i64 arg1, TCGv_i64 arg2,
2007 unsigned int ofs, unsigned int len)
2008{
2009 uint64_t mask;
2010 TCGv_i64 t1;
2011
2012 tcg_debug_assert(ofs < 64);
Richard Henderson0d0d3092016-10-14 17:26:38 -05002013 tcg_debug_assert(len > 0);
Richard Henderson951c6302014-09-19 11:39:20 -07002014 tcg_debug_assert(len <= 64);
2015 tcg_debug_assert(ofs + len <= 64);
2016
Richard Henderson0d0d3092016-10-14 17:26:38 -05002017 if (len == 64) {
Richard Henderson951c6302014-09-19 11:39:20 -07002018 tcg_gen_mov_i64(ret, arg2);
2019 return;
2020 }
2021 if (TCG_TARGET_HAS_deposit_i64 && TCG_TARGET_deposit_i64_valid(ofs, len)) {
2022 tcg_gen_op5ii_i64(INDEX_op_deposit_i64, ret, arg1, arg2, ofs, len);
2023 return;
2024 }
2025
Richard Henderson3a13c3f2014-09-19 11:41:05 -07002026 if (TCG_TARGET_REG_BITS == 32) {
2027 if (ofs >= 32) {
2028 tcg_gen_deposit_i32(TCGV_HIGH(ret), TCGV_HIGH(arg1),
2029 TCGV_LOW(arg2), ofs - 32, len);
2030 tcg_gen_mov_i32(TCGV_LOW(ret), TCGV_LOW(arg1));
2031 return;
2032 }
2033 if (ofs + len <= 32) {
2034 tcg_gen_deposit_i32(TCGV_LOW(ret), TCGV_LOW(arg1),
2035 TCGV_LOW(arg2), ofs, len);
2036 tcg_gen_mov_i32(TCGV_HIGH(ret), TCGV_HIGH(arg1));
2037 return;
2038 }
Richard Henderson951c6302014-09-19 11:39:20 -07002039 }
Richard Henderson951c6302014-09-19 11:39:20 -07002040
Richard Henderson951c6302014-09-19 11:39:20 -07002041 t1 = tcg_temp_new_i64();
2042
Richard Hendersonb0a60562019-02-25 11:10:53 -08002043 if (TCG_TARGET_HAS_extract2_i64) {
2044 if (ofs + len == 64) {
2045 tcg_gen_shli_i64(t1, arg1, len);
2046 tcg_gen_extract2_i64(ret, t1, arg2, len);
2047 goto done;
2048 }
2049 if (ofs == 0) {
2050 tcg_gen_extract2_i64(ret, arg1, arg2, len);
2051 tcg_gen_rotli_i64(ret, ret, len);
2052 goto done;
2053 }
2054 }
2055
2056 mask = (1ull << len) - 1;
Richard Henderson951c6302014-09-19 11:39:20 -07002057 if (ofs + len < 64) {
2058 tcg_gen_andi_i64(t1, arg2, mask);
2059 tcg_gen_shli_i64(t1, t1, ofs);
2060 } else {
2061 tcg_gen_shli_i64(t1, arg2, ofs);
2062 }
2063 tcg_gen_andi_i64(ret, arg1, ~(mask << ofs));
2064 tcg_gen_or_i64(ret, ret, t1);
Richard Hendersonb0a60562019-02-25 11:10:53 -08002065 done:
Richard Henderson951c6302014-09-19 11:39:20 -07002066 tcg_temp_free_i64(t1);
2067}
2068
Richard Henderson07cc68d2016-10-17 13:21:31 -07002069void tcg_gen_deposit_z_i64(TCGv_i64 ret, TCGv_i64 arg,
2070 unsigned int ofs, unsigned int len)
2071{
2072 tcg_debug_assert(ofs < 64);
2073 tcg_debug_assert(len > 0);
2074 tcg_debug_assert(len <= 64);
2075 tcg_debug_assert(ofs + len <= 64);
2076
2077 if (ofs + len == 64) {
2078 tcg_gen_shli_i64(ret, arg, ofs);
2079 } else if (ofs == 0) {
2080 tcg_gen_andi_i64(ret, arg, (1ull << len) - 1);
2081 } else if (TCG_TARGET_HAS_deposit_i64
2082 && TCG_TARGET_deposit_i64_valid(ofs, len)) {
Richard Henderson11d11d62020-03-29 20:07:08 -07002083 TCGv_i64 zero = tcg_constant_i64(0);
Richard Henderson07cc68d2016-10-17 13:21:31 -07002084 tcg_gen_op5ii_i64(INDEX_op_deposit_i64, ret, zero, arg, ofs, len);
Richard Henderson07cc68d2016-10-17 13:21:31 -07002085 } else {
2086 if (TCG_TARGET_REG_BITS == 32) {
2087 if (ofs >= 32) {
2088 tcg_gen_deposit_z_i32(TCGV_HIGH(ret), TCGV_LOW(arg),
2089 ofs - 32, len);
2090 tcg_gen_movi_i32(TCGV_LOW(ret), 0);
2091 return;
2092 }
2093 if (ofs + len <= 32) {
2094 tcg_gen_deposit_z_i32(TCGV_LOW(ret), TCGV_LOW(arg), ofs, len);
2095 tcg_gen_movi_i32(TCGV_HIGH(ret), 0);
2096 return;
2097 }
2098 }
2099 /* To help two-operand hosts we prefer to zero-extend first,
2100 which allows ARG to stay live. */
2101 switch (len) {
2102 case 32:
2103 if (TCG_TARGET_HAS_ext32u_i64) {
2104 tcg_gen_ext32u_i64(ret, arg);
2105 tcg_gen_shli_i64(ret, ret, ofs);
2106 return;
2107 }
2108 break;
2109 case 16:
2110 if (TCG_TARGET_HAS_ext16u_i64) {
2111 tcg_gen_ext16u_i64(ret, arg);
2112 tcg_gen_shli_i64(ret, ret, ofs);
2113 return;
2114 }
2115 break;
2116 case 8:
2117 if (TCG_TARGET_HAS_ext8u_i64) {
2118 tcg_gen_ext8u_i64(ret, arg);
2119 tcg_gen_shli_i64(ret, ret, ofs);
2120 return;
2121 }
2122 break;
2123 }
2124 /* Otherwise prefer zero-extension over AND for code size. */
2125 switch (ofs + len) {
2126 case 32:
2127 if (TCG_TARGET_HAS_ext32u_i64) {
2128 tcg_gen_shli_i64(ret, arg, ofs);
2129 tcg_gen_ext32u_i64(ret, ret);
2130 return;
2131 }
2132 break;
2133 case 16:
2134 if (TCG_TARGET_HAS_ext16u_i64) {
2135 tcg_gen_shli_i64(ret, arg, ofs);
2136 tcg_gen_ext16u_i64(ret, ret);
2137 return;
2138 }
2139 break;
2140 case 8:
2141 if (TCG_TARGET_HAS_ext8u_i64) {
2142 tcg_gen_shli_i64(ret, arg, ofs);
2143 tcg_gen_ext8u_i64(ret, ret);
2144 return;
2145 }
2146 break;
2147 }
2148 tcg_gen_andi_i64(ret, arg, (1ull << len) - 1);
2149 tcg_gen_shli_i64(ret, ret, ofs);
2150 }
2151}
2152
Richard Henderson7ec8bab2016-10-14 12:04:32 -05002153void tcg_gen_extract_i64(TCGv_i64 ret, TCGv_i64 arg,
2154 unsigned int ofs, unsigned int len)
2155{
2156 tcg_debug_assert(ofs < 64);
2157 tcg_debug_assert(len > 0);
2158 tcg_debug_assert(len <= 64);
2159 tcg_debug_assert(ofs + len <= 64);
2160
2161 /* Canonicalize certain special cases, even if extract is supported. */
2162 if (ofs + len == 64) {
2163 tcg_gen_shri_i64(ret, arg, 64 - len);
2164 return;
2165 }
2166 if (ofs == 0) {
2167 tcg_gen_andi_i64(ret, arg, (1ull << len) - 1);
2168 return;
2169 }
2170
2171 if (TCG_TARGET_REG_BITS == 32) {
2172 /* Look for a 32-bit extract within one of the two words. */
2173 if (ofs >= 32) {
2174 tcg_gen_extract_i32(TCGV_LOW(ret), TCGV_HIGH(arg), ofs - 32, len);
2175 tcg_gen_movi_i32(TCGV_HIGH(ret), 0);
2176 return;
2177 }
2178 if (ofs + len <= 32) {
2179 tcg_gen_extract_i32(TCGV_LOW(ret), TCGV_LOW(arg), ofs, len);
2180 tcg_gen_movi_i32(TCGV_HIGH(ret), 0);
2181 return;
2182 }
2183 /* The field is split across two words. One double-word
2184 shift is better than two double-word shifts. */
2185 goto do_shift_and;
2186 }
2187
2188 if (TCG_TARGET_HAS_extract_i64
2189 && TCG_TARGET_extract_i64_valid(ofs, len)) {
2190 tcg_gen_op4ii_i64(INDEX_op_extract_i64, ret, arg, ofs, len);
2191 return;
2192 }
2193
2194 /* Assume that zero-extension, if available, is cheaper than a shift. */
2195 switch (ofs + len) {
2196 case 32:
2197 if (TCG_TARGET_HAS_ext32u_i64) {
2198 tcg_gen_ext32u_i64(ret, arg);
2199 tcg_gen_shri_i64(ret, ret, ofs);
2200 return;
2201 }
2202 break;
2203 case 16:
2204 if (TCG_TARGET_HAS_ext16u_i64) {
2205 tcg_gen_ext16u_i64(ret, arg);
2206 tcg_gen_shri_i64(ret, ret, ofs);
2207 return;
2208 }
2209 break;
2210 case 8:
2211 if (TCG_TARGET_HAS_ext8u_i64) {
2212 tcg_gen_ext8u_i64(ret, arg);
2213 tcg_gen_shri_i64(ret, ret, ofs);
2214 return;
2215 }
2216 break;
2217 }
2218
2219 /* ??? Ideally we'd know what values are available for immediate AND.
2220 Assume that 8 bits are available, plus the special cases of 16 and 32,
2221 so that we get ext8u, ext16u, and ext32u. */
2222 switch (len) {
2223 case 1 ... 8: case 16: case 32:
2224 do_shift_and:
2225 tcg_gen_shri_i64(ret, arg, ofs);
2226 tcg_gen_andi_i64(ret, ret, (1ull << len) - 1);
2227 break;
2228 default:
2229 tcg_gen_shli_i64(ret, arg, 64 - len - ofs);
2230 tcg_gen_shri_i64(ret, ret, 64 - len);
2231 break;
2232 }
2233}
2234
2235void tcg_gen_sextract_i64(TCGv_i64 ret, TCGv_i64 arg,
2236 unsigned int ofs, unsigned int len)
2237{
2238 tcg_debug_assert(ofs < 64);
2239 tcg_debug_assert(len > 0);
2240 tcg_debug_assert(len <= 64);
2241 tcg_debug_assert(ofs + len <= 64);
2242
2243 /* Canonicalize certain special cases, even if sextract is supported. */
2244 if (ofs + len == 64) {
2245 tcg_gen_sari_i64(ret, arg, 64 - len);
2246 return;
2247 }
2248 if (ofs == 0) {
2249 switch (len) {
2250 case 32:
2251 tcg_gen_ext32s_i64(ret, arg);
2252 return;
2253 case 16:
2254 tcg_gen_ext16s_i64(ret, arg);
2255 return;
2256 case 8:
2257 tcg_gen_ext8s_i64(ret, arg);
2258 return;
2259 }
2260 }
2261
2262 if (TCG_TARGET_REG_BITS == 32) {
2263 /* Look for a 32-bit extract within one of the two words. */
2264 if (ofs >= 32) {
2265 tcg_gen_sextract_i32(TCGV_LOW(ret), TCGV_HIGH(arg), ofs - 32, len);
2266 } else if (ofs + len <= 32) {
2267 tcg_gen_sextract_i32(TCGV_LOW(ret), TCGV_LOW(arg), ofs, len);
2268 } else if (ofs == 0) {
2269 tcg_gen_mov_i32(TCGV_LOW(ret), TCGV_LOW(arg));
2270 tcg_gen_sextract_i32(TCGV_HIGH(ret), TCGV_HIGH(arg), 0, len - 32);
2271 return;
2272 } else if (len > 32) {
2273 TCGv_i32 t = tcg_temp_new_i32();
2274 /* Extract the bits for the high word normally. */
2275 tcg_gen_sextract_i32(t, TCGV_HIGH(arg), ofs + 32, len - 32);
2276 /* Shift the field down for the low part. */
2277 tcg_gen_shri_i64(ret, arg, ofs);
2278 /* Overwrite the shift into the high part. */
2279 tcg_gen_mov_i32(TCGV_HIGH(ret), t);
2280 tcg_temp_free_i32(t);
2281 return;
2282 } else {
2283 /* Shift the field down for the low part, such that the
2284 field sits at the MSB. */
2285 tcg_gen_shri_i64(ret, arg, ofs + len - 32);
2286 /* Shift the field down from the MSB, sign extending. */
2287 tcg_gen_sari_i32(TCGV_LOW(ret), TCGV_LOW(ret), 32 - len);
2288 }
2289 /* Sign-extend the field from 32 bits. */
2290 tcg_gen_sari_i32(TCGV_HIGH(ret), TCGV_LOW(ret), 31);
2291 return;
2292 }
2293
2294 if (TCG_TARGET_HAS_sextract_i64
2295 && TCG_TARGET_extract_i64_valid(ofs, len)) {
2296 tcg_gen_op4ii_i64(INDEX_op_sextract_i64, ret, arg, ofs, len);
2297 return;
2298 }
2299
2300 /* Assume that sign-extension, if available, is cheaper than a shift. */
2301 switch (ofs + len) {
2302 case 32:
2303 if (TCG_TARGET_HAS_ext32s_i64) {
2304 tcg_gen_ext32s_i64(ret, arg);
2305 tcg_gen_sari_i64(ret, ret, ofs);
2306 return;
2307 }
2308 break;
2309 case 16:
2310 if (TCG_TARGET_HAS_ext16s_i64) {
2311 tcg_gen_ext16s_i64(ret, arg);
2312 tcg_gen_sari_i64(ret, ret, ofs);
2313 return;
2314 }
2315 break;
2316 case 8:
2317 if (TCG_TARGET_HAS_ext8s_i64) {
2318 tcg_gen_ext8s_i64(ret, arg);
2319 tcg_gen_sari_i64(ret, ret, ofs);
2320 return;
2321 }
2322 break;
2323 }
2324 switch (len) {
2325 case 32:
2326 if (TCG_TARGET_HAS_ext32s_i64) {
2327 tcg_gen_shri_i64(ret, arg, ofs);
2328 tcg_gen_ext32s_i64(ret, ret);
2329 return;
2330 }
2331 break;
2332 case 16:
2333 if (TCG_TARGET_HAS_ext16s_i64) {
2334 tcg_gen_shri_i64(ret, arg, ofs);
2335 tcg_gen_ext16s_i64(ret, ret);
2336 return;
2337 }
2338 break;
2339 case 8:
2340 if (TCG_TARGET_HAS_ext8s_i64) {
2341 tcg_gen_shri_i64(ret, arg, ofs);
2342 tcg_gen_ext8s_i64(ret, ret);
2343 return;
2344 }
2345 break;
2346 }
2347 tcg_gen_shli_i64(ret, arg, 64 - len - ofs);
2348 tcg_gen_sari_i64(ret, ret, 64 - len);
2349}
2350
David Hildenbrand2089fcc2019-02-25 16:42:04 +01002351/*
2352 * Extract 64 bits from a 128-bit input, ah:al, starting from ofs.
2353 * Unlike tcg_gen_extract_i64 above, len is fixed at 64.
2354 */
2355void tcg_gen_extract2_i64(TCGv_i64 ret, TCGv_i64 al, TCGv_i64 ah,
2356 unsigned int ofs)
2357{
2358 tcg_debug_assert(ofs <= 64);
2359 if (ofs == 0) {
2360 tcg_gen_mov_i64(ret, al);
2361 } else if (ofs == 64) {
2362 tcg_gen_mov_i64(ret, ah);
2363 } else if (al == ah) {
2364 tcg_gen_rotri_i64(ret, al, ofs);
Richard Hendersonfce12962019-02-25 10:29:25 -08002365 } else if (TCG_TARGET_HAS_extract2_i64) {
2366 tcg_gen_op4i_i64(INDEX_op_extract2_i64, ret, al, ah, ofs);
David Hildenbrand2089fcc2019-02-25 16:42:04 +01002367 } else {
2368 TCGv_i64 t0 = tcg_temp_new_i64();
2369 tcg_gen_shri_i64(t0, al, ofs);
2370 tcg_gen_deposit_i64(ret, t0, ah, 64 - ofs, ofs);
2371 tcg_temp_free_i64(t0);
2372 }
2373}
2374
Richard Henderson951c6302014-09-19 11:39:20 -07002375void tcg_gen_movcond_i64(TCGCond cond, TCGv_i64 ret, TCGv_i64 c1,
2376 TCGv_i64 c2, TCGv_i64 v1, TCGv_i64 v2)
2377{
Richard Henderson37ed3bf2015-02-20 11:13:50 -08002378 if (cond == TCG_COND_ALWAYS) {
2379 tcg_gen_mov_i64(ret, v1);
2380 } else if (cond == TCG_COND_NEVER) {
2381 tcg_gen_mov_i64(ret, v2);
2382 } else if (TCG_TARGET_REG_BITS == 32) {
Richard Henderson3a13c3f2014-09-19 11:41:05 -07002383 TCGv_i32 t0 = tcg_temp_new_i32();
2384 TCGv_i32 t1 = tcg_temp_new_i32();
2385 tcg_gen_op6i_i32(INDEX_op_setcond2_i32, t0,
2386 TCGV_LOW(c1), TCGV_HIGH(c1),
2387 TCGV_LOW(c2), TCGV_HIGH(c2), cond);
Richard Henderson951c6302014-09-19 11:39:20 -07002388
Richard Henderson3a13c3f2014-09-19 11:41:05 -07002389 if (TCG_TARGET_HAS_movcond_i32) {
2390 tcg_gen_movi_i32(t1, 0);
2391 tcg_gen_movcond_i32(TCG_COND_NE, TCGV_LOW(ret), t0, t1,
2392 TCGV_LOW(v1), TCGV_LOW(v2));
2393 tcg_gen_movcond_i32(TCG_COND_NE, TCGV_HIGH(ret), t0, t1,
2394 TCGV_HIGH(v1), TCGV_HIGH(v2));
2395 } else {
2396 tcg_gen_neg_i32(t0, t0);
Richard Henderson951c6302014-09-19 11:39:20 -07002397
Richard Henderson3a13c3f2014-09-19 11:41:05 -07002398 tcg_gen_and_i32(t1, TCGV_LOW(v1), t0);
2399 tcg_gen_andc_i32(TCGV_LOW(ret), TCGV_LOW(v2), t0);
2400 tcg_gen_or_i32(TCGV_LOW(ret), TCGV_LOW(ret), t1);
Richard Henderson951c6302014-09-19 11:39:20 -07002401
Richard Henderson3a13c3f2014-09-19 11:41:05 -07002402 tcg_gen_and_i32(t1, TCGV_HIGH(v1), t0);
2403 tcg_gen_andc_i32(TCGV_HIGH(ret), TCGV_HIGH(v2), t0);
2404 tcg_gen_or_i32(TCGV_HIGH(ret), TCGV_HIGH(ret), t1);
2405 }
2406 tcg_temp_free_i32(t0);
2407 tcg_temp_free_i32(t1);
2408 } else if (TCG_TARGET_HAS_movcond_i64) {
Richard Henderson951c6302014-09-19 11:39:20 -07002409 tcg_gen_op6i_i64(INDEX_op_movcond_i64, ret, c1, c2, v1, v2, cond);
2410 } else {
2411 TCGv_i64 t0 = tcg_temp_new_i64();
2412 TCGv_i64 t1 = tcg_temp_new_i64();
2413 tcg_gen_setcond_i64(cond, t0, c1, c2);
2414 tcg_gen_neg_i64(t0, t0);
2415 tcg_gen_and_i64(t1, v1, t0);
2416 tcg_gen_andc_i64(ret, v2, t0);
2417 tcg_gen_or_i64(ret, ret, t1);
2418 tcg_temp_free_i64(t0);
2419 tcg_temp_free_i64(t1);
2420 }
Richard Henderson951c6302014-09-19 11:39:20 -07002421}
2422
2423void tcg_gen_add2_i64(TCGv_i64 rl, TCGv_i64 rh, TCGv_i64 al,
2424 TCGv_i64 ah, TCGv_i64 bl, TCGv_i64 bh)
2425{
2426 if (TCG_TARGET_HAS_add2_i64) {
2427 tcg_gen_op6_i64(INDEX_op_add2_i64, rl, rh, al, ah, bl, bh);
Richard Henderson951c6302014-09-19 11:39:20 -07002428 } else {
2429 TCGv_i64 t0 = tcg_temp_new_i64();
2430 TCGv_i64 t1 = tcg_temp_new_i64();
2431 tcg_gen_add_i64(t0, al, bl);
2432 tcg_gen_setcond_i64(TCG_COND_LTU, t1, t0, al);
2433 tcg_gen_add_i64(rh, ah, bh);
2434 tcg_gen_add_i64(rh, rh, t1);
2435 tcg_gen_mov_i64(rl, t0);
2436 tcg_temp_free_i64(t0);
2437 tcg_temp_free_i64(t1);
2438 }
2439}
2440
2441void tcg_gen_sub2_i64(TCGv_i64 rl, TCGv_i64 rh, TCGv_i64 al,
2442 TCGv_i64 ah, TCGv_i64 bl, TCGv_i64 bh)
2443{
2444 if (TCG_TARGET_HAS_sub2_i64) {
2445 tcg_gen_op6_i64(INDEX_op_sub2_i64, rl, rh, al, ah, bl, bh);
Richard Henderson951c6302014-09-19 11:39:20 -07002446 } else {
2447 TCGv_i64 t0 = tcg_temp_new_i64();
2448 TCGv_i64 t1 = tcg_temp_new_i64();
2449 tcg_gen_sub_i64(t0, al, bl);
2450 tcg_gen_setcond_i64(TCG_COND_LTU, t1, al, bl);
2451 tcg_gen_sub_i64(rh, ah, bh);
2452 tcg_gen_sub_i64(rh, rh, t1);
2453 tcg_gen_mov_i64(rl, t0);
2454 tcg_temp_free_i64(t0);
2455 tcg_temp_free_i64(t1);
2456 }
2457}
2458
2459void tcg_gen_mulu2_i64(TCGv_i64 rl, TCGv_i64 rh, TCGv_i64 arg1, TCGv_i64 arg2)
2460{
2461 if (TCG_TARGET_HAS_mulu2_i64) {
2462 tcg_gen_op4_i64(INDEX_op_mulu2_i64, rl, rh, arg1, arg2);
Richard Henderson951c6302014-09-19 11:39:20 -07002463 } else if (TCG_TARGET_HAS_muluh_i64) {
2464 TCGv_i64 t = tcg_temp_new_i64();
2465 tcg_gen_op3_i64(INDEX_op_mul_i64, t, arg1, arg2);
2466 tcg_gen_op3_i64(INDEX_op_muluh_i64, rh, arg1, arg2);
2467 tcg_gen_mov_i64(rl, t);
2468 tcg_temp_free_i64(t);
2469 } else {
2470 TCGv_i64 t0 = tcg_temp_new_i64();
2471 tcg_gen_mul_i64(t0, arg1, arg2);
2472 gen_helper_muluh_i64(rh, arg1, arg2);
2473 tcg_gen_mov_i64(rl, t0);
2474 tcg_temp_free_i64(t0);
2475 }
2476}
2477
2478void tcg_gen_muls2_i64(TCGv_i64 rl, TCGv_i64 rh, TCGv_i64 arg1, TCGv_i64 arg2)
2479{
2480 if (TCG_TARGET_HAS_muls2_i64) {
2481 tcg_gen_op4_i64(INDEX_op_muls2_i64, rl, rh, arg1, arg2);
Richard Henderson951c6302014-09-19 11:39:20 -07002482 } else if (TCG_TARGET_HAS_mulsh_i64) {
2483 TCGv_i64 t = tcg_temp_new_i64();
2484 tcg_gen_op3_i64(INDEX_op_mul_i64, t, arg1, arg2);
2485 tcg_gen_op3_i64(INDEX_op_mulsh_i64, rh, arg1, arg2);
2486 tcg_gen_mov_i64(rl, t);
2487 tcg_temp_free_i64(t);
2488 } else if (TCG_TARGET_HAS_mulu2_i64 || TCG_TARGET_HAS_muluh_i64) {
2489 TCGv_i64 t0 = tcg_temp_new_i64();
2490 TCGv_i64 t1 = tcg_temp_new_i64();
2491 TCGv_i64 t2 = tcg_temp_new_i64();
2492 TCGv_i64 t3 = tcg_temp_new_i64();
2493 tcg_gen_mulu2_i64(t0, t1, arg1, arg2);
2494 /* Adjust for negative inputs. */
2495 tcg_gen_sari_i64(t2, arg1, 63);
2496 tcg_gen_sari_i64(t3, arg2, 63);
2497 tcg_gen_and_i64(t2, t2, arg2);
2498 tcg_gen_and_i64(t3, t3, arg1);
2499 tcg_gen_sub_i64(rh, t1, t2);
2500 tcg_gen_sub_i64(rh, rh, t3);
2501 tcg_gen_mov_i64(rl, t0);
2502 tcg_temp_free_i64(t0);
2503 tcg_temp_free_i64(t1);
2504 tcg_temp_free_i64(t2);
2505 tcg_temp_free_i64(t3);
2506 } else {
2507 TCGv_i64 t0 = tcg_temp_new_i64();
2508 tcg_gen_mul_i64(t0, arg1, arg2);
2509 gen_helper_mulsh_i64(rh, arg1, arg2);
2510 tcg_gen_mov_i64(rl, t0);
2511 tcg_temp_free_i64(t0);
2512 }
2513}
2514
Richard Henderson5087abf2016-09-27 14:23:52 -07002515void tcg_gen_mulsu2_i64(TCGv_i64 rl, TCGv_i64 rh, TCGv_i64 arg1, TCGv_i64 arg2)
2516{
2517 TCGv_i64 t0 = tcg_temp_new_i64();
2518 TCGv_i64 t1 = tcg_temp_new_i64();
2519 TCGv_i64 t2 = tcg_temp_new_i64();
2520 tcg_gen_mulu2_i64(t0, t1, arg1, arg2);
2521 /* Adjust for negative input for the signed arg1. */
2522 tcg_gen_sari_i64(t2, arg1, 63);
2523 tcg_gen_and_i64(t2, t2, arg2);
2524 tcg_gen_sub_i64(rh, t1, t2);
2525 tcg_gen_mov_i64(rl, t0);
2526 tcg_temp_free_i64(t0);
2527 tcg_temp_free_i64(t1);
2528 tcg_temp_free_i64(t2);
2529}
2530
Richard Hendersonb87fb8c2018-05-10 18:10:57 +01002531void tcg_gen_smin_i64(TCGv_i64 ret, TCGv_i64 a, TCGv_i64 b)
2532{
2533 tcg_gen_movcond_i64(TCG_COND_LT, ret, a, b, a, b);
2534}
2535
2536void tcg_gen_umin_i64(TCGv_i64 ret, TCGv_i64 a, TCGv_i64 b)
2537{
2538 tcg_gen_movcond_i64(TCG_COND_LTU, ret, a, b, a, b);
2539}
2540
2541void tcg_gen_smax_i64(TCGv_i64 ret, TCGv_i64 a, TCGv_i64 b)
2542{
2543 tcg_gen_movcond_i64(TCG_COND_LT, ret, a, b, b, a);
2544}
2545
2546void tcg_gen_umax_i64(TCGv_i64 ret, TCGv_i64 a, TCGv_i64 b)
2547{
2548 tcg_gen_movcond_i64(TCG_COND_LTU, ret, a, b, b, a);
2549}
2550
Richard Hendersonff1f11f2019-04-17 13:51:29 -10002551void tcg_gen_abs_i64(TCGv_i64 ret, TCGv_i64 a)
2552{
2553 TCGv_i64 t = tcg_temp_new_i64();
2554
2555 tcg_gen_sari_i64(t, a, 63);
2556 tcg_gen_xor_i64(ret, a, t);
2557 tcg_gen_sub_i64(ret, ret, t);
2558 tcg_temp_free_i64(t);
2559}
2560
Richard Henderson951c6302014-09-19 11:39:20 -07002561/* Size changing operations. */
2562
Richard Henderson609ad702015-07-24 07:16:00 -07002563void tcg_gen_extrl_i64_i32(TCGv_i32 ret, TCGv_i64 arg)
Richard Henderson951c6302014-09-19 11:39:20 -07002564{
Richard Henderson3a13c3f2014-09-19 11:41:05 -07002565 if (TCG_TARGET_REG_BITS == 32) {
Richard Henderson609ad702015-07-24 07:16:00 -07002566 tcg_gen_mov_i32(ret, TCGV_LOW(arg));
2567 } else if (TCG_TARGET_HAS_extrl_i64_i32) {
Richard Hendersonb7e8b172017-10-15 11:50:16 -07002568 tcg_gen_op2(INDEX_op_extrl_i64_i32,
Richard Hendersonae8b75d2017-10-15 13:27:56 -07002569 tcgv_i32_arg(ret), tcgv_i64_arg(arg));
Richard Henderson609ad702015-07-24 07:16:00 -07002570 } else {
Richard Hendersondc41aa72017-10-20 00:30:24 -07002571 tcg_gen_mov_i32(ret, (TCGv_i32)arg);
Richard Henderson609ad702015-07-24 07:16:00 -07002572 }
2573}
2574
2575void tcg_gen_extrh_i64_i32(TCGv_i32 ret, TCGv_i64 arg)
2576{
2577 if (TCG_TARGET_REG_BITS == 32) {
2578 tcg_gen_mov_i32(ret, TCGV_HIGH(arg));
2579 } else if (TCG_TARGET_HAS_extrh_i64_i32) {
Richard Hendersonb7e8b172017-10-15 11:50:16 -07002580 tcg_gen_op2(INDEX_op_extrh_i64_i32,
Richard Hendersonae8b75d2017-10-15 13:27:56 -07002581 tcgv_i32_arg(ret), tcgv_i64_arg(arg));
Richard Henderson951c6302014-09-19 11:39:20 -07002582 } else {
2583 TCGv_i64 t = tcg_temp_new_i64();
Richard Henderson609ad702015-07-24 07:16:00 -07002584 tcg_gen_shri_i64(t, arg, 32);
Richard Hendersondc41aa72017-10-20 00:30:24 -07002585 tcg_gen_mov_i32(ret, (TCGv_i32)t);
Richard Henderson951c6302014-09-19 11:39:20 -07002586 tcg_temp_free_i64(t);
2587 }
Richard Henderson951c6302014-09-19 11:39:20 -07002588}
2589
2590void tcg_gen_extu_i32_i64(TCGv_i64 ret, TCGv_i32 arg)
2591{
Richard Henderson3a13c3f2014-09-19 11:41:05 -07002592 if (TCG_TARGET_REG_BITS == 32) {
2593 tcg_gen_mov_i32(TCGV_LOW(ret), arg);
2594 tcg_gen_movi_i32(TCGV_HIGH(ret), 0);
2595 } else {
Richard Hendersonb7e8b172017-10-15 11:50:16 -07002596 tcg_gen_op2(INDEX_op_extu_i32_i64,
Richard Hendersonae8b75d2017-10-15 13:27:56 -07002597 tcgv_i64_arg(ret), tcgv_i32_arg(arg));
Richard Henderson3a13c3f2014-09-19 11:41:05 -07002598 }
Richard Henderson951c6302014-09-19 11:39:20 -07002599}
2600
2601void tcg_gen_ext_i32_i64(TCGv_i64 ret, TCGv_i32 arg)
2602{
Richard Henderson3a13c3f2014-09-19 11:41:05 -07002603 if (TCG_TARGET_REG_BITS == 32) {
2604 tcg_gen_mov_i32(TCGV_LOW(ret), arg);
2605 tcg_gen_sari_i32(TCGV_HIGH(ret), TCGV_LOW(ret), 31);
2606 } else {
Richard Hendersonb7e8b172017-10-15 11:50:16 -07002607 tcg_gen_op2(INDEX_op_ext_i32_i64,
Richard Hendersonae8b75d2017-10-15 13:27:56 -07002608 tcgv_i64_arg(ret), tcgv_i32_arg(arg));
Richard Henderson3a13c3f2014-09-19 11:41:05 -07002609 }
Richard Henderson951c6302014-09-19 11:39:20 -07002610}
2611
2612void tcg_gen_concat_i32_i64(TCGv_i64 dest, TCGv_i32 low, TCGv_i32 high)
2613{
Richard Henderson3a13c3f2014-09-19 11:41:05 -07002614 TCGv_i64 tmp;
2615
2616 if (TCG_TARGET_REG_BITS == 32) {
2617 tcg_gen_mov_i32(TCGV_LOW(dest), low);
2618 tcg_gen_mov_i32(TCGV_HIGH(dest), high);
2619 return;
2620 }
2621
2622 tmp = tcg_temp_new_i64();
Richard Henderson951c6302014-09-19 11:39:20 -07002623 /* These extensions are only needed for type correctness.
2624 We may be able to do better given target specific information. */
2625 tcg_gen_extu_i32_i64(tmp, high);
2626 tcg_gen_extu_i32_i64(dest, low);
2627 /* If deposit is available, use it. Otherwise use the extra
2628 knowledge that we have of the zero-extensions above. */
2629 if (TCG_TARGET_HAS_deposit_i64 && TCG_TARGET_deposit_i64_valid(32, 32)) {
2630 tcg_gen_deposit_i64(dest, dest, tmp, 32, 32);
2631 } else {
2632 tcg_gen_shli_i64(tmp, tmp, 32);
2633 tcg_gen_or_i64(dest, dest, tmp);
2634 }
2635 tcg_temp_free_i64(tmp);
Richard Henderson951c6302014-09-19 11:39:20 -07002636}
2637
2638void tcg_gen_extr_i64_i32(TCGv_i32 lo, TCGv_i32 hi, TCGv_i64 arg)
2639{
Richard Henderson3a13c3f2014-09-19 11:41:05 -07002640 if (TCG_TARGET_REG_BITS == 32) {
2641 tcg_gen_mov_i32(lo, TCGV_LOW(arg));
2642 tcg_gen_mov_i32(hi, TCGV_HIGH(arg));
2643 } else {
Richard Henderson609ad702015-07-24 07:16:00 -07002644 tcg_gen_extrl_i64_i32(lo, arg);
2645 tcg_gen_extrh_i64_i32(hi, arg);
Richard Henderson3a13c3f2014-09-19 11:41:05 -07002646 }
Richard Henderson951c6302014-09-19 11:39:20 -07002647}
2648
2649void tcg_gen_extr32_i64(TCGv_i64 lo, TCGv_i64 hi, TCGv_i64 arg)
2650{
2651 tcg_gen_ext32u_i64(lo, arg);
2652 tcg_gen_shri_i64(hi, arg, 32);
2653}
2654
2655/* QEMU specific operations. */
2656
Richard Hendersond9971432020-10-29 09:49:05 -07002657void tcg_gen_exit_tb(const TranslationBlock *tb, unsigned idx)
Richard Henderson07ea28b2018-05-30 18:06:23 -07002658{
Richard Hendersoneba40352020-10-29 13:18:12 -07002659 /*
2660 * Let the jit code return the read-only version of the
2661 * TranslationBlock, so that we minimize the pc-relative
2662 * distance of the address of the exit_tb code to TB.
2663 * This will improve utilization of pc-relative address loads.
2664 *
2665 * TODO: Move this to translator_loop, so that all const
2666 * TranslationBlock pointers refer to read-only memory.
2667 * This requires coordination with targets that do not use
2668 * the translator_loop.
2669 */
2670 uintptr_t val = (uintptr_t)tcg_splitwx_to_rx((void *)tb) + idx;
Richard Henderson07ea28b2018-05-30 18:06:23 -07002671
2672 if (tb == NULL) {
2673 tcg_debug_assert(idx == 0);
2674 } else if (idx <= TB_EXIT_IDXMAX) {
2675#ifdef CONFIG_DEBUG_TCG
2676 /* This is an exit following a goto_tb. Verify that we have
2677 seen this numbered exit before, via tcg_gen_goto_tb. */
2678 tcg_debug_assert(tcg_ctx->goto_tb_issue_mask & (1 << idx));
2679#endif
Richard Hendersond7f425f2018-10-06 09:05:30 -07002680 /* When not chaining, exit without indicating a link. */
2681 if (qemu_loglevel_mask(CPU_LOG_TB_NOCHAIN)) {
2682 val = 0;
2683 }
Richard Henderson07ea28b2018-05-30 18:06:23 -07002684 } else {
2685 /* This is an exit via the exitreq label. */
2686 tcg_debug_assert(idx == TB_EXIT_REQUESTED);
2687 }
2688
Emilio G. Cotae6d86be2018-10-21 13:24:26 -04002689 plugin_gen_disable_mem_helpers();
Richard Henderson07ea28b2018-05-30 18:06:23 -07002690 tcg_gen_op1i(INDEX_op_exit_tb, val);
2691}
2692
Richard Henderson951c6302014-09-19 11:39:20 -07002693void tcg_gen_goto_tb(unsigned idx)
2694{
2695 /* We only support two chained exits. */
Richard Henderson07ea28b2018-05-30 18:06:23 -07002696 tcg_debug_assert(idx <= TB_EXIT_IDXMAX);
Richard Henderson951c6302014-09-19 11:39:20 -07002697#ifdef CONFIG_DEBUG_TCG
2698 /* Verify that we havn't seen this numbered exit before. */
Emilio G. Cotab1311c42017-07-12 17:15:52 -04002699 tcg_debug_assert((tcg_ctx->goto_tb_issue_mask & (1 << idx)) == 0);
2700 tcg_ctx->goto_tb_issue_mask |= 1 << idx;
Richard Henderson951c6302014-09-19 11:39:20 -07002701#endif
Emilio G. Cotae6d86be2018-10-21 13:24:26 -04002702 plugin_gen_disable_mem_helpers();
Richard Hendersond7f425f2018-10-06 09:05:30 -07002703 /* When not chaining, we simply fall through to the "fallback" exit. */
2704 if (!qemu_loglevel_mask(CPU_LOG_TB_NOCHAIN)) {
2705 tcg_gen_op1i(INDEX_op_goto_tb, idx);
2706 }
Richard Henderson951c6302014-09-19 11:39:20 -07002707}
2708
Emilio G. Cota7f116362017-07-11 17:06:48 -04002709void tcg_gen_lookup_and_goto_ptr(void)
Emilio G. Cotacedbcb02017-04-26 23:29:14 -04002710{
2711 if (TCG_TARGET_HAS_goto_ptr && !qemu_loglevel_mask(CPU_LOG_TB_NOCHAIN)) {
Emilio G. Cotae6d86be2018-10-21 13:24:26 -04002712 TCGv_ptr ptr;
2713
2714 plugin_gen_disable_mem_helpers();
2715 ptr = tcg_temp_new_ptr();
Richard Henderson1c2adb92017-10-10 14:34:37 -07002716 gen_helper_lookup_tb_ptr(ptr, cpu_env);
Richard Hendersonae8b75d2017-10-15 13:27:56 -07002717 tcg_gen_op1i(INDEX_op_goto_ptr, tcgv_ptr_arg(ptr));
Emilio G. Cotacedbcb02017-04-26 23:29:14 -04002718 tcg_temp_free_ptr(ptr);
2719 } else {
Richard Henderson07ea28b2018-05-30 18:06:23 -07002720 tcg_gen_exit_tb(NULL, 0);
Emilio G. Cotacedbcb02017-04-26 23:29:14 -04002721 }
2722}
2723
Tony Nguyen14776ab2019-08-24 04:10:58 +10002724static inline MemOp tcg_canonicalize_memop(MemOp op, bool is64, bool st)
Richard Henderson951c6302014-09-19 11:39:20 -07002725{
Sergey Sorokin1f00b272016-06-23 21:16:46 +03002726 /* Trigger the asserts within as early as possible. */
2727 (void)get_alignment_bits(op);
2728
Richard Henderson951c6302014-09-19 11:39:20 -07002729 switch (op & MO_SIZE) {
2730 case MO_8:
2731 op &= ~MO_BSWAP;
2732 break;
2733 case MO_16:
2734 break;
2735 case MO_32:
2736 if (!is64) {
2737 op &= ~MO_SIGN;
2738 }
2739 break;
2740 case MO_64:
2741 if (!is64) {
2742 tcg_abort();
2743 }
2744 break;
2745 }
2746 if (st) {
2747 op &= ~MO_SIGN;
2748 }
2749 return op;
2750}
2751
Richard Hendersonc45cb8b2014-09-19 13:49:15 -07002752static void gen_ldst_i32(TCGOpcode opc, TCGv_i32 val, TCGv addr,
Tony Nguyen14776ab2019-08-24 04:10:58 +10002753 MemOp memop, TCGArg idx)
Richard Henderson951c6302014-09-19 11:39:20 -07002754{
Richard Henderson59227d52015-05-12 11:51:44 -07002755 TCGMemOpIdx oi = make_memop_idx(memop, idx);
Richard Henderson951c6302014-09-19 11:39:20 -07002756#if TARGET_LONG_BITS == 32
Richard Henderson59227d52015-05-12 11:51:44 -07002757 tcg_gen_op3i_i32(opc, val, addr, oi);
Richard Henderson951c6302014-09-19 11:39:20 -07002758#else
Richard Hendersonc45cb8b2014-09-19 13:49:15 -07002759 if (TCG_TARGET_REG_BITS == 32) {
Richard Henderson59227d52015-05-12 11:51:44 -07002760 tcg_gen_op4i_i32(opc, val, TCGV_LOW(addr), TCGV_HIGH(addr), oi);
Richard Hendersonc45cb8b2014-09-19 13:49:15 -07002761 } else {
Richard Hendersonae8b75d2017-10-15 13:27:56 -07002762 tcg_gen_op3(opc, tcgv_i32_arg(val), tcgv_i64_arg(addr), oi);
Richard Hendersonc45cb8b2014-09-19 13:49:15 -07002763 }
Richard Henderson951c6302014-09-19 11:39:20 -07002764#endif
Richard Hendersonc45cb8b2014-09-19 13:49:15 -07002765}
2766
2767static void gen_ldst_i64(TCGOpcode opc, TCGv_i64 val, TCGv addr,
Tony Nguyen14776ab2019-08-24 04:10:58 +10002768 MemOp memop, TCGArg idx)
Richard Hendersonc45cb8b2014-09-19 13:49:15 -07002769{
Richard Henderson59227d52015-05-12 11:51:44 -07002770 TCGMemOpIdx oi = make_memop_idx(memop, idx);
Richard Hendersonc45cb8b2014-09-19 13:49:15 -07002771#if TARGET_LONG_BITS == 32
2772 if (TCG_TARGET_REG_BITS == 32) {
Richard Henderson59227d52015-05-12 11:51:44 -07002773 tcg_gen_op4i_i32(opc, TCGV_LOW(val), TCGV_HIGH(val), addr, oi);
Richard Hendersonc45cb8b2014-09-19 13:49:15 -07002774 } else {
Richard Hendersonae8b75d2017-10-15 13:27:56 -07002775 tcg_gen_op3(opc, tcgv_i64_arg(val), tcgv_i32_arg(addr), oi);
Richard Hendersonc45cb8b2014-09-19 13:49:15 -07002776 }
2777#else
2778 if (TCG_TARGET_REG_BITS == 32) {
Richard Henderson59227d52015-05-12 11:51:44 -07002779 tcg_gen_op5i_i32(opc, TCGV_LOW(val), TCGV_HIGH(val),
2780 TCGV_LOW(addr), TCGV_HIGH(addr), oi);
Richard Hendersonc45cb8b2014-09-19 13:49:15 -07002781 } else {
Richard Henderson59227d52015-05-12 11:51:44 -07002782 tcg_gen_op3i_i64(opc, val, addr, oi);
Richard Hendersonc45cb8b2014-09-19 13:49:15 -07002783 }
2784#endif
2785}
Richard Henderson951c6302014-09-19 11:39:20 -07002786
Pranith Kumarb32dc332017-08-29 02:33:12 -04002787static void tcg_gen_req_mo(TCGBar type)
2788{
2789#ifdef TCG_GUEST_DEFAULT_MO
2790 type &= TCG_GUEST_DEFAULT_MO;
2791#endif
2792 type &= ~TCG_TARGET_DEFAULT_MO;
2793 if (type) {
2794 tcg_gen_mb(type | TCG_BAR_SC);
2795 }
2796}
2797
Alex Bennéefcc54ab2020-02-25 17:49:08 +00002798static inline TCGv plugin_prep_mem_callbacks(TCGv vaddr)
2799{
2800#ifdef CONFIG_PLUGIN
2801 if (tcg_ctx->plugin_insn != NULL) {
2802 /* Save a copy of the vaddr for use after a load. */
2803 TCGv temp = tcg_temp_new();
2804 tcg_gen_mov_tl(temp, vaddr);
2805 return temp;
2806 }
2807#endif
2808 return vaddr;
2809}
2810
Emilio G. Cotae6d86be2018-10-21 13:24:26 -04002811static inline void plugin_gen_mem_callbacks(TCGv vaddr, uint16_t info)
2812{
2813#ifdef CONFIG_PLUGIN
Alex Bennéefcc54ab2020-02-25 17:49:08 +00002814 if (tcg_ctx->plugin_insn != NULL) {
2815 plugin_gen_empty_mem_callback(vaddr, info);
2816 tcg_temp_free(vaddr);
Emilio G. Cotae6d86be2018-10-21 13:24:26 -04002817 }
Emilio G. Cotae6d86be2018-10-21 13:24:26 -04002818#endif
2819}
2820
Tony Nguyen14776ab2019-08-24 04:10:58 +10002821void tcg_gen_qemu_ld_i32(TCGv_i32 val, TCGv addr, TCGArg idx, MemOp memop)
Richard Henderson951c6302014-09-19 11:39:20 -07002822{
Tony Nguyen14776ab2019-08-24 04:10:58 +10002823 MemOp orig_memop;
Emilio G. Cotae6d86be2018-10-21 13:24:26 -04002824 uint16_t info = trace_mem_get_info(memop, idx, 0);
Richard Hendersone1dcf352018-11-20 08:37:42 +01002825
Pranith Kumarb32dc332017-08-29 02:33:12 -04002826 tcg_gen_req_mo(TCG_MO_LD_LD | TCG_MO_ST_LD);
Richard Henderson951c6302014-09-19 11:39:20 -07002827 memop = tcg_canonicalize_memop(memop, 0, 0);
Emilio G. Cotae6d86be2018-10-21 13:24:26 -04002828 trace_guest_mem_before_tcg(tcg_ctx->cpu, cpu_env, addr, info);
Richard Hendersone1dcf352018-11-20 08:37:42 +01002829
2830 orig_memop = memop;
2831 if (!TCG_TARGET_HAS_MEMORY_BSWAP && (memop & MO_BSWAP)) {
2832 memop &= ~MO_BSWAP;
2833 /* The bswap primitive requires zero-extended input. */
2834 if ((memop & MO_SSIZE) == MO_SW) {
2835 memop &= ~MO_SIGN;
2836 }
2837 }
2838
Alex Bennéefcc54ab2020-02-25 17:49:08 +00002839 addr = plugin_prep_mem_callbacks(addr);
Richard Hendersonc45cb8b2014-09-19 13:49:15 -07002840 gen_ldst_i32(INDEX_op_qemu_ld_i32, val, addr, memop, idx);
Emilio G. Cotae6d86be2018-10-21 13:24:26 -04002841 plugin_gen_mem_callbacks(addr, info);
Richard Hendersone1dcf352018-11-20 08:37:42 +01002842
2843 if ((orig_memop ^ memop) & MO_BSWAP) {
2844 switch (orig_memop & MO_SIZE) {
2845 case MO_16:
2846 tcg_gen_bswap16_i32(val, val);
2847 if (orig_memop & MO_SIGN) {
2848 tcg_gen_ext16s_i32(val, val);
2849 }
2850 break;
2851 case MO_32:
2852 tcg_gen_bswap32_i32(val, val);
2853 break;
2854 default:
2855 g_assert_not_reached();
2856 }
2857 }
Richard Henderson951c6302014-09-19 11:39:20 -07002858}
2859
Tony Nguyen14776ab2019-08-24 04:10:58 +10002860void tcg_gen_qemu_st_i32(TCGv_i32 val, TCGv addr, TCGArg idx, MemOp memop)
Richard Henderson951c6302014-09-19 11:39:20 -07002861{
Richard Hendersone1dcf352018-11-20 08:37:42 +01002862 TCGv_i32 swap = NULL;
Emilio G. Cotae6d86be2018-10-21 13:24:26 -04002863 uint16_t info = trace_mem_get_info(memop, idx, 1);
Richard Hendersone1dcf352018-11-20 08:37:42 +01002864
Pranith Kumarb32dc332017-08-29 02:33:12 -04002865 tcg_gen_req_mo(TCG_MO_LD_ST | TCG_MO_ST_ST);
Richard Henderson951c6302014-09-19 11:39:20 -07002866 memop = tcg_canonicalize_memop(memop, 0, 1);
Emilio G. Cotae6d86be2018-10-21 13:24:26 -04002867 trace_guest_mem_before_tcg(tcg_ctx->cpu, cpu_env, addr, info);
Richard Hendersone1dcf352018-11-20 08:37:42 +01002868
2869 if (!TCG_TARGET_HAS_MEMORY_BSWAP && (memop & MO_BSWAP)) {
2870 swap = tcg_temp_new_i32();
2871 switch (memop & MO_SIZE) {
2872 case MO_16:
2873 tcg_gen_ext16u_i32(swap, val);
2874 tcg_gen_bswap16_i32(swap, swap);
2875 break;
2876 case MO_32:
2877 tcg_gen_bswap32_i32(swap, val);
2878 break;
2879 default:
2880 g_assert_not_reached();
2881 }
2882 val = swap;
2883 memop &= ~MO_BSWAP;
2884 }
2885
Alex Bennéefcc54ab2020-02-25 17:49:08 +00002886 addr = plugin_prep_mem_callbacks(addr);
Richard Henderson07ce0b02020-12-09 13:58:39 -06002887 if (TCG_TARGET_HAS_qemu_st8_i32 && (memop & MO_SIZE) == MO_8) {
2888 gen_ldst_i32(INDEX_op_qemu_st8_i32, val, addr, memop, idx);
2889 } else {
2890 gen_ldst_i32(INDEX_op_qemu_st_i32, val, addr, memop, idx);
2891 }
Emilio G. Cotae6d86be2018-10-21 13:24:26 -04002892 plugin_gen_mem_callbacks(addr, info);
Richard Hendersone1dcf352018-11-20 08:37:42 +01002893
2894 if (swap) {
2895 tcg_temp_free_i32(swap);
2896 }
Richard Henderson951c6302014-09-19 11:39:20 -07002897}
2898
Tony Nguyen14776ab2019-08-24 04:10:58 +10002899void tcg_gen_qemu_ld_i64(TCGv_i64 val, TCGv addr, TCGArg idx, MemOp memop)
Richard Henderson951c6302014-09-19 11:39:20 -07002900{
Tony Nguyen14776ab2019-08-24 04:10:58 +10002901 MemOp orig_memop;
Emilio G. Cotae6d86be2018-10-21 13:24:26 -04002902 uint16_t info;
Richard Hendersone1dcf352018-11-20 08:37:42 +01002903
Richard Henderson3a13c3f2014-09-19 11:41:05 -07002904 if (TCG_TARGET_REG_BITS == 32 && (memop & MO_SIZE) < MO_64) {
Richard Henderson951c6302014-09-19 11:39:20 -07002905 tcg_gen_qemu_ld_i32(TCGV_LOW(val), addr, idx, memop);
2906 if (memop & MO_SIGN) {
2907 tcg_gen_sari_i32(TCGV_HIGH(val), TCGV_LOW(val), 31);
2908 } else {
2909 tcg_gen_movi_i32(TCGV_HIGH(val), 0);
2910 }
2911 return;
2912 }
Richard Henderson951c6302014-09-19 11:39:20 -07002913
Richard Hendersone1dcf352018-11-20 08:37:42 +01002914 tcg_gen_req_mo(TCG_MO_LD_LD | TCG_MO_ST_LD);
Richard Hendersonc45cb8b2014-09-19 13:49:15 -07002915 memop = tcg_canonicalize_memop(memop, 1, 0);
Emilio G. Cotae6d86be2018-10-21 13:24:26 -04002916 info = trace_mem_get_info(memop, idx, 0);
2917 trace_guest_mem_before_tcg(tcg_ctx->cpu, cpu_env, addr, info);
Richard Hendersone1dcf352018-11-20 08:37:42 +01002918
2919 orig_memop = memop;
2920 if (!TCG_TARGET_HAS_MEMORY_BSWAP && (memop & MO_BSWAP)) {
2921 memop &= ~MO_BSWAP;
2922 /* The bswap primitive requires zero-extended input. */
2923 if ((memop & MO_SIGN) && (memop & MO_SIZE) < MO_64) {
2924 memop &= ~MO_SIGN;
2925 }
2926 }
2927
Alex Bennéefcc54ab2020-02-25 17:49:08 +00002928 addr = plugin_prep_mem_callbacks(addr);
Richard Hendersonc45cb8b2014-09-19 13:49:15 -07002929 gen_ldst_i64(INDEX_op_qemu_ld_i64, val, addr, memop, idx);
Emilio G. Cotae6d86be2018-10-21 13:24:26 -04002930 plugin_gen_mem_callbacks(addr, info);
Richard Hendersone1dcf352018-11-20 08:37:42 +01002931
2932 if ((orig_memop ^ memop) & MO_BSWAP) {
2933 switch (orig_memop & MO_SIZE) {
2934 case MO_16:
2935 tcg_gen_bswap16_i64(val, val);
2936 if (orig_memop & MO_SIGN) {
2937 tcg_gen_ext16s_i64(val, val);
2938 }
2939 break;
2940 case MO_32:
2941 tcg_gen_bswap32_i64(val, val);
2942 if (orig_memop & MO_SIGN) {
2943 tcg_gen_ext32s_i64(val, val);
2944 }
2945 break;
2946 case MO_64:
2947 tcg_gen_bswap64_i64(val, val);
2948 break;
2949 default:
2950 g_assert_not_reached();
2951 }
2952 }
Richard Henderson951c6302014-09-19 11:39:20 -07002953}
2954
Tony Nguyen14776ab2019-08-24 04:10:58 +10002955void tcg_gen_qemu_st_i64(TCGv_i64 val, TCGv addr, TCGArg idx, MemOp memop)
Richard Henderson951c6302014-09-19 11:39:20 -07002956{
Richard Hendersone1dcf352018-11-20 08:37:42 +01002957 TCGv_i64 swap = NULL;
Emilio G. Cotae6d86be2018-10-21 13:24:26 -04002958 uint16_t info;
Richard Hendersone1dcf352018-11-20 08:37:42 +01002959
Richard Henderson3a13c3f2014-09-19 11:41:05 -07002960 if (TCG_TARGET_REG_BITS == 32 && (memop & MO_SIZE) < MO_64) {
Richard Henderson951c6302014-09-19 11:39:20 -07002961 tcg_gen_qemu_st_i32(TCGV_LOW(val), addr, idx, memop);
2962 return;
2963 }
Richard Henderson951c6302014-09-19 11:39:20 -07002964
Richard Hendersone1dcf352018-11-20 08:37:42 +01002965 tcg_gen_req_mo(TCG_MO_LD_ST | TCG_MO_ST_ST);
Richard Hendersonc45cb8b2014-09-19 13:49:15 -07002966 memop = tcg_canonicalize_memop(memop, 1, 1);
Emilio G. Cotae6d86be2018-10-21 13:24:26 -04002967 info = trace_mem_get_info(memop, idx, 1);
2968 trace_guest_mem_before_tcg(tcg_ctx->cpu, cpu_env, addr, info);
Richard Hendersone1dcf352018-11-20 08:37:42 +01002969
2970 if (!TCG_TARGET_HAS_MEMORY_BSWAP && (memop & MO_BSWAP)) {
2971 swap = tcg_temp_new_i64();
2972 switch (memop & MO_SIZE) {
2973 case MO_16:
2974 tcg_gen_ext16u_i64(swap, val);
2975 tcg_gen_bswap16_i64(swap, swap);
2976 break;
2977 case MO_32:
2978 tcg_gen_ext32u_i64(swap, val);
2979 tcg_gen_bswap32_i64(swap, swap);
2980 break;
2981 case MO_64:
2982 tcg_gen_bswap64_i64(swap, val);
2983 break;
2984 default:
2985 g_assert_not_reached();
2986 }
2987 val = swap;
2988 memop &= ~MO_BSWAP;
2989 }
2990
Alex Bennéefcc54ab2020-02-25 17:49:08 +00002991 addr = plugin_prep_mem_callbacks(addr);
Richard Hendersonc45cb8b2014-09-19 13:49:15 -07002992 gen_ldst_i64(INDEX_op_qemu_st_i64, val, addr, memop, idx);
Emilio G. Cotae6d86be2018-10-21 13:24:26 -04002993 plugin_gen_mem_callbacks(addr, info);
Richard Hendersone1dcf352018-11-20 08:37:42 +01002994
2995 if (swap) {
2996 tcg_temp_free_i64(swap);
2997 }
Richard Henderson951c6302014-09-19 11:39:20 -07002998}
Richard Hendersonc482cb12016-06-28 11:37:27 -07002999
Tony Nguyen14776ab2019-08-24 04:10:58 +10003000static void tcg_gen_ext_i32(TCGv_i32 ret, TCGv_i32 val, MemOp opc)
Richard Hendersonc482cb12016-06-28 11:37:27 -07003001{
3002 switch (opc & MO_SSIZE) {
3003 case MO_SB:
3004 tcg_gen_ext8s_i32(ret, val);
3005 break;
3006 case MO_UB:
3007 tcg_gen_ext8u_i32(ret, val);
3008 break;
3009 case MO_SW:
3010 tcg_gen_ext16s_i32(ret, val);
3011 break;
3012 case MO_UW:
3013 tcg_gen_ext16u_i32(ret, val);
3014 break;
3015 default:
3016 tcg_gen_mov_i32(ret, val);
3017 break;
3018 }
3019}
3020
Tony Nguyen14776ab2019-08-24 04:10:58 +10003021static void tcg_gen_ext_i64(TCGv_i64 ret, TCGv_i64 val, MemOp opc)
Richard Hendersonc482cb12016-06-28 11:37:27 -07003022{
3023 switch (opc & MO_SSIZE) {
3024 case MO_SB:
3025 tcg_gen_ext8s_i64(ret, val);
3026 break;
3027 case MO_UB:
3028 tcg_gen_ext8u_i64(ret, val);
3029 break;
3030 case MO_SW:
3031 tcg_gen_ext16s_i64(ret, val);
3032 break;
3033 case MO_UW:
3034 tcg_gen_ext16u_i64(ret, val);
3035 break;
3036 case MO_SL:
3037 tcg_gen_ext32s_i64(ret, val);
3038 break;
3039 case MO_UL:
3040 tcg_gen_ext32u_i64(ret, val);
3041 break;
3042 default:
3043 tcg_gen_mov_i64(ret, val);
3044 break;
3045 }
3046}
3047
3048#ifdef CONFIG_SOFTMMU
3049typedef void (*gen_atomic_cx_i32)(TCGv_i32, TCGv_env, TCGv,
3050 TCGv_i32, TCGv_i32, TCGv_i32);
3051typedef void (*gen_atomic_cx_i64)(TCGv_i64, TCGv_env, TCGv,
3052 TCGv_i64, TCGv_i64, TCGv_i32);
3053typedef void (*gen_atomic_op_i32)(TCGv_i32, TCGv_env, TCGv,
3054 TCGv_i32, TCGv_i32);
3055typedef void (*gen_atomic_op_i64)(TCGv_i64, TCGv_env, TCGv,
3056 TCGv_i64, TCGv_i32);
3057#else
3058typedef void (*gen_atomic_cx_i32)(TCGv_i32, TCGv_env, TCGv, TCGv_i32, TCGv_i32);
3059typedef void (*gen_atomic_cx_i64)(TCGv_i64, TCGv_env, TCGv, TCGv_i64, TCGv_i64);
3060typedef void (*gen_atomic_op_i32)(TCGv_i32, TCGv_env, TCGv, TCGv_i32);
3061typedef void (*gen_atomic_op_i64)(TCGv_i64, TCGv_env, TCGv, TCGv_i64);
3062#endif
3063
Richard Hendersondf79b992016-09-02 12:23:57 -07003064#ifdef CONFIG_ATOMIC64
3065# define WITH_ATOMIC64(X) X,
3066#else
3067# define WITH_ATOMIC64(X)
3068#endif
3069
Richard Hendersonc482cb12016-06-28 11:37:27 -07003070static void * const table_cmpxchg[16] = {
3071 [MO_8] = gen_helper_atomic_cmpxchgb,
3072 [MO_16 | MO_LE] = gen_helper_atomic_cmpxchgw_le,
3073 [MO_16 | MO_BE] = gen_helper_atomic_cmpxchgw_be,
3074 [MO_32 | MO_LE] = gen_helper_atomic_cmpxchgl_le,
3075 [MO_32 | MO_BE] = gen_helper_atomic_cmpxchgl_be,
Richard Hendersondf79b992016-09-02 12:23:57 -07003076 WITH_ATOMIC64([MO_64 | MO_LE] = gen_helper_atomic_cmpxchgq_le)
3077 WITH_ATOMIC64([MO_64 | MO_BE] = gen_helper_atomic_cmpxchgq_be)
Richard Hendersonc482cb12016-06-28 11:37:27 -07003078};
3079
3080void tcg_gen_atomic_cmpxchg_i32(TCGv_i32 retv, TCGv addr, TCGv_i32 cmpv,
Tony Nguyen14776ab2019-08-24 04:10:58 +10003081 TCGv_i32 newv, TCGArg idx, MemOp memop)
Richard Hendersonc482cb12016-06-28 11:37:27 -07003082{
3083 memop = tcg_canonicalize_memop(memop, 0, 0);
3084
Emilio G. Cotab1311c42017-07-12 17:15:52 -04003085 if (!(tcg_ctx->tb_cflags & CF_PARALLEL)) {
Richard Hendersonc482cb12016-06-28 11:37:27 -07003086 TCGv_i32 t1 = tcg_temp_new_i32();
3087 TCGv_i32 t2 = tcg_temp_new_i32();
3088
3089 tcg_gen_ext_i32(t2, cmpv, memop & MO_SIZE);
3090
3091 tcg_gen_qemu_ld_i32(t1, addr, idx, memop & ~MO_SIGN);
3092 tcg_gen_movcond_i32(TCG_COND_EQ, t2, t1, t2, newv, t1);
3093 tcg_gen_qemu_st_i32(t2, addr, idx, memop);
3094 tcg_temp_free_i32(t2);
3095
3096 if (memop & MO_SIGN) {
3097 tcg_gen_ext_i32(retv, t1, memop);
3098 } else {
3099 tcg_gen_mov_i32(retv, t1);
3100 }
3101 tcg_temp_free_i32(t1);
3102 } else {
3103 gen_atomic_cx_i32 gen;
3104
3105 gen = table_cmpxchg[memop & (MO_SIZE | MO_BSWAP)];
3106 tcg_debug_assert(gen != NULL);
3107
3108#ifdef CONFIG_SOFTMMU
3109 {
Richard Henderson11d11d62020-03-29 20:07:08 -07003110 TCGMemOpIdx oi = make_memop_idx(memop & ~MO_SIGN, idx);
3111 gen(retv, cpu_env, addr, cmpv, newv, tcg_constant_i32(oi));
Richard Hendersonc482cb12016-06-28 11:37:27 -07003112 }
3113#else
Richard Henderson1c2adb92017-10-10 14:34:37 -07003114 gen(retv, cpu_env, addr, cmpv, newv);
Richard Hendersonc482cb12016-06-28 11:37:27 -07003115#endif
3116
3117 if (memop & MO_SIGN) {
3118 tcg_gen_ext_i32(retv, retv, memop);
3119 }
3120 }
3121}
3122
3123void tcg_gen_atomic_cmpxchg_i64(TCGv_i64 retv, TCGv addr, TCGv_i64 cmpv,
Tony Nguyen14776ab2019-08-24 04:10:58 +10003124 TCGv_i64 newv, TCGArg idx, MemOp memop)
Richard Hendersonc482cb12016-06-28 11:37:27 -07003125{
3126 memop = tcg_canonicalize_memop(memop, 1, 0);
3127
Emilio G. Cotab1311c42017-07-12 17:15:52 -04003128 if (!(tcg_ctx->tb_cflags & CF_PARALLEL)) {
Richard Hendersonc482cb12016-06-28 11:37:27 -07003129 TCGv_i64 t1 = tcg_temp_new_i64();
3130 TCGv_i64 t2 = tcg_temp_new_i64();
3131
3132 tcg_gen_ext_i64(t2, cmpv, memop & MO_SIZE);
3133
3134 tcg_gen_qemu_ld_i64(t1, addr, idx, memop & ~MO_SIGN);
3135 tcg_gen_movcond_i64(TCG_COND_EQ, t2, t1, t2, newv, t1);
3136 tcg_gen_qemu_st_i64(t2, addr, idx, memop);
3137 tcg_temp_free_i64(t2);
3138
3139 if (memop & MO_SIGN) {
3140 tcg_gen_ext_i64(retv, t1, memop);
3141 } else {
3142 tcg_gen_mov_i64(retv, t1);
3143 }
3144 tcg_temp_free_i64(t1);
3145 } else if ((memop & MO_SIZE) == MO_64) {
Richard Hendersondf79b992016-09-02 12:23:57 -07003146#ifdef CONFIG_ATOMIC64
Richard Hendersonc482cb12016-06-28 11:37:27 -07003147 gen_atomic_cx_i64 gen;
3148
3149 gen = table_cmpxchg[memop & (MO_SIZE | MO_BSWAP)];
3150 tcg_debug_assert(gen != NULL);
3151
3152#ifdef CONFIG_SOFTMMU
3153 {
Richard Henderson11d11d62020-03-29 20:07:08 -07003154 TCGMemOpIdx oi = make_memop_idx(memop, idx);
3155 gen(retv, cpu_env, addr, cmpv, newv, tcg_constant_i32(oi));
Richard Hendersonc482cb12016-06-28 11:37:27 -07003156 }
3157#else
Richard Henderson1c2adb92017-10-10 14:34:37 -07003158 gen(retv, cpu_env, addr, cmpv, newv);
Richard Hendersonc482cb12016-06-28 11:37:27 -07003159#endif
Richard Hendersondf79b992016-09-02 12:23:57 -07003160#else
Richard Henderson1c2adb92017-10-10 14:34:37 -07003161 gen_helper_exit_atomic(cpu_env);
Richard Henderson79b1af92017-04-25 12:38:52 +02003162 /* Produce a result, so that we have a well-formed opcode stream
3163 with respect to uses of the result in the (dead) code following. */
3164 tcg_gen_movi_i64(retv, 0);
Richard Hendersondf79b992016-09-02 12:23:57 -07003165#endif /* CONFIG_ATOMIC64 */
Richard Hendersonc482cb12016-06-28 11:37:27 -07003166 } else {
3167 TCGv_i32 c32 = tcg_temp_new_i32();
3168 TCGv_i32 n32 = tcg_temp_new_i32();
3169 TCGv_i32 r32 = tcg_temp_new_i32();
3170
3171 tcg_gen_extrl_i64_i32(c32, cmpv);
3172 tcg_gen_extrl_i64_i32(n32, newv);
3173 tcg_gen_atomic_cmpxchg_i32(r32, addr, c32, n32, idx, memop & ~MO_SIGN);
3174 tcg_temp_free_i32(c32);
3175 tcg_temp_free_i32(n32);
3176
3177 tcg_gen_extu_i32_i64(retv, r32);
3178 tcg_temp_free_i32(r32);
3179
3180 if (memop & MO_SIGN) {
3181 tcg_gen_ext_i64(retv, retv, memop);
3182 }
3183 }
3184}
3185
3186static void do_nonatomic_op_i32(TCGv_i32 ret, TCGv addr, TCGv_i32 val,
Tony Nguyen14776ab2019-08-24 04:10:58 +10003187 TCGArg idx, MemOp memop, bool new_val,
Richard Hendersonc482cb12016-06-28 11:37:27 -07003188 void (*gen)(TCGv_i32, TCGv_i32, TCGv_i32))
3189{
3190 TCGv_i32 t1 = tcg_temp_new_i32();
3191 TCGv_i32 t2 = tcg_temp_new_i32();
3192
3193 memop = tcg_canonicalize_memop(memop, 0, 0);
3194
Richard Henderson852f9332020-07-01 09:28:15 -07003195 tcg_gen_qemu_ld_i32(t1, addr, idx, memop);
3196 tcg_gen_ext_i32(t2, val, memop);
3197 gen(t2, t1, t2);
Richard Hendersonc482cb12016-06-28 11:37:27 -07003198 tcg_gen_qemu_st_i32(t2, addr, idx, memop);
3199
3200 tcg_gen_ext_i32(ret, (new_val ? t2 : t1), memop);
3201 tcg_temp_free_i32(t1);
3202 tcg_temp_free_i32(t2);
3203}
3204
3205static void do_atomic_op_i32(TCGv_i32 ret, TCGv addr, TCGv_i32 val,
Tony Nguyen14776ab2019-08-24 04:10:58 +10003206 TCGArg idx, MemOp memop, void * const table[])
Richard Hendersonc482cb12016-06-28 11:37:27 -07003207{
3208 gen_atomic_op_i32 gen;
3209
3210 memop = tcg_canonicalize_memop(memop, 0, 0);
3211
3212 gen = table[memop & (MO_SIZE | MO_BSWAP)];
3213 tcg_debug_assert(gen != NULL);
3214
3215#ifdef CONFIG_SOFTMMU
3216 {
Richard Henderson11d11d62020-03-29 20:07:08 -07003217 TCGMemOpIdx oi = make_memop_idx(memop & ~MO_SIGN, idx);
3218 gen(ret, cpu_env, addr, val, tcg_constant_i32(oi));
Richard Hendersonc482cb12016-06-28 11:37:27 -07003219 }
3220#else
Richard Henderson1c2adb92017-10-10 14:34:37 -07003221 gen(ret, cpu_env, addr, val);
Richard Hendersonc482cb12016-06-28 11:37:27 -07003222#endif
3223
3224 if (memop & MO_SIGN) {
3225 tcg_gen_ext_i32(ret, ret, memop);
3226 }
3227}
3228
3229static void do_nonatomic_op_i64(TCGv_i64 ret, TCGv addr, TCGv_i64 val,
Tony Nguyen14776ab2019-08-24 04:10:58 +10003230 TCGArg idx, MemOp memop, bool new_val,
Richard Hendersonc482cb12016-06-28 11:37:27 -07003231 void (*gen)(TCGv_i64, TCGv_i64, TCGv_i64))
3232{
3233 TCGv_i64 t1 = tcg_temp_new_i64();
3234 TCGv_i64 t2 = tcg_temp_new_i64();
3235
3236 memop = tcg_canonicalize_memop(memop, 1, 0);
3237
Richard Henderson852f9332020-07-01 09:28:15 -07003238 tcg_gen_qemu_ld_i64(t1, addr, idx, memop);
3239 tcg_gen_ext_i64(t2, val, memop);
3240 gen(t2, t1, t2);
Richard Hendersonc482cb12016-06-28 11:37:27 -07003241 tcg_gen_qemu_st_i64(t2, addr, idx, memop);
3242
3243 tcg_gen_ext_i64(ret, (new_val ? t2 : t1), memop);
3244 tcg_temp_free_i64(t1);
3245 tcg_temp_free_i64(t2);
3246}
3247
3248static void do_atomic_op_i64(TCGv_i64 ret, TCGv addr, TCGv_i64 val,
Tony Nguyen14776ab2019-08-24 04:10:58 +10003249 TCGArg idx, MemOp memop, void * const table[])
Richard Hendersonc482cb12016-06-28 11:37:27 -07003250{
3251 memop = tcg_canonicalize_memop(memop, 1, 0);
3252
3253 if ((memop & MO_SIZE) == MO_64) {
Richard Hendersondf79b992016-09-02 12:23:57 -07003254#ifdef CONFIG_ATOMIC64
Richard Hendersonc482cb12016-06-28 11:37:27 -07003255 gen_atomic_op_i64 gen;
3256
3257 gen = table[memop & (MO_SIZE | MO_BSWAP)];
3258 tcg_debug_assert(gen != NULL);
3259
3260#ifdef CONFIG_SOFTMMU
3261 {
Richard Henderson11d11d62020-03-29 20:07:08 -07003262 TCGMemOpIdx oi = make_memop_idx(memop & ~MO_SIGN, idx);
3263 gen(ret, cpu_env, addr, val, tcg_constant_i32(oi));
Richard Hendersonc482cb12016-06-28 11:37:27 -07003264 }
3265#else
Richard Henderson1c2adb92017-10-10 14:34:37 -07003266 gen(ret, cpu_env, addr, val);
Richard Hendersonc482cb12016-06-28 11:37:27 -07003267#endif
Richard Hendersondf79b992016-09-02 12:23:57 -07003268#else
Richard Henderson1c2adb92017-10-10 14:34:37 -07003269 gen_helper_exit_atomic(cpu_env);
Richard Henderson79b1af92017-04-25 12:38:52 +02003270 /* Produce a result, so that we have a well-formed opcode stream
3271 with respect to uses of the result in the (dead) code following. */
3272 tcg_gen_movi_i64(ret, 0);
Richard Hendersondf79b992016-09-02 12:23:57 -07003273#endif /* CONFIG_ATOMIC64 */
Richard Hendersonc482cb12016-06-28 11:37:27 -07003274 } else {
3275 TCGv_i32 v32 = tcg_temp_new_i32();
3276 TCGv_i32 r32 = tcg_temp_new_i32();
3277
3278 tcg_gen_extrl_i64_i32(v32, val);
3279 do_atomic_op_i32(r32, addr, v32, idx, memop & ~MO_SIGN, table);
3280 tcg_temp_free_i32(v32);
3281
3282 tcg_gen_extu_i32_i64(ret, r32);
3283 tcg_temp_free_i32(r32);
3284
3285 if (memop & MO_SIGN) {
3286 tcg_gen_ext_i64(ret, ret, memop);
3287 }
3288 }
3289}
3290
3291#define GEN_ATOMIC_HELPER(NAME, OP, NEW) \
3292static void * const table_##NAME[16] = { \
3293 [MO_8] = gen_helper_atomic_##NAME##b, \
3294 [MO_16 | MO_LE] = gen_helper_atomic_##NAME##w_le, \
3295 [MO_16 | MO_BE] = gen_helper_atomic_##NAME##w_be, \
3296 [MO_32 | MO_LE] = gen_helper_atomic_##NAME##l_le, \
3297 [MO_32 | MO_BE] = gen_helper_atomic_##NAME##l_be, \
Richard Hendersondf79b992016-09-02 12:23:57 -07003298 WITH_ATOMIC64([MO_64 | MO_LE] = gen_helper_atomic_##NAME##q_le) \
3299 WITH_ATOMIC64([MO_64 | MO_BE] = gen_helper_atomic_##NAME##q_be) \
Richard Hendersonc482cb12016-06-28 11:37:27 -07003300}; \
3301void tcg_gen_atomic_##NAME##_i32 \
Tony Nguyen14776ab2019-08-24 04:10:58 +10003302 (TCGv_i32 ret, TCGv addr, TCGv_i32 val, TCGArg idx, MemOp memop) \
Richard Hendersonc482cb12016-06-28 11:37:27 -07003303{ \
Emilio G. Cotab1311c42017-07-12 17:15:52 -04003304 if (tcg_ctx->tb_cflags & CF_PARALLEL) { \
Richard Hendersonc482cb12016-06-28 11:37:27 -07003305 do_atomic_op_i32(ret, addr, val, idx, memop, table_##NAME); \
3306 } else { \
3307 do_nonatomic_op_i32(ret, addr, val, idx, memop, NEW, \
3308 tcg_gen_##OP##_i32); \
3309 } \
3310} \
3311void tcg_gen_atomic_##NAME##_i64 \
Tony Nguyen14776ab2019-08-24 04:10:58 +10003312 (TCGv_i64 ret, TCGv addr, TCGv_i64 val, TCGArg idx, MemOp memop) \
Richard Hendersonc482cb12016-06-28 11:37:27 -07003313{ \
Emilio G. Cotab1311c42017-07-12 17:15:52 -04003314 if (tcg_ctx->tb_cflags & CF_PARALLEL) { \
Richard Hendersonc482cb12016-06-28 11:37:27 -07003315 do_atomic_op_i64(ret, addr, val, idx, memop, table_##NAME); \
3316 } else { \
3317 do_nonatomic_op_i64(ret, addr, val, idx, memop, NEW, \
3318 tcg_gen_##OP##_i64); \
3319 } \
3320}
3321
3322GEN_ATOMIC_HELPER(fetch_add, add, 0)
3323GEN_ATOMIC_HELPER(fetch_and, and, 0)
3324GEN_ATOMIC_HELPER(fetch_or, or, 0)
3325GEN_ATOMIC_HELPER(fetch_xor, xor, 0)
Richard Henderson5507c2b2018-05-10 18:10:57 +01003326GEN_ATOMIC_HELPER(fetch_smin, smin, 0)
3327GEN_ATOMIC_HELPER(fetch_umin, umin, 0)
3328GEN_ATOMIC_HELPER(fetch_smax, smax, 0)
3329GEN_ATOMIC_HELPER(fetch_umax, umax, 0)
Richard Hendersonc482cb12016-06-28 11:37:27 -07003330
3331GEN_ATOMIC_HELPER(add_fetch, add, 1)
3332GEN_ATOMIC_HELPER(and_fetch, and, 1)
3333GEN_ATOMIC_HELPER(or_fetch, or, 1)
3334GEN_ATOMIC_HELPER(xor_fetch, xor, 1)
Richard Henderson5507c2b2018-05-10 18:10:57 +01003335GEN_ATOMIC_HELPER(smin_fetch, smin, 1)
3336GEN_ATOMIC_HELPER(umin_fetch, umin, 1)
3337GEN_ATOMIC_HELPER(smax_fetch, smax, 1)
3338GEN_ATOMIC_HELPER(umax_fetch, umax, 1)
Richard Hendersonc482cb12016-06-28 11:37:27 -07003339
3340static void tcg_gen_mov2_i32(TCGv_i32 r, TCGv_i32 a, TCGv_i32 b)
3341{
3342 tcg_gen_mov_i32(r, b);
3343}
3344
3345static void tcg_gen_mov2_i64(TCGv_i64 r, TCGv_i64 a, TCGv_i64 b)
3346{
3347 tcg_gen_mov_i64(r, b);
3348}
3349
3350GEN_ATOMIC_HELPER(xchg, mov2, 0)
3351
3352#undef GEN_ATOMIC_HELPER