]> git.ipfire.org Git - thirdparty/qemu.git/blame - tcg/ppc/tcg-target.inc.c
projects / thirdparty / qemu.git / blame
? search:
summary | shortlog | log | commit | commitdiff | tree
blob | blame (incremental) | history | HEAD
tcg: TCGMemOp is now accelerator independent MemOp
[thirdparty/qemu.git] / tcg / ppc / tcg-target.inc.c
CommitLineData
810260a8 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
53c89efd
RH		 25#include "elf.h"
26#include "tcg-pool.inc.c"
27
ffcfbece
RH		 28#if defined _CALL_DARWIN || defined __APPLE__
29#define TCG_TARGET_CALL_DARWIN
30#endif
7f25c469
RH		 31#ifdef _CALL_SYSV
32# define TCG_TARGET_CALL_ALIGN_ARGS 1
33#endif
ffcfbece 34
dfca1778
RH		 35/* For some memory operations, we need a scratch that isn't R0. For the AIX
36 calling convention, we can re-use the TOC register since we'll be reloading
37 it at every call. Otherwise R12 will do nicely as neither a call-saved
38 register nor a parameter register. */
39#ifdef _CALL_AIX
40# define TCG_REG_TMP1 TCG_REG_R2
41#else
42# define TCG_REG_TMP1 TCG_REG_R12
43#endif
44
5964fca8
RH		 45#define TCG_REG_TB TCG_REG_R31
46#define USE_REG_TB (TCG_TARGET_REG_BITS == 64)
a84ac4cb 47
de3d636d
RH		 48/* Shorthand for size of a pointer. Avoid promotion to unsigned. */
49#define SZP ((int)sizeof(void *))
50
4c3831a0
RH		 51/* Shorthand for size of a register. */
52#define SZR (TCG_TARGET_REG_BITS / 8)
53
3d582c61
RH		 54#define TCG_CT_CONST_S16 0x100
55#define TCG_CT_CONST_U16 0x200
56#define TCG_CT_CONST_S32 0x400
57#define TCG_CT_CONST_U32 0x800
58#define TCG_CT_CONST_ZERO 0x1000
6c858762 59#define TCG_CT_CONST_MONE 0x2000
d0b07481 60#define TCG_CT_CONST_WSZ 0x4000
fe6f943f 61
e083c4a2 62static tcg_insn_unit *tb_ret_addr;
810260a8 63
33e75fb9 64bool have_isa_2_06;
d0b07481
RH		 65bool have_isa_3_00;
66
1e6e9aca
RH		 67#define HAVE_ISA_2_06 have_isa_2_06
68#define HAVE_ISEL have_isa_2_06
49d9870a 69
4cbea598 70#ifndef CONFIG_SOFTMMU
f6548c0a 71#define TCG_GUEST_BASE_REG 30
f6548c0a 72#endif
73
8d8fdbae 74#ifdef CONFIG_DEBUG_TCG
810260a8 75static const char * const tcg_target_reg_names[TCG_TARGET_NB_REGS] = {
76 "r0",
77 "r1",
98926b0a 78 "r2",
810260a8 79 "r3",
80 "r4",
81 "r5",
82 "r6",
83 "r7",
84 "r8",
85 "r9",
86 "r10",
87 "r11",
88 "r12",
89 "r13",
90 "r14",
91 "r15",
92 "r16",
93 "r17",
94 "r18",
95 "r19",
96 "r20",
97 "r21",
98 "r22",
99 "r23",
100 "r24",
101 "r25",
102 "r26",
103 "r27",
104 "r28",
105 "r29",
106 "r30",
107 "r31"
108};
d4a9eb1f 109#endif
810260a8 110
111static const int tcg_target_reg_alloc_order[] = {
5e1702b0 112 TCG_REG_R14, /* call saved registers */
810260a8 113 TCG_REG_R15,
114 TCG_REG_R16,
115 TCG_REG_R17,
116 TCG_REG_R18,
117 TCG_REG_R19,
118 TCG_REG_R20,
119 TCG_REG_R21,
120 TCG_REG_R22,
121 TCG_REG_R23,
5e1702b0
RH		 122 TCG_REG_R24,
123 TCG_REG_R25,
124 TCG_REG_R26,
125 TCG_REG_R27,
810260a8 126 TCG_REG_R28,
127 TCG_REG_R29,
128 TCG_REG_R30,
129 TCG_REG_R31,
5e1702b0
RH		 130 TCG_REG_R12, /* call clobbered, non-arguments */
131 TCG_REG_R11,
dfca1778
RH		 132 TCG_REG_R2,
133 TCG_REG_R13,
5e1702b0 134 TCG_REG_R10, /* call clobbered, arguments */
810260a8 135 TCG_REG_R9,
5e1702b0
RH		 136 TCG_REG_R8,
137 TCG_REG_R7,
138 TCG_REG_R6,
139 TCG_REG_R5,
140 TCG_REG_R4,
141 TCG_REG_R3,
810260a8 142};
143
144static const int tcg_target_call_iarg_regs[] = {
145 TCG_REG_R3,
146 TCG_REG_R4,
147 TCG_REG_R5,
148 TCG_REG_R6,
149 TCG_REG_R7,
150 TCG_REG_R8,
151 TCG_REG_R9,
152 TCG_REG_R10
153};
154
be9c4183 155static const int tcg_target_call_oarg_regs[] = {
dfca1778
RH		 156 TCG_REG_R3,
157 TCG_REG_R4
810260a8 158};
159
160static const int tcg_target_callee_save_regs[] = {
dfca1778 161#ifdef TCG_TARGET_CALL_DARWIN
5d7ff5bb
AF		 162 TCG_REG_R11,
163#endif
810260a8 164 TCG_REG_R14,
165 TCG_REG_R15,
166 TCG_REG_R16,
167 TCG_REG_R17,
168 TCG_REG_R18,
169 TCG_REG_R19,
170 TCG_REG_R20,
171 TCG_REG_R21,
172 TCG_REG_R22,
173 TCG_REG_R23,
095271d4 174 TCG_REG_R24,
175 TCG_REG_R25,
176 TCG_REG_R26,
cea5f9a2 177 TCG_REG_R27, /* currently used for the global env */
810260a8 178 TCG_REG_R28,
179 TCG_REG_R29,
180 TCG_REG_R30,
181 TCG_REG_R31
182};
183
b0940da0
RH		 184static inline bool in_range_b(tcg_target_long target)
185{
186 return target == sextract64(target, 0, 26);
187}
188
e083c4a2 189static uint32_t reloc_pc24_val(tcg_insn_unit *pc, tcg_insn_unit *target)
810260a8 190{
e083c4a2 191 ptrdiff_t disp = tcg_ptr_byte_diff(target, pc);
eabb7b91 192 tcg_debug_assert(in_range_b(disp));
810260a8 193 return disp & 0x3fffffc;
194}
195
d5132903 196static bool reloc_pc24(tcg_insn_unit *pc, tcg_insn_unit *target)
810260a8 197{
d5132903
RH		 198 ptrdiff_t disp = tcg_ptr_byte_diff(target, pc);
199 if (in_range_b(disp)) {
200 *pc = (*pc & ~0x3fffffc) | (disp & 0x3fffffc);
201 return true;
202 }
203 return false;
810260a8 204}
205
e083c4a2 206static uint16_t reloc_pc14_val(tcg_insn_unit *pc, tcg_insn_unit *target)
810260a8 207{
e083c4a2 208 ptrdiff_t disp = tcg_ptr_byte_diff(target, pc);
eabb7b91 209 tcg_debug_assert(disp == (int16_t) disp);
810260a8 210 return disp & 0xfffc;
211}
212
d5132903 213static bool reloc_pc14(tcg_insn_unit *pc, tcg_insn_unit *target)
810260a8 214{
d5132903
RH		 215 ptrdiff_t disp = tcg_ptr_byte_diff(target, pc);
216 if (disp == (int16_t) disp) {
217 *pc = (*pc & ~0xfffc) | (disp & 0xfffc);
218 return true;
219 }
220 return false;
810260a8 221}
222
810260a8 223/* parse target specific constraints */
069ea736
RH		 224static const char *target_parse_constraint(TCGArgConstraint *ct,
225 const char *ct_str, TCGType type)
810260a8 226{
069ea736 227 switch (*ct_str++) {
810260a8 228 case 'A': case 'B': case 'C': case 'D':
229 ct->ct |= TCG_CT_REG;
541dd4ce 230 tcg_regset_set_reg(ct->u.regs, 3 + ct_str[0] - 'A');
810260a8 231 break;
232 case 'r':
233 ct->ct |= TCG_CT_REG;
f46934df 234 ct->u.regs = 0xffffffff;
810260a8 235 break;
236 case 'L': /* qemu_ld constraint */
237 ct->ct |= TCG_CT_REG;
f46934df 238 ct->u.regs = 0xffffffff;
541dd4ce 239 tcg_regset_reset_reg(ct->u.regs, TCG_REG_R3);
735ee40d 240#ifdef CONFIG_SOFTMMU
541dd4ce
RH		 241 tcg_regset_reset_reg(ct->u.regs, TCG_REG_R4);
242 tcg_regset_reset_reg(ct->u.regs, TCG_REG_R5);
735ee40d 243#endif
810260a8 244 break;
c070355d 245 case 'S': /* qemu_st constraint */
810260a8 246 ct->ct |= TCG_CT_REG;
f46934df 247 ct->u.regs = 0xffffffff;
541dd4ce 248 tcg_regset_reset_reg(ct->u.regs, TCG_REG_R3);
735ee40d 249#ifdef CONFIG_SOFTMMU
541dd4ce
RH		 250 tcg_regset_reset_reg(ct->u.regs, TCG_REG_R4);
251 tcg_regset_reset_reg(ct->u.regs, TCG_REG_R5);
252 tcg_regset_reset_reg(ct->u.regs, TCG_REG_R6);
735ee40d 253#endif
810260a8 254 break;
3d582c61
RH		 255 case 'I':
256 ct->ct |= TCG_CT_CONST_S16;
257 break;
258 case 'J':
259 ct->ct |= TCG_CT_CONST_U16;
260 break;
6c858762
RH		 261 case 'M':
262 ct->ct |= TCG_CT_CONST_MONE;
263 break;
3d582c61
RH		 264 case 'T':
265 ct->ct |= TCG_CT_CONST_S32;
266 break;
267 case 'U':
fe6f943f 268 ct->ct |= TCG_CT_CONST_U32;
269 break;
d0b07481
RH		 270 case 'W':
271 ct->ct |= TCG_CT_CONST_WSZ;
272 break;
3d582c61
RH		 273 case 'Z':
274 ct->ct |= TCG_CT_CONST_ZERO;
275 break;
810260a8 276 default:
069ea736 277 return NULL;
810260a8 278 }
069ea736 279 return ct_str;
810260a8 280}
281
282/* test if a constant matches the constraint */
f6c6afc1 283static int tcg_target_const_match(tcg_target_long val, TCGType type,
541dd4ce 284 const TCGArgConstraint *arg_ct)
810260a8 285{
3d582c61
RH		 286 int ct = arg_ct->ct;
287 if (ct & TCG_CT_CONST) {
288 return 1;
1194dcba
RH		 289 }
290
291 /* The only 32-bit constraint we use aside from
292 TCG_CT_CONST is TCG_CT_CONST_S16. */
293 if (type == TCG_TYPE_I32) {
294 val = (int32_t)val;
295 }
296
297 if ((ct & TCG_CT_CONST_S16) && val == (int16_t)val) {
3d582c61
RH		 298 return 1;
299 } else if ((ct & TCG_CT_CONST_U16) && val == (uint16_t)val) {
810260a8 300 return 1;
3d582c61 301 } else if ((ct & TCG_CT_CONST_S32) && val == (int32_t)val) {
fe6f943f 302 return 1;
3d582c61
RH		 303 } else if ((ct & TCG_CT_CONST_U32) && val == (uint32_t)val) {
304 return 1;
305 } else if ((ct & TCG_CT_CONST_ZERO) && val == 0) {
306 return 1;
6c858762
RH		 307 } else if ((ct & TCG_CT_CONST_MONE) && val == -1) {
308 return 1;
d0b07481
RH		 309 } else if ((ct & TCG_CT_CONST_WSZ)
310 && val == (type == TCG_TYPE_I32 ? 32 : 64)) {
311 return 1;
3d582c61 312 }
810260a8 313 return 0;
314}
315
316#define OPCD(opc) ((opc)<<26)
317#define XO19(opc) (OPCD(19)|((opc)<<1))
8a94cfb0
AB		 318#define MD30(opc) (OPCD(30)|((opc)<<2))
319#define MDS30(opc) (OPCD(30)|((opc)<<1))
810260a8 320#define XO31(opc) (OPCD(31)|((opc)<<1))
321#define XO58(opc) (OPCD(58)|(opc))
322#define XO62(opc) (OPCD(62)|(opc))
323
324#define B OPCD( 18)
325#define BC OPCD( 16)
326#define LBZ OPCD( 34)
327#define LHZ OPCD( 40)
328#define LHA OPCD( 42)
329#define LWZ OPCD( 32)
644f591a 330#define LWZUX XO31( 55)
810260a8 331#define STB OPCD( 38)
332#define STH OPCD( 44)
333#define STW OPCD( 36)
334
335#define STD XO62( 0)
336#define STDU XO62( 1)
337#define STDX XO31(149)
338
339#define LD XO58( 0)
340#define LDX XO31( 21)
341#define LDU XO58( 1)
644f591a 342#define LDUX XO31( 53)
301f6d90 343#define LWA XO58( 2)
810260a8 344#define LWAX XO31(341)
345
1cd62ae9 346#define ADDIC OPCD( 12)
810260a8 347#define ADDI OPCD( 14)
348#define ADDIS OPCD( 15)
349#define ORI OPCD( 24)
350#define ORIS OPCD( 25)
351#define XORI OPCD( 26)
352#define XORIS OPCD( 27)
353#define ANDI OPCD( 28)
354#define ANDIS OPCD( 29)
355#define MULLI OPCD( 7)
356#define CMPLI OPCD( 10)
357#define CMPI OPCD( 11)
148bdd23 358#define SUBFIC OPCD( 8)
810260a8 359
360#define LWZU OPCD( 33)
361#define STWU OPCD( 37)
362
313d91c7 363#define RLWIMI OPCD( 20)
810260a8 364#define RLWINM OPCD( 21)
313d91c7 365#define RLWNM OPCD( 23)
810260a8 366
8a94cfb0
AB		 367#define RLDICL MD30( 0)
368#define RLDICR MD30( 1)
369#define RLDIMI MD30( 3)
370#define RLDCL MDS30( 8)
810260a8 371
372#define BCLR XO19( 16)
373#define BCCTR XO19(528)
374#define CRAND XO19(257)
375#define CRANDC XO19(129)
376#define CRNAND XO19(225)
377#define CROR XO19(449)
1cd62ae9 378#define CRNOR XO19( 33)
810260a8 379
380#define EXTSB XO31(954)
381#define EXTSH XO31(922)
382#define EXTSW XO31(986)
383#define ADD XO31(266)
384#define ADDE XO31(138)
6c858762
RH		 385#define ADDME XO31(234)
386#define ADDZE XO31(202)
810260a8 387#define ADDC XO31( 10)
388#define AND XO31( 28)
389#define SUBF XO31( 40)
390#define SUBFC XO31( 8)
391#define SUBFE XO31(136)
6c858762
RH		 392#define SUBFME XO31(232)
393#define SUBFZE XO31(200)
810260a8 394#define OR XO31(444)
395#define XOR XO31(316)
396#define MULLW XO31(235)
8fa391a0 397#define MULHW XO31( 75)
810260a8 398#define MULHWU XO31( 11)
399#define DIVW XO31(491)
400#define DIVWU XO31(459)
401#define CMP XO31( 0)
402#define CMPL XO31( 32)
403#define LHBRX XO31(790)
404#define LWBRX XO31(534)
49d9870a 405#define LDBRX XO31(532)
810260a8 406#define STHBRX XO31(918)
407#define STWBRX XO31(662)
49d9870a 408#define STDBRX XO31(660)
810260a8 409#define MFSPR XO31(339)
410#define MTSPR XO31(467)
411#define SRAWI XO31(824)
412#define NEG XO31(104)
1cd62ae9 413#define MFCR XO31( 19)
6995a4a0 414#define MFOCRF (MFCR | (1u << 20))
157f2662 415#define NOR XO31(124)
1cd62ae9 416#define CNTLZW XO31( 26)
417#define CNTLZD XO31( 58)
d0b07481
RH		 418#define CNTTZW XO31(538)
419#define CNTTZD XO31(570)
33e75fb9
RH		 420#define CNTPOPW XO31(378)
421#define CNTPOPD XO31(506)
ce1010d6
RH		 422#define ANDC XO31( 60)
423#define ORC XO31(412)
424#define EQV XO31(284)
425#define NAND XO31(476)
70fac59a 426#define ISEL XO31( 15)
810260a8 427
428#define MULLD XO31(233)
429#define MULHD XO31( 73)
430#define MULHDU XO31( 9)
431#define DIVD XO31(489)
432#define DIVDU XO31(457)
433
434#define LBZX XO31( 87)
4f4a67ae 435#define LHZX XO31(279)
810260a8 436#define LHAX XO31(343)
437#define LWZX XO31( 23)
438#define STBX XO31(215)
439#define STHX XO31(407)
440#define STWX XO31(151)
441
7b4af5ee
PK		 442#define EIEIO XO31(854)
443#define HWSYNC XO31(598)
444#define LWSYNC (HWSYNC | (1u << 21))
445
541dd4ce 446#define SPR(a, b) ((((a)<<5)|(b))<<11)
810260a8 447#define LR SPR(8, 0)
448#define CTR SPR(9, 0)
449
450#define SLW XO31( 24)
451#define SRW XO31(536)
452#define SRAW XO31(792)
453
454#define SLD XO31( 27)
455#define SRD XO31(539)
456#define SRAD XO31(794)
fe6f943f 457#define SRADI XO31(413<<1)
810260a8 458
810260a8 459#define TW XO31( 4)
541dd4ce 460#define TRAP (TW | TO(31))
810260a8 461
a84ac4cb
RH		 462#define NOP ORI /* ori 0,0,0 */
463
810260a8 464#define RT(r) ((r)<<21)
465#define RS(r) ((r)<<21)
466#define RA(r) ((r)<<16)
467#define RB(r) ((r)<<11)
468#define TO(t) ((t)<<21)
469#define SH(s) ((s)<<11)
470#define MB(b) ((b)<<6)
471#define ME(e) ((e)<<1)
472#define BO(o) ((o)<<21)
473#define MB64(b) ((b)<<5)
6995a4a0 474#define FXM(b) (1 << (19 - (b)))
810260a8 475
476#define LK 1
477
2fd8eddc
RH		 478#define TAB(t, a, b) (RT(t) | RA(a) | RB(b))
479#define SAB(s, a, b) (RS(s) | RA(a) | RB(b))
480#define TAI(s, a, i) (RT(s) | RA(a) | ((i) & 0xffff))
481#define SAI(s, a, i) (RS(s) | RA(a) | ((i) & 0xffff))
810260a8 482
483#define BF(n) ((n)<<23)
484#define BI(n, c) (((c)+((n)*4))<<16)
485#define BT(n, c) (((c)+((n)*4))<<21)
486#define BA(n, c) (((c)+((n)*4))<<16)
487#define BB(n, c) (((c)+((n)*4))<<11)
70fac59a 488#define BC_(n, c) (((c)+((n)*4))<<6)
810260a8 489
541dd4ce
RH		 490#define BO_COND_TRUE BO(12)
491#define BO_COND_FALSE BO( 4)
492#define BO_ALWAYS BO(20)
810260a8 493
494enum {
495 CR_LT,
496 CR_GT,
497 CR_EQ,
498 CR_SO
499};
500
0aed257f 501static const uint32_t tcg_to_bc[] = {
541dd4ce
RH		 502 [TCG_COND_EQ] = BC | BI(7, CR_EQ) | BO_COND_TRUE,
503 [TCG_COND_NE] = BC | BI(7, CR_EQ) | BO_COND_FALSE,
504 [TCG_COND_LT] = BC | BI(7, CR_LT) | BO_COND_TRUE,
505 [TCG_COND_GE] = BC | BI(7, CR_LT) | BO_COND_FALSE,
506 [TCG_COND_LE] = BC | BI(7, CR_GT) | BO_COND_FALSE,
507 [TCG_COND_GT] = BC | BI(7, CR_GT) | BO_COND_TRUE,
508 [TCG_COND_LTU] = BC | BI(7, CR_LT) | BO_COND_TRUE,
509 [TCG_COND_GEU] = BC | BI(7, CR_LT) | BO_COND_FALSE,
510 [TCG_COND_LEU] = BC | BI(7, CR_GT) | BO_COND_FALSE,
511 [TCG_COND_GTU] = BC | BI(7, CR_GT) | BO_COND_TRUE,
810260a8 512};
513
70fac59a
RH		 514/* The low bit here is set if the RA and RB fields must be inverted. */
515static const uint32_t tcg_to_isel[] = {
516 [TCG_COND_EQ] = ISEL | BC_(7, CR_EQ),
517 [TCG_COND_NE] = ISEL | BC_(7, CR_EQ) | 1,
518 [TCG_COND_LT] = ISEL | BC_(7, CR_LT),
519 [TCG_COND_GE] = ISEL | BC_(7, CR_LT) | 1,
520 [TCG_COND_LE] = ISEL | BC_(7, CR_GT) | 1,
521 [TCG_COND_GT] = ISEL | BC_(7, CR_GT),
522 [TCG_COND_LTU] = ISEL | BC_(7, CR_LT),
523 [TCG_COND_GEU] = ISEL | BC_(7, CR_LT) | 1,
524 [TCG_COND_LEU] = ISEL | BC_(7, CR_GT) | 1,
525 [TCG_COND_GTU] = ISEL | BC_(7, CR_GT),
526};
527
6ac17786 528static bool patch_reloc(tcg_insn_unit *code_ptr, int type,
030ffe39
RH		 529 intptr_t value, intptr_t addend)
530{
531 tcg_insn_unit *target;
030ffe39
RH		 532
533 value += addend;
534 target = (tcg_insn_unit *)value;
535
536 switch (type) {
537 case R_PPC_REL14:
d5132903 538 return reloc_pc14(code_ptr, target);
030ffe39 539 case R_PPC_REL24:
d5132903 540 return reloc_pc24(code_ptr, target);
030ffe39 541 case R_PPC_ADDR16:
a7cdaf71
RH		 542 /*
543 * We are (slightly) abusing this relocation type. In particular,
544 * assert that the low 2 bits are zero, and do not modify them.
545 * That way we can use this with LD et al that have opcode bits
546 * in the low 2 bits of the insn.
547 */
548 if ((value & 3) || value != (int16_t)value) {
549 return false;
030ffe39 550 }
a7cdaf71 551 *code_ptr = (*code_ptr & ~0xfffc) | (value & 0xfffc);
030ffe39
RH		 552 break;
553 default:
554 g_assert_not_reached();
555 }
6ac17786 556 return true;
030ffe39
RH		 557}
558
a84ac4cb
RH		 559static void tcg_out_mem_long(TCGContext *s, int opi, int opx, TCGReg rt,
560 TCGReg base, tcg_target_long offset);
561
78113e83 562static bool tcg_out_mov(TCGContext *s, TCGType type, TCGReg ret, TCGReg arg)
810260a8 563{
796f1a68 564 tcg_debug_assert(TCG_TARGET_REG_BITS == 64 || type == TCG_TYPE_I32);
f8b84129
RH		 565 if (ret != arg) {
566 tcg_out32(s, OR | SAB(arg, ret, arg));
567 }
78113e83 568 return true;
810260a8 569}
570
aceac8d6
RH		 571static inline void tcg_out_rld(TCGContext *s, int op, TCGReg ra, TCGReg rs,
572 int sh, int mb)
810260a8 573{
eabb7b91 574 tcg_debug_assert(TCG_TARGET_REG_BITS == 64);
541dd4ce
RH		 575 sh = SH(sh & 0x1f) | (((sh >> 5) & 1) << 1);
576 mb = MB64((mb >> 5) | ((mb << 1) & 0x3f));
577 tcg_out32(s, op | RA(ra) | RS(rs) | sh | mb);
810260a8 578}
579
9e555b73
RH		 580static inline void tcg_out_rlw(TCGContext *s, int op, TCGReg ra, TCGReg rs,
581 int sh, int mb, int me)
582{
583 tcg_out32(s, op | RA(ra) | RS(rs) | SH(sh) | MB(mb) | ME(me));
584}
585
6e5e0602
RH		 586static inline void tcg_out_ext32u(TCGContext *s, TCGReg dst, TCGReg src)
587{
588 tcg_out_rld(s, RLDICL, dst, src, 0, 32);
589}
590
a757e1ee
RH		 591static inline void tcg_out_shli32(TCGContext *s, TCGReg dst, TCGReg src, int c)
592{
593 tcg_out_rlw(s, RLWINM, dst, src, c, 0, 31 - c);
594}
595
0a9564b9
RH		 596static inline void tcg_out_shli64(TCGContext *s, TCGReg dst, TCGReg src, int c)
597{
598 tcg_out_rld(s, RLDICR, dst, src, c, 63 - c);
599}
600
a757e1ee
RH		 601static inline void tcg_out_shri32(TCGContext *s, TCGReg dst, TCGReg src, int c)
602{
603 tcg_out_rlw(s, RLWINM, dst, src, 32 - c, c, 31);
604}
605
5e916c28
RH		 606static inline void tcg_out_shri64(TCGContext *s, TCGReg dst, TCGReg src, int c)
607{
608 tcg_out_rld(s, RLDICL, dst, src, 64 - c, c);
609}
610
77bfc7c0
RH		 611/* Emit a move into ret of arg, if it can be done in one insn. */
612static bool tcg_out_movi_one(TCGContext *s, TCGReg ret, tcg_target_long arg)
613{
614 if (arg == (int16_t)arg) {
615 tcg_out32(s, ADDI | TAI(ret, 0, arg));
616 return true;
617 }
618 if (arg == (int32_t)arg && (arg & 0xffff) == 0) {
619 tcg_out32(s, ADDIS | TAI(ret, 0, arg >> 16));
620 return true;
621 }
622 return false;
623}
624
5964fca8
RH		 625static void tcg_out_movi_int(TCGContext *s, TCGType type, TCGReg ret,
626 tcg_target_long arg, bool in_prologue)
810260a8 627{
5964fca8 628 intptr_t tb_diff;
77bfc7c0
RH		 629 tcg_target_long tmp;
630 int shift;
5964fca8
RH		 631
632 tcg_debug_assert(TCG_TARGET_REG_BITS == 64 || type == TCG_TYPE_I32);
633
634 if (TCG_TARGET_REG_BITS == 64 && type == TCG_TYPE_I32) {
635 arg = (int32_t)arg;
636 }
637
638 /* Load 16-bit immediates with one insn. */
77bfc7c0 639 if (tcg_out_movi_one(s, ret, arg)) {
5964fca8
RH		 640 return;
641 }
642
643 /* Load addresses within the TB with one insn. */
644 tb_diff = arg - (intptr_t)s->code_gen_ptr;
645 if (!in_prologue && USE_REG_TB && tb_diff == (int16_t)tb_diff) {
646 tcg_out32(s, ADDI | TAI(ret, TCG_REG_TB, tb_diff));
647 return;
648 }
649
77bfc7c0
RH		 650 /* Load 32-bit immediates with two insns. Note that we've already
651 eliminated bare ADDIS, so we know both insns are required. */
5964fca8 652 if (TCG_TARGET_REG_BITS == 32 || arg == (int32_t)arg) {
2fd8eddc 653 tcg_out32(s, ADDIS | TAI(ret, 0, arg >> 16));
77bfc7c0 654 tcg_out32(s, ORI | SAI(ret, ret, arg));
5964fca8 655 return;
810260a8 656 }
5964fca8 657 if (arg == (uint32_t)arg && !(arg & 0x8000)) {
421233a1
RH		 658 tcg_out32(s, ADDI | TAI(ret, 0, arg));
659 tcg_out32(s, ORIS | SAI(ret, ret, arg >> 16));
5964fca8
RH		 660 return;
661 }
a84ac4cb 662
77bfc7c0
RH		 663 /* Load masked 16-bit value. */
664 if (arg > 0 && (arg & 0x8000)) {
665 tmp = arg | 0x7fff;
666 if ((tmp & (tmp + 1)) == 0) {
667 int mb = clz64(tmp + 1) + 1;
668 tcg_out32(s, ADDI | TAI(ret, 0, arg));
669 tcg_out_rld(s, RLDICL, ret, ret, 0, mb);
670 return;
671 }
672 }
673
674 /* Load common masks with 2 insns. */
675 shift = ctz64(arg);
676 tmp = arg >> shift;
677 if (tmp == (int16_t)tmp) {
678 tcg_out32(s, ADDI | TAI(ret, 0, tmp));
679 tcg_out_shli64(s, ret, ret, shift);
680 return;
681 }
682 shift = clz64(arg);
683 if (tcg_out_movi_one(s, ret, arg << shift)) {
684 tcg_out_shri64(s, ret, ret, shift);
685 return;
686 }
687
5964fca8
RH		 688 /* Load addresses within 2GB of TB with 2 (or rarely 3) insns. */
689 if (!in_prologue && USE_REG_TB && tb_diff == (int32_t)tb_diff) {
690 tcg_out_mem_long(s, ADDI, ADD, ret, TCG_REG_TB, tb_diff);
691 return;
692 }
a84ac4cb 693
53c89efd
RH		 694 /* Use the constant pool, if possible. */
695 if (!in_prologue && USE_REG_TB) {
696 new_pool_label(s, arg, R_PPC_ADDR16, s->code_ptr,
697 -(intptr_t)s->code_gen_ptr);
a7cdaf71 698 tcg_out32(s, LD | TAI(ret, TCG_REG_TB, 0));
53c89efd
RH		 699 return;
700 }
701
77bfc7c0
RH		 702 tmp = arg >> 31 >> 1;
703 tcg_out_movi(s, TCG_TYPE_I32, ret, tmp);
704 if (tmp) {
5964fca8 705 tcg_out_shli64(s, ret, ret, 32);
810260a8 706 }
5964fca8
RH		 707 if (arg & 0xffff0000) {
708 tcg_out32(s, ORIS | SAI(ret, ret, arg >> 16));
709 }
710 if (arg & 0xffff) {
711 tcg_out32(s, ORI | SAI(ret, ret, arg));
712 }
713}
714
715static inline void tcg_out_movi(TCGContext *s, TCGType type, TCGReg ret,
716 tcg_target_long arg)
717{
718 tcg_out_movi_int(s, type, ret, arg, false);
810260a8 719}
720
637af30c 721static bool mask_operand(uint32_t c, int *mb, int *me)
a9249dff
RH		 722{
723 uint32_t lsb, test;
724
725 /* Accept a bit pattern like:
726 0....01....1
727 1....10....0
728 0..01..10..0
729 Keep track of the transitions. */
730 if (c == 0 || c == -1) {
731 return false;
732 }
733 test = c;
734 lsb = test & -test;
735 test += lsb;
736 if (test & (test - 1)) {
737 return false;
738 }
739
740 *me = clz32(lsb);
741 *mb = test ? clz32(test & -test) + 1 : 0;
742 return true;
743}
744
637af30c
RH		 745static bool mask64_operand(uint64_t c, int *mb, int *me)
746{
747 uint64_t lsb;
748
749 if (c == 0) {
750 return false;
751 }
752
753 lsb = c & -c;
754 /* Accept 1..10..0. */
755 if (c == -lsb) {
756 *mb = 0;
757 *me = clz64(lsb);
758 return true;
759 }
760 /* Accept 0..01..1. */
761 if (lsb == 1 && (c & (c + 1)) == 0) {
762 *mb = clz64(c + 1) + 1;
763 *me = 63;
764 return true;
765 }
766 return false;
767}
768
a9249dff
RH		 769static void tcg_out_andi32(TCGContext *s, TCGReg dst, TCGReg src, uint32_t c)
770{
771 int mb, me;
772
1e1df962
RH		 773 if (mask_operand(c, &mb, &me)) {
774 tcg_out_rlw(s, RLWINM, dst, src, 0, mb, me);
775 } else if ((c & 0xffff) == c) {
a9249dff
RH		 776 tcg_out32(s, ANDI | SAI(src, dst, c));
777 return;
778 } else if ((c & 0xffff0000) == c) {
779 tcg_out32(s, ANDIS | SAI(src, dst, c >> 16));
780 return;
a9249dff 781 } else {
8327a470
RH		 782 tcg_out_movi(s, TCG_TYPE_I32, TCG_REG_R0, c);
783 tcg_out32(s, AND | SAB(src, dst, TCG_REG_R0));
a9249dff
RH		 784 }
785}
786
637af30c
RH		 787static void tcg_out_andi64(TCGContext *s, TCGReg dst, TCGReg src, uint64_t c)
788{
789 int mb, me;
790
eabb7b91 791 tcg_debug_assert(TCG_TARGET_REG_BITS == 64);
1e1df962 792 if (mask64_operand(c, &mb, &me)) {
637af30c
RH		 793 if (mb == 0) {
794 tcg_out_rld(s, RLDICR, dst, src, 0, me);
795 } else {
796 tcg_out_rld(s, RLDICL, dst, src, 0, mb);
797 }
1e1df962
RH		 798 } else if ((c & 0xffff) == c) {
799 tcg_out32(s, ANDI | SAI(src, dst, c));
800 return;
801 } else if ((c & 0xffff0000) == c) {
802 tcg_out32(s, ANDIS | SAI(src, dst, c >> 16));
803 return;
637af30c 804 } else {
8327a470
RH		 805 tcg_out_movi(s, TCG_TYPE_I64, TCG_REG_R0, c);
806 tcg_out32(s, AND | SAB(src, dst, TCG_REG_R0));
637af30c
RH		 807 }
808}
809
dce74c57
RH		 810static void tcg_out_zori32(TCGContext *s, TCGReg dst, TCGReg src, uint32_t c,
811 int op_lo, int op_hi)
812{
813 if (c >> 16) {
814 tcg_out32(s, op_hi | SAI(src, dst, c >> 16));
815 src = dst;
816 }
817 if (c & 0xffff) {
818 tcg_out32(s, op_lo | SAI(src, dst, c));
819 src = dst;
820 }
821}
822
823static void tcg_out_ori32(TCGContext *s, TCGReg dst, TCGReg src, uint32_t c)
824{
825 tcg_out_zori32(s, dst, src, c, ORI, ORIS);
826}
827
828static void tcg_out_xori32(TCGContext *s, TCGReg dst, TCGReg src, uint32_t c)
829{
830 tcg_out_zori32(s, dst, src, c, XORI, XORIS);
831}
832
e083c4a2 833static void tcg_out_b(TCGContext *s, int mask, tcg_insn_unit *target)
5d7ff5bb 834{
e083c4a2 835 ptrdiff_t disp = tcg_pcrel_diff(s, target);
b0940da0 836 if (in_range_b(disp)) {
541dd4ce
RH		 837 tcg_out32(s, B | (disp & 0x3fffffc) | mask);
838 } else {
de3d636d 839 tcg_out_movi(s, TCG_TYPE_PTR, TCG_REG_R0, (uintptr_t)target);
8327a470 840 tcg_out32(s, MTSPR | RS(TCG_REG_R0) | CTR);
541dd4ce 841 tcg_out32(s, BCCTR | BO_ALWAYS | mask);
5d7ff5bb
AF		 842 }
843}
844
b18d5d2b
RH		 845static void tcg_out_mem_long(TCGContext *s, int opi, int opx, TCGReg rt,
846 TCGReg base, tcg_target_long offset)
810260a8 847{
b18d5d2b 848 tcg_target_long orig = offset, l0, l1, extra = 0, align = 0;
de7761a3 849 bool is_store = false;
dfca1778 850 TCGReg rs = TCG_REG_TMP1;
b18d5d2b 851
b18d5d2b
RH		 852 switch (opi) {
853 case LD: case LWA:
854 align = 3;
855 /* FALLTHRU */
856 default:
857 if (rt != TCG_REG_R0) {
858 rs = rt;
de7761a3 859 break;
b18d5d2b
RH		 860 }
861 break;
862 case STD:
863 align = 3;
de7761a3 864 /* FALLTHRU */
b18d5d2b 865 case STB: case STH: case STW:
de7761a3 866 is_store = true;
b18d5d2b 867 break;
810260a8 868 }
810260a8 869
b18d5d2b
RH		 870 /* For unaligned, or very large offsets, use the indexed form. */
871 if (offset & align || offset != (int32_t)offset) {
d4cba13b
RH		 872 if (rs == base) {
873 rs = TCG_REG_R0;
874 }
875 tcg_debug_assert(!is_store || rs != rt);
de7761a3
RH		 876 tcg_out_movi(s, TCG_TYPE_PTR, rs, orig);
877 tcg_out32(s, opx | TAB(rt, base, rs));
b18d5d2b
RH		 878 return;
879 }
880
881 l0 = (int16_t)offset;
882 offset = (offset - l0) >> 16;
883 l1 = (int16_t)offset;
884
885 if (l1 < 0 && orig >= 0) {
886 extra = 0x4000;
887 l1 = (int16_t)(offset - 0x4000);
888 }
889 if (l1) {
890 tcg_out32(s, ADDIS | TAI(rs, base, l1));
891 base = rs;
892 }
893 if (extra) {
894 tcg_out32(s, ADDIS | TAI(rs, base, extra));
895 base = rs;
896 }
897 if (opi != ADDI || base != rt || l0 != 0) {
898 tcg_out32(s, opi | TAI(rt, base, l0));
828808f5 899 }
900}
901
d604f1a9
RH		 902static inline void tcg_out_ld(TCGContext *s, TCGType type, TCGReg ret,
903 TCGReg arg1, intptr_t arg2)
904{
905 int opi, opx;
810260a8 906
eabb7b91 907 tcg_debug_assert(TCG_TARGET_REG_BITS == 64 || type == TCG_TYPE_I32);
d604f1a9
RH		 908 if (type == TCG_TYPE_I32) {
909 opi = LWZ, opx = LWZX;
910 } else {
911 opi = LD, opx = LDX;
912 }
913 tcg_out_mem_long(s, opi, opx, ret, arg1, arg2);
914}
fedee3e7 915
d604f1a9
RH		 916static inline void tcg_out_st(TCGContext *s, TCGType type, TCGReg arg,
917 TCGReg arg1, intptr_t arg2)
810260a8 918{
d604f1a9 919 int opi, opx;
fedee3e7 920
eabb7b91 921 tcg_debug_assert(TCG_TARGET_REG_BITS == 64 || type == TCG_TYPE_I32);
d604f1a9
RH		 922 if (type == TCG_TYPE_I32) {
923 opi = STW, opx = STWX;
fedee3e7 924 } else {
d604f1a9 925 opi = STD, opx = STDX;
fedee3e7 926 }
d604f1a9
RH		 927 tcg_out_mem_long(s, opi, opx, arg, arg1, arg2);
928}
810260a8 929
59d7c14e
RH		 930static inline bool tcg_out_sti(TCGContext *s, TCGType type, TCGArg val,
931 TCGReg base, intptr_t ofs)
932{
933 return false;
934}
935
d604f1a9
RH		 936static void tcg_out_cmp(TCGContext *s, int cond, TCGArg arg1, TCGArg arg2,
937 int const_arg2, int cr, TCGType type)
938{
939 int imm;
940 uint32_t op;
810260a8 941
abcf61c4
RH		 942 tcg_debug_assert(TCG_TARGET_REG_BITS == 64 || type == TCG_TYPE_I32);
943
d604f1a9
RH		 944 /* Simplify the comparisons below wrt CMPI. */
945 if (type == TCG_TYPE_I32) {
946 arg2 = (int32_t)arg2;
4a40e231 947 }
fedee3e7 948
d604f1a9
RH		 949 switch (cond) {
950 case TCG_COND_EQ:
951 case TCG_COND_NE:
952 if (const_arg2) {
953 if ((int16_t) arg2 == arg2) {
954 op = CMPI;
955 imm = 1;
956 break;
957 } else if ((uint16_t) arg2 == arg2) {
958 op = CMPLI;
959 imm = 1;
960 break;
961 }
962 }
963 op = CMPL;
964 imm = 0;
965 break;
fedee3e7 966
d604f1a9
RH		 967 case TCG_COND_LT:
968 case TCG_COND_GE:
969 case TCG_COND_LE:
970 case TCG_COND_GT:
971 if (const_arg2) {
972 if ((int16_t) arg2 == arg2) {
973 op = CMPI;
974 imm = 1;
975 break;
976 }
977 }
978 op = CMP;
979 imm = 0;
980 break;
fedee3e7 981
d604f1a9
RH		 982 case TCG_COND_LTU:
983 case TCG_COND_GEU:
984 case TCG_COND_LEU:
985 case TCG_COND_GTU:
986 if (const_arg2) {
987 if ((uint16_t) arg2 == arg2) {
988 op = CMPLI;
989 imm = 1;
990 break;
991 }
992 }
993 op = CMPL;
994 imm = 0;
995 break;
fedee3e7 996
d604f1a9
RH		 997 default:
998 tcg_abort();
fedee3e7 999 }
d604f1a9 1000 op |= BF(cr) | ((type == TCG_TYPE_I64) << 21);
fedee3e7 1001
d604f1a9
RH		 1002 if (imm) {
1003 tcg_out32(s, op | RA(arg1) | (arg2 & 0xffff));
1004 } else {
1005 if (const_arg2) {
1006 tcg_out_movi(s, type, TCG_REG_R0, arg2);
1007 arg2 = TCG_REG_R0;
1008 }
1009 tcg_out32(s, op | RA(arg1) | RB(arg2));
1010 }
810260a8 1011}
1012
d604f1a9
RH		 1013static void tcg_out_setcond_eq0(TCGContext *s, TCGType type,
1014 TCGReg dst, TCGReg src)
7f12d649 1015{
a757e1ee
RH		 1016 if (type == TCG_TYPE_I32) {
1017 tcg_out32(s, CNTLZW | RS(src) | RA(dst));
1018 tcg_out_shri32(s, dst, dst, 5);
1019 } else {
1020 tcg_out32(s, CNTLZD | RS(src) | RA(dst));
1021 tcg_out_shri64(s, dst, dst, 6);
1022 }
7f12d649
RH		 1023}
1024
d604f1a9 1025static void tcg_out_setcond_ne0(TCGContext *s, TCGReg dst, TCGReg src)
7f12d649 1026{
d604f1a9
RH		 1027 /* X != 0 implies X + -1 generates a carry. Extra addition
1028 trickery means: R = X-1 + ~X + C = X-1 + (-X+1) + C = C. */
1029 if (dst != src) {
1030 tcg_out32(s, ADDIC | TAI(dst, src, -1));
1031 tcg_out32(s, SUBFE | TAB(dst, dst, src));
7f12d649 1032 } else {
d604f1a9
RH		 1033 tcg_out32(s, ADDIC | TAI(TCG_REG_R0, src, -1));
1034 tcg_out32(s, SUBFE | TAB(dst, TCG_REG_R0, src));
7f12d649 1035 }
d604f1a9 1036}
7f12d649 1037
d604f1a9
RH		 1038static TCGReg tcg_gen_setcond_xor(TCGContext *s, TCGReg arg1, TCGArg arg2,
1039 bool const_arg2)
1040{
1041 if (const_arg2) {
1042 if ((uint32_t)arg2 == arg2) {
1043 tcg_out_xori32(s, TCG_REG_R0, arg1, arg2);
1044 } else {
1045 tcg_out_movi(s, TCG_TYPE_I64, TCG_REG_R0, arg2);
1046 tcg_out32(s, XOR | SAB(arg1, TCG_REG_R0, TCG_REG_R0));
1047 }
1048 } else {
1049 tcg_out32(s, XOR | SAB(arg1, TCG_REG_R0, arg2));
1050 }
1051 return TCG_REG_R0;
7f12d649
RH		 1052}
1053
d604f1a9
RH		 1054static void tcg_out_setcond(TCGContext *s, TCGType type, TCGCond cond,
1055 TCGArg arg0, TCGArg arg1, TCGArg arg2,
1056 int const_arg2)
7f12d649 1057{
d604f1a9 1058 int crop, sh;
7f12d649 1059
eabb7b91 1060 tcg_debug_assert(TCG_TARGET_REG_BITS == 64 || type == TCG_TYPE_I32);
a757e1ee 1061
d604f1a9
RH		 1062 /* Ignore high bits of a potential constant arg2. */
1063 if (type == TCG_TYPE_I32) {
1064 arg2 = (uint32_t)arg2;
1065 }
7f12d649 1066
d604f1a9
RH		 1067 /* Handle common and trivial cases before handling anything else. */
1068 if (arg2 == 0) {
1069 switch (cond) {
1070 case TCG_COND_EQ:
1071 tcg_out_setcond_eq0(s, type, arg0, arg1);
1072 return;
1073 case TCG_COND_NE:
a757e1ee 1074 if (TCG_TARGET_REG_BITS == 64 && type == TCG_TYPE_I32) {
d604f1a9
RH		 1075 tcg_out_ext32u(s, TCG_REG_R0, arg1);
1076 arg1 = TCG_REG_R0;
1077 }
1078 tcg_out_setcond_ne0(s, arg0, arg1);
1079 return;
1080 case TCG_COND_GE:
1081 tcg_out32(s, NOR | SAB(arg1, arg0, arg1));
1082 arg1 = arg0;
1083 /* FALLTHRU */
1084 case TCG_COND_LT:
1085 /* Extract the sign bit. */
a757e1ee
RH		 1086 if (type == TCG_TYPE_I32) {
1087 tcg_out_shri32(s, arg0, arg1, 31);
1088 } else {
1089 tcg_out_shri64(s, arg0, arg1, 63);
1090 }
d604f1a9
RH		 1091 return;
1092 default:
1093 break;
1094 }
1095 }
7f12d649 1096
d604f1a9
RH		 1097 /* If we have ISEL, we can implement everything with 3 or 4 insns.
1098 All other cases below are also at least 3 insns, so speed up the
1099 code generator by not considering them and always using ISEL. */
1100 if (HAVE_ISEL) {
1101 int isel, tab;
7f12d649 1102
d604f1a9 1103 tcg_out_cmp(s, cond, arg1, arg2, const_arg2, 7, type);
7f12d649 1104
d604f1a9 1105 isel = tcg_to_isel[cond];
7f12d649 1106
d604f1a9
RH		 1107 tcg_out_movi(s, type, arg0, 1);
1108 if (isel & 1) {
1109 /* arg0 = (bc ? 0 : 1) */
1110 tab = TAB(arg0, 0, arg0);
1111 isel &= ~1;
1112 } else {
1113 /* arg0 = (bc ? 1 : 0) */
1114 tcg_out_movi(s, type, TCG_REG_R0, 0);
1115 tab = TAB(arg0, arg0, TCG_REG_R0);
1116 }
1117 tcg_out32(s, isel | tab);
1118 return;
1119 }
49d9870a 1120
d604f1a9
RH		 1121 switch (cond) {
1122 case TCG_COND_EQ:
1123 arg1 = tcg_gen_setcond_xor(s, arg1, arg2, const_arg2);
1124 tcg_out_setcond_eq0(s, type, arg0, arg1);
1125 return;
810260a8 1126
d604f1a9
RH		 1127 case TCG_COND_NE:
1128 arg1 = tcg_gen_setcond_xor(s, arg1, arg2, const_arg2);
1129 /* Discard the high bits only once, rather than both inputs. */
a757e1ee 1130 if (TCG_TARGET_REG_BITS == 64 && type == TCG_TYPE_I32) {
d604f1a9
RH		 1131 tcg_out_ext32u(s, TCG_REG_R0, arg1);
1132 arg1 = TCG_REG_R0;
1133 }
1134 tcg_out_setcond_ne0(s, arg0, arg1);
1135 return;
810260a8 1136
d604f1a9
RH		 1137 case TCG_COND_GT:
1138 case TCG_COND_GTU:
1139 sh = 30;
1140 crop = 0;
1141 goto crtest;
810260a8 1142
d604f1a9
RH		 1143 case TCG_COND_LT:
1144 case TCG_COND_LTU:
1145 sh = 29;
1146 crop = 0;
1147 goto crtest;
810260a8 1148
d604f1a9
RH		 1149 case TCG_COND_GE:
1150 case TCG_COND_GEU:
1151 sh = 31;
1152 crop = CRNOR | BT(7, CR_EQ) | BA(7, CR_LT) | BB(7, CR_LT);
1153 goto crtest;
810260a8 1154
d604f1a9
RH		 1155 case TCG_COND_LE:
1156 case TCG_COND_LEU:
1157 sh = 31;
1158 crop = CRNOR | BT(7, CR_EQ) | BA(7, CR_GT) | BB(7, CR_GT);
1159 crtest:
1160 tcg_out_cmp(s, cond, arg1, arg2, const_arg2, 7, type);
1161 if (crop) {
1162 tcg_out32(s, crop);
1163 }
1164 tcg_out32(s, MFOCRF | RT(TCG_REG_R0) | FXM(7));
1165 tcg_out_rlw(s, RLWINM, arg0, TCG_REG_R0, sh, 31, 31);
1166 break;
1167
1168 default:
1169 tcg_abort();
1170 }
810260a8 1171}
1172
bec16311 1173static void tcg_out_bc(TCGContext *s, int bc, TCGLabel *l)
810260a8 1174{
d604f1a9 1175 if (l->has_value) {
f9c7246f 1176 bc |= reloc_pc14_val(s->code_ptr, l->u.value_ptr);
49d9870a 1177 } else {
bec16311 1178 tcg_out_reloc(s, s->code_ptr, R_PPC_REL14, l, 0);
810260a8 1179 }
f9c7246f 1180 tcg_out32(s, bc);
810260a8 1181}
1182
d604f1a9
RH		 1183static void tcg_out_brcond(TCGContext *s, TCGCond cond,
1184 TCGArg arg1, TCGArg arg2, int const_arg2,
bec16311 1185 TCGLabel *l, TCGType type)
810260a8 1186{
d604f1a9 1187 tcg_out_cmp(s, cond, arg1, arg2, const_arg2, 7, type);
bec16311 1188 tcg_out_bc(s, tcg_to_bc[cond], l);
d604f1a9 1189}
fa94c3be 1190
d604f1a9
RH		 1191static void tcg_out_movcond(TCGContext *s, TCGType type, TCGCond cond,
1192 TCGArg dest, TCGArg c1, TCGArg c2, TCGArg v1,
1193 TCGArg v2, bool const_c2)
1194{
1195 /* If for some reason both inputs are zero, don't produce bad code. */
1196 if (v1 == 0 && v2 == 0) {
1197 tcg_out_movi(s, type, dest, 0);
1198 return;
b9e946c7 1199 }
f6548c0a 1200
d604f1a9 1201 tcg_out_cmp(s, cond, c1, c2, const_c2, 7, type);
a69abbe0 1202
d604f1a9
RH		 1203 if (HAVE_ISEL) {
1204 int isel = tcg_to_isel[cond];
810260a8 1205
d604f1a9
RH		 1206 /* Swap the V operands if the operation indicates inversion. */
1207 if (isel & 1) {
1208 int t = v1;
1209 v1 = v2;
1210 v2 = t;
1211 isel &= ~1;
1212 }
1213 /* V1 == 0 is handled by isel; V2 == 0 must be handled by hand. */
1214 if (v2 == 0) {
1215 tcg_out_movi(s, type, TCG_REG_R0, 0);
1216 }
1217 tcg_out32(s, isel | TAB(dest, v1, v2));
1218 } else {
1219 if (dest == v2) {
1220 cond = tcg_invert_cond(cond);
1221 v2 = v1;
1222 } else if (dest != v1) {
1223 if (v1 == 0) {
1224 tcg_out_movi(s, type, dest, 0);
1225 } else {
1226 tcg_out_mov(s, type, dest, v1);
1227 }
1228 }
1229 /* Branch forward over one insn */
1230 tcg_out32(s, tcg_to_bc[cond] | 8);
1231 if (v2 == 0) {
1232 tcg_out_movi(s, type, dest, 0);
1233 } else {
1234 tcg_out_mov(s, type, dest, v2);
1235 }
29b69198 1236 }
810260a8 1237}
1238
d0b07481
RH		 1239static void tcg_out_cntxz(TCGContext *s, TCGType type, uint32_t opc,
1240 TCGArg a0, TCGArg a1, TCGArg a2, bool const_a2)
1241{
1242 if (const_a2 && a2 == (type == TCG_TYPE_I32 ? 32 : 64)) {
1243 tcg_out32(s, opc | RA(a0) | RS(a1));
1244 } else {
1245 tcg_out_cmp(s, TCG_COND_EQ, a1, 0, 1, 7, type);
1246 /* Note that the only other valid constant for a2 is 0. */
1247 if (HAVE_ISEL) {
1248 tcg_out32(s, opc | RA(TCG_REG_R0) | RS(a1));
1249 tcg_out32(s, tcg_to_isel[TCG_COND_EQ] | TAB(a0, a2, TCG_REG_R0));
1250 } else if (!const_a2 && a0 == a2) {
1251 tcg_out32(s, tcg_to_bc[TCG_COND_EQ] | 8);
1252 tcg_out32(s, opc | RA(a0) | RS(a1));
1253 } else {
1254 tcg_out32(s, opc | RA(a0) | RS(a1));
1255 tcg_out32(s, tcg_to_bc[TCG_COND_NE] | 8);
1256 if (const_a2) {
1257 tcg_out_movi(s, type, a0, 0);
1258 } else {
1259 tcg_out_mov(s, type, a0, a2);
1260 }
1261 }
1262 }
1263}
1264
abcf61c4
RH		 1265static void tcg_out_cmp2(TCGContext *s, const TCGArg *args,
1266 const int *const_args)
1267{
1268 static const struct { uint8_t bit1, bit2; } bits[] = {
1269 [TCG_COND_LT ] = { CR_LT, CR_LT },
1270 [TCG_COND_LE ] = { CR_LT, CR_GT },
1271 [TCG_COND_GT ] = { CR_GT, CR_GT },
1272 [TCG_COND_GE ] = { CR_GT, CR_LT },
1273 [TCG_COND_LTU] = { CR_LT, CR_LT },
1274 [TCG_COND_LEU] = { CR_LT, CR_GT },
1275 [TCG_COND_GTU] = { CR_GT, CR_GT },
1276 [TCG_COND_GEU] = { CR_GT, CR_LT },
1277 };
1278
1279 TCGCond cond = args[4], cond2;
1280 TCGArg al, ah, bl, bh;
1281 int blconst, bhconst;
1282 int op, bit1, bit2;
1283
1284 al = args[0];
1285 ah = args[1];
1286 bl = args[2];
1287 bh = args[3];
1288 blconst = const_args[2];
1289 bhconst = const_args[3];
1290
1291 switch (cond) {
1292 case TCG_COND_EQ:
1293 op = CRAND;
1294 goto do_equality;
1295 case TCG_COND_NE:
1296 op = CRNAND;
1297 do_equality:
1298 tcg_out_cmp(s, cond, al, bl, blconst, 6, TCG_TYPE_I32);
1299 tcg_out_cmp(s, cond, ah, bh, bhconst, 7, TCG_TYPE_I32);
1300 tcg_out32(s, op | BT(7, CR_EQ) | BA(6, CR_EQ) | BB(7, CR_EQ));
1301 break;
1302
1303 case TCG_COND_LT:
1304 case TCG_COND_LE:
1305 case TCG_COND_GT:
1306 case TCG_COND_GE:
1307 case TCG_COND_LTU:
1308 case TCG_COND_LEU:
1309 case TCG_COND_GTU:
1310 case TCG_COND_GEU:
1311 bit1 = bits[cond].bit1;
1312 bit2 = bits[cond].bit2;
1313 op = (bit1 != bit2 ? CRANDC : CRAND);
1314 cond2 = tcg_unsigned_cond(cond);
1315
1316 tcg_out_cmp(s, cond, ah, bh, bhconst, 6, TCG_TYPE_I32);
1317 tcg_out_cmp(s, cond2, al, bl, blconst, 7, TCG_TYPE_I32);
1318 tcg_out32(s, op | BT(7, CR_EQ) | BA(6, CR_EQ) | BB(7, bit2));
1319 tcg_out32(s, CROR | BT(7, CR_EQ) | BA(6, bit1) | BB(7, CR_EQ));
1320 break;
1321
1322 default:
1323 tcg_abort();
1324 }
1325}
1326
1327static void tcg_out_setcond2(TCGContext *s, const TCGArg *args,
1328 const int *const_args)
1329{
1330 tcg_out_cmp2(s, args + 1, const_args + 1);
1331 tcg_out32(s, MFOCRF | RT(TCG_REG_R0) | FXM(7));
1332 tcg_out_rlw(s, RLWINM, args[0], TCG_REG_R0, 31, 31, 31);
1333}
1334
1335static void tcg_out_brcond2 (TCGContext *s, const TCGArg *args,
1336 const int *const_args)
1337{
1338 tcg_out_cmp2(s, args, const_args);
bec16311 1339 tcg_out_bc(s, BC | BI(7, CR_EQ) | BO_COND_TRUE, arg_label(args[5]));
abcf61c4
RH		 1340}
1341
7b4af5ee
PK		 1342static void tcg_out_mb(TCGContext *s, TCGArg a0)
1343{
1344 uint32_t insn = HWSYNC;
1345 a0 &= TCG_MO_ALL;
1346 if (a0 == TCG_MO_LD_LD) {
1347 insn = LWSYNC;
1348 } else if (a0 == TCG_MO_ST_ST) {
1349 insn = EIEIO;
1350 }
1351 tcg_out32(s, insn);
1352}
1353
a8583393
RH		 1354void tb_target_set_jmp_target(uintptr_t tc_ptr, uintptr_t jmp_addr,
1355 uintptr_t addr)
810260a8 1356{
5964fca8
RH		 1357 if (TCG_TARGET_REG_BITS == 64) {
1358 tcg_insn_unit i1, i2;
1359 intptr_t tb_diff = addr - tc_ptr;
1360 intptr_t br_diff = addr - (jmp_addr + 4);
1361 uint64_t pair;
1362
1363 /* This does not exercise the range of the branch, but we do
1364 still need to be able to load the new value of TCG_REG_TB.
1365 But this does still happen quite often. */
1366 if (tb_diff == (int16_t)tb_diff) {
1367 i1 = ADDI | TAI(TCG_REG_TB, TCG_REG_TB, tb_diff);
1368 i2 = B | (br_diff & 0x3fffffc);
1369 } else {
1370 intptr_t lo = (int16_t)tb_diff;
1371 intptr_t hi = (int32_t)(tb_diff - lo);
1372 assert(tb_diff == hi + lo);
1373 i1 = ADDIS | TAI(TCG_REG_TB, TCG_REG_TB, hi >> 16);
1374 i2 = ADDI | TAI(TCG_REG_TB, TCG_REG_TB, lo);
1375 }
5bfd75a3 1376#ifdef HOST_WORDS_BIGENDIAN
5964fca8 1377 pair = (uint64_t)i1 << 32 | i2;
5bfd75a3 1378#else
5964fca8 1379 pair = (uint64_t)i2 << 32 | i1;
5bfd75a3
RH		 1380#endif
1381
ba026602
PMD		 1382 /* As per the enclosing if, this is ppc64. Avoid the _Static_assert
1383 within atomic_set that would fail to build a ppc32 host. */
1384 atomic_set__nocheck((uint64_t *)jmp_addr, pair);
5964fca8
RH		 1385 flush_icache_range(jmp_addr, jmp_addr + 8);
1386 } else {
1387 intptr_t diff = addr - jmp_addr;
1388 tcg_debug_assert(in_range_b(diff));
1389 atomic_set((uint32_t *)jmp_addr, B | (diff & 0x3fffffc));
1390 flush_icache_range(jmp_addr, jmp_addr + 4);
1391 }
399f1648 1392}
810260a8 1393
d604f1a9 1394static void tcg_out_call(TCGContext *s, tcg_insn_unit *target)
810260a8 1395{
eaf7d1cf 1396#ifdef _CALL_AIX
d604f1a9
RH		 1397 /* Look through the descriptor. If the branch is in range, and we
1398 don't have to spend too much effort on building the toc. */
1399 void *tgt = ((void **)target)[0];
1400 uintptr_t toc = ((uintptr_t *)target)[1];
1401 intptr_t diff = tcg_pcrel_diff(s, tgt);
b18d5d2b 1402
d604f1a9 1403 if (in_range_b(diff) && toc == (uint32_t)toc) {
dfca1778 1404 tcg_out_movi(s, TCG_TYPE_PTR, TCG_REG_TMP1, toc);
d604f1a9 1405 tcg_out_b(s, LK, tgt);
541dd4ce 1406 } else {
d604f1a9
RH		 1407 /* Fold the low bits of the constant into the addresses below. */
1408 intptr_t arg = (intptr_t)target;
1409 int ofs = (int16_t)arg;
1410
1411 if (ofs + 8 < 0x8000) {
1412 arg -= ofs;
1413 } else {
1414 ofs = 0;
1415 }
dfca1778
RH		 1416 tcg_out_movi(s, TCG_TYPE_PTR, TCG_REG_TMP1, arg);
1417 tcg_out_ld(s, TCG_TYPE_PTR, TCG_REG_R0, TCG_REG_TMP1, ofs);
d604f1a9 1418 tcg_out32(s, MTSPR | RA(TCG_REG_R0) | CTR);
dfca1778 1419 tcg_out_ld(s, TCG_TYPE_PTR, TCG_REG_R2, TCG_REG_TMP1, ofs + SZP);
d604f1a9 1420 tcg_out32(s, BCCTR | BO_ALWAYS | LK);
541dd4ce 1421 }
77e58d0d
UW		 1422#elif defined(_CALL_ELF) && _CALL_ELF == 2
1423 intptr_t diff;
1424
1425 /* In the ELFv2 ABI, we have to set up r12 to contain the destination
1426 address, which the callee uses to compute its TOC address. */
1427 /* FIXME: when the branch is in range, we could avoid r12 load if we
1428 knew that the destination uses the same TOC, and what its local
1429 entry point offset is. */
1430 tcg_out_movi(s, TCG_TYPE_PTR, TCG_REG_R12, (intptr_t)target);
1431
1432 diff = tcg_pcrel_diff(s, target);
1433 if (in_range_b(diff)) {
1434 tcg_out_b(s, LK, target);
1435 } else {
1436 tcg_out32(s, MTSPR | RS(TCG_REG_R12) | CTR);
1437 tcg_out32(s, BCCTR | BO_ALWAYS | LK);
1438 }
eaf7d1cf
RH		 1439#else
1440 tcg_out_b(s, LK, target);
d604f1a9 1441#endif
810260a8 1442}
1443
d604f1a9
RH		 1444static const uint32_t qemu_ldx_opc[16] = {
1445 [MO_UB] = LBZX,
1446 [MO_UW] = LHZX,
1447 [MO_UL] = LWZX,
1448 [MO_Q] = LDX,
1449 [MO_SW] = LHAX,
1450 [MO_SL] = LWAX,
1451 [MO_BSWAP | MO_UB] = LBZX,
1452 [MO_BSWAP | MO_UW] = LHBRX,
1453 [MO_BSWAP | MO_UL] = LWBRX,
1454 [MO_BSWAP | MO_Q] = LDBRX,
1455};
810260a8 1456
d604f1a9
RH		 1457static const uint32_t qemu_stx_opc[16] = {
1458 [MO_UB] = STBX,
1459 [MO_UW] = STHX,
1460 [MO_UL] = STWX,
1461 [MO_Q] = STDX,
1462 [MO_BSWAP | MO_UB] = STBX,
1463 [MO_BSWAP | MO_UW] = STHBRX,
1464 [MO_BSWAP | MO_UL] = STWBRX,
1465 [MO_BSWAP | MO_Q] = STDBRX,
1466};
991041a4 1467
d604f1a9
RH		 1468static const uint32_t qemu_exts_opc[4] = {
1469 EXTSB, EXTSH, EXTSW, 0
1470};
810260a8 1471
d604f1a9 1472#if defined (CONFIG_SOFTMMU)
659ef5cb
RH		 1473#include "tcg-ldst.inc.c"
1474
d604f1a9
RH		 1475/* helper signature: helper_ld_mmu(CPUState *env, target_ulong addr,
1476 * int mmu_idx, uintptr_t ra)
1477 */
1478static void * const qemu_ld_helpers[16] = {
1479 [MO_UB] = helper_ret_ldub_mmu,
1480 [MO_LEUW] = helper_le_lduw_mmu,
1481 [MO_LEUL] = helper_le_ldul_mmu,
1482 [MO_LEQ] = helper_le_ldq_mmu,
1483 [MO_BEUW] = helper_be_lduw_mmu,
1484 [MO_BEUL] = helper_be_ldul_mmu,
1485 [MO_BEQ] = helper_be_ldq_mmu,
1486};
810260a8 1487
d604f1a9
RH		 1488/* helper signature: helper_st_mmu(CPUState *env, target_ulong addr,
1489 * uintxx_t val, int mmu_idx, uintptr_t ra)
1490 */
1491static void * const qemu_st_helpers[16] = {
1492 [MO_UB] = helper_ret_stb_mmu,
1493 [MO_LEUW] = helper_le_stw_mmu,
1494 [MO_LEUL] = helper_le_stl_mmu,
1495 [MO_LEQ] = helper_le_stq_mmu,
1496 [MO_BEUW] = helper_be_stw_mmu,
1497 [MO_BEUL] = helper_be_stl_mmu,
1498 [MO_BEQ] = helper_be_stq_mmu,
1499};
810260a8 1500
269bd5d8
RH		 1501/* We expect to use a 16-bit negative offset from ENV. */
1502QEMU_BUILD_BUG_ON(TLB_MASK_TABLE_OFS(0) > 0);
1503QEMU_BUILD_BUG_ON(TLB_MASK_TABLE_OFS(0) < -32768);
1504
d604f1a9
RH		 1505/* Perform the TLB load and compare. Places the result of the comparison
1506 in CR7, loads the addend of the TLB into R3, and returns the register
1507 containing the guest address (zero-extended into R4). Clobbers R0 and R2. */
1508
14776ab5 1509static TCGReg tcg_out_tlb_read(TCGContext *s, MemOp opc,
7f25c469 1510 TCGReg addrlo, TCGReg addrhi,
d604f1a9
RH		 1511 int mem_index, bool is_read)
1512{
1513 int cmp_off
1514 = (is_read
644f591a
RH		 1515 ? offsetof(CPUTLBEntry, addr_read)
1516 : offsetof(CPUTLBEntry, addr_write));
269bd5d8
RH		 1517 int fast_off = TLB_MASK_TABLE_OFS(mem_index);
1518 int mask_off = fast_off + offsetof(CPUTLBDescFast, mask);
1519 int table_off = fast_off + offsetof(CPUTLBDescFast, table);
85aa8081
RH		 1520 unsigned s_bits = opc & MO_SIZE;
1521 unsigned a_bits = get_alignment_bits(opc);
d604f1a9 1522
644f591a 1523 /* Load tlb_mask[mmu_idx] and tlb_table[mmu_idx]. */
269bd5d8
RH		 1524 tcg_out_ld(s, TCG_TYPE_PTR, TCG_REG_R3, TCG_AREG0, mask_off);
1525 tcg_out_ld(s, TCG_TYPE_PTR, TCG_REG_R4, TCG_AREG0, table_off);
644f591a
RH		 1526
1527 /* Extract the page index, shifted into place for tlb index. */
1528 if (TCG_TARGET_REG_BITS == 32) {
1529 tcg_out_shri32(s, TCG_REG_TMP1, addrlo,
1530 TARGET_PAGE_BITS - CPU_TLB_ENTRY_BITS);
4c314da6 1531 } else {
644f591a
RH		 1532 tcg_out_shri64(s, TCG_REG_TMP1, addrlo,
1533 TARGET_PAGE_BITS - CPU_TLB_ENTRY_BITS);
810260a8 1534 }
644f591a 1535 tcg_out32(s, AND | SAB(TCG_REG_R3, TCG_REG_R3, TCG_REG_TMP1));
810260a8 1536
644f591a
RH		 1537 /* Load the TLB comparator. */
1538 if (cmp_off == 0 && TCG_TARGET_REG_BITS >= TARGET_LONG_BITS) {
1539 uint32_t lxu = (TCG_TARGET_REG_BITS == 32 || TARGET_LONG_BITS == 32
1540 ? LWZUX : LDUX);
1541 tcg_out32(s, lxu | TAB(TCG_REG_TMP1, TCG_REG_R3, TCG_REG_R4));
7f25c469 1542 } else {
644f591a
RH		 1543 tcg_out32(s, ADD | TAB(TCG_REG_R3, TCG_REG_R3, TCG_REG_R4));
1544 if (TCG_TARGET_REG_BITS < TARGET_LONG_BITS) {
1545 tcg_out_ld(s, TCG_TYPE_I32, TCG_REG_TMP1, TCG_REG_R3, cmp_off + 4);
1546 tcg_out_ld(s, TCG_TYPE_I32, TCG_REG_R4, TCG_REG_R3, cmp_off);
1547 } else {
1548 tcg_out_ld(s, TCG_TYPE_TL, TCG_REG_TMP1, TCG_REG_R3, cmp_off);
1549 }
7f25c469 1550 }
d604f1a9
RH		 1551
1552 /* Load the TLB addend for use on the fast path. Do this asap
1553 to minimize any load use delay. */
644f591a
RH		 1554 tcg_out_ld(s, TCG_TYPE_PTR, TCG_REG_R3, TCG_REG_R3,
1555 offsetof(CPUTLBEntry, addend));
d604f1a9 1556
68d45bb6 1557 /* Clear the non-page, non-alignment bits from the address */
85aa8081
RH		 1558 if (TCG_TARGET_REG_BITS == 32) {
1559 /* We don't support unaligned accesses on 32-bits.
1560 * Preserve the bottom bits and thus trigger a comparison
1561 * failure on unaligned accesses.
68d45bb6 1562 */
85aa8081 1563 if (a_bits < s_bits) {
1f00b27f
SS		 1564 a_bits = s_bits;
1565 }
7f25c469 1566 tcg_out_rlw(s, RLWINM, TCG_REG_R0, addrlo, 0,
1f00b27f 1567 (32 - a_bits) & 31, 31 - TARGET_PAGE_BITS);
85aa8081
RH		 1568 } else {
1569 TCGReg t = addrlo;
1570
1571 /* If the access is unaligned, we need to make sure we fail if we
1572 * cross a page boundary. The trick is to add the access size-1
1573 * to the address before masking the low bits. That will make the
1574 * address overflow to the next page if we cross a page boundary,
1575 * which will then force a mismatch of the TLB compare.
1576 */
1577 if (a_bits < s_bits) {
1578 unsigned a_mask = (1 << a_bits) - 1;
1579 unsigned s_mask = (1 << s_bits) - 1;
1580 tcg_out32(s, ADDI | TAI(TCG_REG_R0, t, s_mask - a_mask));
1581 t = TCG_REG_R0;
1582 }
1583
1584 /* Mask the address for the requested alignment. */
1585 if (TARGET_LONG_BITS == 32) {
1586 tcg_out_rlw(s, RLWINM, TCG_REG_R0, t, 0,
1587 (32 - a_bits) & 31, 31 - TARGET_PAGE_BITS);
644f591a
RH		 1588 /* Zero-extend the address for use in the final address. */
1589 tcg_out_ext32u(s, TCG_REG_R4, addrlo);
1590 addrlo = TCG_REG_R4;
85aa8081
RH		 1591 } else if (a_bits == 0) {
1592 tcg_out_rld(s, RLDICR, TCG_REG_R0, t, 0, 63 - TARGET_PAGE_BITS);
1593 } else {
1594 tcg_out_rld(s, RLDICL, TCG_REG_R0, t,
1f00b27f 1595 64 - TARGET_PAGE_BITS, TARGET_PAGE_BITS - a_bits);
68d45bb6 1596 tcg_out_rld(s, RLDICL, TCG_REG_R0, TCG_REG_R0, TARGET_PAGE_BITS, 0);
68d45bb6 1597 }
70fac59a 1598 }
d604f1a9 1599
7f25c469 1600 if (TCG_TARGET_REG_BITS < TARGET_LONG_BITS) {
dfca1778
RH		 1601 tcg_out_cmp(s, TCG_COND_EQ, TCG_REG_R0, TCG_REG_TMP1,
1602 0, 7, TCG_TYPE_I32);
7f25c469
RH		 1603 tcg_out_cmp(s, TCG_COND_EQ, addrhi, TCG_REG_R4, 0, 6, TCG_TYPE_I32);
1604 tcg_out32(s, CRAND | BT(7, CR_EQ) | BA(6, CR_EQ) | BB(7, CR_EQ));
1605 } else {
dfca1778
RH		 1606 tcg_out_cmp(s, TCG_COND_EQ, TCG_REG_R0, TCG_REG_TMP1,
1607 0, 7, TCG_TYPE_TL);
7f25c469 1608 }
d604f1a9 1609
7f25c469 1610 return addrlo;
70fac59a 1611}
1cd62ae9 1612
d604f1a9
RH		 1613/* Record the context of a call to the out of line helper code for the slow
1614 path for a load or store, so that we can later generate the correct
1615 helper code. */
3972ef6f 1616static void add_qemu_ldst_label(TCGContext *s, bool is_ld, TCGMemOpIdx oi,
7f25c469
RH		 1617 TCGReg datalo_reg, TCGReg datahi_reg,
1618 TCGReg addrlo_reg, TCGReg addrhi_reg,
3972ef6f 1619 tcg_insn_unit *raddr, tcg_insn_unit *lptr)
70fac59a 1620{
d604f1a9
RH		 1621 TCGLabelQemuLdst *label = new_ldst_label(s);
1622
1623 label->is_ld = is_ld;
3972ef6f 1624 label->oi = oi;
7f25c469
RH		 1625 label->datalo_reg = datalo_reg;
1626 label->datahi_reg = datahi_reg;
1627 label->addrlo_reg = addrlo_reg;
1628 label->addrhi_reg = addrhi_reg;
d604f1a9 1629 label->raddr = raddr;
7f25c469 1630 label->label_ptr[0] = lptr;
70fac59a 1631}
1cd62ae9 1632
aeee05f5 1633static bool tcg_out_qemu_ld_slow_path(TCGContext *s, TCGLabelQemuLdst *lb)
70fac59a 1634{
3972ef6f 1635 TCGMemOpIdx oi = lb->oi;
14776ab5 1636 MemOp opc = get_memop(oi);
7f25c469 1637 TCGReg hi, lo, arg = TCG_REG_R3;
70fac59a 1638
aeee05f5
RH		 1639 if (!reloc_pc14(lb->label_ptr[0], s->code_ptr)) {
1640 return false;
1641 }
70fac59a 1642
7f25c469 1643 tcg_out_mov(s, TCG_TYPE_PTR, arg++, TCG_AREG0);
1cd62ae9 1644
7f25c469
RH		 1645 lo = lb->addrlo_reg;
1646 hi = lb->addrhi_reg;
1647 if (TCG_TARGET_REG_BITS < TARGET_LONG_BITS) {
1648#ifdef TCG_TARGET_CALL_ALIGN_ARGS
1649 arg |= 1;
1650#endif
1651 tcg_out_mov(s, TCG_TYPE_I32, arg++, hi);
1652 tcg_out_mov(s, TCG_TYPE_I32, arg++, lo);
1653 } else {
1654 /* If the address needed to be zero-extended, we'll have already
1655 placed it in R4. The only remaining case is 64-bit guest. */
1656 tcg_out_mov(s, TCG_TYPE_TL, arg++, lo);
1657 }
752c1fdb 1658
3972ef6f 1659 tcg_out_movi(s, TCG_TYPE_I32, arg++, oi);
7f25c469 1660 tcg_out32(s, MFSPR | RT(arg) | LR);
70fac59a 1661
2b7ec66f 1662 tcg_out_call(s, qemu_ld_helpers[opc & (MO_BSWAP | MO_SIZE)]);
70fac59a 1663
7f25c469
RH		 1664 lo = lb->datalo_reg;
1665 hi = lb->datahi_reg;
1666 if (TCG_TARGET_REG_BITS == 32 && (opc & MO_SIZE) == MO_64) {
1667 tcg_out_mov(s, TCG_TYPE_I32, lo, TCG_REG_R4);
1668 tcg_out_mov(s, TCG_TYPE_I32, hi, TCG_REG_R3);
1669 } else if (opc & MO_SIGN) {
d604f1a9 1670 uint32_t insn = qemu_exts_opc[opc & MO_SIZE];
7f25c469 1671 tcg_out32(s, insn | RA(lo) | RS(TCG_REG_R3));
d604f1a9 1672 } else {
7f25c469 1673 tcg_out_mov(s, TCG_TYPE_REG, lo, TCG_REG_R3);
70fac59a
RH		 1674 }
1675
d604f1a9 1676 tcg_out_b(s, 0, lb->raddr);
aeee05f5 1677 return true;
d604f1a9 1678}
70fac59a 1679
aeee05f5 1680static bool tcg_out_qemu_st_slow_path(TCGContext *s, TCGLabelQemuLdst *lb)
d604f1a9 1681{
3972ef6f 1682 TCGMemOpIdx oi = lb->oi;
14776ab5
TN		 1683 MemOp opc = get_memop(oi);
1684 MemOp s_bits = opc & MO_SIZE;
7f25c469 1685 TCGReg hi, lo, arg = TCG_REG_R3;
1cd62ae9 1686
aeee05f5
RH		 1687 if (!reloc_pc14(lb->label_ptr[0], s->code_ptr)) {
1688 return false;
1689 }
1cd62ae9 1690
7f25c469
RH		 1691 tcg_out_mov(s, TCG_TYPE_PTR, arg++, TCG_AREG0);
1692
1693 lo = lb->addrlo_reg;
1694 hi = lb->addrhi_reg;
1695 if (TCG_TARGET_REG_BITS < TARGET_LONG_BITS) {
1696#ifdef TCG_TARGET_CALL_ALIGN_ARGS
1697 arg |= 1;
1698#endif
1699 tcg_out_mov(s, TCG_TYPE_I32, arg++, hi);
1700 tcg_out_mov(s, TCG_TYPE_I32, arg++, lo);
1701 } else {
1702 /* If the address needed to be zero-extended, we'll have already
1703 placed it in R4. The only remaining case is 64-bit guest. */
1704 tcg_out_mov(s, TCG_TYPE_TL, arg++, lo);
1705 }
1cd62ae9 1706
7f25c469
RH		 1707 lo = lb->datalo_reg;
1708 hi = lb->datahi_reg;
1709 if (TCG_TARGET_REG_BITS == 32) {
1710 switch (s_bits) {
1711 case MO_64:
1712#ifdef TCG_TARGET_CALL_ALIGN_ARGS
1713 arg |= 1;
1714#endif
1715 tcg_out_mov(s, TCG_TYPE_I32, arg++, hi);
1716 /* FALLTHRU */
1717 case MO_32:
1718 tcg_out_mov(s, TCG_TYPE_I32, arg++, lo);
1719 break;
1720 default:
1721 tcg_out_rlw(s, RLWINM, arg++, lo, 0, 32 - (8 << s_bits), 31);
1722 break;
1723 }
1724 } else {
1725 if (s_bits == MO_64) {
1726 tcg_out_mov(s, TCG_TYPE_I64, arg++, lo);
1727 } else {
1728 tcg_out_rld(s, RLDICL, arg++, lo, 0, 64 - (8 << s_bits));
1729 }
1730 }
1cd62ae9 1731
3972ef6f 1732 tcg_out_movi(s, TCG_TYPE_I32, arg++, oi);
7f25c469 1733 tcg_out32(s, MFSPR | RT(arg) | LR);
1cd62ae9 1734
2b7ec66f 1735 tcg_out_call(s, qemu_st_helpers[opc & (MO_BSWAP | MO_SIZE)]);
d604f1a9
RH		 1736
1737 tcg_out_b(s, 0, lb->raddr);
aeee05f5 1738 return true;
1cd62ae9 1739}
d604f1a9 1740#endif /* SOFTMMU */
1cd62ae9 1741
7f25c469 1742static void tcg_out_qemu_ld(TCGContext *s, const TCGArg *args, bool is_64)
810260a8 1743{
7f25c469
RH		 1744 TCGReg datalo, datahi, addrlo, rbase;
1745 TCGReg addrhi __attribute__((unused));
59227d5d 1746 TCGMemOpIdx oi;
14776ab5 1747 MemOp opc, s_bits;
d604f1a9 1748#ifdef CONFIG_SOFTMMU
7f25c469 1749 int mem_index;
d604f1a9
RH		 1750 tcg_insn_unit *label_ptr;
1751#endif
810260a8 1752
7f25c469
RH		 1753 datalo = *args++;
1754 datahi = (TCG_TARGET_REG_BITS == 32 && is_64 ? *args++ : 0);
1755 addrlo = *args++;
1756 addrhi = (TCG_TARGET_REG_BITS < TARGET_LONG_BITS ? *args++ : 0);
59227d5d
RH		 1757 oi = *args++;
1758 opc = get_memop(oi);
7f25c469
RH		 1759 s_bits = opc & MO_SIZE;
1760
d604f1a9 1761#ifdef CONFIG_SOFTMMU
59227d5d 1762 mem_index = get_mmuidx(oi);
68d45bb6 1763 addrlo = tcg_out_tlb_read(s, opc, addrlo, addrhi, mem_index, true);
d604f1a9
RH		 1764
1765 /* Load a pointer into the current opcode w/conditional branch-link. */
1766 label_ptr = s->code_ptr;
f9c7246f 1767 tcg_out32(s, BC | BI(7, CR_EQ) | BO_COND_FALSE | LK);
d604f1a9
RH		 1768
1769 rbase = TCG_REG_R3;
1770#else /* !CONFIG_SOFTMMU */
b76f21a7 1771 rbase = guest_base ? TCG_GUEST_BASE_REG : 0;
7f25c469 1772 if (TCG_TARGET_REG_BITS > TARGET_LONG_BITS) {
dfca1778
RH		 1773 tcg_out_ext32u(s, TCG_REG_TMP1, addrlo);
1774 addrlo = TCG_REG_TMP1;
d604f1a9
RH		 1775 }
1776#endif
1777
7f25c469
RH		 1778 if (TCG_TARGET_REG_BITS == 32 && s_bits == MO_64) {
1779 if (opc & MO_BSWAP) {
1780 tcg_out32(s, ADDI | TAI(TCG_REG_R0, addrlo, 4));
1781 tcg_out32(s, LWBRX | TAB(datalo, rbase, addrlo));
1782 tcg_out32(s, LWBRX | TAB(datahi, rbase, TCG_REG_R0));
1783 } else if (rbase != 0) {
1784 tcg_out32(s, ADDI | TAI(TCG_REG_R0, addrlo, 4));
1785 tcg_out32(s, LWZX | TAB(datahi, rbase, addrlo));
1786 tcg_out32(s, LWZX | TAB(datalo, rbase, TCG_REG_R0));
1787 } else if (addrlo == datahi) {
1788 tcg_out32(s, LWZ | TAI(datalo, addrlo, 4));
1789 tcg_out32(s, LWZ | TAI(datahi, addrlo, 0));
1790 } else {
1791 tcg_out32(s, LWZ | TAI(datahi, addrlo, 0));
1792 tcg_out32(s, LWZ | TAI(datalo, addrlo, 4));
1793 }
541dd4ce 1794 } else {
2b7ec66f 1795 uint32_t insn = qemu_ldx_opc[opc & (MO_BSWAP | MO_SSIZE)];
7f25c469
RH		 1796 if (!HAVE_ISA_2_06 && insn == LDBRX) {
1797 tcg_out32(s, ADDI | TAI(TCG_REG_R0, addrlo, 4));
1798 tcg_out32(s, LWBRX | TAB(datalo, rbase, addrlo));
1799 tcg_out32(s, LWBRX | TAB(TCG_REG_R0, rbase, TCG_REG_R0));
1800 tcg_out_rld(s, RLDIMI, datalo, TCG_REG_R0, 32, 0);
1801 } else if (insn) {
1802 tcg_out32(s, insn | TAB(datalo, rbase, addrlo));
1803 } else {
1804 insn = qemu_ldx_opc[opc & (MO_SIZE | MO_BSWAP)];
1805 tcg_out32(s, insn | TAB(datalo, rbase, addrlo));
1806 insn = qemu_exts_opc[s_bits];
1807 tcg_out32(s, insn | RA(datalo) | RS(datalo));
1808 }
810260a8 1809 }
810260a8 1810
d604f1a9 1811#ifdef CONFIG_SOFTMMU
3972ef6f
RH		 1812 add_qemu_ldst_label(s, true, oi, datalo, datahi, addrlo, addrhi,
1813 s->code_ptr, label_ptr);
d604f1a9 1814#endif
810260a8 1815}
1816
7f25c469 1817static void tcg_out_qemu_st(TCGContext *s, const TCGArg *args, bool is_64)
027ffea9 1818{
7f25c469
RH		 1819 TCGReg datalo, datahi, addrlo, rbase;
1820 TCGReg addrhi __attribute__((unused));
59227d5d 1821 TCGMemOpIdx oi;
14776ab5 1822 MemOp opc, s_bits;
d604f1a9 1823#ifdef CONFIG_SOFTMMU
7f25c469 1824 int mem_index;
d604f1a9
RH		 1825 tcg_insn_unit *label_ptr;
1826#endif
027ffea9 1827
7f25c469
RH		 1828 datalo = *args++;
1829 datahi = (TCG_TARGET_REG_BITS == 32 && is_64 ? *args++ : 0);
1830 addrlo = *args++;
1831 addrhi = (TCG_TARGET_REG_BITS < TARGET_LONG_BITS ? *args++ : 0);
59227d5d
RH		 1832 oi = *args++;
1833 opc = get_memop(oi);
7f25c469
RH		 1834 s_bits = opc & MO_SIZE;
1835
d604f1a9 1836#ifdef CONFIG_SOFTMMU
59227d5d 1837 mem_index = get_mmuidx(oi);
68d45bb6 1838 addrlo = tcg_out_tlb_read(s, opc, addrlo, addrhi, mem_index, false);
027ffea9 1839
d604f1a9
RH		 1840 /* Load a pointer into the current opcode w/conditional branch-link. */
1841 label_ptr = s->code_ptr;
f9c7246f 1842 tcg_out32(s, BC | BI(7, CR_EQ) | BO_COND_FALSE | LK);
027ffea9 1843
d604f1a9
RH		 1844 rbase = TCG_REG_R3;
1845#else /* !CONFIG_SOFTMMU */
b76f21a7 1846 rbase = guest_base ? TCG_GUEST_BASE_REG : 0;
7f25c469 1847 if (TCG_TARGET_REG_BITS > TARGET_LONG_BITS) {
dfca1778
RH		 1848 tcg_out_ext32u(s, TCG_REG_TMP1, addrlo);
1849 addrlo = TCG_REG_TMP1;
d604f1a9
RH		 1850 }
1851#endif
1852
7f25c469
RH		 1853 if (TCG_TARGET_REG_BITS == 32 && s_bits == MO_64) {
1854 if (opc & MO_BSWAP) {
1855 tcg_out32(s, ADDI | TAI(TCG_REG_R0, addrlo, 4));
1856 tcg_out32(s, STWBRX | SAB(datalo, rbase, addrlo));
1857 tcg_out32(s, STWBRX | SAB(datahi, rbase, TCG_REG_R0));
1858 } else if (rbase != 0) {
1859 tcg_out32(s, ADDI | TAI(TCG_REG_R0, addrlo, 4));
1860 tcg_out32(s, STWX | SAB(datahi, rbase, addrlo));
1861 tcg_out32(s, STWX | SAB(datalo, rbase, TCG_REG_R0));
1862 } else {
1863 tcg_out32(s, STW | TAI(datahi, addrlo, 0));
1864 tcg_out32(s, STW | TAI(datalo, addrlo, 4));
1865 }
027ffea9 1866 } else {
2b7ec66f 1867 uint32_t insn = qemu_stx_opc[opc & (MO_BSWAP | MO_SIZE)];
7f25c469
RH		 1868 if (!HAVE_ISA_2_06 && insn == STDBRX) {
1869 tcg_out32(s, STWBRX | SAB(datalo, rbase, addrlo));
dfca1778 1870 tcg_out32(s, ADDI | TAI(TCG_REG_TMP1, addrlo, 4));
7f25c469 1871 tcg_out_shri64(s, TCG_REG_R0, datalo, 32);
dfca1778 1872 tcg_out32(s, STWBRX | SAB(TCG_REG_R0, rbase, TCG_REG_TMP1));
7f25c469
RH		 1873 } else {
1874 tcg_out32(s, insn | SAB(datalo, rbase, addrlo));
1875 }
027ffea9 1876 }
d604f1a9
RH		 1877
1878#ifdef CONFIG_SOFTMMU
3972ef6f
RH		 1879 add_qemu_ldst_label(s, false, oi, datalo, datahi, addrlo, addrhi,
1880 s->code_ptr, label_ptr);
d604f1a9 1881#endif
027ffea9
RH		 1882}
1883
53c89efd
RH		 1884static void tcg_out_nop_fill(tcg_insn_unit *p, int count)
1885{
1886 int i;
1887 for (i = 0; i < count; ++i) {
1888 p[i] = NOP;
1889 }
1890}
1891
a921fddc
RH		 1892/* Parameters for function call generation, used in tcg.c. */
1893#define TCG_TARGET_STACK_ALIGN 16
a921fddc
RH		 1894#define TCG_TARGET_EXTEND_ARGS 1
1895
802ca56e
RH		 1896#ifdef _CALL_AIX
1897# define LINK_AREA_SIZE (6 * SZR)
1898# define LR_OFFSET (1 * SZR)
1899# define TCG_TARGET_CALL_STACK_OFFSET (LINK_AREA_SIZE + 8 * SZR)
1045fc04
PM		 1900#elif defined(TCG_TARGET_CALL_DARWIN)
1901# define LINK_AREA_SIZE (6 * SZR)
1902# define LR_OFFSET (2 * SZR)
ffcfbece
RH		 1903#elif TCG_TARGET_REG_BITS == 64
1904# if defined(_CALL_ELF) && _CALL_ELF == 2
1905# define LINK_AREA_SIZE (4 * SZR)
1906# define LR_OFFSET (1 * SZR)
1907# endif
1908#else /* TCG_TARGET_REG_BITS == 32 */
1909# if defined(_CALL_SYSV)
ffcfbece
RH		 1910# define LINK_AREA_SIZE (2 * SZR)
1911# define LR_OFFSET (1 * SZR)
ffcfbece
RH		 1912# endif
1913#endif
1914#ifndef LR_OFFSET
1915# error "Unhandled abi"
1916#endif
1917#ifndef TCG_TARGET_CALL_STACK_OFFSET
a2a98f80 1918# define TCG_TARGET_CALL_STACK_OFFSET LINK_AREA_SIZE
802ca56e
RH		 1919#endif
1920
1921#define CPU_TEMP_BUF_SIZE (CPU_TEMP_BUF_NLONGS * (int)sizeof(long))
1922#define REG_SAVE_SIZE ((int)ARRAY_SIZE(tcg_target_callee_save_regs) * SZR)
d604f1a9 1923
802ca56e
RH		 1924#define FRAME_SIZE ((TCG_TARGET_CALL_STACK_OFFSET \
1925 + TCG_STATIC_CALL_ARGS_SIZE \
1926 + CPU_TEMP_BUF_SIZE \
1927 + REG_SAVE_SIZE \
1928 + TCG_TARGET_STACK_ALIGN - 1) \
1929 & -TCG_TARGET_STACK_ALIGN)
1930
1931#define REG_SAVE_BOT (FRAME_SIZE - REG_SAVE_SIZE)
d604f1a9
RH		 1932
1933static void tcg_target_qemu_prologue(TCGContext *s)
810260a8 1934{
d604f1a9 1935 int i;
810260a8 1936
802ca56e 1937#ifdef _CALL_AIX
a84ac4cb
RH		 1938 void **desc = (void **)s->code_ptr;
1939 desc[0] = desc + 2; /* entry point */
1940 desc[1] = 0; /* environment pointer */
1941 s->code_ptr = (void *)(desc + 2); /* skip over descriptor */
d604f1a9
RH		 1942#endif
1943
a84ac4cb
RH		 1944 tcg_set_frame(s, TCG_REG_CALL_STACK, REG_SAVE_BOT - CPU_TEMP_BUF_SIZE,
1945 CPU_TEMP_BUF_SIZE);
1946
d604f1a9
RH		 1947 /* Prologue */
1948 tcg_out32(s, MFSPR | RT(TCG_REG_R0) | LR);
ffcfbece
RH		 1949 tcg_out32(s, (SZR == 8 ? STDU : STWU)
1950 | SAI(TCG_REG_R1, TCG_REG_R1, -FRAME_SIZE));
802ca56e 1951
d604f1a9 1952 for (i = 0; i < ARRAY_SIZE(tcg_target_callee_save_regs); ++i) {
4c3831a0
RH		 1953 tcg_out_st(s, TCG_TYPE_REG, tcg_target_callee_save_regs[i],
1954 TCG_REG_R1, REG_SAVE_BOT + i * SZR);
d604f1a9 1955 }
802ca56e 1956 tcg_out_st(s, TCG_TYPE_PTR, TCG_REG_R0, TCG_REG_R1, FRAME_SIZE+LR_OFFSET);
d604f1a9 1957
4cbea598 1958#ifndef CONFIG_SOFTMMU
b76f21a7 1959 if (guest_base) {
5964fca8 1960 tcg_out_movi_int(s, TCG_TYPE_PTR, TCG_GUEST_BASE_REG, guest_base, true);
d604f1a9
RH		 1961 tcg_regset_set_reg(s->reserved_regs, TCG_GUEST_BASE_REG);
1962 }
1963#endif
1964
1965 tcg_out_mov(s, TCG_TYPE_PTR, TCG_AREG0, tcg_target_call_iarg_regs[0]);
1966 tcg_out32(s, MTSPR | RS(tcg_target_call_iarg_regs[1]) | CTR);
5964fca8
RH		 1967 if (USE_REG_TB) {
1968 tcg_out_mov(s, TCG_TYPE_PTR, TCG_REG_TB, tcg_target_call_iarg_regs[1]);
a84ac4cb 1969 }
5964fca8 1970 tcg_out32(s, BCCTR | BO_ALWAYS);
d604f1a9
RH		 1971
1972 /* Epilogue */
5964fca8 1973 s->code_gen_epilogue = tb_ret_addr = s->code_ptr;
d604f1a9 1974
802ca56e 1975 tcg_out_ld(s, TCG_TYPE_PTR, TCG_REG_R0, TCG_REG_R1, FRAME_SIZE+LR_OFFSET);
d604f1a9 1976 for (i = 0; i < ARRAY_SIZE(tcg_target_callee_save_regs); ++i) {
4c3831a0
RH		 1977 tcg_out_ld(s, TCG_TYPE_REG, tcg_target_callee_save_regs[i],
1978 TCG_REG_R1, REG_SAVE_BOT + i * SZR);
d604f1a9 1979 }
d604f1a9
RH		 1980 tcg_out32(s, MTSPR | RS(TCG_REG_R0) | LR);
1981 tcg_out32(s, ADDI | TAI(TCG_REG_R1, TCG_REG_R1, FRAME_SIZE));
1982 tcg_out32(s, BCLR | BO_ALWAYS);
810260a8 1983}
1984
541dd4ce
RH		 1985static void tcg_out_op(TCGContext *s, TCGOpcode opc, const TCGArg *args,
1986 const int *const_args)
810260a8 1987{
ee924fa6 1988 TCGArg a0, a1, a2;
e46b9681 1989 int c;
1990
810260a8 1991 switch (opc) {
1992 case INDEX_op_exit_tb:
de3d636d 1993 tcg_out_movi(s, TCG_TYPE_PTR, TCG_REG_R3, args[0]);
e083c4a2 1994 tcg_out_b(s, 0, tb_ret_addr);
810260a8 1995 break;
1996 case INDEX_op_goto_tb:
5964fca8
RH		 1997 if (s->tb_jmp_insn_offset) {
1998 /* Direct jump. */
1999 if (TCG_TARGET_REG_BITS == 64) {
2000 /* Ensure the next insns are 8-byte aligned. */
2001 if ((uintptr_t)s->code_ptr & 7) {
2002 tcg_out32(s, NOP);
2003 }
2004 s->tb_jmp_insn_offset[args[0]] = tcg_current_code_size(s);
2005 tcg_out32(s, ADDIS | TAI(TCG_REG_TB, TCG_REG_TB, 0));
2006 tcg_out32(s, ADDI | TAI(TCG_REG_TB, TCG_REG_TB, 0));
2007 } else {
2008 s->tb_jmp_insn_offset[args[0]] = tcg_current_code_size(s);
2009 tcg_out32(s, B);
2010 s->tb_jmp_reset_offset[args[0]] = tcg_current_code_size(s);
2011 break;
2012 }
2013 } else {
2014 /* Indirect jump. */
2015 tcg_debug_assert(s->tb_jmp_insn_offset == NULL);
2016 tcg_out_ld(s, TCG_TYPE_PTR, TCG_REG_TB, 0,
2017 (intptr_t)(s->tb_jmp_insn_offset + args[0]));
2018 }
2019 tcg_out32(s, MTSPR | RS(TCG_REG_TB) | CTR);
5bfd75a3 2020 tcg_out32(s, BCCTR | BO_ALWAYS);
9f754620 2021 set_jmp_reset_offset(s, args[0]);
5964fca8
RH		 2022 if (USE_REG_TB) {
2023 /* For the unlinked case, need to reset TCG_REG_TB. */
9f754620 2024 c = -tcg_current_code_size(s);
5964fca8
RH		 2025 assert(c == (int16_t)c);
2026 tcg_out32(s, ADDI | TAI(TCG_REG_TB, TCG_REG_TB, c));
2027 }
810260a8 2028 break;
0c240785
RH		 2029 case INDEX_op_goto_ptr:
2030 tcg_out32(s, MTSPR | RS(args[0]) | CTR);
5964fca8
RH		 2031 if (USE_REG_TB) {
2032 tcg_out_mov(s, TCG_TYPE_PTR, TCG_REG_TB, args[0]);
2033 }
2034 tcg_out32(s, ADDI | TAI(TCG_REG_R3, 0, 0));
0c240785
RH		 2035 tcg_out32(s, BCCTR | BO_ALWAYS);
2036 break;
810260a8 2037 case INDEX_op_br:
2038 {
bec16311 2039 TCGLabel *l = arg_label(args[0]);
f9c7246f 2040 uint32_t insn = B;
810260a8 2041
2042 if (l->has_value) {
f9c7246f 2043 insn |= reloc_pc24_val(s->code_ptr, l->u.value_ptr);
541dd4ce 2044 } else {
bec16311 2045 tcg_out_reloc(s, s->code_ptr, R_PPC_REL24, l, 0);
810260a8 2046 }
f9c7246f 2047 tcg_out32(s, insn);
810260a8 2048 }
2049 break;
810260a8 2050 case INDEX_op_ld8u_i32:
2051 case INDEX_op_ld8u_i64:
b18d5d2b 2052 tcg_out_mem_long(s, LBZ, LBZX, args[0], args[1], args[2]);
810260a8 2053 break;
2054 case INDEX_op_ld8s_i32:
2055 case INDEX_op_ld8s_i64:
b18d5d2b 2056 tcg_out_mem_long(s, LBZ, LBZX, args[0], args[1], args[2]);
541dd4ce 2057 tcg_out32(s, EXTSB | RS(args[0]) | RA(args[0]));
810260a8 2058 break;
2059 case INDEX_op_ld16u_i32:
2060 case INDEX_op_ld16u_i64:
b18d5d2b 2061 tcg_out_mem_long(s, LHZ, LHZX, args[0], args[1], args[2]);
810260a8 2062 break;
2063 case INDEX_op_ld16s_i32:
2064 case INDEX_op_ld16s_i64:
b18d5d2b 2065 tcg_out_mem_long(s, LHA, LHAX, args[0], args[1], args[2]);
810260a8 2066 break;
2067 case INDEX_op_ld_i32:
2068 case INDEX_op_ld32u_i64:
b18d5d2b 2069 tcg_out_mem_long(s, LWZ, LWZX, args[0], args[1], args[2]);
810260a8 2070 break;
2071 case INDEX_op_ld32s_i64:
b18d5d2b 2072 tcg_out_mem_long(s, LWA, LWAX, args[0], args[1], args[2]);
810260a8 2073 break;
2074 case INDEX_op_ld_i64:
b18d5d2b 2075 tcg_out_mem_long(s, LD, LDX, args[0], args[1], args[2]);
810260a8 2076 break;
2077 case INDEX_op_st8_i32:
2078 case INDEX_op_st8_i64:
b18d5d2b 2079 tcg_out_mem_long(s, STB, STBX, args[0], args[1], args[2]);
810260a8 2080 break;
2081 case INDEX_op_st16_i32:
2082 case INDEX_op_st16_i64:
b18d5d2b 2083 tcg_out_mem_long(s, STH, STHX, args[0], args[1], args[2]);
810260a8 2084 break;
2085 case INDEX_op_st_i32:
2086 case INDEX_op_st32_i64:
b18d5d2b 2087 tcg_out_mem_long(s, STW, STWX, args[0], args[1], args[2]);
810260a8 2088 break;
2089 case INDEX_op_st_i64:
b18d5d2b 2090 tcg_out_mem_long(s, STD, STDX, args[0], args[1], args[2]);
810260a8 2091 break;
2092
2093 case INDEX_op_add_i32:
ee924fa6
RH		 2094 a0 = args[0], a1 = args[1], a2 = args[2];
2095 if (const_args[2]) {
ee924fa6 2096 do_addi_32:
b18d5d2b 2097 tcg_out_mem_long(s, ADDI, ADD, a0, a1, (int32_t)a2);
ee924fa6
RH		 2098 } else {
2099 tcg_out32(s, ADD | TAB(a0, a1, a2));
2100 }
810260a8 2101 break;
2102 case INDEX_op_sub_i32:
ee924fa6 2103 a0 = args[0], a1 = args[1], a2 = args[2];
148bdd23
RH		 2104 if (const_args[1]) {
2105 if (const_args[2]) {
2106 tcg_out_movi(s, TCG_TYPE_I32, a0, a1 - a2);
2107 } else {
2108 tcg_out32(s, SUBFIC | TAI(a0, a2, a1));
2109 }
2110 } else if (const_args[2]) {
ee924fa6
RH		 2111 a2 = -a2;
2112 goto do_addi_32;
2113 } else {
2114 tcg_out32(s, SUBF | TAB(a0, a2, a1));
2115 }
810260a8 2116 break;
2117
2118 case INDEX_op_and_i32:
37251b98 2119 a0 = args[0], a1 = args[1], a2 = args[2];
a9249dff 2120 if (const_args[2]) {
37251b98 2121 tcg_out_andi32(s, a0, a1, a2);
a9249dff 2122 } else {
37251b98 2123 tcg_out32(s, AND | SAB(a1, a0, a2));
a9249dff
RH		 2124 }
2125 break;
2126 case INDEX_op_and_i64:
37251b98 2127 a0 = args[0], a1 = args[1], a2 = args[2];
810260a8 2128 if (const_args[2]) {
37251b98 2129 tcg_out_andi64(s, a0, a1, a2);
637af30c 2130 } else {
37251b98 2131 tcg_out32(s, AND | SAB(a1, a0, a2));
810260a8 2132 }
810260a8 2133 break;
fe6f943f 2134 case INDEX_op_or_i64:
810260a8 2135 case INDEX_op_or_i32:
dce74c57 2136 a0 = args[0], a1 = args[1], a2 = args[2];
810260a8 2137 if (const_args[2]) {
dce74c57
RH		 2138 tcg_out_ori32(s, a0, a1, a2);
2139 } else {
2140 tcg_out32(s, OR | SAB(a1, a0, a2));
810260a8 2141 }
810260a8 2142 break;
fe6f943f 2143 case INDEX_op_xor_i64:
810260a8 2144 case INDEX_op_xor_i32:
dce74c57 2145 a0 = args[0], a1 = args[1], a2 = args[2];
810260a8 2146 if (const_args[2]) {
dce74c57
RH		 2147 tcg_out_xori32(s, a0, a1, a2);
2148 } else {
2149 tcg_out32(s, XOR | SAB(a1, a0, a2));
810260a8 2150 }
810260a8 2151 break;
ce1010d6 2152 case INDEX_op_andc_i32:
37251b98
RH		 2153 a0 = args[0], a1 = args[1], a2 = args[2];
2154 if (const_args[2]) {
2155 tcg_out_andi32(s, a0, a1, ~a2);
2156 } else {
2157 tcg_out32(s, ANDC | SAB(a1, a0, a2));
2158 }
2159 break;
ce1010d6 2160 case INDEX_op_andc_i64:
37251b98
RH		 2161 a0 = args[0], a1 = args[1], a2 = args[2];
2162 if (const_args[2]) {
2163 tcg_out_andi64(s, a0, a1, ~a2);
2164 } else {
2165 tcg_out32(s, ANDC | SAB(a1, a0, a2));
2166 }
ce1010d6
RH		 2167 break;
2168 case INDEX_op_orc_i32:
37251b98
RH		 2169 if (const_args[2]) {
2170 tcg_out_ori32(s, args[0], args[1], ~args[2]);
2171 break;
2172 }
2173 /* FALLTHRU */
ce1010d6
RH		 2174 case INDEX_op_orc_i64:
2175 tcg_out32(s, ORC | SAB(args[1], args[0], args[2]));
2176 break;
2177 case INDEX_op_eqv_i32:
37251b98
RH		 2178 if (const_args[2]) {
2179 tcg_out_xori32(s, args[0], args[1], ~args[2]);
2180 break;
2181 }
2182 /* FALLTHRU */
ce1010d6
RH		 2183 case INDEX_op_eqv_i64:
2184 tcg_out32(s, EQV | SAB(args[1], args[0], args[2]));
2185 break;
2186 case INDEX_op_nand_i32:
2187 case INDEX_op_nand_i64:
2188 tcg_out32(s, NAND | SAB(args[1], args[0], args[2]));
2189 break;
2190 case INDEX_op_nor_i32:
2191 case INDEX_op_nor_i64:
2192 tcg_out32(s, NOR | SAB(args[1], args[0], args[2]));
2193 break;
810260a8 2194
d0b07481
RH		 2195 case INDEX_op_clz_i32:
2196 tcg_out_cntxz(s, TCG_TYPE_I32, CNTLZW, args[0], args[1],
2197 args[2], const_args[2]);
2198 break;
2199 case INDEX_op_ctz_i32:
2200 tcg_out_cntxz(s, TCG_TYPE_I32, CNTTZW, args[0], args[1],
2201 args[2], const_args[2]);
2202 break;
33e75fb9
RH		 2203 case INDEX_op_ctpop_i32:
2204 tcg_out32(s, CNTPOPW | SAB(args[1], args[0], 0));
2205 break;
d0b07481
RH		 2206
2207 case INDEX_op_clz_i64:
2208 tcg_out_cntxz(s, TCG_TYPE_I64, CNTLZD, args[0], args[1],
2209 args[2], const_args[2]);
2210 break;
2211 case INDEX_op_ctz_i64:
2212 tcg_out_cntxz(s, TCG_TYPE_I64, CNTTZD, args[0], args[1],
2213 args[2], const_args[2]);
2214 break;
33e75fb9
RH		 2215 case INDEX_op_ctpop_i64:
2216 tcg_out32(s, CNTPOPD | SAB(args[1], args[0], 0));
2217 break;
d0b07481 2218
810260a8 2219 case INDEX_op_mul_i32:
ef809300 2220 a0 = args[0], a1 = args[1], a2 = args[2];
810260a8 2221 if (const_args[2]) {
ef809300
RH		 2222 tcg_out32(s, MULLI | TAI(a0, a1, a2));
2223 } else {
2224 tcg_out32(s, MULLW | TAB(a0, a1, a2));
810260a8 2225 }
810260a8 2226 break;
2227
2228 case INDEX_op_div_i32:
541dd4ce 2229 tcg_out32(s, DIVW | TAB(args[0], args[1], args[2]));
810260a8 2230 break;
2231
2232 case INDEX_op_divu_i32:
541dd4ce 2233 tcg_out32(s, DIVWU | TAB(args[0], args[1], args[2]));
810260a8 2234 break;
2235
810260a8 2236 case INDEX_op_shl_i32:
2237 if (const_args[2]) {
a757e1ee 2238 tcg_out_shli32(s, args[0], args[1], args[2]);
9e555b73 2239 } else {
541dd4ce 2240 tcg_out32(s, SLW | SAB(args[1], args[0], args[2]));
9e555b73 2241 }
810260a8 2242 break;
2243 case INDEX_op_shr_i32:
2244 if (const_args[2]) {
a757e1ee 2245 tcg_out_shri32(s, args[0], args[1], args[2]);
9e555b73 2246 } else {
541dd4ce 2247 tcg_out32(s, SRW | SAB(args[1], args[0], args[2]));
9e555b73 2248 }
810260a8 2249 break;
2250 case INDEX_op_sar_i32:
541dd4ce
RH		 2251 if (const_args[2]) {
2252 tcg_out32(s, SRAWI | RS(args[1]) | RA(args[0]) | SH(args[2]));
2253 } else {
2254 tcg_out32(s, SRAW | SAB(args[1], args[0], args[2]));
2255 }
810260a8 2256 break;
313d91c7
RH		 2257 case INDEX_op_rotl_i32:
2258 if (const_args[2]) {
2259 tcg_out_rlw(s, RLWINM, args[0], args[1], args[2], 0, 31);
2260 } else {
2261 tcg_out32(s, RLWNM | SAB(args[1], args[0], args[2])
2262 | MB(0) | ME(31));
2263 }
2264 break;
2265 case INDEX_op_rotr_i32:
2266 if (const_args[2]) {
2267 tcg_out_rlw(s, RLWINM, args[0], args[1], 32 - args[2], 0, 31);
2268 } else {
8327a470
RH		 2269 tcg_out32(s, SUBFIC | TAI(TCG_REG_R0, args[2], 32));
2270 tcg_out32(s, RLWNM | SAB(args[1], args[0], TCG_REG_R0)
313d91c7
RH		 2271 | MB(0) | ME(31));
2272 }
2273 break;
810260a8 2274
2275 case INDEX_op_brcond_i32:
4c314da6 2276 tcg_out_brcond(s, args[2], args[0], args[1], const_args[1],
bec16311 2277 arg_label(args[3]), TCG_TYPE_I32);
e924bbec 2278 break;
810260a8 2279 case INDEX_op_brcond_i64:
4c314da6 2280 tcg_out_brcond(s, args[2], args[0], args[1], const_args[1],
bec16311 2281 arg_label(args[3]), TCG_TYPE_I64);
810260a8 2282 break;
abcf61c4
RH		 2283 case INDEX_op_brcond2_i32:
2284 tcg_out_brcond2(s, args, const_args);
2285 break;
810260a8 2286
2287 case INDEX_op_neg_i32:
810260a8 2288 case INDEX_op_neg_i64:
541dd4ce 2289 tcg_out32(s, NEG | RT(args[0]) | RA(args[1]));
810260a8 2290 break;
2291
157f2662 2292 case INDEX_op_not_i32:
2293 case INDEX_op_not_i64:
541dd4ce 2294 tcg_out32(s, NOR | SAB(args[1], args[0], args[1]));
157f2662 2295 break;
2296
810260a8 2297 case INDEX_op_add_i64:
ee924fa6
RH		 2298 a0 = args[0], a1 = args[1], a2 = args[2];
2299 if (const_args[2]) {
ee924fa6 2300 do_addi_64:
b18d5d2b 2301 tcg_out_mem_long(s, ADDI, ADD, a0, a1, a2);
ee924fa6
RH		 2302 } else {
2303 tcg_out32(s, ADD | TAB(a0, a1, a2));
2304 }
810260a8 2305 break;
2306 case INDEX_op_sub_i64:
ee924fa6 2307 a0 = args[0], a1 = args[1], a2 = args[2];
148bdd23
RH		 2308 if (const_args[1]) {
2309 if (const_args[2]) {
2310 tcg_out_movi(s, TCG_TYPE_I64, a0, a1 - a2);
2311 } else {
2312 tcg_out32(s, SUBFIC | TAI(a0, a2, a1));
2313 }
2314 } else if (const_args[2]) {
ee924fa6
RH		 2315 a2 = -a2;
2316 goto do_addi_64;
2317 } else {
2318 tcg_out32(s, SUBF | TAB(a0, a2, a1));
2319 }
810260a8 2320 break;
2321
2322 case INDEX_op_shl_i64:
541dd4ce 2323 if (const_args[2]) {
0a9564b9 2324 tcg_out_shli64(s, args[0], args[1], args[2]);
541dd4ce
RH		 2325 } else {
2326 tcg_out32(s, SLD | SAB(args[1], args[0], args[2]));
2327 }
810260a8 2328 break;
2329 case INDEX_op_shr_i64:
541dd4ce 2330 if (const_args[2]) {
5e916c28 2331 tcg_out_shri64(s, args[0], args[1], args[2]);
541dd4ce
RH		 2332 } else {
2333 tcg_out32(s, SRD | SAB(args[1], args[0], args[2]));
2334 }
810260a8 2335 break;
2336 case INDEX_op_sar_i64:
fe6f943f 2337 if (const_args[2]) {
541dd4ce
RH		 2338 int sh = SH(args[2] & 0x1f) | (((args[2] >> 5) & 1) << 1);
2339 tcg_out32(s, SRADI | RA(args[0]) | RS(args[1]) | sh);
2340 } else {
2341 tcg_out32(s, SRAD | SAB(args[1], args[0], args[2]));
fe6f943f 2342 }
810260a8 2343 break;
313d91c7
RH		 2344 case INDEX_op_rotl_i64:
2345 if (const_args[2]) {
2346 tcg_out_rld(s, RLDICL, args[0], args[1], args[2], 0);
2347 } else {
2348 tcg_out32(s, RLDCL | SAB(args[1], args[0], args[2]) | MB64(0));
2349 }
2350 break;
2351 case INDEX_op_rotr_i64:
2352 if (const_args[2]) {
2353 tcg_out_rld(s, RLDICL, args[0], args[1], 64 - args[2], 0);
2354 } else {
8327a470
RH		 2355 tcg_out32(s, SUBFIC | TAI(TCG_REG_R0, args[2], 64));
2356 tcg_out32(s, RLDCL | SAB(args[1], args[0], TCG_REG_R0) | MB64(0));
313d91c7
RH		 2357 }
2358 break;
810260a8 2359
2360 case INDEX_op_mul_i64:
ef809300
RH		 2361 a0 = args[0], a1 = args[1], a2 = args[2];
2362 if (const_args[2]) {
2363 tcg_out32(s, MULLI | TAI(a0, a1, a2));
2364 } else {
2365 tcg_out32(s, MULLD | TAB(a0, a1, a2));
2366 }
810260a8 2367 break;
2368 case INDEX_op_div_i64:
541dd4ce 2369 tcg_out32(s, DIVD | TAB(args[0], args[1], args[2]));
810260a8 2370 break;
2371 case INDEX_op_divu_i64:
541dd4ce 2372 tcg_out32(s, DIVDU | TAB(args[0], args[1], args[2]));
810260a8 2373 break;
810260a8 2374
1768ec06 2375 case INDEX_op_qemu_ld_i32:
7f25c469
RH		 2376 tcg_out_qemu_ld(s, args, false);
2377 break;
1768ec06 2378 case INDEX_op_qemu_ld_i64:
7f25c469 2379 tcg_out_qemu_ld(s, args, true);
810260a8 2380 break;
1768ec06 2381 case INDEX_op_qemu_st_i32:
7f25c469
RH		 2382 tcg_out_qemu_st(s, args, false);
2383 break;
1768ec06 2384 case INDEX_op_qemu_st_i64:
7f25c469 2385 tcg_out_qemu_st(s, args, true);
810260a8 2386 break;
2387
e46b9681 2388 case INDEX_op_ext8s_i32:
2389 case INDEX_op_ext8s_i64:
2390 c = EXTSB;
2391 goto gen_ext;
2392 case INDEX_op_ext16s_i32:
2393 case INDEX_op_ext16s_i64:
2394 c = EXTSH;
2395 goto gen_ext;
4f2331e5 2396 case INDEX_op_ext_i32_i64:
e46b9681 2397 case INDEX_op_ext32s_i64:
2398 c = EXTSW;
2399 goto gen_ext;
2400 gen_ext:
541dd4ce 2401 tcg_out32(s, c | RS(args[1]) | RA(args[0]));
e46b9681 2402 break;
4f2331e5
AJ		 2403 case INDEX_op_extu_i32_i64:
2404 tcg_out_ext32u(s, args[0], args[1]);
2405 break;
e46b9681 2406
1cd62ae9 2407 case INDEX_op_setcond_i32:
541dd4ce
RH		 2408 tcg_out_setcond(s, TCG_TYPE_I32, args[3], args[0], args[1], args[2],
2409 const_args[2]);
1cd62ae9 2410 break;
2411 case INDEX_op_setcond_i64:
541dd4ce
RH		 2412 tcg_out_setcond(s, TCG_TYPE_I64, args[3], args[0], args[1], args[2],
2413 const_args[2]);
1cd62ae9 2414 break;
abcf61c4
RH		 2415 case INDEX_op_setcond2_i32:
2416 tcg_out_setcond2(s, args, const_args);
2417 break;
1cd62ae9 2418
5d221582
RH		 2419 case INDEX_op_bswap16_i32:
2420 case INDEX_op_bswap16_i64:
2421 a0 = args[0], a1 = args[1];
2422 /* a1 = abcd */
2423 if (a0 != a1) {
2424 /* a0 = (a1 r<< 24) & 0xff # 000c */
2425 tcg_out_rlw(s, RLWINM, a0, a1, 24, 24, 31);
2426 /* a0 = (a0 & ~0xff00) | (a1 r<< 8) & 0xff00 # 00dc */
2427 tcg_out_rlw(s, RLWIMI, a0, a1, 8, 16, 23);
2428 } else {
2429 /* r0 = (a1 r<< 8) & 0xff00 # 00d0 */
2430 tcg_out_rlw(s, RLWINM, TCG_REG_R0, a1, 8, 16, 23);
2431 /* a0 = (a1 r<< 24) & 0xff # 000c */
2432 tcg_out_rlw(s, RLWINM, a0, a1, 24, 24, 31);
2433 /* a0 = a0 | r0 # 00dc */
2434 tcg_out32(s, OR | SAB(TCG_REG_R0, a0, a0));
2435 }
2436 break;
2437
2438 case INDEX_op_bswap32_i32:
2439 case INDEX_op_bswap32_i64:
2440 /* Stolen from gcc's builtin_bswap32 */
2441 a1 = args[1];
2442 a0 = args[0] == a1 ? TCG_REG_R0 : args[0];
2443
2444 /* a1 = args[1] # abcd */
2445 /* a0 = rotate_left (a1, 8) # bcda */
2446 tcg_out_rlw(s, RLWINM, a0, a1, 8, 0, 31);
2447 /* a0 = (a0 & ~0xff000000) | ((a1 r<< 24) & 0xff000000) # dcda */
2448 tcg_out_rlw(s, RLWIMI, a0, a1, 24, 0, 7);
2449 /* a0 = (a0 & ~0x0000ff00) | ((a1 r<< 24) & 0x0000ff00) # dcba */
2450 tcg_out_rlw(s, RLWIMI, a0, a1, 24, 16, 23);
2451
2452 if (a0 == TCG_REG_R0) {
de3d636d 2453 tcg_out_mov(s, TCG_TYPE_REG, args[0], a0);
5d221582
RH		 2454 }
2455 break;
2456
68aebd45 2457 case INDEX_op_bswap64_i64:
8327a470 2458 a0 = args[0], a1 = args[1], a2 = TCG_REG_R0;
68aebd45 2459 if (a0 == a1) {
8327a470 2460 a0 = TCG_REG_R0;
68aebd45
RH		 2461 a2 = a1;
2462 }
2463
2464 /* a1 = # abcd efgh */
2465 /* a0 = rl32(a1, 8) # 0000 fghe */
2466 tcg_out_rlw(s, RLWINM, a0, a1, 8, 0, 31);
2467 /* a0 = dep(a0, rl32(a1, 24), 0xff000000) # 0000 hghe */
2468 tcg_out_rlw(s, RLWIMI, a0, a1, 24, 0, 7);
2469 /* a0 = dep(a0, rl32(a1, 24), 0x0000ff00) # 0000 hgfe */
2470 tcg_out_rlw(s, RLWIMI, a0, a1, 24, 16, 23);
2471
2472 /* a0 = rl64(a0, 32) # hgfe 0000 */
2473 /* a2 = rl64(a1, 32) # efgh abcd */
2474 tcg_out_rld(s, RLDICL, a0, a0, 32, 0);
2475 tcg_out_rld(s, RLDICL, a2, a1, 32, 0);
2476
2477 /* a0 = dep(a0, rl32(a2, 8), 0xffffffff) # hgfe bcda */
2478 tcg_out_rlw(s, RLWIMI, a0, a2, 8, 0, 31);
2479 /* a0 = dep(a0, rl32(a2, 24), 0xff000000) # hgfe dcda */
2480 tcg_out_rlw(s, RLWIMI, a0, a2, 24, 0, 7);
2481 /* a0 = dep(a0, rl32(a2, 24), 0x0000ff00) # hgfe dcba */
2482 tcg_out_rlw(s, RLWIMI, a0, a2, 24, 16, 23);
2483
2484 if (a0 == 0) {
de3d636d 2485 tcg_out_mov(s, TCG_TYPE_REG, args[0], a0);
68aebd45
RH		 2486 }
2487 break;
2488
33de9ed2 2489 case INDEX_op_deposit_i32:
39dc85b9
RH		 2490 if (const_args[2]) {
2491 uint32_t mask = ((2u << (args[4] - 1)) - 1) << args[3];
2492 tcg_out_andi32(s, args[0], args[0], ~mask);
2493 } else {
2494 tcg_out_rlw(s, RLWIMI, args[0], args[2], args[3],
2495 32 - args[3] - args[4], 31 - args[3]);
2496 }
33de9ed2
RH		 2497 break;
2498 case INDEX_op_deposit_i64:
39dc85b9
RH		 2499 if (const_args[2]) {
2500 uint64_t mask = ((2ull << (args[4] - 1)) - 1) << args[3];
2501 tcg_out_andi64(s, args[0], args[0], ~mask);
2502 } else {
2503 tcg_out_rld(s, RLDIMI, args[0], args[2], args[3],
2504 64 - args[3] - args[4]);
2505 }
33de9ed2
RH		 2506 break;
2507
c05021c3
RH		 2508 case INDEX_op_extract_i32:
2509 tcg_out_rlw(s, RLWINM, args[0], args[1],
2510 32 - args[2], 32 - args[3], 31);
2511 break;
2512 case INDEX_op_extract_i64:
2513 tcg_out_rld(s, RLDICL, args[0], args[1], 64 - args[2], 64 - args[3]);
2514 break;
2515
027ffea9
RH		 2516 case INDEX_op_movcond_i32:
2517 tcg_out_movcond(s, TCG_TYPE_I32, args[5], args[0], args[1], args[2],
2518 args[3], args[4], const_args[2]);
2519 break;
2520 case INDEX_op_movcond_i64:
2521 tcg_out_movcond(s, TCG_TYPE_I64, args[5], args[0], args[1], args[2],
2522 args[3], args[4], const_args[2]);
2523 break;
2524
796f1a68 2525#if TCG_TARGET_REG_BITS == 64
6c858762 2526 case INDEX_op_add2_i64:
796f1a68
RH		 2527#else
2528 case INDEX_op_add2_i32:
2529#endif
6c858762
RH		 2530 /* Note that the CA bit is defined based on the word size of the
2531 environment. So in 64-bit mode it's always carry-out of bit 63.
2532 The fallback code using deposit works just as well for 32-bit. */
2533 a0 = args[0], a1 = args[1];
84247357 2534 if (a0 == args[3] || (!const_args[5] && a0 == args[5])) {
6c858762
RH		 2535 a0 = TCG_REG_R0;
2536 }
84247357
AB		 2537 if (const_args[4]) {
2538 tcg_out32(s, ADDIC | TAI(a0, args[2], args[4]));
6c858762 2539 } else {
84247357 2540 tcg_out32(s, ADDC | TAB(a0, args[2], args[4]));
6c858762
RH		 2541 }
2542 if (const_args[5]) {
84247357 2543 tcg_out32(s, (args[5] ? ADDME : ADDZE) | RT(a1) | RA(args[3]));
6c858762 2544 } else {
84247357 2545 tcg_out32(s, ADDE | TAB(a1, args[3], args[5]));
6c858762
RH		 2546 }
2547 if (a0 != args[0]) {
de3d636d 2548 tcg_out_mov(s, TCG_TYPE_REG, args[0], a0);
6c858762
RH		 2549 }
2550 break;
2551
796f1a68 2552#if TCG_TARGET_REG_BITS == 64
6c858762 2553 case INDEX_op_sub2_i64:
796f1a68
RH		 2554#else
2555 case INDEX_op_sub2_i32:
2556#endif
6c858762 2557 a0 = args[0], a1 = args[1];
b31284ce 2558 if (a0 == args[5] || (!const_args[3] && a0 == args[3])) {
6c858762
RH		 2559 a0 = TCG_REG_R0;
2560 }
2561 if (const_args[2]) {
b31284ce 2562 tcg_out32(s, SUBFIC | TAI(a0, args[4], args[2]));
6c858762 2563 } else {
b31284ce 2564 tcg_out32(s, SUBFC | TAB(a0, args[4], args[2]));
6c858762 2565 }
b31284ce
RH		 2566 if (const_args[3]) {
2567 tcg_out32(s, (args[3] ? SUBFME : SUBFZE) | RT(a1) | RA(args[5]));
6c858762 2568 } else {
b31284ce 2569 tcg_out32(s, SUBFE | TAB(a1, args[5], args[3]));
6c858762
RH		 2570 }
2571 if (a0 != args[0]) {
de3d636d 2572 tcg_out_mov(s, TCG_TYPE_REG, args[0], a0);
6c858762
RH		 2573 }
2574 break;
2575
abcf61c4
RH		 2576 case INDEX_op_muluh_i32:
2577 tcg_out32(s, MULHWU | TAB(args[0], args[1], args[2]));
2578 break;
8fa391a0
RH		 2579 case INDEX_op_mulsh_i32:
2580 tcg_out32(s, MULHW | TAB(args[0], args[1], args[2]));
2581 break;
32f5717f
RH		 2582 case INDEX_op_muluh_i64:
2583 tcg_out32(s, MULHDU | TAB(args[0], args[1], args[2]));
2584 break;
2585 case INDEX_op_mulsh_i64:
2586 tcg_out32(s, MULHD | TAB(args[0], args[1], args[2]));
6645c147
RH		 2587 break;
2588
7b4af5ee
PK		 2589 case INDEX_op_mb:
2590 tcg_out_mb(s, args[0]);
2591 break;
2592
96d0ee7f
RH		 2593 case INDEX_op_mov_i32: /* Always emitted via tcg_out_mov. */
2594 case INDEX_op_mov_i64:
2595 case INDEX_op_movi_i32: /* Always emitted via tcg_out_movi. */
2596 case INDEX_op_movi_i64:
2597 case INDEX_op_call: /* Always emitted via tcg_out_call. */
810260a8 2598 default:
541dd4ce 2599 tcg_abort();
810260a8 2600 }
2601}
2602
6cb3658a
RH		 2603static const TCGTargetOpDef *tcg_target_op_def(TCGOpcode op)
2604{
2605 static const TCGTargetOpDef r = { .args_ct_str = { "r" } };
2606 static const TCGTargetOpDef r_r = { .args_ct_str = { "r", "r" } };
2607 static const TCGTargetOpDef r_L = { .args_ct_str = { "r", "L" } };
2608 static const TCGTargetOpDef S_S = { .args_ct_str = { "S", "S" } };
2609 static const TCGTargetOpDef r_ri = { .args_ct_str = { "r", "ri" } };
2610 static const TCGTargetOpDef r_r_r = { .args_ct_str = { "r", "r", "r" } };
2611 static const TCGTargetOpDef r_L_L = { .args_ct_str = { "r", "L", "L" } };
2612 static const TCGTargetOpDef L_L_L = { .args_ct_str = { "L", "L", "L" } };
2613 static const TCGTargetOpDef S_S_S = { .args_ct_str = { "S", "S", "S" } };
2614 static const TCGTargetOpDef r_r_ri = { .args_ct_str = { "r", "r", "ri" } };
2615 static const TCGTargetOpDef r_r_rI = { .args_ct_str = { "r", "r", "rI" } };
2616 static const TCGTargetOpDef r_r_rT = { .args_ct_str = { "r", "r", "rT" } };
2617 static const TCGTargetOpDef r_r_rU = { .args_ct_str = { "r", "r", "rU" } };
2618 static const TCGTargetOpDef r_rI_ri
2619 = { .args_ct_str = { "r", "rI", "ri" } };
2620 static const TCGTargetOpDef r_rI_rT
2621 = { .args_ct_str = { "r", "rI", "rT" } };
2622 static const TCGTargetOpDef r_r_rZW
2623 = { .args_ct_str = { "r", "r", "rZW" } };
2624 static const TCGTargetOpDef L_L_L_L
2625 = { .args_ct_str = { "L", "L", "L", "L" } };
2626 static const TCGTargetOpDef S_S_S_S
2627 = { .args_ct_str = { "S", "S", "S", "S" } };
2628 static const TCGTargetOpDef movc
2629 = { .args_ct_str = { "r", "r", "ri", "rZ", "rZ" } };
2630 static const TCGTargetOpDef dep
2631 = { .args_ct_str = { "r", "0", "rZ" } };
2632 static const TCGTargetOpDef br2
2633 = { .args_ct_str = { "r", "r", "ri", "ri" } };
2634 static const TCGTargetOpDef setc2
2635 = { .args_ct_str = { "r", "r", "r", "ri", "ri" } };
2636 static const TCGTargetOpDef add2
2637 = { .args_ct_str = { "r", "r", "r", "r", "rI", "rZM" } };
2638 static const TCGTargetOpDef sub2
2639 = { .args_ct_str = { "r", "r", "rI", "rZM", "r", "r" } };
2640
2641 switch (op) {
2642 case INDEX_op_goto_ptr:
2643 return &r;
796f1a68 2644
6cb3658a
RH		 2645 case INDEX_op_ld8u_i32:
2646 case INDEX_op_ld8s_i32:
2647 case INDEX_op_ld16u_i32:
2648 case INDEX_op_ld16s_i32:
2649 case INDEX_op_ld_i32:
2650 case INDEX_op_st8_i32:
2651 case INDEX_op_st16_i32:
2652 case INDEX_op_st_i32:
2653 case INDEX_op_ctpop_i32:
2654 case INDEX_op_neg_i32:
2655 case INDEX_op_not_i32:
2656 case INDEX_op_ext8s_i32:
2657 case INDEX_op_ext16s_i32:
2658 case INDEX_op_bswap16_i32:
2659 case INDEX_op_bswap32_i32:
2660 case INDEX_op_extract_i32:
2661 case INDEX_op_ld8u_i64:
2662 case INDEX_op_ld8s_i64:
2663 case INDEX_op_ld16u_i64:
2664 case INDEX_op_ld16s_i64:
2665 case INDEX_op_ld32u_i64:
2666 case INDEX_op_ld32s_i64:
2667 case INDEX_op_ld_i64:
2668 case INDEX_op_st8_i64:
2669 case INDEX_op_st16_i64:
2670 case INDEX_op_st32_i64:
2671 case INDEX_op_st_i64:
2672 case INDEX_op_ctpop_i64:
2673 case INDEX_op_neg_i64:
2674 case INDEX_op_not_i64:
2675 case INDEX_op_ext8s_i64:
2676 case INDEX_op_ext16s_i64:
2677 case INDEX_op_ext32s_i64:
2678 case INDEX_op_ext_i32_i64:
2679 case INDEX_op_extu_i32_i64:
2680 case INDEX_op_bswap16_i64:
2681 case INDEX_op_bswap32_i64:
2682 case INDEX_op_bswap64_i64:
2683 case INDEX_op_extract_i64:
2684 return &r_r;
abcf61c4 2685
6cb3658a
RH		 2686 case INDEX_op_add_i32:
2687 case INDEX_op_and_i32:
2688 case INDEX_op_or_i32:
2689 case INDEX_op_xor_i32:
2690 case INDEX_op_andc_i32:
2691 case INDEX_op_orc_i32:
2692 case INDEX_op_eqv_i32:
2693 case INDEX_op_shl_i32:
2694 case INDEX_op_shr_i32:
2695 case INDEX_op_sar_i32:
2696 case INDEX_op_rotl_i32:
2697 case INDEX_op_rotr_i32:
2698 case INDEX_op_setcond_i32:
2699 case INDEX_op_and_i64:
2700 case INDEX_op_andc_i64:
2701 case INDEX_op_shl_i64:
2702 case INDEX_op_shr_i64:
2703 case INDEX_op_sar_i64:
2704 case INDEX_op_rotl_i64:
2705 case INDEX_op_rotr_i64:
2706 case INDEX_op_setcond_i64:
2707 return &r_r_ri;
2708 case INDEX_op_mul_i32:
2709 case INDEX_op_mul_i64:
2710 return &r_r_rI;
2711 case INDEX_op_div_i32:
2712 case INDEX_op_divu_i32:
2713 case INDEX_op_nand_i32:
2714 case INDEX_op_nor_i32:
2715 case INDEX_op_muluh_i32:
2716 case INDEX_op_mulsh_i32:
2717 case INDEX_op_orc_i64:
2718 case INDEX_op_eqv_i64:
2719 case INDEX_op_nand_i64:
2720 case INDEX_op_nor_i64:
2721 case INDEX_op_div_i64:
2722 case INDEX_op_divu_i64:
2723 case INDEX_op_mulsh_i64:
2724 case INDEX_op_muluh_i64:
2725 return &r_r_r;
2726 case INDEX_op_sub_i32:
2727 return &r_rI_ri;
2728 case INDEX_op_add_i64:
2729 return &r_r_rT;
2730 case INDEX_op_or_i64:
2731 case INDEX_op_xor_i64:
2732 return &r_r_rU;
2733 case INDEX_op_sub_i64:
2734 return &r_rI_rT;
2735 case INDEX_op_clz_i32:
2736 case INDEX_op_ctz_i32:
2737 case INDEX_op_clz_i64:
2738 case INDEX_op_ctz_i64:
2739 return &r_r_rZW;
796f1a68 2740
6cb3658a
RH		 2741 case INDEX_op_brcond_i32:
2742 case INDEX_op_brcond_i64:
2743 return &r_ri;
6c858762 2744
6cb3658a
RH		 2745 case INDEX_op_movcond_i32:
2746 case INDEX_op_movcond_i64:
2747 return &movc;
2748 case INDEX_op_deposit_i32:
2749 case INDEX_op_deposit_i64:
2750 return &dep;
2751 case INDEX_op_brcond2_i32:
2752 return &br2;
2753 case INDEX_op_setcond2_i32:
2754 return &setc2;
2755 case INDEX_op_add2_i64:
2756 case INDEX_op_add2_i32:
2757 return &add2;
2758 case INDEX_op_sub2_i64:
2759 case INDEX_op_sub2_i32:
2760 return &sub2;
810260a8 2761
6cb3658a
RH		 2762 case INDEX_op_qemu_ld_i32:
2763 return (TCG_TARGET_REG_BITS == 64 || TARGET_LONG_BITS == 32
2764 ? &r_L : &r_L_L);
2765 case INDEX_op_qemu_st_i32:
2766 return (TCG_TARGET_REG_BITS == 64 || TARGET_LONG_BITS == 32
2767 ? &S_S : &S_S_S);
2768 case INDEX_op_qemu_ld_i64:
2769 return (TCG_TARGET_REG_BITS == 64 ? &r_L
2770 : TARGET_LONG_BITS == 32 ? &L_L_L : &L_L_L_L);
2771 case INDEX_op_qemu_st_i64:
2772 return (TCG_TARGET_REG_BITS == 64 ? &S_S
2773 : TARGET_LONG_BITS == 32 ? &S_S_S : &S_S_S_S);
f69d277e 2774
6cb3658a
RH		 2775 default:
2776 return NULL;
f69d277e 2777 }
f69d277e
RH		 2778}
2779
541dd4ce 2780static void tcg_target_init(TCGContext *s)
810260a8 2781{
cd629de1 2782 unsigned long hwcap = qemu_getauxval(AT_HWCAP);
d0b07481
RH		 2783 unsigned long hwcap2 = qemu_getauxval(AT_HWCAP2);
2784
1e6e9aca
RH		 2785 if (hwcap & PPC_FEATURE_ARCH_2_06) {
2786 have_isa_2_06 = true;
2787 }
d0b07481
RH		 2788#ifdef PPC_FEATURE2_ARCH_3_00
2789 if (hwcap2 & PPC_FEATURE2_ARCH_3_00) {
2790 have_isa_3_00 = true;
2791 }
2792#endif
1e6e9aca 2793
f46934df
RH		 2794 tcg_target_available_regs[TCG_TYPE_I32] = 0xffffffff;
2795 tcg_target_available_regs[TCG_TYPE_I64] = 0xffffffff;
2796
2797 tcg_target_call_clobber_regs = 0;
2798 tcg_regset_set_reg(tcg_target_call_clobber_regs, TCG_REG_R0);
2799 tcg_regset_set_reg(tcg_target_call_clobber_regs, TCG_REG_R2);
2800 tcg_regset_set_reg(tcg_target_call_clobber_regs, TCG_REG_R3);
2801 tcg_regset_set_reg(tcg_target_call_clobber_regs, TCG_REG_R4);
2802 tcg_regset_set_reg(tcg_target_call_clobber_regs, TCG_REG_R5);
2803 tcg_regset_set_reg(tcg_target_call_clobber_regs, TCG_REG_R6);
2804 tcg_regset_set_reg(tcg_target_call_clobber_regs, TCG_REG_R7);
2805 tcg_regset_set_reg(tcg_target_call_clobber_regs, TCG_REG_R8);
2806 tcg_regset_set_reg(tcg_target_call_clobber_regs, TCG_REG_R9);
2807 tcg_regset_set_reg(tcg_target_call_clobber_regs, TCG_REG_R10);
2808 tcg_regset_set_reg(tcg_target_call_clobber_regs, TCG_REG_R11);
2809 tcg_regset_set_reg(tcg_target_call_clobber_regs, TCG_REG_R12);
810260a8 2810
ccb1bb66 2811 s->reserved_regs = 0;
5e1702b0
RH		 2812 tcg_regset_set_reg(s->reserved_regs, TCG_REG_R0); /* tcg temp */
2813 tcg_regset_set_reg(s->reserved_regs, TCG_REG_R1); /* stack pointer */
dfca1778
RH		 2814#if defined(_CALL_SYSV)
2815 tcg_regset_set_reg(s->reserved_regs, TCG_REG_R2); /* toc pointer */
5d7ff5bb 2816#endif
dfca1778 2817#if defined(_CALL_SYSV) || TCG_TARGET_REG_BITS == 64
5e1702b0 2818 tcg_regset_set_reg(s->reserved_regs, TCG_REG_R13); /* thread pointer */
dfca1778
RH		 2819#endif
2820 tcg_regset_set_reg(s->reserved_regs, TCG_REG_TMP1); /* mem temp */
5964fca8
RH		 2821 if (USE_REG_TB) {
2822 tcg_regset_set_reg(s->reserved_regs, TCG_REG_TB); /* tb->tc_ptr */
a84ac4cb 2823 }
810260a8 2824}
fa94c3be 2825
ffcfbece 2826#ifdef __ELF__
fa94c3be
RH		 2827typedef struct {
2828 DebugFrameCIE cie;
2829 DebugFrameFDEHeader fde;
2830 uint8_t fde_def_cfa[4];
2831 uint8_t fde_reg_ofs[ARRAY_SIZE(tcg_target_callee_save_regs) * 2 + 3];
2832} DebugFrame;
2833
2834/* We're expecting a 2 byte uleb128 encoded value. */
2835QEMU_BUILD_BUG_ON(FRAME_SIZE >= (1 << 14));
2836
ffcfbece
RH		 2837#if TCG_TARGET_REG_BITS == 64
2838# define ELF_HOST_MACHINE EM_PPC64
2839#else
2840# define ELF_HOST_MACHINE EM_PPC
2841#endif
fa94c3be
RH		 2842
2843static DebugFrame debug_frame = {
2844 .cie.len = sizeof(DebugFrameCIE)-4, /* length after .len member */
2845 .cie.id = -1,
2846 .cie.version = 1,
2847 .cie.code_align = 1,
802ca56e 2848 .cie.data_align = (-SZR & 0x7f), /* sleb128 -SZR */
fa94c3be
RH		 2849 .cie.return_column = 65,
2850
2851 /* Total FDE size does not include the "len" member. */
2852 .fde.len = sizeof(DebugFrame) - offsetof(DebugFrame, fde.cie_offset),
2853
2854 .fde_def_cfa = {
802ca56e 2855 12, TCG_REG_R1, /* DW_CFA_def_cfa r1, ... */
fa94c3be
RH		 2856 (FRAME_SIZE & 0x7f) | 0x80, /* ... uleb128 FRAME_SIZE */
2857 (FRAME_SIZE >> 7)
2858 },
2859 .fde_reg_ofs = {
802ca56e
RH		 2860 /* DW_CFA_offset_extended_sf, lr, LR_OFFSET */
2861 0x11, 65, (LR_OFFSET / -SZR) & 0x7f,
fa94c3be
RH		 2862 }
2863};
2864
2865void tcg_register_jit(void *buf, size_t buf_size)
2866{
2867 uint8_t *p = &debug_frame.fde_reg_ofs[3];
2868 int i;
2869
2870 for (i = 0; i < ARRAY_SIZE(tcg_target_callee_save_regs); ++i, p += 2) {
2871 p[0] = 0x80 + tcg_target_callee_save_regs[i];
802ca56e 2872 p[1] = (FRAME_SIZE - (REG_SAVE_BOT + i * SZR)) / SZR;
fa94c3be
RH		 2873 }
2874
802ca56e 2875 debug_frame.fde.func_start = (uintptr_t)buf;
fa94c3be
RH		 2876 debug_frame.fde.func_len = buf_size;
2877
2878 tcg_register_jit_int(buf, buf_size, &debug_frame, sizeof(debug_frame));
2879}
ffcfbece 2880#endif /* __ELF__ */
224f9fd4 2881
224f9fd4
RH		 2882void flush_icache_range(uintptr_t start, uintptr_t stop)
2883{
2884 uintptr_t p, start1, stop1;
b255b2c8
EC		 2885 size_t dsize = qemu_dcache_linesize;
2886 size_t isize = qemu_icache_linesize;
224f9fd4
RH		 2887
2888 start1 = start & ~(dsize - 1);
2889 stop1 = (stop + dsize - 1) & ~(dsize - 1);
2890 for (p = start1; p < stop1; p += dsize) {
2891 asm volatile ("dcbst 0,%0" : : "r"(p) : "memory");
2892 }
2893 asm volatile ("sync" : : : "memory");
2894
2895 start &= start & ~(isize - 1);
2896 stop1 = (stop + isize - 1) & ~(isize - 1);
2897 for (p = start1; p < stop1; p += isize) {
2898 asm volatile ("icbi 0,%0" : : "r"(p) : "memory");
2899 }
2900 asm volatile ("sync" : : : "memory");
2901 asm volatile ("isync" : : : "memory");
2902}
Mirror of https://git.qemu.org/git/qemu.git