xref: /openbmc/qemu/tcg/tcg-op.c (revision b87fb8cd)
1951c6300SRichard Henderson /*
2951c6300SRichard Henderson  * Tiny Code Generator for QEMU
3951c6300SRichard Henderson  *
4951c6300SRichard Henderson  * Copyright (c) 2008 Fabrice Bellard
5951c6300SRichard Henderson  *
6951c6300SRichard Henderson  * Permission is hereby granted, free of charge, to any person obtaining a copy
7951c6300SRichard Henderson  * of this software and associated documentation files (the "Software"), to deal
8951c6300SRichard Henderson  * in the Software without restriction, including without limitation the rights
9951c6300SRichard Henderson  * to use, copy, modify, merge, publish, distribute, sublicense, and/or sell
10951c6300SRichard Henderson  * copies of the Software, and to permit persons to whom the Software is
11951c6300SRichard Henderson  * furnished to do so, subject to the following conditions:
12951c6300SRichard Henderson  *
13951c6300SRichard Henderson  * The above copyright notice and this permission notice shall be included in
14951c6300SRichard Henderson  * all copies or substantial portions of the Software.
15951c6300SRichard Henderson  *
16951c6300SRichard Henderson  * THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND, EXPRESS OR
17951c6300SRichard Henderson  * IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF MERCHANTABILITY,
18951c6300SRichard Henderson  * FITNESS FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT. IN NO EVENT SHALL
19951c6300SRichard Henderson  * THE AUTHORS OR COPYRIGHT HOLDERS BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER
20951c6300SRichard Henderson  * LIABILITY, WHETHER IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING FROM,
21951c6300SRichard Henderson  * OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN
22951c6300SRichard Henderson  * THE SOFTWARE.
23951c6300SRichard Henderson  */
24951c6300SRichard Henderson 
25757e725bSPeter Maydell #include "qemu/osdep.h"
2633c11879SPaolo Bonzini #include "qemu-common.h"
2733c11879SPaolo Bonzini #include "cpu.h"
2863c91552SPaolo Bonzini #include "exec/exec-all.h"
29951c6300SRichard Henderson #include "tcg.h"
30951c6300SRichard Henderson #include "tcg-op.h"
31b32dc337SPranith Kumar #include "tcg-mo.h"
32dcdaadb6SLluís Vilanova #include "trace-tcg.h"
33dcdaadb6SLluís Vilanova #include "trace/mem.h"
34951c6300SRichard Henderson 
353a13c3f3SRichard Henderson /* Reduce the number of ifdefs below.  This assumes that all uses of
363a13c3f3SRichard Henderson    TCGV_HIGH and TCGV_LOW are properly protected by a conditional that
373a13c3f3SRichard Henderson    the compiler can eliminate.  */
383a13c3f3SRichard Henderson #if TCG_TARGET_REG_BITS == 64
393a13c3f3SRichard Henderson extern TCGv_i32 TCGV_LOW_link_error(TCGv_i64);
403a13c3f3SRichard Henderson extern TCGv_i32 TCGV_HIGH_link_error(TCGv_i64);
413a13c3f3SRichard Henderson #define TCGV_LOW  TCGV_LOW_link_error
423a13c3f3SRichard Henderson #define TCGV_HIGH TCGV_HIGH_link_error
433a13c3f3SRichard Henderson #endif
44951c6300SRichard Henderson 
45b7e8b17aSRichard Henderson void tcg_gen_op1(TCGOpcode opc, TCGArg a1)
46951c6300SRichard Henderson {
47b7e8b17aSRichard Henderson     TCGOp *op = tcg_emit_op(opc);
4875e8b9b7SRichard Henderson     op->args[0] = a1;
49951c6300SRichard Henderson }
50951c6300SRichard Henderson 
51b7e8b17aSRichard Henderson void tcg_gen_op2(TCGOpcode opc, TCGArg a1, TCGArg a2)
52951c6300SRichard Henderson {
53b7e8b17aSRichard Henderson     TCGOp *op = tcg_emit_op(opc);
5475e8b9b7SRichard Henderson     op->args[0] = a1;
5575e8b9b7SRichard Henderson     op->args[1] = a2;
56951c6300SRichard Henderson }
57951c6300SRichard Henderson 
58b7e8b17aSRichard Henderson void tcg_gen_op3(TCGOpcode opc, TCGArg a1, TCGArg a2, TCGArg a3)
59951c6300SRichard Henderson {
60b7e8b17aSRichard Henderson     TCGOp *op = tcg_emit_op(opc);
6175e8b9b7SRichard Henderson     op->args[0] = a1;
6275e8b9b7SRichard Henderson     op->args[1] = a2;
6375e8b9b7SRichard Henderson     op->args[2] = a3;
64951c6300SRichard Henderson }
65951c6300SRichard Henderson 
66b7e8b17aSRichard Henderson void tcg_gen_op4(TCGOpcode opc, TCGArg a1, TCGArg a2, TCGArg a3, TCGArg a4)
67951c6300SRichard Henderson {
68b7e8b17aSRichard Henderson     TCGOp *op = tcg_emit_op(opc);
6975e8b9b7SRichard Henderson     op->args[0] = a1;
7075e8b9b7SRichard Henderson     op->args[1] = a2;
7175e8b9b7SRichard Henderson     op->args[2] = a3;
7275e8b9b7SRichard Henderson     op->args[3] = a4;
73951c6300SRichard Henderson }
74951c6300SRichard Henderson 
75b7e8b17aSRichard Henderson void tcg_gen_op5(TCGOpcode opc, TCGArg a1, TCGArg a2, TCGArg a3,
76b7e8b17aSRichard Henderson                  TCGArg a4, TCGArg a5)
77951c6300SRichard Henderson {
78b7e8b17aSRichard Henderson     TCGOp *op = tcg_emit_op(opc);
7975e8b9b7SRichard Henderson     op->args[0] = a1;
8075e8b9b7SRichard Henderson     op->args[1] = a2;
8175e8b9b7SRichard Henderson     op->args[2] = a3;
8275e8b9b7SRichard Henderson     op->args[3] = a4;
8375e8b9b7SRichard Henderson     op->args[4] = a5;
84951c6300SRichard Henderson }
85951c6300SRichard Henderson 
86b7e8b17aSRichard Henderson void tcg_gen_op6(TCGOpcode opc, TCGArg a1, TCGArg a2, TCGArg a3,
87b7e8b17aSRichard Henderson                  TCGArg a4, TCGArg a5, TCGArg a6)
88951c6300SRichard Henderson {
89b7e8b17aSRichard Henderson     TCGOp *op = tcg_emit_op(opc);
9075e8b9b7SRichard Henderson     op->args[0] = a1;
9175e8b9b7SRichard Henderson     op->args[1] = a2;
9275e8b9b7SRichard Henderson     op->args[2] = a3;
9375e8b9b7SRichard Henderson     op->args[3] = a4;
9475e8b9b7SRichard Henderson     op->args[4] = a5;
9575e8b9b7SRichard Henderson     op->args[5] = a6;
96951c6300SRichard Henderson }
97951c6300SRichard Henderson 
98f65e19bcSPranith Kumar void tcg_gen_mb(TCGBar mb_type)
99f65e19bcSPranith Kumar {
100b1311c4aSEmilio G. Cota     if (tcg_ctx->tb_cflags & CF_PARALLEL) {
101b7e8b17aSRichard Henderson         tcg_gen_op1(INDEX_op_mb, mb_type);
102f65e19bcSPranith Kumar     }
103f65e19bcSPranith Kumar }
104f65e19bcSPranith Kumar 
105951c6300SRichard Henderson /* 32 bit ops */
106951c6300SRichard Henderson 
107951c6300SRichard Henderson void tcg_gen_addi_i32(TCGv_i32 ret, TCGv_i32 arg1, int32_t arg2)
108951c6300SRichard Henderson {
109951c6300SRichard Henderson     /* some cases can be optimized here */
110951c6300SRichard Henderson     if (arg2 == 0) {
111951c6300SRichard Henderson         tcg_gen_mov_i32(ret, arg1);
112951c6300SRichard Henderson     } else {
113951c6300SRichard Henderson         TCGv_i32 t0 = tcg_const_i32(arg2);
114951c6300SRichard Henderson         tcg_gen_add_i32(ret, arg1, t0);
115951c6300SRichard Henderson         tcg_temp_free_i32(t0);
116951c6300SRichard Henderson     }
117951c6300SRichard Henderson }
118951c6300SRichard Henderson 
119951c6300SRichard Henderson void tcg_gen_subfi_i32(TCGv_i32 ret, int32_t arg1, TCGv_i32 arg2)
120951c6300SRichard Henderson {
121951c6300SRichard Henderson     if (arg1 == 0 && TCG_TARGET_HAS_neg_i32) {
122951c6300SRichard Henderson         /* Don't recurse with tcg_gen_neg_i32.  */
123951c6300SRichard Henderson         tcg_gen_op2_i32(INDEX_op_neg_i32, ret, arg2);
124951c6300SRichard Henderson     } else {
125951c6300SRichard Henderson         TCGv_i32 t0 = tcg_const_i32(arg1);
126951c6300SRichard Henderson         tcg_gen_sub_i32(ret, t0, arg2);
127951c6300SRichard Henderson         tcg_temp_free_i32(t0);
128951c6300SRichard Henderson     }
129951c6300SRichard Henderson }
130951c6300SRichard Henderson 
131951c6300SRichard Henderson void tcg_gen_subi_i32(TCGv_i32 ret, TCGv_i32 arg1, int32_t arg2)
132951c6300SRichard Henderson {
133951c6300SRichard Henderson     /* some cases can be optimized here */
134951c6300SRichard Henderson     if (arg2 == 0) {
135951c6300SRichard Henderson         tcg_gen_mov_i32(ret, arg1);
136951c6300SRichard Henderson     } else {
137951c6300SRichard Henderson         TCGv_i32 t0 = tcg_const_i32(arg2);
138951c6300SRichard Henderson         tcg_gen_sub_i32(ret, arg1, t0);
139951c6300SRichard Henderson         tcg_temp_free_i32(t0);
140951c6300SRichard Henderson     }
141951c6300SRichard Henderson }
142951c6300SRichard Henderson 
143474b2e8fSRichard Henderson void tcg_gen_andi_i32(TCGv_i32 ret, TCGv_i32 arg1, int32_t arg2)
144951c6300SRichard Henderson {
145951c6300SRichard Henderson     TCGv_i32 t0;
146951c6300SRichard Henderson     /* Some cases can be optimized here.  */
147951c6300SRichard Henderson     switch (arg2) {
148951c6300SRichard Henderson     case 0:
149951c6300SRichard Henderson         tcg_gen_movi_i32(ret, 0);
150951c6300SRichard Henderson         return;
151474b2e8fSRichard Henderson     case -1:
152951c6300SRichard Henderson         tcg_gen_mov_i32(ret, arg1);
153951c6300SRichard Henderson         return;
154474b2e8fSRichard Henderson     case 0xff:
155951c6300SRichard Henderson         /* Don't recurse with tcg_gen_ext8u_i32.  */
156951c6300SRichard Henderson         if (TCG_TARGET_HAS_ext8u_i32) {
157951c6300SRichard Henderson             tcg_gen_op2_i32(INDEX_op_ext8u_i32, ret, arg1);
158951c6300SRichard Henderson             return;
159951c6300SRichard Henderson         }
160951c6300SRichard Henderson         break;
161474b2e8fSRichard Henderson     case 0xffff:
162951c6300SRichard Henderson         if (TCG_TARGET_HAS_ext16u_i32) {
163951c6300SRichard Henderson             tcg_gen_op2_i32(INDEX_op_ext16u_i32, ret, arg1);
164951c6300SRichard Henderson             return;
165951c6300SRichard Henderson         }
166951c6300SRichard Henderson         break;
167951c6300SRichard Henderson     }
168951c6300SRichard Henderson     t0 = tcg_const_i32(arg2);
169951c6300SRichard Henderson     tcg_gen_and_i32(ret, arg1, t0);
170951c6300SRichard Henderson     tcg_temp_free_i32(t0);
171951c6300SRichard Henderson }
172951c6300SRichard Henderson 
173951c6300SRichard Henderson void tcg_gen_ori_i32(TCGv_i32 ret, TCGv_i32 arg1, int32_t arg2)
174951c6300SRichard Henderson {
175951c6300SRichard Henderson     /* Some cases can be optimized here.  */
176951c6300SRichard Henderson     if (arg2 == -1) {
177951c6300SRichard Henderson         tcg_gen_movi_i32(ret, -1);
178951c6300SRichard Henderson     } else if (arg2 == 0) {
179951c6300SRichard Henderson         tcg_gen_mov_i32(ret, arg1);
180951c6300SRichard Henderson     } else {
181951c6300SRichard Henderson         TCGv_i32 t0 = tcg_const_i32(arg2);
182951c6300SRichard Henderson         tcg_gen_or_i32(ret, arg1, t0);
183951c6300SRichard Henderson         tcg_temp_free_i32(t0);
184951c6300SRichard Henderson     }
185951c6300SRichard Henderson }
186951c6300SRichard Henderson 
187951c6300SRichard Henderson void tcg_gen_xori_i32(TCGv_i32 ret, TCGv_i32 arg1, int32_t arg2)
188951c6300SRichard Henderson {
189951c6300SRichard Henderson     /* Some cases can be optimized here.  */
190951c6300SRichard Henderson     if (arg2 == 0) {
191951c6300SRichard Henderson         tcg_gen_mov_i32(ret, arg1);
192951c6300SRichard Henderson     } else if (arg2 == -1 && TCG_TARGET_HAS_not_i32) {
193951c6300SRichard Henderson         /* Don't recurse with tcg_gen_not_i32.  */
194951c6300SRichard Henderson         tcg_gen_op2_i32(INDEX_op_not_i32, ret, arg1);
195951c6300SRichard Henderson     } else {
196951c6300SRichard Henderson         TCGv_i32 t0 = tcg_const_i32(arg2);
197951c6300SRichard Henderson         tcg_gen_xor_i32(ret, arg1, t0);
198951c6300SRichard Henderson         tcg_temp_free_i32(t0);
199951c6300SRichard Henderson     }
200951c6300SRichard Henderson }
201951c6300SRichard Henderson 
202474b2e8fSRichard Henderson void tcg_gen_shli_i32(TCGv_i32 ret, TCGv_i32 arg1, int32_t arg2)
203951c6300SRichard Henderson {
204474b2e8fSRichard Henderson     tcg_debug_assert(arg2 >= 0 && arg2 < 32);
205951c6300SRichard Henderson     if (arg2 == 0) {
206951c6300SRichard Henderson         tcg_gen_mov_i32(ret, arg1);
207951c6300SRichard Henderson     } else {
208951c6300SRichard Henderson         TCGv_i32 t0 = tcg_const_i32(arg2);
209951c6300SRichard Henderson         tcg_gen_shl_i32(ret, arg1, t0);
210951c6300SRichard Henderson         tcg_temp_free_i32(t0);
211951c6300SRichard Henderson     }
212951c6300SRichard Henderson }
213951c6300SRichard Henderson 
214474b2e8fSRichard Henderson void tcg_gen_shri_i32(TCGv_i32 ret, TCGv_i32 arg1, int32_t arg2)
215951c6300SRichard Henderson {
216474b2e8fSRichard Henderson     tcg_debug_assert(arg2 >= 0 && arg2 < 32);
217951c6300SRichard Henderson     if (arg2 == 0) {
218951c6300SRichard Henderson         tcg_gen_mov_i32(ret, arg1);
219951c6300SRichard Henderson     } else {
220951c6300SRichard Henderson         TCGv_i32 t0 = tcg_const_i32(arg2);
221951c6300SRichard Henderson         tcg_gen_shr_i32(ret, arg1, t0);
222951c6300SRichard Henderson         tcg_temp_free_i32(t0);
223951c6300SRichard Henderson     }
224951c6300SRichard Henderson }
225951c6300SRichard Henderson 
226474b2e8fSRichard Henderson void tcg_gen_sari_i32(TCGv_i32 ret, TCGv_i32 arg1, int32_t arg2)
227951c6300SRichard Henderson {
228474b2e8fSRichard Henderson     tcg_debug_assert(arg2 >= 0 && arg2 < 32);
229951c6300SRichard Henderson     if (arg2 == 0) {
230951c6300SRichard Henderson         tcg_gen_mov_i32(ret, arg1);
231951c6300SRichard Henderson     } else {
232951c6300SRichard Henderson         TCGv_i32 t0 = tcg_const_i32(arg2);
233951c6300SRichard Henderson         tcg_gen_sar_i32(ret, arg1, t0);
234951c6300SRichard Henderson         tcg_temp_free_i32(t0);
235951c6300SRichard Henderson     }
236951c6300SRichard Henderson }
237951c6300SRichard Henderson 
23842a268c2SRichard Henderson void tcg_gen_brcond_i32(TCGCond cond, TCGv_i32 arg1, TCGv_i32 arg2, TCGLabel *l)
239951c6300SRichard Henderson {
240951c6300SRichard Henderson     if (cond == TCG_COND_ALWAYS) {
24142a268c2SRichard Henderson         tcg_gen_br(l);
242951c6300SRichard Henderson     } else if (cond != TCG_COND_NEVER) {
24342a268c2SRichard Henderson         tcg_gen_op4ii_i32(INDEX_op_brcond_i32, arg1, arg2, cond, label_arg(l));
244951c6300SRichard Henderson     }
245951c6300SRichard Henderson }
246951c6300SRichard Henderson 
24742a268c2SRichard Henderson void tcg_gen_brcondi_i32(TCGCond cond, TCGv_i32 arg1, int32_t arg2, TCGLabel *l)
248951c6300SRichard Henderson {
24937ed3bf1SRichard Henderson     if (cond == TCG_COND_ALWAYS) {
25037ed3bf1SRichard Henderson         tcg_gen_br(l);
25137ed3bf1SRichard Henderson     } else if (cond != TCG_COND_NEVER) {
252951c6300SRichard Henderson         TCGv_i32 t0 = tcg_const_i32(arg2);
25342a268c2SRichard Henderson         tcg_gen_brcond_i32(cond, arg1, t0, l);
254951c6300SRichard Henderson         tcg_temp_free_i32(t0);
255951c6300SRichard Henderson     }
25637ed3bf1SRichard Henderson }
257951c6300SRichard Henderson 
258951c6300SRichard Henderson void tcg_gen_setcond_i32(TCGCond cond, TCGv_i32 ret,
259951c6300SRichard Henderson                          TCGv_i32 arg1, TCGv_i32 arg2)
260951c6300SRichard Henderson {
261951c6300SRichard Henderson     if (cond == TCG_COND_ALWAYS) {
262951c6300SRichard Henderson         tcg_gen_movi_i32(ret, 1);
263951c6300SRichard Henderson     } else if (cond == TCG_COND_NEVER) {
264951c6300SRichard Henderson         tcg_gen_movi_i32(ret, 0);
265951c6300SRichard Henderson     } else {
266951c6300SRichard Henderson         tcg_gen_op4i_i32(INDEX_op_setcond_i32, ret, arg1, arg2, cond);
267951c6300SRichard Henderson     }
268951c6300SRichard Henderson }
269951c6300SRichard Henderson 
270951c6300SRichard Henderson void tcg_gen_setcondi_i32(TCGCond cond, TCGv_i32 ret,
271951c6300SRichard Henderson                           TCGv_i32 arg1, int32_t arg2)
272951c6300SRichard Henderson {
273951c6300SRichard Henderson     TCGv_i32 t0 = tcg_const_i32(arg2);
274951c6300SRichard Henderson     tcg_gen_setcond_i32(cond, ret, arg1, t0);
275951c6300SRichard Henderson     tcg_temp_free_i32(t0);
276951c6300SRichard Henderson }
277951c6300SRichard Henderson 
278951c6300SRichard Henderson void tcg_gen_muli_i32(TCGv_i32 ret, TCGv_i32 arg1, int32_t arg2)
279951c6300SRichard Henderson {
280b2e3ae94SRichard Henderson     if (arg2 == 0) {
281b2e3ae94SRichard Henderson         tcg_gen_movi_i32(ret, 0);
282b2e3ae94SRichard Henderson     } else if (is_power_of_2(arg2)) {
283b2e3ae94SRichard Henderson         tcg_gen_shli_i32(ret, arg1, ctz32(arg2));
284b2e3ae94SRichard Henderson     } else {
285951c6300SRichard Henderson         TCGv_i32 t0 = tcg_const_i32(arg2);
286951c6300SRichard Henderson         tcg_gen_mul_i32(ret, arg1, t0);
287951c6300SRichard Henderson         tcg_temp_free_i32(t0);
288951c6300SRichard Henderson     }
289b2e3ae94SRichard Henderson }
290951c6300SRichard Henderson 
291951c6300SRichard Henderson void tcg_gen_div_i32(TCGv_i32 ret, TCGv_i32 arg1, TCGv_i32 arg2)
292951c6300SRichard Henderson {
293951c6300SRichard Henderson     if (TCG_TARGET_HAS_div_i32) {
294951c6300SRichard Henderson         tcg_gen_op3_i32(INDEX_op_div_i32, ret, arg1, arg2);
295951c6300SRichard Henderson     } else if (TCG_TARGET_HAS_div2_i32) {
296951c6300SRichard Henderson         TCGv_i32 t0 = tcg_temp_new_i32();
297951c6300SRichard Henderson         tcg_gen_sari_i32(t0, arg1, 31);
298951c6300SRichard Henderson         tcg_gen_op5_i32(INDEX_op_div2_i32, ret, t0, arg1, t0, arg2);
299951c6300SRichard Henderson         tcg_temp_free_i32(t0);
300951c6300SRichard Henderson     } else {
301951c6300SRichard Henderson         gen_helper_div_i32(ret, arg1, arg2);
302951c6300SRichard Henderson     }
303951c6300SRichard Henderson }
304951c6300SRichard Henderson 
305951c6300SRichard Henderson void tcg_gen_rem_i32(TCGv_i32 ret, TCGv_i32 arg1, TCGv_i32 arg2)
306951c6300SRichard Henderson {
307951c6300SRichard Henderson     if (TCG_TARGET_HAS_rem_i32) {
308951c6300SRichard Henderson         tcg_gen_op3_i32(INDEX_op_rem_i32, ret, arg1, arg2);
309951c6300SRichard Henderson     } else if (TCG_TARGET_HAS_div_i32) {
310951c6300SRichard Henderson         TCGv_i32 t0 = tcg_temp_new_i32();
311951c6300SRichard Henderson         tcg_gen_op3_i32(INDEX_op_div_i32, t0, arg1, arg2);
312951c6300SRichard Henderson         tcg_gen_mul_i32(t0, t0, arg2);
313951c6300SRichard Henderson         tcg_gen_sub_i32(ret, arg1, t0);
314951c6300SRichard Henderson         tcg_temp_free_i32(t0);
315951c6300SRichard Henderson     } else if (TCG_TARGET_HAS_div2_i32) {
316951c6300SRichard Henderson         TCGv_i32 t0 = tcg_temp_new_i32();
317951c6300SRichard Henderson         tcg_gen_sari_i32(t0, arg1, 31);
318951c6300SRichard Henderson         tcg_gen_op5_i32(INDEX_op_div2_i32, t0, ret, arg1, t0, arg2);
319951c6300SRichard Henderson         tcg_temp_free_i32(t0);
320951c6300SRichard Henderson     } else {
321951c6300SRichard Henderson         gen_helper_rem_i32(ret, arg1, arg2);
322951c6300SRichard Henderson     }
323951c6300SRichard Henderson }
324951c6300SRichard Henderson 
325951c6300SRichard Henderson void tcg_gen_divu_i32(TCGv_i32 ret, TCGv_i32 arg1, TCGv_i32 arg2)
326951c6300SRichard Henderson {
327951c6300SRichard Henderson     if (TCG_TARGET_HAS_div_i32) {
328951c6300SRichard Henderson         tcg_gen_op3_i32(INDEX_op_divu_i32, ret, arg1, arg2);
329951c6300SRichard Henderson     } else if (TCG_TARGET_HAS_div2_i32) {
330951c6300SRichard Henderson         TCGv_i32 t0 = tcg_temp_new_i32();
331951c6300SRichard Henderson         tcg_gen_movi_i32(t0, 0);
332951c6300SRichard Henderson         tcg_gen_op5_i32(INDEX_op_divu2_i32, ret, t0, arg1, t0, arg2);
333951c6300SRichard Henderson         tcg_temp_free_i32(t0);
334951c6300SRichard Henderson     } else {
335951c6300SRichard Henderson         gen_helper_divu_i32(ret, arg1, arg2);
336951c6300SRichard Henderson     }
337951c6300SRichard Henderson }
338951c6300SRichard Henderson 
339951c6300SRichard Henderson void tcg_gen_remu_i32(TCGv_i32 ret, TCGv_i32 arg1, TCGv_i32 arg2)
340951c6300SRichard Henderson {
341951c6300SRichard Henderson     if (TCG_TARGET_HAS_rem_i32) {
342951c6300SRichard Henderson         tcg_gen_op3_i32(INDEX_op_remu_i32, ret, arg1, arg2);
343951c6300SRichard Henderson     } else if (TCG_TARGET_HAS_div_i32) {
344951c6300SRichard Henderson         TCGv_i32 t0 = tcg_temp_new_i32();
345951c6300SRichard Henderson         tcg_gen_op3_i32(INDEX_op_divu_i32, t0, arg1, arg2);
346951c6300SRichard Henderson         tcg_gen_mul_i32(t0, t0, arg2);
347951c6300SRichard Henderson         tcg_gen_sub_i32(ret, arg1, t0);
348951c6300SRichard Henderson         tcg_temp_free_i32(t0);
349951c6300SRichard Henderson     } else if (TCG_TARGET_HAS_div2_i32) {
350951c6300SRichard Henderson         TCGv_i32 t0 = tcg_temp_new_i32();
351951c6300SRichard Henderson         tcg_gen_movi_i32(t0, 0);
352951c6300SRichard Henderson         tcg_gen_op5_i32(INDEX_op_divu2_i32, t0, ret, arg1, t0, arg2);
353951c6300SRichard Henderson         tcg_temp_free_i32(t0);
354951c6300SRichard Henderson     } else {
355951c6300SRichard Henderson         gen_helper_remu_i32(ret, arg1, arg2);
356951c6300SRichard Henderson     }
357951c6300SRichard Henderson }
358951c6300SRichard Henderson 
359951c6300SRichard Henderson void tcg_gen_andc_i32(TCGv_i32 ret, TCGv_i32 arg1, TCGv_i32 arg2)
360951c6300SRichard Henderson {
361951c6300SRichard Henderson     if (TCG_TARGET_HAS_andc_i32) {
362951c6300SRichard Henderson         tcg_gen_op3_i32(INDEX_op_andc_i32, ret, arg1, arg2);
363951c6300SRichard Henderson     } else {
364951c6300SRichard Henderson         TCGv_i32 t0 = tcg_temp_new_i32();
365951c6300SRichard Henderson         tcg_gen_not_i32(t0, arg2);
366951c6300SRichard Henderson         tcg_gen_and_i32(ret, arg1, t0);
367951c6300SRichard Henderson         tcg_temp_free_i32(t0);
368951c6300SRichard Henderson     }
369951c6300SRichard Henderson }
370951c6300SRichard Henderson 
371951c6300SRichard Henderson void tcg_gen_eqv_i32(TCGv_i32 ret, TCGv_i32 arg1, TCGv_i32 arg2)
372951c6300SRichard Henderson {
373951c6300SRichard Henderson     if (TCG_TARGET_HAS_eqv_i32) {
374951c6300SRichard Henderson         tcg_gen_op3_i32(INDEX_op_eqv_i32, ret, arg1, arg2);
375951c6300SRichard Henderson     } else {
376951c6300SRichard Henderson         tcg_gen_xor_i32(ret, arg1, arg2);
377951c6300SRichard Henderson         tcg_gen_not_i32(ret, ret);
378951c6300SRichard Henderson     }
379951c6300SRichard Henderson }
380951c6300SRichard Henderson 
381951c6300SRichard Henderson void tcg_gen_nand_i32(TCGv_i32 ret, TCGv_i32 arg1, TCGv_i32 arg2)
382951c6300SRichard Henderson {
383951c6300SRichard Henderson     if (TCG_TARGET_HAS_nand_i32) {
384951c6300SRichard Henderson         tcg_gen_op3_i32(INDEX_op_nand_i32, ret, arg1, arg2);
385951c6300SRichard Henderson     } else {
386951c6300SRichard Henderson         tcg_gen_and_i32(ret, arg1, arg2);
387951c6300SRichard Henderson         tcg_gen_not_i32(ret, ret);
388951c6300SRichard Henderson     }
389951c6300SRichard Henderson }
390951c6300SRichard Henderson 
391951c6300SRichard Henderson void tcg_gen_nor_i32(TCGv_i32 ret, TCGv_i32 arg1, TCGv_i32 arg2)
392951c6300SRichard Henderson {
393951c6300SRichard Henderson     if (TCG_TARGET_HAS_nor_i32) {
394951c6300SRichard Henderson         tcg_gen_op3_i32(INDEX_op_nor_i32, ret, arg1, arg2);
395951c6300SRichard Henderson     } else {
396951c6300SRichard Henderson         tcg_gen_or_i32(ret, arg1, arg2);
397951c6300SRichard Henderson         tcg_gen_not_i32(ret, ret);
398951c6300SRichard Henderson     }
399951c6300SRichard Henderson }
400951c6300SRichard Henderson 
401951c6300SRichard Henderson void tcg_gen_orc_i32(TCGv_i32 ret, TCGv_i32 arg1, TCGv_i32 arg2)
402951c6300SRichard Henderson {
403951c6300SRichard Henderson     if (TCG_TARGET_HAS_orc_i32) {
404951c6300SRichard Henderson         tcg_gen_op3_i32(INDEX_op_orc_i32, ret, arg1, arg2);
405951c6300SRichard Henderson     } else {
406951c6300SRichard Henderson         TCGv_i32 t0 = tcg_temp_new_i32();
407951c6300SRichard Henderson         tcg_gen_not_i32(t0, arg2);
408951c6300SRichard Henderson         tcg_gen_or_i32(ret, arg1, t0);
409951c6300SRichard Henderson         tcg_temp_free_i32(t0);
410951c6300SRichard Henderson     }
411951c6300SRichard Henderson }
412951c6300SRichard Henderson 
4130e28d006SRichard Henderson void tcg_gen_clz_i32(TCGv_i32 ret, TCGv_i32 arg1, TCGv_i32 arg2)
4140e28d006SRichard Henderson {
4150e28d006SRichard Henderson     if (TCG_TARGET_HAS_clz_i32) {
4160e28d006SRichard Henderson         tcg_gen_op3_i32(INDEX_op_clz_i32, ret, arg1, arg2);
4170e28d006SRichard Henderson     } else if (TCG_TARGET_HAS_clz_i64) {
4180e28d006SRichard Henderson         TCGv_i64 t1 = tcg_temp_new_i64();
4190e28d006SRichard Henderson         TCGv_i64 t2 = tcg_temp_new_i64();
4200e28d006SRichard Henderson         tcg_gen_extu_i32_i64(t1, arg1);
4210e28d006SRichard Henderson         tcg_gen_extu_i32_i64(t2, arg2);
4220e28d006SRichard Henderson         tcg_gen_addi_i64(t2, t2, 32);
4230e28d006SRichard Henderson         tcg_gen_clz_i64(t1, t1, t2);
4240e28d006SRichard Henderson         tcg_gen_extrl_i64_i32(ret, t1);
4250e28d006SRichard Henderson         tcg_temp_free_i64(t1);
4260e28d006SRichard Henderson         tcg_temp_free_i64(t2);
4270e28d006SRichard Henderson         tcg_gen_subi_i32(ret, ret, 32);
4280e28d006SRichard Henderson     } else {
4290e28d006SRichard Henderson         gen_helper_clz_i32(ret, arg1, arg2);
4300e28d006SRichard Henderson     }
4310e28d006SRichard Henderson }
4320e28d006SRichard Henderson 
4330e28d006SRichard Henderson void tcg_gen_clzi_i32(TCGv_i32 ret, TCGv_i32 arg1, uint32_t arg2)
4340e28d006SRichard Henderson {
4350e28d006SRichard Henderson     TCGv_i32 t = tcg_const_i32(arg2);
4360e28d006SRichard Henderson     tcg_gen_clz_i32(ret, arg1, t);
4370e28d006SRichard Henderson     tcg_temp_free_i32(t);
4380e28d006SRichard Henderson }
4390e28d006SRichard Henderson 
4400e28d006SRichard Henderson void tcg_gen_ctz_i32(TCGv_i32 ret, TCGv_i32 arg1, TCGv_i32 arg2)
4410e28d006SRichard Henderson {
4420e28d006SRichard Henderson     if (TCG_TARGET_HAS_ctz_i32) {
4430e28d006SRichard Henderson         tcg_gen_op3_i32(INDEX_op_ctz_i32, ret, arg1, arg2);
4440e28d006SRichard Henderson     } else if (TCG_TARGET_HAS_ctz_i64) {
4450e28d006SRichard Henderson         TCGv_i64 t1 = tcg_temp_new_i64();
4460e28d006SRichard Henderson         TCGv_i64 t2 = tcg_temp_new_i64();
4470e28d006SRichard Henderson         tcg_gen_extu_i32_i64(t1, arg1);
4480e28d006SRichard Henderson         tcg_gen_extu_i32_i64(t2, arg2);
4490e28d006SRichard Henderson         tcg_gen_ctz_i64(t1, t1, t2);
4500e28d006SRichard Henderson         tcg_gen_extrl_i64_i32(ret, t1);
4510e28d006SRichard Henderson         tcg_temp_free_i64(t1);
4520e28d006SRichard Henderson         tcg_temp_free_i64(t2);
45314e99210SRichard Henderson     } else if (TCG_TARGET_HAS_ctpop_i32
45414e99210SRichard Henderson                || TCG_TARGET_HAS_ctpop_i64
45514e99210SRichard Henderson                || TCG_TARGET_HAS_clz_i32
45614e99210SRichard Henderson                || TCG_TARGET_HAS_clz_i64) {
45714e99210SRichard Henderson         TCGv_i32 z, t = tcg_temp_new_i32();
45814e99210SRichard Henderson 
45914e99210SRichard Henderson         if (TCG_TARGET_HAS_ctpop_i32 || TCG_TARGET_HAS_ctpop_i64) {
46014e99210SRichard Henderson             tcg_gen_subi_i32(t, arg1, 1);
46114e99210SRichard Henderson             tcg_gen_andc_i32(t, t, arg1);
46214e99210SRichard Henderson             tcg_gen_ctpop_i32(t, t);
46314e99210SRichard Henderson         } else {
46414e99210SRichard Henderson             /* Since all non-x86 hosts have clz(0) == 32, don't fight it.  */
46514e99210SRichard Henderson             tcg_gen_neg_i32(t, arg1);
46614e99210SRichard Henderson             tcg_gen_and_i32(t, t, arg1);
46714e99210SRichard Henderson             tcg_gen_clzi_i32(t, t, 32);
46814e99210SRichard Henderson             tcg_gen_xori_i32(t, t, 31);
46914e99210SRichard Henderson         }
47014e99210SRichard Henderson         z = tcg_const_i32(0);
47114e99210SRichard Henderson         tcg_gen_movcond_i32(TCG_COND_EQ, ret, arg1, z, arg2, t);
47214e99210SRichard Henderson         tcg_temp_free_i32(t);
47314e99210SRichard Henderson         tcg_temp_free_i32(z);
4740e28d006SRichard Henderson     } else {
4750e28d006SRichard Henderson         gen_helper_ctz_i32(ret, arg1, arg2);
4760e28d006SRichard Henderson     }
4770e28d006SRichard Henderson }
4780e28d006SRichard Henderson 
4790e28d006SRichard Henderson void tcg_gen_ctzi_i32(TCGv_i32 ret, TCGv_i32 arg1, uint32_t arg2)
4800e28d006SRichard Henderson {
48114e99210SRichard Henderson     if (!TCG_TARGET_HAS_ctz_i32 && TCG_TARGET_HAS_ctpop_i32 && arg2 == 32) {
48214e99210SRichard Henderson         /* This equivalence has the advantage of not requiring a fixup.  */
48314e99210SRichard Henderson         TCGv_i32 t = tcg_temp_new_i32();
48414e99210SRichard Henderson         tcg_gen_subi_i32(t, arg1, 1);
48514e99210SRichard Henderson         tcg_gen_andc_i32(t, t, arg1);
48614e99210SRichard Henderson         tcg_gen_ctpop_i32(ret, t);
48714e99210SRichard Henderson         tcg_temp_free_i32(t);
48814e99210SRichard Henderson     } else {
4890e28d006SRichard Henderson         TCGv_i32 t = tcg_const_i32(arg2);
4900e28d006SRichard Henderson         tcg_gen_ctz_i32(ret, arg1, t);
4910e28d006SRichard Henderson         tcg_temp_free_i32(t);
4920e28d006SRichard Henderson     }
49314e99210SRichard Henderson }
4940e28d006SRichard Henderson 
495086920c2SRichard Henderson void tcg_gen_clrsb_i32(TCGv_i32 ret, TCGv_i32 arg)
496086920c2SRichard Henderson {
497086920c2SRichard Henderson     if (TCG_TARGET_HAS_clz_i32) {
498086920c2SRichard Henderson         TCGv_i32 t = tcg_temp_new_i32();
499086920c2SRichard Henderson         tcg_gen_sari_i32(t, arg, 31);
500086920c2SRichard Henderson         tcg_gen_xor_i32(t, t, arg);
501086920c2SRichard Henderson         tcg_gen_clzi_i32(t, t, 32);
502086920c2SRichard Henderson         tcg_gen_subi_i32(ret, t, 1);
503086920c2SRichard Henderson         tcg_temp_free_i32(t);
504086920c2SRichard Henderson     } else {
505086920c2SRichard Henderson         gen_helper_clrsb_i32(ret, arg);
506086920c2SRichard Henderson     }
507086920c2SRichard Henderson }
508086920c2SRichard Henderson 
509a768e4e9SRichard Henderson void tcg_gen_ctpop_i32(TCGv_i32 ret, TCGv_i32 arg1)
510a768e4e9SRichard Henderson {
511a768e4e9SRichard Henderson     if (TCG_TARGET_HAS_ctpop_i32) {
512a768e4e9SRichard Henderson         tcg_gen_op2_i32(INDEX_op_ctpop_i32, ret, arg1);
513a768e4e9SRichard Henderson     } else if (TCG_TARGET_HAS_ctpop_i64) {
514a768e4e9SRichard Henderson         TCGv_i64 t = tcg_temp_new_i64();
515a768e4e9SRichard Henderson         tcg_gen_extu_i32_i64(t, arg1);
516a768e4e9SRichard Henderson         tcg_gen_ctpop_i64(t, t);
517a768e4e9SRichard Henderson         tcg_gen_extrl_i64_i32(ret, t);
518a768e4e9SRichard Henderson         tcg_temp_free_i64(t);
519a768e4e9SRichard Henderson     } else {
520a768e4e9SRichard Henderson         gen_helper_ctpop_i32(ret, arg1);
521a768e4e9SRichard Henderson     }
522a768e4e9SRichard Henderson }
523a768e4e9SRichard Henderson 
524951c6300SRichard Henderson void tcg_gen_rotl_i32(TCGv_i32 ret, TCGv_i32 arg1, TCGv_i32 arg2)
525951c6300SRichard Henderson {
526951c6300SRichard Henderson     if (TCG_TARGET_HAS_rot_i32) {
527951c6300SRichard Henderson         tcg_gen_op3_i32(INDEX_op_rotl_i32, ret, arg1, arg2);
528951c6300SRichard Henderson     } else {
529951c6300SRichard Henderson         TCGv_i32 t0, t1;
530951c6300SRichard Henderson 
531951c6300SRichard Henderson         t0 = tcg_temp_new_i32();
532951c6300SRichard Henderson         t1 = tcg_temp_new_i32();
533951c6300SRichard Henderson         tcg_gen_shl_i32(t0, arg1, arg2);
534951c6300SRichard Henderson         tcg_gen_subfi_i32(t1, 32, arg2);
535951c6300SRichard Henderson         tcg_gen_shr_i32(t1, arg1, t1);
536951c6300SRichard Henderson         tcg_gen_or_i32(ret, t0, t1);
537951c6300SRichard Henderson         tcg_temp_free_i32(t0);
538951c6300SRichard Henderson         tcg_temp_free_i32(t1);
539951c6300SRichard Henderson     }
540951c6300SRichard Henderson }
541951c6300SRichard Henderson 
542951c6300SRichard Henderson void tcg_gen_rotli_i32(TCGv_i32 ret, TCGv_i32 arg1, unsigned arg2)
543951c6300SRichard Henderson {
544951c6300SRichard Henderson     tcg_debug_assert(arg2 < 32);
545951c6300SRichard Henderson     /* some cases can be optimized here */
546951c6300SRichard Henderson     if (arg2 == 0) {
547951c6300SRichard Henderson         tcg_gen_mov_i32(ret, arg1);
548951c6300SRichard Henderson     } else if (TCG_TARGET_HAS_rot_i32) {
549951c6300SRichard Henderson         TCGv_i32 t0 = tcg_const_i32(arg2);
550951c6300SRichard Henderson         tcg_gen_rotl_i32(ret, arg1, t0);
551951c6300SRichard Henderson         tcg_temp_free_i32(t0);
552951c6300SRichard Henderson     } else {
553951c6300SRichard Henderson         TCGv_i32 t0, t1;
554951c6300SRichard Henderson         t0 = tcg_temp_new_i32();
555951c6300SRichard Henderson         t1 = tcg_temp_new_i32();
556951c6300SRichard Henderson         tcg_gen_shli_i32(t0, arg1, arg2);
557951c6300SRichard Henderson         tcg_gen_shri_i32(t1, arg1, 32 - arg2);
558951c6300SRichard Henderson         tcg_gen_or_i32(ret, t0, t1);
559951c6300SRichard Henderson         tcg_temp_free_i32(t0);
560951c6300SRichard Henderson         tcg_temp_free_i32(t1);
561951c6300SRichard Henderson     }
562951c6300SRichard Henderson }
563951c6300SRichard Henderson 
564951c6300SRichard Henderson void tcg_gen_rotr_i32(TCGv_i32 ret, TCGv_i32 arg1, TCGv_i32 arg2)
565951c6300SRichard Henderson {
566951c6300SRichard Henderson     if (TCG_TARGET_HAS_rot_i32) {
567951c6300SRichard Henderson         tcg_gen_op3_i32(INDEX_op_rotr_i32, ret, arg1, arg2);
568951c6300SRichard Henderson     } else {
569951c6300SRichard Henderson         TCGv_i32 t0, t1;
570951c6300SRichard Henderson 
571951c6300SRichard Henderson         t0 = tcg_temp_new_i32();
572951c6300SRichard Henderson         t1 = tcg_temp_new_i32();
573951c6300SRichard Henderson         tcg_gen_shr_i32(t0, arg1, arg2);
574951c6300SRichard Henderson         tcg_gen_subfi_i32(t1, 32, arg2);
575951c6300SRichard Henderson         tcg_gen_shl_i32(t1, arg1, t1);
576951c6300SRichard Henderson         tcg_gen_or_i32(ret, t0, t1);
577951c6300SRichard Henderson         tcg_temp_free_i32(t0);
578951c6300SRichard Henderson         tcg_temp_free_i32(t1);
579951c6300SRichard Henderson     }
580951c6300SRichard Henderson }
581951c6300SRichard Henderson 
582951c6300SRichard Henderson void tcg_gen_rotri_i32(TCGv_i32 ret, TCGv_i32 arg1, unsigned arg2)
583951c6300SRichard Henderson {
584951c6300SRichard Henderson     tcg_debug_assert(arg2 < 32);
585951c6300SRichard Henderson     /* some cases can be optimized here */
586951c6300SRichard Henderson     if (arg2 == 0) {
587951c6300SRichard Henderson         tcg_gen_mov_i32(ret, arg1);
588951c6300SRichard Henderson     } else {
589951c6300SRichard Henderson         tcg_gen_rotli_i32(ret, arg1, 32 - arg2);
590951c6300SRichard Henderson     }
591951c6300SRichard Henderson }
592951c6300SRichard Henderson 
593951c6300SRichard Henderson void tcg_gen_deposit_i32(TCGv_i32 ret, TCGv_i32 arg1, TCGv_i32 arg2,
594951c6300SRichard Henderson                          unsigned int ofs, unsigned int len)
595951c6300SRichard Henderson {
596951c6300SRichard Henderson     uint32_t mask;
597951c6300SRichard Henderson     TCGv_i32 t1;
598951c6300SRichard Henderson 
599951c6300SRichard Henderson     tcg_debug_assert(ofs < 32);
6000d0d309dSRichard Henderson     tcg_debug_assert(len > 0);
601951c6300SRichard Henderson     tcg_debug_assert(len <= 32);
602951c6300SRichard Henderson     tcg_debug_assert(ofs + len <= 32);
603951c6300SRichard Henderson 
6040d0d309dSRichard Henderson     if (len == 32) {
605951c6300SRichard Henderson         tcg_gen_mov_i32(ret, arg2);
606951c6300SRichard Henderson         return;
607951c6300SRichard Henderson     }
608951c6300SRichard Henderson     if (TCG_TARGET_HAS_deposit_i32 && TCG_TARGET_deposit_i32_valid(ofs, len)) {
609951c6300SRichard Henderson         tcg_gen_op5ii_i32(INDEX_op_deposit_i32, ret, arg1, arg2, ofs, len);
610951c6300SRichard Henderson         return;
611951c6300SRichard Henderson     }
612951c6300SRichard Henderson 
613951c6300SRichard Henderson     mask = (1u << len) - 1;
614951c6300SRichard Henderson     t1 = tcg_temp_new_i32();
615951c6300SRichard Henderson 
616951c6300SRichard Henderson     if (ofs + len < 32) {
617951c6300SRichard Henderson         tcg_gen_andi_i32(t1, arg2, mask);
618951c6300SRichard Henderson         tcg_gen_shli_i32(t1, t1, ofs);
619951c6300SRichard Henderson     } else {
620951c6300SRichard Henderson         tcg_gen_shli_i32(t1, arg2, ofs);
621951c6300SRichard Henderson     }
622951c6300SRichard Henderson     tcg_gen_andi_i32(ret, arg1, ~(mask << ofs));
623951c6300SRichard Henderson     tcg_gen_or_i32(ret, ret, t1);
624951c6300SRichard Henderson 
625951c6300SRichard Henderson     tcg_temp_free_i32(t1);
626951c6300SRichard Henderson }
627951c6300SRichard Henderson 
62807cc68d5SRichard Henderson void tcg_gen_deposit_z_i32(TCGv_i32 ret, TCGv_i32 arg,
62907cc68d5SRichard Henderson                            unsigned int ofs, unsigned int len)
63007cc68d5SRichard Henderson {
63107cc68d5SRichard Henderson     tcg_debug_assert(ofs < 32);
63207cc68d5SRichard Henderson     tcg_debug_assert(len > 0);
63307cc68d5SRichard Henderson     tcg_debug_assert(len <= 32);
63407cc68d5SRichard Henderson     tcg_debug_assert(ofs + len <= 32);
63507cc68d5SRichard Henderson 
63607cc68d5SRichard Henderson     if (ofs + len == 32) {
63707cc68d5SRichard Henderson         tcg_gen_shli_i32(ret, arg, ofs);
63807cc68d5SRichard Henderson     } else if (ofs == 0) {
63907cc68d5SRichard Henderson         tcg_gen_andi_i32(ret, arg, (1u << len) - 1);
64007cc68d5SRichard Henderson     } else if (TCG_TARGET_HAS_deposit_i32
64107cc68d5SRichard Henderson                && TCG_TARGET_deposit_i32_valid(ofs, len)) {
64207cc68d5SRichard Henderson         TCGv_i32 zero = tcg_const_i32(0);
64307cc68d5SRichard Henderson         tcg_gen_op5ii_i32(INDEX_op_deposit_i32, ret, zero, arg, ofs, len);
64407cc68d5SRichard Henderson         tcg_temp_free_i32(zero);
64507cc68d5SRichard Henderson     } else {
64607cc68d5SRichard Henderson         /* To help two-operand hosts we prefer to zero-extend first,
64707cc68d5SRichard Henderson            which allows ARG to stay live.  */
64807cc68d5SRichard Henderson         switch (len) {
64907cc68d5SRichard Henderson         case 16:
65007cc68d5SRichard Henderson             if (TCG_TARGET_HAS_ext16u_i32) {
65107cc68d5SRichard Henderson                 tcg_gen_ext16u_i32(ret, arg);
65207cc68d5SRichard Henderson                 tcg_gen_shli_i32(ret, ret, ofs);
65307cc68d5SRichard Henderson                 return;
65407cc68d5SRichard Henderson             }
65507cc68d5SRichard Henderson             break;
65607cc68d5SRichard Henderson         case 8:
65707cc68d5SRichard Henderson             if (TCG_TARGET_HAS_ext8u_i32) {
65807cc68d5SRichard Henderson                 tcg_gen_ext8u_i32(ret, arg);
65907cc68d5SRichard Henderson                 tcg_gen_shli_i32(ret, ret, ofs);
66007cc68d5SRichard Henderson                 return;
66107cc68d5SRichard Henderson             }
66207cc68d5SRichard Henderson             break;
66307cc68d5SRichard Henderson         }
66407cc68d5SRichard Henderson         /* Otherwise prefer zero-extension over AND for code size.  */
66507cc68d5SRichard Henderson         switch (ofs + len) {
66607cc68d5SRichard Henderson         case 16:
66707cc68d5SRichard Henderson             if (TCG_TARGET_HAS_ext16u_i32) {
66807cc68d5SRichard Henderson                 tcg_gen_shli_i32(ret, arg, ofs);
66907cc68d5SRichard Henderson                 tcg_gen_ext16u_i32(ret, ret);
67007cc68d5SRichard Henderson                 return;
67107cc68d5SRichard Henderson             }
67207cc68d5SRichard Henderson             break;
67307cc68d5SRichard Henderson         case 8:
67407cc68d5SRichard Henderson             if (TCG_TARGET_HAS_ext8u_i32) {
67507cc68d5SRichard Henderson                 tcg_gen_shli_i32(ret, arg, ofs);
67607cc68d5SRichard Henderson                 tcg_gen_ext8u_i32(ret, ret);
67707cc68d5SRichard Henderson                 return;
67807cc68d5SRichard Henderson             }
67907cc68d5SRichard Henderson             break;
68007cc68d5SRichard Henderson         }
68107cc68d5SRichard Henderson         tcg_gen_andi_i32(ret, arg, (1u << len) - 1);
68207cc68d5SRichard Henderson         tcg_gen_shli_i32(ret, ret, ofs);
68307cc68d5SRichard Henderson     }
68407cc68d5SRichard Henderson }
68507cc68d5SRichard Henderson 
6867ec8bab3SRichard Henderson void tcg_gen_extract_i32(TCGv_i32 ret, TCGv_i32 arg,
6877ec8bab3SRichard Henderson                          unsigned int ofs, unsigned int len)
6887ec8bab3SRichard Henderson {
6897ec8bab3SRichard Henderson     tcg_debug_assert(ofs < 32);
6907ec8bab3SRichard Henderson     tcg_debug_assert(len > 0);
6917ec8bab3SRichard Henderson     tcg_debug_assert(len <= 32);
6927ec8bab3SRichard Henderson     tcg_debug_assert(ofs + len <= 32);
6937ec8bab3SRichard Henderson 
6947ec8bab3SRichard Henderson     /* Canonicalize certain special cases, even if extract is supported.  */
6957ec8bab3SRichard Henderson     if (ofs + len == 32) {
6967ec8bab3SRichard Henderson         tcg_gen_shri_i32(ret, arg, 32 - len);
6977ec8bab3SRichard Henderson         return;
6987ec8bab3SRichard Henderson     }
6997ec8bab3SRichard Henderson     if (ofs == 0) {
7007ec8bab3SRichard Henderson         tcg_gen_andi_i32(ret, arg, (1u << len) - 1);
7017ec8bab3SRichard Henderson         return;
7027ec8bab3SRichard Henderson     }
7037ec8bab3SRichard Henderson 
7047ec8bab3SRichard Henderson     if (TCG_TARGET_HAS_extract_i32
7057ec8bab3SRichard Henderson         && TCG_TARGET_extract_i32_valid(ofs, len)) {
7067ec8bab3SRichard Henderson         tcg_gen_op4ii_i32(INDEX_op_extract_i32, ret, arg, ofs, len);
7077ec8bab3SRichard Henderson         return;
7087ec8bab3SRichard Henderson     }
7097ec8bab3SRichard Henderson 
7107ec8bab3SRichard Henderson     /* Assume that zero-extension, if available, is cheaper than a shift.  */
7117ec8bab3SRichard Henderson     switch (ofs + len) {
7127ec8bab3SRichard Henderson     case 16:
7137ec8bab3SRichard Henderson         if (TCG_TARGET_HAS_ext16u_i32) {
7147ec8bab3SRichard Henderson             tcg_gen_ext16u_i32(ret, arg);
7157ec8bab3SRichard Henderson             tcg_gen_shri_i32(ret, ret, ofs);
7167ec8bab3SRichard Henderson             return;
7177ec8bab3SRichard Henderson         }
7187ec8bab3SRichard Henderson         break;
7197ec8bab3SRichard Henderson     case 8:
7207ec8bab3SRichard Henderson         if (TCG_TARGET_HAS_ext8u_i32) {
7217ec8bab3SRichard Henderson             tcg_gen_ext8u_i32(ret, arg);
7227ec8bab3SRichard Henderson             tcg_gen_shri_i32(ret, ret, ofs);
7237ec8bab3SRichard Henderson             return;
7247ec8bab3SRichard Henderson         }
7257ec8bab3SRichard Henderson         break;
7267ec8bab3SRichard Henderson     }
7277ec8bab3SRichard Henderson 
7287ec8bab3SRichard Henderson     /* ??? Ideally we'd know what values are available for immediate AND.
7297ec8bab3SRichard Henderson        Assume that 8 bits are available, plus the special case of 16,
7307ec8bab3SRichard Henderson        so that we get ext8u, ext16u.  */
7317ec8bab3SRichard Henderson     switch (len) {
7327ec8bab3SRichard Henderson     case 1 ... 8: case 16:
7337ec8bab3SRichard Henderson         tcg_gen_shri_i32(ret, arg, ofs);
7347ec8bab3SRichard Henderson         tcg_gen_andi_i32(ret, ret, (1u << len) - 1);
7357ec8bab3SRichard Henderson         break;
7367ec8bab3SRichard Henderson     default:
7377ec8bab3SRichard Henderson         tcg_gen_shli_i32(ret, arg, 32 - len - ofs);
7387ec8bab3SRichard Henderson         tcg_gen_shri_i32(ret, ret, 32 - len);
7397ec8bab3SRichard Henderson         break;
7407ec8bab3SRichard Henderson     }
7417ec8bab3SRichard Henderson }
7427ec8bab3SRichard Henderson 
7437ec8bab3SRichard Henderson void tcg_gen_sextract_i32(TCGv_i32 ret, TCGv_i32 arg,
7447ec8bab3SRichard Henderson                           unsigned int ofs, unsigned int len)
7457ec8bab3SRichard Henderson {
7467ec8bab3SRichard Henderson     tcg_debug_assert(ofs < 32);
7477ec8bab3SRichard Henderson     tcg_debug_assert(len > 0);
7487ec8bab3SRichard Henderson     tcg_debug_assert(len <= 32);
7497ec8bab3SRichard Henderson     tcg_debug_assert(ofs + len <= 32);
7507ec8bab3SRichard Henderson 
7517ec8bab3SRichard Henderson     /* Canonicalize certain special cases, even if extract is supported.  */
7527ec8bab3SRichard Henderson     if (ofs + len == 32) {
7537ec8bab3SRichard Henderson         tcg_gen_sari_i32(ret, arg, 32 - len);
7547ec8bab3SRichard Henderson         return;
7557ec8bab3SRichard Henderson     }
7567ec8bab3SRichard Henderson     if (ofs == 0) {
7577ec8bab3SRichard Henderson         switch (len) {
7587ec8bab3SRichard Henderson         case 16:
7597ec8bab3SRichard Henderson             tcg_gen_ext16s_i32(ret, arg);
7607ec8bab3SRichard Henderson             return;
7617ec8bab3SRichard Henderson         case 8:
7627ec8bab3SRichard Henderson             tcg_gen_ext8s_i32(ret, arg);
7637ec8bab3SRichard Henderson             return;
7647ec8bab3SRichard Henderson         }
7657ec8bab3SRichard Henderson     }
7667ec8bab3SRichard Henderson 
7677ec8bab3SRichard Henderson     if (TCG_TARGET_HAS_sextract_i32
7687ec8bab3SRichard Henderson         && TCG_TARGET_extract_i32_valid(ofs, len)) {
7697ec8bab3SRichard Henderson         tcg_gen_op4ii_i32(INDEX_op_sextract_i32, ret, arg, ofs, len);
7707ec8bab3SRichard Henderson         return;
7717ec8bab3SRichard Henderson     }
7727ec8bab3SRichard Henderson 
7737ec8bab3SRichard Henderson     /* Assume that sign-extension, if available, is cheaper than a shift.  */
7747ec8bab3SRichard Henderson     switch (ofs + len) {
7757ec8bab3SRichard Henderson     case 16:
7767ec8bab3SRichard Henderson         if (TCG_TARGET_HAS_ext16s_i32) {
7777ec8bab3SRichard Henderson             tcg_gen_ext16s_i32(ret, arg);
7787ec8bab3SRichard Henderson             tcg_gen_sari_i32(ret, ret, ofs);
7797ec8bab3SRichard Henderson             return;
7807ec8bab3SRichard Henderson         }
7817ec8bab3SRichard Henderson         break;
7827ec8bab3SRichard Henderson     case 8:
7837ec8bab3SRichard Henderson         if (TCG_TARGET_HAS_ext8s_i32) {
7847ec8bab3SRichard Henderson             tcg_gen_ext8s_i32(ret, arg);
7857ec8bab3SRichard Henderson             tcg_gen_sari_i32(ret, ret, ofs);
7867ec8bab3SRichard Henderson             return;
7877ec8bab3SRichard Henderson         }
7887ec8bab3SRichard Henderson         break;
7897ec8bab3SRichard Henderson     }
7907ec8bab3SRichard Henderson     switch (len) {
7917ec8bab3SRichard Henderson     case 16:
7927ec8bab3SRichard Henderson         if (TCG_TARGET_HAS_ext16s_i32) {
7937ec8bab3SRichard Henderson             tcg_gen_shri_i32(ret, arg, ofs);
7947ec8bab3SRichard Henderson             tcg_gen_ext16s_i32(ret, ret);
7957ec8bab3SRichard Henderson             return;
7967ec8bab3SRichard Henderson         }
7977ec8bab3SRichard Henderson         break;
7987ec8bab3SRichard Henderson     case 8:
7997ec8bab3SRichard Henderson         if (TCG_TARGET_HAS_ext8s_i32) {
8007ec8bab3SRichard Henderson             tcg_gen_shri_i32(ret, arg, ofs);
8017ec8bab3SRichard Henderson             tcg_gen_ext8s_i32(ret, ret);
8027ec8bab3SRichard Henderson             return;
8037ec8bab3SRichard Henderson         }
8047ec8bab3SRichard Henderson         break;
8057ec8bab3SRichard Henderson     }
8067ec8bab3SRichard Henderson 
8077ec8bab3SRichard Henderson     tcg_gen_shli_i32(ret, arg, 32 - len - ofs);
8087ec8bab3SRichard Henderson     tcg_gen_sari_i32(ret, ret, 32 - len);
8097ec8bab3SRichard Henderson }
8107ec8bab3SRichard Henderson 
811951c6300SRichard Henderson void tcg_gen_movcond_i32(TCGCond cond, TCGv_i32 ret, TCGv_i32 c1,
812951c6300SRichard Henderson                          TCGv_i32 c2, TCGv_i32 v1, TCGv_i32 v2)
813951c6300SRichard Henderson {
81437ed3bf1SRichard Henderson     if (cond == TCG_COND_ALWAYS) {
81537ed3bf1SRichard Henderson         tcg_gen_mov_i32(ret, v1);
81637ed3bf1SRichard Henderson     } else if (cond == TCG_COND_NEVER) {
81737ed3bf1SRichard Henderson         tcg_gen_mov_i32(ret, v2);
81837ed3bf1SRichard Henderson     } else if (TCG_TARGET_HAS_movcond_i32) {
819951c6300SRichard Henderson         tcg_gen_op6i_i32(INDEX_op_movcond_i32, ret, c1, c2, v1, v2, cond);
820951c6300SRichard Henderson     } else {
821951c6300SRichard Henderson         TCGv_i32 t0 = tcg_temp_new_i32();
822951c6300SRichard Henderson         TCGv_i32 t1 = tcg_temp_new_i32();
823951c6300SRichard Henderson         tcg_gen_setcond_i32(cond, t0, c1, c2);
824951c6300SRichard Henderson         tcg_gen_neg_i32(t0, t0);
825951c6300SRichard Henderson         tcg_gen_and_i32(t1, v1, t0);
826951c6300SRichard Henderson         tcg_gen_andc_i32(ret, v2, t0);
827951c6300SRichard Henderson         tcg_gen_or_i32(ret, ret, t1);
828951c6300SRichard Henderson         tcg_temp_free_i32(t0);
829951c6300SRichard Henderson         tcg_temp_free_i32(t1);
830951c6300SRichard Henderson     }
831951c6300SRichard Henderson }
832951c6300SRichard Henderson 
833951c6300SRichard Henderson void tcg_gen_add2_i32(TCGv_i32 rl, TCGv_i32 rh, TCGv_i32 al,
834951c6300SRichard Henderson                       TCGv_i32 ah, TCGv_i32 bl, TCGv_i32 bh)
835951c6300SRichard Henderson {
836951c6300SRichard Henderson     if (TCG_TARGET_HAS_add2_i32) {
837951c6300SRichard Henderson         tcg_gen_op6_i32(INDEX_op_add2_i32, rl, rh, al, ah, bl, bh);
838951c6300SRichard Henderson     } else {
839951c6300SRichard Henderson         TCGv_i64 t0 = tcg_temp_new_i64();
840951c6300SRichard Henderson         TCGv_i64 t1 = tcg_temp_new_i64();
841951c6300SRichard Henderson         tcg_gen_concat_i32_i64(t0, al, ah);
842951c6300SRichard Henderson         tcg_gen_concat_i32_i64(t1, bl, bh);
843951c6300SRichard Henderson         tcg_gen_add_i64(t0, t0, t1);
844951c6300SRichard Henderson         tcg_gen_extr_i64_i32(rl, rh, t0);
845951c6300SRichard Henderson         tcg_temp_free_i64(t0);
846951c6300SRichard Henderson         tcg_temp_free_i64(t1);
847951c6300SRichard Henderson     }
848951c6300SRichard Henderson }
849951c6300SRichard Henderson 
850951c6300SRichard Henderson void tcg_gen_sub2_i32(TCGv_i32 rl, TCGv_i32 rh, TCGv_i32 al,
851951c6300SRichard Henderson                       TCGv_i32 ah, TCGv_i32 bl, TCGv_i32 bh)
852951c6300SRichard Henderson {
853951c6300SRichard Henderson     if (TCG_TARGET_HAS_sub2_i32) {
854951c6300SRichard Henderson         tcg_gen_op6_i32(INDEX_op_sub2_i32, rl, rh, al, ah, bl, bh);
855951c6300SRichard Henderson     } else {
856951c6300SRichard Henderson         TCGv_i64 t0 = tcg_temp_new_i64();
857951c6300SRichard Henderson         TCGv_i64 t1 = tcg_temp_new_i64();
858951c6300SRichard Henderson         tcg_gen_concat_i32_i64(t0, al, ah);
859951c6300SRichard Henderson         tcg_gen_concat_i32_i64(t1, bl, bh);
860951c6300SRichard Henderson         tcg_gen_sub_i64(t0, t0, t1);
861951c6300SRichard Henderson         tcg_gen_extr_i64_i32(rl, rh, t0);
862951c6300SRichard Henderson         tcg_temp_free_i64(t0);
863951c6300SRichard Henderson         tcg_temp_free_i64(t1);
864951c6300SRichard Henderson     }
865951c6300SRichard Henderson }
866951c6300SRichard Henderson 
867951c6300SRichard Henderson void tcg_gen_mulu2_i32(TCGv_i32 rl, TCGv_i32 rh, TCGv_i32 arg1, TCGv_i32 arg2)
868951c6300SRichard Henderson {
869951c6300SRichard Henderson     if (TCG_TARGET_HAS_mulu2_i32) {
870951c6300SRichard Henderson         tcg_gen_op4_i32(INDEX_op_mulu2_i32, rl, rh, arg1, arg2);
871951c6300SRichard Henderson     } else if (TCG_TARGET_HAS_muluh_i32) {
872951c6300SRichard Henderson         TCGv_i32 t = tcg_temp_new_i32();
873951c6300SRichard Henderson         tcg_gen_op3_i32(INDEX_op_mul_i32, t, arg1, arg2);
874951c6300SRichard Henderson         tcg_gen_op3_i32(INDEX_op_muluh_i32, rh, arg1, arg2);
875951c6300SRichard Henderson         tcg_gen_mov_i32(rl, t);
876951c6300SRichard Henderson         tcg_temp_free_i32(t);
877951c6300SRichard Henderson     } else {
878951c6300SRichard Henderson         TCGv_i64 t0 = tcg_temp_new_i64();
879951c6300SRichard Henderson         TCGv_i64 t1 = tcg_temp_new_i64();
880951c6300SRichard Henderson         tcg_gen_extu_i32_i64(t0, arg1);
881951c6300SRichard Henderson         tcg_gen_extu_i32_i64(t1, arg2);
882951c6300SRichard Henderson         tcg_gen_mul_i64(t0, t0, t1);
883951c6300SRichard Henderson         tcg_gen_extr_i64_i32(rl, rh, t0);
884951c6300SRichard Henderson         tcg_temp_free_i64(t0);
885951c6300SRichard Henderson         tcg_temp_free_i64(t1);
886951c6300SRichard Henderson     }
887951c6300SRichard Henderson }
888951c6300SRichard Henderson 
889951c6300SRichard Henderson void tcg_gen_muls2_i32(TCGv_i32 rl, TCGv_i32 rh, TCGv_i32 arg1, TCGv_i32 arg2)
890951c6300SRichard Henderson {
891951c6300SRichard Henderson     if (TCG_TARGET_HAS_muls2_i32) {
892951c6300SRichard Henderson         tcg_gen_op4_i32(INDEX_op_muls2_i32, rl, rh, arg1, arg2);
893951c6300SRichard Henderson     } else if (TCG_TARGET_HAS_mulsh_i32) {
894951c6300SRichard Henderson         TCGv_i32 t = tcg_temp_new_i32();
895951c6300SRichard Henderson         tcg_gen_op3_i32(INDEX_op_mul_i32, t, arg1, arg2);
896951c6300SRichard Henderson         tcg_gen_op3_i32(INDEX_op_mulsh_i32, rh, arg1, arg2);
897951c6300SRichard Henderson         tcg_gen_mov_i32(rl, t);
898951c6300SRichard Henderson         tcg_temp_free_i32(t);
899951c6300SRichard Henderson     } else if (TCG_TARGET_REG_BITS == 32) {
900951c6300SRichard Henderson         TCGv_i32 t0 = tcg_temp_new_i32();
901951c6300SRichard Henderson         TCGv_i32 t1 = tcg_temp_new_i32();
902951c6300SRichard Henderson         TCGv_i32 t2 = tcg_temp_new_i32();
903951c6300SRichard Henderson         TCGv_i32 t3 = tcg_temp_new_i32();
904951c6300SRichard Henderson         tcg_gen_mulu2_i32(t0, t1, arg1, arg2);
905951c6300SRichard Henderson         /* Adjust for negative inputs.  */
906951c6300SRichard Henderson         tcg_gen_sari_i32(t2, arg1, 31);
907951c6300SRichard Henderson         tcg_gen_sari_i32(t3, arg2, 31);
908951c6300SRichard Henderson         tcg_gen_and_i32(t2, t2, arg2);
909951c6300SRichard Henderson         tcg_gen_and_i32(t3, t3, arg1);
910951c6300SRichard Henderson         tcg_gen_sub_i32(rh, t1, t2);
911951c6300SRichard Henderson         tcg_gen_sub_i32(rh, rh, t3);
912951c6300SRichard Henderson         tcg_gen_mov_i32(rl, t0);
913951c6300SRichard Henderson         tcg_temp_free_i32(t0);
914951c6300SRichard Henderson         tcg_temp_free_i32(t1);
915951c6300SRichard Henderson         tcg_temp_free_i32(t2);
916951c6300SRichard Henderson         tcg_temp_free_i32(t3);
917951c6300SRichard Henderson     } else {
918951c6300SRichard Henderson         TCGv_i64 t0 = tcg_temp_new_i64();
919951c6300SRichard Henderson         TCGv_i64 t1 = tcg_temp_new_i64();
920951c6300SRichard Henderson         tcg_gen_ext_i32_i64(t0, arg1);
921951c6300SRichard Henderson         tcg_gen_ext_i32_i64(t1, arg2);
922951c6300SRichard Henderson         tcg_gen_mul_i64(t0, t0, t1);
923951c6300SRichard Henderson         tcg_gen_extr_i64_i32(rl, rh, t0);
924951c6300SRichard Henderson         tcg_temp_free_i64(t0);
925951c6300SRichard Henderson         tcg_temp_free_i64(t1);
926951c6300SRichard Henderson     }
927951c6300SRichard Henderson }
928951c6300SRichard Henderson 
9295087abfbSRichard Henderson void tcg_gen_mulsu2_i32(TCGv_i32 rl, TCGv_i32 rh, TCGv_i32 arg1, TCGv_i32 arg2)
9305087abfbSRichard Henderson {
9315087abfbSRichard Henderson     if (TCG_TARGET_REG_BITS == 32) {
9325087abfbSRichard Henderson         TCGv_i32 t0 = tcg_temp_new_i32();
9335087abfbSRichard Henderson         TCGv_i32 t1 = tcg_temp_new_i32();
9345087abfbSRichard Henderson         TCGv_i32 t2 = tcg_temp_new_i32();
9355087abfbSRichard Henderson         tcg_gen_mulu2_i32(t0, t1, arg1, arg2);
9365087abfbSRichard Henderson         /* Adjust for negative input for the signed arg1.  */
9375087abfbSRichard Henderson         tcg_gen_sari_i32(t2, arg1, 31);
9385087abfbSRichard Henderson         tcg_gen_and_i32(t2, t2, arg2);
9395087abfbSRichard Henderson         tcg_gen_sub_i32(rh, t1, t2);
9405087abfbSRichard Henderson         tcg_gen_mov_i32(rl, t0);
9415087abfbSRichard Henderson         tcg_temp_free_i32(t0);
9425087abfbSRichard Henderson         tcg_temp_free_i32(t1);
9435087abfbSRichard Henderson         tcg_temp_free_i32(t2);
9445087abfbSRichard Henderson     } else {
9455087abfbSRichard Henderson         TCGv_i64 t0 = tcg_temp_new_i64();
9465087abfbSRichard Henderson         TCGv_i64 t1 = tcg_temp_new_i64();
9475087abfbSRichard Henderson         tcg_gen_ext_i32_i64(t0, arg1);
9485087abfbSRichard Henderson         tcg_gen_extu_i32_i64(t1, arg2);
9495087abfbSRichard Henderson         tcg_gen_mul_i64(t0, t0, t1);
9505087abfbSRichard Henderson         tcg_gen_extr_i64_i32(rl, rh, t0);
9515087abfbSRichard Henderson         tcg_temp_free_i64(t0);
9525087abfbSRichard Henderson         tcg_temp_free_i64(t1);
9535087abfbSRichard Henderson     }
9545087abfbSRichard Henderson }
9555087abfbSRichard Henderson 
956951c6300SRichard Henderson void tcg_gen_ext8s_i32(TCGv_i32 ret, TCGv_i32 arg)
957951c6300SRichard Henderson {
958951c6300SRichard Henderson     if (TCG_TARGET_HAS_ext8s_i32) {
959951c6300SRichard Henderson         tcg_gen_op2_i32(INDEX_op_ext8s_i32, ret, arg);
960951c6300SRichard Henderson     } else {
961951c6300SRichard Henderson         tcg_gen_shli_i32(ret, arg, 24);
962951c6300SRichard Henderson         tcg_gen_sari_i32(ret, ret, 24);
963951c6300SRichard Henderson     }
964951c6300SRichard Henderson }
965951c6300SRichard Henderson 
966951c6300SRichard Henderson void tcg_gen_ext16s_i32(TCGv_i32 ret, TCGv_i32 arg)
967951c6300SRichard Henderson {
968951c6300SRichard Henderson     if (TCG_TARGET_HAS_ext16s_i32) {
969951c6300SRichard Henderson         tcg_gen_op2_i32(INDEX_op_ext16s_i32, ret, arg);
970951c6300SRichard Henderson     } else {
971951c6300SRichard Henderson         tcg_gen_shli_i32(ret, arg, 16);
972951c6300SRichard Henderson         tcg_gen_sari_i32(ret, ret, 16);
973951c6300SRichard Henderson     }
974951c6300SRichard Henderson }
975951c6300SRichard Henderson 
976951c6300SRichard Henderson void tcg_gen_ext8u_i32(TCGv_i32 ret, TCGv_i32 arg)
977951c6300SRichard Henderson {
978951c6300SRichard Henderson     if (TCG_TARGET_HAS_ext8u_i32) {
979951c6300SRichard Henderson         tcg_gen_op2_i32(INDEX_op_ext8u_i32, ret, arg);
980951c6300SRichard Henderson     } else {
981951c6300SRichard Henderson         tcg_gen_andi_i32(ret, arg, 0xffu);
982951c6300SRichard Henderson     }
983951c6300SRichard Henderson }
984951c6300SRichard Henderson 
985951c6300SRichard Henderson void tcg_gen_ext16u_i32(TCGv_i32 ret, TCGv_i32 arg)
986951c6300SRichard Henderson {
987951c6300SRichard Henderson     if (TCG_TARGET_HAS_ext16u_i32) {
988951c6300SRichard Henderson         tcg_gen_op2_i32(INDEX_op_ext16u_i32, ret, arg);
989951c6300SRichard Henderson     } else {
990951c6300SRichard Henderson         tcg_gen_andi_i32(ret, arg, 0xffffu);
991951c6300SRichard Henderson     }
992951c6300SRichard Henderson }
993951c6300SRichard Henderson 
994951c6300SRichard Henderson /* Note: we assume the two high bytes are set to zero */
995951c6300SRichard Henderson void tcg_gen_bswap16_i32(TCGv_i32 ret, TCGv_i32 arg)
996951c6300SRichard Henderson {
997951c6300SRichard Henderson     if (TCG_TARGET_HAS_bswap16_i32) {
998951c6300SRichard Henderson         tcg_gen_op2_i32(INDEX_op_bswap16_i32, ret, arg);
999951c6300SRichard Henderson     } else {
1000951c6300SRichard Henderson         TCGv_i32 t0 = tcg_temp_new_i32();
1001951c6300SRichard Henderson 
1002951c6300SRichard Henderson         tcg_gen_ext8u_i32(t0, arg);
1003951c6300SRichard Henderson         tcg_gen_shli_i32(t0, t0, 8);
1004951c6300SRichard Henderson         tcg_gen_shri_i32(ret, arg, 8);
1005951c6300SRichard Henderson         tcg_gen_or_i32(ret, ret, t0);
1006951c6300SRichard Henderson         tcg_temp_free_i32(t0);
1007951c6300SRichard Henderson     }
1008951c6300SRichard Henderson }
1009951c6300SRichard Henderson 
1010951c6300SRichard Henderson void tcg_gen_bswap32_i32(TCGv_i32 ret, TCGv_i32 arg)
1011951c6300SRichard Henderson {
1012951c6300SRichard Henderson     if (TCG_TARGET_HAS_bswap32_i32) {
1013951c6300SRichard Henderson         tcg_gen_op2_i32(INDEX_op_bswap32_i32, ret, arg);
1014951c6300SRichard Henderson     } else {
1015951c6300SRichard Henderson         TCGv_i32 t0, t1;
1016951c6300SRichard Henderson         t0 = tcg_temp_new_i32();
1017951c6300SRichard Henderson         t1 = tcg_temp_new_i32();
1018951c6300SRichard Henderson 
1019951c6300SRichard Henderson         tcg_gen_shli_i32(t0, arg, 24);
1020951c6300SRichard Henderson 
1021951c6300SRichard Henderson         tcg_gen_andi_i32(t1, arg, 0x0000ff00);
1022951c6300SRichard Henderson         tcg_gen_shli_i32(t1, t1, 8);
1023951c6300SRichard Henderson         tcg_gen_or_i32(t0, t0, t1);
1024951c6300SRichard Henderson 
1025951c6300SRichard Henderson         tcg_gen_shri_i32(t1, arg, 8);
1026951c6300SRichard Henderson         tcg_gen_andi_i32(t1, t1, 0x0000ff00);
1027951c6300SRichard Henderson         tcg_gen_or_i32(t0, t0, t1);
1028951c6300SRichard Henderson 
1029951c6300SRichard Henderson         tcg_gen_shri_i32(t1, arg, 24);
1030951c6300SRichard Henderson         tcg_gen_or_i32(ret, t0, t1);
1031951c6300SRichard Henderson         tcg_temp_free_i32(t0);
1032951c6300SRichard Henderson         tcg_temp_free_i32(t1);
1033951c6300SRichard Henderson     }
1034951c6300SRichard Henderson }
1035951c6300SRichard Henderson 
1036*b87fb8cdSRichard Henderson void tcg_gen_smin_i32(TCGv_i32 ret, TCGv_i32 a, TCGv_i32 b)
1037*b87fb8cdSRichard Henderson {
1038*b87fb8cdSRichard Henderson     tcg_gen_movcond_i32(TCG_COND_LT, ret, a, b, a, b);
1039*b87fb8cdSRichard Henderson }
1040*b87fb8cdSRichard Henderson 
1041*b87fb8cdSRichard Henderson void tcg_gen_umin_i32(TCGv_i32 ret, TCGv_i32 a, TCGv_i32 b)
1042*b87fb8cdSRichard Henderson {
1043*b87fb8cdSRichard Henderson     tcg_gen_movcond_i32(TCG_COND_LTU, ret, a, b, a, b);
1044*b87fb8cdSRichard Henderson }
1045*b87fb8cdSRichard Henderson 
1046*b87fb8cdSRichard Henderson void tcg_gen_smax_i32(TCGv_i32 ret, TCGv_i32 a, TCGv_i32 b)
1047*b87fb8cdSRichard Henderson {
1048*b87fb8cdSRichard Henderson     tcg_gen_movcond_i32(TCG_COND_LT, ret, a, b, b, a);
1049*b87fb8cdSRichard Henderson }
1050*b87fb8cdSRichard Henderson 
1051*b87fb8cdSRichard Henderson void tcg_gen_umax_i32(TCGv_i32 ret, TCGv_i32 a, TCGv_i32 b)
1052*b87fb8cdSRichard Henderson {
1053*b87fb8cdSRichard Henderson     tcg_gen_movcond_i32(TCG_COND_LTU, ret, a, b, b, a);
1054*b87fb8cdSRichard Henderson }
1055*b87fb8cdSRichard Henderson 
1056951c6300SRichard Henderson /* 64-bit ops */
1057951c6300SRichard Henderson 
1058951c6300SRichard Henderson #if TCG_TARGET_REG_BITS == 32
1059951c6300SRichard Henderson /* These are all inline for TCG_TARGET_REG_BITS == 64.  */
1060951c6300SRichard Henderson 
1061951c6300SRichard Henderson void tcg_gen_discard_i64(TCGv_i64 arg)
1062951c6300SRichard Henderson {
1063951c6300SRichard Henderson     tcg_gen_discard_i32(TCGV_LOW(arg));
1064951c6300SRichard Henderson     tcg_gen_discard_i32(TCGV_HIGH(arg));
1065951c6300SRichard Henderson }
1066951c6300SRichard Henderson 
1067951c6300SRichard Henderson void tcg_gen_mov_i64(TCGv_i64 ret, TCGv_i64 arg)
1068951c6300SRichard Henderson {
1069951c6300SRichard Henderson     tcg_gen_mov_i32(TCGV_LOW(ret), TCGV_LOW(arg));
1070951c6300SRichard Henderson     tcg_gen_mov_i32(TCGV_HIGH(ret), TCGV_HIGH(arg));
1071951c6300SRichard Henderson }
1072951c6300SRichard Henderson 
1073951c6300SRichard Henderson void tcg_gen_movi_i64(TCGv_i64 ret, int64_t arg)
1074951c6300SRichard Henderson {
1075951c6300SRichard Henderson     tcg_gen_movi_i32(TCGV_LOW(ret), arg);
1076951c6300SRichard Henderson     tcg_gen_movi_i32(TCGV_HIGH(ret), arg >> 32);
1077951c6300SRichard Henderson }
1078951c6300SRichard Henderson 
1079951c6300SRichard Henderson void tcg_gen_ld8u_i64(TCGv_i64 ret, TCGv_ptr arg2, tcg_target_long offset)
1080951c6300SRichard Henderson {
1081951c6300SRichard Henderson     tcg_gen_ld8u_i32(TCGV_LOW(ret), arg2, offset);
1082951c6300SRichard Henderson     tcg_gen_movi_i32(TCGV_HIGH(ret), 0);
1083951c6300SRichard Henderson }
1084951c6300SRichard Henderson 
1085951c6300SRichard Henderson void tcg_gen_ld8s_i64(TCGv_i64 ret, TCGv_ptr arg2, tcg_target_long offset)
1086951c6300SRichard Henderson {
1087951c6300SRichard Henderson     tcg_gen_ld8s_i32(TCGV_LOW(ret), arg2, offset);
10883ff91d7eSJoseph Myers     tcg_gen_sari_i32(TCGV_HIGH(ret), TCGV_LOW(ret), 31);
1089951c6300SRichard Henderson }
1090951c6300SRichard Henderson 
1091951c6300SRichard Henderson void tcg_gen_ld16u_i64(TCGv_i64 ret, TCGv_ptr arg2, tcg_target_long offset)
1092951c6300SRichard Henderson {
1093951c6300SRichard Henderson     tcg_gen_ld16u_i32(TCGV_LOW(ret), arg2, offset);
1094951c6300SRichard Henderson     tcg_gen_movi_i32(TCGV_HIGH(ret), 0);
1095951c6300SRichard Henderson }
1096951c6300SRichard Henderson 
1097951c6300SRichard Henderson void tcg_gen_ld16s_i64(TCGv_i64 ret, TCGv_ptr arg2, tcg_target_long offset)
1098951c6300SRichard Henderson {
1099951c6300SRichard Henderson     tcg_gen_ld16s_i32(TCGV_LOW(ret), arg2, offset);
1100951c6300SRichard Henderson     tcg_gen_sari_i32(TCGV_HIGH(ret), TCGV_LOW(ret), 31);
1101951c6300SRichard Henderson }
1102951c6300SRichard Henderson 
1103951c6300SRichard Henderson void tcg_gen_ld32u_i64(TCGv_i64 ret, TCGv_ptr arg2, tcg_target_long offset)
1104951c6300SRichard Henderson {
1105951c6300SRichard Henderson     tcg_gen_ld_i32(TCGV_LOW(ret), arg2, offset);
1106951c6300SRichard Henderson     tcg_gen_movi_i32(TCGV_HIGH(ret), 0);
1107951c6300SRichard Henderson }
1108951c6300SRichard Henderson 
1109951c6300SRichard Henderson void tcg_gen_ld32s_i64(TCGv_i64 ret, TCGv_ptr arg2, tcg_target_long offset)
1110951c6300SRichard Henderson {
1111951c6300SRichard Henderson     tcg_gen_ld_i32(TCGV_LOW(ret), arg2, offset);
1112951c6300SRichard Henderson     tcg_gen_sari_i32(TCGV_HIGH(ret), TCGV_LOW(ret), 31);
1113951c6300SRichard Henderson }
1114951c6300SRichard Henderson 
1115951c6300SRichard Henderson void tcg_gen_ld_i64(TCGv_i64 ret, TCGv_ptr arg2, tcg_target_long offset)
1116951c6300SRichard Henderson {
1117951c6300SRichard Henderson     /* Since arg2 and ret have different types,
1118951c6300SRichard Henderson        they cannot be the same temporary */
1119cf811fffSPeter Maydell #ifdef HOST_WORDS_BIGENDIAN
1120951c6300SRichard Henderson     tcg_gen_ld_i32(TCGV_HIGH(ret), arg2, offset);
1121951c6300SRichard Henderson     tcg_gen_ld_i32(TCGV_LOW(ret), arg2, offset + 4);
1122951c6300SRichard Henderson #else
1123951c6300SRichard Henderson     tcg_gen_ld_i32(TCGV_LOW(ret), arg2, offset);
1124951c6300SRichard Henderson     tcg_gen_ld_i32(TCGV_HIGH(ret), arg2, offset + 4);
1125951c6300SRichard Henderson #endif
1126951c6300SRichard Henderson }
1127951c6300SRichard Henderson 
1128951c6300SRichard Henderson void tcg_gen_st_i64(TCGv_i64 arg1, TCGv_ptr arg2, tcg_target_long offset)
1129951c6300SRichard Henderson {
1130cf811fffSPeter Maydell #ifdef HOST_WORDS_BIGENDIAN
1131951c6300SRichard Henderson     tcg_gen_st_i32(TCGV_HIGH(arg1), arg2, offset);
1132951c6300SRichard Henderson     tcg_gen_st_i32(TCGV_LOW(arg1), arg2, offset + 4);
1133951c6300SRichard Henderson #else
1134951c6300SRichard Henderson     tcg_gen_st_i32(TCGV_LOW(arg1), arg2, offset);
1135951c6300SRichard Henderson     tcg_gen_st_i32(TCGV_HIGH(arg1), arg2, offset + 4);
1136951c6300SRichard Henderson #endif
1137951c6300SRichard Henderson }
1138951c6300SRichard Henderson 
1139951c6300SRichard Henderson void tcg_gen_and_i64(TCGv_i64 ret, TCGv_i64 arg1, TCGv_i64 arg2)
1140951c6300SRichard Henderson {
1141951c6300SRichard Henderson     tcg_gen_and_i32(TCGV_LOW(ret), TCGV_LOW(arg1), TCGV_LOW(arg2));
1142951c6300SRichard Henderson     tcg_gen_and_i32(TCGV_HIGH(ret), TCGV_HIGH(arg1), TCGV_HIGH(arg2));
1143951c6300SRichard Henderson }
1144951c6300SRichard Henderson 
1145951c6300SRichard Henderson void tcg_gen_or_i64(TCGv_i64 ret, TCGv_i64 arg1, TCGv_i64 arg2)
1146951c6300SRichard Henderson {
1147951c6300SRichard Henderson     tcg_gen_or_i32(TCGV_LOW(ret), TCGV_LOW(arg1), TCGV_LOW(arg2));
1148951c6300SRichard Henderson     tcg_gen_or_i32(TCGV_HIGH(ret), TCGV_HIGH(arg1), TCGV_HIGH(arg2));
1149951c6300SRichard Henderson }
1150951c6300SRichard Henderson 
1151951c6300SRichard Henderson void tcg_gen_xor_i64(TCGv_i64 ret, TCGv_i64 arg1, TCGv_i64 arg2)
1152951c6300SRichard Henderson {
1153951c6300SRichard Henderson     tcg_gen_xor_i32(TCGV_LOW(ret), TCGV_LOW(arg1), TCGV_LOW(arg2));
1154951c6300SRichard Henderson     tcg_gen_xor_i32(TCGV_HIGH(ret), TCGV_HIGH(arg1), TCGV_HIGH(arg2));
1155951c6300SRichard Henderson }
1156951c6300SRichard Henderson 
1157951c6300SRichard Henderson void tcg_gen_shl_i64(TCGv_i64 ret, TCGv_i64 arg1, TCGv_i64 arg2)
1158951c6300SRichard Henderson {
1159951c6300SRichard Henderson     gen_helper_shl_i64(ret, arg1, arg2);
1160951c6300SRichard Henderson }
1161951c6300SRichard Henderson 
1162951c6300SRichard Henderson void tcg_gen_shr_i64(TCGv_i64 ret, TCGv_i64 arg1, TCGv_i64 arg2)
1163951c6300SRichard Henderson {
1164951c6300SRichard Henderson     gen_helper_shr_i64(ret, arg1, arg2);
1165951c6300SRichard Henderson }
1166951c6300SRichard Henderson 
1167951c6300SRichard Henderson void tcg_gen_sar_i64(TCGv_i64 ret, TCGv_i64 arg1, TCGv_i64 arg2)
1168951c6300SRichard Henderson {
1169951c6300SRichard Henderson     gen_helper_sar_i64(ret, arg1, arg2);
1170951c6300SRichard Henderson }
1171951c6300SRichard Henderson 
1172951c6300SRichard Henderson void tcg_gen_mul_i64(TCGv_i64 ret, TCGv_i64 arg1, TCGv_i64 arg2)
1173951c6300SRichard Henderson {
1174951c6300SRichard Henderson     TCGv_i64 t0;
1175951c6300SRichard Henderson     TCGv_i32 t1;
1176951c6300SRichard Henderson 
1177951c6300SRichard Henderson     t0 = tcg_temp_new_i64();
1178951c6300SRichard Henderson     t1 = tcg_temp_new_i32();
1179951c6300SRichard Henderson 
1180951c6300SRichard Henderson     tcg_gen_mulu2_i32(TCGV_LOW(t0), TCGV_HIGH(t0),
1181951c6300SRichard Henderson                       TCGV_LOW(arg1), TCGV_LOW(arg2));
1182951c6300SRichard Henderson 
1183951c6300SRichard Henderson     tcg_gen_mul_i32(t1, TCGV_LOW(arg1), TCGV_HIGH(arg2));
1184951c6300SRichard Henderson     tcg_gen_add_i32(TCGV_HIGH(t0), TCGV_HIGH(t0), t1);
1185951c6300SRichard Henderson     tcg_gen_mul_i32(t1, TCGV_HIGH(arg1), TCGV_LOW(arg2));
1186951c6300SRichard Henderson     tcg_gen_add_i32(TCGV_HIGH(t0), TCGV_HIGH(t0), t1);
1187951c6300SRichard Henderson 
1188951c6300SRichard Henderson     tcg_gen_mov_i64(ret, t0);
1189951c6300SRichard Henderson     tcg_temp_free_i64(t0);
1190951c6300SRichard Henderson     tcg_temp_free_i32(t1);
1191951c6300SRichard Henderson }
1192951c6300SRichard Henderson #endif /* TCG_TARGET_REG_SIZE == 32 */
1193951c6300SRichard Henderson 
1194951c6300SRichard Henderson void tcg_gen_addi_i64(TCGv_i64 ret, TCGv_i64 arg1, int64_t arg2)
1195951c6300SRichard Henderson {
1196951c6300SRichard Henderson     /* some cases can be optimized here */
1197951c6300SRichard Henderson     if (arg2 == 0) {
1198951c6300SRichard Henderson         tcg_gen_mov_i64(ret, arg1);
1199951c6300SRichard Henderson     } else {
1200951c6300SRichard Henderson         TCGv_i64 t0 = tcg_const_i64(arg2);
1201951c6300SRichard Henderson         tcg_gen_add_i64(ret, arg1, t0);
1202951c6300SRichard Henderson         tcg_temp_free_i64(t0);
1203951c6300SRichard Henderson     }
1204951c6300SRichard Henderson }
1205951c6300SRichard Henderson 
1206951c6300SRichard Henderson void tcg_gen_subfi_i64(TCGv_i64 ret, int64_t arg1, TCGv_i64 arg2)
1207951c6300SRichard Henderson {
1208951c6300SRichard Henderson     if (arg1 == 0 && TCG_TARGET_HAS_neg_i64) {
1209951c6300SRichard Henderson         /* Don't recurse with tcg_gen_neg_i64.  */
1210951c6300SRichard Henderson         tcg_gen_op2_i64(INDEX_op_neg_i64, ret, arg2);
1211951c6300SRichard Henderson     } else {
1212951c6300SRichard Henderson         TCGv_i64 t0 = tcg_const_i64(arg1);
1213951c6300SRichard Henderson         tcg_gen_sub_i64(ret, t0, arg2);
1214951c6300SRichard Henderson         tcg_temp_free_i64(t0);
1215951c6300SRichard Henderson     }
1216951c6300SRichard Henderson }
1217951c6300SRichard Henderson 
1218951c6300SRichard Henderson void tcg_gen_subi_i64(TCGv_i64 ret, TCGv_i64 arg1, int64_t arg2)
1219951c6300SRichard Henderson {
1220951c6300SRichard Henderson     /* some cases can be optimized here */
1221951c6300SRichard Henderson     if (arg2 == 0) {
1222951c6300SRichard Henderson         tcg_gen_mov_i64(ret, arg1);
1223951c6300SRichard Henderson     } else {
1224951c6300SRichard Henderson         TCGv_i64 t0 = tcg_const_i64(arg2);
1225951c6300SRichard Henderson         tcg_gen_sub_i64(ret, arg1, t0);
1226951c6300SRichard Henderson         tcg_temp_free_i64(t0);
1227951c6300SRichard Henderson     }
1228951c6300SRichard Henderson }
1229951c6300SRichard Henderson 
1230474b2e8fSRichard Henderson void tcg_gen_andi_i64(TCGv_i64 ret, TCGv_i64 arg1, int64_t arg2)
1231951c6300SRichard Henderson {
12323a13c3f3SRichard Henderson     TCGv_i64 t0;
12333a13c3f3SRichard Henderson 
12343a13c3f3SRichard Henderson     if (TCG_TARGET_REG_BITS == 32) {
1235951c6300SRichard Henderson         tcg_gen_andi_i32(TCGV_LOW(ret), TCGV_LOW(arg1), arg2);
1236951c6300SRichard Henderson         tcg_gen_andi_i32(TCGV_HIGH(ret), TCGV_HIGH(arg1), arg2 >> 32);
12373a13c3f3SRichard Henderson         return;
12383a13c3f3SRichard Henderson     }
12393a13c3f3SRichard Henderson 
1240951c6300SRichard Henderson     /* Some cases can be optimized here.  */
1241951c6300SRichard Henderson     switch (arg2) {
1242951c6300SRichard Henderson     case 0:
1243951c6300SRichard Henderson         tcg_gen_movi_i64(ret, 0);
1244951c6300SRichard Henderson         return;
1245474b2e8fSRichard Henderson     case -1:
1246951c6300SRichard Henderson         tcg_gen_mov_i64(ret, arg1);
1247951c6300SRichard Henderson         return;
1248474b2e8fSRichard Henderson     case 0xff:
1249951c6300SRichard Henderson         /* Don't recurse with tcg_gen_ext8u_i64.  */
1250951c6300SRichard Henderson         if (TCG_TARGET_HAS_ext8u_i64) {
1251951c6300SRichard Henderson             tcg_gen_op2_i64(INDEX_op_ext8u_i64, ret, arg1);
1252951c6300SRichard Henderson             return;
1253951c6300SRichard Henderson         }
1254951c6300SRichard Henderson         break;
1255474b2e8fSRichard Henderson     case 0xffff:
1256951c6300SRichard Henderson         if (TCG_TARGET_HAS_ext16u_i64) {
1257951c6300SRichard Henderson             tcg_gen_op2_i64(INDEX_op_ext16u_i64, ret, arg1);
1258951c6300SRichard Henderson             return;
1259951c6300SRichard Henderson         }
1260951c6300SRichard Henderson         break;
1261474b2e8fSRichard Henderson     case 0xffffffffu:
1262951c6300SRichard Henderson         if (TCG_TARGET_HAS_ext32u_i64) {
1263951c6300SRichard Henderson             tcg_gen_op2_i64(INDEX_op_ext32u_i64, ret, arg1);
1264951c6300SRichard Henderson             return;
1265951c6300SRichard Henderson         }
1266951c6300SRichard Henderson         break;
1267951c6300SRichard Henderson     }
1268951c6300SRichard Henderson     t0 = tcg_const_i64(arg2);
1269951c6300SRichard Henderson     tcg_gen_and_i64(ret, arg1, t0);
1270951c6300SRichard Henderson     tcg_temp_free_i64(t0);
1271951c6300SRichard Henderson }
1272951c6300SRichard Henderson 
1273951c6300SRichard Henderson void tcg_gen_ori_i64(TCGv_i64 ret, TCGv_i64 arg1, int64_t arg2)
1274951c6300SRichard Henderson {
12753a13c3f3SRichard Henderson     if (TCG_TARGET_REG_BITS == 32) {
1276951c6300SRichard Henderson         tcg_gen_ori_i32(TCGV_LOW(ret), TCGV_LOW(arg1), arg2);
1277951c6300SRichard Henderson         tcg_gen_ori_i32(TCGV_HIGH(ret), TCGV_HIGH(arg1), arg2 >> 32);
12783a13c3f3SRichard Henderson         return;
12793a13c3f3SRichard Henderson     }
1280951c6300SRichard Henderson     /* Some cases can be optimized here.  */
1281951c6300SRichard Henderson     if (arg2 == -1) {
1282951c6300SRichard Henderson         tcg_gen_movi_i64(ret, -1);
1283951c6300SRichard Henderson     } else if (arg2 == 0) {
1284951c6300SRichard Henderson         tcg_gen_mov_i64(ret, arg1);
1285951c6300SRichard Henderson     } else {
1286951c6300SRichard Henderson         TCGv_i64 t0 = tcg_const_i64(arg2);
1287951c6300SRichard Henderson         tcg_gen_or_i64(ret, arg1, t0);
1288951c6300SRichard Henderson         tcg_temp_free_i64(t0);
1289951c6300SRichard Henderson     }
1290951c6300SRichard Henderson }
1291951c6300SRichard Henderson 
1292951c6300SRichard Henderson void tcg_gen_xori_i64(TCGv_i64 ret, TCGv_i64 arg1, int64_t arg2)
1293951c6300SRichard Henderson {
12943a13c3f3SRichard Henderson     if (TCG_TARGET_REG_BITS == 32) {
1295951c6300SRichard Henderson         tcg_gen_xori_i32(TCGV_LOW(ret), TCGV_LOW(arg1), arg2);
1296951c6300SRichard Henderson         tcg_gen_xori_i32(TCGV_HIGH(ret), TCGV_HIGH(arg1), arg2 >> 32);
12973a13c3f3SRichard Henderson         return;
12983a13c3f3SRichard Henderson     }
1299951c6300SRichard Henderson     /* Some cases can be optimized here.  */
1300951c6300SRichard Henderson     if (arg2 == 0) {
1301951c6300SRichard Henderson         tcg_gen_mov_i64(ret, arg1);
1302951c6300SRichard Henderson     } else if (arg2 == -1 && TCG_TARGET_HAS_not_i64) {
1303951c6300SRichard Henderson         /* Don't recurse with tcg_gen_not_i64.  */
1304951c6300SRichard Henderson         tcg_gen_op2_i64(INDEX_op_not_i64, ret, arg1);
1305951c6300SRichard Henderson     } else {
1306951c6300SRichard Henderson         TCGv_i64 t0 = tcg_const_i64(arg2);
1307951c6300SRichard Henderson         tcg_gen_xor_i64(ret, arg1, t0);
1308951c6300SRichard Henderson         tcg_temp_free_i64(t0);
1309951c6300SRichard Henderson     }
1310951c6300SRichard Henderson }
1311951c6300SRichard Henderson 
1312951c6300SRichard Henderson static inline void tcg_gen_shifti_i64(TCGv_i64 ret, TCGv_i64 arg1,
1313951c6300SRichard Henderson                                       unsigned c, bool right, bool arith)
1314951c6300SRichard Henderson {
1315951c6300SRichard Henderson     tcg_debug_assert(c < 64);
1316951c6300SRichard Henderson     if (c == 0) {
1317951c6300SRichard Henderson         tcg_gen_mov_i32(TCGV_LOW(ret), TCGV_LOW(arg1));
1318951c6300SRichard Henderson         tcg_gen_mov_i32(TCGV_HIGH(ret), TCGV_HIGH(arg1));
1319951c6300SRichard Henderson     } else if (c >= 32) {
1320951c6300SRichard Henderson         c -= 32;
1321951c6300SRichard Henderson         if (right) {
1322951c6300SRichard Henderson             if (arith) {
1323951c6300SRichard Henderson                 tcg_gen_sari_i32(TCGV_LOW(ret), TCGV_HIGH(arg1), c);
1324951c6300SRichard Henderson                 tcg_gen_sari_i32(TCGV_HIGH(ret), TCGV_HIGH(arg1), 31);
1325951c6300SRichard Henderson             } else {
1326951c6300SRichard Henderson                 tcg_gen_shri_i32(TCGV_LOW(ret), TCGV_HIGH(arg1), c);
1327951c6300SRichard Henderson                 tcg_gen_movi_i32(TCGV_HIGH(ret), 0);
1328951c6300SRichard Henderson             }
1329951c6300SRichard Henderson         } else {
1330951c6300SRichard Henderson             tcg_gen_shli_i32(TCGV_HIGH(ret), TCGV_LOW(arg1), c);
1331951c6300SRichard Henderson             tcg_gen_movi_i32(TCGV_LOW(ret), 0);
1332951c6300SRichard Henderson         }
1333951c6300SRichard Henderson     } else {
1334951c6300SRichard Henderson         TCGv_i32 t0, t1;
1335951c6300SRichard Henderson 
1336951c6300SRichard Henderson         t0 = tcg_temp_new_i32();
1337951c6300SRichard Henderson         t1 = tcg_temp_new_i32();
1338951c6300SRichard Henderson         if (right) {
1339951c6300SRichard Henderson             tcg_gen_shli_i32(t0, TCGV_HIGH(arg1), 32 - c);
1340951c6300SRichard Henderson             if (arith) {
1341951c6300SRichard Henderson                 tcg_gen_sari_i32(t1, TCGV_HIGH(arg1), c);
1342951c6300SRichard Henderson             } else {
1343951c6300SRichard Henderson                 tcg_gen_shri_i32(t1, TCGV_HIGH(arg1), c);
1344951c6300SRichard Henderson             }
1345951c6300SRichard Henderson             tcg_gen_shri_i32(TCGV_LOW(ret), TCGV_LOW(arg1), c);
1346951c6300SRichard Henderson             tcg_gen_or_i32(TCGV_LOW(ret), TCGV_LOW(ret), t0);
1347951c6300SRichard Henderson             tcg_gen_mov_i32(TCGV_HIGH(ret), t1);
1348951c6300SRichard Henderson         } else {
1349951c6300SRichard Henderson             tcg_gen_shri_i32(t0, TCGV_LOW(arg1), 32 - c);
1350951c6300SRichard Henderson             /* Note: ret can be the same as arg1, so we use t1 */
1351951c6300SRichard Henderson             tcg_gen_shli_i32(t1, TCGV_LOW(arg1), c);
1352951c6300SRichard Henderson             tcg_gen_shli_i32(TCGV_HIGH(ret), TCGV_HIGH(arg1), c);
1353951c6300SRichard Henderson             tcg_gen_or_i32(TCGV_HIGH(ret), TCGV_HIGH(ret), t0);
1354951c6300SRichard Henderson             tcg_gen_mov_i32(TCGV_LOW(ret), t1);
1355951c6300SRichard Henderson         }
1356951c6300SRichard Henderson         tcg_temp_free_i32(t0);
1357951c6300SRichard Henderson         tcg_temp_free_i32(t1);
1358951c6300SRichard Henderson     }
1359951c6300SRichard Henderson }
1360951c6300SRichard Henderson 
1361474b2e8fSRichard Henderson void tcg_gen_shli_i64(TCGv_i64 ret, TCGv_i64 arg1, int64_t arg2)
1362951c6300SRichard Henderson {
1363474b2e8fSRichard Henderson     tcg_debug_assert(arg2 >= 0 && arg2 < 64);
13643a13c3f3SRichard Henderson     if (TCG_TARGET_REG_BITS == 32) {
13653a13c3f3SRichard Henderson         tcg_gen_shifti_i64(ret, arg1, arg2, 0, 0);
13663a13c3f3SRichard Henderson     } else if (arg2 == 0) {
1367951c6300SRichard Henderson         tcg_gen_mov_i64(ret, arg1);
1368951c6300SRichard Henderson     } else {
1369951c6300SRichard Henderson         TCGv_i64 t0 = tcg_const_i64(arg2);
1370951c6300SRichard Henderson         tcg_gen_shl_i64(ret, arg1, t0);
1371951c6300SRichard Henderson         tcg_temp_free_i64(t0);
1372951c6300SRichard Henderson     }
1373951c6300SRichard Henderson }
1374951c6300SRichard Henderson 
1375474b2e8fSRichard Henderson void tcg_gen_shri_i64(TCGv_i64 ret, TCGv_i64 arg1, int64_t arg2)
1376951c6300SRichard Henderson {
1377474b2e8fSRichard Henderson     tcg_debug_assert(arg2 >= 0 && arg2 < 64);
13783a13c3f3SRichard Henderson     if (TCG_TARGET_REG_BITS == 32) {
13793a13c3f3SRichard Henderson         tcg_gen_shifti_i64(ret, arg1, arg2, 1, 0);
13803a13c3f3SRichard Henderson     } else if (arg2 == 0) {
1381951c6300SRichard Henderson         tcg_gen_mov_i64(ret, arg1);
1382951c6300SRichard Henderson     } else {
1383951c6300SRichard Henderson         TCGv_i64 t0 = tcg_const_i64(arg2);
1384951c6300SRichard Henderson         tcg_gen_shr_i64(ret, arg1, t0);
1385951c6300SRichard Henderson         tcg_temp_free_i64(t0);
1386951c6300SRichard Henderson     }
1387951c6300SRichard Henderson }
1388951c6300SRichard Henderson 
1389474b2e8fSRichard Henderson void tcg_gen_sari_i64(TCGv_i64 ret, TCGv_i64 arg1, int64_t arg2)
1390951c6300SRichard Henderson {
1391474b2e8fSRichard Henderson     tcg_debug_assert(arg2 >= 0 && arg2 < 64);
13923a13c3f3SRichard Henderson     if (TCG_TARGET_REG_BITS == 32) {
13933a13c3f3SRichard Henderson         tcg_gen_shifti_i64(ret, arg1, arg2, 1, 1);
13943a13c3f3SRichard Henderson     } else if (arg2 == 0) {
1395951c6300SRichard Henderson         tcg_gen_mov_i64(ret, arg1);
1396951c6300SRichard Henderson     } else {
1397951c6300SRichard Henderson         TCGv_i64 t0 = tcg_const_i64(arg2);
1398951c6300SRichard Henderson         tcg_gen_sar_i64(ret, arg1, t0);
1399951c6300SRichard Henderson         tcg_temp_free_i64(t0);
1400951c6300SRichard Henderson     }
1401951c6300SRichard Henderson }
1402951c6300SRichard Henderson 
140342a268c2SRichard Henderson void tcg_gen_brcond_i64(TCGCond cond, TCGv_i64 arg1, TCGv_i64 arg2, TCGLabel *l)
1404951c6300SRichard Henderson {
1405951c6300SRichard Henderson     if (cond == TCG_COND_ALWAYS) {
140642a268c2SRichard Henderson         tcg_gen_br(l);
1407951c6300SRichard Henderson     } else if (cond != TCG_COND_NEVER) {
14083a13c3f3SRichard Henderson         if (TCG_TARGET_REG_BITS == 32) {
1409951c6300SRichard Henderson             tcg_gen_op6ii_i32(INDEX_op_brcond2_i32, TCGV_LOW(arg1),
1410951c6300SRichard Henderson                               TCGV_HIGH(arg1), TCGV_LOW(arg2),
141142a268c2SRichard Henderson                               TCGV_HIGH(arg2), cond, label_arg(l));
14123a13c3f3SRichard Henderson         } else {
141342a268c2SRichard Henderson             tcg_gen_op4ii_i64(INDEX_op_brcond_i64, arg1, arg2, cond,
141442a268c2SRichard Henderson                               label_arg(l));
14153a13c3f3SRichard Henderson         }
1416951c6300SRichard Henderson     }
1417951c6300SRichard Henderson }
1418951c6300SRichard Henderson 
141942a268c2SRichard Henderson void tcg_gen_brcondi_i64(TCGCond cond, TCGv_i64 arg1, int64_t arg2, TCGLabel *l)
1420951c6300SRichard Henderson {
1421951c6300SRichard Henderson     if (cond == TCG_COND_ALWAYS) {
142242a268c2SRichard Henderson         tcg_gen_br(l);
1423951c6300SRichard Henderson     } else if (cond != TCG_COND_NEVER) {
1424951c6300SRichard Henderson         TCGv_i64 t0 = tcg_const_i64(arg2);
142542a268c2SRichard Henderson         tcg_gen_brcond_i64(cond, arg1, t0, l);
1426951c6300SRichard Henderson         tcg_temp_free_i64(t0);
1427951c6300SRichard Henderson     }
1428951c6300SRichard Henderson }
1429951c6300SRichard Henderson 
1430951c6300SRichard Henderson void tcg_gen_setcond_i64(TCGCond cond, TCGv_i64 ret,
1431951c6300SRichard Henderson                          TCGv_i64 arg1, TCGv_i64 arg2)
1432951c6300SRichard Henderson {
1433951c6300SRichard Henderson     if (cond == TCG_COND_ALWAYS) {
1434951c6300SRichard Henderson         tcg_gen_movi_i64(ret, 1);
1435951c6300SRichard Henderson     } else if (cond == TCG_COND_NEVER) {
1436951c6300SRichard Henderson         tcg_gen_movi_i64(ret, 0);
1437951c6300SRichard Henderson     } else {
14383a13c3f3SRichard Henderson         if (TCG_TARGET_REG_BITS == 32) {
1439951c6300SRichard Henderson             tcg_gen_op6i_i32(INDEX_op_setcond2_i32, TCGV_LOW(ret),
1440951c6300SRichard Henderson                              TCGV_LOW(arg1), TCGV_HIGH(arg1),
1441951c6300SRichard Henderson                              TCGV_LOW(arg2), TCGV_HIGH(arg2), cond);
1442951c6300SRichard Henderson             tcg_gen_movi_i32(TCGV_HIGH(ret), 0);
14433a13c3f3SRichard Henderson         } else {
1444951c6300SRichard Henderson             tcg_gen_op4i_i64(INDEX_op_setcond_i64, ret, arg1, arg2, cond);
14453a13c3f3SRichard Henderson         }
1446951c6300SRichard Henderson     }
1447951c6300SRichard Henderson }
1448951c6300SRichard Henderson 
1449951c6300SRichard Henderson void tcg_gen_setcondi_i64(TCGCond cond, TCGv_i64 ret,
1450951c6300SRichard Henderson                           TCGv_i64 arg1, int64_t arg2)
1451951c6300SRichard Henderson {
1452951c6300SRichard Henderson     TCGv_i64 t0 = tcg_const_i64(arg2);
1453951c6300SRichard Henderson     tcg_gen_setcond_i64(cond, ret, arg1, t0);
1454951c6300SRichard Henderson     tcg_temp_free_i64(t0);
1455951c6300SRichard Henderson }
1456951c6300SRichard Henderson 
1457951c6300SRichard Henderson void tcg_gen_muli_i64(TCGv_i64 ret, TCGv_i64 arg1, int64_t arg2)
1458951c6300SRichard Henderson {
1459b2e3ae94SRichard Henderson     if (arg2 == 0) {
1460b2e3ae94SRichard Henderson         tcg_gen_movi_i64(ret, 0);
1461b2e3ae94SRichard Henderson     } else if (is_power_of_2(arg2)) {
1462b2e3ae94SRichard Henderson         tcg_gen_shli_i64(ret, arg1, ctz64(arg2));
1463b2e3ae94SRichard Henderson     } else {
1464951c6300SRichard Henderson         TCGv_i64 t0 = tcg_const_i64(arg2);
1465951c6300SRichard Henderson         tcg_gen_mul_i64(ret, arg1, t0);
1466951c6300SRichard Henderson         tcg_temp_free_i64(t0);
1467951c6300SRichard Henderson     }
1468b2e3ae94SRichard Henderson }
1469951c6300SRichard Henderson 
1470951c6300SRichard Henderson void tcg_gen_div_i64(TCGv_i64 ret, TCGv_i64 arg1, TCGv_i64 arg2)
1471951c6300SRichard Henderson {
1472951c6300SRichard Henderson     if (TCG_TARGET_HAS_div_i64) {
1473951c6300SRichard Henderson         tcg_gen_op3_i64(INDEX_op_div_i64, ret, arg1, arg2);
1474951c6300SRichard Henderson     } else if (TCG_TARGET_HAS_div2_i64) {
1475951c6300SRichard Henderson         TCGv_i64 t0 = tcg_temp_new_i64();
1476951c6300SRichard Henderson         tcg_gen_sari_i64(t0, arg1, 63);
1477951c6300SRichard Henderson         tcg_gen_op5_i64(INDEX_op_div2_i64, ret, t0, arg1, t0, arg2);
1478951c6300SRichard Henderson         tcg_temp_free_i64(t0);
1479951c6300SRichard Henderson     } else {
1480951c6300SRichard Henderson         gen_helper_div_i64(ret, arg1, arg2);
1481951c6300SRichard Henderson     }
1482951c6300SRichard Henderson }
1483951c6300SRichard Henderson 
1484951c6300SRichard Henderson void tcg_gen_rem_i64(TCGv_i64 ret, TCGv_i64 arg1, TCGv_i64 arg2)
1485951c6300SRichard Henderson {
1486951c6300SRichard Henderson     if (TCG_TARGET_HAS_rem_i64) {
1487951c6300SRichard Henderson         tcg_gen_op3_i64(INDEX_op_rem_i64, ret, arg1, arg2);
1488951c6300SRichard Henderson     } else if (TCG_TARGET_HAS_div_i64) {
1489951c6300SRichard Henderson         TCGv_i64 t0 = tcg_temp_new_i64();
1490951c6300SRichard Henderson         tcg_gen_op3_i64(INDEX_op_div_i64, t0, arg1, arg2);
1491951c6300SRichard Henderson         tcg_gen_mul_i64(t0, t0, arg2);
1492951c6300SRichard Henderson         tcg_gen_sub_i64(ret, arg1, t0);
1493951c6300SRichard Henderson         tcg_temp_free_i64(t0);
1494951c6300SRichard Henderson     } else if (TCG_TARGET_HAS_div2_i64) {
1495951c6300SRichard Henderson         TCGv_i64 t0 = tcg_temp_new_i64();
1496951c6300SRichard Henderson         tcg_gen_sari_i64(t0, arg1, 63);
1497951c6300SRichard Henderson         tcg_gen_op5_i64(INDEX_op_div2_i64, t0, ret, arg1, t0, arg2);
1498951c6300SRichard Henderson         tcg_temp_free_i64(t0);
1499951c6300SRichard Henderson     } else {
1500951c6300SRichard Henderson         gen_helper_rem_i64(ret, arg1, arg2);
1501951c6300SRichard Henderson     }
1502951c6300SRichard Henderson }
1503951c6300SRichard Henderson 
1504951c6300SRichard Henderson void tcg_gen_divu_i64(TCGv_i64 ret, TCGv_i64 arg1, TCGv_i64 arg2)
1505951c6300SRichard Henderson {
1506951c6300SRichard Henderson     if (TCG_TARGET_HAS_div_i64) {
1507951c6300SRichard Henderson         tcg_gen_op3_i64(INDEX_op_divu_i64, ret, arg1, arg2);
1508951c6300SRichard Henderson     } else if (TCG_TARGET_HAS_div2_i64) {
1509951c6300SRichard Henderson         TCGv_i64 t0 = tcg_temp_new_i64();
1510951c6300SRichard Henderson         tcg_gen_movi_i64(t0, 0);
1511951c6300SRichard Henderson         tcg_gen_op5_i64(INDEX_op_divu2_i64, ret, t0, arg1, t0, arg2);
1512951c6300SRichard Henderson         tcg_temp_free_i64(t0);
1513951c6300SRichard Henderson     } else {
1514951c6300SRichard Henderson         gen_helper_divu_i64(ret, arg1, arg2);
1515951c6300SRichard Henderson     }
1516951c6300SRichard Henderson }
1517951c6300SRichard Henderson 
1518951c6300SRichard Henderson void tcg_gen_remu_i64(TCGv_i64 ret, TCGv_i64 arg1, TCGv_i64 arg2)
1519951c6300SRichard Henderson {
1520951c6300SRichard Henderson     if (TCG_TARGET_HAS_rem_i64) {
1521951c6300SRichard Henderson         tcg_gen_op3_i64(INDEX_op_remu_i64, ret, arg1, arg2);
1522951c6300SRichard Henderson     } else if (TCG_TARGET_HAS_div_i64) {
1523951c6300SRichard Henderson         TCGv_i64 t0 = tcg_temp_new_i64();
1524951c6300SRichard Henderson         tcg_gen_op3_i64(INDEX_op_divu_i64, t0, arg1, arg2);
1525951c6300SRichard Henderson         tcg_gen_mul_i64(t0, t0, arg2);
1526951c6300SRichard Henderson         tcg_gen_sub_i64(ret, arg1, t0);
1527951c6300SRichard Henderson         tcg_temp_free_i64(t0);
1528951c6300SRichard Henderson     } else if (TCG_TARGET_HAS_div2_i64) {
1529951c6300SRichard Henderson         TCGv_i64 t0 = tcg_temp_new_i64();
1530951c6300SRichard Henderson         tcg_gen_movi_i64(t0, 0);
1531951c6300SRichard Henderson         tcg_gen_op5_i64(INDEX_op_divu2_i64, t0, ret, arg1, t0, arg2);
1532951c6300SRichard Henderson         tcg_temp_free_i64(t0);
1533951c6300SRichard Henderson     } else {
1534951c6300SRichard Henderson         gen_helper_remu_i64(ret, arg1, arg2);
1535951c6300SRichard Henderson     }
1536951c6300SRichard Henderson }
1537951c6300SRichard Henderson 
1538951c6300SRichard Henderson void tcg_gen_ext8s_i64(TCGv_i64 ret, TCGv_i64 arg)
1539951c6300SRichard Henderson {
15403a13c3f3SRichard Henderson     if (TCG_TARGET_REG_BITS == 32) {
1541951c6300SRichard Henderson         tcg_gen_ext8s_i32(TCGV_LOW(ret), TCGV_LOW(arg));
1542951c6300SRichard Henderson         tcg_gen_sari_i32(TCGV_HIGH(ret), TCGV_LOW(ret), 31);
15433a13c3f3SRichard Henderson     } else if (TCG_TARGET_HAS_ext8s_i64) {
1544951c6300SRichard Henderson         tcg_gen_op2_i64(INDEX_op_ext8s_i64, ret, arg);
1545951c6300SRichard Henderson     } else {
1546951c6300SRichard Henderson         tcg_gen_shli_i64(ret, arg, 56);
1547951c6300SRichard Henderson         tcg_gen_sari_i64(ret, ret, 56);
1548951c6300SRichard Henderson     }
1549951c6300SRichard Henderson }
1550951c6300SRichard Henderson 
1551951c6300SRichard Henderson void tcg_gen_ext16s_i64(TCGv_i64 ret, TCGv_i64 arg)
1552951c6300SRichard Henderson {
15533a13c3f3SRichard Henderson     if (TCG_TARGET_REG_BITS == 32) {
1554951c6300SRichard Henderson         tcg_gen_ext16s_i32(TCGV_LOW(ret), TCGV_LOW(arg));
1555951c6300SRichard Henderson         tcg_gen_sari_i32(TCGV_HIGH(ret), TCGV_LOW(ret), 31);
15563a13c3f3SRichard Henderson     } else if (TCG_TARGET_HAS_ext16s_i64) {
1557951c6300SRichard Henderson         tcg_gen_op2_i64(INDEX_op_ext16s_i64, ret, arg);
1558951c6300SRichard Henderson     } else {
1559951c6300SRichard Henderson         tcg_gen_shli_i64(ret, arg, 48);
1560951c6300SRichard Henderson         tcg_gen_sari_i64(ret, ret, 48);
1561951c6300SRichard Henderson     }
1562951c6300SRichard Henderson }
1563951c6300SRichard Henderson 
1564951c6300SRichard Henderson void tcg_gen_ext32s_i64(TCGv_i64 ret, TCGv_i64 arg)
1565951c6300SRichard Henderson {
15663a13c3f3SRichard Henderson     if (TCG_TARGET_REG_BITS == 32) {
1567951c6300SRichard Henderson         tcg_gen_mov_i32(TCGV_LOW(ret), TCGV_LOW(arg));
1568951c6300SRichard Henderson         tcg_gen_sari_i32(TCGV_HIGH(ret), TCGV_LOW(ret), 31);
15693a13c3f3SRichard Henderson     } else if (TCG_TARGET_HAS_ext32s_i64) {
1570951c6300SRichard Henderson         tcg_gen_op2_i64(INDEX_op_ext32s_i64, ret, arg);
1571951c6300SRichard Henderson     } else {
1572951c6300SRichard Henderson         tcg_gen_shli_i64(ret, arg, 32);
1573951c6300SRichard Henderson         tcg_gen_sari_i64(ret, ret, 32);
1574951c6300SRichard Henderson     }
1575951c6300SRichard Henderson }
1576951c6300SRichard Henderson 
1577951c6300SRichard Henderson void tcg_gen_ext8u_i64(TCGv_i64 ret, TCGv_i64 arg)
1578951c6300SRichard Henderson {
15793a13c3f3SRichard Henderson     if (TCG_TARGET_REG_BITS == 32) {
1580951c6300SRichard Henderson         tcg_gen_ext8u_i32(TCGV_LOW(ret), TCGV_LOW(arg));
1581951c6300SRichard Henderson         tcg_gen_movi_i32(TCGV_HIGH(ret), 0);
15823a13c3f3SRichard Henderson     } else if (TCG_TARGET_HAS_ext8u_i64) {
1583951c6300SRichard Henderson         tcg_gen_op2_i64(INDEX_op_ext8u_i64, ret, arg);
1584951c6300SRichard Henderson     } else {
1585951c6300SRichard Henderson         tcg_gen_andi_i64(ret, arg, 0xffu);
1586951c6300SRichard Henderson     }
1587951c6300SRichard Henderson }
1588951c6300SRichard Henderson 
1589951c6300SRichard Henderson void tcg_gen_ext16u_i64(TCGv_i64 ret, TCGv_i64 arg)
1590951c6300SRichard Henderson {
15913a13c3f3SRichard Henderson     if (TCG_TARGET_REG_BITS == 32) {
1592951c6300SRichard Henderson         tcg_gen_ext16u_i32(TCGV_LOW(ret), TCGV_LOW(arg));
1593951c6300SRichard Henderson         tcg_gen_movi_i32(TCGV_HIGH(ret), 0);
15943a13c3f3SRichard Henderson     } else if (TCG_TARGET_HAS_ext16u_i64) {
1595951c6300SRichard Henderson         tcg_gen_op2_i64(INDEX_op_ext16u_i64, ret, arg);
1596951c6300SRichard Henderson     } else {
1597951c6300SRichard Henderson         tcg_gen_andi_i64(ret, arg, 0xffffu);
1598951c6300SRichard Henderson     }
1599951c6300SRichard Henderson }
1600951c6300SRichard Henderson 
1601951c6300SRichard Henderson void tcg_gen_ext32u_i64(TCGv_i64 ret, TCGv_i64 arg)
1602951c6300SRichard Henderson {
16033a13c3f3SRichard Henderson     if (TCG_TARGET_REG_BITS == 32) {
1604951c6300SRichard Henderson         tcg_gen_mov_i32(TCGV_LOW(ret), TCGV_LOW(arg));
1605951c6300SRichard Henderson         tcg_gen_movi_i32(TCGV_HIGH(ret), 0);
16063a13c3f3SRichard Henderson     } else if (TCG_TARGET_HAS_ext32u_i64) {
1607951c6300SRichard Henderson         tcg_gen_op2_i64(INDEX_op_ext32u_i64, ret, arg);
1608951c6300SRichard Henderson     } else {
1609951c6300SRichard Henderson         tcg_gen_andi_i64(ret, arg, 0xffffffffu);
1610951c6300SRichard Henderson     }
1611951c6300SRichard Henderson }
1612951c6300SRichard Henderson 
1613951c6300SRichard Henderson /* Note: we assume the six high bytes are set to zero */
1614951c6300SRichard Henderson void tcg_gen_bswap16_i64(TCGv_i64 ret, TCGv_i64 arg)
1615951c6300SRichard Henderson {
16163a13c3f3SRichard Henderson     if (TCG_TARGET_REG_BITS == 32) {
1617951c6300SRichard Henderson         tcg_gen_bswap16_i32(TCGV_LOW(ret), TCGV_LOW(arg));
1618951c6300SRichard Henderson         tcg_gen_movi_i32(TCGV_HIGH(ret), 0);
16193a13c3f3SRichard Henderson     } else if (TCG_TARGET_HAS_bswap16_i64) {
1620951c6300SRichard Henderson         tcg_gen_op2_i64(INDEX_op_bswap16_i64, ret, arg);
1621951c6300SRichard Henderson     } else {
1622951c6300SRichard Henderson         TCGv_i64 t0 = tcg_temp_new_i64();
1623951c6300SRichard Henderson 
1624951c6300SRichard Henderson         tcg_gen_ext8u_i64(t0, arg);
1625951c6300SRichard Henderson         tcg_gen_shli_i64(t0, t0, 8);
1626951c6300SRichard Henderson         tcg_gen_shri_i64(ret, arg, 8);
1627951c6300SRichard Henderson         tcg_gen_or_i64(ret, ret, t0);
1628951c6300SRichard Henderson         tcg_temp_free_i64(t0);
1629951c6300SRichard Henderson     }
1630951c6300SRichard Henderson }
1631951c6300SRichard Henderson 
1632951c6300SRichard Henderson /* Note: we assume the four high bytes are set to zero */
1633951c6300SRichard Henderson void tcg_gen_bswap32_i64(TCGv_i64 ret, TCGv_i64 arg)
1634951c6300SRichard Henderson {
16353a13c3f3SRichard Henderson     if (TCG_TARGET_REG_BITS == 32) {
1636951c6300SRichard Henderson         tcg_gen_bswap32_i32(TCGV_LOW(ret), TCGV_LOW(arg));
1637951c6300SRichard Henderson         tcg_gen_movi_i32(TCGV_HIGH(ret), 0);
16383a13c3f3SRichard Henderson     } else if (TCG_TARGET_HAS_bswap32_i64) {
1639951c6300SRichard Henderson         tcg_gen_op2_i64(INDEX_op_bswap32_i64, ret, arg);
1640951c6300SRichard Henderson     } else {
1641951c6300SRichard Henderson         TCGv_i64 t0, t1;
1642951c6300SRichard Henderson         t0 = tcg_temp_new_i64();
1643951c6300SRichard Henderson         t1 = tcg_temp_new_i64();
1644951c6300SRichard Henderson 
1645951c6300SRichard Henderson         tcg_gen_shli_i64(t0, arg, 24);
1646951c6300SRichard Henderson         tcg_gen_ext32u_i64(t0, t0);
1647951c6300SRichard Henderson 
1648951c6300SRichard Henderson         tcg_gen_andi_i64(t1, arg, 0x0000ff00);
1649951c6300SRichard Henderson         tcg_gen_shli_i64(t1, t1, 8);
1650951c6300SRichard Henderson         tcg_gen_or_i64(t0, t0, t1);
1651951c6300SRichard Henderson 
1652951c6300SRichard Henderson         tcg_gen_shri_i64(t1, arg, 8);
1653951c6300SRichard Henderson         tcg_gen_andi_i64(t1, t1, 0x0000ff00);
1654951c6300SRichard Henderson         tcg_gen_or_i64(t0, t0, t1);
1655951c6300SRichard Henderson 
1656951c6300SRichard Henderson         tcg_gen_shri_i64(t1, arg, 24);
1657951c6300SRichard Henderson         tcg_gen_or_i64(ret, t0, t1);
1658951c6300SRichard Henderson         tcg_temp_free_i64(t0);
1659951c6300SRichard Henderson         tcg_temp_free_i64(t1);
1660951c6300SRichard Henderson     }
1661951c6300SRichard Henderson }
1662951c6300SRichard Henderson 
1663951c6300SRichard Henderson void tcg_gen_bswap64_i64(TCGv_i64 ret, TCGv_i64 arg)
1664951c6300SRichard Henderson {
16653a13c3f3SRichard Henderson     if (TCG_TARGET_REG_BITS == 32) {
1666951c6300SRichard Henderson         TCGv_i32 t0, t1;
1667951c6300SRichard Henderson         t0 = tcg_temp_new_i32();
1668951c6300SRichard Henderson         t1 = tcg_temp_new_i32();
1669951c6300SRichard Henderson 
1670951c6300SRichard Henderson         tcg_gen_bswap32_i32(t0, TCGV_LOW(arg));
1671951c6300SRichard Henderson         tcg_gen_bswap32_i32(t1, TCGV_HIGH(arg));
1672951c6300SRichard Henderson         tcg_gen_mov_i32(TCGV_LOW(ret), t1);
1673951c6300SRichard Henderson         tcg_gen_mov_i32(TCGV_HIGH(ret), t0);
1674951c6300SRichard Henderson         tcg_temp_free_i32(t0);
1675951c6300SRichard Henderson         tcg_temp_free_i32(t1);
16763a13c3f3SRichard Henderson     } else if (TCG_TARGET_HAS_bswap64_i64) {
1677951c6300SRichard Henderson         tcg_gen_op2_i64(INDEX_op_bswap64_i64, ret, arg);
1678951c6300SRichard Henderson     } else {
1679951c6300SRichard Henderson         TCGv_i64 t0 = tcg_temp_new_i64();
1680951c6300SRichard Henderson         TCGv_i64 t1 = tcg_temp_new_i64();
1681951c6300SRichard Henderson 
1682951c6300SRichard Henderson         tcg_gen_shli_i64(t0, arg, 56);
1683951c6300SRichard Henderson 
1684951c6300SRichard Henderson         tcg_gen_andi_i64(t1, arg, 0x0000ff00);
1685951c6300SRichard Henderson         tcg_gen_shli_i64(t1, t1, 40);
1686951c6300SRichard Henderson         tcg_gen_or_i64(t0, t0, t1);
1687951c6300SRichard Henderson 
1688951c6300SRichard Henderson         tcg_gen_andi_i64(t1, arg, 0x00ff0000);
1689951c6300SRichard Henderson         tcg_gen_shli_i64(t1, t1, 24);
1690951c6300SRichard Henderson         tcg_gen_or_i64(t0, t0, t1);
1691951c6300SRichard Henderson 
1692951c6300SRichard Henderson         tcg_gen_andi_i64(t1, arg, 0xff000000);
1693951c6300SRichard Henderson         tcg_gen_shli_i64(t1, t1, 8);
1694951c6300SRichard Henderson         tcg_gen_or_i64(t0, t0, t1);
1695951c6300SRichard Henderson 
1696951c6300SRichard Henderson         tcg_gen_shri_i64(t1, arg, 8);
1697951c6300SRichard Henderson         tcg_gen_andi_i64(t1, t1, 0xff000000);
1698951c6300SRichard Henderson         tcg_gen_or_i64(t0, t0, t1);
1699951c6300SRichard Henderson 
1700951c6300SRichard Henderson         tcg_gen_shri_i64(t1, arg, 24);
1701951c6300SRichard Henderson         tcg_gen_andi_i64(t1, t1, 0x00ff0000);
1702951c6300SRichard Henderson         tcg_gen_or_i64(t0, t0, t1);
1703951c6300SRichard Henderson 
1704951c6300SRichard Henderson         tcg_gen_shri_i64(t1, arg, 40);
1705951c6300SRichard Henderson         tcg_gen_andi_i64(t1, t1, 0x0000ff00);
1706951c6300SRichard Henderson         tcg_gen_or_i64(t0, t0, t1);
1707951c6300SRichard Henderson 
1708951c6300SRichard Henderson         tcg_gen_shri_i64(t1, arg, 56);
1709951c6300SRichard Henderson         tcg_gen_or_i64(ret, t0, t1);
1710951c6300SRichard Henderson         tcg_temp_free_i64(t0);
1711951c6300SRichard Henderson         tcg_temp_free_i64(t1);
1712951c6300SRichard Henderson     }
1713951c6300SRichard Henderson }
1714951c6300SRichard Henderson 
1715951c6300SRichard Henderson void tcg_gen_not_i64(TCGv_i64 ret, TCGv_i64 arg)
1716951c6300SRichard Henderson {
17173a13c3f3SRichard Henderson     if (TCG_TARGET_REG_BITS == 32) {
17183a13c3f3SRichard Henderson         tcg_gen_not_i32(TCGV_LOW(ret), TCGV_LOW(arg));
17193a13c3f3SRichard Henderson         tcg_gen_not_i32(TCGV_HIGH(ret), TCGV_HIGH(arg));
17203a13c3f3SRichard Henderson     } else if (TCG_TARGET_HAS_not_i64) {
1721951c6300SRichard Henderson         tcg_gen_op2_i64(INDEX_op_not_i64, ret, arg);
1722951c6300SRichard Henderson     } else {
1723951c6300SRichard Henderson         tcg_gen_xori_i64(ret, arg, -1);
1724951c6300SRichard Henderson     }
1725951c6300SRichard Henderson }
1726951c6300SRichard Henderson 
1727951c6300SRichard Henderson void tcg_gen_andc_i64(TCGv_i64 ret, TCGv_i64 arg1, TCGv_i64 arg2)
1728951c6300SRichard Henderson {
17293a13c3f3SRichard Henderson     if (TCG_TARGET_REG_BITS == 32) {
17303a13c3f3SRichard Henderson         tcg_gen_andc_i32(TCGV_LOW(ret), TCGV_LOW(arg1), TCGV_LOW(arg2));
17313a13c3f3SRichard Henderson         tcg_gen_andc_i32(TCGV_HIGH(ret), TCGV_HIGH(arg1), TCGV_HIGH(arg2));
17323a13c3f3SRichard Henderson     } else if (TCG_TARGET_HAS_andc_i64) {
1733951c6300SRichard Henderson         tcg_gen_op3_i64(INDEX_op_andc_i64, ret, arg1, arg2);
1734951c6300SRichard Henderson     } else {
1735951c6300SRichard Henderson         TCGv_i64 t0 = tcg_temp_new_i64();
1736951c6300SRichard Henderson         tcg_gen_not_i64(t0, arg2);
1737951c6300SRichard Henderson         tcg_gen_and_i64(ret, arg1, t0);
1738951c6300SRichard Henderson         tcg_temp_free_i64(t0);
1739951c6300SRichard Henderson     }
1740951c6300SRichard Henderson }
1741951c6300SRichard Henderson 
1742951c6300SRichard Henderson void tcg_gen_eqv_i64(TCGv_i64 ret, TCGv_i64 arg1, TCGv_i64 arg2)
1743951c6300SRichard Henderson {
17443a13c3f3SRichard Henderson     if (TCG_TARGET_REG_BITS == 32) {
17453a13c3f3SRichard Henderson         tcg_gen_eqv_i32(TCGV_LOW(ret), TCGV_LOW(arg1), TCGV_LOW(arg2));
17463a13c3f3SRichard Henderson         tcg_gen_eqv_i32(TCGV_HIGH(ret), TCGV_HIGH(arg1), TCGV_HIGH(arg2));
17473a13c3f3SRichard Henderson     } else if (TCG_TARGET_HAS_eqv_i64) {
1748951c6300SRichard Henderson         tcg_gen_op3_i64(INDEX_op_eqv_i64, ret, arg1, arg2);
1749951c6300SRichard Henderson     } else {
1750951c6300SRichard Henderson         tcg_gen_xor_i64(ret, arg1, arg2);
1751951c6300SRichard Henderson         tcg_gen_not_i64(ret, ret);
1752951c6300SRichard Henderson     }
1753951c6300SRichard Henderson }
1754951c6300SRichard Henderson 
1755951c6300SRichard Henderson void tcg_gen_nand_i64(TCGv_i64 ret, TCGv_i64 arg1, TCGv_i64 arg2)
1756951c6300SRichard Henderson {
17573a13c3f3SRichard Henderson     if (TCG_TARGET_REG_BITS == 32) {
17583a13c3f3SRichard Henderson         tcg_gen_nand_i32(TCGV_LOW(ret), TCGV_LOW(arg1), TCGV_LOW(arg2));
17593a13c3f3SRichard Henderson         tcg_gen_nand_i32(TCGV_HIGH(ret), TCGV_HIGH(arg1), TCGV_HIGH(arg2));
17603a13c3f3SRichard Henderson     } else if (TCG_TARGET_HAS_nand_i64) {
1761951c6300SRichard Henderson         tcg_gen_op3_i64(INDEX_op_nand_i64, ret, arg1, arg2);
1762951c6300SRichard Henderson     } else {
1763951c6300SRichard Henderson         tcg_gen_and_i64(ret, arg1, arg2);
1764951c6300SRichard Henderson         tcg_gen_not_i64(ret, ret);
1765951c6300SRichard Henderson     }
1766951c6300SRichard Henderson }
1767951c6300SRichard Henderson 
1768951c6300SRichard Henderson void tcg_gen_nor_i64(TCGv_i64 ret, TCGv_i64 arg1, TCGv_i64 arg2)
1769951c6300SRichard Henderson {
17703a13c3f3SRichard Henderson     if (TCG_TARGET_REG_BITS == 32) {
17713a13c3f3SRichard Henderson         tcg_gen_nor_i32(TCGV_LOW(ret), TCGV_LOW(arg1), TCGV_LOW(arg2));
17723a13c3f3SRichard Henderson         tcg_gen_nor_i32(TCGV_HIGH(ret), TCGV_HIGH(arg1), TCGV_HIGH(arg2));
17733a13c3f3SRichard Henderson     } else if (TCG_TARGET_HAS_nor_i64) {
1774951c6300SRichard Henderson         tcg_gen_op3_i64(INDEX_op_nor_i64, ret, arg1, arg2);
1775951c6300SRichard Henderson     } else {
1776951c6300SRichard Henderson         tcg_gen_or_i64(ret, arg1, arg2);
1777951c6300SRichard Henderson         tcg_gen_not_i64(ret, ret);
1778951c6300SRichard Henderson     }
1779951c6300SRichard Henderson }
1780951c6300SRichard Henderson 
1781951c6300SRichard Henderson void tcg_gen_orc_i64(TCGv_i64 ret, TCGv_i64 arg1, TCGv_i64 arg2)
1782951c6300SRichard Henderson {
17833a13c3f3SRichard Henderson     if (TCG_TARGET_REG_BITS == 32) {
17843a13c3f3SRichard Henderson         tcg_gen_orc_i32(TCGV_LOW(ret), TCGV_LOW(arg1), TCGV_LOW(arg2));
17853a13c3f3SRichard Henderson         tcg_gen_orc_i32(TCGV_HIGH(ret), TCGV_HIGH(arg1), TCGV_HIGH(arg2));
17863a13c3f3SRichard Henderson     } else if (TCG_TARGET_HAS_orc_i64) {
1787951c6300SRichard Henderson         tcg_gen_op3_i64(INDEX_op_orc_i64, ret, arg1, arg2);
1788951c6300SRichard Henderson     } else {
1789951c6300SRichard Henderson         TCGv_i64 t0 = tcg_temp_new_i64();
1790951c6300SRichard Henderson         tcg_gen_not_i64(t0, arg2);
1791951c6300SRichard Henderson         tcg_gen_or_i64(ret, arg1, t0);
1792951c6300SRichard Henderson         tcg_temp_free_i64(t0);
1793951c6300SRichard Henderson     }
1794951c6300SRichard Henderson }
1795951c6300SRichard Henderson 
17960e28d006SRichard Henderson void tcg_gen_clz_i64(TCGv_i64 ret, TCGv_i64 arg1, TCGv_i64 arg2)
17970e28d006SRichard Henderson {
17980e28d006SRichard Henderson     if (TCG_TARGET_HAS_clz_i64) {
17990e28d006SRichard Henderson         tcg_gen_op3_i64(INDEX_op_clz_i64, ret, arg1, arg2);
18000e28d006SRichard Henderson     } else {
18010e28d006SRichard Henderson         gen_helper_clz_i64(ret, arg1, arg2);
18020e28d006SRichard Henderson     }
18030e28d006SRichard Henderson }
18040e28d006SRichard Henderson 
18050e28d006SRichard Henderson void tcg_gen_clzi_i64(TCGv_i64 ret, TCGv_i64 arg1, uint64_t arg2)
18060e28d006SRichard Henderson {
18070e28d006SRichard Henderson     if (TCG_TARGET_REG_BITS == 32
18080e28d006SRichard Henderson         && TCG_TARGET_HAS_clz_i32
18090e28d006SRichard Henderson         && arg2 <= 0xffffffffu) {
18100e28d006SRichard Henderson         TCGv_i32 t = tcg_const_i32((uint32_t)arg2 - 32);
18110e28d006SRichard Henderson         tcg_gen_clz_i32(t, TCGV_LOW(arg1), t);
18120e28d006SRichard Henderson         tcg_gen_addi_i32(t, t, 32);
18130e28d006SRichard Henderson         tcg_gen_clz_i32(TCGV_LOW(ret), TCGV_HIGH(arg1), t);
18140e28d006SRichard Henderson         tcg_gen_movi_i32(TCGV_HIGH(ret), 0);
18150e28d006SRichard Henderson         tcg_temp_free_i32(t);
18160e28d006SRichard Henderson     } else {
18170e28d006SRichard Henderson         TCGv_i64 t = tcg_const_i64(arg2);
18180e28d006SRichard Henderson         tcg_gen_clz_i64(ret, arg1, t);
18190e28d006SRichard Henderson         tcg_temp_free_i64(t);
18200e28d006SRichard Henderson     }
18210e28d006SRichard Henderson }
18220e28d006SRichard Henderson 
18230e28d006SRichard Henderson void tcg_gen_ctz_i64(TCGv_i64 ret, TCGv_i64 arg1, TCGv_i64 arg2)
18240e28d006SRichard Henderson {
18250e28d006SRichard Henderson     if (TCG_TARGET_HAS_ctz_i64) {
18260e28d006SRichard Henderson         tcg_gen_op3_i64(INDEX_op_ctz_i64, ret, arg1, arg2);
182714e99210SRichard Henderson     } else if (TCG_TARGET_HAS_ctpop_i64 || TCG_TARGET_HAS_clz_i64) {
182814e99210SRichard Henderson         TCGv_i64 z, t = tcg_temp_new_i64();
182914e99210SRichard Henderson 
183014e99210SRichard Henderson         if (TCG_TARGET_HAS_ctpop_i64) {
183114e99210SRichard Henderson             tcg_gen_subi_i64(t, arg1, 1);
183214e99210SRichard Henderson             tcg_gen_andc_i64(t, t, arg1);
183314e99210SRichard Henderson             tcg_gen_ctpop_i64(t, t);
183414e99210SRichard Henderson         } else {
183514e99210SRichard Henderson             /* Since all non-x86 hosts have clz(0) == 64, don't fight it.  */
183614e99210SRichard Henderson             tcg_gen_neg_i64(t, arg1);
183714e99210SRichard Henderson             tcg_gen_and_i64(t, t, arg1);
183814e99210SRichard Henderson             tcg_gen_clzi_i64(t, t, 64);
183914e99210SRichard Henderson             tcg_gen_xori_i64(t, t, 63);
184014e99210SRichard Henderson         }
184114e99210SRichard Henderson         z = tcg_const_i64(0);
184214e99210SRichard Henderson         tcg_gen_movcond_i64(TCG_COND_EQ, ret, arg1, z, arg2, t);
184314e99210SRichard Henderson         tcg_temp_free_i64(t);
184414e99210SRichard Henderson         tcg_temp_free_i64(z);
18450e28d006SRichard Henderson     } else {
18460e28d006SRichard Henderson         gen_helper_ctz_i64(ret, arg1, arg2);
18470e28d006SRichard Henderson     }
18480e28d006SRichard Henderson }
18490e28d006SRichard Henderson 
18500e28d006SRichard Henderson void tcg_gen_ctzi_i64(TCGv_i64 ret, TCGv_i64 arg1, uint64_t arg2)
18510e28d006SRichard Henderson {
18520e28d006SRichard Henderson     if (TCG_TARGET_REG_BITS == 32
18530e28d006SRichard Henderson         && TCG_TARGET_HAS_ctz_i32
18540e28d006SRichard Henderson         && arg2 <= 0xffffffffu) {
18550e28d006SRichard Henderson         TCGv_i32 t32 = tcg_const_i32((uint32_t)arg2 - 32);
18560e28d006SRichard Henderson         tcg_gen_ctz_i32(t32, TCGV_HIGH(arg1), t32);
18570e28d006SRichard Henderson         tcg_gen_addi_i32(t32, t32, 32);
18580e28d006SRichard Henderson         tcg_gen_ctz_i32(TCGV_LOW(ret), TCGV_LOW(arg1), t32);
18590e28d006SRichard Henderson         tcg_gen_movi_i32(TCGV_HIGH(ret), 0);
18600e28d006SRichard Henderson         tcg_temp_free_i32(t32);
186114e99210SRichard Henderson     } else if (!TCG_TARGET_HAS_ctz_i64
186214e99210SRichard Henderson                && TCG_TARGET_HAS_ctpop_i64
186314e99210SRichard Henderson                && arg2 == 64) {
186414e99210SRichard Henderson         /* This equivalence has the advantage of not requiring a fixup.  */
186514e99210SRichard Henderson         TCGv_i64 t = tcg_temp_new_i64();
186614e99210SRichard Henderson         tcg_gen_subi_i64(t, arg1, 1);
186714e99210SRichard Henderson         tcg_gen_andc_i64(t, t, arg1);
186814e99210SRichard Henderson         tcg_gen_ctpop_i64(ret, t);
186914e99210SRichard Henderson         tcg_temp_free_i64(t);
18700e28d006SRichard Henderson     } else {
18710e28d006SRichard Henderson         TCGv_i64 t64 = tcg_const_i64(arg2);
18720e28d006SRichard Henderson         tcg_gen_ctz_i64(ret, arg1, t64);
18730e28d006SRichard Henderson         tcg_temp_free_i64(t64);
18740e28d006SRichard Henderson     }
18750e28d006SRichard Henderson }
18760e28d006SRichard Henderson 
1877086920c2SRichard Henderson void tcg_gen_clrsb_i64(TCGv_i64 ret, TCGv_i64 arg)
1878086920c2SRichard Henderson {
1879086920c2SRichard Henderson     if (TCG_TARGET_HAS_clz_i64 || TCG_TARGET_HAS_clz_i32) {
1880086920c2SRichard Henderson         TCGv_i64 t = tcg_temp_new_i64();
1881086920c2SRichard Henderson         tcg_gen_sari_i64(t, arg, 63);
1882086920c2SRichard Henderson         tcg_gen_xor_i64(t, t, arg);
1883086920c2SRichard Henderson         tcg_gen_clzi_i64(t, t, 64);
1884086920c2SRichard Henderson         tcg_gen_subi_i64(ret, t, 1);
1885086920c2SRichard Henderson         tcg_temp_free_i64(t);
1886086920c2SRichard Henderson     } else {
1887086920c2SRichard Henderson         gen_helper_clrsb_i64(ret, arg);
1888086920c2SRichard Henderson     }
1889086920c2SRichard Henderson }
1890086920c2SRichard Henderson 
1891a768e4e9SRichard Henderson void tcg_gen_ctpop_i64(TCGv_i64 ret, TCGv_i64 arg1)
1892a768e4e9SRichard Henderson {
1893a768e4e9SRichard Henderson     if (TCG_TARGET_HAS_ctpop_i64) {
1894a768e4e9SRichard Henderson         tcg_gen_op2_i64(INDEX_op_ctpop_i64, ret, arg1);
1895a768e4e9SRichard Henderson     } else if (TCG_TARGET_REG_BITS == 32 && TCG_TARGET_HAS_ctpop_i32) {
1896a768e4e9SRichard Henderson         tcg_gen_ctpop_i32(TCGV_HIGH(ret), TCGV_HIGH(arg1));
1897a768e4e9SRichard Henderson         tcg_gen_ctpop_i32(TCGV_LOW(ret), TCGV_LOW(arg1));
1898a768e4e9SRichard Henderson         tcg_gen_add_i32(TCGV_LOW(ret), TCGV_LOW(ret), TCGV_HIGH(ret));
1899a768e4e9SRichard Henderson         tcg_gen_movi_i32(TCGV_HIGH(ret), 0);
1900a768e4e9SRichard Henderson     } else {
1901a768e4e9SRichard Henderson         gen_helper_ctpop_i64(ret, arg1);
1902a768e4e9SRichard Henderson     }
1903a768e4e9SRichard Henderson }
1904a768e4e9SRichard Henderson 
1905951c6300SRichard Henderson void tcg_gen_rotl_i64(TCGv_i64 ret, TCGv_i64 arg1, TCGv_i64 arg2)
1906951c6300SRichard Henderson {
1907951c6300SRichard Henderson     if (TCG_TARGET_HAS_rot_i64) {
1908951c6300SRichard Henderson         tcg_gen_op3_i64(INDEX_op_rotl_i64, ret, arg1, arg2);
1909951c6300SRichard Henderson     } else {
1910951c6300SRichard Henderson         TCGv_i64 t0, t1;
1911951c6300SRichard Henderson         t0 = tcg_temp_new_i64();
1912951c6300SRichard Henderson         t1 = tcg_temp_new_i64();
1913951c6300SRichard Henderson         tcg_gen_shl_i64(t0, arg1, arg2);
1914951c6300SRichard Henderson         tcg_gen_subfi_i64(t1, 64, arg2);
1915951c6300SRichard Henderson         tcg_gen_shr_i64(t1, arg1, t1);
1916951c6300SRichard Henderson         tcg_gen_or_i64(ret, t0, t1);
1917951c6300SRichard Henderson         tcg_temp_free_i64(t0);
1918951c6300SRichard Henderson         tcg_temp_free_i64(t1);
1919951c6300SRichard Henderson     }
1920951c6300SRichard Henderson }
1921951c6300SRichard Henderson 
1922951c6300SRichard Henderson void tcg_gen_rotli_i64(TCGv_i64 ret, TCGv_i64 arg1, unsigned arg2)
1923951c6300SRichard Henderson {
1924951c6300SRichard Henderson     tcg_debug_assert(arg2 < 64);
1925951c6300SRichard Henderson     /* some cases can be optimized here */
1926951c6300SRichard Henderson     if (arg2 == 0) {
1927951c6300SRichard Henderson         tcg_gen_mov_i64(ret, arg1);
1928951c6300SRichard Henderson     } else if (TCG_TARGET_HAS_rot_i64) {
1929951c6300SRichard Henderson         TCGv_i64 t0 = tcg_const_i64(arg2);
1930951c6300SRichard Henderson         tcg_gen_rotl_i64(ret, arg1, t0);
1931951c6300SRichard Henderson         tcg_temp_free_i64(t0);
1932951c6300SRichard Henderson     } else {
1933951c6300SRichard Henderson         TCGv_i64 t0, t1;
1934951c6300SRichard Henderson         t0 = tcg_temp_new_i64();
1935951c6300SRichard Henderson         t1 = tcg_temp_new_i64();
1936951c6300SRichard Henderson         tcg_gen_shli_i64(t0, arg1, arg2);
1937951c6300SRichard Henderson         tcg_gen_shri_i64(t1, arg1, 64 - arg2);
1938951c6300SRichard Henderson         tcg_gen_or_i64(ret, t0, t1);
1939951c6300SRichard Henderson         tcg_temp_free_i64(t0);
1940951c6300SRichard Henderson         tcg_temp_free_i64(t1);
1941951c6300SRichard Henderson     }
1942951c6300SRichard Henderson }
1943951c6300SRichard Henderson 
1944951c6300SRichard Henderson void tcg_gen_rotr_i64(TCGv_i64 ret, TCGv_i64 arg1, TCGv_i64 arg2)
1945951c6300SRichard Henderson {
1946951c6300SRichard Henderson     if (TCG_TARGET_HAS_rot_i64) {
1947951c6300SRichard Henderson         tcg_gen_op3_i64(INDEX_op_rotr_i64, ret, arg1, arg2);
1948951c6300SRichard Henderson     } else {
1949951c6300SRichard Henderson         TCGv_i64 t0, t1;
1950951c6300SRichard Henderson         t0 = tcg_temp_new_i64();
1951951c6300SRichard Henderson         t1 = tcg_temp_new_i64();
1952951c6300SRichard Henderson         tcg_gen_shr_i64(t0, arg1, arg2);
1953951c6300SRichard Henderson         tcg_gen_subfi_i64(t1, 64, arg2);
1954951c6300SRichard Henderson         tcg_gen_shl_i64(t1, arg1, t1);
1955951c6300SRichard Henderson         tcg_gen_or_i64(ret, t0, t1);
1956951c6300SRichard Henderson         tcg_temp_free_i64(t0);
1957951c6300SRichard Henderson         tcg_temp_free_i64(t1);
1958951c6300SRichard Henderson     }
1959951c6300SRichard Henderson }
1960951c6300SRichard Henderson 
1961951c6300SRichard Henderson void tcg_gen_rotri_i64(TCGv_i64 ret, TCGv_i64 arg1, unsigned arg2)
1962951c6300SRichard Henderson {
1963951c6300SRichard Henderson     tcg_debug_assert(arg2 < 64);
1964951c6300SRichard Henderson     /* some cases can be optimized here */
1965951c6300SRichard Henderson     if (arg2 == 0) {
1966951c6300SRichard Henderson         tcg_gen_mov_i64(ret, arg1);
1967951c6300SRichard Henderson     } else {
1968951c6300SRichard Henderson         tcg_gen_rotli_i64(ret, arg1, 64 - arg2);
1969951c6300SRichard Henderson     }
1970951c6300SRichard Henderson }
1971951c6300SRichard Henderson 
1972951c6300SRichard Henderson void tcg_gen_deposit_i64(TCGv_i64 ret, TCGv_i64 arg1, TCGv_i64 arg2,
1973951c6300SRichard Henderson                          unsigned int ofs, unsigned int len)
1974951c6300SRichard Henderson {
1975951c6300SRichard Henderson     uint64_t mask;
1976951c6300SRichard Henderson     TCGv_i64 t1;
1977951c6300SRichard Henderson 
1978951c6300SRichard Henderson     tcg_debug_assert(ofs < 64);
19790d0d309dSRichard Henderson     tcg_debug_assert(len > 0);
1980951c6300SRichard Henderson     tcg_debug_assert(len <= 64);
1981951c6300SRichard Henderson     tcg_debug_assert(ofs + len <= 64);
1982951c6300SRichard Henderson 
19830d0d309dSRichard Henderson     if (len == 64) {
1984951c6300SRichard Henderson         tcg_gen_mov_i64(ret, arg2);
1985951c6300SRichard Henderson         return;
1986951c6300SRichard Henderson     }
1987951c6300SRichard Henderson     if (TCG_TARGET_HAS_deposit_i64 && TCG_TARGET_deposit_i64_valid(ofs, len)) {
1988951c6300SRichard Henderson         tcg_gen_op5ii_i64(INDEX_op_deposit_i64, ret, arg1, arg2, ofs, len);
1989951c6300SRichard Henderson         return;
1990951c6300SRichard Henderson     }
1991951c6300SRichard Henderson 
19923a13c3f3SRichard Henderson     if (TCG_TARGET_REG_BITS == 32) {
1993951c6300SRichard Henderson         if (ofs >= 32) {
1994951c6300SRichard Henderson             tcg_gen_deposit_i32(TCGV_HIGH(ret), TCGV_HIGH(arg1),
1995951c6300SRichard Henderson                                 TCGV_LOW(arg2), ofs - 32, len);
1996951c6300SRichard Henderson             tcg_gen_mov_i32(TCGV_LOW(ret), TCGV_LOW(arg1));
1997951c6300SRichard Henderson             return;
1998951c6300SRichard Henderson         }
1999951c6300SRichard Henderson         if (ofs + len <= 32) {
2000951c6300SRichard Henderson             tcg_gen_deposit_i32(TCGV_LOW(ret), TCGV_LOW(arg1),
2001951c6300SRichard Henderson                                 TCGV_LOW(arg2), ofs, len);
2002951c6300SRichard Henderson             tcg_gen_mov_i32(TCGV_HIGH(ret), TCGV_HIGH(arg1));
2003951c6300SRichard Henderson             return;
2004951c6300SRichard Henderson         }
20053a13c3f3SRichard Henderson     }
2006951c6300SRichard Henderson 
2007951c6300SRichard Henderson     mask = (1ull << len) - 1;
2008951c6300SRichard Henderson     t1 = tcg_temp_new_i64();
2009951c6300SRichard Henderson 
2010951c6300SRichard Henderson     if (ofs + len < 64) {
2011951c6300SRichard Henderson         tcg_gen_andi_i64(t1, arg2, mask);
2012951c6300SRichard Henderson         tcg_gen_shli_i64(t1, t1, ofs);
2013951c6300SRichard Henderson     } else {
2014951c6300SRichard Henderson         tcg_gen_shli_i64(t1, arg2, ofs);
2015951c6300SRichard Henderson     }
2016951c6300SRichard Henderson     tcg_gen_andi_i64(ret, arg1, ~(mask << ofs));
2017951c6300SRichard Henderson     tcg_gen_or_i64(ret, ret, t1);
2018951c6300SRichard Henderson 
2019951c6300SRichard Henderson     tcg_temp_free_i64(t1);
2020951c6300SRichard Henderson }
2021951c6300SRichard Henderson 
202207cc68d5SRichard Henderson void tcg_gen_deposit_z_i64(TCGv_i64 ret, TCGv_i64 arg,
202307cc68d5SRichard Henderson                            unsigned int ofs, unsigned int len)
202407cc68d5SRichard Henderson {
202507cc68d5SRichard Henderson     tcg_debug_assert(ofs < 64);
202607cc68d5SRichard Henderson     tcg_debug_assert(len > 0);
202707cc68d5SRichard Henderson     tcg_debug_assert(len <= 64);
202807cc68d5SRichard Henderson     tcg_debug_assert(ofs + len <= 64);
202907cc68d5SRichard Henderson 
203007cc68d5SRichard Henderson     if (ofs + len == 64) {
203107cc68d5SRichard Henderson         tcg_gen_shli_i64(ret, arg, ofs);
203207cc68d5SRichard Henderson     } else if (ofs == 0) {
203307cc68d5SRichard Henderson         tcg_gen_andi_i64(ret, arg, (1ull << len) - 1);
203407cc68d5SRichard Henderson     } else if (TCG_TARGET_HAS_deposit_i64
203507cc68d5SRichard Henderson                && TCG_TARGET_deposit_i64_valid(ofs, len)) {
203607cc68d5SRichard Henderson         TCGv_i64 zero = tcg_const_i64(0);
203707cc68d5SRichard Henderson         tcg_gen_op5ii_i64(INDEX_op_deposit_i64, ret, zero, arg, ofs, len);
203807cc68d5SRichard Henderson         tcg_temp_free_i64(zero);
203907cc68d5SRichard Henderson     } else {
204007cc68d5SRichard Henderson         if (TCG_TARGET_REG_BITS == 32) {
204107cc68d5SRichard Henderson             if (ofs >= 32) {
204207cc68d5SRichard Henderson                 tcg_gen_deposit_z_i32(TCGV_HIGH(ret), TCGV_LOW(arg),
204307cc68d5SRichard Henderson                                       ofs - 32, len);
204407cc68d5SRichard Henderson                 tcg_gen_movi_i32(TCGV_LOW(ret), 0);
204507cc68d5SRichard Henderson                 return;
204607cc68d5SRichard Henderson             }
204707cc68d5SRichard Henderson             if (ofs + len <= 32) {
204807cc68d5SRichard Henderson                 tcg_gen_deposit_z_i32(TCGV_LOW(ret), TCGV_LOW(arg), ofs, len);
204907cc68d5SRichard Henderson                 tcg_gen_movi_i32(TCGV_HIGH(ret), 0);
205007cc68d5SRichard Henderson                 return;
205107cc68d5SRichard Henderson             }
205207cc68d5SRichard Henderson         }
205307cc68d5SRichard Henderson         /* To help two-operand hosts we prefer to zero-extend first,
205407cc68d5SRichard Henderson            which allows ARG to stay live.  */
205507cc68d5SRichard Henderson         switch (len) {
205607cc68d5SRichard Henderson         case 32:
205707cc68d5SRichard Henderson             if (TCG_TARGET_HAS_ext32u_i64) {
205807cc68d5SRichard Henderson                 tcg_gen_ext32u_i64(ret, arg);
205907cc68d5SRichard Henderson                 tcg_gen_shli_i64(ret, ret, ofs);
206007cc68d5SRichard Henderson                 return;
206107cc68d5SRichard Henderson             }
206207cc68d5SRichard Henderson             break;
206307cc68d5SRichard Henderson         case 16:
206407cc68d5SRichard Henderson             if (TCG_TARGET_HAS_ext16u_i64) {
206507cc68d5SRichard Henderson                 tcg_gen_ext16u_i64(ret, arg);
206607cc68d5SRichard Henderson                 tcg_gen_shli_i64(ret, ret, ofs);
206707cc68d5SRichard Henderson                 return;
206807cc68d5SRichard Henderson             }
206907cc68d5SRichard Henderson             break;
207007cc68d5SRichard Henderson         case 8:
207107cc68d5SRichard Henderson             if (TCG_TARGET_HAS_ext8u_i64) {
207207cc68d5SRichard Henderson                 tcg_gen_ext8u_i64(ret, arg);
207307cc68d5SRichard Henderson                 tcg_gen_shli_i64(ret, ret, ofs);
207407cc68d5SRichard Henderson                 return;
207507cc68d5SRichard Henderson             }
207607cc68d5SRichard Henderson             break;
207707cc68d5SRichard Henderson         }
207807cc68d5SRichard Henderson         /* Otherwise prefer zero-extension over AND for code size.  */
207907cc68d5SRichard Henderson         switch (ofs + len) {
208007cc68d5SRichard Henderson         case 32:
208107cc68d5SRichard Henderson             if (TCG_TARGET_HAS_ext32u_i64) {
208207cc68d5SRichard Henderson                 tcg_gen_shli_i64(ret, arg, ofs);
208307cc68d5SRichard Henderson                 tcg_gen_ext32u_i64(ret, ret);
208407cc68d5SRichard Henderson                 return;
208507cc68d5SRichard Henderson             }
208607cc68d5SRichard Henderson             break;
208707cc68d5SRichard Henderson         case 16:
208807cc68d5SRichard Henderson             if (TCG_TARGET_HAS_ext16u_i64) {
208907cc68d5SRichard Henderson                 tcg_gen_shli_i64(ret, arg, ofs);
209007cc68d5SRichard Henderson                 tcg_gen_ext16u_i64(ret, ret);
209107cc68d5SRichard Henderson                 return;
209207cc68d5SRichard Henderson             }
209307cc68d5SRichard Henderson             break;
209407cc68d5SRichard Henderson         case 8:
209507cc68d5SRichard Henderson             if (TCG_TARGET_HAS_ext8u_i64) {
209607cc68d5SRichard Henderson                 tcg_gen_shli_i64(ret, arg, ofs);
209707cc68d5SRichard Henderson                 tcg_gen_ext8u_i64(ret, ret);
209807cc68d5SRichard Henderson                 return;
209907cc68d5SRichard Henderson             }
210007cc68d5SRichard Henderson             break;
210107cc68d5SRichard Henderson         }
210207cc68d5SRichard Henderson         tcg_gen_andi_i64(ret, arg, (1ull << len) - 1);
210307cc68d5SRichard Henderson         tcg_gen_shli_i64(ret, ret, ofs);
210407cc68d5SRichard Henderson     }
210507cc68d5SRichard Henderson }
210607cc68d5SRichard Henderson 
21077ec8bab3SRichard Henderson void tcg_gen_extract_i64(TCGv_i64 ret, TCGv_i64 arg,
21087ec8bab3SRichard Henderson                          unsigned int ofs, unsigned int len)
21097ec8bab3SRichard Henderson {
21107ec8bab3SRichard Henderson     tcg_debug_assert(ofs < 64);
21117ec8bab3SRichard Henderson     tcg_debug_assert(len > 0);
21127ec8bab3SRichard Henderson     tcg_debug_assert(len <= 64);
21137ec8bab3SRichard Henderson     tcg_debug_assert(ofs + len <= 64);
21147ec8bab3SRichard Henderson 
21157ec8bab3SRichard Henderson     /* Canonicalize certain special cases, even if extract is supported.  */
21167ec8bab3SRichard Henderson     if (ofs + len == 64) {
21177ec8bab3SRichard Henderson         tcg_gen_shri_i64(ret, arg, 64 - len);
21187ec8bab3SRichard Henderson         return;
21197ec8bab3SRichard Henderson     }
21207ec8bab3SRichard Henderson     if (ofs == 0) {
21217ec8bab3SRichard Henderson         tcg_gen_andi_i64(ret, arg, (1ull << len) - 1);
21227ec8bab3SRichard Henderson         return;
21237ec8bab3SRichard Henderson     }
21247ec8bab3SRichard Henderson 
21257ec8bab3SRichard Henderson     if (TCG_TARGET_REG_BITS == 32) {
21267ec8bab3SRichard Henderson         /* Look for a 32-bit extract within one of the two words.  */
21277ec8bab3SRichard Henderson         if (ofs >= 32) {
21287ec8bab3SRichard Henderson             tcg_gen_extract_i32(TCGV_LOW(ret), TCGV_HIGH(arg), ofs - 32, len);
21297ec8bab3SRichard Henderson             tcg_gen_movi_i32(TCGV_HIGH(ret), 0);
21307ec8bab3SRichard Henderson             return;
21317ec8bab3SRichard Henderson         }
21327ec8bab3SRichard Henderson         if (ofs + len <= 32) {
21337ec8bab3SRichard Henderson             tcg_gen_extract_i32(TCGV_LOW(ret), TCGV_LOW(arg), ofs, len);
21347ec8bab3SRichard Henderson             tcg_gen_movi_i32(TCGV_HIGH(ret), 0);
21357ec8bab3SRichard Henderson             return;
21367ec8bab3SRichard Henderson         }
21377ec8bab3SRichard Henderson         /* The field is split across two words.  One double-word
21387ec8bab3SRichard Henderson            shift is better than two double-word shifts.  */
21397ec8bab3SRichard Henderson         goto do_shift_and;
21407ec8bab3SRichard Henderson     }
21417ec8bab3SRichard Henderson 
21427ec8bab3SRichard Henderson     if (TCG_TARGET_HAS_extract_i64
21437ec8bab3SRichard Henderson         && TCG_TARGET_extract_i64_valid(ofs, len)) {
21447ec8bab3SRichard Henderson         tcg_gen_op4ii_i64(INDEX_op_extract_i64, ret, arg, ofs, len);
21457ec8bab3SRichard Henderson         return;
21467ec8bab3SRichard Henderson     }
21477ec8bab3SRichard Henderson 
21487ec8bab3SRichard Henderson     /* Assume that zero-extension, if available, is cheaper than a shift.  */
21497ec8bab3SRichard Henderson     switch (ofs + len) {
21507ec8bab3SRichard Henderson     case 32:
21517ec8bab3SRichard Henderson         if (TCG_TARGET_HAS_ext32u_i64) {
21527ec8bab3SRichard Henderson             tcg_gen_ext32u_i64(ret, arg);
21537ec8bab3SRichard Henderson             tcg_gen_shri_i64(ret, ret, ofs);
21547ec8bab3SRichard Henderson             return;
21557ec8bab3SRichard Henderson         }
21567ec8bab3SRichard Henderson         break;
21577ec8bab3SRichard Henderson     case 16:
21587ec8bab3SRichard Henderson         if (TCG_TARGET_HAS_ext16u_i64) {
21597ec8bab3SRichard Henderson             tcg_gen_ext16u_i64(ret, arg);
21607ec8bab3SRichard Henderson             tcg_gen_shri_i64(ret, ret, ofs);
21617ec8bab3SRichard Henderson             return;
21627ec8bab3SRichard Henderson         }
21637ec8bab3SRichard Henderson         break;
21647ec8bab3SRichard Henderson     case 8:
21657ec8bab3SRichard Henderson         if (TCG_TARGET_HAS_ext8u_i64) {
21667ec8bab3SRichard Henderson             tcg_gen_ext8u_i64(ret, arg);
21677ec8bab3SRichard Henderson             tcg_gen_shri_i64(ret, ret, ofs);
21687ec8bab3SRichard Henderson             return;
21697ec8bab3SRichard Henderson         }
21707ec8bab3SRichard Henderson         break;
21717ec8bab3SRichard Henderson     }
21727ec8bab3SRichard Henderson 
21737ec8bab3SRichard Henderson     /* ??? Ideally we'd know what values are available for immediate AND.
21747ec8bab3SRichard Henderson        Assume that 8 bits are available, plus the special cases of 16 and 32,
21757ec8bab3SRichard Henderson        so that we get ext8u, ext16u, and ext32u.  */
21767ec8bab3SRichard Henderson     switch (len) {
21777ec8bab3SRichard Henderson     case 1 ... 8: case 16: case 32:
21787ec8bab3SRichard Henderson     do_shift_and:
21797ec8bab3SRichard Henderson         tcg_gen_shri_i64(ret, arg, ofs);
21807ec8bab3SRichard Henderson         tcg_gen_andi_i64(ret, ret, (1ull << len) - 1);
21817ec8bab3SRichard Henderson         break;
21827ec8bab3SRichard Henderson     default:
21837ec8bab3SRichard Henderson         tcg_gen_shli_i64(ret, arg, 64 - len - ofs);
21847ec8bab3SRichard Henderson         tcg_gen_shri_i64(ret, ret, 64 - len);
21857ec8bab3SRichard Henderson         break;
21867ec8bab3SRichard Henderson     }
21877ec8bab3SRichard Henderson }
21887ec8bab3SRichard Henderson 
21897ec8bab3SRichard Henderson void tcg_gen_sextract_i64(TCGv_i64 ret, TCGv_i64 arg,
21907ec8bab3SRichard Henderson                           unsigned int ofs, unsigned int len)
21917ec8bab3SRichard Henderson {
21927ec8bab3SRichard Henderson     tcg_debug_assert(ofs < 64);
21937ec8bab3SRichard Henderson     tcg_debug_assert(len > 0);
21947ec8bab3SRichard Henderson     tcg_debug_assert(len <= 64);
21957ec8bab3SRichard Henderson     tcg_debug_assert(ofs + len <= 64);
21967ec8bab3SRichard Henderson 
21977ec8bab3SRichard Henderson     /* Canonicalize certain special cases, even if sextract is supported.  */
21987ec8bab3SRichard Henderson     if (ofs + len == 64) {
21997ec8bab3SRichard Henderson         tcg_gen_sari_i64(ret, arg, 64 - len);
22007ec8bab3SRichard Henderson         return;
22017ec8bab3SRichard Henderson     }
22027ec8bab3SRichard Henderson     if (ofs == 0) {
22037ec8bab3SRichard Henderson         switch (len) {
22047ec8bab3SRichard Henderson         case 32:
22057ec8bab3SRichard Henderson             tcg_gen_ext32s_i64(ret, arg);
22067ec8bab3SRichard Henderson             return;
22077ec8bab3SRichard Henderson         case 16:
22087ec8bab3SRichard Henderson             tcg_gen_ext16s_i64(ret, arg);
22097ec8bab3SRichard Henderson             return;
22107ec8bab3SRichard Henderson         case 8:
22117ec8bab3SRichard Henderson             tcg_gen_ext8s_i64(ret, arg);
22127ec8bab3SRichard Henderson             return;
22137ec8bab3SRichard Henderson         }
22147ec8bab3SRichard Henderson     }
22157ec8bab3SRichard Henderson 
22167ec8bab3SRichard Henderson     if (TCG_TARGET_REG_BITS == 32) {
22177ec8bab3SRichard Henderson         /* Look for a 32-bit extract within one of the two words.  */
22187ec8bab3SRichard Henderson         if (ofs >= 32) {
22197ec8bab3SRichard Henderson             tcg_gen_sextract_i32(TCGV_LOW(ret), TCGV_HIGH(arg), ofs - 32, len);
22207ec8bab3SRichard Henderson         } else if (ofs + len <= 32) {
22217ec8bab3SRichard Henderson             tcg_gen_sextract_i32(TCGV_LOW(ret), TCGV_LOW(arg), ofs, len);
22227ec8bab3SRichard Henderson         } else if (ofs == 0) {
22237ec8bab3SRichard Henderson             tcg_gen_mov_i32(TCGV_LOW(ret), TCGV_LOW(arg));
22247ec8bab3SRichard Henderson             tcg_gen_sextract_i32(TCGV_HIGH(ret), TCGV_HIGH(arg), 0, len - 32);
22257ec8bab3SRichard Henderson             return;
22267ec8bab3SRichard Henderson         } else if (len > 32) {
22277ec8bab3SRichard Henderson             TCGv_i32 t = tcg_temp_new_i32();
22287ec8bab3SRichard Henderson             /* Extract the bits for the high word normally.  */
22297ec8bab3SRichard Henderson             tcg_gen_sextract_i32(t, TCGV_HIGH(arg), ofs + 32, len - 32);
22307ec8bab3SRichard Henderson             /* Shift the field down for the low part.  */
22317ec8bab3SRichard Henderson             tcg_gen_shri_i64(ret, arg, ofs);
22327ec8bab3SRichard Henderson             /* Overwrite the shift into the high part.  */
22337ec8bab3SRichard Henderson             tcg_gen_mov_i32(TCGV_HIGH(ret), t);
22347ec8bab3SRichard Henderson             tcg_temp_free_i32(t);
22357ec8bab3SRichard Henderson             return;
22367ec8bab3SRichard Henderson         } else {
22377ec8bab3SRichard Henderson             /* Shift the field down for the low part, such that the
22387ec8bab3SRichard Henderson                field sits at the MSB.  */
22397ec8bab3SRichard Henderson             tcg_gen_shri_i64(ret, arg, ofs + len - 32);
22407ec8bab3SRichard Henderson             /* Shift the field down from the MSB, sign extending.  */
22417ec8bab3SRichard Henderson             tcg_gen_sari_i32(TCGV_LOW(ret), TCGV_LOW(ret), 32 - len);
22427ec8bab3SRichard Henderson         }
22437ec8bab3SRichard Henderson         /* Sign-extend the field from 32 bits.  */
22447ec8bab3SRichard Henderson         tcg_gen_sari_i32(TCGV_HIGH(ret), TCGV_LOW(ret), 31);
22457ec8bab3SRichard Henderson         return;
22467ec8bab3SRichard Henderson     }
22477ec8bab3SRichard Henderson 
22487ec8bab3SRichard Henderson     if (TCG_TARGET_HAS_sextract_i64
22497ec8bab3SRichard Henderson         && TCG_TARGET_extract_i64_valid(ofs, len)) {
22507ec8bab3SRichard Henderson         tcg_gen_op4ii_i64(INDEX_op_sextract_i64, ret, arg, ofs, len);
22517ec8bab3SRichard Henderson         return;
22527ec8bab3SRichard Henderson     }
22537ec8bab3SRichard Henderson 
22547ec8bab3SRichard Henderson     /* Assume that sign-extension, if available, is cheaper than a shift.  */
22557ec8bab3SRichard Henderson     switch (ofs + len) {
22567ec8bab3SRichard Henderson     case 32:
22577ec8bab3SRichard Henderson         if (TCG_TARGET_HAS_ext32s_i64) {
22587ec8bab3SRichard Henderson             tcg_gen_ext32s_i64(ret, arg);
22597ec8bab3SRichard Henderson             tcg_gen_sari_i64(ret, ret, ofs);
22607ec8bab3SRichard Henderson             return;
22617ec8bab3SRichard Henderson         }
22627ec8bab3SRichard Henderson         break;
22637ec8bab3SRichard Henderson     case 16:
22647ec8bab3SRichard Henderson         if (TCG_TARGET_HAS_ext16s_i64) {
22657ec8bab3SRichard Henderson             tcg_gen_ext16s_i64(ret, arg);
22667ec8bab3SRichard Henderson             tcg_gen_sari_i64(ret, ret, ofs);
22677ec8bab3SRichard Henderson             return;
22687ec8bab3SRichard Henderson         }
22697ec8bab3SRichard Henderson         break;
22707ec8bab3SRichard Henderson     case 8:
22717ec8bab3SRichard Henderson         if (TCG_TARGET_HAS_ext8s_i64) {
22727ec8bab3SRichard Henderson             tcg_gen_ext8s_i64(ret, arg);
22737ec8bab3SRichard Henderson             tcg_gen_sari_i64(ret, ret, ofs);
22747ec8bab3SRichard Henderson             return;
22757ec8bab3SRichard Henderson         }
22767ec8bab3SRichard Henderson         break;
22777ec8bab3SRichard Henderson     }
22787ec8bab3SRichard Henderson     switch (len) {
22797ec8bab3SRichard Henderson     case 32:
22807ec8bab3SRichard Henderson         if (TCG_TARGET_HAS_ext32s_i64) {
22817ec8bab3SRichard Henderson             tcg_gen_shri_i64(ret, arg, ofs);
22827ec8bab3SRichard Henderson             tcg_gen_ext32s_i64(ret, ret);
22837ec8bab3SRichard Henderson             return;
22847ec8bab3SRichard Henderson         }
22857ec8bab3SRichard Henderson         break;
22867ec8bab3SRichard Henderson     case 16:
22877ec8bab3SRichard Henderson         if (TCG_TARGET_HAS_ext16s_i64) {
22887ec8bab3SRichard Henderson             tcg_gen_shri_i64(ret, arg, ofs);
22897ec8bab3SRichard Henderson             tcg_gen_ext16s_i64(ret, ret);
22907ec8bab3SRichard Henderson             return;
22917ec8bab3SRichard Henderson         }
22927ec8bab3SRichard Henderson         break;
22937ec8bab3SRichard Henderson     case 8:
22947ec8bab3SRichard Henderson         if (TCG_TARGET_HAS_ext8s_i64) {
22957ec8bab3SRichard Henderson             tcg_gen_shri_i64(ret, arg, ofs);
22967ec8bab3SRichard Henderson             tcg_gen_ext8s_i64(ret, ret);
22977ec8bab3SRichard Henderson             return;
22987ec8bab3SRichard Henderson         }
22997ec8bab3SRichard Henderson         break;
23007ec8bab3SRichard Henderson     }
23017ec8bab3SRichard Henderson     tcg_gen_shli_i64(ret, arg, 64 - len - ofs);
23027ec8bab3SRichard Henderson     tcg_gen_sari_i64(ret, ret, 64 - len);
23037ec8bab3SRichard Henderson }
23047ec8bab3SRichard Henderson 
2305951c6300SRichard Henderson void tcg_gen_movcond_i64(TCGCond cond, TCGv_i64 ret, TCGv_i64 c1,
2306951c6300SRichard Henderson                          TCGv_i64 c2, TCGv_i64 v1, TCGv_i64 v2)
2307951c6300SRichard Henderson {
230837ed3bf1SRichard Henderson     if (cond == TCG_COND_ALWAYS) {
230937ed3bf1SRichard Henderson         tcg_gen_mov_i64(ret, v1);
231037ed3bf1SRichard Henderson     } else if (cond == TCG_COND_NEVER) {
231137ed3bf1SRichard Henderson         tcg_gen_mov_i64(ret, v2);
231237ed3bf1SRichard Henderson     } else if (TCG_TARGET_REG_BITS == 32) {
2313951c6300SRichard Henderson         TCGv_i32 t0 = tcg_temp_new_i32();
2314951c6300SRichard Henderson         TCGv_i32 t1 = tcg_temp_new_i32();
2315951c6300SRichard Henderson         tcg_gen_op6i_i32(INDEX_op_setcond2_i32, t0,
2316951c6300SRichard Henderson                          TCGV_LOW(c1), TCGV_HIGH(c1),
2317951c6300SRichard Henderson                          TCGV_LOW(c2), TCGV_HIGH(c2), cond);
2318951c6300SRichard Henderson 
2319951c6300SRichard Henderson         if (TCG_TARGET_HAS_movcond_i32) {
2320951c6300SRichard Henderson             tcg_gen_movi_i32(t1, 0);
2321951c6300SRichard Henderson             tcg_gen_movcond_i32(TCG_COND_NE, TCGV_LOW(ret), t0, t1,
2322951c6300SRichard Henderson                                 TCGV_LOW(v1), TCGV_LOW(v2));
2323951c6300SRichard Henderson             tcg_gen_movcond_i32(TCG_COND_NE, TCGV_HIGH(ret), t0, t1,
2324951c6300SRichard Henderson                                 TCGV_HIGH(v1), TCGV_HIGH(v2));
2325951c6300SRichard Henderson         } else {
2326951c6300SRichard Henderson             tcg_gen_neg_i32(t0, t0);
2327951c6300SRichard Henderson 
2328951c6300SRichard Henderson             tcg_gen_and_i32(t1, TCGV_LOW(v1), t0);
2329951c6300SRichard Henderson             tcg_gen_andc_i32(TCGV_LOW(ret), TCGV_LOW(v2), t0);
2330951c6300SRichard Henderson             tcg_gen_or_i32(TCGV_LOW(ret), TCGV_LOW(ret), t1);
2331951c6300SRichard Henderson 
2332951c6300SRichard Henderson             tcg_gen_and_i32(t1, TCGV_HIGH(v1), t0);
2333951c6300SRichard Henderson             tcg_gen_andc_i32(TCGV_HIGH(ret), TCGV_HIGH(v2), t0);
2334951c6300SRichard Henderson             tcg_gen_or_i32(TCGV_HIGH(ret), TCGV_HIGH(ret), t1);
2335951c6300SRichard Henderson         }
2336951c6300SRichard Henderson         tcg_temp_free_i32(t0);
2337951c6300SRichard Henderson         tcg_temp_free_i32(t1);
23383a13c3f3SRichard Henderson     } else if (TCG_TARGET_HAS_movcond_i64) {
2339951c6300SRichard Henderson         tcg_gen_op6i_i64(INDEX_op_movcond_i64, ret, c1, c2, v1, v2, cond);
2340951c6300SRichard Henderson     } else {
2341951c6300SRichard Henderson         TCGv_i64 t0 = tcg_temp_new_i64();
2342951c6300SRichard Henderson         TCGv_i64 t1 = tcg_temp_new_i64();
2343951c6300SRichard Henderson         tcg_gen_setcond_i64(cond, t0, c1, c2);
2344951c6300SRichard Henderson         tcg_gen_neg_i64(t0, t0);
2345951c6300SRichard Henderson         tcg_gen_and_i64(t1, v1, t0);
2346951c6300SRichard Henderson         tcg_gen_andc_i64(ret, v2, t0);
2347951c6300SRichard Henderson         tcg_gen_or_i64(ret, ret, t1);
2348951c6300SRichard Henderson         tcg_temp_free_i64(t0);
2349951c6300SRichard Henderson         tcg_temp_free_i64(t1);
2350951c6300SRichard Henderson     }
2351951c6300SRichard Henderson }
2352951c6300SRichard Henderson 
2353951c6300SRichard Henderson void tcg_gen_add2_i64(TCGv_i64 rl, TCGv_i64 rh, TCGv_i64 al,
2354951c6300SRichard Henderson                       TCGv_i64 ah, TCGv_i64 bl, TCGv_i64 bh)
2355951c6300SRichard Henderson {
2356951c6300SRichard Henderson     if (TCG_TARGET_HAS_add2_i64) {
2357951c6300SRichard Henderson         tcg_gen_op6_i64(INDEX_op_add2_i64, rl, rh, al, ah, bl, bh);
2358951c6300SRichard Henderson     } else {
2359951c6300SRichard Henderson         TCGv_i64 t0 = tcg_temp_new_i64();
2360951c6300SRichard Henderson         TCGv_i64 t1 = tcg_temp_new_i64();
2361951c6300SRichard Henderson         tcg_gen_add_i64(t0, al, bl);
2362951c6300SRichard Henderson         tcg_gen_setcond_i64(TCG_COND_LTU, t1, t0, al);
2363951c6300SRichard Henderson         tcg_gen_add_i64(rh, ah, bh);
2364951c6300SRichard Henderson         tcg_gen_add_i64(rh, rh, t1);
2365951c6300SRichard Henderson         tcg_gen_mov_i64(rl, t0);
2366951c6300SRichard Henderson         tcg_temp_free_i64(t0);
2367951c6300SRichard Henderson         tcg_temp_free_i64(t1);
2368951c6300SRichard Henderson     }
2369951c6300SRichard Henderson }
2370951c6300SRichard Henderson 
2371951c6300SRichard Henderson void tcg_gen_sub2_i64(TCGv_i64 rl, TCGv_i64 rh, TCGv_i64 al,
2372951c6300SRichard Henderson                       TCGv_i64 ah, TCGv_i64 bl, TCGv_i64 bh)
2373951c6300SRichard Henderson {
2374951c6300SRichard Henderson     if (TCG_TARGET_HAS_sub2_i64) {
2375951c6300SRichard Henderson         tcg_gen_op6_i64(INDEX_op_sub2_i64, rl, rh, al, ah, bl, bh);
2376951c6300SRichard Henderson     } else {
2377951c6300SRichard Henderson         TCGv_i64 t0 = tcg_temp_new_i64();
2378951c6300SRichard Henderson         TCGv_i64 t1 = tcg_temp_new_i64();
2379951c6300SRichard Henderson         tcg_gen_sub_i64(t0, al, bl);
2380951c6300SRichard Henderson         tcg_gen_setcond_i64(TCG_COND_LTU, t1, al, bl);
2381951c6300SRichard Henderson         tcg_gen_sub_i64(rh, ah, bh);
2382951c6300SRichard Henderson         tcg_gen_sub_i64(rh, rh, t1);
2383951c6300SRichard Henderson         tcg_gen_mov_i64(rl, t0);
2384951c6300SRichard Henderson         tcg_temp_free_i64(t0);
2385951c6300SRichard Henderson         tcg_temp_free_i64(t1);
2386951c6300SRichard Henderson     }
2387951c6300SRichard Henderson }
2388951c6300SRichard Henderson 
2389951c6300SRichard Henderson void tcg_gen_mulu2_i64(TCGv_i64 rl, TCGv_i64 rh, TCGv_i64 arg1, TCGv_i64 arg2)
2390951c6300SRichard Henderson {
2391951c6300SRichard Henderson     if (TCG_TARGET_HAS_mulu2_i64) {
2392951c6300SRichard Henderson         tcg_gen_op4_i64(INDEX_op_mulu2_i64, rl, rh, arg1, arg2);
2393951c6300SRichard Henderson     } else if (TCG_TARGET_HAS_muluh_i64) {
2394951c6300SRichard Henderson         TCGv_i64 t = tcg_temp_new_i64();
2395951c6300SRichard Henderson         tcg_gen_op3_i64(INDEX_op_mul_i64, t, arg1, arg2);
2396951c6300SRichard Henderson         tcg_gen_op3_i64(INDEX_op_muluh_i64, rh, arg1, arg2);
2397951c6300SRichard Henderson         tcg_gen_mov_i64(rl, t);
2398951c6300SRichard Henderson         tcg_temp_free_i64(t);
2399951c6300SRichard Henderson     } else {
2400951c6300SRichard Henderson         TCGv_i64 t0 = tcg_temp_new_i64();
2401951c6300SRichard Henderson         tcg_gen_mul_i64(t0, arg1, arg2);
2402951c6300SRichard Henderson         gen_helper_muluh_i64(rh, arg1, arg2);
2403951c6300SRichard Henderson         tcg_gen_mov_i64(rl, t0);
2404951c6300SRichard Henderson         tcg_temp_free_i64(t0);
2405951c6300SRichard Henderson     }
2406951c6300SRichard Henderson }
2407951c6300SRichard Henderson 
2408951c6300SRichard Henderson void tcg_gen_muls2_i64(TCGv_i64 rl, TCGv_i64 rh, TCGv_i64 arg1, TCGv_i64 arg2)
2409951c6300SRichard Henderson {
2410951c6300SRichard Henderson     if (TCG_TARGET_HAS_muls2_i64) {
2411951c6300SRichard Henderson         tcg_gen_op4_i64(INDEX_op_muls2_i64, rl, rh, arg1, arg2);
2412951c6300SRichard Henderson     } else if (TCG_TARGET_HAS_mulsh_i64) {
2413951c6300SRichard Henderson         TCGv_i64 t = tcg_temp_new_i64();
2414951c6300SRichard Henderson         tcg_gen_op3_i64(INDEX_op_mul_i64, t, arg1, arg2);
2415951c6300SRichard Henderson         tcg_gen_op3_i64(INDEX_op_mulsh_i64, rh, arg1, arg2);
2416951c6300SRichard Henderson         tcg_gen_mov_i64(rl, t);
2417951c6300SRichard Henderson         tcg_temp_free_i64(t);
2418951c6300SRichard Henderson     } else if (TCG_TARGET_HAS_mulu2_i64 || TCG_TARGET_HAS_muluh_i64) {
2419951c6300SRichard Henderson         TCGv_i64 t0 = tcg_temp_new_i64();
2420951c6300SRichard Henderson         TCGv_i64 t1 = tcg_temp_new_i64();
2421951c6300SRichard Henderson         TCGv_i64 t2 = tcg_temp_new_i64();
2422951c6300SRichard Henderson         TCGv_i64 t3 = tcg_temp_new_i64();
2423951c6300SRichard Henderson         tcg_gen_mulu2_i64(t0, t1, arg1, arg2);
2424951c6300SRichard Henderson         /* Adjust for negative inputs.  */
2425951c6300SRichard Henderson         tcg_gen_sari_i64(t2, arg1, 63);
2426951c6300SRichard Henderson         tcg_gen_sari_i64(t3, arg2, 63);
2427951c6300SRichard Henderson         tcg_gen_and_i64(t2, t2, arg2);
2428951c6300SRichard Henderson         tcg_gen_and_i64(t3, t3, arg1);
2429951c6300SRichard Henderson         tcg_gen_sub_i64(rh, t1, t2);
2430951c6300SRichard Henderson         tcg_gen_sub_i64(rh, rh, t3);
2431951c6300SRichard Henderson         tcg_gen_mov_i64(rl, t0);
2432951c6300SRichard Henderson         tcg_temp_free_i64(t0);
2433951c6300SRichard Henderson         tcg_temp_free_i64(t1);
2434951c6300SRichard Henderson         tcg_temp_free_i64(t2);
2435951c6300SRichard Henderson         tcg_temp_free_i64(t3);
2436951c6300SRichard Henderson     } else {
2437951c6300SRichard Henderson         TCGv_i64 t0 = tcg_temp_new_i64();
2438951c6300SRichard Henderson         tcg_gen_mul_i64(t0, arg1, arg2);
2439951c6300SRichard Henderson         gen_helper_mulsh_i64(rh, arg1, arg2);
2440951c6300SRichard Henderson         tcg_gen_mov_i64(rl, t0);
2441951c6300SRichard Henderson         tcg_temp_free_i64(t0);
2442951c6300SRichard Henderson     }
2443951c6300SRichard Henderson }
2444951c6300SRichard Henderson 
24455087abfbSRichard Henderson void tcg_gen_mulsu2_i64(TCGv_i64 rl, TCGv_i64 rh, TCGv_i64 arg1, TCGv_i64 arg2)
24465087abfbSRichard Henderson {
24475087abfbSRichard Henderson     TCGv_i64 t0 = tcg_temp_new_i64();
24485087abfbSRichard Henderson     TCGv_i64 t1 = tcg_temp_new_i64();
24495087abfbSRichard Henderson     TCGv_i64 t2 = tcg_temp_new_i64();
24505087abfbSRichard Henderson     tcg_gen_mulu2_i64(t0, t1, arg1, arg2);
24515087abfbSRichard Henderson     /* Adjust for negative input for the signed arg1.  */
24525087abfbSRichard Henderson     tcg_gen_sari_i64(t2, arg1, 63);
24535087abfbSRichard Henderson     tcg_gen_and_i64(t2, t2, arg2);
24545087abfbSRichard Henderson     tcg_gen_sub_i64(rh, t1, t2);
24555087abfbSRichard Henderson     tcg_gen_mov_i64(rl, t0);
24565087abfbSRichard Henderson     tcg_temp_free_i64(t0);
24575087abfbSRichard Henderson     tcg_temp_free_i64(t1);
24585087abfbSRichard Henderson     tcg_temp_free_i64(t2);
24595087abfbSRichard Henderson }
24605087abfbSRichard Henderson 
2461*b87fb8cdSRichard Henderson void tcg_gen_smin_i64(TCGv_i64 ret, TCGv_i64 a, TCGv_i64 b)
2462*b87fb8cdSRichard Henderson {
2463*b87fb8cdSRichard Henderson     tcg_gen_movcond_i64(TCG_COND_LT, ret, a, b, a, b);
2464*b87fb8cdSRichard Henderson }
2465*b87fb8cdSRichard Henderson 
2466*b87fb8cdSRichard Henderson void tcg_gen_umin_i64(TCGv_i64 ret, TCGv_i64 a, TCGv_i64 b)
2467*b87fb8cdSRichard Henderson {
2468*b87fb8cdSRichard Henderson     tcg_gen_movcond_i64(TCG_COND_LTU, ret, a, b, a, b);
2469*b87fb8cdSRichard Henderson }
2470*b87fb8cdSRichard Henderson 
2471*b87fb8cdSRichard Henderson void tcg_gen_smax_i64(TCGv_i64 ret, TCGv_i64 a, TCGv_i64 b)
2472*b87fb8cdSRichard Henderson {
2473*b87fb8cdSRichard Henderson     tcg_gen_movcond_i64(TCG_COND_LT, ret, a, b, b, a);
2474*b87fb8cdSRichard Henderson }
2475*b87fb8cdSRichard Henderson 
2476*b87fb8cdSRichard Henderson void tcg_gen_umax_i64(TCGv_i64 ret, TCGv_i64 a, TCGv_i64 b)
2477*b87fb8cdSRichard Henderson {
2478*b87fb8cdSRichard Henderson     tcg_gen_movcond_i64(TCG_COND_LTU, ret, a, b, b, a);
2479*b87fb8cdSRichard Henderson }
2480*b87fb8cdSRichard Henderson 
2481951c6300SRichard Henderson /* Size changing operations.  */
2482951c6300SRichard Henderson 
2483609ad705SRichard Henderson void tcg_gen_extrl_i64_i32(TCGv_i32 ret, TCGv_i64 arg)
2484951c6300SRichard Henderson {
24853a13c3f3SRichard Henderson     if (TCG_TARGET_REG_BITS == 32) {
2486951c6300SRichard Henderson         tcg_gen_mov_i32(ret, TCGV_LOW(arg));
2487609ad705SRichard Henderson     } else if (TCG_TARGET_HAS_extrl_i64_i32) {
2488b7e8b17aSRichard Henderson         tcg_gen_op2(INDEX_op_extrl_i64_i32,
2489ae8b75dcSRichard Henderson                     tcgv_i32_arg(ret), tcgv_i64_arg(arg));
2490951c6300SRichard Henderson     } else {
2491dc41aa7dSRichard Henderson         tcg_gen_mov_i32(ret, (TCGv_i32)arg);
2492609ad705SRichard Henderson     }
2493609ad705SRichard Henderson }
2494609ad705SRichard Henderson 
2495609ad705SRichard Henderson void tcg_gen_extrh_i64_i32(TCGv_i32 ret, TCGv_i64 arg)
2496609ad705SRichard Henderson {
2497609ad705SRichard Henderson     if (TCG_TARGET_REG_BITS == 32) {
2498609ad705SRichard Henderson         tcg_gen_mov_i32(ret, TCGV_HIGH(arg));
2499609ad705SRichard Henderson     } else if (TCG_TARGET_HAS_extrh_i64_i32) {
2500b7e8b17aSRichard Henderson         tcg_gen_op2(INDEX_op_extrh_i64_i32,
2501ae8b75dcSRichard Henderson                     tcgv_i32_arg(ret), tcgv_i64_arg(arg));
2502951c6300SRichard Henderson     } else {
2503951c6300SRichard Henderson         TCGv_i64 t = tcg_temp_new_i64();
2504609ad705SRichard Henderson         tcg_gen_shri_i64(t, arg, 32);
2505dc41aa7dSRichard Henderson         tcg_gen_mov_i32(ret, (TCGv_i32)t);
2506951c6300SRichard Henderson         tcg_temp_free_i64(t);
2507951c6300SRichard Henderson     }
2508951c6300SRichard Henderson }
2509951c6300SRichard Henderson 
2510951c6300SRichard Henderson void tcg_gen_extu_i32_i64(TCGv_i64 ret, TCGv_i32 arg)
2511951c6300SRichard Henderson {
25123a13c3f3SRichard Henderson     if (TCG_TARGET_REG_BITS == 32) {
2513951c6300SRichard Henderson         tcg_gen_mov_i32(TCGV_LOW(ret), arg);
2514951c6300SRichard Henderson         tcg_gen_movi_i32(TCGV_HIGH(ret), 0);
25153a13c3f3SRichard Henderson     } else {
2516b7e8b17aSRichard Henderson         tcg_gen_op2(INDEX_op_extu_i32_i64,
2517ae8b75dcSRichard Henderson                     tcgv_i64_arg(ret), tcgv_i32_arg(arg));
25183a13c3f3SRichard Henderson     }
2519951c6300SRichard Henderson }
2520951c6300SRichard Henderson 
2521951c6300SRichard Henderson void tcg_gen_ext_i32_i64(TCGv_i64 ret, TCGv_i32 arg)
2522951c6300SRichard Henderson {
25233a13c3f3SRichard Henderson     if (TCG_TARGET_REG_BITS == 32) {
2524951c6300SRichard Henderson         tcg_gen_mov_i32(TCGV_LOW(ret), arg);
2525951c6300SRichard Henderson         tcg_gen_sari_i32(TCGV_HIGH(ret), TCGV_LOW(ret), 31);
25263a13c3f3SRichard Henderson     } else {
2527b7e8b17aSRichard Henderson         tcg_gen_op2(INDEX_op_ext_i32_i64,
2528ae8b75dcSRichard Henderson                     tcgv_i64_arg(ret), tcgv_i32_arg(arg));
25293a13c3f3SRichard Henderson     }
2530951c6300SRichard Henderson }
2531951c6300SRichard Henderson 
2532951c6300SRichard Henderson void tcg_gen_concat_i32_i64(TCGv_i64 dest, TCGv_i32 low, TCGv_i32 high)
2533951c6300SRichard Henderson {
25343a13c3f3SRichard Henderson     TCGv_i64 tmp;
25353a13c3f3SRichard Henderson 
25363a13c3f3SRichard Henderson     if (TCG_TARGET_REG_BITS == 32) {
2537951c6300SRichard Henderson         tcg_gen_mov_i32(TCGV_LOW(dest), low);
2538951c6300SRichard Henderson         tcg_gen_mov_i32(TCGV_HIGH(dest), high);
25393a13c3f3SRichard Henderson         return;
25403a13c3f3SRichard Henderson     }
25413a13c3f3SRichard Henderson 
25423a13c3f3SRichard Henderson     tmp = tcg_temp_new_i64();
2543951c6300SRichard Henderson     /* These extensions are only needed for type correctness.
2544951c6300SRichard Henderson        We may be able to do better given target specific information.  */
2545951c6300SRichard Henderson     tcg_gen_extu_i32_i64(tmp, high);
2546951c6300SRichard Henderson     tcg_gen_extu_i32_i64(dest, low);
2547951c6300SRichard Henderson     /* If deposit is available, use it.  Otherwise use the extra
2548951c6300SRichard Henderson        knowledge that we have of the zero-extensions above.  */
2549951c6300SRichard Henderson     if (TCG_TARGET_HAS_deposit_i64 && TCG_TARGET_deposit_i64_valid(32, 32)) {
2550951c6300SRichard Henderson         tcg_gen_deposit_i64(dest, dest, tmp, 32, 32);
2551951c6300SRichard Henderson     } else {
2552951c6300SRichard Henderson         tcg_gen_shli_i64(tmp, tmp, 32);
2553951c6300SRichard Henderson         tcg_gen_or_i64(dest, dest, tmp);
2554951c6300SRichard Henderson     }
2555951c6300SRichard Henderson     tcg_temp_free_i64(tmp);
2556951c6300SRichard Henderson }
2557951c6300SRichard Henderson 
2558951c6300SRichard Henderson void tcg_gen_extr_i64_i32(TCGv_i32 lo, TCGv_i32 hi, TCGv_i64 arg)
2559951c6300SRichard Henderson {
25603a13c3f3SRichard Henderson     if (TCG_TARGET_REG_BITS == 32) {
2561951c6300SRichard Henderson         tcg_gen_mov_i32(lo, TCGV_LOW(arg));
2562951c6300SRichard Henderson         tcg_gen_mov_i32(hi, TCGV_HIGH(arg));
25633a13c3f3SRichard Henderson     } else {
2564609ad705SRichard Henderson         tcg_gen_extrl_i64_i32(lo, arg);
2565609ad705SRichard Henderson         tcg_gen_extrh_i64_i32(hi, arg);
25663a13c3f3SRichard Henderson     }
2567951c6300SRichard Henderson }
2568951c6300SRichard Henderson 
2569951c6300SRichard Henderson void tcg_gen_extr32_i64(TCGv_i64 lo, TCGv_i64 hi, TCGv_i64 arg)
2570951c6300SRichard Henderson {
2571951c6300SRichard Henderson     tcg_gen_ext32u_i64(lo, arg);
2572951c6300SRichard Henderson     tcg_gen_shri_i64(hi, arg, 32);
2573951c6300SRichard Henderson }
2574951c6300SRichard Henderson 
2575951c6300SRichard Henderson /* QEMU specific operations.  */
2576951c6300SRichard Henderson 
2577951c6300SRichard Henderson void tcg_gen_goto_tb(unsigned idx)
2578951c6300SRichard Henderson {
2579951c6300SRichard Henderson     /* We only support two chained exits.  */
2580951c6300SRichard Henderson     tcg_debug_assert(idx <= 1);
2581951c6300SRichard Henderson #ifdef CONFIG_DEBUG_TCG
2582951c6300SRichard Henderson     /* Verify that we havn't seen this numbered exit before.  */
2583b1311c4aSEmilio G. Cota     tcg_debug_assert((tcg_ctx->goto_tb_issue_mask & (1 << idx)) == 0);
2584b1311c4aSEmilio G. Cota     tcg_ctx->goto_tb_issue_mask |= 1 << idx;
2585951c6300SRichard Henderson #endif
2586951c6300SRichard Henderson     tcg_gen_op1i(INDEX_op_goto_tb, idx);
2587951c6300SRichard Henderson }
2588951c6300SRichard Henderson 
25897f11636dSEmilio G. Cota void tcg_gen_lookup_and_goto_ptr(void)
2590cedbcb01SEmilio G. Cota {
2591cedbcb01SEmilio G. Cota     if (TCG_TARGET_HAS_goto_ptr && !qemu_loglevel_mask(CPU_LOG_TB_NOCHAIN)) {
2592cedbcb01SEmilio G. Cota         TCGv_ptr ptr = tcg_temp_new_ptr();
25931c2adb95SRichard Henderson         gen_helper_lookup_tb_ptr(ptr, cpu_env);
2594ae8b75dcSRichard Henderson         tcg_gen_op1i(INDEX_op_goto_ptr, tcgv_ptr_arg(ptr));
2595cedbcb01SEmilio G. Cota         tcg_temp_free_ptr(ptr);
2596cedbcb01SEmilio G. Cota     } else {
2597cedbcb01SEmilio G. Cota         tcg_gen_exit_tb(0);
2598cedbcb01SEmilio G. Cota     }
2599cedbcb01SEmilio G. Cota }
2600cedbcb01SEmilio G. Cota 
2601951c6300SRichard Henderson static inline TCGMemOp tcg_canonicalize_memop(TCGMemOp op, bool is64, bool st)
2602951c6300SRichard Henderson {
26031f00b27fSSergey Sorokin     /* Trigger the asserts within as early as possible.  */
26041f00b27fSSergey Sorokin     (void)get_alignment_bits(op);
26051f00b27fSSergey Sorokin 
2606951c6300SRichard Henderson     switch (op & MO_SIZE) {
2607951c6300SRichard Henderson     case MO_8:
2608951c6300SRichard Henderson         op &= ~MO_BSWAP;
2609951c6300SRichard Henderson         break;
2610951c6300SRichard Henderson     case MO_16:
2611951c6300SRichard Henderson         break;
2612951c6300SRichard Henderson     case MO_32:
2613951c6300SRichard Henderson         if (!is64) {
2614951c6300SRichard Henderson             op &= ~MO_SIGN;
2615951c6300SRichard Henderson         }
2616951c6300SRichard Henderson         break;
2617951c6300SRichard Henderson     case MO_64:
2618951c6300SRichard Henderson         if (!is64) {
2619951c6300SRichard Henderson             tcg_abort();
2620951c6300SRichard Henderson         }
2621951c6300SRichard Henderson         break;
2622951c6300SRichard Henderson     }
2623951c6300SRichard Henderson     if (st) {
2624951c6300SRichard Henderson         op &= ~MO_SIGN;
2625951c6300SRichard Henderson     }
2626951c6300SRichard Henderson     return op;
2627951c6300SRichard Henderson }
2628951c6300SRichard Henderson 
2629c45cb8bbSRichard Henderson static void gen_ldst_i32(TCGOpcode opc, TCGv_i32 val, TCGv addr,
2630c45cb8bbSRichard Henderson                          TCGMemOp memop, TCGArg idx)
2631951c6300SRichard Henderson {
263259227d5dSRichard Henderson     TCGMemOpIdx oi = make_memop_idx(memop, idx);
2633951c6300SRichard Henderson #if TARGET_LONG_BITS == 32
263459227d5dSRichard Henderson     tcg_gen_op3i_i32(opc, val, addr, oi);
2635951c6300SRichard Henderson #else
2636c45cb8bbSRichard Henderson     if (TCG_TARGET_REG_BITS == 32) {
263759227d5dSRichard Henderson         tcg_gen_op4i_i32(opc, val, TCGV_LOW(addr), TCGV_HIGH(addr), oi);
2638c45cb8bbSRichard Henderson     } else {
2639ae8b75dcSRichard Henderson         tcg_gen_op3(opc, tcgv_i32_arg(val), tcgv_i64_arg(addr), oi);
2640c45cb8bbSRichard Henderson     }
2641951c6300SRichard Henderson #endif
2642c45cb8bbSRichard Henderson }
2643c45cb8bbSRichard Henderson 
2644c45cb8bbSRichard Henderson static void gen_ldst_i64(TCGOpcode opc, TCGv_i64 val, TCGv addr,
2645c45cb8bbSRichard Henderson                          TCGMemOp memop, TCGArg idx)
2646c45cb8bbSRichard Henderson {
264759227d5dSRichard Henderson     TCGMemOpIdx oi = make_memop_idx(memop, idx);
2648c45cb8bbSRichard Henderson #if TARGET_LONG_BITS == 32
2649c45cb8bbSRichard Henderson     if (TCG_TARGET_REG_BITS == 32) {
265059227d5dSRichard Henderson         tcg_gen_op4i_i32(opc, TCGV_LOW(val), TCGV_HIGH(val), addr, oi);
2651c45cb8bbSRichard Henderson     } else {
2652ae8b75dcSRichard Henderson         tcg_gen_op3(opc, tcgv_i64_arg(val), tcgv_i32_arg(addr), oi);
2653c45cb8bbSRichard Henderson     }
2654c45cb8bbSRichard Henderson #else
2655c45cb8bbSRichard Henderson     if (TCG_TARGET_REG_BITS == 32) {
265659227d5dSRichard Henderson         tcg_gen_op5i_i32(opc, TCGV_LOW(val), TCGV_HIGH(val),
265759227d5dSRichard Henderson                          TCGV_LOW(addr), TCGV_HIGH(addr), oi);
2658c45cb8bbSRichard Henderson     } else {
265959227d5dSRichard Henderson         tcg_gen_op3i_i64(opc, val, addr, oi);
2660c45cb8bbSRichard Henderson     }
2661c45cb8bbSRichard Henderson #endif
2662c45cb8bbSRichard Henderson }
2663951c6300SRichard Henderson 
2664b32dc337SPranith Kumar static void tcg_gen_req_mo(TCGBar type)
2665b32dc337SPranith Kumar {
2666b32dc337SPranith Kumar #ifdef TCG_GUEST_DEFAULT_MO
2667b32dc337SPranith Kumar     type &= TCG_GUEST_DEFAULT_MO;
2668b32dc337SPranith Kumar #endif
2669b32dc337SPranith Kumar     type &= ~TCG_TARGET_DEFAULT_MO;
2670b32dc337SPranith Kumar     if (type) {
2671b32dc337SPranith Kumar         tcg_gen_mb(type | TCG_BAR_SC);
2672b32dc337SPranith Kumar     }
2673b32dc337SPranith Kumar }
2674b32dc337SPranith Kumar 
2675951c6300SRichard Henderson void tcg_gen_qemu_ld_i32(TCGv_i32 val, TCGv addr, TCGArg idx, TCGMemOp memop)
2676951c6300SRichard Henderson {
2677b32dc337SPranith Kumar     tcg_gen_req_mo(TCG_MO_LD_LD | TCG_MO_ST_LD);
2678951c6300SRichard Henderson     memop = tcg_canonicalize_memop(memop, 0, 0);
26791c2adb95SRichard Henderson     trace_guest_mem_before_tcg(tcg_ctx->cpu, cpu_env,
2680dcdaadb6SLluís Vilanova                                addr, trace_mem_get_info(memop, 0));
2681c45cb8bbSRichard Henderson     gen_ldst_i32(INDEX_op_qemu_ld_i32, val, addr, memop, idx);
2682951c6300SRichard Henderson }
2683951c6300SRichard Henderson 
2684951c6300SRichard Henderson void tcg_gen_qemu_st_i32(TCGv_i32 val, TCGv addr, TCGArg idx, TCGMemOp memop)
2685951c6300SRichard Henderson {
2686b32dc337SPranith Kumar     tcg_gen_req_mo(TCG_MO_LD_ST | TCG_MO_ST_ST);
2687951c6300SRichard Henderson     memop = tcg_canonicalize_memop(memop, 0, 1);
26881c2adb95SRichard Henderson     trace_guest_mem_before_tcg(tcg_ctx->cpu, cpu_env,
2689dcdaadb6SLluís Vilanova                                addr, trace_mem_get_info(memop, 1));
2690c45cb8bbSRichard Henderson     gen_ldst_i32(INDEX_op_qemu_st_i32, val, addr, memop, idx);
2691951c6300SRichard Henderson }
2692951c6300SRichard Henderson 
2693951c6300SRichard Henderson void tcg_gen_qemu_ld_i64(TCGv_i64 val, TCGv addr, TCGArg idx, TCGMemOp memop)
2694951c6300SRichard Henderson {
2695b32dc337SPranith Kumar     tcg_gen_req_mo(TCG_MO_LD_LD | TCG_MO_ST_LD);
26963a13c3f3SRichard Henderson     if (TCG_TARGET_REG_BITS == 32 && (memop & MO_SIZE) < MO_64) {
2697951c6300SRichard Henderson         tcg_gen_qemu_ld_i32(TCGV_LOW(val), addr, idx, memop);
2698951c6300SRichard Henderson         if (memop & MO_SIGN) {
2699951c6300SRichard Henderson             tcg_gen_sari_i32(TCGV_HIGH(val), TCGV_LOW(val), 31);
2700951c6300SRichard Henderson         } else {
2701951c6300SRichard Henderson             tcg_gen_movi_i32(TCGV_HIGH(val), 0);
2702951c6300SRichard Henderson         }
2703951c6300SRichard Henderson         return;
2704951c6300SRichard Henderson     }
2705951c6300SRichard Henderson 
2706c45cb8bbSRichard Henderson     memop = tcg_canonicalize_memop(memop, 1, 0);
27071c2adb95SRichard Henderson     trace_guest_mem_before_tcg(tcg_ctx->cpu, cpu_env,
2708dcdaadb6SLluís Vilanova                                addr, trace_mem_get_info(memop, 0));
2709c45cb8bbSRichard Henderson     gen_ldst_i64(INDEX_op_qemu_ld_i64, val, addr, memop, idx);
2710951c6300SRichard Henderson }
2711951c6300SRichard Henderson 
2712951c6300SRichard Henderson void tcg_gen_qemu_st_i64(TCGv_i64 val, TCGv addr, TCGArg idx, TCGMemOp memop)
2713951c6300SRichard Henderson {
2714b32dc337SPranith Kumar     tcg_gen_req_mo(TCG_MO_LD_ST | TCG_MO_ST_ST);
27153a13c3f3SRichard Henderson     if (TCG_TARGET_REG_BITS == 32 && (memop & MO_SIZE) < MO_64) {
2716951c6300SRichard Henderson         tcg_gen_qemu_st_i32(TCGV_LOW(val), addr, idx, memop);
2717951c6300SRichard Henderson         return;
2718951c6300SRichard Henderson     }
2719951c6300SRichard Henderson 
2720c45cb8bbSRichard Henderson     memop = tcg_canonicalize_memop(memop, 1, 1);
27211c2adb95SRichard Henderson     trace_guest_mem_before_tcg(tcg_ctx->cpu, cpu_env,
2722dcdaadb6SLluís Vilanova                                addr, trace_mem_get_info(memop, 1));
2723c45cb8bbSRichard Henderson     gen_ldst_i64(INDEX_op_qemu_st_i64, val, addr, memop, idx);
2724951c6300SRichard Henderson }
2725c482cb11SRichard Henderson 
2726c482cb11SRichard Henderson static void tcg_gen_ext_i32(TCGv_i32 ret, TCGv_i32 val, TCGMemOp opc)
2727c482cb11SRichard Henderson {
2728c482cb11SRichard Henderson     switch (opc & MO_SSIZE) {
2729c482cb11SRichard Henderson     case MO_SB:
2730c482cb11SRichard Henderson         tcg_gen_ext8s_i32(ret, val);
2731c482cb11SRichard Henderson         break;
2732c482cb11SRichard Henderson     case MO_UB:
2733c482cb11SRichard Henderson         tcg_gen_ext8u_i32(ret, val);
2734c482cb11SRichard Henderson         break;
2735c482cb11SRichard Henderson     case MO_SW:
2736c482cb11SRichard Henderson         tcg_gen_ext16s_i32(ret, val);
2737c482cb11SRichard Henderson         break;
2738c482cb11SRichard Henderson     case MO_UW:
2739c482cb11SRichard Henderson         tcg_gen_ext16u_i32(ret, val);
2740c482cb11SRichard Henderson         break;
2741c482cb11SRichard Henderson     default:
2742c482cb11SRichard Henderson         tcg_gen_mov_i32(ret, val);
2743c482cb11SRichard Henderson         break;
2744c482cb11SRichard Henderson     }
2745c482cb11SRichard Henderson }
2746c482cb11SRichard Henderson 
2747c482cb11SRichard Henderson static void tcg_gen_ext_i64(TCGv_i64 ret, TCGv_i64 val, TCGMemOp opc)
2748c482cb11SRichard Henderson {
2749c482cb11SRichard Henderson     switch (opc & MO_SSIZE) {
2750c482cb11SRichard Henderson     case MO_SB:
2751c482cb11SRichard Henderson         tcg_gen_ext8s_i64(ret, val);
2752c482cb11SRichard Henderson         break;
2753c482cb11SRichard Henderson     case MO_UB:
2754c482cb11SRichard Henderson         tcg_gen_ext8u_i64(ret, val);
2755c482cb11SRichard Henderson         break;
2756c482cb11SRichard Henderson     case MO_SW:
2757c482cb11SRichard Henderson         tcg_gen_ext16s_i64(ret, val);
2758c482cb11SRichard Henderson         break;
2759c482cb11SRichard Henderson     case MO_UW:
2760c482cb11SRichard Henderson         tcg_gen_ext16u_i64(ret, val);
2761c482cb11SRichard Henderson         break;
2762c482cb11SRichard Henderson     case MO_SL:
2763c482cb11SRichard Henderson         tcg_gen_ext32s_i64(ret, val);
2764c482cb11SRichard Henderson         break;
2765c482cb11SRichard Henderson     case MO_UL:
2766c482cb11SRichard Henderson         tcg_gen_ext32u_i64(ret, val);
2767c482cb11SRichard Henderson         break;
2768c482cb11SRichard Henderson     default:
2769c482cb11SRichard Henderson         tcg_gen_mov_i64(ret, val);
2770c482cb11SRichard Henderson         break;
2771c482cb11SRichard Henderson     }
2772c482cb11SRichard Henderson }
2773c482cb11SRichard Henderson 
2774c482cb11SRichard Henderson #ifdef CONFIG_SOFTMMU
2775c482cb11SRichard Henderson typedef void (*gen_atomic_cx_i32)(TCGv_i32, TCGv_env, TCGv,
2776c482cb11SRichard Henderson                                   TCGv_i32, TCGv_i32, TCGv_i32);
2777c482cb11SRichard Henderson typedef void (*gen_atomic_cx_i64)(TCGv_i64, TCGv_env, TCGv,
2778c482cb11SRichard Henderson                                   TCGv_i64, TCGv_i64, TCGv_i32);
2779c482cb11SRichard Henderson typedef void (*gen_atomic_op_i32)(TCGv_i32, TCGv_env, TCGv,
2780c482cb11SRichard Henderson                                   TCGv_i32, TCGv_i32);
2781c482cb11SRichard Henderson typedef void (*gen_atomic_op_i64)(TCGv_i64, TCGv_env, TCGv,
2782c482cb11SRichard Henderson                                   TCGv_i64, TCGv_i32);
2783c482cb11SRichard Henderson #else
2784c482cb11SRichard Henderson typedef void (*gen_atomic_cx_i32)(TCGv_i32, TCGv_env, TCGv, TCGv_i32, TCGv_i32);
2785c482cb11SRichard Henderson typedef void (*gen_atomic_cx_i64)(TCGv_i64, TCGv_env, TCGv, TCGv_i64, TCGv_i64);
2786c482cb11SRichard Henderson typedef void (*gen_atomic_op_i32)(TCGv_i32, TCGv_env, TCGv, TCGv_i32);
2787c482cb11SRichard Henderson typedef void (*gen_atomic_op_i64)(TCGv_i64, TCGv_env, TCGv, TCGv_i64);
2788c482cb11SRichard Henderson #endif
2789c482cb11SRichard Henderson 
2790df79b996SRichard Henderson #ifdef CONFIG_ATOMIC64
2791df79b996SRichard Henderson # define WITH_ATOMIC64(X) X,
2792df79b996SRichard Henderson #else
2793df79b996SRichard Henderson # define WITH_ATOMIC64(X)
2794df79b996SRichard Henderson #endif
2795df79b996SRichard Henderson 
2796c482cb11SRichard Henderson static void * const table_cmpxchg[16] = {
2797c482cb11SRichard Henderson     [MO_8] = gen_helper_atomic_cmpxchgb,
2798c482cb11SRichard Henderson     [MO_16 | MO_LE] = gen_helper_atomic_cmpxchgw_le,
2799c482cb11SRichard Henderson     [MO_16 | MO_BE] = gen_helper_atomic_cmpxchgw_be,
2800c482cb11SRichard Henderson     [MO_32 | MO_LE] = gen_helper_atomic_cmpxchgl_le,
2801c482cb11SRichard Henderson     [MO_32 | MO_BE] = gen_helper_atomic_cmpxchgl_be,
2802df79b996SRichard Henderson     WITH_ATOMIC64([MO_64 | MO_LE] = gen_helper_atomic_cmpxchgq_le)
2803df79b996SRichard Henderson     WITH_ATOMIC64([MO_64 | MO_BE] = gen_helper_atomic_cmpxchgq_be)
2804c482cb11SRichard Henderson };
2805c482cb11SRichard Henderson 
2806c482cb11SRichard Henderson void tcg_gen_atomic_cmpxchg_i32(TCGv_i32 retv, TCGv addr, TCGv_i32 cmpv,
2807c482cb11SRichard Henderson                                 TCGv_i32 newv, TCGArg idx, TCGMemOp memop)
2808c482cb11SRichard Henderson {
2809c482cb11SRichard Henderson     memop = tcg_canonicalize_memop(memop, 0, 0);
2810c482cb11SRichard Henderson 
2811b1311c4aSEmilio G. Cota     if (!(tcg_ctx->tb_cflags & CF_PARALLEL)) {
2812c482cb11SRichard Henderson         TCGv_i32 t1 = tcg_temp_new_i32();
2813c482cb11SRichard Henderson         TCGv_i32 t2 = tcg_temp_new_i32();
2814c482cb11SRichard Henderson 
2815c482cb11SRichard Henderson         tcg_gen_ext_i32(t2, cmpv, memop & MO_SIZE);
2816c482cb11SRichard Henderson 
2817c482cb11SRichard Henderson         tcg_gen_qemu_ld_i32(t1, addr, idx, memop & ~MO_SIGN);
2818c482cb11SRichard Henderson         tcg_gen_movcond_i32(TCG_COND_EQ, t2, t1, t2, newv, t1);
2819c482cb11SRichard Henderson         tcg_gen_qemu_st_i32(t2, addr, idx, memop);
2820c482cb11SRichard Henderson         tcg_temp_free_i32(t2);
2821c482cb11SRichard Henderson 
2822c482cb11SRichard Henderson         if (memop & MO_SIGN) {
2823c482cb11SRichard Henderson             tcg_gen_ext_i32(retv, t1, memop);
2824c482cb11SRichard Henderson         } else {
2825c482cb11SRichard Henderson             tcg_gen_mov_i32(retv, t1);
2826c482cb11SRichard Henderson         }
2827c482cb11SRichard Henderson         tcg_temp_free_i32(t1);
2828c482cb11SRichard Henderson     } else {
2829c482cb11SRichard Henderson         gen_atomic_cx_i32 gen;
2830c482cb11SRichard Henderson 
2831c482cb11SRichard Henderson         gen = table_cmpxchg[memop & (MO_SIZE | MO_BSWAP)];
2832c482cb11SRichard Henderson         tcg_debug_assert(gen != NULL);
2833c482cb11SRichard Henderson 
2834c482cb11SRichard Henderson #ifdef CONFIG_SOFTMMU
2835c482cb11SRichard Henderson         {
2836c482cb11SRichard Henderson             TCGv_i32 oi = tcg_const_i32(make_memop_idx(memop & ~MO_SIGN, idx));
28371c2adb95SRichard Henderson             gen(retv, cpu_env, addr, cmpv, newv, oi);
2838c482cb11SRichard Henderson             tcg_temp_free_i32(oi);
2839c482cb11SRichard Henderson         }
2840c482cb11SRichard Henderson #else
28411c2adb95SRichard Henderson         gen(retv, cpu_env, addr, cmpv, newv);
2842c482cb11SRichard Henderson #endif
2843c482cb11SRichard Henderson 
2844c482cb11SRichard Henderson         if (memop & MO_SIGN) {
2845c482cb11SRichard Henderson             tcg_gen_ext_i32(retv, retv, memop);
2846c482cb11SRichard Henderson         }
2847c482cb11SRichard Henderson     }
2848c482cb11SRichard Henderson }
2849c482cb11SRichard Henderson 
2850c482cb11SRichard Henderson void tcg_gen_atomic_cmpxchg_i64(TCGv_i64 retv, TCGv addr, TCGv_i64 cmpv,
2851c482cb11SRichard Henderson                                 TCGv_i64 newv, TCGArg idx, TCGMemOp memop)
2852c482cb11SRichard Henderson {
2853c482cb11SRichard Henderson     memop = tcg_canonicalize_memop(memop, 1, 0);
2854c482cb11SRichard Henderson 
2855b1311c4aSEmilio G. Cota     if (!(tcg_ctx->tb_cflags & CF_PARALLEL)) {
2856c482cb11SRichard Henderson         TCGv_i64 t1 = tcg_temp_new_i64();
2857c482cb11SRichard Henderson         TCGv_i64 t2 = tcg_temp_new_i64();
2858c482cb11SRichard Henderson 
2859c482cb11SRichard Henderson         tcg_gen_ext_i64(t2, cmpv, memop & MO_SIZE);
2860c482cb11SRichard Henderson 
2861c482cb11SRichard Henderson         tcg_gen_qemu_ld_i64(t1, addr, idx, memop & ~MO_SIGN);
2862c482cb11SRichard Henderson         tcg_gen_movcond_i64(TCG_COND_EQ, t2, t1, t2, newv, t1);
2863c482cb11SRichard Henderson         tcg_gen_qemu_st_i64(t2, addr, idx, memop);
2864c482cb11SRichard Henderson         tcg_temp_free_i64(t2);
2865c482cb11SRichard Henderson 
2866c482cb11SRichard Henderson         if (memop & MO_SIGN) {
2867c482cb11SRichard Henderson             tcg_gen_ext_i64(retv, t1, memop);
2868c482cb11SRichard Henderson         } else {
2869c482cb11SRichard Henderson             tcg_gen_mov_i64(retv, t1);
2870c482cb11SRichard Henderson         }
2871c482cb11SRichard Henderson         tcg_temp_free_i64(t1);
2872c482cb11SRichard Henderson     } else if ((memop & MO_SIZE) == MO_64) {
2873df79b996SRichard Henderson #ifdef CONFIG_ATOMIC64
2874c482cb11SRichard Henderson         gen_atomic_cx_i64 gen;
2875c482cb11SRichard Henderson 
2876c482cb11SRichard Henderson         gen = table_cmpxchg[memop & (MO_SIZE | MO_BSWAP)];
2877c482cb11SRichard Henderson         tcg_debug_assert(gen != NULL);
2878c482cb11SRichard Henderson 
2879c482cb11SRichard Henderson #ifdef CONFIG_SOFTMMU
2880c482cb11SRichard Henderson         {
2881c482cb11SRichard Henderson             TCGv_i32 oi = tcg_const_i32(make_memop_idx(memop, idx));
28821c2adb95SRichard Henderson             gen(retv, cpu_env, addr, cmpv, newv, oi);
2883c482cb11SRichard Henderson             tcg_temp_free_i32(oi);
2884c482cb11SRichard Henderson         }
2885c482cb11SRichard Henderson #else
28861c2adb95SRichard Henderson         gen(retv, cpu_env, addr, cmpv, newv);
2887c482cb11SRichard Henderson #endif
2888df79b996SRichard Henderson #else
28891c2adb95SRichard Henderson         gen_helper_exit_atomic(cpu_env);
289079b1af90SRichard Henderson         /* Produce a result, so that we have a well-formed opcode stream
289179b1af90SRichard Henderson            with respect to uses of the result in the (dead) code following.  */
289279b1af90SRichard Henderson         tcg_gen_movi_i64(retv, 0);
2893df79b996SRichard Henderson #endif /* CONFIG_ATOMIC64 */
2894c482cb11SRichard Henderson     } else {
2895c482cb11SRichard Henderson         TCGv_i32 c32 = tcg_temp_new_i32();
2896c482cb11SRichard Henderson         TCGv_i32 n32 = tcg_temp_new_i32();
2897c482cb11SRichard Henderson         TCGv_i32 r32 = tcg_temp_new_i32();
2898c482cb11SRichard Henderson 
2899c482cb11SRichard Henderson         tcg_gen_extrl_i64_i32(c32, cmpv);
2900c482cb11SRichard Henderson         tcg_gen_extrl_i64_i32(n32, newv);
2901c482cb11SRichard Henderson         tcg_gen_atomic_cmpxchg_i32(r32, addr, c32, n32, idx, memop & ~MO_SIGN);
2902c482cb11SRichard Henderson         tcg_temp_free_i32(c32);
2903c482cb11SRichard Henderson         tcg_temp_free_i32(n32);
2904c482cb11SRichard Henderson 
2905c482cb11SRichard Henderson         tcg_gen_extu_i32_i64(retv, r32);
2906c482cb11SRichard Henderson         tcg_temp_free_i32(r32);
2907c482cb11SRichard Henderson 
2908c482cb11SRichard Henderson         if (memop & MO_SIGN) {
2909c482cb11SRichard Henderson             tcg_gen_ext_i64(retv, retv, memop);
2910c482cb11SRichard Henderson         }
2911c482cb11SRichard Henderson     }
2912c482cb11SRichard Henderson }
2913c482cb11SRichard Henderson 
2914c482cb11SRichard Henderson static void do_nonatomic_op_i32(TCGv_i32 ret, TCGv addr, TCGv_i32 val,
2915c482cb11SRichard Henderson                                 TCGArg idx, TCGMemOp memop, bool new_val,
2916c482cb11SRichard Henderson                                 void (*gen)(TCGv_i32, TCGv_i32, TCGv_i32))
2917c482cb11SRichard Henderson {
2918c482cb11SRichard Henderson     TCGv_i32 t1 = tcg_temp_new_i32();
2919c482cb11SRichard Henderson     TCGv_i32 t2 = tcg_temp_new_i32();
2920c482cb11SRichard Henderson 
2921c482cb11SRichard Henderson     memop = tcg_canonicalize_memop(memop, 0, 0);
2922c482cb11SRichard Henderson 
2923c482cb11SRichard Henderson     tcg_gen_qemu_ld_i32(t1, addr, idx, memop & ~MO_SIGN);
2924c482cb11SRichard Henderson     gen(t2, t1, val);
2925c482cb11SRichard Henderson     tcg_gen_qemu_st_i32(t2, addr, idx, memop);
2926c482cb11SRichard Henderson 
2927c482cb11SRichard Henderson     tcg_gen_ext_i32(ret, (new_val ? t2 : t1), memop);
2928c482cb11SRichard Henderson     tcg_temp_free_i32(t1);
2929c482cb11SRichard Henderson     tcg_temp_free_i32(t2);
2930c482cb11SRichard Henderson }
2931c482cb11SRichard Henderson 
2932c482cb11SRichard Henderson static void do_atomic_op_i32(TCGv_i32 ret, TCGv addr, TCGv_i32 val,
2933c482cb11SRichard Henderson                              TCGArg idx, TCGMemOp memop, void * const table[])
2934c482cb11SRichard Henderson {
2935c482cb11SRichard Henderson     gen_atomic_op_i32 gen;
2936c482cb11SRichard Henderson 
2937c482cb11SRichard Henderson     memop = tcg_canonicalize_memop(memop, 0, 0);
2938c482cb11SRichard Henderson 
2939c482cb11SRichard Henderson     gen = table[memop & (MO_SIZE | MO_BSWAP)];
2940c482cb11SRichard Henderson     tcg_debug_assert(gen != NULL);
2941c482cb11SRichard Henderson 
2942c482cb11SRichard Henderson #ifdef CONFIG_SOFTMMU
2943c482cb11SRichard Henderson     {
2944c482cb11SRichard Henderson         TCGv_i32 oi = tcg_const_i32(make_memop_idx(memop & ~MO_SIGN, idx));
29451c2adb95SRichard Henderson         gen(ret, cpu_env, addr, val, oi);
2946c482cb11SRichard Henderson         tcg_temp_free_i32(oi);
2947c482cb11SRichard Henderson     }
2948c482cb11SRichard Henderson #else
29491c2adb95SRichard Henderson     gen(ret, cpu_env, addr, val);
2950c482cb11SRichard Henderson #endif
2951c482cb11SRichard Henderson 
2952c482cb11SRichard Henderson     if (memop & MO_SIGN) {
2953c482cb11SRichard Henderson         tcg_gen_ext_i32(ret, ret, memop);
2954c482cb11SRichard Henderson     }
2955c482cb11SRichard Henderson }
2956c482cb11SRichard Henderson 
2957c482cb11SRichard Henderson static void do_nonatomic_op_i64(TCGv_i64 ret, TCGv addr, TCGv_i64 val,
2958c482cb11SRichard Henderson                                 TCGArg idx, TCGMemOp memop, bool new_val,
2959c482cb11SRichard Henderson                                 void (*gen)(TCGv_i64, TCGv_i64, TCGv_i64))
2960c482cb11SRichard Henderson {
2961c482cb11SRichard Henderson     TCGv_i64 t1 = tcg_temp_new_i64();
2962c482cb11SRichard Henderson     TCGv_i64 t2 = tcg_temp_new_i64();
2963c482cb11SRichard Henderson 
2964c482cb11SRichard Henderson     memop = tcg_canonicalize_memop(memop, 1, 0);
2965c482cb11SRichard Henderson 
2966c482cb11SRichard Henderson     tcg_gen_qemu_ld_i64(t1, addr, idx, memop & ~MO_SIGN);
2967c482cb11SRichard Henderson     gen(t2, t1, val);
2968c482cb11SRichard Henderson     tcg_gen_qemu_st_i64(t2, addr, idx, memop);
2969c482cb11SRichard Henderson 
2970c482cb11SRichard Henderson     tcg_gen_ext_i64(ret, (new_val ? t2 : t1), memop);
2971c482cb11SRichard Henderson     tcg_temp_free_i64(t1);
2972c482cb11SRichard Henderson     tcg_temp_free_i64(t2);
2973c482cb11SRichard Henderson }
2974c482cb11SRichard Henderson 
2975c482cb11SRichard Henderson static void do_atomic_op_i64(TCGv_i64 ret, TCGv addr, TCGv_i64 val,
2976c482cb11SRichard Henderson                              TCGArg idx, TCGMemOp memop, void * const table[])
2977c482cb11SRichard Henderson {
2978c482cb11SRichard Henderson     memop = tcg_canonicalize_memop(memop, 1, 0);
2979c482cb11SRichard Henderson 
2980c482cb11SRichard Henderson     if ((memop & MO_SIZE) == MO_64) {
2981df79b996SRichard Henderson #ifdef CONFIG_ATOMIC64
2982c482cb11SRichard Henderson         gen_atomic_op_i64 gen;
2983c482cb11SRichard Henderson 
2984c482cb11SRichard Henderson         gen = table[memop & (MO_SIZE | MO_BSWAP)];
2985c482cb11SRichard Henderson         tcg_debug_assert(gen != NULL);
2986c482cb11SRichard Henderson 
2987c482cb11SRichard Henderson #ifdef CONFIG_SOFTMMU
2988c482cb11SRichard Henderson         {
2989c482cb11SRichard Henderson             TCGv_i32 oi = tcg_const_i32(make_memop_idx(memop & ~MO_SIGN, idx));
29901c2adb95SRichard Henderson             gen(ret, cpu_env, addr, val, oi);
2991c482cb11SRichard Henderson             tcg_temp_free_i32(oi);
2992c482cb11SRichard Henderson         }
2993c482cb11SRichard Henderson #else
29941c2adb95SRichard Henderson         gen(ret, cpu_env, addr, val);
2995c482cb11SRichard Henderson #endif
2996df79b996SRichard Henderson #else
29971c2adb95SRichard Henderson         gen_helper_exit_atomic(cpu_env);
299879b1af90SRichard Henderson         /* Produce a result, so that we have a well-formed opcode stream
299979b1af90SRichard Henderson            with respect to uses of the result in the (dead) code following.  */
300079b1af90SRichard Henderson         tcg_gen_movi_i64(ret, 0);
3001df79b996SRichard Henderson #endif /* CONFIG_ATOMIC64 */
3002c482cb11SRichard Henderson     } else {
3003c482cb11SRichard Henderson         TCGv_i32 v32 = tcg_temp_new_i32();
3004c482cb11SRichard Henderson         TCGv_i32 r32 = tcg_temp_new_i32();
3005c482cb11SRichard Henderson 
3006c482cb11SRichard Henderson         tcg_gen_extrl_i64_i32(v32, val);
3007c482cb11SRichard Henderson         do_atomic_op_i32(r32, addr, v32, idx, memop & ~MO_SIGN, table);
3008c482cb11SRichard Henderson         tcg_temp_free_i32(v32);
3009c482cb11SRichard Henderson 
3010c482cb11SRichard Henderson         tcg_gen_extu_i32_i64(ret, r32);
3011c482cb11SRichard Henderson         tcg_temp_free_i32(r32);
3012c482cb11SRichard Henderson 
3013c482cb11SRichard Henderson         if (memop & MO_SIGN) {
3014c482cb11SRichard Henderson             tcg_gen_ext_i64(ret, ret, memop);
3015c482cb11SRichard Henderson         }
3016c482cb11SRichard Henderson     }
3017c482cb11SRichard Henderson }
3018c482cb11SRichard Henderson 
3019c482cb11SRichard Henderson #define GEN_ATOMIC_HELPER(NAME, OP, NEW)                                \
3020c482cb11SRichard Henderson static void * const table_##NAME[16] = {                                \
3021c482cb11SRichard Henderson     [MO_8] = gen_helper_atomic_##NAME##b,                               \
3022c482cb11SRichard Henderson     [MO_16 | MO_LE] = gen_helper_atomic_##NAME##w_le,                   \
3023c482cb11SRichard Henderson     [MO_16 | MO_BE] = gen_helper_atomic_##NAME##w_be,                   \
3024c482cb11SRichard Henderson     [MO_32 | MO_LE] = gen_helper_atomic_##NAME##l_le,                   \
3025c482cb11SRichard Henderson     [MO_32 | MO_BE] = gen_helper_atomic_##NAME##l_be,                   \
3026df79b996SRichard Henderson     WITH_ATOMIC64([MO_64 | MO_LE] = gen_helper_atomic_##NAME##q_le)     \
3027df79b996SRichard Henderson     WITH_ATOMIC64([MO_64 | MO_BE] = gen_helper_atomic_##NAME##q_be)     \
3028c482cb11SRichard Henderson };                                                                      \
3029c482cb11SRichard Henderson void tcg_gen_atomic_##NAME##_i32                                        \
3030c482cb11SRichard Henderson     (TCGv_i32 ret, TCGv addr, TCGv_i32 val, TCGArg idx, TCGMemOp memop) \
3031c482cb11SRichard Henderson {                                                                       \
3032b1311c4aSEmilio G. Cota     if (tcg_ctx->tb_cflags & CF_PARALLEL) {                             \
3033c482cb11SRichard Henderson         do_atomic_op_i32(ret, addr, val, idx, memop, table_##NAME);     \
3034c482cb11SRichard Henderson     } else {                                                            \
3035c482cb11SRichard Henderson         do_nonatomic_op_i32(ret, addr, val, idx, memop, NEW,            \
3036c482cb11SRichard Henderson                             tcg_gen_##OP##_i32);                        \
3037c482cb11SRichard Henderson     }                                                                   \
3038c482cb11SRichard Henderson }                                                                       \
3039c482cb11SRichard Henderson void tcg_gen_atomic_##NAME##_i64                                        \
3040c482cb11SRichard Henderson     (TCGv_i64 ret, TCGv addr, TCGv_i64 val, TCGArg idx, TCGMemOp memop) \
3041c482cb11SRichard Henderson {                                                                       \
3042b1311c4aSEmilio G. Cota     if (tcg_ctx->tb_cflags & CF_PARALLEL) {                             \
3043c482cb11SRichard Henderson         do_atomic_op_i64(ret, addr, val, idx, memop, table_##NAME);     \
3044c482cb11SRichard Henderson     } else {                                                            \
3045c482cb11SRichard Henderson         do_nonatomic_op_i64(ret, addr, val, idx, memop, NEW,            \
3046c482cb11SRichard Henderson                             tcg_gen_##OP##_i64);                        \
3047c482cb11SRichard Henderson     }                                                                   \
3048c482cb11SRichard Henderson }
3049c482cb11SRichard Henderson 
3050c482cb11SRichard Henderson GEN_ATOMIC_HELPER(fetch_add, add, 0)
3051c482cb11SRichard Henderson GEN_ATOMIC_HELPER(fetch_and, and, 0)
3052c482cb11SRichard Henderson GEN_ATOMIC_HELPER(fetch_or, or, 0)
3053c482cb11SRichard Henderson GEN_ATOMIC_HELPER(fetch_xor, xor, 0)
3054c482cb11SRichard Henderson 
3055c482cb11SRichard Henderson GEN_ATOMIC_HELPER(add_fetch, add, 1)
3056c482cb11SRichard Henderson GEN_ATOMIC_HELPER(and_fetch, and, 1)
3057c482cb11SRichard Henderson GEN_ATOMIC_HELPER(or_fetch, or, 1)
3058c482cb11SRichard Henderson GEN_ATOMIC_HELPER(xor_fetch, xor, 1)
3059c482cb11SRichard Henderson 
3060c482cb11SRichard Henderson static void tcg_gen_mov2_i32(TCGv_i32 r, TCGv_i32 a, TCGv_i32 b)
3061c482cb11SRichard Henderson {
3062c482cb11SRichard Henderson     tcg_gen_mov_i32(r, b);
3063c482cb11SRichard Henderson }
3064c482cb11SRichard Henderson 
3065c482cb11SRichard Henderson static void tcg_gen_mov2_i64(TCGv_i64 r, TCGv_i64 a, TCGv_i64 b)
3066c482cb11SRichard Henderson {
3067c482cb11SRichard Henderson     tcg_gen_mov_i64(r, b);
3068c482cb11SRichard Henderson }
3069c482cb11SRichard Henderson 
3070c482cb11SRichard Henderson GEN_ATOMIC_HELPER(xchg, mov2, 0)
3071c482cb11SRichard Henderson 
3072c482cb11SRichard Henderson #undef GEN_ATOMIC_HELPER
3073