]> git.proxmox.com Git - mirror_qemu.git/blob - target/hppa/translate.c
Merge tag 'pull-maintainer-may24-160524-2' of https://gitlab.com/stsquad/qemu into...
[mirror_qemu.git] / target / hppa / translate.c
1 /*
2 * HPPA emulation cpu translation for qemu.
3 *
4 * Copyright (c) 2016 Richard Henderson <rth@twiddle.net>
5 *
6 * This library is free software; you can redistribute it and/or
7 * modify it under the terms of the GNU Lesser General Public
8 * License as published by the Free Software Foundation; either
9 * version 2.1 of the License, or (at your option) any later version.
10 *
11 * This library is distributed in the hope that it will be useful,
12 * but WITHOUT ANY WARRANTY; without even the implied warranty of
13 * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU
14 * Lesser General Public License for more details.
15 *
16 * You should have received a copy of the GNU Lesser General Public
17 * License along with this library; if not, see <http://www.gnu.org/licenses/>.
18 */
19
20 #include "qemu/osdep.h"
21 #include "cpu.h"
22 #include "qemu/host-utils.h"
23 #include "exec/exec-all.h"
24 #include "exec/page-protection.h"
25 #include "tcg/tcg-op.h"
26 #include "tcg/tcg-op-gvec.h"
27 #include "exec/helper-proto.h"
28 #include "exec/helper-gen.h"
29 #include "exec/translator.h"
30 #include "exec/log.h"
31
32 #define HELPER_H "helper.h"
33 #include "exec/helper-info.c.inc"
34 #undef HELPER_H
35
36 /* Choose to use explicit sizes within this file. */
37 #undef tcg_temp_new
38
39 typedef struct DisasCond {
40 TCGCond c;
41 TCGv_i64 a0, a1;
42 } DisasCond;
43
44 typedef struct DisasIAQE {
45 /* IASQ; may be null for no change from TB. */
46 TCGv_i64 space;
47 /* IAOQ base; may be null for relative address. */
48 TCGv_i64 base;
49 /* IAOQ addend; if base is null, relative to cpu_iaoq_f. */
50 int64_t disp;
51 } DisasIAQE;
52
53 typedef struct DisasDelayException {
54 struct DisasDelayException *next;
55 TCGLabel *lab;
56 uint32_t insn;
57 bool set_iir;
58 int8_t set_n;
59 uint8_t excp;
60 /* Saved state at parent insn. */
61 DisasIAQE iaq_f, iaq_b;
62 } DisasDelayException;
63
64 typedef struct DisasContext {
65 DisasContextBase base;
66 CPUState *cs;
67
68 /* IAQ_Front, IAQ_Back. */
69 DisasIAQE iaq_f, iaq_b;
70 /* IAQ_Next, for jumps, otherwise null for simple advance. */
71 DisasIAQE iaq_j, *iaq_n;
72
73 /* IAOQ_Front at entry to TB. */
74 uint64_t iaoq_first;
75
76 DisasCond null_cond;
77 TCGLabel *null_lab;
78
79 DisasDelayException *delay_excp_list;
80 TCGv_i64 zero;
81
82 uint32_t insn;
83 uint32_t tb_flags;
84 int mmu_idx;
85 int privilege;
86 uint32_t psw_xb;
87 bool psw_n_nonzero;
88 bool psw_b_next;
89 bool is_pa20;
90 bool insn_start_updated;
91
92 #ifdef CONFIG_USER_ONLY
93 MemOp unalign;
94 #endif
95 } DisasContext;
96
97 #ifdef CONFIG_USER_ONLY
98 #define UNALIGN(C) (C)->unalign
99 #define MMU_DISABLED(C) false
100 #else
101 #define UNALIGN(C) MO_ALIGN
102 #define MMU_DISABLED(C) MMU_IDX_MMU_DISABLED((C)->mmu_idx)
103 #endif
104
105 /* Note that ssm/rsm instructions number PSW_W and PSW_E differently. */
106 static int expand_sm_imm(DisasContext *ctx, int val)
107 {
108 /* Keep unimplemented bits disabled -- see cpu_hppa_put_psw. */
109 if (ctx->is_pa20) {
110 if (val & PSW_SM_W) {
111 val |= PSW_W;
112 }
113 val &= ~(PSW_SM_W | PSW_SM_E | PSW_G);
114 } else {
115 val &= ~(PSW_SM_W | PSW_SM_E | PSW_O);
116 }
117 return val;
118 }
119
120 /* Inverted space register indicates 0 means sr0 not inferred from base. */
121 static int expand_sr3x(DisasContext *ctx, int val)
122 {
123 return ~val;
124 }
125
126 /* Convert the M:A bits within a memory insn to the tri-state value
127 we use for the final M. */
128 static int ma_to_m(DisasContext *ctx, int val)
129 {
130 return val & 2 ? (val & 1 ? -1 : 1) : 0;
131 }
132
133 /* Convert the sign of the displacement to a pre or post-modify. */
134 static int pos_to_m(DisasContext *ctx, int val)
135 {
136 return val ? 1 : -1;
137 }
138
139 static int neg_to_m(DisasContext *ctx, int val)
140 {
141 return val ? -1 : 1;
142 }
143
144 /* Used for branch targets and fp memory ops. */
145 static int expand_shl2(DisasContext *ctx, int val)
146 {
147 return val << 2;
148 }
149
150 /* Used for assemble_21. */
151 static int expand_shl11(DisasContext *ctx, int val)
152 {
153 return val << 11;
154 }
155
156 static int assemble_6(DisasContext *ctx, int val)
157 {
158 /*
159 * Officially, 32 * x + 32 - y.
160 * Here, x is already in bit 5, and y is [4:0].
161 * Since -y = ~y + 1, in 5 bits 32 - y => y ^ 31 + 1,
162 * with the overflow from bit 4 summing with x.
163 */
164 return (val ^ 31) + 1;
165 }
166
167 /* Expander for assemble_16a(s,cat(im10a,0),i). */
168 static int expand_11a(DisasContext *ctx, int val)
169 {
170 /*
171 * @val is bit 0 and bits [4:15].
172 * Swizzle thing around depending on PSW.W.
173 */
174 int im10a = extract32(val, 1, 10);
175 int s = extract32(val, 11, 2);
176 int i = (-(val & 1) << 13) | (im10a << 3);
177
178 if (ctx->tb_flags & PSW_W) {
179 i ^= s << 13;
180 }
181 return i;
182 }
183
184 /* Expander for assemble_16a(s,im11a,i). */
185 static int expand_12a(DisasContext *ctx, int val)
186 {
187 /*
188 * @val is bit 0 and bits [3:15].
189 * Swizzle thing around depending on PSW.W.
190 */
191 int im11a = extract32(val, 1, 11);
192 int s = extract32(val, 12, 2);
193 int i = (-(val & 1) << 13) | (im11a << 2);
194
195 if (ctx->tb_flags & PSW_W) {
196 i ^= s << 13;
197 }
198 return i;
199 }
200
201 /* Expander for assemble_16(s,im14). */
202 static int expand_16(DisasContext *ctx, int val)
203 {
204 /*
205 * @val is bits [0:15], containing both im14 and s.
206 * Swizzle thing around depending on PSW.W.
207 */
208 int s = extract32(val, 14, 2);
209 int i = (-(val & 1) << 13) | extract32(val, 1, 13);
210
211 if (ctx->tb_flags & PSW_W) {
212 i ^= s << 13;
213 }
214 return i;
215 }
216
217 /* The sp field is only present with !PSW_W. */
218 static int sp0_if_wide(DisasContext *ctx, int sp)
219 {
220 return ctx->tb_flags & PSW_W ? 0 : sp;
221 }
222
223 /* Translate CMPI doubleword conditions to standard. */
224 static int cmpbid_c(DisasContext *ctx, int val)
225 {
226 return val ? val : 4; /* 0 == "*<<" */
227 }
228
229 /*
230 * In many places pa1.x did not decode the bit that later became
231 * the pa2.0 D bit. Suppress D unless the cpu is pa2.0.
232 */
233 static int pa20_d(DisasContext *ctx, int val)
234 {
235 return ctx->is_pa20 & val;
236 }
237
238 /* Include the auto-generated decoder. */
239 #include "decode-insns.c.inc"
240
241 /* We are not using a goto_tb (for whatever reason), but have updated
242 the iaq (for whatever reason), so don't do it again on exit. */
243 #define DISAS_IAQ_N_UPDATED DISAS_TARGET_0
244
245 /* We are exiting the TB, but have neither emitted a goto_tb, nor
246 updated the iaq for the next instruction to be executed. */
247 #define DISAS_IAQ_N_STALE DISAS_TARGET_1
248
249 /* Similarly, but we want to return to the main loop immediately
250 to recognize unmasked interrupts. */
251 #define DISAS_IAQ_N_STALE_EXIT DISAS_TARGET_2
252 #define DISAS_EXIT DISAS_TARGET_3
253
254 /* global register indexes */
255 static TCGv_i64 cpu_gr[32];
256 static TCGv_i64 cpu_sr[4];
257 static TCGv_i64 cpu_srH;
258 static TCGv_i64 cpu_iaoq_f;
259 static TCGv_i64 cpu_iaoq_b;
260 static TCGv_i64 cpu_iasq_f;
261 static TCGv_i64 cpu_iasq_b;
262 static TCGv_i64 cpu_sar;
263 static TCGv_i64 cpu_psw_n;
264 static TCGv_i64 cpu_psw_v;
265 static TCGv_i64 cpu_psw_cb;
266 static TCGv_i64 cpu_psw_cb_msb;
267 static TCGv_i32 cpu_psw_xb;
268
269 void hppa_translate_init(void)
270 {
271 #define DEF_VAR(V) { &cpu_##V, #V, offsetof(CPUHPPAState, V) }
272
273 typedef struct { TCGv_i64 *var; const char *name; int ofs; } GlobalVar;
274 static const GlobalVar vars[] = {
275 { &cpu_sar, "sar", offsetof(CPUHPPAState, cr[CR_SAR]) },
276 DEF_VAR(psw_n),
277 DEF_VAR(psw_v),
278 DEF_VAR(psw_cb),
279 DEF_VAR(psw_cb_msb),
280 DEF_VAR(iaoq_f),
281 DEF_VAR(iaoq_b),
282 };
283
284 #undef DEF_VAR
285
286 /* Use the symbolic register names that match the disassembler. */
287 static const char gr_names[32][4] = {
288 "r0", "r1", "r2", "r3", "r4", "r5", "r6", "r7",
289 "r8", "r9", "r10", "r11", "r12", "r13", "r14", "r15",
290 "r16", "r17", "r18", "r19", "r20", "r21", "r22", "r23",
291 "r24", "r25", "r26", "r27", "r28", "r29", "r30", "r31"
292 };
293 /* SR[4-7] are not global registers so that we can index them. */
294 static const char sr_names[5][4] = {
295 "sr0", "sr1", "sr2", "sr3", "srH"
296 };
297
298 int i;
299
300 cpu_gr[0] = NULL;
301 for (i = 1; i < 32; i++) {
302 cpu_gr[i] = tcg_global_mem_new(tcg_env,
303 offsetof(CPUHPPAState, gr[i]),
304 gr_names[i]);
305 }
306 for (i = 0; i < 4; i++) {
307 cpu_sr[i] = tcg_global_mem_new_i64(tcg_env,
308 offsetof(CPUHPPAState, sr[i]),
309 sr_names[i]);
310 }
311 cpu_srH = tcg_global_mem_new_i64(tcg_env,
312 offsetof(CPUHPPAState, sr[4]),
313 sr_names[4]);
314
315 for (i = 0; i < ARRAY_SIZE(vars); ++i) {
316 const GlobalVar *v = &vars[i];
317 *v->var = tcg_global_mem_new(tcg_env, v->ofs, v->name);
318 }
319
320 cpu_psw_xb = tcg_global_mem_new_i32(tcg_env,
321 offsetof(CPUHPPAState, psw_xb),
322 "psw_xb");
323 cpu_iasq_f = tcg_global_mem_new_i64(tcg_env,
324 offsetof(CPUHPPAState, iasq_f),
325 "iasq_f");
326 cpu_iasq_b = tcg_global_mem_new_i64(tcg_env,
327 offsetof(CPUHPPAState, iasq_b),
328 "iasq_b");
329 }
330
331 static void set_insn_breg(DisasContext *ctx, int breg)
332 {
333 assert(!ctx->insn_start_updated);
334 ctx->insn_start_updated = true;
335 tcg_set_insn_start_param(ctx->base.insn_start, 2, breg);
336 }
337
338 static DisasCond cond_make_f(void)
339 {
340 return (DisasCond){
341 .c = TCG_COND_NEVER,
342 .a0 = NULL,
343 .a1 = NULL,
344 };
345 }
346
347 static DisasCond cond_make_t(void)
348 {
349 return (DisasCond){
350 .c = TCG_COND_ALWAYS,
351 .a0 = NULL,
352 .a1 = NULL,
353 };
354 }
355
356 static DisasCond cond_make_n(void)
357 {
358 return (DisasCond){
359 .c = TCG_COND_NE,
360 .a0 = cpu_psw_n,
361 .a1 = tcg_constant_i64(0)
362 };
363 }
364
365 static DisasCond cond_make_tt(TCGCond c, TCGv_i64 a0, TCGv_i64 a1)
366 {
367 assert (c != TCG_COND_NEVER && c != TCG_COND_ALWAYS);
368 return (DisasCond){ .c = c, .a0 = a0, .a1 = a1 };
369 }
370
371 static DisasCond cond_make_ti(TCGCond c, TCGv_i64 a0, uint64_t imm)
372 {
373 return cond_make_tt(c, a0, tcg_constant_i64(imm));
374 }
375
376 static DisasCond cond_make_vi(TCGCond c, TCGv_i64 a0, uint64_t imm)
377 {
378 TCGv_i64 tmp = tcg_temp_new_i64();
379 tcg_gen_mov_i64(tmp, a0);
380 return cond_make_ti(c, tmp, imm);
381 }
382
383 static DisasCond cond_make_vv(TCGCond c, TCGv_i64 a0, TCGv_i64 a1)
384 {
385 TCGv_i64 t0 = tcg_temp_new_i64();
386 TCGv_i64 t1 = tcg_temp_new_i64();
387
388 tcg_gen_mov_i64(t0, a0);
389 tcg_gen_mov_i64(t1, a1);
390 return cond_make_tt(c, t0, t1);
391 }
392
393 static TCGv_i64 load_gpr(DisasContext *ctx, unsigned reg)
394 {
395 if (reg == 0) {
396 return ctx->zero;
397 } else {
398 return cpu_gr[reg];
399 }
400 }
401
402 static TCGv_i64 dest_gpr(DisasContext *ctx, unsigned reg)
403 {
404 if (reg == 0 || ctx->null_cond.c != TCG_COND_NEVER) {
405 return tcg_temp_new_i64();
406 } else {
407 return cpu_gr[reg];
408 }
409 }
410
411 static void save_or_nullify(DisasContext *ctx, TCGv_i64 dest, TCGv_i64 t)
412 {
413 if (ctx->null_cond.c != TCG_COND_NEVER) {
414 tcg_gen_movcond_i64(ctx->null_cond.c, dest, ctx->null_cond.a0,
415 ctx->null_cond.a1, dest, t);
416 } else {
417 tcg_gen_mov_i64(dest, t);
418 }
419 }
420
421 static void save_gpr(DisasContext *ctx, unsigned reg, TCGv_i64 t)
422 {
423 if (reg != 0) {
424 save_or_nullify(ctx, cpu_gr[reg], t);
425 }
426 }
427
428 #if HOST_BIG_ENDIAN
429 # define HI_OFS 0
430 # define LO_OFS 4
431 #else
432 # define HI_OFS 4
433 # define LO_OFS 0
434 #endif
435
436 static TCGv_i32 load_frw_i32(unsigned rt)
437 {
438 TCGv_i32 ret = tcg_temp_new_i32();
439 tcg_gen_ld_i32(ret, tcg_env,
440 offsetof(CPUHPPAState, fr[rt & 31])
441 + (rt & 32 ? LO_OFS : HI_OFS));
442 return ret;
443 }
444
445 static TCGv_i32 load_frw0_i32(unsigned rt)
446 {
447 if (rt == 0) {
448 TCGv_i32 ret = tcg_temp_new_i32();
449 tcg_gen_movi_i32(ret, 0);
450 return ret;
451 } else {
452 return load_frw_i32(rt);
453 }
454 }
455
456 static TCGv_i64 load_frw0_i64(unsigned rt)
457 {
458 TCGv_i64 ret = tcg_temp_new_i64();
459 if (rt == 0) {
460 tcg_gen_movi_i64(ret, 0);
461 } else {
462 tcg_gen_ld32u_i64(ret, tcg_env,
463 offsetof(CPUHPPAState, fr[rt & 31])
464 + (rt & 32 ? LO_OFS : HI_OFS));
465 }
466 return ret;
467 }
468
469 static void save_frw_i32(unsigned rt, TCGv_i32 val)
470 {
471 tcg_gen_st_i32(val, tcg_env,
472 offsetof(CPUHPPAState, fr[rt & 31])
473 + (rt & 32 ? LO_OFS : HI_OFS));
474 }
475
476 #undef HI_OFS
477 #undef LO_OFS
478
479 static TCGv_i64 load_frd(unsigned rt)
480 {
481 TCGv_i64 ret = tcg_temp_new_i64();
482 tcg_gen_ld_i64(ret, tcg_env, offsetof(CPUHPPAState, fr[rt]));
483 return ret;
484 }
485
486 static TCGv_i64 load_frd0(unsigned rt)
487 {
488 if (rt == 0) {
489 TCGv_i64 ret = tcg_temp_new_i64();
490 tcg_gen_movi_i64(ret, 0);
491 return ret;
492 } else {
493 return load_frd(rt);
494 }
495 }
496
497 static void save_frd(unsigned rt, TCGv_i64 val)
498 {
499 tcg_gen_st_i64(val, tcg_env, offsetof(CPUHPPAState, fr[rt]));
500 }
501
502 static void load_spr(DisasContext *ctx, TCGv_i64 dest, unsigned reg)
503 {
504 #ifdef CONFIG_USER_ONLY
505 tcg_gen_movi_i64(dest, 0);
506 #else
507 if (reg < 4) {
508 tcg_gen_mov_i64(dest, cpu_sr[reg]);
509 } else if (ctx->tb_flags & TB_FLAG_SR_SAME) {
510 tcg_gen_mov_i64(dest, cpu_srH);
511 } else {
512 tcg_gen_ld_i64(dest, tcg_env, offsetof(CPUHPPAState, sr[reg]));
513 }
514 #endif
515 }
516
517 /*
518 * Write a value to psw_xb, bearing in mind the known value.
519 * To be used just before exiting the TB, so do not update the known value.
520 */
521 static void store_psw_xb(DisasContext *ctx, uint32_t xb)
522 {
523 tcg_debug_assert(xb == 0 || xb == PSW_B);
524 if (ctx->psw_xb != xb) {
525 tcg_gen_movi_i32(cpu_psw_xb, xb);
526 }
527 }
528
529 /* Write a value to psw_xb, and update the known value. */
530 static void set_psw_xb(DisasContext *ctx, uint32_t xb)
531 {
532 store_psw_xb(ctx, xb);
533 ctx->psw_xb = xb;
534 }
535
536 /* Skip over the implementation of an insn that has been nullified.
537 Use this when the insn is too complex for a conditional move. */
538 static void nullify_over(DisasContext *ctx)
539 {
540 if (ctx->null_cond.c != TCG_COND_NEVER) {
541 /* The always condition should have been handled in the main loop. */
542 assert(ctx->null_cond.c != TCG_COND_ALWAYS);
543
544 ctx->null_lab = gen_new_label();
545
546 /* If we're using PSW[N], copy it to a temp because... */
547 if (ctx->null_cond.a0 == cpu_psw_n) {
548 ctx->null_cond.a0 = tcg_temp_new_i64();
549 tcg_gen_mov_i64(ctx->null_cond.a0, cpu_psw_n);
550 }
551 /* ... we clear it before branching over the implementation,
552 so that (1) it's clear after nullifying this insn and
553 (2) if this insn nullifies the next, PSW[N] is valid. */
554 if (ctx->psw_n_nonzero) {
555 ctx->psw_n_nonzero = false;
556 tcg_gen_movi_i64(cpu_psw_n, 0);
557 }
558
559 tcg_gen_brcond_i64(ctx->null_cond.c, ctx->null_cond.a0,
560 ctx->null_cond.a1, ctx->null_lab);
561 ctx->null_cond = cond_make_f();
562 }
563 }
564
565 /* Save the current nullification state to PSW[N]. */
566 static void nullify_save(DisasContext *ctx)
567 {
568 if (ctx->null_cond.c == TCG_COND_NEVER) {
569 if (ctx->psw_n_nonzero) {
570 tcg_gen_movi_i64(cpu_psw_n, 0);
571 }
572 return;
573 }
574 if (ctx->null_cond.a0 != cpu_psw_n) {
575 tcg_gen_setcond_i64(ctx->null_cond.c, cpu_psw_n,
576 ctx->null_cond.a0, ctx->null_cond.a1);
577 ctx->psw_n_nonzero = true;
578 }
579 ctx->null_cond = cond_make_f();
580 }
581
582 /* Set a PSW[N] to X. The intention is that this is used immediately
583 before a goto_tb/exit_tb, so that there is no fallthru path to other
584 code within the TB. Therefore we do not update psw_n_nonzero. */
585 static void nullify_set(DisasContext *ctx, bool x)
586 {
587 if (ctx->psw_n_nonzero || x) {
588 tcg_gen_movi_i64(cpu_psw_n, x);
589 }
590 }
591
592 /* Mark the end of an instruction that may have been nullified.
593 This is the pair to nullify_over. Always returns true so that
594 it may be tail-called from a translate function. */
595 static bool nullify_end(DisasContext *ctx)
596 {
597 TCGLabel *null_lab = ctx->null_lab;
598 DisasJumpType status = ctx->base.is_jmp;
599
600 /* For NEXT, NORETURN, STALE, we can easily continue (or exit).
601 For UPDATED, we cannot update on the nullified path. */
602 assert(status != DISAS_IAQ_N_UPDATED);
603 /* Taken branches are handled manually. */
604 assert(!ctx->psw_b_next);
605
606 if (likely(null_lab == NULL)) {
607 /* The current insn wasn't conditional or handled the condition
608 applied to it without a branch, so the (new) setting of
609 NULL_COND can be applied directly to the next insn. */
610 return true;
611 }
612 ctx->null_lab = NULL;
613
614 if (likely(ctx->null_cond.c == TCG_COND_NEVER)) {
615 /* The next instruction will be unconditional,
616 and NULL_COND already reflects that. */
617 gen_set_label(null_lab);
618 } else {
619 /* The insn that we just executed is itself nullifying the next
620 instruction. Store the condition in the PSW[N] global.
621 We asserted PSW[N] = 0 in nullify_over, so that after the
622 label we have the proper value in place. */
623 nullify_save(ctx);
624 gen_set_label(null_lab);
625 ctx->null_cond = cond_make_n();
626 }
627 if (status == DISAS_NORETURN) {
628 ctx->base.is_jmp = DISAS_NEXT;
629 }
630 return true;
631 }
632
633 static bool iaqe_variable(const DisasIAQE *e)
634 {
635 return e->base || e->space;
636 }
637
638 static DisasIAQE iaqe_incr(const DisasIAQE *e, int64_t disp)
639 {
640 return (DisasIAQE){
641 .space = e->space,
642 .base = e->base,
643 .disp = e->disp + disp,
644 };
645 }
646
647 static DisasIAQE iaqe_branchi(DisasContext *ctx, int64_t disp)
648 {
649 return (DisasIAQE){
650 .space = ctx->iaq_b.space,
651 .disp = ctx->iaq_f.disp + 8 + disp,
652 };
653 }
654
655 static DisasIAQE iaqe_next_absv(DisasContext *ctx, TCGv_i64 var)
656 {
657 return (DisasIAQE){
658 .space = ctx->iaq_b.space,
659 .base = var,
660 };
661 }
662
663 static void copy_iaoq_entry(DisasContext *ctx, TCGv_i64 dest,
664 const DisasIAQE *src)
665 {
666 tcg_gen_addi_i64(dest, src->base ? : cpu_iaoq_f, src->disp);
667 }
668
669 static void install_iaq_entries(DisasContext *ctx, const DisasIAQE *f,
670 const DisasIAQE *b)
671 {
672 DisasIAQE b_next;
673
674 if (b == NULL) {
675 b_next = iaqe_incr(f, 4);
676 b = &b_next;
677 }
678
679 /*
680 * There is an edge case
681 * bv r0(rN)
682 * b,l disp,r0
683 * for which F will use cpu_iaoq_b (from the indirect branch),
684 * and B will use cpu_iaoq_f (from the direct branch).
685 * In this case we need an extra temporary.
686 */
687 if (f->base != cpu_iaoq_b) {
688 copy_iaoq_entry(ctx, cpu_iaoq_b, b);
689 copy_iaoq_entry(ctx, cpu_iaoq_f, f);
690 } else if (f->base == b->base) {
691 copy_iaoq_entry(ctx, cpu_iaoq_f, f);
692 tcg_gen_addi_i64(cpu_iaoq_b, cpu_iaoq_f, b->disp - f->disp);
693 } else {
694 TCGv_i64 tmp = tcg_temp_new_i64();
695 copy_iaoq_entry(ctx, tmp, b);
696 copy_iaoq_entry(ctx, cpu_iaoq_f, f);
697 tcg_gen_mov_i64(cpu_iaoq_b, tmp);
698 }
699
700 if (f->space) {
701 tcg_gen_mov_i64(cpu_iasq_f, f->space);
702 }
703 if (b->space || f->space) {
704 tcg_gen_mov_i64(cpu_iasq_b, b->space ? : f->space);
705 }
706 }
707
708 static void install_link(DisasContext *ctx, unsigned link, bool with_sr0)
709 {
710 tcg_debug_assert(ctx->null_cond.c == TCG_COND_NEVER);
711 if (!link) {
712 return;
713 }
714 DisasIAQE next = iaqe_incr(&ctx->iaq_b, 4);
715 copy_iaoq_entry(ctx, cpu_gr[link], &next);
716 #ifndef CONFIG_USER_ONLY
717 if (with_sr0) {
718 tcg_gen_mov_i64(cpu_sr[0], cpu_iasq_b);
719 }
720 #endif
721 }
722
723 static void gen_excp_1(int exception)
724 {
725 gen_helper_excp(tcg_env, tcg_constant_i32(exception));
726 }
727
728 static void gen_excp(DisasContext *ctx, int exception)
729 {
730 install_iaq_entries(ctx, &ctx->iaq_f, &ctx->iaq_b);
731 nullify_save(ctx);
732 gen_excp_1(exception);
733 ctx->base.is_jmp = DISAS_NORETURN;
734 }
735
736 static DisasDelayException *delay_excp(DisasContext *ctx, uint8_t excp)
737 {
738 DisasDelayException *e = tcg_malloc(sizeof(DisasDelayException));
739
740 memset(e, 0, sizeof(*e));
741 e->next = ctx->delay_excp_list;
742 ctx->delay_excp_list = e;
743
744 e->lab = gen_new_label();
745 e->insn = ctx->insn;
746 e->set_iir = true;
747 e->set_n = ctx->psw_n_nonzero ? 0 : -1;
748 e->excp = excp;
749 e->iaq_f = ctx->iaq_f;
750 e->iaq_b = ctx->iaq_b;
751
752 return e;
753 }
754
755 static bool gen_excp_iir(DisasContext *ctx, int exc)
756 {
757 if (ctx->null_cond.c == TCG_COND_NEVER) {
758 tcg_gen_st_i64(tcg_constant_i64(ctx->insn),
759 tcg_env, offsetof(CPUHPPAState, cr[CR_IIR]));
760 gen_excp(ctx, exc);
761 } else {
762 DisasDelayException *e = delay_excp(ctx, exc);
763 tcg_gen_brcond_i64(tcg_invert_cond(ctx->null_cond.c),
764 ctx->null_cond.a0, ctx->null_cond.a1, e->lab);
765 ctx->null_cond = cond_make_f();
766 }
767 return true;
768 }
769
770 static bool gen_illegal(DisasContext *ctx)
771 {
772 return gen_excp_iir(ctx, EXCP_ILL);
773 }
774
775 #ifdef CONFIG_USER_ONLY
776 #define CHECK_MOST_PRIVILEGED(EXCP) \
777 return gen_excp_iir(ctx, EXCP)
778 #else
779 #define CHECK_MOST_PRIVILEGED(EXCP) \
780 do { \
781 if (ctx->privilege != 0) { \
782 return gen_excp_iir(ctx, EXCP); \
783 } \
784 } while (0)
785 #endif
786
787 static bool use_goto_tb(DisasContext *ctx, const DisasIAQE *f,
788 const DisasIAQE *b)
789 {
790 return (!iaqe_variable(f) &&
791 (b == NULL || !iaqe_variable(b)) &&
792 translator_use_goto_tb(&ctx->base, ctx->iaoq_first + f->disp));
793 }
794
795 /* If the next insn is to be nullified, and it's on the same page,
796 and we're not attempting to set a breakpoint on it, then we can
797 totally skip the nullified insn. This avoids creating and
798 executing a TB that merely branches to the next TB. */
799 static bool use_nullify_skip(DisasContext *ctx)
800 {
801 return (!(tb_cflags(ctx->base.tb) & CF_BP_PAGE)
802 && !iaqe_variable(&ctx->iaq_b)
803 && (((ctx->iaoq_first + ctx->iaq_b.disp) ^ ctx->iaoq_first)
804 & TARGET_PAGE_MASK) == 0);
805 }
806
807 static void gen_goto_tb(DisasContext *ctx, int which,
808 const DisasIAQE *f, const DisasIAQE *b)
809 {
810 install_iaq_entries(ctx, f, b);
811 if (use_goto_tb(ctx, f, b)) {
812 tcg_gen_goto_tb(which);
813 tcg_gen_exit_tb(ctx->base.tb, which);
814 } else {
815 tcg_gen_lookup_and_goto_ptr();
816 }
817 }
818
819 static bool cond_need_sv(int c)
820 {
821 return c == 2 || c == 3 || c == 6;
822 }
823
824 static bool cond_need_cb(int c)
825 {
826 return c == 4 || c == 5;
827 }
828
829 /*
830 * Compute conditional for arithmetic. See Page 5-3, Table 5-1, of
831 * the Parisc 1.1 Architecture Reference Manual for details.
832 */
833
834 static DisasCond do_cond(DisasContext *ctx, unsigned cf, bool d,
835 TCGv_i64 res, TCGv_i64 uv, TCGv_i64 sv)
836 {
837 TCGCond sign_cond, zero_cond;
838 uint64_t sign_imm, zero_imm;
839 DisasCond cond;
840 TCGv_i64 tmp;
841
842 if (d) {
843 /* 64-bit condition. */
844 sign_imm = 0;
845 sign_cond = TCG_COND_LT;
846 zero_imm = 0;
847 zero_cond = TCG_COND_EQ;
848 } else {
849 /* 32-bit condition. */
850 sign_imm = 1ull << 31;
851 sign_cond = TCG_COND_TSTNE;
852 zero_imm = UINT32_MAX;
853 zero_cond = TCG_COND_TSTEQ;
854 }
855
856 switch (cf >> 1) {
857 case 0: /* Never / TR (0 / 1) */
858 cond = cond_make_f();
859 break;
860 case 1: /* = / <> (Z / !Z) */
861 cond = cond_make_vi(zero_cond, res, zero_imm);
862 break;
863 case 2: /* < / >= (N ^ V / !(N ^ V) */
864 tmp = tcg_temp_new_i64();
865 tcg_gen_xor_i64(tmp, res, sv);
866 cond = cond_make_ti(sign_cond, tmp, sign_imm);
867 break;
868 case 3: /* <= / > (N ^ V) | Z / !((N ^ V) | Z) */
869 /*
870 * Simplify:
871 * (N ^ V) | Z
872 * ((res < 0) ^ (sv < 0)) | !res
873 * ((res ^ sv) < 0) | !res
874 * ((res ^ sv) < 0 ? 1 : !res)
875 * !((res ^ sv) < 0 ? 0 : res)
876 */
877 tmp = tcg_temp_new_i64();
878 tcg_gen_xor_i64(tmp, res, sv);
879 tcg_gen_movcond_i64(sign_cond, tmp,
880 tmp, tcg_constant_i64(sign_imm),
881 ctx->zero, res);
882 cond = cond_make_ti(zero_cond, tmp, zero_imm);
883 break;
884 case 4: /* NUV / UV (!UV / UV) */
885 cond = cond_make_vi(TCG_COND_EQ, uv, 0);
886 break;
887 case 5: /* ZNV / VNZ (!UV | Z / UV & !Z) */
888 tmp = tcg_temp_new_i64();
889 tcg_gen_movcond_i64(TCG_COND_EQ, tmp, uv, ctx->zero, ctx->zero, res);
890 cond = cond_make_ti(zero_cond, tmp, zero_imm);
891 break;
892 case 6: /* SV / NSV (V / !V) */
893 cond = cond_make_vi(sign_cond, sv, sign_imm);
894 break;
895 case 7: /* OD / EV */
896 cond = cond_make_vi(TCG_COND_TSTNE, res, 1);
897 break;
898 default:
899 g_assert_not_reached();
900 }
901 if (cf & 1) {
902 cond.c = tcg_invert_cond(cond.c);
903 }
904
905 return cond;
906 }
907
908 /* Similar, but for the special case of subtraction without borrow, we
909 can use the inputs directly. This can allow other computation to be
910 deleted as unused. */
911
912 static DisasCond do_sub_cond(DisasContext *ctx, unsigned cf, bool d,
913 TCGv_i64 res, TCGv_i64 in1,
914 TCGv_i64 in2, TCGv_i64 sv)
915 {
916 TCGCond tc;
917 bool ext_uns;
918
919 switch (cf >> 1) {
920 case 1: /* = / <> */
921 tc = TCG_COND_EQ;
922 ext_uns = true;
923 break;
924 case 2: /* < / >= */
925 tc = TCG_COND_LT;
926 ext_uns = false;
927 break;
928 case 3: /* <= / > */
929 tc = TCG_COND_LE;
930 ext_uns = false;
931 break;
932 case 4: /* << / >>= */
933 tc = TCG_COND_LTU;
934 ext_uns = true;
935 break;
936 case 5: /* <<= / >> */
937 tc = TCG_COND_LEU;
938 ext_uns = true;
939 break;
940 default:
941 return do_cond(ctx, cf, d, res, NULL, sv);
942 }
943
944 if (cf & 1) {
945 tc = tcg_invert_cond(tc);
946 }
947 if (!d) {
948 TCGv_i64 t1 = tcg_temp_new_i64();
949 TCGv_i64 t2 = tcg_temp_new_i64();
950
951 if (ext_uns) {
952 tcg_gen_ext32u_i64(t1, in1);
953 tcg_gen_ext32u_i64(t2, in2);
954 } else {
955 tcg_gen_ext32s_i64(t1, in1);
956 tcg_gen_ext32s_i64(t2, in2);
957 }
958 return cond_make_tt(tc, t1, t2);
959 }
960 return cond_make_vv(tc, in1, in2);
961 }
962
963 /*
964 * Similar, but for logicals, where the carry and overflow bits are not
965 * computed, and use of them is undefined.
966 *
967 * Undefined or not, hardware does not trap. It seems reasonable to
968 * assume hardware treats cases c={4,5,6} as if C=0 & V=0, since that's
969 * how cases c={2,3} are treated.
970 */
971
972 static DisasCond do_log_cond(DisasContext *ctx, unsigned cf, bool d,
973 TCGv_i64 res)
974 {
975 TCGCond tc;
976 uint64_t imm;
977
978 switch (cf >> 1) {
979 case 0: /* never / always */
980 case 4: /* undef, C */
981 case 5: /* undef, C & !Z */
982 case 6: /* undef, V */
983 return cf & 1 ? cond_make_t() : cond_make_f();
984 case 1: /* == / <> */
985 tc = d ? TCG_COND_EQ : TCG_COND_TSTEQ;
986 imm = d ? 0 : UINT32_MAX;
987 break;
988 case 2: /* < / >= */
989 tc = d ? TCG_COND_LT : TCG_COND_TSTNE;
990 imm = d ? 0 : 1ull << 31;
991 break;
992 case 3: /* <= / > */
993 tc = cf & 1 ? TCG_COND_GT : TCG_COND_LE;
994 if (!d) {
995 TCGv_i64 tmp = tcg_temp_new_i64();
996 tcg_gen_ext32s_i64(tmp, res);
997 return cond_make_ti(tc, tmp, 0);
998 }
999 return cond_make_vi(tc, res, 0);
1000 case 7: /* OD / EV */
1001 tc = TCG_COND_TSTNE;
1002 imm = 1;
1003 break;
1004 default:
1005 g_assert_not_reached();
1006 }
1007 if (cf & 1) {
1008 tc = tcg_invert_cond(tc);
1009 }
1010 return cond_make_vi(tc, res, imm);
1011 }
1012
1013 /* Similar, but for shift/extract/deposit conditions. */
1014
1015 static DisasCond do_sed_cond(DisasContext *ctx, unsigned orig, bool d,
1016 TCGv_i64 res)
1017 {
1018 unsigned c, f;
1019
1020 /* Convert the compressed condition codes to standard.
1021 0-2 are the same as logicals (nv,<,<=), while 3 is OD.
1022 4-7 are the reverse of 0-3. */
1023 c = orig & 3;
1024 if (c == 3) {
1025 c = 7;
1026 }
1027 f = (orig & 4) / 4;
1028
1029 return do_log_cond(ctx, c * 2 + f, d, res);
1030 }
1031
1032 /* Similar, but for unit zero conditions. */
1033 static DisasCond do_unit_zero_cond(unsigned cf, bool d, TCGv_i64 res)
1034 {
1035 TCGv_i64 tmp;
1036 uint64_t d_repl = d ? 0x0000000100000001ull : 1;
1037 uint64_t ones = 0, sgns = 0;
1038
1039 switch (cf >> 1) {
1040 case 1: /* SBW / NBW */
1041 if (d) {
1042 ones = d_repl;
1043 sgns = d_repl << 31;
1044 }
1045 break;
1046 case 2: /* SBZ / NBZ */
1047 ones = d_repl * 0x01010101u;
1048 sgns = ones << 7;
1049 break;
1050 case 3: /* SHZ / NHZ */
1051 ones = d_repl * 0x00010001u;
1052 sgns = ones << 15;
1053 break;
1054 }
1055 if (ones == 0) {
1056 /* Undefined, or 0/1 (never/always). */
1057 return cf & 1 ? cond_make_t() : cond_make_f();
1058 }
1059
1060 /*
1061 * See hasless(v,1) from
1062 * https://graphics.stanford.edu/~seander/bithacks.html#ZeroInWord
1063 */
1064 tmp = tcg_temp_new_i64();
1065 tcg_gen_subi_i64(tmp, res, ones);
1066 tcg_gen_andc_i64(tmp, tmp, res);
1067
1068 return cond_make_ti(cf & 1 ? TCG_COND_TSTEQ : TCG_COND_TSTNE, tmp, sgns);
1069 }
1070
1071 static TCGv_i64 get_carry(DisasContext *ctx, bool d,
1072 TCGv_i64 cb, TCGv_i64 cb_msb)
1073 {
1074 if (!d) {
1075 TCGv_i64 t = tcg_temp_new_i64();
1076 tcg_gen_extract_i64(t, cb, 32, 1);
1077 return t;
1078 }
1079 return cb_msb;
1080 }
1081
1082 static TCGv_i64 get_psw_carry(DisasContext *ctx, bool d)
1083 {
1084 return get_carry(ctx, d, cpu_psw_cb, cpu_psw_cb_msb);
1085 }
1086
1087 /* Compute signed overflow for addition. */
1088 static TCGv_i64 do_add_sv(DisasContext *ctx, TCGv_i64 res,
1089 TCGv_i64 in1, TCGv_i64 in2,
1090 TCGv_i64 orig_in1, int shift, bool d)
1091 {
1092 TCGv_i64 sv = tcg_temp_new_i64();
1093 TCGv_i64 tmp = tcg_temp_new_i64();
1094
1095 tcg_gen_xor_i64(sv, res, in1);
1096 tcg_gen_xor_i64(tmp, in1, in2);
1097 tcg_gen_andc_i64(sv, sv, tmp);
1098
1099 switch (shift) {
1100 case 0:
1101 break;
1102 case 1:
1103 /* Shift left by one and compare the sign. */
1104 tcg_gen_add_i64(tmp, orig_in1, orig_in1);
1105 tcg_gen_xor_i64(tmp, tmp, orig_in1);
1106 /* Incorporate into the overflow. */
1107 tcg_gen_or_i64(sv, sv, tmp);
1108 break;
1109 default:
1110 {
1111 int sign_bit = d ? 63 : 31;
1112
1113 /* Compare the sign against all lower bits. */
1114 tcg_gen_sextract_i64(tmp, orig_in1, sign_bit, 1);
1115 tcg_gen_xor_i64(tmp, tmp, orig_in1);
1116 /*
1117 * If one of the bits shifting into or through the sign
1118 * differs, then we have overflow.
1119 */
1120 tcg_gen_extract_i64(tmp, tmp, sign_bit - shift, shift);
1121 tcg_gen_movcond_i64(TCG_COND_NE, sv, tmp, ctx->zero,
1122 tcg_constant_i64(-1), sv);
1123 }
1124 }
1125 return sv;
1126 }
1127
1128 /* Compute unsigned overflow for addition. */
1129 static TCGv_i64 do_add_uv(DisasContext *ctx, TCGv_i64 cb, TCGv_i64 cb_msb,
1130 TCGv_i64 in1, int shift, bool d)
1131 {
1132 if (shift == 0) {
1133 return get_carry(ctx, d, cb, cb_msb);
1134 } else {
1135 TCGv_i64 tmp = tcg_temp_new_i64();
1136 tcg_gen_extract_i64(tmp, in1, (d ? 63 : 31) - shift, shift);
1137 tcg_gen_or_i64(tmp, tmp, get_carry(ctx, d, cb, cb_msb));
1138 return tmp;
1139 }
1140 }
1141
1142 /* Compute signed overflow for subtraction. */
1143 static TCGv_i64 do_sub_sv(DisasContext *ctx, TCGv_i64 res,
1144 TCGv_i64 in1, TCGv_i64 in2)
1145 {
1146 TCGv_i64 sv = tcg_temp_new_i64();
1147 TCGv_i64 tmp = tcg_temp_new_i64();
1148
1149 tcg_gen_xor_i64(sv, res, in1);
1150 tcg_gen_xor_i64(tmp, in1, in2);
1151 tcg_gen_and_i64(sv, sv, tmp);
1152
1153 return sv;
1154 }
1155
1156 static void gen_tc(DisasContext *ctx, DisasCond *cond)
1157 {
1158 DisasDelayException *e;
1159
1160 switch (cond->c) {
1161 case TCG_COND_NEVER:
1162 break;
1163 case TCG_COND_ALWAYS:
1164 gen_excp_iir(ctx, EXCP_COND);
1165 break;
1166 default:
1167 e = delay_excp(ctx, EXCP_COND);
1168 tcg_gen_brcond_i64(cond->c, cond->a0, cond->a1, e->lab);
1169 /* In the non-trap path, the condition is known false. */
1170 *cond = cond_make_f();
1171 break;
1172 }
1173 }
1174
1175 static void gen_tsv(DisasContext *ctx, TCGv_i64 *sv, bool d)
1176 {
1177 DisasCond cond = do_cond(ctx, /* SV */ 12, d, NULL, NULL, *sv);
1178 DisasDelayException *e = delay_excp(ctx, EXCP_OVERFLOW);
1179
1180 tcg_gen_brcond_i64(cond.c, cond.a0, cond.a1, e->lab);
1181
1182 /* In the non-trap path, V is known zero. */
1183 *sv = tcg_constant_i64(0);
1184 }
1185
1186 static void do_add(DisasContext *ctx, unsigned rt, TCGv_i64 orig_in1,
1187 TCGv_i64 in2, unsigned shift, bool is_l,
1188 bool is_tsv, bool is_tc, bool is_c, unsigned cf, bool d)
1189 {
1190 TCGv_i64 dest, cb, cb_msb, in1, uv, sv, tmp;
1191 unsigned c = cf >> 1;
1192 DisasCond cond;
1193
1194 dest = tcg_temp_new_i64();
1195 cb = NULL;
1196 cb_msb = NULL;
1197
1198 in1 = orig_in1;
1199 if (shift) {
1200 tmp = tcg_temp_new_i64();
1201 tcg_gen_shli_i64(tmp, in1, shift);
1202 in1 = tmp;
1203 }
1204
1205 if (!is_l || cond_need_cb(c)) {
1206 cb_msb = tcg_temp_new_i64();
1207 cb = tcg_temp_new_i64();
1208
1209 tcg_gen_add2_i64(dest, cb_msb, in1, ctx->zero, in2, ctx->zero);
1210 if (is_c) {
1211 tcg_gen_add2_i64(dest, cb_msb, dest, cb_msb,
1212 get_psw_carry(ctx, d), ctx->zero);
1213 }
1214 tcg_gen_xor_i64(cb, in1, in2);
1215 tcg_gen_xor_i64(cb, cb, dest);
1216 } else {
1217 tcg_gen_add_i64(dest, in1, in2);
1218 if (is_c) {
1219 tcg_gen_add_i64(dest, dest, get_psw_carry(ctx, d));
1220 }
1221 }
1222
1223 /* Compute signed overflow if required. */
1224 sv = NULL;
1225 if (is_tsv || cond_need_sv(c)) {
1226 sv = do_add_sv(ctx, dest, in1, in2, orig_in1, shift, d);
1227 if (is_tsv) {
1228 gen_tsv(ctx, &sv, d);
1229 }
1230 }
1231
1232 /* Compute unsigned overflow if required. */
1233 uv = NULL;
1234 if (cond_need_cb(c)) {
1235 uv = do_add_uv(ctx, cb, cb_msb, orig_in1, shift, d);
1236 }
1237
1238 /* Emit any conditional trap before any writeback. */
1239 cond = do_cond(ctx, cf, d, dest, uv, sv);
1240 if (is_tc) {
1241 gen_tc(ctx, &cond);
1242 }
1243
1244 /* Write back the result. */
1245 if (!is_l) {
1246 save_or_nullify(ctx, cpu_psw_cb, cb);
1247 save_or_nullify(ctx, cpu_psw_cb_msb, cb_msb);
1248 }
1249 save_gpr(ctx, rt, dest);
1250
1251 /* Install the new nullification. */
1252 ctx->null_cond = cond;
1253 }
1254
1255 static bool do_add_reg(DisasContext *ctx, arg_rrr_cf_d_sh *a,
1256 bool is_l, bool is_tsv, bool is_tc, bool is_c)
1257 {
1258 TCGv_i64 tcg_r1, tcg_r2;
1259
1260 if (unlikely(is_tc && a->cf == 1)) {
1261 /* Unconditional trap on condition. */
1262 return gen_excp_iir(ctx, EXCP_COND);
1263 }
1264 if (a->cf) {
1265 nullify_over(ctx);
1266 }
1267 tcg_r1 = load_gpr(ctx, a->r1);
1268 tcg_r2 = load_gpr(ctx, a->r2);
1269 do_add(ctx, a->t, tcg_r1, tcg_r2, a->sh, is_l,
1270 is_tsv, is_tc, is_c, a->cf, a->d);
1271 return nullify_end(ctx);
1272 }
1273
1274 static bool do_add_imm(DisasContext *ctx, arg_rri_cf *a,
1275 bool is_tsv, bool is_tc)
1276 {
1277 TCGv_i64 tcg_im, tcg_r2;
1278
1279 if (unlikely(is_tc && a->cf == 1)) {
1280 /* Unconditional trap on condition. */
1281 return gen_excp_iir(ctx, EXCP_COND);
1282 }
1283 if (a->cf) {
1284 nullify_over(ctx);
1285 }
1286 tcg_im = tcg_constant_i64(a->i);
1287 tcg_r2 = load_gpr(ctx, a->r);
1288 /* All ADDI conditions are 32-bit. */
1289 do_add(ctx, a->t, tcg_im, tcg_r2, 0, 0, is_tsv, is_tc, 0, a->cf, false);
1290 return nullify_end(ctx);
1291 }
1292
1293 static void do_sub(DisasContext *ctx, unsigned rt, TCGv_i64 in1,
1294 TCGv_i64 in2, bool is_tsv, bool is_b,
1295 bool is_tc, unsigned cf, bool d)
1296 {
1297 TCGv_i64 dest, sv, cb, cb_msb;
1298 unsigned c = cf >> 1;
1299 DisasCond cond;
1300
1301 dest = tcg_temp_new_i64();
1302 cb = tcg_temp_new_i64();
1303 cb_msb = tcg_temp_new_i64();
1304
1305 if (is_b) {
1306 /* DEST,C = IN1 + ~IN2 + C. */
1307 tcg_gen_not_i64(cb, in2);
1308 tcg_gen_add2_i64(dest, cb_msb, in1, ctx->zero,
1309 get_psw_carry(ctx, d), ctx->zero);
1310 tcg_gen_add2_i64(dest, cb_msb, dest, cb_msb, cb, ctx->zero);
1311 tcg_gen_xor_i64(cb, cb, in1);
1312 tcg_gen_xor_i64(cb, cb, dest);
1313 } else {
1314 /*
1315 * DEST,C = IN1 + ~IN2 + 1. We can produce the same result in fewer
1316 * operations by seeding the high word with 1 and subtracting.
1317 */
1318 TCGv_i64 one = tcg_constant_i64(1);
1319 tcg_gen_sub2_i64(dest, cb_msb, in1, one, in2, ctx->zero);
1320 tcg_gen_eqv_i64(cb, in1, in2);
1321 tcg_gen_xor_i64(cb, cb, dest);
1322 }
1323
1324 /* Compute signed overflow if required. */
1325 sv = NULL;
1326 if (is_tsv || cond_need_sv(c)) {
1327 sv = do_sub_sv(ctx, dest, in1, in2);
1328 if (is_tsv) {
1329 gen_tsv(ctx, &sv, d);
1330 }
1331 }
1332
1333 /* Compute the condition. We cannot use the special case for borrow. */
1334 if (!is_b) {
1335 cond = do_sub_cond(ctx, cf, d, dest, in1, in2, sv);
1336 } else {
1337 cond = do_cond(ctx, cf, d, dest, get_carry(ctx, d, cb, cb_msb), sv);
1338 }
1339
1340 /* Emit any conditional trap before any writeback. */
1341 if (is_tc) {
1342 gen_tc(ctx, &cond);
1343 }
1344
1345 /* Write back the result. */
1346 save_or_nullify(ctx, cpu_psw_cb, cb);
1347 save_or_nullify(ctx, cpu_psw_cb_msb, cb_msb);
1348 save_gpr(ctx, rt, dest);
1349
1350 /* Install the new nullification. */
1351 ctx->null_cond = cond;
1352 }
1353
1354 static bool do_sub_reg(DisasContext *ctx, arg_rrr_cf_d *a,
1355 bool is_tsv, bool is_b, bool is_tc)
1356 {
1357 TCGv_i64 tcg_r1, tcg_r2;
1358
1359 if (a->cf) {
1360 nullify_over(ctx);
1361 }
1362 tcg_r1 = load_gpr(ctx, a->r1);
1363 tcg_r2 = load_gpr(ctx, a->r2);
1364 do_sub(ctx, a->t, tcg_r1, tcg_r2, is_tsv, is_b, is_tc, a->cf, a->d);
1365 return nullify_end(ctx);
1366 }
1367
1368 static bool do_sub_imm(DisasContext *ctx, arg_rri_cf *a, bool is_tsv)
1369 {
1370 TCGv_i64 tcg_im, tcg_r2;
1371
1372 if (a->cf) {
1373 nullify_over(ctx);
1374 }
1375 tcg_im = tcg_constant_i64(a->i);
1376 tcg_r2 = load_gpr(ctx, a->r);
1377 /* All SUBI conditions are 32-bit. */
1378 do_sub(ctx, a->t, tcg_im, tcg_r2, is_tsv, 0, 0, a->cf, false);
1379 return nullify_end(ctx);
1380 }
1381
1382 static void do_cmpclr(DisasContext *ctx, unsigned rt, TCGv_i64 in1,
1383 TCGv_i64 in2, unsigned cf, bool d)
1384 {
1385 TCGv_i64 dest, sv;
1386 DisasCond cond;
1387
1388 dest = tcg_temp_new_i64();
1389 tcg_gen_sub_i64(dest, in1, in2);
1390
1391 /* Compute signed overflow if required. */
1392 sv = NULL;
1393 if (cond_need_sv(cf >> 1)) {
1394 sv = do_sub_sv(ctx, dest, in1, in2);
1395 }
1396
1397 /* Form the condition for the compare. */
1398 cond = do_sub_cond(ctx, cf, d, dest, in1, in2, sv);
1399
1400 /* Clear. */
1401 tcg_gen_movi_i64(dest, 0);
1402 save_gpr(ctx, rt, dest);
1403
1404 /* Install the new nullification. */
1405 ctx->null_cond = cond;
1406 }
1407
1408 static void do_log(DisasContext *ctx, unsigned rt, TCGv_i64 in1,
1409 TCGv_i64 in2, unsigned cf, bool d,
1410 void (*fn)(TCGv_i64, TCGv_i64, TCGv_i64))
1411 {
1412 TCGv_i64 dest = dest_gpr(ctx, rt);
1413
1414 /* Perform the operation, and writeback. */
1415 fn(dest, in1, in2);
1416 save_gpr(ctx, rt, dest);
1417
1418 /* Install the new nullification. */
1419 ctx->null_cond = do_log_cond(ctx, cf, d, dest);
1420 }
1421
1422 static bool do_log_reg(DisasContext *ctx, arg_rrr_cf_d *a,
1423 void (*fn)(TCGv_i64, TCGv_i64, TCGv_i64))
1424 {
1425 TCGv_i64 tcg_r1, tcg_r2;
1426
1427 if (a->cf) {
1428 nullify_over(ctx);
1429 }
1430 tcg_r1 = load_gpr(ctx, a->r1);
1431 tcg_r2 = load_gpr(ctx, a->r2);
1432 do_log(ctx, a->t, tcg_r1, tcg_r2, a->cf, a->d, fn);
1433 return nullify_end(ctx);
1434 }
1435
1436 static void do_unit_addsub(DisasContext *ctx, unsigned rt, TCGv_i64 in1,
1437 TCGv_i64 in2, unsigned cf, bool d,
1438 bool is_tc, bool is_add)
1439 {
1440 TCGv_i64 dest = tcg_temp_new_i64();
1441 uint64_t test_cb = 0;
1442 DisasCond cond;
1443
1444 /* Select which carry-out bits to test. */
1445 switch (cf >> 1) {
1446 case 4: /* NDC / SDC -- 4-bit carries */
1447 test_cb = dup_const(MO_8, 0x88);
1448 break;
1449 case 5: /* NWC / SWC -- 32-bit carries */
1450 if (d) {
1451 test_cb = dup_const(MO_32, INT32_MIN);
1452 } else {
1453 cf &= 1; /* undefined -- map to never/always */
1454 }
1455 break;
1456 case 6: /* NBC / SBC -- 8-bit carries */
1457 test_cb = dup_const(MO_8, INT8_MIN);
1458 break;
1459 case 7: /* NHC / SHC -- 16-bit carries */
1460 test_cb = dup_const(MO_16, INT16_MIN);
1461 break;
1462 }
1463 if (!d) {
1464 test_cb = (uint32_t)test_cb;
1465 }
1466
1467 if (!test_cb) {
1468 /* No need to compute carries if we don't need to test them. */
1469 if (is_add) {
1470 tcg_gen_add_i64(dest, in1, in2);
1471 } else {
1472 tcg_gen_sub_i64(dest, in1, in2);
1473 }
1474 cond = do_unit_zero_cond(cf, d, dest);
1475 } else {
1476 TCGv_i64 cb = tcg_temp_new_i64();
1477
1478 if (d) {
1479 TCGv_i64 cb_msb = tcg_temp_new_i64();
1480 if (is_add) {
1481 tcg_gen_add2_i64(dest, cb_msb, in1, ctx->zero, in2, ctx->zero);
1482 tcg_gen_xor_i64(cb, in1, in2);
1483 } else {
1484 /* See do_sub, !is_b. */
1485 TCGv_i64 one = tcg_constant_i64(1);
1486 tcg_gen_sub2_i64(dest, cb_msb, in1, one, in2, ctx->zero);
1487 tcg_gen_eqv_i64(cb, in1, in2);
1488 }
1489 tcg_gen_xor_i64(cb, cb, dest);
1490 tcg_gen_extract2_i64(cb, cb, cb_msb, 1);
1491 } else {
1492 if (is_add) {
1493 tcg_gen_add_i64(dest, in1, in2);
1494 tcg_gen_xor_i64(cb, in1, in2);
1495 } else {
1496 tcg_gen_sub_i64(dest, in1, in2);
1497 tcg_gen_eqv_i64(cb, in1, in2);
1498 }
1499 tcg_gen_xor_i64(cb, cb, dest);
1500 tcg_gen_shri_i64(cb, cb, 1);
1501 }
1502
1503 cond = cond_make_ti(cf & 1 ? TCG_COND_TSTEQ : TCG_COND_TSTNE,
1504 cb, test_cb);
1505 }
1506
1507 if (is_tc) {
1508 gen_tc(ctx, &cond);
1509 }
1510 save_gpr(ctx, rt, dest);
1511
1512 ctx->null_cond = cond;
1513 }
1514
1515 #ifndef CONFIG_USER_ONLY
1516 /* The "normal" usage is SP >= 0, wherein SP == 0 selects the space
1517 from the top 2 bits of the base register. There are a few system
1518 instructions that have a 3-bit space specifier, for which SR0 is
1519 not special. To handle this, pass ~SP. */
1520 static TCGv_i64 space_select(DisasContext *ctx, int sp, TCGv_i64 base)
1521 {
1522 TCGv_ptr ptr;
1523 TCGv_i64 tmp;
1524 TCGv_i64 spc;
1525
1526 if (sp != 0) {
1527 if (sp < 0) {
1528 sp = ~sp;
1529 }
1530 spc = tcg_temp_new_i64();
1531 load_spr(ctx, spc, sp);
1532 return spc;
1533 }
1534 if (ctx->tb_flags & TB_FLAG_SR_SAME) {
1535 return cpu_srH;
1536 }
1537
1538 ptr = tcg_temp_new_ptr();
1539 tmp = tcg_temp_new_i64();
1540 spc = tcg_temp_new_i64();
1541
1542 /* Extract top 2 bits of the address, shift left 3 for uint64_t index. */
1543 tcg_gen_shri_i64(tmp, base, (ctx->tb_flags & PSW_W ? 64 : 32) - 5);
1544 tcg_gen_andi_i64(tmp, tmp, 030);
1545 tcg_gen_trunc_i64_ptr(ptr, tmp);
1546
1547 tcg_gen_add_ptr(ptr, ptr, tcg_env);
1548 tcg_gen_ld_i64(spc, ptr, offsetof(CPUHPPAState, sr[4]));
1549
1550 return spc;
1551 }
1552 #endif
1553
1554 static void form_gva(DisasContext *ctx, TCGv_i64 *pgva, TCGv_i64 *pofs,
1555 unsigned rb, unsigned rx, int scale, int64_t disp,
1556 unsigned sp, int modify, bool is_phys)
1557 {
1558 TCGv_i64 base = load_gpr(ctx, rb);
1559 TCGv_i64 ofs;
1560 TCGv_i64 addr;
1561
1562 set_insn_breg(ctx, rb);
1563
1564 /* Note that RX is mutually exclusive with DISP. */
1565 if (rx) {
1566 ofs = tcg_temp_new_i64();
1567 tcg_gen_shli_i64(ofs, cpu_gr[rx], scale);
1568 tcg_gen_add_i64(ofs, ofs, base);
1569 } else if (disp || modify) {
1570 ofs = tcg_temp_new_i64();
1571 tcg_gen_addi_i64(ofs, base, disp);
1572 } else {
1573 ofs = base;
1574 }
1575
1576 *pofs = ofs;
1577 *pgva = addr = tcg_temp_new_i64();
1578 tcg_gen_andi_i64(addr, modify <= 0 ? ofs : base,
1579 gva_offset_mask(ctx->tb_flags));
1580 #ifndef CONFIG_USER_ONLY
1581 if (!is_phys) {
1582 tcg_gen_or_i64(addr, addr, space_select(ctx, sp, base));
1583 }
1584 #endif
1585 }
1586
1587 /* Emit a memory load. The modify parameter should be
1588 * < 0 for pre-modify,
1589 * > 0 for post-modify,
1590 * = 0 for no base register update.
1591 */
1592 static void do_load_32(DisasContext *ctx, TCGv_i32 dest, unsigned rb,
1593 unsigned rx, int scale, int64_t disp,
1594 unsigned sp, int modify, MemOp mop)
1595 {
1596 TCGv_i64 ofs;
1597 TCGv_i64 addr;
1598
1599 /* Caller uses nullify_over/nullify_end. */
1600 assert(ctx->null_cond.c == TCG_COND_NEVER);
1601
1602 form_gva(ctx, &addr, &ofs, rb, rx, scale, disp, sp, modify,
1603 MMU_DISABLED(ctx));
1604 tcg_gen_qemu_ld_i32(dest, addr, ctx->mmu_idx, mop | UNALIGN(ctx));
1605 if (modify) {
1606 save_gpr(ctx, rb, ofs);
1607 }
1608 }
1609
1610 static void do_load_64(DisasContext *ctx, TCGv_i64 dest, unsigned rb,
1611 unsigned rx, int scale, int64_t disp,
1612 unsigned sp, int modify, MemOp mop)
1613 {
1614 TCGv_i64 ofs;
1615 TCGv_i64 addr;
1616
1617 /* Caller uses nullify_over/nullify_end. */
1618 assert(ctx->null_cond.c == TCG_COND_NEVER);
1619
1620 form_gva(ctx, &addr, &ofs, rb, rx, scale, disp, sp, modify,
1621 MMU_DISABLED(ctx));
1622 tcg_gen_qemu_ld_i64(dest, addr, ctx->mmu_idx, mop | UNALIGN(ctx));
1623 if (modify) {
1624 save_gpr(ctx, rb, ofs);
1625 }
1626 }
1627
1628 static void do_store_32(DisasContext *ctx, TCGv_i32 src, unsigned rb,
1629 unsigned rx, int scale, int64_t disp,
1630 unsigned sp, int modify, MemOp mop)
1631 {
1632 TCGv_i64 ofs;
1633 TCGv_i64 addr;
1634
1635 /* Caller uses nullify_over/nullify_end. */
1636 assert(ctx->null_cond.c == TCG_COND_NEVER);
1637
1638 form_gva(ctx, &addr, &ofs, rb, rx, scale, disp, sp, modify,
1639 MMU_DISABLED(ctx));
1640 tcg_gen_qemu_st_i32(src, addr, ctx->mmu_idx, mop | UNALIGN(ctx));
1641 if (modify) {
1642 save_gpr(ctx, rb, ofs);
1643 }
1644 }
1645
1646 static void do_store_64(DisasContext *ctx, TCGv_i64 src, unsigned rb,
1647 unsigned rx, int scale, int64_t disp,
1648 unsigned sp, int modify, MemOp mop)
1649 {
1650 TCGv_i64 ofs;
1651 TCGv_i64 addr;
1652
1653 /* Caller uses nullify_over/nullify_end. */
1654 assert(ctx->null_cond.c == TCG_COND_NEVER);
1655
1656 form_gva(ctx, &addr, &ofs, rb, rx, scale, disp, sp, modify,
1657 MMU_DISABLED(ctx));
1658 tcg_gen_qemu_st_i64(src, addr, ctx->mmu_idx, mop | UNALIGN(ctx));
1659 if (modify) {
1660 save_gpr(ctx, rb, ofs);
1661 }
1662 }
1663
1664 static bool do_load(DisasContext *ctx, unsigned rt, unsigned rb,
1665 unsigned rx, int scale, int64_t disp,
1666 unsigned sp, int modify, MemOp mop)
1667 {
1668 TCGv_i64 dest;
1669
1670 nullify_over(ctx);
1671
1672 if (modify == 0) {
1673 /* No base register update. */
1674 dest = dest_gpr(ctx, rt);
1675 } else {
1676 /* Make sure if RT == RB, we see the result of the load. */
1677 dest = tcg_temp_new_i64();
1678 }
1679 do_load_64(ctx, dest, rb, rx, scale, disp, sp, modify, mop);
1680 save_gpr(ctx, rt, dest);
1681
1682 return nullify_end(ctx);
1683 }
1684
1685 static bool do_floadw(DisasContext *ctx, unsigned rt, unsigned rb,
1686 unsigned rx, int scale, int64_t disp,
1687 unsigned sp, int modify)
1688 {
1689 TCGv_i32 tmp;
1690
1691 nullify_over(ctx);
1692
1693 tmp = tcg_temp_new_i32();
1694 do_load_32(ctx, tmp, rb, rx, scale, disp, sp, modify, MO_TEUL);
1695 save_frw_i32(rt, tmp);
1696
1697 if (rt == 0) {
1698 gen_helper_loaded_fr0(tcg_env);
1699 }
1700
1701 return nullify_end(ctx);
1702 }
1703
1704 static bool trans_fldw(DisasContext *ctx, arg_ldst *a)
1705 {
1706 return do_floadw(ctx, a->t, a->b, a->x, a->scale ? 2 : 0,
1707 a->disp, a->sp, a->m);
1708 }
1709
1710 static bool do_floadd(DisasContext *ctx, unsigned rt, unsigned rb,
1711 unsigned rx, int scale, int64_t disp,
1712 unsigned sp, int modify)
1713 {
1714 TCGv_i64 tmp;
1715
1716 nullify_over(ctx);
1717
1718 tmp = tcg_temp_new_i64();
1719 do_load_64(ctx, tmp, rb, rx, scale, disp, sp, modify, MO_TEUQ);
1720 save_frd(rt, tmp);
1721
1722 if (rt == 0) {
1723 gen_helper_loaded_fr0(tcg_env);
1724 }
1725
1726 return nullify_end(ctx);
1727 }
1728
1729 static bool trans_fldd(DisasContext *ctx, arg_ldst *a)
1730 {
1731 return do_floadd(ctx, a->t, a->b, a->x, a->scale ? 3 : 0,
1732 a->disp, a->sp, a->m);
1733 }
1734
1735 static bool do_store(DisasContext *ctx, unsigned rt, unsigned rb,
1736 int64_t disp, unsigned sp,
1737 int modify, MemOp mop)
1738 {
1739 nullify_over(ctx);
1740 do_store_64(ctx, load_gpr(ctx, rt), rb, 0, 0, disp, sp, modify, mop);
1741 return nullify_end(ctx);
1742 }
1743
1744 static bool do_fstorew(DisasContext *ctx, unsigned rt, unsigned rb,
1745 unsigned rx, int scale, int64_t disp,
1746 unsigned sp, int modify)
1747 {
1748 TCGv_i32 tmp;
1749
1750 nullify_over(ctx);
1751
1752 tmp = load_frw_i32(rt);
1753 do_store_32(ctx, tmp, rb, rx, scale, disp, sp, modify, MO_TEUL);
1754
1755 return nullify_end(ctx);
1756 }
1757
1758 static bool trans_fstw(DisasContext *ctx, arg_ldst *a)
1759 {
1760 return do_fstorew(ctx, a->t, a->b, a->x, a->scale ? 2 : 0,
1761 a->disp, a->sp, a->m);
1762 }
1763
1764 static bool do_fstored(DisasContext *ctx, unsigned rt, unsigned rb,
1765 unsigned rx, int scale, int64_t disp,
1766 unsigned sp, int modify)
1767 {
1768 TCGv_i64 tmp;
1769
1770 nullify_over(ctx);
1771
1772 tmp = load_frd(rt);
1773 do_store_64(ctx, tmp, rb, rx, scale, disp, sp, modify, MO_TEUQ);
1774
1775 return nullify_end(ctx);
1776 }
1777
1778 static bool trans_fstd(DisasContext *ctx, arg_ldst *a)
1779 {
1780 return do_fstored(ctx, a->t, a->b, a->x, a->scale ? 3 : 0,
1781 a->disp, a->sp, a->m);
1782 }
1783
1784 static bool do_fop_wew(DisasContext *ctx, unsigned rt, unsigned ra,
1785 void (*func)(TCGv_i32, TCGv_env, TCGv_i32))
1786 {
1787 TCGv_i32 tmp;
1788
1789 nullify_over(ctx);
1790 tmp = load_frw0_i32(ra);
1791
1792 func(tmp, tcg_env, tmp);
1793
1794 save_frw_i32(rt, tmp);
1795 return nullify_end(ctx);
1796 }
1797
1798 static bool do_fop_wed(DisasContext *ctx, unsigned rt, unsigned ra,
1799 void (*func)(TCGv_i32, TCGv_env, TCGv_i64))
1800 {
1801 TCGv_i32 dst;
1802 TCGv_i64 src;
1803
1804 nullify_over(ctx);
1805 src = load_frd(ra);
1806 dst = tcg_temp_new_i32();
1807
1808 func(dst, tcg_env, src);
1809
1810 save_frw_i32(rt, dst);
1811 return nullify_end(ctx);
1812 }
1813
1814 static bool do_fop_ded(DisasContext *ctx, unsigned rt, unsigned ra,
1815 void (*func)(TCGv_i64, TCGv_env, TCGv_i64))
1816 {
1817 TCGv_i64 tmp;
1818
1819 nullify_over(ctx);
1820 tmp = load_frd0(ra);
1821
1822 func(tmp, tcg_env, tmp);
1823
1824 save_frd(rt, tmp);
1825 return nullify_end(ctx);
1826 }
1827
1828 static bool do_fop_dew(DisasContext *ctx, unsigned rt, unsigned ra,
1829 void (*func)(TCGv_i64, TCGv_env, TCGv_i32))
1830 {
1831 TCGv_i32 src;
1832 TCGv_i64 dst;
1833
1834 nullify_over(ctx);
1835 src = load_frw0_i32(ra);
1836 dst = tcg_temp_new_i64();
1837
1838 func(dst, tcg_env, src);
1839
1840 save_frd(rt, dst);
1841 return nullify_end(ctx);
1842 }
1843
1844 static bool do_fop_weww(DisasContext *ctx, unsigned rt,
1845 unsigned ra, unsigned rb,
1846 void (*func)(TCGv_i32, TCGv_env, TCGv_i32, TCGv_i32))
1847 {
1848 TCGv_i32 a, b;
1849
1850 nullify_over(ctx);
1851 a = load_frw0_i32(ra);
1852 b = load_frw0_i32(rb);
1853
1854 func(a, tcg_env, a, b);
1855
1856 save_frw_i32(rt, a);
1857 return nullify_end(ctx);
1858 }
1859
1860 static bool do_fop_dedd(DisasContext *ctx, unsigned rt,
1861 unsigned ra, unsigned rb,
1862 void (*func)(TCGv_i64, TCGv_env, TCGv_i64, TCGv_i64))
1863 {
1864 TCGv_i64 a, b;
1865
1866 nullify_over(ctx);
1867 a = load_frd0(ra);
1868 b = load_frd0(rb);
1869
1870 func(a, tcg_env, a, b);
1871
1872 save_frd(rt, a);
1873 return nullify_end(ctx);
1874 }
1875
1876 /* Emit an unconditional branch to a direct target, which may or may not
1877 have already had nullification handled. */
1878 static bool do_dbranch(DisasContext *ctx, int64_t disp,
1879 unsigned link, bool is_n)
1880 {
1881 ctx->iaq_j = iaqe_branchi(ctx, disp);
1882
1883 if (ctx->null_cond.c == TCG_COND_NEVER && ctx->null_lab == NULL) {
1884 install_link(ctx, link, false);
1885 if (is_n) {
1886 if (use_nullify_skip(ctx)) {
1887 nullify_set(ctx, 0);
1888 store_psw_xb(ctx, 0);
1889 gen_goto_tb(ctx, 0, &ctx->iaq_j, NULL);
1890 ctx->base.is_jmp = DISAS_NORETURN;
1891 return true;
1892 }
1893 ctx->null_cond.c = TCG_COND_ALWAYS;
1894 }
1895 ctx->iaq_n = &ctx->iaq_j;
1896 ctx->psw_b_next = true;
1897 } else {
1898 nullify_over(ctx);
1899
1900 install_link(ctx, link, false);
1901 if (is_n && use_nullify_skip(ctx)) {
1902 nullify_set(ctx, 0);
1903 store_psw_xb(ctx, 0);
1904 gen_goto_tb(ctx, 0, &ctx->iaq_j, NULL);
1905 } else {
1906 nullify_set(ctx, is_n);
1907 store_psw_xb(ctx, PSW_B);
1908 gen_goto_tb(ctx, 0, &ctx->iaq_b, &ctx->iaq_j);
1909 }
1910 nullify_end(ctx);
1911
1912 nullify_set(ctx, 0);
1913 store_psw_xb(ctx, 0);
1914 gen_goto_tb(ctx, 1, &ctx->iaq_b, NULL);
1915 ctx->base.is_jmp = DISAS_NORETURN;
1916 }
1917 return true;
1918 }
1919
1920 /* Emit a conditional branch to a direct target. If the branch itself
1921 is nullified, we should have already used nullify_over. */
1922 static bool do_cbranch(DisasContext *ctx, int64_t disp, bool is_n,
1923 DisasCond *cond)
1924 {
1925 DisasIAQE next;
1926 TCGLabel *taken = NULL;
1927 TCGCond c = cond->c;
1928 bool n;
1929
1930 assert(ctx->null_cond.c == TCG_COND_NEVER);
1931
1932 /* Handle TRUE and NEVER as direct branches. */
1933 if (c == TCG_COND_ALWAYS) {
1934 return do_dbranch(ctx, disp, 0, is_n && disp >= 0);
1935 }
1936
1937 taken = gen_new_label();
1938 tcg_gen_brcond_i64(c, cond->a0, cond->a1, taken);
1939
1940 /* Not taken: Condition not satisfied; nullify on backward branches. */
1941 n = is_n && disp < 0;
1942 if (n && use_nullify_skip(ctx)) {
1943 nullify_set(ctx, 0);
1944 store_psw_xb(ctx, 0);
1945 next = iaqe_incr(&ctx->iaq_b, 4);
1946 gen_goto_tb(ctx, 0, &next, NULL);
1947 } else {
1948 if (!n && ctx->null_lab) {
1949 gen_set_label(ctx->null_lab);
1950 ctx->null_lab = NULL;
1951 }
1952 nullify_set(ctx, n);
1953 store_psw_xb(ctx, 0);
1954 gen_goto_tb(ctx, 0, &ctx->iaq_b, NULL);
1955 }
1956
1957 gen_set_label(taken);
1958
1959 /* Taken: Condition satisfied; nullify on forward branches. */
1960 n = is_n && disp >= 0;
1961
1962 next = iaqe_branchi(ctx, disp);
1963 if (n && use_nullify_skip(ctx)) {
1964 nullify_set(ctx, 0);
1965 store_psw_xb(ctx, 0);
1966 gen_goto_tb(ctx, 1, &next, NULL);
1967 } else {
1968 nullify_set(ctx, n);
1969 store_psw_xb(ctx, PSW_B);
1970 gen_goto_tb(ctx, 1, &ctx->iaq_b, &next);
1971 }
1972
1973 /* Not taken: the branch itself was nullified. */
1974 if (ctx->null_lab) {
1975 gen_set_label(ctx->null_lab);
1976 ctx->null_lab = NULL;
1977 ctx->base.is_jmp = DISAS_IAQ_N_STALE;
1978 } else {
1979 ctx->base.is_jmp = DISAS_NORETURN;
1980 }
1981 return true;
1982 }
1983
1984 /*
1985 * Emit an unconditional branch to an indirect target, in ctx->iaq_j.
1986 * This handles nullification of the branch itself.
1987 */
1988 static bool do_ibranch(DisasContext *ctx, unsigned link,
1989 bool with_sr0, bool is_n)
1990 {
1991 if (ctx->null_cond.c == TCG_COND_NEVER && ctx->null_lab == NULL) {
1992 install_link(ctx, link, with_sr0);
1993 if (is_n) {
1994 if (use_nullify_skip(ctx)) {
1995 install_iaq_entries(ctx, &ctx->iaq_j, NULL);
1996 nullify_set(ctx, 0);
1997 ctx->base.is_jmp = DISAS_IAQ_N_UPDATED;
1998 return true;
1999 }
2000 ctx->null_cond.c = TCG_COND_ALWAYS;
2001 }
2002 ctx->iaq_n = &ctx->iaq_j;
2003 ctx->psw_b_next = true;
2004 return true;
2005 }
2006
2007 nullify_over(ctx);
2008
2009 install_link(ctx, link, with_sr0);
2010 if (is_n && use_nullify_skip(ctx)) {
2011 install_iaq_entries(ctx, &ctx->iaq_j, NULL);
2012 nullify_set(ctx, 0);
2013 store_psw_xb(ctx, 0);
2014 } else {
2015 install_iaq_entries(ctx, &ctx->iaq_b, &ctx->iaq_j);
2016 nullify_set(ctx, is_n);
2017 store_psw_xb(ctx, PSW_B);
2018 }
2019
2020 tcg_gen_lookup_and_goto_ptr();
2021 ctx->base.is_jmp = DISAS_NORETURN;
2022 return nullify_end(ctx);
2023 }
2024
2025 /* Implement
2026 * if (IAOQ_Front{30..31} < GR[b]{30..31})
2027 * IAOQ_Next{30..31} ← GR[b]{30..31};
2028 * else
2029 * IAOQ_Next{30..31} ← IAOQ_Front{30..31};
2030 * which keeps the privilege level from being increased.
2031 */
2032 static TCGv_i64 do_ibranch_priv(DisasContext *ctx, TCGv_i64 offset)
2033 {
2034 TCGv_i64 dest = tcg_temp_new_i64();
2035 switch (ctx->privilege) {
2036 case 0:
2037 /* Privilege 0 is maximum and is allowed to decrease. */
2038 tcg_gen_mov_i64(dest, offset);
2039 break;
2040 case 3:
2041 /* Privilege 3 is minimum and is never allowed to increase. */
2042 tcg_gen_ori_i64(dest, offset, 3);
2043 break;
2044 default:
2045 tcg_gen_andi_i64(dest, offset, -4);
2046 tcg_gen_ori_i64(dest, dest, ctx->privilege);
2047 tcg_gen_umax_i64(dest, dest, offset);
2048 break;
2049 }
2050 return dest;
2051 }
2052
2053 #ifdef CONFIG_USER_ONLY
2054 /* On Linux, page zero is normally marked execute only + gateway.
2055 Therefore normal read or write is supposed to fail, but specific
2056 offsets have kernel code mapped to raise permissions to implement
2057 system calls. Handling this via an explicit check here, rather
2058 in than the "be disp(sr2,r0)" instruction that probably sent us
2059 here, is the easiest way to handle the branch delay slot on the
2060 aforementioned BE. */
2061 static void do_page_zero(DisasContext *ctx)
2062 {
2063 assert(ctx->iaq_f.disp == 0);
2064
2065 /* If by some means we get here with PSW[N]=1, that implies that
2066 the B,GATE instruction would be skipped, and we'd fault on the
2067 next insn within the privileged page. */
2068 switch (ctx->null_cond.c) {
2069 case TCG_COND_NEVER:
2070 break;
2071 case TCG_COND_ALWAYS:
2072 tcg_gen_movi_i64(cpu_psw_n, 0);
2073 goto do_sigill;
2074 default:
2075 /* Since this is always the first (and only) insn within the
2076 TB, we should know the state of PSW[N] from TB->FLAGS. */
2077 g_assert_not_reached();
2078 }
2079
2080 /* If PSW[B] is set, the B,GATE insn would trap. */
2081 if (ctx->psw_xb & PSW_B) {
2082 goto do_sigill;
2083 }
2084
2085 switch (ctx->base.pc_first) {
2086 case 0x00: /* Null pointer call */
2087 gen_excp_1(EXCP_IMP);
2088 ctx->base.is_jmp = DISAS_NORETURN;
2089 break;
2090
2091 case 0xb0: /* LWS */
2092 gen_excp_1(EXCP_SYSCALL_LWS);
2093 ctx->base.is_jmp = DISAS_NORETURN;
2094 break;
2095
2096 case 0xe0: /* SET_THREAD_POINTER */
2097 {
2098 DisasIAQE next = { .base = tcg_temp_new_i64() };
2099
2100 tcg_gen_st_i64(cpu_gr[26], tcg_env,
2101 offsetof(CPUHPPAState, cr[27]));
2102 tcg_gen_ori_i64(next.base, cpu_gr[31], PRIV_USER);
2103 install_iaq_entries(ctx, &next, NULL);
2104 ctx->base.is_jmp = DISAS_IAQ_N_UPDATED;
2105 }
2106 break;
2107
2108 case 0x100: /* SYSCALL */
2109 gen_excp_1(EXCP_SYSCALL);
2110 ctx->base.is_jmp = DISAS_NORETURN;
2111 break;
2112
2113 default:
2114 do_sigill:
2115 gen_excp_1(EXCP_ILL);
2116 ctx->base.is_jmp = DISAS_NORETURN;
2117 break;
2118 }
2119 }
2120 #endif
2121
2122 static bool trans_nop(DisasContext *ctx, arg_nop *a)
2123 {
2124 ctx->null_cond = cond_make_f();
2125 return true;
2126 }
2127
2128 static bool trans_break(DisasContext *ctx, arg_break *a)
2129 {
2130 return gen_excp_iir(ctx, EXCP_BREAK);
2131 }
2132
2133 static bool trans_sync(DisasContext *ctx, arg_sync *a)
2134 {
2135 /* No point in nullifying the memory barrier. */
2136 tcg_gen_mb(TCG_BAR_SC | TCG_MO_ALL);
2137
2138 ctx->null_cond = cond_make_f();
2139 return true;
2140 }
2141
2142 static bool trans_mfia(DisasContext *ctx, arg_mfia *a)
2143 {
2144 TCGv_i64 dest = dest_gpr(ctx, a->t);
2145
2146 copy_iaoq_entry(ctx, dest, &ctx->iaq_f);
2147 tcg_gen_andi_i64(dest, dest, -4);
2148
2149 save_gpr(ctx, a->t, dest);
2150 ctx->null_cond = cond_make_f();
2151 return true;
2152 }
2153
2154 static bool trans_mfsp(DisasContext *ctx, arg_mfsp *a)
2155 {
2156 unsigned rt = a->t;
2157 unsigned rs = a->sp;
2158 TCGv_i64 t0 = tcg_temp_new_i64();
2159
2160 load_spr(ctx, t0, rs);
2161 tcg_gen_shri_i64(t0, t0, 32);
2162
2163 save_gpr(ctx, rt, t0);
2164
2165 ctx->null_cond = cond_make_f();
2166 return true;
2167 }
2168
2169 static bool trans_mfctl(DisasContext *ctx, arg_mfctl *a)
2170 {
2171 unsigned rt = a->t;
2172 unsigned ctl = a->r;
2173 TCGv_i64 tmp;
2174
2175 switch (ctl) {
2176 case CR_SAR:
2177 if (a->e == 0) {
2178 /* MFSAR without ,W masks low 5 bits. */
2179 tmp = dest_gpr(ctx, rt);
2180 tcg_gen_andi_i64(tmp, cpu_sar, 31);
2181 save_gpr(ctx, rt, tmp);
2182 goto done;
2183 }
2184 save_gpr(ctx, rt, cpu_sar);
2185 goto done;
2186 case CR_IT: /* Interval Timer */
2187 /* FIXME: Respect PSW_S bit. */
2188 nullify_over(ctx);
2189 tmp = dest_gpr(ctx, rt);
2190 if (translator_io_start(&ctx->base)) {
2191 ctx->base.is_jmp = DISAS_IAQ_N_STALE;
2192 }
2193 gen_helper_read_interval_timer(tmp);
2194 save_gpr(ctx, rt, tmp);
2195 return nullify_end(ctx);
2196 case 26:
2197 case 27:
2198 break;
2199 default:
2200 /* All other control registers are privileged. */
2201 CHECK_MOST_PRIVILEGED(EXCP_PRIV_REG);
2202 break;
2203 }
2204
2205 tmp = tcg_temp_new_i64();
2206 tcg_gen_ld_i64(tmp, tcg_env, offsetof(CPUHPPAState, cr[ctl]));
2207 save_gpr(ctx, rt, tmp);
2208
2209 done:
2210 ctx->null_cond = cond_make_f();
2211 return true;
2212 }
2213
2214 static bool trans_mtsp(DisasContext *ctx, arg_mtsp *a)
2215 {
2216 unsigned rr = a->r;
2217 unsigned rs = a->sp;
2218 TCGv_i64 tmp;
2219
2220 if (rs >= 5) {
2221 CHECK_MOST_PRIVILEGED(EXCP_PRIV_REG);
2222 }
2223 nullify_over(ctx);
2224
2225 tmp = tcg_temp_new_i64();
2226 tcg_gen_shli_i64(tmp, load_gpr(ctx, rr), 32);
2227
2228 if (rs >= 4) {
2229 tcg_gen_st_i64(tmp, tcg_env, offsetof(CPUHPPAState, sr[rs]));
2230 ctx->tb_flags &= ~TB_FLAG_SR_SAME;
2231 } else {
2232 tcg_gen_mov_i64(cpu_sr[rs], tmp);
2233 }
2234
2235 return nullify_end(ctx);
2236 }
2237
2238 static bool trans_mtctl(DisasContext *ctx, arg_mtctl *a)
2239 {
2240 unsigned ctl = a->t;
2241 TCGv_i64 reg;
2242 TCGv_i64 tmp;
2243
2244 if (ctl == CR_SAR) {
2245 reg = load_gpr(ctx, a->r);
2246 tmp = tcg_temp_new_i64();
2247 tcg_gen_andi_i64(tmp, reg, ctx->is_pa20 ? 63 : 31);
2248 save_or_nullify(ctx, cpu_sar, tmp);
2249
2250 ctx->null_cond = cond_make_f();
2251 return true;
2252 }
2253
2254 /* All other control registers are privileged or read-only. */
2255 CHECK_MOST_PRIVILEGED(EXCP_PRIV_REG);
2256
2257 #ifndef CONFIG_USER_ONLY
2258 nullify_over(ctx);
2259
2260 if (ctx->is_pa20) {
2261 reg = load_gpr(ctx, a->r);
2262 } else {
2263 reg = tcg_temp_new_i64();
2264 tcg_gen_ext32u_i64(reg, load_gpr(ctx, a->r));
2265 }
2266
2267 switch (ctl) {
2268 case CR_IT:
2269 if (translator_io_start(&ctx->base)) {
2270 ctx->base.is_jmp = DISAS_IAQ_N_STALE;
2271 }
2272 gen_helper_write_interval_timer(tcg_env, reg);
2273 break;
2274 case CR_EIRR:
2275 /* Helper modifies interrupt lines and is therefore IO. */
2276 translator_io_start(&ctx->base);
2277 gen_helper_write_eirr(tcg_env, reg);
2278 /* Exit to re-evaluate interrupts in the main loop. */
2279 ctx->base.is_jmp = DISAS_IAQ_N_STALE_EXIT;
2280 break;
2281
2282 case CR_IIASQ:
2283 case CR_IIAOQ:
2284 /* FIXME: Respect PSW_Q bit */
2285 /* The write advances the queue and stores to the back element. */
2286 tmp = tcg_temp_new_i64();
2287 tcg_gen_ld_i64(tmp, tcg_env,
2288 offsetof(CPUHPPAState, cr_back[ctl - CR_IIASQ]));
2289 tcg_gen_st_i64(tmp, tcg_env, offsetof(CPUHPPAState, cr[ctl]));
2290 tcg_gen_st_i64(reg, tcg_env,
2291 offsetof(CPUHPPAState, cr_back[ctl - CR_IIASQ]));
2292 break;
2293
2294 case CR_PID1:
2295 case CR_PID2:
2296 case CR_PID3:
2297 case CR_PID4:
2298 tcg_gen_st_i64(reg, tcg_env, offsetof(CPUHPPAState, cr[ctl]));
2299 #ifndef CONFIG_USER_ONLY
2300 gen_helper_change_prot_id(tcg_env);
2301 #endif
2302 break;
2303
2304 case CR_EIEM:
2305 /* Exit to re-evaluate interrupts in the main loop. */
2306 ctx->base.is_jmp = DISAS_IAQ_N_STALE_EXIT;
2307 /* FALLTHRU */
2308 default:
2309 tcg_gen_st_i64(reg, tcg_env, offsetof(CPUHPPAState, cr[ctl]));
2310 break;
2311 }
2312 return nullify_end(ctx);
2313 #endif
2314 }
2315
2316 static bool trans_mtsarcm(DisasContext *ctx, arg_mtsarcm *a)
2317 {
2318 TCGv_i64 tmp = tcg_temp_new_i64();
2319
2320 tcg_gen_not_i64(tmp, load_gpr(ctx, a->r));
2321 tcg_gen_andi_i64(tmp, tmp, ctx->is_pa20 ? 63 : 31);
2322 save_or_nullify(ctx, cpu_sar, tmp);
2323
2324 ctx->null_cond = cond_make_f();
2325 return true;
2326 }
2327
2328 static bool trans_ldsid(DisasContext *ctx, arg_ldsid *a)
2329 {
2330 TCGv_i64 dest = dest_gpr(ctx, a->t);
2331
2332 #ifdef CONFIG_USER_ONLY
2333 /* We don't implement space registers in user mode. */
2334 tcg_gen_movi_i64(dest, 0);
2335 #else
2336 tcg_gen_mov_i64(dest, space_select(ctx, a->sp, load_gpr(ctx, a->b)));
2337 tcg_gen_shri_i64(dest, dest, 32);
2338 #endif
2339 save_gpr(ctx, a->t, dest);
2340
2341 ctx->null_cond = cond_make_f();
2342 return true;
2343 }
2344
2345 static bool trans_rsm(DisasContext *ctx, arg_rsm *a)
2346 {
2347 #ifdef CONFIG_USER_ONLY
2348 CHECK_MOST_PRIVILEGED(EXCP_PRIV_OPR);
2349 #else
2350 TCGv_i64 tmp;
2351
2352 /* HP-UX 11i and HP ODE use rsm for read-access to PSW */
2353 if (a->i) {
2354 CHECK_MOST_PRIVILEGED(EXCP_PRIV_OPR);
2355 }
2356
2357 nullify_over(ctx);
2358
2359 tmp = tcg_temp_new_i64();
2360 tcg_gen_ld_i64(tmp, tcg_env, offsetof(CPUHPPAState, psw));
2361 tcg_gen_andi_i64(tmp, tmp, ~a->i);
2362 gen_helper_swap_system_mask(tmp, tcg_env, tmp);
2363 save_gpr(ctx, a->t, tmp);
2364
2365 /* Exit the TB to recognize new interrupts, e.g. PSW_M. */
2366 ctx->base.is_jmp = DISAS_IAQ_N_STALE_EXIT;
2367 return nullify_end(ctx);
2368 #endif
2369 }
2370
2371 static bool trans_ssm(DisasContext *ctx, arg_ssm *a)
2372 {
2373 CHECK_MOST_PRIVILEGED(EXCP_PRIV_OPR);
2374 #ifndef CONFIG_USER_ONLY
2375 TCGv_i64 tmp;
2376
2377 nullify_over(ctx);
2378
2379 tmp = tcg_temp_new_i64();
2380 tcg_gen_ld_i64(tmp, tcg_env, offsetof(CPUHPPAState, psw));
2381 tcg_gen_ori_i64(tmp, tmp, a->i);
2382 gen_helper_swap_system_mask(tmp, tcg_env, tmp);
2383 save_gpr(ctx, a->t, tmp);
2384
2385 /* Exit the TB to recognize new interrupts, e.g. PSW_I. */
2386 ctx->base.is_jmp = DISAS_IAQ_N_STALE_EXIT;
2387 return nullify_end(ctx);
2388 #endif
2389 }
2390
2391 static bool trans_mtsm(DisasContext *ctx, arg_mtsm *a)
2392 {
2393 CHECK_MOST_PRIVILEGED(EXCP_PRIV_OPR);
2394 #ifndef CONFIG_USER_ONLY
2395 TCGv_i64 tmp, reg;
2396 nullify_over(ctx);
2397
2398 reg = load_gpr(ctx, a->r);
2399 tmp = tcg_temp_new_i64();
2400 gen_helper_swap_system_mask(tmp, tcg_env, reg);
2401
2402 /* Exit the TB to recognize new interrupts. */
2403 ctx->base.is_jmp = DISAS_IAQ_N_STALE_EXIT;
2404 return nullify_end(ctx);
2405 #endif
2406 }
2407
2408 static bool do_rfi(DisasContext *ctx, bool rfi_r)
2409 {
2410 CHECK_MOST_PRIVILEGED(EXCP_PRIV_OPR);
2411 #ifndef CONFIG_USER_ONLY
2412 nullify_over(ctx);
2413
2414 if (rfi_r) {
2415 gen_helper_rfi_r(tcg_env);
2416 } else {
2417 gen_helper_rfi(tcg_env);
2418 }
2419 /* Exit the TB to recognize new interrupts. */
2420 tcg_gen_exit_tb(NULL, 0);
2421 ctx->base.is_jmp = DISAS_NORETURN;
2422
2423 return nullify_end(ctx);
2424 #endif
2425 }
2426
2427 static bool trans_rfi(DisasContext *ctx, arg_rfi *a)
2428 {
2429 return do_rfi(ctx, false);
2430 }
2431
2432 static bool trans_rfi_r(DisasContext *ctx, arg_rfi_r *a)
2433 {
2434 return do_rfi(ctx, true);
2435 }
2436
2437 static bool trans_halt(DisasContext *ctx, arg_halt *a)
2438 {
2439 CHECK_MOST_PRIVILEGED(EXCP_PRIV_OPR);
2440 #ifndef CONFIG_USER_ONLY
2441 set_psw_xb(ctx, 0);
2442 nullify_over(ctx);
2443 gen_helper_halt(tcg_env);
2444 ctx->base.is_jmp = DISAS_NORETURN;
2445 return nullify_end(ctx);
2446 #endif
2447 }
2448
2449 static bool trans_reset(DisasContext *ctx, arg_reset *a)
2450 {
2451 CHECK_MOST_PRIVILEGED(EXCP_PRIV_OPR);
2452 #ifndef CONFIG_USER_ONLY
2453 set_psw_xb(ctx, 0);
2454 nullify_over(ctx);
2455 gen_helper_reset(tcg_env);
2456 ctx->base.is_jmp = DISAS_NORETURN;
2457 return nullify_end(ctx);
2458 #endif
2459 }
2460
2461 static bool do_getshadowregs(DisasContext *ctx)
2462 {
2463 CHECK_MOST_PRIVILEGED(EXCP_PRIV_OPR);
2464 nullify_over(ctx);
2465 tcg_gen_ld_i64(cpu_gr[1], tcg_env, offsetof(CPUHPPAState, shadow[0]));
2466 tcg_gen_ld_i64(cpu_gr[8], tcg_env, offsetof(CPUHPPAState, shadow[1]));
2467 tcg_gen_ld_i64(cpu_gr[9], tcg_env, offsetof(CPUHPPAState, shadow[2]));
2468 tcg_gen_ld_i64(cpu_gr[16], tcg_env, offsetof(CPUHPPAState, shadow[3]));
2469 tcg_gen_ld_i64(cpu_gr[17], tcg_env, offsetof(CPUHPPAState, shadow[4]));
2470 tcg_gen_ld_i64(cpu_gr[24], tcg_env, offsetof(CPUHPPAState, shadow[5]));
2471 tcg_gen_ld_i64(cpu_gr[25], tcg_env, offsetof(CPUHPPAState, shadow[6]));
2472 return nullify_end(ctx);
2473 }
2474
2475 static bool do_putshadowregs(DisasContext *ctx)
2476 {
2477 CHECK_MOST_PRIVILEGED(EXCP_PRIV_OPR);
2478 nullify_over(ctx);
2479 tcg_gen_st_i64(cpu_gr[1], tcg_env, offsetof(CPUHPPAState, shadow[0]));
2480 tcg_gen_st_i64(cpu_gr[8], tcg_env, offsetof(CPUHPPAState, shadow[1]));
2481 tcg_gen_st_i64(cpu_gr[9], tcg_env, offsetof(CPUHPPAState, shadow[2]));
2482 tcg_gen_st_i64(cpu_gr[16], tcg_env, offsetof(CPUHPPAState, shadow[3]));
2483 tcg_gen_st_i64(cpu_gr[17], tcg_env, offsetof(CPUHPPAState, shadow[4]));
2484 tcg_gen_st_i64(cpu_gr[24], tcg_env, offsetof(CPUHPPAState, shadow[5]));
2485 tcg_gen_st_i64(cpu_gr[25], tcg_env, offsetof(CPUHPPAState, shadow[6]));
2486 return nullify_end(ctx);
2487 }
2488
2489 static bool trans_getshadowregs(DisasContext *ctx, arg_getshadowregs *a)
2490 {
2491 return do_getshadowregs(ctx);
2492 }
2493
2494 static bool trans_nop_addrx(DisasContext *ctx, arg_ldst *a)
2495 {
2496 if (a->m) {
2497 TCGv_i64 dest = dest_gpr(ctx, a->b);
2498 TCGv_i64 src1 = load_gpr(ctx, a->b);
2499 TCGv_i64 src2 = load_gpr(ctx, a->x);
2500
2501 /* The only thing we need to do is the base register modification. */
2502 tcg_gen_add_i64(dest, src1, src2);
2503 save_gpr(ctx, a->b, dest);
2504 }
2505 ctx->null_cond = cond_make_f();
2506 return true;
2507 }
2508
2509 static bool trans_fic(DisasContext *ctx, arg_ldst *a)
2510 {
2511 /* End TB for flush instruction cache, so we pick up new insns. */
2512 ctx->base.is_jmp = DISAS_IAQ_N_STALE;
2513 return trans_nop_addrx(ctx, a);
2514 }
2515
2516 static bool trans_probe(DisasContext *ctx, arg_probe *a)
2517 {
2518 TCGv_i64 dest, ofs;
2519 TCGv_i32 level, want;
2520 TCGv_i64 addr;
2521
2522 nullify_over(ctx);
2523
2524 dest = dest_gpr(ctx, a->t);
2525 form_gva(ctx, &addr, &ofs, a->b, 0, 0, 0, a->sp, 0, false);
2526
2527 if (a->imm) {
2528 level = tcg_constant_i32(a->ri & 3);
2529 } else {
2530 level = tcg_temp_new_i32();
2531 tcg_gen_extrl_i64_i32(level, load_gpr(ctx, a->ri));
2532 tcg_gen_andi_i32(level, level, 3);
2533 }
2534 want = tcg_constant_i32(a->write ? PAGE_WRITE : PAGE_READ);
2535
2536 gen_helper_probe(dest, tcg_env, addr, level, want);
2537
2538 save_gpr(ctx, a->t, dest);
2539 return nullify_end(ctx);
2540 }
2541
2542 static bool trans_ixtlbx(DisasContext *ctx, arg_ixtlbx *a)
2543 {
2544 if (ctx->is_pa20) {
2545 return false;
2546 }
2547 CHECK_MOST_PRIVILEGED(EXCP_PRIV_OPR);
2548 #ifndef CONFIG_USER_ONLY
2549 TCGv_i64 addr;
2550 TCGv_i64 ofs, reg;
2551
2552 nullify_over(ctx);
2553
2554 form_gva(ctx, &addr, &ofs, a->b, 0, 0, 0, a->sp, 0, false);
2555 reg = load_gpr(ctx, a->r);
2556 if (a->addr) {
2557 gen_helper_itlba_pa11(tcg_env, addr, reg);
2558 } else {
2559 gen_helper_itlbp_pa11(tcg_env, addr, reg);
2560 }
2561
2562 /* Exit TB for TLB change if mmu is enabled. */
2563 if (ctx->tb_flags & PSW_C) {
2564 ctx->base.is_jmp = DISAS_IAQ_N_STALE;
2565 }
2566 return nullify_end(ctx);
2567 #endif
2568 }
2569
2570 static bool do_pxtlb(DisasContext *ctx, arg_ldst *a, bool local)
2571 {
2572 CHECK_MOST_PRIVILEGED(EXCP_PRIV_OPR);
2573 #ifndef CONFIG_USER_ONLY
2574 TCGv_i64 addr;
2575 TCGv_i64 ofs;
2576
2577 nullify_over(ctx);
2578
2579 form_gva(ctx, &addr, &ofs, a->b, a->x, 0, 0, a->sp, a->m, false);
2580
2581 /*
2582 * Page align now, rather than later, so that we can add in the
2583 * page_size field from pa2.0 from the low 4 bits of GR[b].
2584 */
2585 tcg_gen_andi_i64(addr, addr, TARGET_PAGE_MASK);
2586 if (ctx->is_pa20) {
2587 tcg_gen_deposit_i64(addr, addr, load_gpr(ctx, a->b), 0, 4);
2588 }
2589
2590 if (local) {
2591 gen_helper_ptlb_l(tcg_env, addr);
2592 } else {
2593 gen_helper_ptlb(tcg_env, addr);
2594 }
2595
2596 if (a->m) {
2597 save_gpr(ctx, a->b, ofs);
2598 }
2599
2600 /* Exit TB for TLB change if mmu is enabled. */
2601 if (ctx->tb_flags & PSW_C) {
2602 ctx->base.is_jmp = DISAS_IAQ_N_STALE;
2603 }
2604 return nullify_end(ctx);
2605 #endif
2606 }
2607
2608 static bool trans_pxtlb(DisasContext *ctx, arg_ldst *a)
2609 {
2610 return do_pxtlb(ctx, a, false);
2611 }
2612
2613 static bool trans_pxtlb_l(DisasContext *ctx, arg_ldst *a)
2614 {
2615 return ctx->is_pa20 && do_pxtlb(ctx, a, true);
2616 }
2617
2618 static bool trans_pxtlbe(DisasContext *ctx, arg_ldst *a)
2619 {
2620 CHECK_MOST_PRIVILEGED(EXCP_PRIV_OPR);
2621 #ifndef CONFIG_USER_ONLY
2622 nullify_over(ctx);
2623
2624 trans_nop_addrx(ctx, a);
2625 gen_helper_ptlbe(tcg_env);
2626
2627 /* Exit TB for TLB change if mmu is enabled. */
2628 if (ctx->tb_flags & PSW_C) {
2629 ctx->base.is_jmp = DISAS_IAQ_N_STALE;
2630 }
2631 return nullify_end(ctx);
2632 #endif
2633 }
2634
2635 /*
2636 * Implement the pcxl and pcxl2 Fast TLB Insert instructions.
2637 * See
2638 * https://parisc.wiki.kernel.org/images-parisc/a/a9/Pcxl2_ers.pdf
2639 * page 13-9 (195/206)
2640 */
2641 static bool trans_ixtlbxf(DisasContext *ctx, arg_ixtlbxf *a)
2642 {
2643 if (ctx->is_pa20) {
2644 return false;
2645 }
2646 CHECK_MOST_PRIVILEGED(EXCP_PRIV_OPR);
2647 #ifndef CONFIG_USER_ONLY
2648 TCGv_i64 addr, atl, stl;
2649 TCGv_i64 reg;
2650
2651 nullify_over(ctx);
2652
2653 /*
2654 * FIXME:
2655 * if (not (pcxl or pcxl2))
2656 * return gen_illegal(ctx);
2657 */
2658
2659 atl = tcg_temp_new_i64();
2660 stl = tcg_temp_new_i64();
2661 addr = tcg_temp_new_i64();
2662
2663 tcg_gen_ld32u_i64(stl, tcg_env,
2664 a->data ? offsetof(CPUHPPAState, cr[CR_ISR])
2665 : offsetof(CPUHPPAState, cr[CR_IIASQ]));
2666 tcg_gen_ld32u_i64(atl, tcg_env,
2667 a->data ? offsetof(CPUHPPAState, cr[CR_IOR])
2668 : offsetof(CPUHPPAState, cr[CR_IIAOQ]));
2669 tcg_gen_shli_i64(stl, stl, 32);
2670 tcg_gen_or_i64(addr, atl, stl);
2671
2672 reg = load_gpr(ctx, a->r);
2673 if (a->addr) {
2674 gen_helper_itlba_pa11(tcg_env, addr, reg);
2675 } else {
2676 gen_helper_itlbp_pa11(tcg_env, addr, reg);
2677 }
2678
2679 /* Exit TB for TLB change if mmu is enabled. */
2680 if (ctx->tb_flags & PSW_C) {
2681 ctx->base.is_jmp = DISAS_IAQ_N_STALE;
2682 }
2683 return nullify_end(ctx);
2684 #endif
2685 }
2686
2687 static bool trans_ixtlbt(DisasContext *ctx, arg_ixtlbt *a)
2688 {
2689 if (!ctx->is_pa20) {
2690 return false;
2691 }
2692 CHECK_MOST_PRIVILEGED(EXCP_PRIV_OPR);
2693 #ifndef CONFIG_USER_ONLY
2694 nullify_over(ctx);
2695 {
2696 TCGv_i64 src1 = load_gpr(ctx, a->r1);
2697 TCGv_i64 src2 = load_gpr(ctx, a->r2);
2698
2699 if (a->data) {
2700 gen_helper_idtlbt_pa20(tcg_env, src1, src2);
2701 } else {
2702 gen_helper_iitlbt_pa20(tcg_env, src1, src2);
2703 }
2704 }
2705 /* Exit TB for TLB change if mmu is enabled. */
2706 if (ctx->tb_flags & PSW_C) {
2707 ctx->base.is_jmp = DISAS_IAQ_N_STALE;
2708 }
2709 return nullify_end(ctx);
2710 #endif
2711 }
2712
2713 static bool trans_lpa(DisasContext *ctx, arg_ldst *a)
2714 {
2715 CHECK_MOST_PRIVILEGED(EXCP_PRIV_OPR);
2716 #ifndef CONFIG_USER_ONLY
2717 TCGv_i64 vaddr;
2718 TCGv_i64 ofs, paddr;
2719
2720 nullify_over(ctx);
2721
2722 form_gva(ctx, &vaddr, &ofs, a->b, a->x, 0, 0, a->sp, a->m, false);
2723
2724 paddr = tcg_temp_new_i64();
2725 gen_helper_lpa(paddr, tcg_env, vaddr);
2726
2727 /* Note that physical address result overrides base modification. */
2728 if (a->m) {
2729 save_gpr(ctx, a->b, ofs);
2730 }
2731 save_gpr(ctx, a->t, paddr);
2732
2733 return nullify_end(ctx);
2734 #endif
2735 }
2736
2737 static bool trans_lci(DisasContext *ctx, arg_lci *a)
2738 {
2739 CHECK_MOST_PRIVILEGED(EXCP_PRIV_OPR);
2740
2741 /* The Coherence Index is an implementation-defined function of the
2742 physical address. Two addresses with the same CI have a coherent
2743 view of the cache. Our implementation is to return 0 for all,
2744 since the entire address space is coherent. */
2745 save_gpr(ctx, a->t, ctx->zero);
2746
2747 ctx->null_cond = cond_make_f();
2748 return true;
2749 }
2750
2751 static bool trans_add(DisasContext *ctx, arg_rrr_cf_d_sh *a)
2752 {
2753 return do_add_reg(ctx, a, false, false, false, false);
2754 }
2755
2756 static bool trans_add_l(DisasContext *ctx, arg_rrr_cf_d_sh *a)
2757 {
2758 return do_add_reg(ctx, a, true, false, false, false);
2759 }
2760
2761 static bool trans_add_tsv(DisasContext *ctx, arg_rrr_cf_d_sh *a)
2762 {
2763 return do_add_reg(ctx, a, false, true, false, false);
2764 }
2765
2766 static bool trans_add_c(DisasContext *ctx, arg_rrr_cf_d_sh *a)
2767 {
2768 return do_add_reg(ctx, a, false, false, false, true);
2769 }
2770
2771 static bool trans_add_c_tsv(DisasContext *ctx, arg_rrr_cf_d_sh *a)
2772 {
2773 return do_add_reg(ctx, a, false, true, false, true);
2774 }
2775
2776 static bool trans_sub(DisasContext *ctx, arg_rrr_cf_d *a)
2777 {
2778 return do_sub_reg(ctx, a, false, false, false);
2779 }
2780
2781 static bool trans_sub_tsv(DisasContext *ctx, arg_rrr_cf_d *a)
2782 {
2783 return do_sub_reg(ctx, a, true, false, false);
2784 }
2785
2786 static bool trans_sub_tc(DisasContext *ctx, arg_rrr_cf_d *a)
2787 {
2788 return do_sub_reg(ctx, a, false, false, true);
2789 }
2790
2791 static bool trans_sub_tsv_tc(DisasContext *ctx, arg_rrr_cf_d *a)
2792 {
2793 return do_sub_reg(ctx, a, true, false, true);
2794 }
2795
2796 static bool trans_sub_b(DisasContext *ctx, arg_rrr_cf_d *a)
2797 {
2798 return do_sub_reg(ctx, a, false, true, false);
2799 }
2800
2801 static bool trans_sub_b_tsv(DisasContext *ctx, arg_rrr_cf_d *a)
2802 {
2803 return do_sub_reg(ctx, a, true, true, false);
2804 }
2805
2806 static bool trans_andcm(DisasContext *ctx, arg_rrr_cf_d *a)
2807 {
2808 return do_log_reg(ctx, a, tcg_gen_andc_i64);
2809 }
2810
2811 static bool trans_and(DisasContext *ctx, arg_rrr_cf_d *a)
2812 {
2813 return do_log_reg(ctx, a, tcg_gen_and_i64);
2814 }
2815
2816 static bool trans_or(DisasContext *ctx, arg_rrr_cf_d *a)
2817 {
2818 if (a->cf == 0) {
2819 unsigned r2 = a->r2;
2820 unsigned r1 = a->r1;
2821 unsigned rt = a->t;
2822
2823 if (rt == 0) { /* NOP */
2824 ctx->null_cond = cond_make_f();
2825 return true;
2826 }
2827 if (r2 == 0) { /* COPY */
2828 if (r1 == 0) {
2829 TCGv_i64 dest = dest_gpr(ctx, rt);
2830 tcg_gen_movi_i64(dest, 0);
2831 save_gpr(ctx, rt, dest);
2832 } else {
2833 save_gpr(ctx, rt, cpu_gr[r1]);
2834 }
2835 ctx->null_cond = cond_make_f();
2836 return true;
2837 }
2838 #ifndef CONFIG_USER_ONLY
2839 /* These are QEMU extensions and are nops in the real architecture:
2840 *
2841 * or %r10,%r10,%r10 -- idle loop; wait for interrupt
2842 * or %r31,%r31,%r31 -- death loop; offline cpu
2843 * currently implemented as idle.
2844 */
2845 if ((rt == 10 || rt == 31) && r1 == rt && r2 == rt) { /* PAUSE */
2846 /* No need to check for supervisor, as userland can only pause
2847 until the next timer interrupt. */
2848
2849 set_psw_xb(ctx, 0);
2850
2851 nullify_over(ctx);
2852
2853 /* Advance the instruction queue. */
2854 install_iaq_entries(ctx, &ctx->iaq_b, NULL);
2855 nullify_set(ctx, 0);
2856
2857 /* Tell the qemu main loop to halt until this cpu has work. */
2858 tcg_gen_st_i32(tcg_constant_i32(1), tcg_env,
2859 offsetof(CPUState, halted) - offsetof(HPPACPU, env));
2860 gen_excp_1(EXCP_HALTED);
2861 ctx->base.is_jmp = DISAS_NORETURN;
2862
2863 return nullify_end(ctx);
2864 }
2865 #endif
2866 }
2867 return do_log_reg(ctx, a, tcg_gen_or_i64);
2868 }
2869
2870 static bool trans_xor(DisasContext *ctx, arg_rrr_cf_d *a)
2871 {
2872 return do_log_reg(ctx, a, tcg_gen_xor_i64);
2873 }
2874
2875 static bool trans_cmpclr(DisasContext *ctx, arg_rrr_cf_d *a)
2876 {
2877 TCGv_i64 tcg_r1, tcg_r2;
2878
2879 if (a->cf) {
2880 nullify_over(ctx);
2881 }
2882 tcg_r1 = load_gpr(ctx, a->r1);
2883 tcg_r2 = load_gpr(ctx, a->r2);
2884 do_cmpclr(ctx, a->t, tcg_r1, tcg_r2, a->cf, a->d);
2885 return nullify_end(ctx);
2886 }
2887
2888 static bool trans_uxor(DisasContext *ctx, arg_rrr_cf_d *a)
2889 {
2890 TCGv_i64 tcg_r1, tcg_r2, dest;
2891
2892 if (a->cf) {
2893 nullify_over(ctx);
2894 }
2895
2896 tcg_r1 = load_gpr(ctx, a->r1);
2897 tcg_r2 = load_gpr(ctx, a->r2);
2898 dest = dest_gpr(ctx, a->t);
2899
2900 tcg_gen_xor_i64(dest, tcg_r1, tcg_r2);
2901 save_gpr(ctx, a->t, dest);
2902
2903 ctx->null_cond = do_unit_zero_cond(a->cf, a->d, dest);
2904 return nullify_end(ctx);
2905 }
2906
2907 static bool do_uaddcm(DisasContext *ctx, arg_rrr_cf_d *a, bool is_tc)
2908 {
2909 TCGv_i64 tcg_r1, tcg_r2, tmp;
2910
2911 if (a->cf == 0) {
2912 tcg_r2 = load_gpr(ctx, a->r2);
2913 tmp = dest_gpr(ctx, a->t);
2914
2915 if (a->r1 == 0) {
2916 /* UADDCM r0,src,dst is the common idiom for dst = ~src. */
2917 tcg_gen_not_i64(tmp, tcg_r2);
2918 } else {
2919 /*
2920 * Recall that r1 - r2 == r1 + ~r2 + 1.
2921 * Thus r1 + ~r2 == r1 - r2 - 1,
2922 * which does not require an extra temporary.
2923 */
2924 tcg_r1 = load_gpr(ctx, a->r1);
2925 tcg_gen_sub_i64(tmp, tcg_r1, tcg_r2);
2926 tcg_gen_subi_i64(tmp, tmp, 1);
2927 }
2928 save_gpr(ctx, a->t, tmp);
2929 ctx->null_cond = cond_make_f();
2930 return true;
2931 }
2932
2933 nullify_over(ctx);
2934 tcg_r1 = load_gpr(ctx, a->r1);
2935 tcg_r2 = load_gpr(ctx, a->r2);
2936 tmp = tcg_temp_new_i64();
2937 tcg_gen_not_i64(tmp, tcg_r2);
2938 do_unit_addsub(ctx, a->t, tcg_r1, tmp, a->cf, a->d, is_tc, true);
2939 return nullify_end(ctx);
2940 }
2941
2942 static bool trans_uaddcm(DisasContext *ctx, arg_rrr_cf_d *a)
2943 {
2944 return do_uaddcm(ctx, a, false);
2945 }
2946
2947 static bool trans_uaddcm_tc(DisasContext *ctx, arg_rrr_cf_d *a)
2948 {
2949 return do_uaddcm(ctx, a, true);
2950 }
2951
2952 static bool do_dcor(DisasContext *ctx, arg_rr_cf_d *a, bool is_i)
2953 {
2954 TCGv_i64 tmp;
2955
2956 nullify_over(ctx);
2957
2958 tmp = tcg_temp_new_i64();
2959 tcg_gen_extract2_i64(tmp, cpu_psw_cb, cpu_psw_cb_msb, 4);
2960 if (!is_i) {
2961 tcg_gen_not_i64(tmp, tmp);
2962 }
2963 tcg_gen_andi_i64(tmp, tmp, (uint64_t)0x1111111111111111ull);
2964 tcg_gen_muli_i64(tmp, tmp, 6);
2965 do_unit_addsub(ctx, a->t, load_gpr(ctx, a->r), tmp,
2966 a->cf, a->d, false, is_i);
2967 return nullify_end(ctx);
2968 }
2969
2970 static bool trans_dcor(DisasContext *ctx, arg_rr_cf_d *a)
2971 {
2972 return do_dcor(ctx, a, false);
2973 }
2974
2975 static bool trans_dcor_i(DisasContext *ctx, arg_rr_cf_d *a)
2976 {
2977 return do_dcor(ctx, a, true);
2978 }
2979
2980 static bool trans_ds(DisasContext *ctx, arg_rrr_cf *a)
2981 {
2982 TCGv_i64 dest, add1, add2, addc, in1, in2;
2983
2984 nullify_over(ctx);
2985
2986 in1 = load_gpr(ctx, a->r1);
2987 in2 = load_gpr(ctx, a->r2);
2988
2989 add1 = tcg_temp_new_i64();
2990 add2 = tcg_temp_new_i64();
2991 addc = tcg_temp_new_i64();
2992 dest = tcg_temp_new_i64();
2993
2994 /* Form R1 << 1 | PSW[CB]{8}. */
2995 tcg_gen_add_i64(add1, in1, in1);
2996 tcg_gen_add_i64(add1, add1, get_psw_carry(ctx, false));
2997
2998 /*
2999 * Add or subtract R2, depending on PSW[V]. Proper computation of
3000 * carry requires that we subtract via + ~R2 + 1, as described in
3001 * the manual. By extracting and masking V, we can produce the
3002 * proper inputs to the addition without movcond.
3003 */
3004 tcg_gen_sextract_i64(addc, cpu_psw_v, 31, 1);
3005 tcg_gen_xor_i64(add2, in2, addc);
3006 tcg_gen_andi_i64(addc, addc, 1);
3007
3008 tcg_gen_add2_i64(dest, cpu_psw_cb_msb, add1, ctx->zero, add2, ctx->zero);
3009 tcg_gen_add2_i64(dest, cpu_psw_cb_msb, dest, cpu_psw_cb_msb,
3010 addc, ctx->zero);
3011
3012 /* Write back the result register. */
3013 save_gpr(ctx, a->t, dest);
3014
3015 /* Write back PSW[CB]. */
3016 tcg_gen_xor_i64(cpu_psw_cb, add1, add2);
3017 tcg_gen_xor_i64(cpu_psw_cb, cpu_psw_cb, dest);
3018
3019 /*
3020 * Write back PSW[V] for the division step.
3021 * Shift cb{8} from where it lives in bit 32 to bit 31,
3022 * so that it overlaps r2{32} in bit 31.
3023 */
3024 tcg_gen_shri_i64(cpu_psw_v, cpu_psw_cb, 1);
3025 tcg_gen_xor_i64(cpu_psw_v, cpu_psw_v, in2);
3026
3027 /* Install the new nullification. */
3028 if (a->cf) {
3029 TCGv_i64 sv = NULL, uv = NULL;
3030 if (cond_need_sv(a->cf >> 1)) {
3031 sv = do_add_sv(ctx, dest, add1, add2, in1, 1, false);
3032 } else if (cond_need_cb(a->cf >> 1)) {
3033 uv = do_add_uv(ctx, cpu_psw_cb, NULL, in1, 1, false);
3034 }
3035 ctx->null_cond = do_cond(ctx, a->cf, false, dest, uv, sv);
3036 }
3037
3038 return nullify_end(ctx);
3039 }
3040
3041 static bool trans_addi(DisasContext *ctx, arg_rri_cf *a)
3042 {
3043 return do_add_imm(ctx, a, false, false);
3044 }
3045
3046 static bool trans_addi_tsv(DisasContext *ctx, arg_rri_cf *a)
3047 {
3048 return do_add_imm(ctx, a, true, false);
3049 }
3050
3051 static bool trans_addi_tc(DisasContext *ctx, arg_rri_cf *a)
3052 {
3053 return do_add_imm(ctx, a, false, true);
3054 }
3055
3056 static bool trans_addi_tc_tsv(DisasContext *ctx, arg_rri_cf *a)
3057 {
3058 return do_add_imm(ctx, a, true, true);
3059 }
3060
3061 static bool trans_subi(DisasContext *ctx, arg_rri_cf *a)
3062 {
3063 return do_sub_imm(ctx, a, false);
3064 }
3065
3066 static bool trans_subi_tsv(DisasContext *ctx, arg_rri_cf *a)
3067 {
3068 return do_sub_imm(ctx, a, true);
3069 }
3070
3071 static bool trans_cmpiclr(DisasContext *ctx, arg_rri_cf_d *a)
3072 {
3073 TCGv_i64 tcg_im, tcg_r2;
3074
3075 if (a->cf) {
3076 nullify_over(ctx);
3077 }
3078
3079 tcg_im = tcg_constant_i64(a->i);
3080 tcg_r2 = load_gpr(ctx, a->r);
3081 do_cmpclr(ctx, a->t, tcg_im, tcg_r2, a->cf, a->d);
3082
3083 return nullify_end(ctx);
3084 }
3085
3086 static bool do_multimedia(DisasContext *ctx, arg_rrr *a,
3087 void (*fn)(TCGv_i64, TCGv_i64, TCGv_i64))
3088 {
3089 TCGv_i64 r1, r2, dest;
3090
3091 if (!ctx->is_pa20) {
3092 return false;
3093 }
3094
3095 nullify_over(ctx);
3096
3097 r1 = load_gpr(ctx, a->r1);
3098 r2 = load_gpr(ctx, a->r2);
3099 dest = dest_gpr(ctx, a->t);
3100
3101 fn(dest, r1, r2);
3102 save_gpr(ctx, a->t, dest);
3103
3104 return nullify_end(ctx);
3105 }
3106
3107 static bool do_multimedia_sh(DisasContext *ctx, arg_rri *a,
3108 void (*fn)(TCGv_i64, TCGv_i64, int64_t))
3109 {
3110 TCGv_i64 r, dest;
3111
3112 if (!ctx->is_pa20) {
3113 return false;
3114 }
3115
3116 nullify_over(ctx);
3117
3118 r = load_gpr(ctx, a->r);
3119 dest = dest_gpr(ctx, a->t);
3120
3121 fn(dest, r, a->i);
3122 save_gpr(ctx, a->t, dest);
3123
3124 return nullify_end(ctx);
3125 }
3126
3127 static bool do_multimedia_shadd(DisasContext *ctx, arg_rrr_sh *a,
3128 void (*fn)(TCGv_i64, TCGv_i64,
3129 TCGv_i64, TCGv_i32))
3130 {
3131 TCGv_i64 r1, r2, dest;
3132
3133 if (!ctx->is_pa20) {
3134 return false;
3135 }
3136
3137 nullify_over(ctx);
3138
3139 r1 = load_gpr(ctx, a->r1);
3140 r2 = load_gpr(ctx, a->r2);
3141 dest = dest_gpr(ctx, a->t);
3142
3143 fn(dest, r1, r2, tcg_constant_i32(a->sh));
3144 save_gpr(ctx, a->t, dest);
3145
3146 return nullify_end(ctx);
3147 }
3148
3149 static bool trans_hadd(DisasContext *ctx, arg_rrr *a)
3150 {
3151 return do_multimedia(ctx, a, tcg_gen_vec_add16_i64);
3152 }
3153
3154 static bool trans_hadd_ss(DisasContext *ctx, arg_rrr *a)
3155 {
3156 return do_multimedia(ctx, a, gen_helper_hadd_ss);
3157 }
3158
3159 static bool trans_hadd_us(DisasContext *ctx, arg_rrr *a)
3160 {
3161 return do_multimedia(ctx, a, gen_helper_hadd_us);
3162 }
3163
3164 static bool trans_havg(DisasContext *ctx, arg_rrr *a)
3165 {
3166 return do_multimedia(ctx, a, gen_helper_havg);
3167 }
3168
3169 static bool trans_hshl(DisasContext *ctx, arg_rri *a)
3170 {
3171 return do_multimedia_sh(ctx, a, tcg_gen_vec_shl16i_i64);
3172 }
3173
3174 static bool trans_hshr_s(DisasContext *ctx, arg_rri *a)
3175 {
3176 return do_multimedia_sh(ctx, a, tcg_gen_vec_sar16i_i64);
3177 }
3178
3179 static bool trans_hshr_u(DisasContext *ctx, arg_rri *a)
3180 {
3181 return do_multimedia_sh(ctx, a, tcg_gen_vec_shr16i_i64);
3182 }
3183
3184 static bool trans_hshladd(DisasContext *ctx, arg_rrr_sh *a)
3185 {
3186 return do_multimedia_shadd(ctx, a, gen_helper_hshladd);
3187 }
3188
3189 static bool trans_hshradd(DisasContext *ctx, arg_rrr_sh *a)
3190 {
3191 return do_multimedia_shadd(ctx, a, gen_helper_hshradd);
3192 }
3193
3194 static bool trans_hsub(DisasContext *ctx, arg_rrr *a)
3195 {
3196 return do_multimedia(ctx, a, tcg_gen_vec_sub16_i64);
3197 }
3198
3199 static bool trans_hsub_ss(DisasContext *ctx, arg_rrr *a)
3200 {
3201 return do_multimedia(ctx, a, gen_helper_hsub_ss);
3202 }
3203
3204 static bool trans_hsub_us(DisasContext *ctx, arg_rrr *a)
3205 {
3206 return do_multimedia(ctx, a, gen_helper_hsub_us);
3207 }
3208
3209 static void gen_mixh_l(TCGv_i64 dst, TCGv_i64 r1, TCGv_i64 r2)
3210 {
3211 uint64_t mask = 0xffff0000ffff0000ull;
3212 TCGv_i64 tmp = tcg_temp_new_i64();
3213
3214 tcg_gen_andi_i64(tmp, r2, mask);
3215 tcg_gen_andi_i64(dst, r1, mask);
3216 tcg_gen_shri_i64(tmp, tmp, 16);
3217 tcg_gen_or_i64(dst, dst, tmp);
3218 }
3219
3220 static bool trans_mixh_l(DisasContext *ctx, arg_rrr *a)
3221 {
3222 return do_multimedia(ctx, a, gen_mixh_l);
3223 }
3224
3225 static void gen_mixh_r(TCGv_i64 dst, TCGv_i64 r1, TCGv_i64 r2)
3226 {
3227 uint64_t mask = 0x0000ffff0000ffffull;
3228 TCGv_i64 tmp = tcg_temp_new_i64();
3229
3230 tcg_gen_andi_i64(tmp, r1, mask);
3231 tcg_gen_andi_i64(dst, r2, mask);
3232 tcg_gen_shli_i64(tmp, tmp, 16);
3233 tcg_gen_or_i64(dst, dst, tmp);
3234 }
3235
3236 static bool trans_mixh_r(DisasContext *ctx, arg_rrr *a)
3237 {
3238 return do_multimedia(ctx, a, gen_mixh_r);
3239 }
3240
3241 static void gen_mixw_l(TCGv_i64 dst, TCGv_i64 r1, TCGv_i64 r2)
3242 {
3243 TCGv_i64 tmp = tcg_temp_new_i64();
3244
3245 tcg_gen_shri_i64(tmp, r2, 32);
3246 tcg_gen_deposit_i64(dst, r1, tmp, 0, 32);
3247 }
3248
3249 static bool trans_mixw_l(DisasContext *ctx, arg_rrr *a)
3250 {
3251 return do_multimedia(ctx, a, gen_mixw_l);
3252 }
3253
3254 static void gen_mixw_r(TCGv_i64 dst, TCGv_i64 r1, TCGv_i64 r2)
3255 {
3256 tcg_gen_deposit_i64(dst, r2, r1, 32, 32);
3257 }
3258
3259 static bool trans_mixw_r(DisasContext *ctx, arg_rrr *a)
3260 {
3261 return do_multimedia(ctx, a, gen_mixw_r);
3262 }
3263
3264 static bool trans_permh(DisasContext *ctx, arg_permh *a)
3265 {
3266 TCGv_i64 r, t0, t1, t2, t3;
3267
3268 if (!ctx->is_pa20) {
3269 return false;
3270 }
3271
3272 nullify_over(ctx);
3273
3274 r = load_gpr(ctx, a->r1);
3275 t0 = tcg_temp_new_i64();
3276 t1 = tcg_temp_new_i64();
3277 t2 = tcg_temp_new_i64();
3278 t3 = tcg_temp_new_i64();
3279
3280 tcg_gen_extract_i64(t0, r, (3 - a->c0) * 16, 16);
3281 tcg_gen_extract_i64(t1, r, (3 - a->c1) * 16, 16);
3282 tcg_gen_extract_i64(t2, r, (3 - a->c2) * 16, 16);
3283 tcg_gen_extract_i64(t3, r, (3 - a->c3) * 16, 16);
3284
3285 tcg_gen_deposit_i64(t0, t1, t0, 16, 48);
3286 tcg_gen_deposit_i64(t2, t3, t2, 16, 48);
3287 tcg_gen_deposit_i64(t0, t2, t0, 32, 32);
3288
3289 save_gpr(ctx, a->t, t0);
3290 return nullify_end(ctx);
3291 }
3292
3293 static bool trans_ld(DisasContext *ctx, arg_ldst *a)
3294 {
3295 if (ctx->is_pa20) {
3296 /*
3297 * With pa20, LDB, LDH, LDW, LDD to %g0 are prefetches.
3298 * Any base modification still occurs.
3299 */
3300 if (a->t == 0) {
3301 return trans_nop_addrx(ctx, a);
3302 }
3303 } else if (a->size > MO_32) {
3304 return gen_illegal(ctx);
3305 }
3306 return do_load(ctx, a->t, a->b, a->x, a->scale ? a->size : 0,
3307 a->disp, a->sp, a->m, a->size | MO_TE);
3308 }
3309
3310 static bool trans_st(DisasContext *ctx, arg_ldst *a)
3311 {
3312 assert(a->x == 0 && a->scale == 0);
3313 if (!ctx->is_pa20 && a->size > MO_32) {
3314 return gen_illegal(ctx);
3315 }
3316 return do_store(ctx, a->t, a->b, a->disp, a->sp, a->m, a->size | MO_TE);
3317 }
3318
3319 static bool trans_ldc(DisasContext *ctx, arg_ldst *a)
3320 {
3321 MemOp mop = MO_TE | MO_ALIGN | a->size;
3322 TCGv_i64 dest, ofs;
3323 TCGv_i64 addr;
3324
3325 if (!ctx->is_pa20 && a->size > MO_32) {
3326 return gen_illegal(ctx);
3327 }
3328
3329 nullify_over(ctx);
3330
3331 if (a->m) {
3332 /* Base register modification. Make sure if RT == RB,
3333 we see the result of the load. */
3334 dest = tcg_temp_new_i64();
3335 } else {
3336 dest = dest_gpr(ctx, a->t);
3337 }
3338
3339 form_gva(ctx, &addr, &ofs, a->b, a->x, a->scale ? 3 : 0,
3340 a->disp, a->sp, a->m, MMU_DISABLED(ctx));
3341
3342 /*
3343 * For hppa1.1, LDCW is undefined unless aligned mod 16.
3344 * However actual hardware succeeds with aligned mod 4.
3345 * Detect this case and log a GUEST_ERROR.
3346 *
3347 * TODO: HPPA64 relaxes the over-alignment requirement
3348 * with the ,co completer.
3349 */
3350 gen_helper_ldc_check(addr);
3351
3352 tcg_gen_atomic_xchg_i64(dest, addr, ctx->zero, ctx->mmu_idx, mop);
3353
3354 if (a->m) {
3355 save_gpr(ctx, a->b, ofs);
3356 }
3357 save_gpr(ctx, a->t, dest);
3358
3359 return nullify_end(ctx);
3360 }
3361
3362 static bool trans_stby(DisasContext *ctx, arg_stby *a)
3363 {
3364 TCGv_i64 ofs, val;
3365 TCGv_i64 addr;
3366
3367 nullify_over(ctx);
3368
3369 form_gva(ctx, &addr, &ofs, a->b, 0, 0, a->disp, a->sp, a->m,
3370 MMU_DISABLED(ctx));
3371 val = load_gpr(ctx, a->r);
3372 if (a->a) {
3373 if (tb_cflags(ctx->base.tb) & CF_PARALLEL) {
3374 gen_helper_stby_e_parallel(tcg_env, addr, val);
3375 } else {
3376 gen_helper_stby_e(tcg_env, addr, val);
3377 }
3378 } else {
3379 if (tb_cflags(ctx->base.tb) & CF_PARALLEL) {
3380 gen_helper_stby_b_parallel(tcg_env, addr, val);
3381 } else {
3382 gen_helper_stby_b(tcg_env, addr, val);
3383 }
3384 }
3385 if (a->m) {
3386 tcg_gen_andi_i64(ofs, ofs, ~3);
3387 save_gpr(ctx, a->b, ofs);
3388 }
3389
3390 return nullify_end(ctx);
3391 }
3392
3393 static bool trans_stdby(DisasContext *ctx, arg_stby *a)
3394 {
3395 TCGv_i64 ofs, val;
3396 TCGv_i64 addr;
3397
3398 if (!ctx->is_pa20) {
3399 return false;
3400 }
3401 nullify_over(ctx);
3402
3403 form_gva(ctx, &addr, &ofs, a->b, 0, 0, a->disp, a->sp, a->m,
3404 MMU_DISABLED(ctx));
3405 val = load_gpr(ctx, a->r);
3406 if (a->a) {
3407 if (tb_cflags(ctx->base.tb) & CF_PARALLEL) {
3408 gen_helper_stdby_e_parallel(tcg_env, addr, val);
3409 } else {
3410 gen_helper_stdby_e(tcg_env, addr, val);
3411 }
3412 } else {
3413 if (tb_cflags(ctx->base.tb) & CF_PARALLEL) {
3414 gen_helper_stdby_b_parallel(tcg_env, addr, val);
3415 } else {
3416 gen_helper_stdby_b(tcg_env, addr, val);
3417 }
3418 }
3419 if (a->m) {
3420 tcg_gen_andi_i64(ofs, ofs, ~7);
3421 save_gpr(ctx, a->b, ofs);
3422 }
3423
3424 return nullify_end(ctx);
3425 }
3426
3427 static bool trans_lda(DisasContext *ctx, arg_ldst *a)
3428 {
3429 int hold_mmu_idx = ctx->mmu_idx;
3430
3431 CHECK_MOST_PRIVILEGED(EXCP_PRIV_OPR);
3432 ctx->mmu_idx = ctx->tb_flags & PSW_W ? MMU_ABS_W_IDX : MMU_ABS_IDX;
3433 trans_ld(ctx, a);
3434 ctx->mmu_idx = hold_mmu_idx;
3435 return true;
3436 }
3437
3438 static bool trans_sta(DisasContext *ctx, arg_ldst *a)
3439 {
3440 int hold_mmu_idx = ctx->mmu_idx;
3441
3442 CHECK_MOST_PRIVILEGED(EXCP_PRIV_OPR);
3443 ctx->mmu_idx = ctx->tb_flags & PSW_W ? MMU_ABS_W_IDX : MMU_ABS_IDX;
3444 trans_st(ctx, a);
3445 ctx->mmu_idx = hold_mmu_idx;
3446 return true;
3447 }
3448
3449 static bool trans_ldil(DisasContext *ctx, arg_ldil *a)
3450 {
3451 TCGv_i64 tcg_rt = dest_gpr(ctx, a->t);
3452
3453 tcg_gen_movi_i64(tcg_rt, a->i);
3454 save_gpr(ctx, a->t, tcg_rt);
3455 ctx->null_cond = cond_make_f();
3456 return true;
3457 }
3458
3459 static bool trans_addil(DisasContext *ctx, arg_addil *a)
3460 {
3461 TCGv_i64 tcg_rt = load_gpr(ctx, a->r);
3462 TCGv_i64 tcg_r1 = dest_gpr(ctx, 1);
3463
3464 tcg_gen_addi_i64(tcg_r1, tcg_rt, a->i);
3465 save_gpr(ctx, 1, tcg_r1);
3466 ctx->null_cond = cond_make_f();
3467 return true;
3468 }
3469
3470 static bool trans_ldo(DisasContext *ctx, arg_ldo *a)
3471 {
3472 TCGv_i64 tcg_rt = dest_gpr(ctx, a->t);
3473
3474 /* Special case rb == 0, for the LDI pseudo-op.
3475 The COPY pseudo-op is handled for free within tcg_gen_addi_i64. */
3476 if (a->b == 0) {
3477 tcg_gen_movi_i64(tcg_rt, a->i);
3478 } else {
3479 tcg_gen_addi_i64(tcg_rt, cpu_gr[a->b], a->i);
3480 }
3481 save_gpr(ctx, a->t, tcg_rt);
3482 ctx->null_cond = cond_make_f();
3483 return true;
3484 }
3485
3486 static bool do_cmpb(DisasContext *ctx, unsigned r, TCGv_i64 in1,
3487 unsigned c, unsigned f, bool d, unsigned n, int disp)
3488 {
3489 TCGv_i64 dest, in2, sv;
3490 DisasCond cond;
3491
3492 in2 = load_gpr(ctx, r);
3493 dest = tcg_temp_new_i64();
3494
3495 tcg_gen_sub_i64(dest, in1, in2);
3496
3497 sv = NULL;
3498 if (cond_need_sv(c)) {
3499 sv = do_sub_sv(ctx, dest, in1, in2);
3500 }
3501
3502 cond = do_sub_cond(ctx, c * 2 + f, d, dest, in1, in2, sv);
3503 return do_cbranch(ctx, disp, n, &cond);
3504 }
3505
3506 static bool trans_cmpb(DisasContext *ctx, arg_cmpb *a)
3507 {
3508 if (!ctx->is_pa20 && a->d) {
3509 return false;
3510 }
3511 nullify_over(ctx);
3512 return do_cmpb(ctx, a->r2, load_gpr(ctx, a->r1),
3513 a->c, a->f, a->d, a->n, a->disp);
3514 }
3515
3516 static bool trans_cmpbi(DisasContext *ctx, arg_cmpbi *a)
3517 {
3518 if (!ctx->is_pa20 && a->d) {
3519 return false;
3520 }
3521 nullify_over(ctx);
3522 return do_cmpb(ctx, a->r, tcg_constant_i64(a->i),
3523 a->c, a->f, a->d, a->n, a->disp);
3524 }
3525
3526 static bool do_addb(DisasContext *ctx, unsigned r, TCGv_i64 in1,
3527 unsigned c, unsigned f, unsigned n, int disp)
3528 {
3529 TCGv_i64 dest, in2, sv, cb_cond;
3530 DisasCond cond;
3531 bool d = false;
3532
3533 /*
3534 * For hppa64, the ADDB conditions change with PSW.W,
3535 * dropping ZNV, SV, OD in favor of double-word EQ, LT, LE.
3536 */
3537 if (ctx->tb_flags & PSW_W) {
3538 d = c >= 5;
3539 if (d) {
3540 c &= 3;
3541 }
3542 }
3543
3544 in2 = load_gpr(ctx, r);
3545 dest = tcg_temp_new_i64();
3546 sv = NULL;
3547 cb_cond = NULL;
3548
3549 if (cond_need_cb(c)) {
3550 TCGv_i64 cb = tcg_temp_new_i64();
3551 TCGv_i64 cb_msb = tcg_temp_new_i64();
3552
3553 tcg_gen_movi_i64(cb_msb, 0);
3554 tcg_gen_add2_i64(dest, cb_msb, in1, cb_msb, in2, cb_msb);
3555 tcg_gen_xor_i64(cb, in1, in2);
3556 tcg_gen_xor_i64(cb, cb, dest);
3557 cb_cond = get_carry(ctx, d, cb, cb_msb);
3558 } else {
3559 tcg_gen_add_i64(dest, in1, in2);
3560 }
3561 if (cond_need_sv(c)) {
3562 sv = do_add_sv(ctx, dest, in1, in2, in1, 0, d);
3563 }
3564
3565 cond = do_cond(ctx, c * 2 + f, d, dest, cb_cond, sv);
3566 save_gpr(ctx, r, dest);
3567 return do_cbranch(ctx, disp, n, &cond);
3568 }
3569
3570 static bool trans_addb(DisasContext *ctx, arg_addb *a)
3571 {
3572 nullify_over(ctx);
3573 return do_addb(ctx, a->r2, load_gpr(ctx, a->r1), a->c, a->f, a->n, a->disp);
3574 }
3575
3576 static bool trans_addbi(DisasContext *ctx, arg_addbi *a)
3577 {
3578 nullify_over(ctx);
3579 return do_addb(ctx, a->r, tcg_constant_i64(a->i), a->c, a->f, a->n, a->disp);
3580 }
3581
3582 static bool trans_bb_sar(DisasContext *ctx, arg_bb_sar *a)
3583 {
3584 TCGv_i64 tmp, tcg_r;
3585 DisasCond cond;
3586
3587 nullify_over(ctx);
3588
3589 tmp = tcg_temp_new_i64();
3590 tcg_r = load_gpr(ctx, a->r);
3591 if (a->d) {
3592 tcg_gen_shl_i64(tmp, tcg_r, cpu_sar);
3593 } else {
3594 /* Force shift into [32,63] */
3595 tcg_gen_ori_i64(tmp, cpu_sar, 32);
3596 tcg_gen_shl_i64(tmp, tcg_r, tmp);
3597 }
3598
3599 cond = cond_make_ti(a->c ? TCG_COND_GE : TCG_COND_LT, tmp, 0);
3600 return do_cbranch(ctx, a->disp, a->n, &cond);
3601 }
3602
3603 static bool trans_bb_imm(DisasContext *ctx, arg_bb_imm *a)
3604 {
3605 DisasCond cond;
3606 int p = a->p | (a->d ? 0 : 32);
3607
3608 nullify_over(ctx);
3609 cond = cond_make_vi(a->c ? TCG_COND_TSTEQ : TCG_COND_TSTNE,
3610 load_gpr(ctx, a->r), 1ull << (63 - p));
3611 return do_cbranch(ctx, a->disp, a->n, &cond);
3612 }
3613
3614 static bool trans_movb(DisasContext *ctx, arg_movb *a)
3615 {
3616 TCGv_i64 dest;
3617 DisasCond cond;
3618
3619 nullify_over(ctx);
3620
3621 dest = dest_gpr(ctx, a->r2);
3622 if (a->r1 == 0) {
3623 tcg_gen_movi_i64(dest, 0);
3624 } else {
3625 tcg_gen_mov_i64(dest, cpu_gr[a->r1]);
3626 }
3627
3628 /* All MOVB conditions are 32-bit. */
3629 cond = do_sed_cond(ctx, a->c, false, dest);
3630 return do_cbranch(ctx, a->disp, a->n, &cond);
3631 }
3632
3633 static bool trans_movbi(DisasContext *ctx, arg_movbi *a)
3634 {
3635 TCGv_i64 dest;
3636 DisasCond cond;
3637
3638 nullify_over(ctx);
3639
3640 dest = dest_gpr(ctx, a->r);
3641 tcg_gen_movi_i64(dest, a->i);
3642
3643 /* All MOVBI conditions are 32-bit. */
3644 cond = do_sed_cond(ctx, a->c, false, dest);
3645 return do_cbranch(ctx, a->disp, a->n, &cond);
3646 }
3647
3648 static bool trans_shrp_sar(DisasContext *ctx, arg_shrp_sar *a)
3649 {
3650 TCGv_i64 dest, src2;
3651
3652 if (!ctx->is_pa20 && a->d) {
3653 return false;
3654 }
3655 if (a->c) {
3656 nullify_over(ctx);
3657 }
3658
3659 dest = dest_gpr(ctx, a->t);
3660 src2 = load_gpr(ctx, a->r2);
3661 if (a->r1 == 0) {
3662 if (a->d) {
3663 tcg_gen_shr_i64(dest, src2, cpu_sar);
3664 } else {
3665 TCGv_i64 tmp = tcg_temp_new_i64();
3666
3667 tcg_gen_ext32u_i64(dest, src2);
3668 tcg_gen_andi_i64(tmp, cpu_sar, 31);
3669 tcg_gen_shr_i64(dest, dest, tmp);
3670 }
3671 } else if (a->r1 == a->r2) {
3672 if (a->d) {
3673 tcg_gen_rotr_i64(dest, src2, cpu_sar);
3674 } else {
3675 TCGv_i32 t32 = tcg_temp_new_i32();
3676 TCGv_i32 s32 = tcg_temp_new_i32();
3677
3678 tcg_gen_extrl_i64_i32(t32, src2);
3679 tcg_gen_extrl_i64_i32(s32, cpu_sar);
3680 tcg_gen_andi_i32(s32, s32, 31);
3681 tcg_gen_rotr_i32(t32, t32, s32);
3682 tcg_gen_extu_i32_i64(dest, t32);
3683 }
3684 } else {
3685 TCGv_i64 src1 = load_gpr(ctx, a->r1);
3686
3687 if (a->d) {
3688 TCGv_i64 t = tcg_temp_new_i64();
3689 TCGv_i64 n = tcg_temp_new_i64();
3690
3691 tcg_gen_xori_i64(n, cpu_sar, 63);
3692 tcg_gen_shl_i64(t, src1, n);
3693 tcg_gen_shli_i64(t, t, 1);
3694 tcg_gen_shr_i64(dest, src2, cpu_sar);
3695 tcg_gen_or_i64(dest, dest, t);
3696 } else {
3697 TCGv_i64 t = tcg_temp_new_i64();
3698 TCGv_i64 s = tcg_temp_new_i64();
3699
3700 tcg_gen_concat32_i64(t, src2, src1);
3701 tcg_gen_andi_i64(s, cpu_sar, 31);
3702 tcg_gen_shr_i64(dest, t, s);
3703 }
3704 }
3705 save_gpr(ctx, a->t, dest);
3706
3707 /* Install the new nullification. */
3708 ctx->null_cond = do_sed_cond(ctx, a->c, a->d, dest);
3709 return nullify_end(ctx);
3710 }
3711
3712 static bool trans_shrp_imm(DisasContext *ctx, arg_shrp_imm *a)
3713 {
3714 unsigned width, sa;
3715 TCGv_i64 dest, t2;
3716
3717 if (!ctx->is_pa20 && a->d) {
3718 return false;
3719 }
3720 if (a->c) {
3721 nullify_over(ctx);
3722 }
3723
3724 width = a->d ? 64 : 32;
3725 sa = width - 1 - a->cpos;
3726
3727 dest = dest_gpr(ctx, a->t);
3728 t2 = load_gpr(ctx, a->r2);
3729 if (a->r1 == 0) {
3730 tcg_gen_extract_i64(dest, t2, sa, width - sa);
3731 } else if (width == TARGET_LONG_BITS) {
3732 tcg_gen_extract2_i64(dest, t2, cpu_gr[a->r1], sa);
3733 } else {
3734 assert(!a->d);
3735 if (a->r1 == a->r2) {
3736 TCGv_i32 t32 = tcg_temp_new_i32();
3737 tcg_gen_extrl_i64_i32(t32, t2);
3738 tcg_gen_rotri_i32(t32, t32, sa);
3739 tcg_gen_extu_i32_i64(dest, t32);
3740 } else {
3741 tcg_gen_concat32_i64(dest, t2, cpu_gr[a->r1]);
3742 tcg_gen_extract_i64(dest, dest, sa, 32);
3743 }
3744 }
3745 save_gpr(ctx, a->t, dest);
3746
3747 /* Install the new nullification. */
3748 ctx->null_cond = do_sed_cond(ctx, a->c, a->d, dest);
3749 return nullify_end(ctx);
3750 }
3751
3752 static bool trans_extr_sar(DisasContext *ctx, arg_extr_sar *a)
3753 {
3754 unsigned widthm1 = a->d ? 63 : 31;
3755 TCGv_i64 dest, src, tmp;
3756
3757 if (!ctx->is_pa20 && a->d) {
3758 return false;
3759 }
3760 if (a->c) {
3761 nullify_over(ctx);
3762 }
3763
3764 dest = dest_gpr(ctx, a->t);
3765 src = load_gpr(ctx, a->r);
3766 tmp = tcg_temp_new_i64();
3767
3768 /* Recall that SAR is using big-endian bit numbering. */
3769 tcg_gen_andi_i64(tmp, cpu_sar, widthm1);
3770 tcg_gen_xori_i64(tmp, tmp, widthm1);
3771
3772 if (a->se) {
3773 if (!a->d) {
3774 tcg_gen_ext32s_i64(dest, src);
3775 src = dest;
3776 }
3777 tcg_gen_sar_i64(dest, src, tmp);
3778 tcg_gen_sextract_i64(dest, dest, 0, a->len);
3779 } else {
3780 if (!a->d) {
3781 tcg_gen_ext32u_i64(dest, src);
3782 src = dest;
3783 }
3784 tcg_gen_shr_i64(dest, src, tmp);
3785 tcg_gen_extract_i64(dest, dest, 0, a->len);
3786 }
3787 save_gpr(ctx, a->t, dest);
3788
3789 /* Install the new nullification. */
3790 ctx->null_cond = do_sed_cond(ctx, a->c, a->d, dest);
3791 return nullify_end(ctx);
3792 }
3793
3794 static bool trans_extr_imm(DisasContext *ctx, arg_extr_imm *a)
3795 {
3796 unsigned len, cpos, width;
3797 TCGv_i64 dest, src;
3798
3799 if (!ctx->is_pa20 && a->d) {
3800 return false;
3801 }
3802 if (a->c) {
3803 nullify_over(ctx);
3804 }
3805
3806 len = a->len;
3807 width = a->d ? 64 : 32;
3808 cpos = width - 1 - a->pos;
3809 if (cpos + len > width) {
3810 len = width - cpos;
3811 }
3812
3813 dest = dest_gpr(ctx, a->t);
3814 src = load_gpr(ctx, a->r);
3815 if (a->se) {
3816 tcg_gen_sextract_i64(dest, src, cpos, len);
3817 } else {
3818 tcg_gen_extract_i64(dest, src, cpos, len);
3819 }
3820 save_gpr(ctx, a->t, dest);
3821
3822 /* Install the new nullification. */
3823 ctx->null_cond = do_sed_cond(ctx, a->c, a->d, dest);
3824 return nullify_end(ctx);
3825 }
3826
3827 static bool trans_depi_imm(DisasContext *ctx, arg_depi_imm *a)
3828 {
3829 unsigned len, width;
3830 uint64_t mask0, mask1;
3831 TCGv_i64 dest;
3832
3833 if (!ctx->is_pa20 && a->d) {
3834 return false;
3835 }
3836 if (a->c) {
3837 nullify_over(ctx);
3838 }
3839
3840 len = a->len;
3841 width = a->d ? 64 : 32;
3842 if (a->cpos + len > width) {
3843 len = width - a->cpos;
3844 }
3845
3846 dest = dest_gpr(ctx, a->t);
3847 mask0 = deposit64(0, a->cpos, len, a->i);
3848 mask1 = deposit64(-1, a->cpos, len, a->i);
3849
3850 if (a->nz) {
3851 TCGv_i64 src = load_gpr(ctx, a->t);
3852 tcg_gen_andi_i64(dest, src, mask1);
3853 tcg_gen_ori_i64(dest, dest, mask0);
3854 } else {
3855 tcg_gen_movi_i64(dest, mask0);
3856 }
3857 save_gpr(ctx, a->t, dest);
3858
3859 /* Install the new nullification. */
3860 ctx->null_cond = do_sed_cond(ctx, a->c, a->d, dest);
3861 return nullify_end(ctx);
3862 }
3863
3864 static bool trans_dep_imm(DisasContext *ctx, arg_dep_imm *a)
3865 {
3866 unsigned rs = a->nz ? a->t : 0;
3867 unsigned len, width;
3868 TCGv_i64 dest, val;
3869
3870 if (!ctx->is_pa20 && a->d) {
3871 return false;
3872 }
3873 if (a->c) {
3874 nullify_over(ctx);
3875 }
3876
3877 len = a->len;
3878 width = a->d ? 64 : 32;
3879 if (a->cpos + len > width) {
3880 len = width - a->cpos;
3881 }
3882
3883 dest = dest_gpr(ctx, a->t);
3884 val = load_gpr(ctx, a->r);
3885 if (rs == 0) {
3886 tcg_gen_deposit_z_i64(dest, val, a->cpos, len);
3887 } else {
3888 tcg_gen_deposit_i64(dest, cpu_gr[rs], val, a->cpos, len);
3889 }
3890 save_gpr(ctx, a->t, dest);
3891
3892 /* Install the new nullification. */
3893 ctx->null_cond = do_sed_cond(ctx, a->c, a->d, dest);
3894 return nullify_end(ctx);
3895 }
3896
3897 static bool do_dep_sar(DisasContext *ctx, unsigned rt, unsigned c,
3898 bool d, bool nz, unsigned len, TCGv_i64 val)
3899 {
3900 unsigned rs = nz ? rt : 0;
3901 unsigned widthm1 = d ? 63 : 31;
3902 TCGv_i64 mask, tmp, shift, dest;
3903 uint64_t msb = 1ULL << (len - 1);
3904
3905 dest = dest_gpr(ctx, rt);
3906 shift = tcg_temp_new_i64();
3907 tmp = tcg_temp_new_i64();
3908
3909 /* Convert big-endian bit numbering in SAR to left-shift. */
3910 tcg_gen_andi_i64(shift, cpu_sar, widthm1);
3911 tcg_gen_xori_i64(shift, shift, widthm1);
3912
3913 mask = tcg_temp_new_i64();
3914 tcg_gen_movi_i64(mask, msb + (msb - 1));
3915 tcg_gen_and_i64(tmp, val, mask);
3916 if (rs) {
3917 tcg_gen_shl_i64(mask, mask, shift);
3918 tcg_gen_shl_i64(tmp, tmp, shift);
3919 tcg_gen_andc_i64(dest, cpu_gr[rs], mask);
3920 tcg_gen_or_i64(dest, dest, tmp);
3921 } else {
3922 tcg_gen_shl_i64(dest, tmp, shift);
3923 }
3924 save_gpr(ctx, rt, dest);
3925
3926 /* Install the new nullification. */
3927 ctx->null_cond = do_sed_cond(ctx, c, d, dest);
3928 return nullify_end(ctx);
3929 }
3930
3931 static bool trans_dep_sar(DisasContext *ctx, arg_dep_sar *a)
3932 {
3933 if (!ctx->is_pa20 && a->d) {
3934 return false;
3935 }
3936 if (a->c) {
3937 nullify_over(ctx);
3938 }
3939 return do_dep_sar(ctx, a->t, a->c, a->d, a->nz, a->len,
3940 load_gpr(ctx, a->r));
3941 }
3942
3943 static bool trans_depi_sar(DisasContext *ctx, arg_depi_sar *a)
3944 {
3945 if (!ctx->is_pa20 && a->d) {
3946 return false;
3947 }
3948 if (a->c) {
3949 nullify_over(ctx);
3950 }
3951 return do_dep_sar(ctx, a->t, a->c, a->d, a->nz, a->len,
3952 tcg_constant_i64(a->i));
3953 }
3954
3955 static bool trans_be(DisasContext *ctx, arg_be *a)
3956 {
3957 #ifndef CONFIG_USER_ONLY
3958 ctx->iaq_j.space = tcg_temp_new_i64();
3959 load_spr(ctx, ctx->iaq_j.space, a->sp);
3960 #endif
3961
3962 ctx->iaq_j.base = tcg_temp_new_i64();
3963 ctx->iaq_j.disp = 0;
3964
3965 tcg_gen_addi_i64(ctx->iaq_j.base, load_gpr(ctx, a->b), a->disp);
3966 ctx->iaq_j.base = do_ibranch_priv(ctx, ctx->iaq_j.base);
3967
3968 return do_ibranch(ctx, a->l, true, a->n);
3969 }
3970
3971 static bool trans_bl(DisasContext *ctx, arg_bl *a)
3972 {
3973 return do_dbranch(ctx, a->disp, a->l, a->n);
3974 }
3975
3976 static bool trans_b_gate(DisasContext *ctx, arg_b_gate *a)
3977 {
3978 int64_t disp = a->disp;
3979 bool indirect = false;
3980
3981 /* Trap if PSW[B] is set. */
3982 if (ctx->psw_xb & PSW_B) {
3983 return gen_illegal(ctx);
3984 }
3985
3986 nullify_over(ctx);
3987
3988 #ifndef CONFIG_USER_ONLY
3989 if (ctx->privilege == 0) {
3990 /* Privilege cannot decrease. */
3991 } else if (!(ctx->tb_flags & PSW_C)) {
3992 /* With paging disabled, priv becomes 0. */
3993 disp -= ctx->privilege;
3994 } else {
3995 /* Adjust the dest offset for the privilege change from the PTE. */
3996 TCGv_i64 off = tcg_temp_new_i64();
3997
3998 copy_iaoq_entry(ctx, off, &ctx->iaq_f);
3999 gen_helper_b_gate_priv(off, tcg_env, off);
4000
4001 ctx->iaq_j.base = off;
4002 ctx->iaq_j.disp = disp + 8;
4003 indirect = true;
4004 }
4005 #endif
4006
4007 if (a->l) {
4008 TCGv_i64 tmp = dest_gpr(ctx, a->l);
4009 if (ctx->privilege < 3) {
4010 tcg_gen_andi_i64(tmp, tmp, -4);
4011 }
4012 tcg_gen_ori_i64(tmp, tmp, ctx->privilege);
4013 save_gpr(ctx, a->l, tmp);
4014 }
4015
4016 if (indirect) {
4017 return do_ibranch(ctx, 0, false, a->n);
4018 }
4019 return do_dbranch(ctx, disp, 0, a->n);
4020 }
4021
4022 static bool trans_blr(DisasContext *ctx, arg_blr *a)
4023 {
4024 if (a->x) {
4025 DisasIAQE next = iaqe_incr(&ctx->iaq_f, 8);
4026 TCGv_i64 t0 = tcg_temp_new_i64();
4027 TCGv_i64 t1 = tcg_temp_new_i64();
4028
4029 /* The computation here never changes privilege level. */
4030 copy_iaoq_entry(ctx, t0, &next);
4031 tcg_gen_shli_i64(t1, load_gpr(ctx, a->x), 3);
4032 tcg_gen_add_i64(t0, t0, t1);
4033
4034 ctx->iaq_j = iaqe_next_absv(ctx, t0);
4035 return do_ibranch(ctx, a->l, false, a->n);
4036 } else {
4037 /* BLR R0,RX is a good way to load PC+8 into RX. */
4038 return do_dbranch(ctx, 0, a->l, a->n);
4039 }
4040 }
4041
4042 static bool trans_bv(DisasContext *ctx, arg_bv *a)
4043 {
4044 TCGv_i64 dest;
4045
4046 if (a->x == 0) {
4047 dest = load_gpr(ctx, a->b);
4048 } else {
4049 dest = tcg_temp_new_i64();
4050 tcg_gen_shli_i64(dest, load_gpr(ctx, a->x), 3);
4051 tcg_gen_add_i64(dest, dest, load_gpr(ctx, a->b));
4052 }
4053 dest = do_ibranch_priv(ctx, dest);
4054 ctx->iaq_j = iaqe_next_absv(ctx, dest);
4055
4056 return do_ibranch(ctx, 0, false, a->n);
4057 }
4058
4059 static bool trans_bve(DisasContext *ctx, arg_bve *a)
4060 {
4061 TCGv_i64 b = load_gpr(ctx, a->b);
4062
4063 #ifndef CONFIG_USER_ONLY
4064 ctx->iaq_j.space = space_select(ctx, 0, b);
4065 #endif
4066 ctx->iaq_j.base = do_ibranch_priv(ctx, b);
4067 ctx->iaq_j.disp = 0;
4068
4069 return do_ibranch(ctx, a->l, false, a->n);
4070 }
4071
4072 static bool trans_nopbts(DisasContext *ctx, arg_nopbts *a)
4073 {
4074 /* All branch target stack instructions implement as nop. */
4075 return ctx->is_pa20;
4076 }
4077
4078 /*
4079 * Float class 0
4080 */
4081
4082 static void gen_fcpy_f(TCGv_i32 dst, TCGv_env unused, TCGv_i32 src)
4083 {
4084 tcg_gen_mov_i32(dst, src);
4085 }
4086
4087 static bool trans_fid_f(DisasContext *ctx, arg_fid_f *a)
4088 {
4089 uint64_t ret;
4090
4091 if (ctx->is_pa20) {
4092 ret = 0x13080000000000ULL; /* PA8700 (PCX-W2) */
4093 } else {
4094 ret = 0x0f080000000000ULL; /* PA7300LC (PCX-L2) */
4095 }
4096
4097 nullify_over(ctx);
4098 save_frd(0, tcg_constant_i64(ret));
4099 return nullify_end(ctx);
4100 }
4101
4102 static bool trans_fcpy_f(DisasContext *ctx, arg_fclass01 *a)
4103 {
4104 return do_fop_wew(ctx, a->t, a->r, gen_fcpy_f);
4105 }
4106
4107 static void gen_fcpy_d(TCGv_i64 dst, TCGv_env unused, TCGv_i64 src)
4108 {
4109 tcg_gen_mov_i64(dst, src);
4110 }
4111
4112 static bool trans_fcpy_d(DisasContext *ctx, arg_fclass01 *a)
4113 {
4114 return do_fop_ded(ctx, a->t, a->r, gen_fcpy_d);
4115 }
4116
4117 static void gen_fabs_f(TCGv_i32 dst, TCGv_env unused, TCGv_i32 src)
4118 {
4119 tcg_gen_andi_i32(dst, src, INT32_MAX);
4120 }
4121
4122 static bool trans_fabs_f(DisasContext *ctx, arg_fclass01 *a)
4123 {
4124 return do_fop_wew(ctx, a->t, a->r, gen_fabs_f);
4125 }
4126
4127 static void gen_fabs_d(TCGv_i64 dst, TCGv_env unused, TCGv_i64 src)
4128 {
4129 tcg_gen_andi_i64(dst, src, INT64_MAX);
4130 }
4131
4132 static bool trans_fabs_d(DisasContext *ctx, arg_fclass01 *a)
4133 {
4134 return do_fop_ded(ctx, a->t, a->r, gen_fabs_d);
4135 }
4136
4137 static bool trans_fsqrt_f(DisasContext *ctx, arg_fclass01 *a)
4138 {
4139 return do_fop_wew(ctx, a->t, a->r, gen_helper_fsqrt_s);
4140 }
4141
4142 static bool trans_fsqrt_d(DisasContext *ctx, arg_fclass01 *a)
4143 {
4144 return do_fop_ded(ctx, a->t, a->r, gen_helper_fsqrt_d);
4145 }
4146
4147 static bool trans_frnd_f(DisasContext *ctx, arg_fclass01 *a)
4148 {
4149 return do_fop_wew(ctx, a->t, a->r, gen_helper_frnd_s);
4150 }
4151
4152 static bool trans_frnd_d(DisasContext *ctx, arg_fclass01 *a)
4153 {
4154 return do_fop_ded(ctx, a->t, a->r, gen_helper_frnd_d);
4155 }
4156
4157 static void gen_fneg_f(TCGv_i32 dst, TCGv_env unused, TCGv_i32 src)
4158 {
4159 tcg_gen_xori_i32(dst, src, INT32_MIN);
4160 }
4161
4162 static bool trans_fneg_f(DisasContext *ctx, arg_fclass01 *a)
4163 {
4164 return do_fop_wew(ctx, a->t, a->r, gen_fneg_f);
4165 }
4166
4167 static void gen_fneg_d(TCGv_i64 dst, TCGv_env unused, TCGv_i64 src)
4168 {
4169 tcg_gen_xori_i64(dst, src, INT64_MIN);
4170 }
4171
4172 static bool trans_fneg_d(DisasContext *ctx, arg_fclass01 *a)
4173 {
4174 return do_fop_ded(ctx, a->t, a->r, gen_fneg_d);
4175 }
4176
4177 static void gen_fnegabs_f(TCGv_i32 dst, TCGv_env unused, TCGv_i32 src)
4178 {
4179 tcg_gen_ori_i32(dst, src, INT32_MIN);
4180 }
4181
4182 static bool trans_fnegabs_f(DisasContext *ctx, arg_fclass01 *a)
4183 {
4184 return do_fop_wew(ctx, a->t, a->r, gen_fnegabs_f);
4185 }
4186
4187 static void gen_fnegabs_d(TCGv_i64 dst, TCGv_env unused, TCGv_i64 src)
4188 {
4189 tcg_gen_ori_i64(dst, src, INT64_MIN);
4190 }
4191
4192 static bool trans_fnegabs_d(DisasContext *ctx, arg_fclass01 *a)
4193 {
4194 return do_fop_ded(ctx, a->t, a->r, gen_fnegabs_d);
4195 }
4196
4197 /*
4198 * Float class 1
4199 */
4200
4201 static bool trans_fcnv_d_f(DisasContext *ctx, arg_fclass01 *a)
4202 {
4203 return do_fop_wed(ctx, a->t, a->r, gen_helper_fcnv_d_s);
4204 }
4205
4206 static bool trans_fcnv_f_d(DisasContext *ctx, arg_fclass01 *a)
4207 {
4208 return do_fop_dew(ctx, a->t, a->r, gen_helper_fcnv_s_d);
4209 }
4210
4211 static bool trans_fcnv_w_f(DisasContext *ctx, arg_fclass01 *a)
4212 {
4213 return do_fop_wew(ctx, a->t, a->r, gen_helper_fcnv_w_s);
4214 }
4215
4216 static bool trans_fcnv_q_f(DisasContext *ctx, arg_fclass01 *a)
4217 {
4218 return do_fop_wed(ctx, a->t, a->r, gen_helper_fcnv_dw_s);
4219 }
4220
4221 static bool trans_fcnv_w_d(DisasContext *ctx, arg_fclass01 *a)
4222 {
4223 return do_fop_dew(ctx, a->t, a->r, gen_helper_fcnv_w_d);
4224 }
4225
4226 static bool trans_fcnv_q_d(DisasContext *ctx, arg_fclass01 *a)
4227 {
4228 return do_fop_ded(ctx, a->t, a->r, gen_helper_fcnv_dw_d);
4229 }
4230
4231 static bool trans_fcnv_f_w(DisasContext *ctx, arg_fclass01 *a)
4232 {
4233 return do_fop_wew(ctx, a->t, a->r, gen_helper_fcnv_s_w);
4234 }
4235
4236 static bool trans_fcnv_d_w(DisasContext *ctx, arg_fclass01 *a)
4237 {
4238 return do_fop_wed(ctx, a->t, a->r, gen_helper_fcnv_d_w);
4239 }
4240
4241 static bool trans_fcnv_f_q(DisasContext *ctx, arg_fclass01 *a)
4242 {
4243 return do_fop_dew(ctx, a->t, a->r, gen_helper_fcnv_s_dw);
4244 }
4245
4246 static bool trans_fcnv_d_q(DisasContext *ctx, arg_fclass01 *a)
4247 {
4248 return do_fop_ded(ctx, a->t, a->r, gen_helper_fcnv_d_dw);
4249 }
4250
4251 static bool trans_fcnv_t_f_w(DisasContext *ctx, arg_fclass01 *a)
4252 {
4253 return do_fop_wew(ctx, a->t, a->r, gen_helper_fcnv_t_s_w);
4254 }
4255
4256 static bool trans_fcnv_t_d_w(DisasContext *ctx, arg_fclass01 *a)
4257 {
4258 return do_fop_wed(ctx, a->t, a->r, gen_helper_fcnv_t_d_w);
4259 }
4260
4261 static bool trans_fcnv_t_f_q(DisasContext *ctx, arg_fclass01 *a)
4262 {
4263 return do_fop_dew(ctx, a->t, a->r, gen_helper_fcnv_t_s_dw);
4264 }
4265
4266 static bool trans_fcnv_t_d_q(DisasContext *ctx, arg_fclass01 *a)
4267 {
4268 return do_fop_ded(ctx, a->t, a->r, gen_helper_fcnv_t_d_dw);
4269 }
4270
4271 static bool trans_fcnv_uw_f(DisasContext *ctx, arg_fclass01 *a)
4272 {
4273 return do_fop_wew(ctx, a->t, a->r, gen_helper_fcnv_uw_s);
4274 }
4275
4276 static bool trans_fcnv_uq_f(DisasContext *ctx, arg_fclass01 *a)
4277 {
4278 return do_fop_wed(ctx, a->t, a->r, gen_helper_fcnv_udw_s);
4279 }
4280
4281 static bool trans_fcnv_uw_d(DisasContext *ctx, arg_fclass01 *a)
4282 {
4283 return do_fop_dew(ctx, a->t, a->r, gen_helper_fcnv_uw_d);
4284 }
4285
4286 static bool trans_fcnv_uq_d(DisasContext *ctx, arg_fclass01 *a)
4287 {
4288 return do_fop_ded(ctx, a->t, a->r, gen_helper_fcnv_udw_d);
4289 }
4290
4291 static bool trans_fcnv_f_uw(DisasContext *ctx, arg_fclass01 *a)
4292 {
4293 return do_fop_wew(ctx, a->t, a->r, gen_helper_fcnv_s_uw);
4294 }
4295
4296 static bool trans_fcnv_d_uw(DisasContext *ctx, arg_fclass01 *a)
4297 {
4298 return do_fop_wed(ctx, a->t, a->r, gen_helper_fcnv_d_uw);
4299 }
4300
4301 static bool trans_fcnv_f_uq(DisasContext *ctx, arg_fclass01 *a)
4302 {
4303 return do_fop_dew(ctx, a->t, a->r, gen_helper_fcnv_s_udw);
4304 }
4305
4306 static bool trans_fcnv_d_uq(DisasContext *ctx, arg_fclass01 *a)
4307 {
4308 return do_fop_ded(ctx, a->t, a->r, gen_helper_fcnv_d_udw);
4309 }
4310
4311 static bool trans_fcnv_t_f_uw(DisasContext *ctx, arg_fclass01 *a)
4312 {
4313 return do_fop_wew(ctx, a->t, a->r, gen_helper_fcnv_t_s_uw);
4314 }
4315
4316 static bool trans_fcnv_t_d_uw(DisasContext *ctx, arg_fclass01 *a)
4317 {
4318 return do_fop_wed(ctx, a->t, a->r, gen_helper_fcnv_t_d_uw);
4319 }
4320
4321 static bool trans_fcnv_t_f_uq(DisasContext *ctx, arg_fclass01 *a)
4322 {
4323 return do_fop_dew(ctx, a->t, a->r, gen_helper_fcnv_t_s_udw);
4324 }
4325
4326 static bool trans_fcnv_t_d_uq(DisasContext *ctx, arg_fclass01 *a)
4327 {
4328 return do_fop_ded(ctx, a->t, a->r, gen_helper_fcnv_t_d_udw);
4329 }
4330
4331 /*
4332 * Float class 2
4333 */
4334
4335 static bool trans_fcmp_f(DisasContext *ctx, arg_fclass2 *a)
4336 {
4337 TCGv_i32 ta, tb, tc, ty;
4338
4339 nullify_over(ctx);
4340
4341 ta = load_frw0_i32(a->r1);
4342 tb = load_frw0_i32(a->r2);
4343 ty = tcg_constant_i32(a->y);
4344 tc = tcg_constant_i32(a->c);
4345
4346 gen_helper_fcmp_s(tcg_env, ta, tb, ty, tc);
4347
4348 return nullify_end(ctx);
4349 }
4350
4351 static bool trans_fcmp_d(DisasContext *ctx, arg_fclass2 *a)
4352 {
4353 TCGv_i64 ta, tb;
4354 TCGv_i32 tc, ty;
4355
4356 nullify_over(ctx);
4357
4358 ta = load_frd0(a->r1);
4359 tb = load_frd0(a->r2);
4360 ty = tcg_constant_i32(a->y);
4361 tc = tcg_constant_i32(a->c);
4362
4363 gen_helper_fcmp_d(tcg_env, ta, tb, ty, tc);
4364
4365 return nullify_end(ctx);
4366 }
4367
4368 static bool trans_ftest(DisasContext *ctx, arg_ftest *a)
4369 {
4370 TCGCond tc = TCG_COND_TSTNE;
4371 uint32_t mask;
4372 TCGv_i64 t;
4373
4374 nullify_over(ctx);
4375
4376 t = tcg_temp_new_i64();
4377 tcg_gen_ld32u_i64(t, tcg_env, offsetof(CPUHPPAState, fr0_shadow));
4378
4379 if (a->y == 1) {
4380 switch (a->c) {
4381 case 0: /* simple */
4382 mask = R_FPSR_C_MASK;
4383 break;
4384 case 2: /* rej */
4385 tc = TCG_COND_TSTEQ;
4386 /* fallthru */
4387 case 1: /* acc */
4388 mask = R_FPSR_C_MASK | R_FPSR_CQ_MASK;
4389 break;
4390 case 6: /* rej8 */
4391 tc = TCG_COND_TSTEQ;
4392 /* fallthru */
4393 case 5: /* acc8 */
4394 mask = R_FPSR_C_MASK | R_FPSR_CQ0_6_MASK;
4395 break;
4396 case 9: /* acc6 */
4397 mask = R_FPSR_C_MASK | R_FPSR_CQ0_4_MASK;
4398 break;
4399 case 13: /* acc4 */
4400 mask = R_FPSR_C_MASK | R_FPSR_CQ0_2_MASK;
4401 break;
4402 case 17: /* acc2 */
4403 mask = R_FPSR_C_MASK | R_FPSR_CQ0_MASK;
4404 break;
4405 default:
4406 gen_illegal(ctx);
4407 return true;
4408 }
4409 } else {
4410 unsigned cbit = (a->y ^ 1) - 1;
4411 mask = R_FPSR_CA0_MASK >> cbit;
4412 }
4413
4414 ctx->null_cond = cond_make_ti(tc, t, mask);
4415 return nullify_end(ctx);
4416 }
4417
4418 /*
4419 * Float class 2
4420 */
4421
4422 static bool trans_fadd_f(DisasContext *ctx, arg_fclass3 *a)
4423 {
4424 return do_fop_weww(ctx, a->t, a->r1, a->r2, gen_helper_fadd_s);
4425 }
4426
4427 static bool trans_fadd_d(DisasContext *ctx, arg_fclass3 *a)
4428 {
4429 return do_fop_dedd(ctx, a->t, a->r1, a->r2, gen_helper_fadd_d);
4430 }
4431
4432 static bool trans_fsub_f(DisasContext *ctx, arg_fclass3 *a)
4433 {
4434 return do_fop_weww(ctx, a->t, a->r1, a->r2, gen_helper_fsub_s);
4435 }
4436
4437 static bool trans_fsub_d(DisasContext *ctx, arg_fclass3 *a)
4438 {
4439 return do_fop_dedd(ctx, a->t, a->r1, a->r2, gen_helper_fsub_d);
4440 }
4441
4442 static bool trans_fmpy_f(DisasContext *ctx, arg_fclass3 *a)
4443 {
4444 return do_fop_weww(ctx, a->t, a->r1, a->r2, gen_helper_fmpy_s);
4445 }
4446
4447 static bool trans_fmpy_d(DisasContext *ctx, arg_fclass3 *a)
4448 {
4449 return do_fop_dedd(ctx, a->t, a->r1, a->r2, gen_helper_fmpy_d);
4450 }
4451
4452 static bool trans_fdiv_f(DisasContext *ctx, arg_fclass3 *a)
4453 {
4454 return do_fop_weww(ctx, a->t, a->r1, a->r2, gen_helper_fdiv_s);
4455 }
4456
4457 static bool trans_fdiv_d(DisasContext *ctx, arg_fclass3 *a)
4458 {
4459 return do_fop_dedd(ctx, a->t, a->r1, a->r2, gen_helper_fdiv_d);
4460 }
4461
4462 static bool trans_xmpyu(DisasContext *ctx, arg_xmpyu *a)
4463 {
4464 TCGv_i64 x, y;
4465
4466 nullify_over(ctx);
4467
4468 x = load_frw0_i64(a->r1);
4469 y = load_frw0_i64(a->r2);
4470 tcg_gen_mul_i64(x, x, y);
4471 save_frd(a->t, x);
4472
4473 return nullify_end(ctx);
4474 }
4475
4476 /* Convert the fmpyadd single-precision register encodings to standard. */
4477 static inline int fmpyadd_s_reg(unsigned r)
4478 {
4479 return (r & 16) * 2 + 16 + (r & 15);
4480 }
4481
4482 static bool do_fmpyadd_s(DisasContext *ctx, arg_mpyadd *a, bool is_sub)
4483 {
4484 int tm = fmpyadd_s_reg(a->tm);
4485 int ra = fmpyadd_s_reg(a->ra);
4486 int ta = fmpyadd_s_reg(a->ta);
4487 int rm2 = fmpyadd_s_reg(a->rm2);
4488 int rm1 = fmpyadd_s_reg(a->rm1);
4489
4490 nullify_over(ctx);
4491
4492 do_fop_weww(ctx, tm, rm1, rm2, gen_helper_fmpy_s);
4493 do_fop_weww(ctx, ta, ta, ra,
4494 is_sub ? gen_helper_fsub_s : gen_helper_fadd_s);
4495
4496 return nullify_end(ctx);
4497 }
4498
4499 static bool trans_fmpyadd_f(DisasContext *ctx, arg_mpyadd *a)
4500 {
4501 return do_fmpyadd_s(ctx, a, false);
4502 }
4503
4504 static bool trans_fmpysub_f(DisasContext *ctx, arg_mpyadd *a)
4505 {
4506 return do_fmpyadd_s(ctx, a, true);
4507 }
4508
4509 static bool do_fmpyadd_d(DisasContext *ctx, arg_mpyadd *a, bool is_sub)
4510 {
4511 nullify_over(ctx);
4512
4513 do_fop_dedd(ctx, a->tm, a->rm1, a->rm2, gen_helper_fmpy_d);
4514 do_fop_dedd(ctx, a->ta, a->ta, a->ra,
4515 is_sub ? gen_helper_fsub_d : gen_helper_fadd_d);
4516
4517 return nullify_end(ctx);
4518 }
4519
4520 static bool trans_fmpyadd_d(DisasContext *ctx, arg_mpyadd *a)
4521 {
4522 return do_fmpyadd_d(ctx, a, false);
4523 }
4524
4525 static bool trans_fmpysub_d(DisasContext *ctx, arg_mpyadd *a)
4526 {
4527 return do_fmpyadd_d(ctx, a, true);
4528 }
4529
4530 static bool trans_fmpyfadd_f(DisasContext *ctx, arg_fmpyfadd_f *a)
4531 {
4532 TCGv_i32 x, y, z;
4533
4534 nullify_over(ctx);
4535 x = load_frw0_i32(a->rm1);
4536 y = load_frw0_i32(a->rm2);
4537 z = load_frw0_i32(a->ra3);
4538
4539 if (a->neg) {
4540 gen_helper_fmpynfadd_s(x, tcg_env, x, y, z);
4541 } else {
4542 gen_helper_fmpyfadd_s(x, tcg_env, x, y, z);
4543 }
4544
4545 save_frw_i32(a->t, x);
4546 return nullify_end(ctx);
4547 }
4548
4549 static bool trans_fmpyfadd_d(DisasContext *ctx, arg_fmpyfadd_d *a)
4550 {
4551 TCGv_i64 x, y, z;
4552
4553 nullify_over(ctx);
4554 x = load_frd0(a->rm1);
4555 y = load_frd0(a->rm2);
4556 z = load_frd0(a->ra3);
4557
4558 if (a->neg) {
4559 gen_helper_fmpynfadd_d(x, tcg_env, x, y, z);
4560 } else {
4561 gen_helper_fmpyfadd_d(x, tcg_env, x, y, z);
4562 }
4563
4564 save_frd(a->t, x);
4565 return nullify_end(ctx);
4566 }
4567
4568 /* Emulate PDC BTLB, called by SeaBIOS-hppa */
4569 static bool trans_diag_btlb(DisasContext *ctx, arg_diag_btlb *a)
4570 {
4571 CHECK_MOST_PRIVILEGED(EXCP_PRIV_OPR);
4572 #ifndef CONFIG_USER_ONLY
4573 nullify_over(ctx);
4574 gen_helper_diag_btlb(tcg_env);
4575 return nullify_end(ctx);
4576 #endif
4577 }
4578
4579 /* Print char in %r26 to first serial console, used by SeaBIOS-hppa */
4580 static bool trans_diag_cout(DisasContext *ctx, arg_diag_cout *a)
4581 {
4582 CHECK_MOST_PRIVILEGED(EXCP_PRIV_OPR);
4583 #ifndef CONFIG_USER_ONLY
4584 nullify_over(ctx);
4585 gen_helper_diag_console_output(tcg_env);
4586 return nullify_end(ctx);
4587 #endif
4588 }
4589
4590 static bool trans_diag_getshadowregs_pa1(DisasContext *ctx, arg_empty *a)
4591 {
4592 return !ctx->is_pa20 && do_getshadowregs(ctx);
4593 }
4594
4595 static bool trans_diag_getshadowregs_pa2(DisasContext *ctx, arg_empty *a)
4596 {
4597 return ctx->is_pa20 && do_getshadowregs(ctx);
4598 }
4599
4600 static bool trans_diag_putshadowregs_pa1(DisasContext *ctx, arg_empty *a)
4601 {
4602 return !ctx->is_pa20 && do_putshadowregs(ctx);
4603 }
4604
4605 static bool trans_diag_putshadowregs_pa2(DisasContext *ctx, arg_empty *a)
4606 {
4607 return ctx->is_pa20 && do_putshadowregs(ctx);
4608 }
4609
4610 static bool trans_diag_unimp(DisasContext *ctx, arg_diag_unimp *a)
4611 {
4612 CHECK_MOST_PRIVILEGED(EXCP_PRIV_OPR);
4613 qemu_log_mask(LOG_UNIMP, "DIAG opcode 0x%04x ignored\n", a->i);
4614 return true;
4615 }
4616
4617 static void hppa_tr_init_disas_context(DisasContextBase *dcbase, CPUState *cs)
4618 {
4619 DisasContext *ctx = container_of(dcbase, DisasContext, base);
4620 uint64_t cs_base;
4621 int bound;
4622
4623 ctx->cs = cs;
4624 ctx->tb_flags = ctx->base.tb->flags;
4625 ctx->is_pa20 = hppa_is_pa20(cpu_env(cs));
4626 ctx->psw_xb = ctx->tb_flags & (PSW_X | PSW_B);
4627
4628 #ifdef CONFIG_USER_ONLY
4629 ctx->privilege = PRIV_USER;
4630 ctx->mmu_idx = MMU_USER_IDX;
4631 ctx->unalign = (ctx->tb_flags & TB_FLAG_UNALIGN ? MO_UNALN : MO_ALIGN);
4632 #else
4633 ctx->privilege = (ctx->tb_flags >> TB_FLAG_PRIV_SHIFT) & 3;
4634 ctx->mmu_idx = (ctx->tb_flags & PSW_D
4635 ? PRIV_P_TO_MMU_IDX(ctx->privilege, ctx->tb_flags & PSW_P)
4636 : ctx->tb_flags & PSW_W ? MMU_ABS_W_IDX : MMU_ABS_IDX);
4637 #endif
4638
4639 cs_base = ctx->base.tb->cs_base;
4640 ctx->iaoq_first = ctx->base.pc_first + ctx->privilege;
4641
4642 if (unlikely(cs_base & CS_BASE_DIFFSPACE)) {
4643 ctx->iaq_b.space = cpu_iasq_b;
4644 ctx->iaq_b.base = cpu_iaoq_b;
4645 } else if (unlikely(cs_base & CS_BASE_DIFFPAGE)) {
4646 ctx->iaq_b.base = cpu_iaoq_b;
4647 } else {
4648 uint64_t iaoq_f_pgofs = ctx->iaoq_first & ~TARGET_PAGE_MASK;
4649 uint64_t iaoq_b_pgofs = cs_base & ~TARGET_PAGE_MASK;
4650 ctx->iaq_b.disp = iaoq_b_pgofs - iaoq_f_pgofs;
4651 }
4652
4653 ctx->zero = tcg_constant_i64(0);
4654
4655 /* Bound the number of instructions by those left on the page. */
4656 bound = -(ctx->base.pc_first | TARGET_PAGE_MASK) / 4;
4657 ctx->base.max_insns = MIN(ctx->base.max_insns, bound);
4658 }
4659
4660 static void hppa_tr_tb_start(DisasContextBase *dcbase, CPUState *cs)
4661 {
4662 DisasContext *ctx = container_of(dcbase, DisasContext, base);
4663
4664 /* Seed the nullification status from PSW[N], as saved in TB->FLAGS. */
4665 ctx->null_cond = cond_make_f();
4666 ctx->psw_n_nonzero = false;
4667 if (ctx->tb_flags & PSW_N) {
4668 ctx->null_cond.c = TCG_COND_ALWAYS;
4669 ctx->psw_n_nonzero = true;
4670 }
4671 ctx->null_lab = NULL;
4672 }
4673
4674 static void hppa_tr_insn_start(DisasContextBase *dcbase, CPUState *cs)
4675 {
4676 DisasContext *ctx = container_of(dcbase, DisasContext, base);
4677 uint64_t iaoq_f, iaoq_b;
4678 int64_t diff;
4679
4680 tcg_debug_assert(!iaqe_variable(&ctx->iaq_f));
4681
4682 iaoq_f = ctx->iaoq_first + ctx->iaq_f.disp;
4683 if (iaqe_variable(&ctx->iaq_b)) {
4684 diff = INT32_MIN;
4685 } else {
4686 iaoq_b = ctx->iaoq_first + ctx->iaq_b.disp;
4687 diff = iaoq_b - iaoq_f;
4688 /* Direct branches can only produce a 24-bit displacement. */
4689 tcg_debug_assert(diff == (int32_t)diff);
4690 tcg_debug_assert(diff != INT32_MIN);
4691 }
4692
4693 tcg_gen_insn_start(iaoq_f & ~TARGET_PAGE_MASK, diff, 0);
4694 ctx->insn_start_updated = false;
4695 }
4696
4697 static void hppa_tr_translate_insn(DisasContextBase *dcbase, CPUState *cs)
4698 {
4699 DisasContext *ctx = container_of(dcbase, DisasContext, base);
4700 CPUHPPAState *env = cpu_env(cs);
4701 DisasJumpType ret;
4702
4703 /* Execute one insn. */
4704 #ifdef CONFIG_USER_ONLY
4705 if (ctx->base.pc_next < TARGET_PAGE_SIZE) {
4706 do_page_zero(ctx);
4707 ret = ctx->base.is_jmp;
4708 assert(ret != DISAS_NEXT);
4709 } else
4710 #endif
4711 {
4712 /* Always fetch the insn, even if nullified, so that we check
4713 the page permissions for execute. */
4714 uint32_t insn = translator_ldl(env, &ctx->base, ctx->base.pc_next);
4715
4716 /*
4717 * Set up the IA queue for the next insn.
4718 * This will be overwritten by a branch.
4719 */
4720 ctx->iaq_n = NULL;
4721 memset(&ctx->iaq_j, 0, sizeof(ctx->iaq_j));
4722 ctx->psw_b_next = false;
4723
4724 if (unlikely(ctx->null_cond.c == TCG_COND_ALWAYS)) {
4725 ctx->null_cond.c = TCG_COND_NEVER;
4726 ret = DISAS_NEXT;
4727 } else {
4728 ctx->insn = insn;
4729 if (!decode(ctx, insn)) {
4730 gen_illegal(ctx);
4731 }
4732 ret = ctx->base.is_jmp;
4733 assert(ctx->null_lab == NULL);
4734 }
4735
4736 if (ret != DISAS_NORETURN) {
4737 set_psw_xb(ctx, ctx->psw_b_next ? PSW_B : 0);
4738 }
4739 }
4740
4741 /* If the TranslationBlock must end, do so. */
4742 ctx->base.pc_next += 4;
4743 if (ret != DISAS_NEXT) {
4744 return;
4745 }
4746 /* Note this also detects a priority change. */
4747 if (iaqe_variable(&ctx->iaq_b)
4748 || ctx->iaq_b.disp != ctx->iaq_f.disp + 4) {
4749 ctx->base.is_jmp = DISAS_IAQ_N_STALE;
4750 return;
4751 }
4752
4753 /*
4754 * Advance the insn queue.
4755 * The only exit now is DISAS_TOO_MANY from the translator loop.
4756 */
4757 ctx->iaq_f.disp = ctx->iaq_b.disp;
4758 if (!ctx->iaq_n) {
4759 ctx->iaq_b.disp += 4;
4760 return;
4761 }
4762 /*
4763 * If IAQ_Next is variable in any way, we need to copy into the
4764 * IAQ_Back globals, in case the next insn raises an exception.
4765 */
4766 if (ctx->iaq_n->base) {
4767 copy_iaoq_entry(ctx, cpu_iaoq_b, ctx->iaq_n);
4768 ctx->iaq_b.base = cpu_iaoq_b;
4769 ctx->iaq_b.disp = 0;
4770 } else {
4771 ctx->iaq_b.disp = ctx->iaq_n->disp;
4772 }
4773 if (ctx->iaq_n->space) {
4774 tcg_gen_mov_i64(cpu_iasq_b, ctx->iaq_n->space);
4775 ctx->iaq_b.space = cpu_iasq_b;
4776 }
4777 }
4778
4779 static void hppa_tr_tb_stop(DisasContextBase *dcbase, CPUState *cs)
4780 {
4781 DisasContext *ctx = container_of(dcbase, DisasContext, base);
4782 DisasJumpType is_jmp = ctx->base.is_jmp;
4783 /* Assume the insn queue has not been advanced. */
4784 DisasIAQE *f = &ctx->iaq_b;
4785 DisasIAQE *b = ctx->iaq_n;
4786
4787 switch (is_jmp) {
4788 case DISAS_NORETURN:
4789 break;
4790 case DISAS_TOO_MANY:
4791 /* The insn queue has not been advanced. */
4792 f = &ctx->iaq_f;
4793 b = &ctx->iaq_b;
4794 /* FALLTHRU */
4795 case DISAS_IAQ_N_STALE:
4796 if (use_goto_tb(ctx, f, b)
4797 && (ctx->null_cond.c == TCG_COND_NEVER
4798 || ctx->null_cond.c == TCG_COND_ALWAYS)) {
4799 nullify_set(ctx, ctx->null_cond.c == TCG_COND_ALWAYS);
4800 gen_goto_tb(ctx, 0, f, b);
4801 break;
4802 }
4803 /* FALLTHRU */
4804 case DISAS_IAQ_N_STALE_EXIT:
4805 install_iaq_entries(ctx, f, b);
4806 nullify_save(ctx);
4807 if (is_jmp == DISAS_IAQ_N_STALE_EXIT) {
4808 tcg_gen_exit_tb(NULL, 0);
4809 break;
4810 }
4811 /* FALLTHRU */
4812 case DISAS_IAQ_N_UPDATED:
4813 tcg_gen_lookup_and_goto_ptr();
4814 break;
4815 case DISAS_EXIT:
4816 tcg_gen_exit_tb(NULL, 0);
4817 break;
4818 default:
4819 g_assert_not_reached();
4820 }
4821
4822 for (DisasDelayException *e = ctx->delay_excp_list; e ; e = e->next) {
4823 gen_set_label(e->lab);
4824 if (e->set_n >= 0) {
4825 tcg_gen_movi_i64(cpu_psw_n, e->set_n);
4826 }
4827 if (e->set_iir) {
4828 tcg_gen_st_i64(tcg_constant_i64(e->insn), tcg_env,
4829 offsetof(CPUHPPAState, cr[CR_IIR]));
4830 }
4831 install_iaq_entries(ctx, &e->iaq_f, &e->iaq_b);
4832 gen_excp_1(e->excp);
4833 }
4834 }
4835
4836 #ifdef CONFIG_USER_ONLY
4837 static bool hppa_tr_disas_log(const DisasContextBase *dcbase,
4838 CPUState *cs, FILE *logfile)
4839 {
4840 target_ulong pc = dcbase->pc_first;
4841
4842 switch (pc) {
4843 case 0x00:
4844 fprintf(logfile, "IN:\n0x00000000: (null)\n");
4845 return true;
4846 case 0xb0:
4847 fprintf(logfile, "IN:\n0x000000b0: light-weight-syscall\n");
4848 return true;
4849 case 0xe0:
4850 fprintf(logfile, "IN:\n0x000000e0: set-thread-pointer-syscall\n");
4851 return true;
4852 case 0x100:
4853 fprintf(logfile, "IN:\n0x00000100: syscall\n");
4854 return true;
4855 }
4856 return false;
4857 }
4858 #endif
4859
4860 static const TranslatorOps hppa_tr_ops = {
4861 .init_disas_context = hppa_tr_init_disas_context,
4862 .tb_start = hppa_tr_tb_start,
4863 .insn_start = hppa_tr_insn_start,
4864 .translate_insn = hppa_tr_translate_insn,
4865 .tb_stop = hppa_tr_tb_stop,
4866 #ifdef CONFIG_USER_ONLY
4867 .disas_log = hppa_tr_disas_log,
4868 #endif
4869 };
4870
4871 void gen_intermediate_code(CPUState *cs, TranslationBlock *tb, int *max_insns,
4872 vaddr pc, void *host_pc)
4873 {
4874 DisasContext ctx = { };
4875 translator_loop(cs, tb, max_insns, pc, host_pc, &hppa_tr_ops, &ctx.base);
4876 }