]> git.proxmox.com Git - mirror_qemu.git/blame - tcg/sparc64/tcg-target.c.inc
Merge tag 'pull-maintainer-ominbus-300823-1' of https://gitlab.com/stsquad/qemu into...
[mirror_qemu.git] / tcg / sparc64 / tcg-target.c.inc
CommitLineData
8289b279
BS
1/*
2 * Tiny Code Generator for QEMU
3 *
4 * Copyright (c) 2008 Fabrice Bellard
5 *
6 * Permission is hereby granted, free of charge, to any person obtaining a copy
7 * of this software and associated documentation files (the "Software"), to deal
8 * in the Software without restriction, including without limitation the rights
9 * to use, copy, modify, merge, publish, distribute, sublicense, and/or sell
10 * copies of the Software, and to permit persons to whom the Software is
11 * furnished to do so, subject to the following conditions:
12 *
13 * The above copyright notice and this permission notice shall be included in
14 * all copies or substantial portions of the Software.
15 *
16 * THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND, EXPRESS OR
17 * IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF MERCHANTABILITY,
18 * FITNESS FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT. IN NO EVENT SHALL
19 * THE AUTHORS OR COPYRIGHT HOLDERS BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER
20 * LIABILITY, WHETHER IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING FROM,
21 * OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN
22 * THE SOFTWARE.
23 */
24
3a5f6805
RH
25/* We only support generating code for 64-bit mode. */
26#ifndef __arch64__
27#error "unsupported code generation mode"
28#endif
29
29086503 30#include "../tcg-ldst.c.inc"
139c1837 31#include "../tcg-pool.c.inc"
e9823b4c 32
8d8fdbae 33#ifdef CONFIG_DEBUG_TCG
8289b279
BS
34static const char * const tcg_target_reg_names[TCG_TARGET_NB_REGS] = {
35 "%g0",
36 "%g1",
37 "%g2",
38 "%g3",
39 "%g4",
40 "%g5",
41 "%g6",
42 "%g7",
43 "%o0",
44 "%o1",
45 "%o2",
46 "%o3",
47 "%o4",
48 "%o5",
49 "%o6",
50 "%o7",
51 "%l0",
52 "%l1",
53 "%l2",
54 "%l3",
55 "%l4",
56 "%l5",
57 "%l6",
58 "%l7",
59 "%i0",
60 "%i1",
61 "%i2",
62 "%i3",
63 "%i4",
64 "%i5",
65 "%i6",
66 "%i7",
67};
d4a9eb1f 68#endif
8289b279 69
77f268e8
RH
70#define TCG_CT_CONST_S11 0x100
71#define TCG_CT_CONST_S13 0x200
72#define TCG_CT_CONST_ZERO 0x400
73
29086503 74#define ALL_GENERAL_REGS MAKE_64BIT_MASK(0, 32)
34b1a49c 75
33982b89 76/* Define some temporary registers. T3 is used for constant generation. */
375816f8 77#define TCG_REG_T1 TCG_REG_G1
33982b89
RH
78#define TCG_REG_T2 TCG_REG_G2
79#define TCG_REG_T3 TCG_REG_O7
375816f8 80
4cbea598 81#ifndef CONFIG_SOFTMMU
375816f8 82# define TCG_GUEST_BASE_REG TCG_REG_I5
c6f7e4fb 83#endif
e141ab52 84
ab20bdc1 85#define TCG_REG_TB TCG_REG_I1
ab20bdc1 86
0954d0d9 87static const int tcg_target_reg_alloc_order[] = {
8289b279
BS
88 TCG_REG_L0,
89 TCG_REG_L1,
90 TCG_REG_L2,
91 TCG_REG_L3,
92 TCG_REG_L4,
93 TCG_REG_L5,
94 TCG_REG_L6,
95 TCG_REG_L7,
26adfb75 96
8289b279
BS
97 TCG_REG_I0,
98 TCG_REG_I1,
99 TCG_REG_I2,
100 TCG_REG_I3,
101 TCG_REG_I4,
375816f8 102 TCG_REG_I5,
26adfb75 103
26adfb75
RH
104 TCG_REG_G3,
105 TCG_REG_G4,
106 TCG_REG_G5,
107
108 TCG_REG_O0,
109 TCG_REG_O1,
110 TCG_REG_O2,
111 TCG_REG_O3,
112 TCG_REG_O4,
113 TCG_REG_O5,
8289b279
BS
114};
115
116static const int tcg_target_call_iarg_regs[6] = {
117 TCG_REG_O0,
118 TCG_REG_O1,
119 TCG_REG_O2,
120 TCG_REG_O3,
121 TCG_REG_O4,
122 TCG_REG_O5,
123};
124
5e3d0c19
RH
125static TCGReg tcg_target_call_oarg_reg(TCGCallReturnKind kind, int slot)
126{
127 tcg_debug_assert(kind == TCG_CALL_RET_NORMAL);
128 tcg_debug_assert(slot >= 0 && slot <= 3);
129 return TCG_REG_O0 + slot;
130}
8289b279 131
8289b279
BS
132#define INSN_OP(x) ((x) << 30)
133#define INSN_OP2(x) ((x) << 22)
134#define INSN_OP3(x) ((x) << 19)
135#define INSN_OPF(x) ((x) << 5)
136#define INSN_RD(x) ((x) << 25)
137#define INSN_RS1(x) ((x) << 14)
138#define INSN_RS2(x) (x)
8384dd67 139#define INSN_ASI(x) ((x) << 5)
8289b279 140
203342d8 141#define INSN_IMM10(x) ((1 << 13) | ((x) & 0x3ff))
dbfe80e1 142#define INSN_IMM11(x) ((1 << 13) | ((x) & 0x7ff))
8289b279 143#define INSN_IMM13(x) ((1 << 13) | ((x) & 0x1fff))
ab1339b9 144#define INSN_OFF16(x) ((((x) >> 2) & 0x3fff) | ((((x) >> 16) & 3) << 20))
1da92db2 145#define INSN_OFF19(x) (((x) >> 2) & 0x07ffff)
a115f3ea 146#define INSN_COND(x) ((x) << 25)
8289b279 147
cf7c2ca5
BS
148#define COND_N 0x0
149#define COND_E 0x1
150#define COND_LE 0x2
151#define COND_L 0x3
152#define COND_LEU 0x4
153#define COND_CS 0x5
154#define COND_NEG 0x6
155#define COND_VS 0x7
b3db8758 156#define COND_A 0x8
cf7c2ca5
BS
157#define COND_NE 0x9
158#define COND_G 0xa
159#define COND_GE 0xb
160#define COND_GU 0xc
161#define COND_CC 0xd
162#define COND_POS 0xe
163#define COND_VC 0xf
a115f3ea 164#define BA (INSN_OP(0) | INSN_COND(COND_A) | INSN_OP2(0x2))
8289b279 165
ab1339b9
RH
166#define RCOND_Z 1
167#define RCOND_LEZ 2
168#define RCOND_LZ 3
169#define RCOND_NZ 5
170#define RCOND_GZ 6
171#define RCOND_GEZ 7
172
dbfe80e1
RH
173#define MOVCC_ICC (1 << 18)
174#define MOVCC_XCC (1 << 18 | 1 << 12)
175
a115f3ea
RH
176#define BPCC_ICC 0
177#define BPCC_XCC (2 << 20)
178#define BPCC_PT (1 << 19)
179#define BPCC_PN 0
180#define BPCC_A (1 << 29)
181
ab1339b9
RH
182#define BPR_PT BPCC_PT
183
8289b279 184#define ARITH_ADD (INSN_OP(2) | INSN_OP3(0x00))
7a3766f3 185#define ARITH_ADDCC (INSN_OP(2) | INSN_OP3(0x10))
8289b279 186#define ARITH_AND (INSN_OP(2) | INSN_OP3(0x01))
321dbde3 187#define ARITH_ANDCC (INSN_OP(2) | INSN_OP3(0x11))
dc69960d 188#define ARITH_ANDN (INSN_OP(2) | INSN_OP3(0x05))
8289b279 189#define ARITH_OR (INSN_OP(2) | INSN_OP3(0x02))
9a7f3228 190#define ARITH_ORCC (INSN_OP(2) | INSN_OP3(0x12))
be6551b1 191#define ARITH_ORN (INSN_OP(2) | INSN_OP3(0x06))
8289b279 192#define ARITH_XOR (INSN_OP(2) | INSN_OP3(0x03))
f5ef6aac
BS
193#define ARITH_SUB (INSN_OP(2) | INSN_OP3(0x04))
194#define ARITH_SUBCC (INSN_OP(2) | INSN_OP3(0x14))
c470b663
RH
195#define ARITH_ADDC (INSN_OP(2) | INSN_OP3(0x08))
196#define ARITH_SUBC (INSN_OP(2) | INSN_OP3(0x0c))
8289b279 197#define ARITH_UMUL (INSN_OP(2) | INSN_OP3(0x0a))
f4c16661 198#define ARITH_SMUL (INSN_OP(2) | INSN_OP3(0x0b))
8289b279
BS
199#define ARITH_UDIV (INSN_OP(2) | INSN_OP3(0x0e))
200#define ARITH_SDIV (INSN_OP(2) | INSN_OP3(0x0f))
201#define ARITH_MULX (INSN_OP(2) | INSN_OP3(0x09))
202#define ARITH_UDIVX (INSN_OP(2) | INSN_OP3(0x0d))
203#define ARITH_SDIVX (INSN_OP(2) | INSN_OP3(0x2d))
dbfe80e1 204#define ARITH_MOVCC (INSN_OP(2) | INSN_OP3(0x2c))
203342d8 205#define ARITH_MOVR (INSN_OP(2) | INSN_OP3(0x2f))
8289b279 206
90379ca8 207#define ARITH_ADDXC (INSN_OP(2) | INSN_OP3(0x36) | INSN_OPF(0x11))
de8301e5 208#define ARITH_UMULXHI (INSN_OP(2) | INSN_OP3(0x36) | INSN_OPF(0x16))
90379ca8 209
8289b279
BS
210#define SHIFT_SLL (INSN_OP(2) | INSN_OP3(0x25))
211#define SHIFT_SRL (INSN_OP(2) | INSN_OP3(0x26))
212#define SHIFT_SRA (INSN_OP(2) | INSN_OP3(0x27))
213
214#define SHIFT_SLLX (INSN_OP(2) | INSN_OP3(0x25) | (1 << 12))
215#define SHIFT_SRLX (INSN_OP(2) | INSN_OP3(0x26) | (1 << 12))
216#define SHIFT_SRAX (INSN_OP(2) | INSN_OP3(0x27) | (1 << 12))
217
7a3766f3 218#define RDY (INSN_OP(2) | INSN_OP3(0x28) | INSN_RS1(0))
583d1215 219#define WRY (INSN_OP(2) | INSN_OP3(0x30) | INSN_RD(0))
8289b279 220#define JMPL (INSN_OP(2) | INSN_OP3(0x38))
8b66eefe 221#define RETURN (INSN_OP(2) | INSN_OP3(0x39))
8289b279
BS
222#define SAVE (INSN_OP(2) | INSN_OP3(0x3c))
223#define RESTORE (INSN_OP(2) | INSN_OP3(0x3d))
224#define SETHI (INSN_OP(0) | INSN_OP2(0x4))
225#define CALL INSN_OP(1)
226#define LDUB (INSN_OP(3) | INSN_OP3(0x01))
227#define LDSB (INSN_OP(3) | INSN_OP3(0x09))
228#define LDUH (INSN_OP(3) | INSN_OP3(0x02))
229#define LDSH (INSN_OP(3) | INSN_OP3(0x0a))
230#define LDUW (INSN_OP(3) | INSN_OP3(0x00))
231#define LDSW (INSN_OP(3) | INSN_OP3(0x08))
232#define LDX (INSN_OP(3) | INSN_OP3(0x0b))
233#define STB (INSN_OP(3) | INSN_OP3(0x05))
234#define STH (INSN_OP(3) | INSN_OP3(0x06))
235#define STW (INSN_OP(3) | INSN_OP3(0x04))
236#define STX (INSN_OP(3) | INSN_OP3(0x0e))
8384dd67
BS
237#define LDUBA (INSN_OP(3) | INSN_OP3(0x11))
238#define LDSBA (INSN_OP(3) | INSN_OP3(0x19))
239#define LDUHA (INSN_OP(3) | INSN_OP3(0x12))
240#define LDSHA (INSN_OP(3) | INSN_OP3(0x1a))
241#define LDUWA (INSN_OP(3) | INSN_OP3(0x10))
242#define LDSWA (INSN_OP(3) | INSN_OP3(0x18))
243#define LDXA (INSN_OP(3) | INSN_OP3(0x1b))
244#define STBA (INSN_OP(3) | INSN_OP3(0x15))
245#define STHA (INSN_OP(3) | INSN_OP3(0x16))
246#define STWA (INSN_OP(3) | INSN_OP3(0x14))
247#define STXA (INSN_OP(3) | INSN_OP3(0x1e))
248
f8f03b37
PK
249#define MEMBAR (INSN_OP(2) | INSN_OP3(0x28) | INSN_RS1(15) | (1 << 13))
250
ab20bdc1
RH
251#define NOP (SETHI | INSN_RD(TCG_REG_G0) | 0)
252
8384dd67
BS
253#ifndef ASI_PRIMARY_LITTLE
254#define ASI_PRIMARY_LITTLE 0x88
255#endif
8289b279 256
a0ce341a
RH
257#define LDUH_LE (LDUHA | INSN_ASI(ASI_PRIMARY_LITTLE))
258#define LDSH_LE (LDSHA | INSN_ASI(ASI_PRIMARY_LITTLE))
259#define LDUW_LE (LDUWA | INSN_ASI(ASI_PRIMARY_LITTLE))
260#define LDSW_LE (LDSWA | INSN_ASI(ASI_PRIMARY_LITTLE))
261#define LDX_LE (LDXA | INSN_ASI(ASI_PRIMARY_LITTLE))
262
263#define STH_LE (STHA | INSN_ASI(ASI_PRIMARY_LITTLE))
264#define STW_LE (STWA | INSN_ASI(ASI_PRIMARY_LITTLE))
265#define STX_LE (STXA | INSN_ASI(ASI_PRIMARY_LITTLE))
266
90379ca8
RH
267#ifndef use_vis3_instructions
268bool use_vis3_instructions;
269#endif
270
897fd616 271static bool check_fit_i64(int64_t val, unsigned int bits)
a115f3ea 272{
425532d7 273 return val == sextract64(val, 0, bits);
a115f3ea
RH
274}
275
897fd616 276static bool check_fit_i32(int32_t val, unsigned int bits)
a115f3ea 277{
425532d7 278 return val == sextract32(val, 0, bits);
a115f3ea
RH
279}
280
425532d7 281#define check_fit_tl check_fit_i64
3a5f6805 282#define check_fit_ptr check_fit_i64
425532d7 283
0d8b6191 284static bool patch_reloc(tcg_insn_unit *src_rw, int type,
2ba7fae2 285 intptr_t value, intptr_t addend)
a115f3ea 286{
0d8b6191
RH
287 const tcg_insn_unit *src_rx = tcg_splitwx_to_rx(src_rw);
288 uint32_t insn = *src_rw;
e9823b4c 289 intptr_t pcrel;
abce5964 290
e9823b4c 291 value += addend;
0d8b6191 292 pcrel = tcg_ptr_byte_diff((tcg_insn_unit *)value, src_rx);
abce5964 293
a115f3ea 294 switch (type) {
ab1339b9 295 case R_SPARC_WDISP16:
6a6bfa3c
RH
296 if (!check_fit_ptr(pcrel >> 2, 16)) {
297 return false;
298 }
ab1339b9 299 insn &= ~INSN_OFF16(-1);
e9823b4c 300 insn |= INSN_OFF16(pcrel);
ab1339b9 301 break;
a115f3ea 302 case R_SPARC_WDISP19:
6a6bfa3c
RH
303 if (!check_fit_ptr(pcrel >> 2, 19)) {
304 return false;
305 }
a115f3ea 306 insn &= ~INSN_OFF19(-1);
e9823b4c
RH
307 insn |= INSN_OFF19(pcrel);
308 break;
c834b8d8
RH
309 case R_SPARC_13:
310 if (!check_fit_ptr(value, 13)) {
311 return false;
312 }
313 insn &= ~INSN_IMM13(-1);
314 insn |= INSN_IMM13(value);
315 break;
a115f3ea 316 default:
e9823b4c 317 g_assert_not_reached();
a115f3ea 318 }
e9823b4c 319
0d8b6191 320 *src_rw = insn;
6ac17786 321 return true;
a115f3ea
RH
322}
323
a115f3ea 324/* test if a constant matches the constraint */
a4fbbd77 325static bool tcg_target_const_match(int64_t val, TCGType type, int ct)
a115f3ea 326{
a115f3ea
RH
327 if (ct & TCG_CT_CONST) {
328 return 1;
4b304cfa
RH
329 }
330
331 if (type == TCG_TYPE_I32) {
332 val = (int32_t)val;
333 }
334
335 if ((ct & TCG_CT_CONST_ZERO) && val == 0) {
a115f3ea
RH
336 return 1;
337 } else if ((ct & TCG_CT_CONST_S11) && check_fit_tl(val, 11)) {
338 return 1;
339 } else if ((ct & TCG_CT_CONST_S13) && check_fit_tl(val, 13)) {
340 return 1;
341 } else {
342 return 0;
343 }
344}
345
220b2da7
RH
346static void tcg_out_nop(TCGContext *s)
347{
348 tcg_out32(s, NOP);
349}
350
897fd616
RH
351static void tcg_out_arith(TCGContext *s, TCGReg rd, TCGReg rs1,
352 TCGReg rs2, int op)
26cc915c 353{
35e2da15 354 tcg_out32(s, op | INSN_RD(rd) | INSN_RS1(rs1) | INSN_RS2(rs2));
26cc915c
BS
355}
356
897fd616
RH
357static void tcg_out_arithi(TCGContext *s, TCGReg rd, TCGReg rs1,
358 int32_t offset, int op)
26cc915c 359{
35e2da15 360 tcg_out32(s, op | INSN_RD(rd) | INSN_RS1(rs1) | INSN_IMM13(offset));
26cc915c
BS
361}
362
35e2da15
RH
363static void tcg_out_arithc(TCGContext *s, TCGReg rd, TCGReg rs1,
364 int32_t val2, int val2const, int op)
ba225198
RH
365{
366 tcg_out32(s, op | INSN_RD(rd) | INSN_RS1(rs1)
367 | (val2const ? INSN_IMM13(val2) : INSN_RS2(val2)));
368}
369
897fd616 370static bool tcg_out_mov(TCGContext *s, TCGType type, TCGReg ret, TCGReg arg)
8289b279 371{
dda73c78
RH
372 if (ret != arg) {
373 tcg_out_arith(s, ret, arg, TCG_REG_G0, ARITH_OR);
374 }
78113e83 375 return true;
26cc915c
BS
376}
377
220b2da7
RH
378static void tcg_out_mov_delay(TCGContext *s, TCGReg ret, TCGReg arg)
379{
380 if (ret != arg) {
381 tcg_out_arith(s, ret, arg, TCG_REG_G0, ARITH_OR);
382 } else {
383 tcg_out_nop(s);
384 }
385}
386
897fd616 387static void tcg_out_sethi(TCGContext *s, TCGReg ret, uint32_t arg)
26cc915c
BS
388{
389 tcg_out32(s, SETHI | INSN_RD(ret) | ((arg & 0xfffffc00) >> 10));
8289b279
BS
390}
391
8b14f862
RH
392/* A 13-bit constant sign-extended to 64 bits. */
393static void tcg_out_movi_s13(TCGContext *s, TCGReg ret, int32_t arg)
b101234a
BS
394{
395 tcg_out_arithi(s, ret, TCG_REG_G0, arg, ARITH_OR);
396}
397
1a42d9d4
RH
398/* A 32-bit constant sign-extended to 64 bits. */
399static void tcg_out_movi_s32(TCGContext *s, TCGReg ret, int32_t arg)
400{
401 tcg_out_sethi(s, ret, ~arg);
402 tcg_out_arithi(s, ret, ret, (arg & 0x3ff) | -0x400, ARITH_XOR);
403}
404
2cb3f794
RH
405/* A 32-bit constant zero-extended to 64 bits. */
406static void tcg_out_movi_u32(TCGContext *s, TCGReg ret, uint32_t arg)
c71929c3 407{
ca0681c9
RH
408 tcg_out_sethi(s, ret, arg);
409 if (arg & 0x3ff) {
410 tcg_out_arithi(s, ret, ret, arg & 0x3ff, ARITH_OR);
c71929c3
RH
411 }
412}
413
ab20bdc1 414static void tcg_out_movi_int(TCGContext *s, TCGType type, TCGReg ret,
92840d06
RH
415 tcg_target_long arg, bool in_prologue,
416 TCGReg scratch)
8289b279 417{
425532d7 418 tcg_target_long hi, lo = (int32_t)arg;
ab20bdc1 419 tcg_target_long test, lsb;
a9c7d27b
RH
420
421 /* A 13-bit constant sign-extended to 64-bits. */
422 if (check_fit_tl(arg, 13)) {
8b14f862 423 tcg_out_movi_s13(s, ret, arg);
a9c7d27b 424 return;
8289b279 425 }
8289b279 426
ca0681c9
RH
427 /* A 32-bit constant, or 32-bit zero-extended to 64-bits. */
428 if (type == TCG_TYPE_I32 || arg == (uint32_t)arg) {
2cb3f794 429 tcg_out_movi_u32(s, ret, arg);
ca0681c9
RH
430 return;
431 }
432
f6823cbe 433 /* A 13-bit constant relative to the TB. */
1e42b4f8 434 if (!in_prologue) {
47c2206b 435 test = tcg_tbrel_diff(s, (void *)arg);
f6823cbe
RH
436 if (check_fit_ptr(test, 13)) {
437 tcg_out_arithi(s, ret, TCG_REG_TB, test, ARITH_ADD);
438 return;
439 }
440 }
441
a9c7d27b 442 /* A 32-bit constant sign-extended to 64-bits. */
425532d7 443 if (arg == lo) {
1a42d9d4 444 tcg_out_movi_s32(s, ret, arg);
a9c7d27b
RH
445 return;
446 }
447
684db2a0 448 /* A 32-bit constant, shifted. */
ab20bdc1
RH
449 lsb = ctz64(arg);
450 test = (tcg_target_long)arg >> lsb;
684db2a0 451 if (lsb > 10 && test == extract64(test, 0, 21)) {
ab20bdc1
RH
452 tcg_out_sethi(s, ret, test << 10);
453 tcg_out_arithi(s, ret, ret, lsb - 10, SHIFT_SLLX);
454 return;
684db2a0
RH
455 } else if (test == (uint32_t)test || test == (int32_t)test) {
456 tcg_out_movi_int(s, TCG_TYPE_I64, ret, test, in_prologue, scratch);
457 tcg_out_arithi(s, ret, ret, lsb, SHIFT_SLLX);
458 return;
ab20bdc1
RH
459 }
460
c834b8d8 461 /* Use the constant pool, if possible. */
1e42b4f8 462 if (!in_prologue) {
c834b8d8
RH
463 new_pool_label(s, arg, R_SPARC_13, s->code_ptr,
464 tcg_tbrel_diff(s, NULL));
465 tcg_out32(s, LDX | INSN_RD(ret) | INSN_RS1(TCG_REG_TB));
466 return;
467 }
468
a9c7d27b 469 /* A 64-bit constant decomposed into 2 32-bit pieces. */
425532d7 470 if (check_fit_i32(lo, 13)) {
34b1a49c 471 hi = (arg - lo) >> 32;
2cb3f794 472 tcg_out_movi_u32(s, ret, hi);
a9c7d27b
RH
473 tcg_out_arithi(s, ret, ret, 32, SHIFT_SLLX);
474 tcg_out_arithi(s, ret, ret, lo, ARITH_ADD);
43172207 475 } else {
34b1a49c 476 hi = arg >> 32;
2cb3f794
RH
477 tcg_out_movi_u32(s, ret, hi);
478 tcg_out_movi_u32(s, scratch, lo);
375816f8 479 tcg_out_arithi(s, ret, ret, 32, SHIFT_SLLX);
92840d06 480 tcg_out_arith(s, ret, ret, scratch, ARITH_OR);
6f41b777 481 }
b101234a
BS
482}
483
897fd616
RH
484static void tcg_out_movi(TCGContext *s, TCGType type,
485 TCGReg ret, tcg_target_long arg)
ab20bdc1 486{
33982b89
RH
487 tcg_debug_assert(ret != TCG_REG_T3);
488 tcg_out_movi_int(s, type, ret, arg, false, TCG_REG_T3);
ab20bdc1
RH
489}
490
678155b2
RH
491static void tcg_out_ext8s(TCGContext *s, TCGType type, TCGReg rd, TCGReg rs)
492{
493 g_assert_not_reached();
494}
495
753e42ea
RH
496static void tcg_out_ext16s(TCGContext *s, TCGType type, TCGReg rd, TCGReg rs)
497{
498 g_assert_not_reached();
499}
500
d0e66c89
RH
501static void tcg_out_ext8u(TCGContext *s, TCGReg rd, TCGReg rs)
502{
503 tcg_out_arithi(s, rd, rs, 0xff, ARITH_AND);
504}
505
379afdff
RH
506static void tcg_out_ext16u(TCGContext *s, TCGReg rd, TCGReg rs)
507{
508 tcg_out_arithi(s, rd, rs, 16, SHIFT_SLL);
509 tcg_out_arithi(s, rd, rd, 16, SHIFT_SRL);
510}
511
52bf3398
RH
512static void tcg_out_ext32s(TCGContext *s, TCGReg rd, TCGReg rs)
513{
514 tcg_out_arithi(s, rd, rs, 0, SHIFT_SRA);
515}
516
9ecf5f61
RH
517static void tcg_out_ext32u(TCGContext *s, TCGReg rd, TCGReg rs)
518{
519 tcg_out_arithi(s, rd, rs, 0, SHIFT_SRL);
520}
521
9c6aa274
RH
522static void tcg_out_exts_i32_i64(TCGContext *s, TCGReg rd, TCGReg rs)
523{
524 tcg_out_ext32s(s, rd, rs);
525}
526
b9bfe000
RH
527static void tcg_out_extu_i32_i64(TCGContext *s, TCGReg rd, TCGReg rs)
528{
529 tcg_out_ext32u(s, rd, rs);
530}
531
767c2503
RH
532static bool tcg_out_xchg(TCGContext *s, TCGType type, TCGReg r1, TCGReg r2)
533{
534 return false;
535}
536
6a6d772e
RH
537static void tcg_out_addi_ptr(TCGContext *s, TCGReg rd, TCGReg rs,
538 tcg_target_long imm)
539{
540 /* This function is only used for passing structs by reference. */
541 g_assert_not_reached();
542}
543
897fd616
RH
544static void tcg_out_ldst_rr(TCGContext *s, TCGReg data, TCGReg a1,
545 TCGReg a2, int op)
8289b279 546{
a0ce341a 547 tcg_out32(s, op | INSN_RD(data) | INSN_RS1(a1) | INSN_RS2(a2));
8289b279
BS
548}
549
35e2da15
RH
550static void tcg_out_ldst(TCGContext *s, TCGReg ret, TCGReg addr,
551 intptr_t offset, int op)
8289b279 552{
425532d7 553 if (check_fit_ptr(offset, 13)) {
8289b279
BS
554 tcg_out32(s, op | INSN_RD(ret) | INSN_RS1(addr) |
555 INSN_IMM13(offset));
a0ce341a 556 } else {
375816f8
RH
557 tcg_out_movi(s, TCG_TYPE_PTR, TCG_REG_T1, offset);
558 tcg_out_ldst_rr(s, ret, addr, TCG_REG_T1, op);
cf7c2ca5 559 }
8289b279
BS
560}
561
897fd616
RH
562static void tcg_out_ld(TCGContext *s, TCGType type, TCGReg ret,
563 TCGReg arg1, intptr_t arg2)
8289b279 564{
a0ce341a 565 tcg_out_ldst(s, ret, arg1, arg2, (type == TCG_TYPE_I32 ? LDUW : LDX));
8289b279
BS
566}
567
897fd616
RH
568static void tcg_out_st(TCGContext *s, TCGType type, TCGReg arg,
569 TCGReg arg1, intptr_t arg2)
8289b279 570{
a0ce341a
RH
571 tcg_out_ldst(s, arg, arg1, arg2, (type == TCG_TYPE_I32 ? STW : STX));
572}
573
897fd616
RH
574static bool tcg_out_sti(TCGContext *s, TCGType type, TCGArg val,
575 TCGReg base, intptr_t ofs)
59d7c14e
RH
576{
577 if (val == 0) {
578 tcg_out_st(s, type, TCG_REG_G0, base, ofs);
579 return true;
580 }
581 return false;
582}
583
897fd616 584static void tcg_out_sety(TCGContext *s, TCGReg rs)
8289b279 585{
583d1215 586 tcg_out32(s, WRY | INSN_RS1(TCG_REG_G0) | INSN_RS2(rs));
8289b279
BS
587}
588
35e2da15
RH
589static void tcg_out_div32(TCGContext *s, TCGReg rd, TCGReg rs1,
590 int32_t val2, int val2const, int uns)
583d1215
RH
591{
592 /* Load Y with the sign/zero extension of RS1 to 64-bits. */
593 if (uns) {
594 tcg_out_sety(s, TCG_REG_G0);
595 } else {
375816f8
RH
596 tcg_out_arithi(s, TCG_REG_T1, rs1, 31, SHIFT_SRA);
597 tcg_out_sety(s, TCG_REG_T1);
583d1215
RH
598 }
599
600 tcg_out_arithc(s, rd, rs1, val2, val2const,
601 uns ? ARITH_UDIV : ARITH_SDIV);
602}
603
0aed257f 604static const uint8_t tcg_cond_to_bcond[] = {
cf7c2ca5
BS
605 [TCG_COND_EQ] = COND_E,
606 [TCG_COND_NE] = COND_NE,
607 [TCG_COND_LT] = COND_L,
608 [TCG_COND_GE] = COND_GE,
609 [TCG_COND_LE] = COND_LE,
610 [TCG_COND_GT] = COND_G,
611 [TCG_COND_LTU] = COND_CS,
612 [TCG_COND_GEU] = COND_CC,
613 [TCG_COND_LEU] = COND_LEU,
614 [TCG_COND_GTU] = COND_GU,
615};
616
ab1339b9
RH
617static const uint8_t tcg_cond_to_rcond[] = {
618 [TCG_COND_EQ] = RCOND_Z,
619 [TCG_COND_NE] = RCOND_NZ,
620 [TCG_COND_LT] = RCOND_LZ,
621 [TCG_COND_GT] = RCOND_GZ,
622 [TCG_COND_LE] = RCOND_LEZ,
623 [TCG_COND_GE] = RCOND_GEZ
624};
625
a115f3ea
RH
626static void tcg_out_bpcc0(TCGContext *s, int scond, int flags, int off19)
627{
628 tcg_out32(s, INSN_OP(0) | INSN_OP2(1) | INSN_COND(scond) | flags | off19);
629}
630
bec16311 631static void tcg_out_bpcc(TCGContext *s, int scond, int flags, TCGLabel *l)
a115f3ea 632{
791645f0 633 int off19 = 0;
a115f3ea
RH
634
635 if (l->has_value) {
abce5964 636 off19 = INSN_OFF19(tcg_pcrel_diff(s, l->u.value_ptr));
a115f3ea 637 } else {
bec16311 638 tcg_out_reloc(s, s->code_ptr, R_SPARC_WDISP19, l, 0);
a115f3ea
RH
639 }
640 tcg_out_bpcc0(s, scond, flags, off19);
641}
642
35e2da15 643static void tcg_out_cmp(TCGContext *s, TCGReg c1, int32_t c2, int c2const)
56f4927e 644{
ba225198 645 tcg_out_arithc(s, TCG_REG_G0, c1, c2, c2const, ARITH_SUBCC);
56f4927e
RH
646}
647
35e2da15 648static void tcg_out_brcond_i32(TCGContext *s, TCGCond cond, TCGReg arg1,
bec16311 649 int32_t arg2, int const_arg2, TCGLabel *l)
cf7c2ca5 650{
56f4927e 651 tcg_out_cmp(s, arg1, arg2, const_arg2);
bec16311 652 tcg_out_bpcc(s, tcg_cond_to_bcond[cond], BPCC_ICC | BPCC_PT, l);
cf7c2ca5
BS
653 tcg_out_nop(s);
654}
655
35e2da15
RH
656static void tcg_out_movcc(TCGContext *s, TCGCond cond, int cc, TCGReg ret,
657 int32_t v1, int v1const)
ded37f0d
RH
658{
659 tcg_out32(s, ARITH_MOVCC | cc | INSN_RD(ret)
660 | INSN_RS1(tcg_cond_to_bcond[cond])
661 | (v1const ? INSN_IMM11(v1) : INSN_RS2(v1)));
662}
663
35e2da15
RH
664static void tcg_out_movcond_i32(TCGContext *s, TCGCond cond, TCGReg ret,
665 TCGReg c1, int32_t c2, int c2const,
666 int32_t v1, int v1const)
ded37f0d
RH
667{
668 tcg_out_cmp(s, c1, c2, c2const);
669 tcg_out_movcc(s, cond, MOVCC_ICC, ret, v1, v1const);
670}
671
35e2da15 672static void tcg_out_brcond_i64(TCGContext *s, TCGCond cond, TCGReg arg1,
bec16311 673 int32_t arg2, int const_arg2, TCGLabel *l)
1da92db2 674{
ab1339b9
RH
675 /* For 64-bit signed comparisons vs zero, we can avoid the compare. */
676 if (arg2 == 0 && !is_unsigned_cond(cond)) {
791645f0 677 int off16 = 0;
ab1339b9
RH
678
679 if (l->has_value) {
abce5964 680 off16 = INSN_OFF16(tcg_pcrel_diff(s, l->u.value_ptr));
ab1339b9 681 } else {
bec16311 682 tcg_out_reloc(s, s->code_ptr, R_SPARC_WDISP16, l, 0);
ab1339b9
RH
683 }
684 tcg_out32(s, INSN_OP(0) | INSN_OP2(3) | BPR_PT | INSN_RS1(arg1)
685 | INSN_COND(tcg_cond_to_rcond[cond]) | off16);
686 } else {
687 tcg_out_cmp(s, arg1, arg2, const_arg2);
bec16311 688 tcg_out_bpcc(s, tcg_cond_to_bcond[cond], BPCC_XCC | BPCC_PT, l);
ab1339b9 689 }
1da92db2
BS
690 tcg_out_nop(s);
691}
ded37f0d 692
35e2da15
RH
693static void tcg_out_movr(TCGContext *s, TCGCond cond, TCGReg ret, TCGReg c1,
694 int32_t v1, int v1const)
203342d8
RH
695{
696 tcg_out32(s, ARITH_MOVR | INSN_RD(ret) | INSN_RS1(c1)
697 | (tcg_cond_to_rcond[cond] << 10)
698 | (v1const ? INSN_IMM10(v1) : INSN_RS2(v1)));
699}
700
35e2da15
RH
701static void tcg_out_movcond_i64(TCGContext *s, TCGCond cond, TCGReg ret,
702 TCGReg c1, int32_t c2, int c2const,
703 int32_t v1, int v1const)
ded37f0d 704{
203342d8
RH
705 /* For 64-bit signed comparisons vs zero, we can avoid the compare.
706 Note that the immediate range is one bit smaller, so we must check
707 for that as well. */
708 if (c2 == 0 && !is_unsigned_cond(cond)
35e2da15 709 && (!v1const || check_fit_i32(v1, 10))) {
203342d8
RH
710 tcg_out_movr(s, cond, ret, c1, v1, v1const);
711 } else {
712 tcg_out_cmp(s, c1, c2, c2const);
713 tcg_out_movcc(s, cond, MOVCC_XCC, ret, v1, v1const);
714 }
ded37f0d 715}
1da92db2 716
35e2da15 717static void tcg_out_setcond_i32(TCGContext *s, TCGCond cond, TCGReg ret,
a0fdd7c9 718 TCGReg c1, int32_t c2, int c2const, bool neg)
dbfe80e1 719{
c470b663 720 /* For 32-bit comparisons, we can play games with ADDC/SUBC. */
dbfe80e1 721 switch (cond) {
7d458a75
RH
722 case TCG_COND_LTU:
723 case TCG_COND_GEU:
724 /* The result of the comparison is in the carry bit. */
725 break;
726
dbfe80e1
RH
727 case TCG_COND_EQ:
728 case TCG_COND_NE:
7d458a75 729 /* For equality, we can transform to inequality vs zero. */
dbfe80e1 730 if (c2 != 0) {
321b6c05
RH
731 tcg_out_arithc(s, TCG_REG_T1, c1, c2, c2const, ARITH_XOR);
732 c2 = TCG_REG_T1;
733 } else {
734 c2 = c1;
dbfe80e1 735 }
321b6c05 736 c1 = TCG_REG_G0, c2const = 0;
7d458a75 737 cond = (cond == TCG_COND_EQ ? TCG_COND_GEU : TCG_COND_LTU);
dbfe80e1
RH
738 break;
739
740 case TCG_COND_GTU:
dbfe80e1 741 case TCG_COND_LEU:
7d458a75
RH
742 /* If we don't need to load a constant into a register, we can
743 swap the operands on GTU/LEU. There's no benefit to loading
744 the constant into a temporary register. */
745 if (!c2const || c2 == 0) {
35e2da15 746 TCGReg t = c1;
7d458a75
RH
747 c1 = c2;
748 c2 = t;
749 c2const = 0;
750 cond = tcg_swap_cond(cond);
751 break;
752 }
753 /* FALLTHRU */
dbfe80e1
RH
754
755 default:
756 tcg_out_cmp(s, c1, c2, c2const);
8b14f862 757 tcg_out_movi_s13(s, ret, 0);
a0fdd7c9 758 tcg_out_movcc(s, cond, MOVCC_ICC, ret, neg ? -1 : 1, 1);
dbfe80e1
RH
759 return;
760 }
761
762 tcg_out_cmp(s, c1, c2, c2const);
763 if (cond == TCG_COND_LTU) {
a0fdd7c9
RH
764 if (neg) {
765 /* 0 - 0 - C = -C = (C ? -1 : 0) */
766 tcg_out_arithi(s, ret, TCG_REG_G0, 0, ARITH_SUBC);
767 } else {
768 /* 0 + 0 + C = C = (C ? 1 : 0) */
769 tcg_out_arithi(s, ret, TCG_REG_G0, 0, ARITH_ADDC);
770 }
dbfe80e1 771 } else {
a0fdd7c9
RH
772 if (neg) {
773 /* 0 + -1 + C = C - 1 = (C ? 0 : -1) */
774 tcg_out_arithi(s, ret, TCG_REG_G0, -1, ARITH_ADDC);
775 } else {
776 /* 0 - -1 - C = 1 - C = (C ? 0 : 1) */
777 tcg_out_arithi(s, ret, TCG_REG_G0, -1, ARITH_SUBC);
778 }
dbfe80e1
RH
779 }
780}
781
35e2da15 782static void tcg_out_setcond_i64(TCGContext *s, TCGCond cond, TCGReg ret,
a0fdd7c9 783 TCGReg c1, int32_t c2, int c2const, bool neg)
dbfe80e1 784{
a0fdd7c9 785 if (use_vis3_instructions && !neg) {
9d6a7a85
RH
786 switch (cond) {
787 case TCG_COND_NE:
788 if (c2 != 0) {
789 break;
790 }
791 c2 = c1, c2const = 0, c1 = TCG_REG_G0;
792 /* FALLTHRU */
793 case TCG_COND_LTU:
794 tcg_out_cmp(s, c1, c2, c2const);
795 tcg_out_arith(s, ret, TCG_REG_G0, TCG_REG_G0, ARITH_ADDXC);
796 return;
797 default:
798 break;
799 }
800 }
801
203342d8
RH
802 /* For 64-bit signed comparisons vs zero, we can avoid the compare
803 if the input does not overlap the output. */
804 if (c2 == 0 && !is_unsigned_cond(cond) && c1 != ret) {
8b14f862 805 tcg_out_movi_s13(s, ret, 0);
a0fdd7c9 806 tcg_out_movr(s, cond, ret, c1, neg ? -1 : 1, 1);
203342d8
RH
807 } else {
808 tcg_out_cmp(s, c1, c2, c2const);
8b14f862 809 tcg_out_movi_s13(s, ret, 0);
a0fdd7c9 810 tcg_out_movcc(s, cond, MOVCC_XCC, ret, neg ? -1 : 1, 1);
203342d8 811 }
dbfe80e1 812}
4ec28e25 813
609ac1e1
RH
814static void tcg_out_addsub2_i32(TCGContext *s, TCGReg rl, TCGReg rh,
815 TCGReg al, TCGReg ah, int32_t bl, int blconst,
816 int32_t bh, int bhconst, int opl, int oph)
4ec28e25 817{
35e2da15 818 TCGReg tmp = TCG_REG_T1;
4ec28e25
RH
819
820 /* Note that the low parts are fully consumed before tmp is set. */
821 if (rl != ah && (bhconst || rl != bh)) {
822 tmp = rl;
823 }
824
825 tcg_out_arithc(s, tmp, al, bl, blconst, opl);
826 tcg_out_arithc(s, rh, ah, bh, bhconst, oph);
827 tcg_out_mov(s, TCG_TYPE_I32, rl, tmp);
828}
dbfe80e1 829
609ac1e1
RH
830static void tcg_out_addsub2_i64(TCGContext *s, TCGReg rl, TCGReg rh,
831 TCGReg al, TCGReg ah, int32_t bl, int blconst,
832 int32_t bh, int bhconst, bool is_sub)
833{
834 TCGReg tmp = TCG_REG_T1;
835
836 /* Note that the low parts are fully consumed before tmp is set. */
837 if (rl != ah && (bhconst || rl != bh)) {
838 tmp = rl;
839 }
840
841 tcg_out_arithc(s, tmp, al, bl, blconst, is_sub ? ARITH_SUBCC : ARITH_ADDCC);
842
90379ca8
RH
843 if (use_vis3_instructions && !is_sub) {
844 /* Note that ADDXC doesn't accept immediates. */
845 if (bhconst && bh != 0) {
8b14f862 846 tcg_out_movi_s13(s, TCG_REG_T2, bh);
90379ca8
RH
847 bh = TCG_REG_T2;
848 }
849 tcg_out_arith(s, rh, ah, bh, ARITH_ADDXC);
850 } else if (bh == TCG_REG_G0) {
609ac1e1
RH
851 /* If we have a zero, we can perform the operation in two insns,
852 with the arithmetic first, and a conditional move into place. */
853 if (rh == ah) {
854 tcg_out_arithi(s, TCG_REG_T2, ah, 1,
855 is_sub ? ARITH_SUB : ARITH_ADD);
856 tcg_out_movcc(s, TCG_COND_LTU, MOVCC_XCC, rh, TCG_REG_T2, 0);
857 } else {
858 tcg_out_arithi(s, rh, ah, 1, is_sub ? ARITH_SUB : ARITH_ADD);
859 tcg_out_movcc(s, TCG_COND_GEU, MOVCC_XCC, rh, ah, 0);
860 }
861 } else {
414399b6
RH
862 /*
863 * Otherwise adjust BH as if there is carry into T2.
864 * Note that constant BH is constrained to 11 bits for the MOVCC,
865 * so the adjustment fits 12 bits.
866 */
609ac1e1 867 if (bhconst) {
8b14f862 868 tcg_out_movi_s13(s, TCG_REG_T2, bh + (is_sub ? -1 : 1));
609ac1e1
RH
869 } else {
870 tcg_out_arithi(s, TCG_REG_T2, bh, 1,
871 is_sub ? ARITH_SUB : ARITH_ADD);
872 }
873 /* ... smoosh T2 back to original BH if carry is clear ... */
874 tcg_out_movcc(s, TCG_COND_GEU, MOVCC_XCC, TCG_REG_T2, bh, bhconst);
875 /* ... and finally perform the arithmetic with the new operand. */
876 tcg_out_arith(s, rh, ah, TCG_REG_T2, is_sub ? ARITH_SUB : ARITH_ADD);
877 }
878
879 tcg_out_mov(s, TCG_TYPE_I64, rl, tmp);
880}
881
e01d60f2
RH
882static void tcg_out_jmpl_const(TCGContext *s, const tcg_insn_unit *dest,
883 bool in_prologue, bool tail_call)
884{
885 uintptr_t desti = (uintptr_t)dest;
886
e01d60f2 887 tcg_out_movi_int(s, TCG_TYPE_PTR, TCG_REG_T1,
33982b89 888 desti & ~0xfff, in_prologue, TCG_REG_T2);
e01d60f2
RH
889 tcg_out_arithi(s, tail_call ? TCG_REG_G0 : TCG_REG_O7,
890 TCG_REG_T1, desti & 0xfff, JMPL);
891}
892
2be7d76b 893static void tcg_out_call_nodelay(TCGContext *s, const tcg_insn_unit *dest,
ab20bdc1 894 bool in_prologue)
aad2f06a 895{
abce5964 896 ptrdiff_t disp = tcg_pcrel_diff(s, dest);
aad2f06a
RH
897
898 if (disp == (int32_t)disp) {
899 tcg_out32(s, CALL | (uint32_t)disp >> 2);
900 } else {
e01d60f2 901 tcg_out_jmpl_const(s, dest, in_prologue, false);
aad2f06a
RH
902 }
903}
904
cee44b03
RH
905static void tcg_out_call(TCGContext *s, const tcg_insn_unit *dest,
906 const TCGHelperInfo *info)
4e9cf840 907{
ab20bdc1 908 tcg_out_call_nodelay(s, dest, false);
4e9cf840
RH
909 tcg_out_nop(s);
910}
911
f8f03b37
PK
912static void tcg_out_mb(TCGContext *s, TCGArg a0)
913{
914 /* Note that the TCG memory order constants mirror the Sparc MEMBAR. */
915 tcg_out32(s, MEMBAR | (a0 & TCG_MO_ALL));
916}
917
7d551702 918/* Generate global QEMU prologue and epilogue code */
e4d58b41 919static void tcg_target_qemu_prologue(TCGContext *s)
b3db8758 920{
4c3204cb
RH
921 int tmp_buf_size, frame_size;
922
9defd1bd
RH
923 /*
924 * The TCG temp buffer is at the top of the frame, immediately
925 * below the frame pointer. Use the logical (aligned) offset here;
926 * the stack bias is applied in temp_allocate_frame().
927 */
4c3204cb 928 tmp_buf_size = CPU_TEMP_BUF_NLONGS * (int)sizeof(long);
9defd1bd 929 tcg_set_frame(s, TCG_REG_I6, -tmp_buf_size, tmp_buf_size);
4c3204cb 930
9defd1bd
RH
931 /*
932 * TCG_TARGET_CALL_STACK_OFFSET includes the stack bias, but is
933 * otherwise the minimal frame usable by callees.
934 */
4c3204cb
RH
935 frame_size = TCG_TARGET_CALL_STACK_OFFSET - TCG_TARGET_STACK_BIAS;
936 frame_size += TCG_STATIC_CALL_ARGS_SIZE + tmp_buf_size;
937 frame_size += TCG_TARGET_STACK_ALIGN - 1;
938 frame_size &= -TCG_TARGET_STACK_ALIGN;
b3db8758 939 tcg_out32(s, SAVE | INSN_RD(TCG_REG_O6) | INSN_RS1(TCG_REG_O6) |
4c3204cb 940 INSN_IMM13(-frame_size));
c6f7e4fb 941
4cbea598 942#ifndef CONFIG_SOFTMMU
b76f21a7 943 if (guest_base != 0) {
92840d06
RH
944 tcg_out_movi_int(s, TCG_TYPE_PTR, TCG_GUEST_BASE_REG,
945 guest_base, true, TCG_REG_T1);
c6f7e4fb
RH
946 tcg_regset_set_reg(s->reserved_regs, TCG_GUEST_BASE_REG);
947 }
948#endif
949
ab20bdc1 950 /* We choose TCG_REG_TB such that no move is required. */
1e42b4f8
RH
951 QEMU_BUILD_BUG_ON(TCG_REG_TB != TCG_REG_I1);
952 tcg_regset_set_reg(s->reserved_regs, TCG_REG_TB);
ab20bdc1 953
aad2f06a 954 tcg_out_arithi(s, TCG_REG_G0, TCG_REG_I1, 0, JMPL);
0c554161
RH
955 /* delay slot */
956 tcg_out_nop(s);
4c3204cb 957
38f81dc5 958 /* Epilogue for goto_ptr. */
c8bc1168 959 tcg_code_gen_epilogue = tcg_splitwx_to_rx(s->code_ptr);
38f81dc5
RH
960 tcg_out_arithi(s, TCG_REG_G0, TCG_REG_I7, 8, RETURN);
961 /* delay slot */
8b14f862 962 tcg_out_movi_s13(s, TCG_REG_O0, 0);
b3db8758
BS
963}
964
e9823b4c
RH
965static void tcg_out_nop_fill(tcg_insn_unit *p, int count)
966{
967 int i;
968 for (i = 0; i < count; ++i) {
969 p[i] = NOP;
970 }
971}
972
29086503
RH
973static const TCGLdstHelperParam ldst_helper_param = {
974 .ntmp = 1, .tmp = { TCG_REG_T1 }
975};
a0ce341a 976
29086503 977static bool tcg_out_qemu_ld_slow_path(TCGContext *s, TCGLabelQemuLdst *lb)
a0ce341a 978{
29086503
RH
979 MemOp opc = get_memop(lb->oi);
980 MemOp sgn;
17ff9f78 981
29086503
RH
982 if (!patch_reloc(lb->label_ptr[0], R_SPARC_WDISP19,
983 (intptr_t)tcg_splitwx_to_rx(s->code_ptr), 0)) {
984 return false;
985 }
a0ce341a 986
29086503
RH
987 /* Use inline tcg_out_ext32s; otherwise let the helper sign-extend. */
988 sgn = (opc & MO_SIZE) < MO_32 ? MO_SIGN : 0;
17ff9f78 989
29086503
RH
990 tcg_out_ld_helper_args(s, lb, &ldst_helper_param);
991 tcg_out_call(s, qemu_ld_helpers[opc & (MO_SIZE | sgn)], NULL);
992 tcg_out_ld_helper_ret(s, lb, sgn, &ldst_helper_param);
17ff9f78 993
29086503
RH
994 tcg_out_bpcc0(s, COND_A, BPCC_A | BPCC_PT, 0);
995 return patch_reloc(s->code_ptr - 1, R_SPARC_WDISP19,
996 (intptr_t)lb->raddr, 0);
997}
a0ce341a 998
29086503
RH
999static bool tcg_out_qemu_st_slow_path(TCGContext *s, TCGLabelQemuLdst *lb)
1000{
1001 MemOp opc = get_memop(lb->oi);
a0ce341a 1002
29086503
RH
1003 if (!patch_reloc(lb->label_ptr[0], R_SPARC_WDISP19,
1004 (intptr_t)tcg_splitwx_to_rx(s->code_ptr), 0)) {
1005 return false;
a0ce341a 1006 }
9d0efc88 1007
29086503
RH
1008 tcg_out_st_helper_args(s, lb, &ldst_helper_param);
1009 tcg_out_call(s, qemu_st_helpers[opc & MO_SIZE], NULL);
eef0d9e7 1010
29086503
RH
1011 tcg_out_bpcc0(s, COND_A, BPCC_A | BPCC_PT, 0);
1012 return patch_reloc(s->code_ptr - 1, R_SPARC_WDISP19,
1013 (intptr_t)lb->raddr, 0);
1014}
eef0d9e7 1015
29086503
RH
1016typedef struct {
1017 TCGReg base;
1018 TCGReg index;
9ca63431 1019 TCGAtomAlign aa;
29086503 1020} HostAddress;
bffe1431 1021
7b880107
RH
1022bool tcg_target_has_memory_bswap(MemOp memop)
1023{
1024 return true;
1025}
1026
d0a9bb5e
RH
1027/* We expect to use a 13-bit negative offset from ENV. */
1028#define MIN_TLB_MASK_TABLE_OFS -(1 << 12)
1029
29086503
RH
1030/*
1031 * For softmmu, perform the TLB load and compare.
1032 * For useronly, perform any required alignment tests.
1033 * In both cases, return a TCGLabelQemuLdst structure if the slow path
1034 * is required and fill in @h with the host address for the fast path.
1035 */
1036static TCGLabelQemuLdst *prepare_host_addr(TCGContext *s, HostAddress *h,
1037 TCGReg addr_reg, MemOpIdx oi,
1038 bool is_ld)
f5ef6aac 1039{
40bca78d 1040 TCGType addr_type = s->addr_type;
29086503
RH
1041 TCGLabelQemuLdst *ldst = NULL;
1042 MemOp opc = get_memop(oi);
9ca63431 1043 MemOp s_bits = opc & MO_SIZE;
29086503 1044 unsigned a_mask;
321dbde3 1045
29086503 1046 /* We don't support unaligned accesses. */
9ca63431
RH
1047 h->aa = atom_and_align_for_opc(s, opc, MO_ATOM_IFALIGN, false);
1048 h->aa.align = MAX(h->aa.align, s_bits);
1049 a_mask = (1u << h->aa.align) - 1;
f5ef6aac 1050
29086503
RH
1051#ifdef CONFIG_SOFTMMU
1052 int mem_index = get_mmuidx(oi);
d0a9bb5e 1053 int fast_off = tlb_mask_table_ofs(s, mem_index);
29086503
RH
1054 int mask_off = fast_off + offsetof(CPUTLBDescFast, mask);
1055 int table_off = fast_off + offsetof(CPUTLBDescFast, table);
1056 int cmp_off = is_ld ? offsetof(CPUTLBEntry, addr_read)
1057 : offsetof(CPUTLBEntry, addr_write);
1058 int add_off = offsetof(CPUTLBEntry, addend);
1059 int compare_mask;
1060 int cc;
a0ce341a 1061
29086503 1062 /* Load tlb_mask[mmu_idx] and tlb_table[mmu_idx]. */
29086503
RH
1063 tcg_out_ld(s, TCG_TYPE_PTR, TCG_REG_T2, TCG_AREG0, mask_off);
1064 tcg_out_ld(s, TCG_TYPE_PTR, TCG_REG_T3, TCG_AREG0, table_off);
a0ce341a 1065
29086503
RH
1066 /* Extract the page index, shifted into place for tlb index. */
1067 tcg_out_arithi(s, TCG_REG_T1, addr_reg,
aece72b7 1068 s->page_bits - CPU_TLB_ENTRY_BITS, SHIFT_SRL);
29086503 1069 tcg_out_arith(s, TCG_REG_T1, TCG_REG_T1, TCG_REG_T2, ARITH_AND);
53c37487 1070
29086503
RH
1071 /* Add the tlb_table pointer, creating the CPUTLBEntry address into R2. */
1072 tcg_out_arith(s, TCG_REG_T1, TCG_REG_T1, TCG_REG_T3, ARITH_ADD);
f5ef6aac 1073
238f4380
RH
1074 /*
1075 * Load the tlb comparator and the addend.
1076 * Always load the entire 64-bit comparator for simplicity.
1077 * We will ignore the high bits via BPCC_ICC below.
1078 */
1079 tcg_out_ld(s, TCG_TYPE_I64, TCG_REG_T2, TCG_REG_T1, cmp_off);
29086503
RH
1080 tcg_out_ld(s, TCG_TYPE_PTR, TCG_REG_T1, TCG_REG_T1, add_off);
1081 h->base = TCG_REG_T1;
f5ef6aac 1082
29086503 1083 /* Mask out the page offset, except for the required alignment. */
aece72b7 1084 compare_mask = s->page_mask | a_mask;
29086503
RH
1085 if (check_fit_tl(compare_mask, 13)) {
1086 tcg_out_arithi(s, TCG_REG_T3, addr_reg, compare_mask, ARITH_AND);
7ea5d725 1087 } else {
29086503
RH
1088 tcg_out_movi_s32(s, TCG_REG_T3, compare_mask);
1089 tcg_out_arith(s, TCG_REG_T3, addr_reg, TCG_REG_T3, ARITH_AND);
7ea5d725 1090 }
29086503 1091 tcg_out_cmp(s, TCG_REG_T2, TCG_REG_T3, 0);
3a5f6805 1092
29086503
RH
1093 ldst = new_ldst_label(s);
1094 ldst->is_ld = is_ld;
1095 ldst->oi = oi;
1096 ldst->addrlo_reg = addr_reg;
1097 ldst->label_ptr[0] = s->code_ptr;
f5ef6aac 1098
29086503 1099 /* bne,pn %[xi]cc, label0 */
40bca78d 1100 cc = addr_type == TCG_TYPE_I32 ? BPCC_ICC : BPCC_XCC;
29086503 1101 tcg_out_bpcc0(s, COND_NE, BPCC_PN | cc, 0);
90cbed46 1102#else
9ca63431
RH
1103 /*
1104 * If the size equals the required alignment, we can skip the test
1105 * and allow host SIGBUS to deliver SIGBUS to the guest.
1106 * Otherwise, test for at least natural alignment and defer
1107 * everything else to the helper functions.
1108 */
1109 if (s_bits != get_alignment_bits(opc)) {
29086503
RH
1110 tcg_debug_assert(check_fit_tl(a_mask, 13));
1111 tcg_out_arithi(s, TCG_REG_G0, addr_reg, a_mask, ARITH_ANDCC);
321dbde3 1112
29086503
RH
1113 ldst = new_ldst_label(s);
1114 ldst->is_ld = is_ld;
1115 ldst->oi = oi;
1116 ldst->addrlo_reg = addr_reg;
1117 ldst->label_ptr[0] = s->code_ptr;
321dbde3 1118
29086503
RH
1119 /* bne,pn %icc, label0 */
1120 tcg_out_bpcc0(s, COND_NE, BPCC_PN | BPCC_ICC, 0);
321dbde3 1121 }
29086503
RH
1122 h->base = guest_base ? TCG_GUEST_BASE_REG : TCG_REG_G0;
1123#endif
321dbde3 1124
29086503 1125 /* If the guest address must be zero-extended, do in the delay slot. */
40bca78d 1126 if (addr_type == TCG_TYPE_I32) {
29086503
RH
1127 tcg_out_ext32u(s, TCG_REG_T2, addr_reg);
1128 h->index = TCG_REG_T2;
321dbde3 1129 } else {
29086503
RH
1130 if (ldst) {
1131 tcg_out_nop(s);
321dbde3 1132 }
29086503 1133 h->index = addr_reg;
321dbde3 1134 }
29086503
RH
1135 return ldst;
1136}
321dbde3 1137
29086503
RH
1138static void tcg_out_qemu_ld(TCGContext *s, TCGReg data, TCGReg addr,
1139 MemOpIdx oi, TCGType data_type)
1140{
1141 static const int ld_opc[(MO_SSIZE | MO_BSWAP) + 1] = {
1142 [MO_UB] = LDUB,
1143 [MO_SB] = LDSB,
1144 [MO_UB | MO_LE] = LDUB,
1145 [MO_SB | MO_LE] = LDSB,
1146
1147 [MO_BEUW] = LDUH,
1148 [MO_BESW] = LDSH,
1149 [MO_BEUL] = LDUW,
1150 [MO_BESL] = LDSW,
1151 [MO_BEUQ] = LDX,
1152 [MO_BESQ] = LDX,
1153
1154 [MO_LEUW] = LDUH_LE,
1155 [MO_LESW] = LDSH_LE,
1156 [MO_LEUL] = LDUW_LE,
1157 [MO_LESL] = LDSW_LE,
1158 [MO_LEUQ] = LDX_LE,
1159 [MO_LESQ] = LDX_LE,
1160 };
1161
1162 TCGLabelQemuLdst *ldst;
1163 HostAddress h;
1164
1165 ldst = prepare_host_addr(s, &h, addr, oi, true);
1166
1167 tcg_out_ldst_rr(s, data, h.base, h.index,
1168 ld_opc[get_memop(oi) & (MO_BSWAP | MO_SSIZE)]);
1169
1170 if (ldst) {
1171 ldst->type = data_type;
1172 ldst->datalo_reg = data;
1173 ldst->raddr = tcg_splitwx_to_rx(s->code_ptr);
1174 }
f5ef6aac
BS
1175}
1176
34b1a49c 1177static void tcg_out_qemu_st(TCGContext *s, TCGReg data, TCGReg addr,
b3dfd5fc 1178 MemOpIdx oi, TCGType data_type)
f5ef6aac 1179{
29086503
RH
1180 static const int st_opc[(MO_SIZE | MO_BSWAP) + 1] = {
1181 [MO_UB] = STB,
321dbde3 1182
29086503
RH
1183 [MO_BEUW] = STH,
1184 [MO_BEUL] = STW,
1185 [MO_BEUQ] = STX,
a0ce341a 1186
29086503
RH
1187 [MO_LEUW] = STH_LE,
1188 [MO_LEUL] = STW_LE,
1189 [MO_LEUQ] = STX_LE,
1190 };
a0ce341a 1191
29086503
RH
1192 TCGLabelQemuLdst *ldst;
1193 HostAddress h;
53c37487 1194
29086503 1195 ldst = prepare_host_addr(s, &h, addr, oi, false);
f5ef6aac 1196
29086503
RH
1197 tcg_out_ldst_rr(s, data, h.base, h.index,
1198 st_opc[get_memop(oi) & (MO_BSWAP | MO_SIZE)]);
321dbde3 1199
29086503
RH
1200 if (ldst) {
1201 ldst->type = data_type;
1202 ldst->datalo_reg = data;
1203 ldst->raddr = tcg_splitwx_to_rx(s->code_ptr);
321dbde3 1204 }
f5ef6aac
BS
1205}
1206
b55a8d9d
RH
1207static void tcg_out_exit_tb(TCGContext *s, uintptr_t a0)
1208{
1209 if (check_fit_ptr(a0, 13)) {
1210 tcg_out_arithi(s, TCG_REG_G0, TCG_REG_I7, 8, RETURN);
8b14f862 1211 tcg_out_movi_s13(s, TCG_REG_O0, a0);
b55a8d9d 1212 return;
1e42b4f8 1213 } else {
b55a8d9d
RH
1214 intptr_t tb_diff = tcg_tbrel_diff(s, (void *)a0);
1215 if (check_fit_ptr(tb_diff, 13)) {
1216 tcg_out_arithi(s, TCG_REG_G0, TCG_REG_I7, 8, RETURN);
1217 /* Note that TCG_REG_TB has been unwound to O1. */
1218 tcg_out_arithi(s, TCG_REG_O0, TCG_REG_O1, tb_diff, ARITH_ADD);
1219 return;
1220 }
1221 }
1222 tcg_out_movi(s, TCG_TYPE_PTR, TCG_REG_I0, a0 & ~0x3ff);
1223 tcg_out_arithi(s, TCG_REG_G0, TCG_REG_I7, 8, RETURN);
1224 tcg_out_arithi(s, TCG_REG_O0, TCG_REG_O0, a0 & 0x3ff, ARITH_OR);
1225}
1226
cf7d6b8e
RH
1227static void tcg_out_goto_tb(TCGContext *s, int which)
1228{
a228ae3e 1229 ptrdiff_t off = tcg_tbrel_diff(s, (void *)get_jmp_target_addr(s, which));
1e42b4f8 1230
1ffbe5d6 1231 /* Load link and indirect branch. */
1e42b4f8 1232 set_jmp_insn_offset(s, which);
a228ae3e 1233 tcg_out_ld(s, TCG_TYPE_PTR, TCG_REG_TB, TCG_REG_TB, off);
1ffbe5d6
RH
1234 tcg_out_arithi(s, TCG_REG_G0, TCG_REG_TB, 0, JMPL);
1235 /* delay slot */
1236 tcg_out_nop(s);
cf7d6b8e
RH
1237 set_jmp_reset_offset(s, which);
1238
1239 /*
1240 * For the unlinked path of goto_tb, we need to reset TCG_REG_TB
1241 * to the beginning of this TB.
1242 */
a228ae3e
RH
1243 off = -tcg_current_code_size(s);
1244 if (check_fit_i32(off, 13)) {
1245 tcg_out_arithi(s, TCG_REG_TB, TCG_REG_TB, off, ARITH_ADD);
1e42b4f8 1246 } else {
a228ae3e 1247 tcg_out_movi(s, TCG_TYPE_PTR, TCG_REG_T1, off);
1e42b4f8 1248 tcg_out_arith(s, TCG_REG_TB, TCG_REG_TB, TCG_REG_T1, ARITH_ADD);
cf7d6b8e
RH
1249 }
1250}
1251
a228ae3e
RH
1252void tb_target_set_jmp_target(const TranslationBlock *tb, int n,
1253 uintptr_t jmp_rx, uintptr_t jmp_rw)
1254{
a228ae3e
RH
1255}
1256
b357f902
RH
1257static void tcg_out_op(TCGContext *s, TCGOpcode opc,
1258 const TCGArg args[TCG_MAX_OP_ARGS],
1259 const int const_args[TCG_MAX_OP_ARGS])
8289b279 1260{
b357f902
RH
1261 TCGArg a0, a1, a2;
1262 int c, c2;
1263
1264 /* Hoist the loads of the most common arguments. */
1265 a0 = args[0];
1266 a1 = args[1];
1267 a2 = args[2];
1268 c2 = const_args[2];
8289b279
BS
1269
1270 switch (opc) {
38f81dc5
RH
1271 case INDEX_op_goto_ptr:
1272 tcg_out_arithi(s, TCG_REG_G0, a0, 0, JMPL);
1e42b4f8 1273 tcg_out_mov_delay(s, TCG_REG_TB, a0);
38f81dc5 1274 break;
8289b279 1275 case INDEX_op_br:
bec16311 1276 tcg_out_bpcc(s, COND_A, BPCC_PT, arg_label(a0));
f5ef6aac 1277 tcg_out_nop(s);
8289b279 1278 break;
8289b279 1279
8289b279 1280#define OP_32_64(x) \
ba225198
RH
1281 glue(glue(case INDEX_op_, x), _i32): \
1282 glue(glue(case INDEX_op_, x), _i64)
34b1a49c 1283
ba225198 1284 OP_32_64(ld8u):
b357f902 1285 tcg_out_ldst(s, a0, a1, a2, LDUB);
8289b279 1286 break;
ba225198 1287 OP_32_64(ld8s):
b357f902 1288 tcg_out_ldst(s, a0, a1, a2, LDSB);
8289b279 1289 break;
ba225198 1290 OP_32_64(ld16u):
b357f902 1291 tcg_out_ldst(s, a0, a1, a2, LDUH);
8289b279 1292 break;
ba225198 1293 OP_32_64(ld16s):
b357f902 1294 tcg_out_ldst(s, a0, a1, a2, LDSH);
8289b279
BS
1295 break;
1296 case INDEX_op_ld_i32:
53cd9273 1297 case INDEX_op_ld32u_i64:
b357f902 1298 tcg_out_ldst(s, a0, a1, a2, LDUW);
8289b279 1299 break;
ba225198 1300 OP_32_64(st8):
b357f902 1301 tcg_out_ldst(s, a0, a1, a2, STB);
8289b279 1302 break;
ba225198 1303 OP_32_64(st16):
b357f902 1304 tcg_out_ldst(s, a0, a1, a2, STH);
8289b279
BS
1305 break;
1306 case INDEX_op_st_i32:
53cd9273 1307 case INDEX_op_st32_i64:
b357f902 1308 tcg_out_ldst(s, a0, a1, a2, STW);
8289b279 1309 break;
ba225198 1310 OP_32_64(add):
53cd9273 1311 c = ARITH_ADD;
ba225198
RH
1312 goto gen_arith;
1313 OP_32_64(sub):
8289b279 1314 c = ARITH_SUB;
ba225198
RH
1315 goto gen_arith;
1316 OP_32_64(and):
8289b279 1317 c = ARITH_AND;
ba225198 1318 goto gen_arith;
dc69960d
RH
1319 OP_32_64(andc):
1320 c = ARITH_ANDN;
1321 goto gen_arith;
ba225198 1322 OP_32_64(or):
8289b279 1323 c = ARITH_OR;
ba225198 1324 goto gen_arith;
18c8f7a3
RH
1325 OP_32_64(orc):
1326 c = ARITH_ORN;
1327 goto gen_arith;
ba225198 1328 OP_32_64(xor):
8289b279 1329 c = ARITH_XOR;
ba225198 1330 goto gen_arith;
8289b279
BS
1331 case INDEX_op_shl_i32:
1332 c = SHIFT_SLL;
1fd95946
RH
1333 do_shift32:
1334 /* Limit immediate shift count lest we create an illegal insn. */
b357f902 1335 tcg_out_arithc(s, a0, a1, a2 & 31, c2, c);
1fd95946 1336 break;
8289b279
BS
1337 case INDEX_op_shr_i32:
1338 c = SHIFT_SRL;
1fd95946 1339 goto do_shift32;
8289b279
BS
1340 case INDEX_op_sar_i32:
1341 c = SHIFT_SRA;
1fd95946 1342 goto do_shift32;
8289b279
BS
1343 case INDEX_op_mul_i32:
1344 c = ARITH_UMUL;
ba225198 1345 goto gen_arith;
583d1215 1346
4b5a85c1
RH
1347 OP_32_64(neg):
1348 c = ARITH_SUB;
1349 goto gen_arith1;
be6551b1
RH
1350 OP_32_64(not):
1351 c = ARITH_ORN;
1352 goto gen_arith1;
4b5a85c1 1353
583d1215 1354 case INDEX_op_div_i32:
b357f902 1355 tcg_out_div32(s, a0, a1, a2, c2, 0);
583d1215
RH
1356 break;
1357 case INDEX_op_divu_i32:
b357f902 1358 tcg_out_div32(s, a0, a1, a2, c2, 1);
583d1215
RH
1359 break;
1360
8289b279 1361 case INDEX_op_brcond_i32:
bec16311 1362 tcg_out_brcond_i32(s, a2, a0, a1, const_args[1], arg_label(args[3]));
8289b279 1363 break;
dbfe80e1 1364 case INDEX_op_setcond_i32:
a0fdd7c9
RH
1365 tcg_out_setcond_i32(s, args[3], a0, a1, a2, c2, false);
1366 break;
1367 case INDEX_op_negsetcond_i32:
1368 tcg_out_setcond_i32(s, args[3], a0, a1, a2, c2, true);
dbfe80e1 1369 break;
ded37f0d 1370 case INDEX_op_movcond_i32:
b357f902 1371 tcg_out_movcond_i32(s, args[5], a0, a1, a2, c2, args[3], const_args[3]);
ded37f0d 1372 break;
dbfe80e1 1373
7a3766f3 1374 case INDEX_op_add2_i32:
609ac1e1
RH
1375 tcg_out_addsub2_i32(s, args[0], args[1], args[2], args[3],
1376 args[4], const_args[4], args[5], const_args[5],
c470b663 1377 ARITH_ADDCC, ARITH_ADDC);
7a3766f3
RH
1378 break;
1379 case INDEX_op_sub2_i32:
609ac1e1
RH
1380 tcg_out_addsub2_i32(s, args[0], args[1], args[2], args[3],
1381 args[4], const_args[4], args[5], const_args[5],
c470b663 1382 ARITH_SUBCC, ARITH_SUBC);
7a3766f3
RH
1383 break;
1384 case INDEX_op_mulu2_i32:
f4c16661
RH
1385 c = ARITH_UMUL;
1386 goto do_mul2;
1387 case INDEX_op_muls2_i32:
1388 c = ARITH_SMUL;
1389 do_mul2:
3a5f6805 1390 /* The 32-bit multiply insns produce a full 64-bit result. */
b357f902 1391 tcg_out_arithc(s, a0, a2, args[3], const_args[3], c);
3a5f6805 1392 tcg_out_arithi(s, a1, a0, 32, SHIFT_SRLX);
7a3766f3 1393 break;
8289b279 1394
fecccfcc
RH
1395 case INDEX_op_qemu_ld_a32_i32:
1396 case INDEX_op_qemu_ld_a64_i32:
e2adae3f 1397 tcg_out_qemu_ld(s, a0, a1, a2, TCG_TYPE_I32);
8289b279 1398 break;
fecccfcc
RH
1399 case INDEX_op_qemu_ld_a32_i64:
1400 case INDEX_op_qemu_ld_a64_i64:
e2adae3f 1401 tcg_out_qemu_ld(s, a0, a1, a2, TCG_TYPE_I64);
8289b279 1402 break;
fecccfcc
RH
1403 case INDEX_op_qemu_st_a32_i32:
1404 case INDEX_op_qemu_st_a64_i32:
b3dfd5fc
RH
1405 tcg_out_qemu_st(s, a0, a1, a2, TCG_TYPE_I32);
1406 break;
fecccfcc
RH
1407 case INDEX_op_qemu_st_a32_i64:
1408 case INDEX_op_qemu_st_a64_i64:
b3dfd5fc 1409 tcg_out_qemu_st(s, a0, a1, a2, TCG_TYPE_I64);
a0ce341a 1410 break;
8289b279 1411
53cd9273 1412 case INDEX_op_ld32s_i64:
b357f902 1413 tcg_out_ldst(s, a0, a1, a2, LDSW);
53cd9273 1414 break;
8289b279 1415 case INDEX_op_ld_i64:
b357f902 1416 tcg_out_ldst(s, a0, a1, a2, LDX);
8289b279
BS
1417 break;
1418 case INDEX_op_st_i64:
b357f902 1419 tcg_out_ldst(s, a0, a1, a2, STX);
8289b279
BS
1420 break;
1421 case INDEX_op_shl_i64:
1422 c = SHIFT_SLLX;
1fd95946
RH
1423 do_shift64:
1424 /* Limit immediate shift count lest we create an illegal insn. */
b357f902 1425 tcg_out_arithc(s, a0, a1, a2 & 63, c2, c);
1fd95946 1426 break;
8289b279
BS
1427 case INDEX_op_shr_i64:
1428 c = SHIFT_SRLX;
1fd95946 1429 goto do_shift64;
8289b279
BS
1430 case INDEX_op_sar_i64:
1431 c = SHIFT_SRAX;
1fd95946 1432 goto do_shift64;
8289b279
BS
1433 case INDEX_op_mul_i64:
1434 c = ARITH_MULX;
ba225198 1435 goto gen_arith;
583d1215 1436 case INDEX_op_div_i64:
53cd9273 1437 c = ARITH_SDIVX;
ba225198 1438 goto gen_arith;
583d1215 1439 case INDEX_op_divu_i64:
8289b279 1440 c = ARITH_UDIVX;
ba225198 1441 goto gen_arith;
8289b279
BS
1442
1443 case INDEX_op_brcond_i64:
bec16311 1444 tcg_out_brcond_i64(s, a2, a0, a1, const_args[1], arg_label(args[3]));
8289b279 1445 break;
dbfe80e1 1446 case INDEX_op_setcond_i64:
a0fdd7c9
RH
1447 tcg_out_setcond_i64(s, args[3], a0, a1, a2, c2, false);
1448 break;
1449 case INDEX_op_negsetcond_i64:
1450 tcg_out_setcond_i64(s, args[3], a0, a1, a2, c2, true);
dbfe80e1 1451 break;
ded37f0d 1452 case INDEX_op_movcond_i64:
b357f902 1453 tcg_out_movcond_i64(s, args[5], a0, a1, a2, c2, args[3], const_args[3]);
ded37f0d 1454 break;
609ac1e1
RH
1455 case INDEX_op_add2_i64:
1456 tcg_out_addsub2_i64(s, args[0], args[1], args[2], args[3], args[4],
1457 const_args[4], args[5], const_args[5], false);
1458 break;
1459 case INDEX_op_sub2_i64:
1460 tcg_out_addsub2_i64(s, args[0], args[1], args[2], args[3], args[4],
1461 const_args[4], args[5], const_args[5], true);
1462 break;
de8301e5
RH
1463 case INDEX_op_muluh_i64:
1464 tcg_out_arith(s, args[0], args[1], args[2], ARITH_UMULXHI);
1465 break;
34b1a49c 1466
ba225198 1467 gen_arith:
b357f902 1468 tcg_out_arithc(s, a0, a1, a2, c2, c);
53cd9273
BS
1469 break;
1470
4b5a85c1 1471 gen_arith1:
b357f902 1472 tcg_out_arithc(s, a0, TCG_REG_G0, a1, const_args[1], c);
4b5a85c1
RH
1473 break;
1474
f8f03b37
PK
1475 case INDEX_op_mb:
1476 tcg_out_mb(s, a0);
1477 break;
1478
96d0ee7f 1479 case INDEX_op_mov_i32: /* Always emitted via tcg_out_mov. */
98b90bab 1480 case INDEX_op_mov_i64:
96d0ee7f 1481 case INDEX_op_call: /* Always emitted via tcg_out_call. */
b55a8d9d 1482 case INDEX_op_exit_tb: /* Always emitted via tcg_out_exit_tb. */
cf7d6b8e 1483 case INDEX_op_goto_tb: /* Always emitted via tcg_out_goto_tb. */
678155b2
RH
1484 case INDEX_op_ext8s_i32: /* Always emitted via tcg_reg_alloc_op. */
1485 case INDEX_op_ext8s_i64:
d0e66c89
RH
1486 case INDEX_op_ext8u_i32:
1487 case INDEX_op_ext8u_i64:
753e42ea
RH
1488 case INDEX_op_ext16s_i32:
1489 case INDEX_op_ext16s_i64:
379afdff
RH
1490 case INDEX_op_ext16u_i32:
1491 case INDEX_op_ext16u_i64:
52bf3398 1492 case INDEX_op_ext32s_i64:
9ecf5f61 1493 case INDEX_op_ext32u_i64:
9c6aa274 1494 case INDEX_op_ext_i32_i64:
b9bfe000 1495 case INDEX_op_extu_i32_i64:
8289b279 1496 default:
732e89f4 1497 g_assert_not_reached();
8289b279
BS
1498 }
1499}
1500
0d11dc7c 1501static TCGConstraintSetIndex tcg_target_op_def(TCGOpcode op)
f69d277e 1502{
9be44a16
RH
1503 switch (op) {
1504 case INDEX_op_goto_ptr:
0d11dc7c 1505 return C_O0_I1(r);
f69d277e 1506
9be44a16 1507 case INDEX_op_ld8u_i32:
a59a2931 1508 case INDEX_op_ld8u_i64:
9be44a16 1509 case INDEX_op_ld8s_i32:
a59a2931 1510 case INDEX_op_ld8s_i64:
9be44a16 1511 case INDEX_op_ld16u_i32:
a59a2931 1512 case INDEX_op_ld16u_i64:
9be44a16 1513 case INDEX_op_ld16s_i32:
a59a2931 1514 case INDEX_op_ld16s_i64:
9be44a16 1515 case INDEX_op_ld_i32:
a59a2931
RH
1516 case INDEX_op_ld32u_i64:
1517 case INDEX_op_ld32s_i64:
1518 case INDEX_op_ld_i64:
9be44a16 1519 case INDEX_op_neg_i32:
a59a2931 1520 case INDEX_op_neg_i64:
9be44a16 1521 case INDEX_op_not_i32:
a59a2931
RH
1522 case INDEX_op_not_i64:
1523 case INDEX_op_ext32s_i64:
1524 case INDEX_op_ext32u_i64:
1525 case INDEX_op_ext_i32_i64:
1526 case INDEX_op_extu_i32_i64:
fecccfcc
RH
1527 case INDEX_op_qemu_ld_a32_i32:
1528 case INDEX_op_qemu_ld_a64_i32:
1529 case INDEX_op_qemu_ld_a32_i64:
1530 case INDEX_op_qemu_ld_a64_i64:
0d11dc7c 1531 return C_O1_I1(r, r);
9be44a16
RH
1532
1533 case INDEX_op_st8_i32:
a59a2931 1534 case INDEX_op_st8_i64:
9be44a16 1535 case INDEX_op_st16_i32:
a59a2931 1536 case INDEX_op_st16_i64:
9be44a16 1537 case INDEX_op_st_i32:
a59a2931
RH
1538 case INDEX_op_st32_i64:
1539 case INDEX_op_st_i64:
fecccfcc
RH
1540 case INDEX_op_qemu_st_a32_i32:
1541 case INDEX_op_qemu_st_a64_i32:
1542 case INDEX_op_qemu_st_a32_i64:
1543 case INDEX_op_qemu_st_a64_i64:
0d11dc7c 1544 return C_O0_I2(rZ, r);
9be44a16
RH
1545
1546 case INDEX_op_add_i32:
a59a2931 1547 case INDEX_op_add_i64:
9be44a16 1548 case INDEX_op_mul_i32:
a59a2931 1549 case INDEX_op_mul_i64:
9be44a16 1550 case INDEX_op_div_i32:
a59a2931 1551 case INDEX_op_div_i64:
9be44a16 1552 case INDEX_op_divu_i32:
a59a2931 1553 case INDEX_op_divu_i64:
9be44a16 1554 case INDEX_op_sub_i32:
a59a2931 1555 case INDEX_op_sub_i64:
9be44a16 1556 case INDEX_op_and_i32:
a59a2931 1557 case INDEX_op_and_i64:
9be44a16 1558 case INDEX_op_andc_i32:
a59a2931 1559 case INDEX_op_andc_i64:
9be44a16 1560 case INDEX_op_or_i32:
a59a2931 1561 case INDEX_op_or_i64:
9be44a16 1562 case INDEX_op_orc_i32:
a59a2931 1563 case INDEX_op_orc_i64:
9be44a16 1564 case INDEX_op_xor_i32:
a59a2931 1565 case INDEX_op_xor_i64:
9be44a16 1566 case INDEX_op_shl_i32:
a59a2931 1567 case INDEX_op_shl_i64:
9be44a16 1568 case INDEX_op_shr_i32:
a59a2931 1569 case INDEX_op_shr_i64:
9be44a16 1570 case INDEX_op_sar_i32:
a59a2931 1571 case INDEX_op_sar_i64:
9be44a16 1572 case INDEX_op_setcond_i32:
a59a2931 1573 case INDEX_op_setcond_i64:
a0fdd7c9
RH
1574 case INDEX_op_negsetcond_i32:
1575 case INDEX_op_negsetcond_i64:
0d11dc7c 1576 return C_O1_I2(r, rZ, rJ);
9be44a16
RH
1577
1578 case INDEX_op_brcond_i32:
a59a2931 1579 case INDEX_op_brcond_i64:
0d11dc7c 1580 return C_O0_I2(rZ, rJ);
9be44a16 1581 case INDEX_op_movcond_i32:
a59a2931 1582 case INDEX_op_movcond_i64:
0d11dc7c 1583 return C_O1_I4(r, rZ, rJ, rI, 0);
9be44a16 1584 case INDEX_op_add2_i32:
a59a2931 1585 case INDEX_op_add2_i64:
9be44a16 1586 case INDEX_op_sub2_i32:
a59a2931 1587 case INDEX_op_sub2_i64:
0d11dc7c 1588 return C_O2_I4(r, r, rZ, rZ, rJ, rJ);
9be44a16
RH
1589 case INDEX_op_mulu2_i32:
1590 case INDEX_op_muls2_i32:
0d11dc7c 1591 return C_O2_I2(r, r, rZ, rJ);
9be44a16 1592 case INDEX_op_muluh_i64:
a59a2931 1593 return C_O1_I2(r, r, r);
9be44a16 1594
9be44a16 1595 default:
0d11dc7c 1596 g_assert_not_reached();
f69d277e 1597 }
f69d277e
RH
1598}
1599
e4d58b41 1600static void tcg_target_init(TCGContext *s)
8289b279 1601{
a4761232
PMD
1602 /*
1603 * Only probe for the platform and capabilities if we haven't already
1604 * determined maximum values at compile time.
1605 */
90379ca8
RH
1606#ifndef use_vis3_instructions
1607 {
1608 unsigned long hwcap = qemu_getauxval(AT_HWCAP);
1609 use_vis3_instructions = (hwcap & HWCAP_SPARC_VIS3) != 0;
1610 }
1611#endif
1612
77f268e8 1613 tcg_target_available_regs[TCG_TYPE_I32] = ALL_GENERAL_REGS;
a59a2931 1614 tcg_target_available_regs[TCG_TYPE_I64] = ALL_GENERAL_REGS;
f46934df
RH
1615
1616 tcg_target_call_clobber_regs = 0;
1617 tcg_regset_set_reg(tcg_target_call_clobber_regs, TCG_REG_G1);
1618 tcg_regset_set_reg(tcg_target_call_clobber_regs, TCG_REG_G2);
1619 tcg_regset_set_reg(tcg_target_call_clobber_regs, TCG_REG_G3);
1620 tcg_regset_set_reg(tcg_target_call_clobber_regs, TCG_REG_G4);
1621 tcg_regset_set_reg(tcg_target_call_clobber_regs, TCG_REG_G5);
1622 tcg_regset_set_reg(tcg_target_call_clobber_regs, TCG_REG_G6);
1623 tcg_regset_set_reg(tcg_target_call_clobber_regs, TCG_REG_G7);
1624 tcg_regset_set_reg(tcg_target_call_clobber_regs, TCG_REG_O0);
1625 tcg_regset_set_reg(tcg_target_call_clobber_regs, TCG_REG_O1);
1626 tcg_regset_set_reg(tcg_target_call_clobber_regs, TCG_REG_O2);
1627 tcg_regset_set_reg(tcg_target_call_clobber_regs, TCG_REG_O3);
1628 tcg_regset_set_reg(tcg_target_call_clobber_regs, TCG_REG_O4);
1629 tcg_regset_set_reg(tcg_target_call_clobber_regs, TCG_REG_O5);
1630 tcg_regset_set_reg(tcg_target_call_clobber_regs, TCG_REG_O6);
1631 tcg_regset_set_reg(tcg_target_call_clobber_regs, TCG_REG_O7);
8289b279 1632
ccb1bb66 1633 s->reserved_regs = 0;
375816f8
RH
1634 tcg_regset_set_reg(s->reserved_regs, TCG_REG_G0); /* zero */
1635 tcg_regset_set_reg(s->reserved_regs, TCG_REG_G6); /* reserved for os */
1636 tcg_regset_set_reg(s->reserved_regs, TCG_REG_G7); /* thread pointer */
1637 tcg_regset_set_reg(s->reserved_regs, TCG_REG_I6); /* frame pointer */
1638 tcg_regset_set_reg(s->reserved_regs, TCG_REG_I7); /* return address */
1639 tcg_regset_set_reg(s->reserved_regs, TCG_REG_O6); /* stack pointer */
1640 tcg_regset_set_reg(s->reserved_regs, TCG_REG_T1); /* for internal use */
1641 tcg_regset_set_reg(s->reserved_regs, TCG_REG_T2); /* for internal use */
33982b89 1642 tcg_regset_set_reg(s->reserved_regs, TCG_REG_T3); /* for internal use */
8289b279 1643}
cb1977d3 1644
3a5f6805 1645#define ELF_HOST_MACHINE EM_SPARCV9
cb1977d3 1646
cb1977d3 1647typedef struct {
ae18b28d 1648 DebugFrameHeader h;
3a5f6805 1649 uint8_t fde_def_cfa[4];
497a22eb
RH
1650 uint8_t fde_win_save;
1651 uint8_t fde_ret_save[3];
cb1977d3
RH
1652} DebugFrame;
1653
ae18b28d
RH
1654static const DebugFrame debug_frame = {
1655 .h.cie.len = sizeof(DebugFrameCIE)-4, /* length after .len member */
1656 .h.cie.id = -1,
1657 .h.cie.version = 1,
1658 .h.cie.code_align = 1,
1659 .h.cie.data_align = -sizeof(void *) & 0x7f,
1660 .h.cie.return_column = 15, /* o7 */
cb1977d3 1661
497a22eb 1662 /* Total FDE size does not include the "len" member. */
ae18b28d 1663 .h.fde.len = sizeof(DebugFrame) - offsetof(DebugFrame, h.fde.cie_offset),
497a22eb
RH
1664
1665 .fde_def_cfa = {
cb1977d3
RH
1666 12, 30, /* DW_CFA_def_cfa i6, 2047 */
1667 (2047 & 0x7f) | 0x80, (2047 >> 7)
cb1977d3 1668 },
497a22eb
RH
1669 .fde_win_save = 0x2d, /* DW_CFA_GNU_window_save */
1670 .fde_ret_save = { 9, 15, 31 }, /* DW_CFA_register o7, i7 */
cb1977d3
RH
1671};
1672
755bf9e5 1673void tcg_register_jit(const void *buf, size_t buf_size)
cb1977d3 1674{
cb1977d3
RH
1675 tcg_register_jit_int(buf, buf_size, &debug_frame, sizeof(debug_frame));
1676}