live migration: Allow cleanup after cancellation or error
[qemu/mdroth.git] / target-cris / op_helper.c
blobb44b9325ff6148a9666ca25490025a40550a178f
1 /*
2 * CRIS helper routines
4 * Copyright (c) 2007 AXIS Communications
5 * Written by Edgar E. Iglesias
7 * This library is free software; you can redistribute it and/or
8 * modify it under the terms of the GNU Lesser General Public
9 * License as published by the Free Software Foundation; either
10 * version 2 of the License, or (at your option) any later version.
12 * This library is distributed in the hope that it will be useful,
13 * but WITHOUT ANY WARRANTY; without even the implied warranty of
14 * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU
15 * Lesser General Public License for more details.
17 * You should have received a copy of the GNU Lesser General Public
18 * License along with this library; if not, see <http://www.gnu.org/licenses/>.
21 #include "exec.h"
22 #include "mmu.h"
23 #include "helper.h"
24 #include "host-utils.h"
26 //#define CRIS_OP_HELPER_DEBUG
29 #ifdef CRIS_OP_HELPER_DEBUG
30 #define D(x) x
31 #define D_LOG(...) qemu_log(__VA__ARGS__)
32 #else
33 #define D(x)
34 #define D_LOG(...) do { } while (0)
35 #endif
37 #if !defined(CONFIG_USER_ONLY)
39 #define MMUSUFFIX _mmu
41 #define SHIFT 0
42 #include "softmmu_template.h"
44 #define SHIFT 1
45 #include "softmmu_template.h"
47 #define SHIFT 2
48 #include "softmmu_template.h"
50 #define SHIFT 3
51 #include "softmmu_template.h"
53 /* Try to fill the TLB and return an exception if error. If retaddr is
54 NULL, it means that the function was called in C code (i.e. not
55 from generated code or from helper.c) */
56 /* XXX: fix it to restore all registers */
57 void tlb_fill (target_ulong addr, int is_write, int mmu_idx, void *retaddr)
59 TranslationBlock *tb;
60 CPUState *saved_env;
61 unsigned long pc;
62 int ret;
64 /* XXX: hack to restore env in all cases, even if not called from
65 generated code */
66 saved_env = env;
67 env = cpu_single_env;
69 D_LOG("%s pc=%x tpc=%x ra=%x\n", __func__,
70 env->pc, env->debug1, retaddr);
71 ret = cpu_cris_handle_mmu_fault(env, addr, is_write, mmu_idx, 1);
72 if (unlikely(ret)) {
73 if (retaddr) {
74 /* now we have a real cpu fault */
75 pc = (unsigned long)retaddr;
76 tb = tb_find_pc(pc);
77 if (tb) {
78 /* the PC is inside the translated code. It means that we have
79 a virtual CPU fault */
80 cpu_restore_state(tb, env, pc, NULL);
82 /* Evaluate flags after retranslation. */
83 helper_top_evaluate_flags();
86 cpu_loop_exit();
88 env = saved_env;
91 #endif
93 void helper_raise_exception(uint32_t index)
95 env->exception_index = index;
96 cpu_loop_exit();
99 void helper_tlb_flush_pid(uint32_t pid)
101 #if !defined(CONFIG_USER_ONLY)
102 pid &= 0xff;
103 if (pid != (env->pregs[PR_PID] & 0xff))
104 cris_mmu_flush_pid(env, env->pregs[PR_PID]);
105 #endif
108 void helper_spc_write(uint32_t new_spc)
110 #if !defined(CONFIG_USER_ONLY)
111 tlb_flush_page(env, env->pregs[PR_SPC]);
112 tlb_flush_page(env, new_spc);
113 #endif
116 void helper_dump(uint32_t a0, uint32_t a1, uint32_t a2)
118 qemu_log("%s: a0=%x a1=%x\n", __func__, a0, a1);
121 /* Used by the tlb decoder. */
122 #define EXTRACT_FIELD(src, start, end) \
123 (((src) >> start) & ((1 << (end - start + 1)) - 1))
125 void helper_movl_sreg_reg (uint32_t sreg, uint32_t reg)
127 uint32_t srs;
128 srs = env->pregs[PR_SRS];
129 srs &= 3;
130 env->sregs[srs][sreg] = env->regs[reg];
132 #if !defined(CONFIG_USER_ONLY)
133 if (srs == 1 || srs == 2) {
134 if (sreg == 6) {
135 /* Writes to tlb-hi write to mm_cause as a side
136 effect. */
137 env->sregs[SFR_RW_MM_TLB_HI] = env->regs[reg];
138 env->sregs[SFR_R_MM_CAUSE] = env->regs[reg];
140 else if (sreg == 5) {
141 uint32_t set;
142 uint32_t idx;
143 uint32_t lo, hi;
144 uint32_t vaddr;
145 int tlb_v;
147 idx = set = env->sregs[SFR_RW_MM_TLB_SEL];
148 set >>= 4;
149 set &= 3;
151 idx &= 15;
152 /* We've just made a write to tlb_lo. */
153 lo = env->sregs[SFR_RW_MM_TLB_LO];
154 /* Writes are done via r_mm_cause. */
155 hi = env->sregs[SFR_R_MM_CAUSE];
157 vaddr = EXTRACT_FIELD(env->tlbsets[srs-1][set][idx].hi,
158 13, 31);
159 vaddr <<= TARGET_PAGE_BITS;
160 tlb_v = EXTRACT_FIELD(env->tlbsets[srs-1][set][idx].lo,
161 3, 3);
162 env->tlbsets[srs - 1][set][idx].lo = lo;
163 env->tlbsets[srs - 1][set][idx].hi = hi;
165 D_LOG("tlb flush vaddr=%x v=%d pc=%x\n",
166 vaddr, tlb_v, env->pc);
167 tlb_flush_page(env, vaddr);
170 #endif
173 void helper_movl_reg_sreg (uint32_t reg, uint32_t sreg)
175 uint32_t srs;
176 env->pregs[PR_SRS] &= 3;
177 srs = env->pregs[PR_SRS];
179 #if !defined(CONFIG_USER_ONLY)
180 if (srs == 1 || srs == 2)
182 uint32_t set;
183 uint32_t idx;
184 uint32_t lo, hi;
186 idx = set = env->sregs[SFR_RW_MM_TLB_SEL];
187 set >>= 4;
188 set &= 3;
189 idx &= 15;
191 /* Update the mirror regs. */
192 hi = env->tlbsets[srs - 1][set][idx].hi;
193 lo = env->tlbsets[srs - 1][set][idx].lo;
194 env->sregs[SFR_RW_MM_TLB_HI] = hi;
195 env->sregs[SFR_RW_MM_TLB_LO] = lo;
197 #endif
198 env->regs[reg] = env->sregs[srs][sreg];
201 static void cris_ccs_rshift(CPUState *env)
203 uint32_t ccs;
205 /* Apply the ccs shift. */
206 ccs = env->pregs[PR_CCS];
207 ccs = (ccs & 0xc0000000) | ((ccs & 0x0fffffff) >> 10);
208 if (ccs & U_FLAG)
210 /* Enter user mode. */
211 env->ksp = env->regs[R_SP];
212 env->regs[R_SP] = env->pregs[PR_USP];
215 env->pregs[PR_CCS] = ccs;
218 void helper_rfe(void)
220 int rflag = env->pregs[PR_CCS] & R_FLAG;
222 D_LOG("rfe: erp=%x pid=%x ccs=%x btarget=%x\n",
223 env->pregs[PR_ERP], env->pregs[PR_PID],
224 env->pregs[PR_CCS],
225 env->btarget);
227 cris_ccs_rshift(env);
229 /* RFE sets the P_FLAG only if the R_FLAG is not set. */
230 if (!rflag)
231 env->pregs[PR_CCS] |= P_FLAG;
234 void helper_rfn(void)
236 int rflag = env->pregs[PR_CCS] & R_FLAG;
238 D_LOG("rfn: erp=%x pid=%x ccs=%x btarget=%x\n",
239 env->pregs[PR_ERP], env->pregs[PR_PID],
240 env->pregs[PR_CCS],
241 env->btarget);
243 cris_ccs_rshift(env);
245 /* Set the P_FLAG only if the R_FLAG is not set. */
246 if (!rflag)
247 env->pregs[PR_CCS] |= P_FLAG;
249 /* Always set the M flag. */
250 env->pregs[PR_CCS] |= M_FLAG;
253 uint32_t helper_lz(uint32_t t0)
255 return clz32(t0);
258 uint32_t helper_btst(uint32_t t0, uint32_t t1, uint32_t ccs)
260 /* FIXME: clean this up. */
262 /* des ref:
263 The N flag is set according to the selected bit in the dest reg.
264 The Z flag is set if the selected bit and all bits to the right are
265 zero.
266 The X flag is cleared.
267 Other flags are left untouched.
268 The destination reg is not affected.*/
269 unsigned int fz, sbit, bset, mask, masked_t0;
271 sbit = t1 & 31;
272 bset = !!(t0 & (1 << sbit));
273 mask = sbit == 31 ? -1 : (1 << (sbit + 1)) - 1;
274 masked_t0 = t0 & mask;
275 fz = !(masked_t0 | bset);
277 /* Clear the X, N and Z flags. */
278 ccs = ccs & ~(X_FLAG | N_FLAG | Z_FLAG);
279 /* Set the N and Z flags accordingly. */
280 ccs |= (bset << 3) | (fz << 2);
281 return ccs;
284 static inline uint32_t evaluate_flags_writeback(uint32_t flags, uint32_t ccs)
286 unsigned int x, z, mask;
288 /* Extended arithmetics, leave the z flag alone. */
289 x = env->cc_x;
290 mask = env->cc_mask | X_FLAG;
291 if (x) {
292 z = flags & Z_FLAG;
293 mask = mask & ~z;
295 flags &= mask;
297 /* all insn clear the x-flag except setf or clrf. */
298 ccs &= ~mask;
299 ccs |= flags;
300 return ccs;
303 uint32_t helper_evaluate_flags_muls(uint32_t ccs, uint32_t res, uint32_t mof)
305 uint32_t flags = 0;
306 int64_t tmp;
307 int dneg;
309 dneg = ((int32_t)res) < 0;
311 tmp = mof;
312 tmp <<= 32;
313 tmp |= res;
314 if (tmp == 0)
315 flags |= Z_FLAG;
316 else if (tmp < 0)
317 flags |= N_FLAG;
318 if ((dneg && mof != -1)
319 || (!dneg && mof != 0))
320 flags |= V_FLAG;
321 return evaluate_flags_writeback(flags, ccs);
324 uint32_t helper_evaluate_flags_mulu(uint32_t ccs, uint32_t res, uint32_t mof)
326 uint32_t flags = 0;
327 uint64_t tmp;
329 tmp = mof;
330 tmp <<= 32;
331 tmp |= res;
332 if (tmp == 0)
333 flags |= Z_FLAG;
334 else if (tmp >> 63)
335 flags |= N_FLAG;
336 if (mof)
337 flags |= V_FLAG;
339 return evaluate_flags_writeback(flags, ccs);
342 uint32_t helper_evaluate_flags_mcp(uint32_t ccs,
343 uint32_t src, uint32_t dst, uint32_t res)
345 uint32_t flags = 0;
347 src = src & 0x80000000;
348 dst = dst & 0x80000000;
350 if ((res & 0x80000000L) != 0L)
352 flags |= N_FLAG;
353 if (!src && !dst)
354 flags |= V_FLAG;
355 else if (src & dst)
356 flags |= R_FLAG;
358 else
360 if (res == 0L)
361 flags |= Z_FLAG;
362 if (src & dst)
363 flags |= V_FLAG;
364 if (dst | src)
365 flags |= R_FLAG;
368 return evaluate_flags_writeback(flags, ccs);
371 uint32_t helper_evaluate_flags_alu_4(uint32_t ccs,
372 uint32_t src, uint32_t dst, uint32_t res)
374 uint32_t flags = 0;
376 src = src & 0x80000000;
377 dst = dst & 0x80000000;
379 if ((res & 0x80000000L) != 0L)
381 flags |= N_FLAG;
382 if (!src && !dst)
383 flags |= V_FLAG;
384 else if (src & dst)
385 flags |= C_FLAG;
387 else
389 if (res == 0L)
390 flags |= Z_FLAG;
391 if (src & dst)
392 flags |= V_FLAG;
393 if (dst | src)
394 flags |= C_FLAG;
397 return evaluate_flags_writeback(flags, ccs);
400 uint32_t helper_evaluate_flags_sub_4(uint32_t ccs,
401 uint32_t src, uint32_t dst, uint32_t res)
403 uint32_t flags = 0;
405 src = (~src) & 0x80000000;
406 dst = dst & 0x80000000;
408 if ((res & 0x80000000L) != 0L)
410 flags |= N_FLAG;
411 if (!src && !dst)
412 flags |= V_FLAG;
413 else if (src & dst)
414 flags |= C_FLAG;
416 else
418 if (res == 0L)
419 flags |= Z_FLAG;
420 if (src & dst)
421 flags |= V_FLAG;
422 if (dst | src)
423 flags |= C_FLAG;
426 flags ^= C_FLAG;
427 return evaluate_flags_writeback(flags, ccs);
430 uint32_t helper_evaluate_flags_move_4(uint32_t ccs, uint32_t res)
432 uint32_t flags = 0;
434 if ((int32_t)res < 0)
435 flags |= N_FLAG;
436 else if (res == 0L)
437 flags |= Z_FLAG;
439 return evaluate_flags_writeback(flags, ccs);
441 uint32_t helper_evaluate_flags_move_2(uint32_t ccs, uint32_t res)
443 uint32_t flags = 0;
445 if ((int16_t)res < 0L)
446 flags |= N_FLAG;
447 else if (res == 0)
448 flags |= Z_FLAG;
450 return evaluate_flags_writeback(flags, ccs);
453 /* TODO: This is expensive. We could split things up and only evaluate part of
454 CCR on a need to know basis. For now, we simply re-evaluate everything. */
455 void helper_evaluate_flags(void)
457 uint32_t src, dst, res;
458 uint32_t flags = 0;
460 src = env->cc_src;
461 dst = env->cc_dest;
462 res = env->cc_result;
464 if (env->cc_op == CC_OP_SUB || env->cc_op == CC_OP_CMP)
465 src = ~src;
467 /* Now, evaluate the flags. This stuff is based on
468 Per Zander's CRISv10 simulator. */
469 switch (env->cc_size)
471 case 1:
472 if ((res & 0x80L) != 0L)
474 flags |= N_FLAG;
475 if (((src & 0x80L) == 0L)
476 && ((dst & 0x80L) == 0L))
478 flags |= V_FLAG;
480 else if (((src & 0x80L) != 0L)
481 && ((dst & 0x80L) != 0L))
483 flags |= C_FLAG;
486 else
488 if ((res & 0xFFL) == 0L)
490 flags |= Z_FLAG;
492 if (((src & 0x80L) != 0L)
493 && ((dst & 0x80L) != 0L))
495 flags |= V_FLAG;
497 if ((dst & 0x80L) != 0L
498 || (src & 0x80L) != 0L)
500 flags |= C_FLAG;
503 break;
504 case 2:
505 if ((res & 0x8000L) != 0L)
507 flags |= N_FLAG;
508 if (((src & 0x8000L) == 0L)
509 && ((dst & 0x8000L) == 0L))
511 flags |= V_FLAG;
513 else if (((src & 0x8000L) != 0L)
514 && ((dst & 0x8000L) != 0L))
516 flags |= C_FLAG;
519 else
521 if ((res & 0xFFFFL) == 0L)
523 flags |= Z_FLAG;
525 if (((src & 0x8000L) != 0L)
526 && ((dst & 0x8000L) != 0L))
528 flags |= V_FLAG;
530 if ((dst & 0x8000L) != 0L
531 || (src & 0x8000L) != 0L)
533 flags |= C_FLAG;
536 break;
537 case 4:
538 if ((res & 0x80000000L) != 0L)
540 flags |= N_FLAG;
541 if (((src & 0x80000000L) == 0L)
542 && ((dst & 0x80000000L) == 0L))
544 flags |= V_FLAG;
546 else if (((src & 0x80000000L) != 0L) &&
547 ((dst & 0x80000000L) != 0L))
549 flags |= C_FLAG;
552 else
554 if (res == 0L)
555 flags |= Z_FLAG;
556 if (((src & 0x80000000L) != 0L)
557 && ((dst & 0x80000000L) != 0L))
558 flags |= V_FLAG;
559 if ((dst & 0x80000000L) != 0L
560 || (src & 0x80000000L) != 0L)
561 flags |= C_FLAG;
563 break;
564 default:
565 break;
568 if (env->cc_op == CC_OP_SUB || env->cc_op == CC_OP_CMP)
569 flags ^= C_FLAG;
571 env->pregs[PR_CCS] = evaluate_flags_writeback(flags, env->pregs[PR_CCS]);
574 void helper_top_evaluate_flags(void)
576 switch (env->cc_op)
578 case CC_OP_MCP:
579 env->pregs[PR_CCS] = helper_evaluate_flags_mcp(
580 env->pregs[PR_CCS], env->cc_src,
581 env->cc_dest, env->cc_result);
582 break;
583 case CC_OP_MULS:
584 env->pregs[PR_CCS] = helper_evaluate_flags_muls(
585 env->pregs[PR_CCS], env->cc_result,
586 env->pregs[PR_MOF]);
587 break;
588 case CC_OP_MULU:
589 env->pregs[PR_CCS] = helper_evaluate_flags_mulu(
590 env->pregs[PR_CCS], env->cc_result,
591 env->pregs[PR_MOF]);
592 break;
593 case CC_OP_MOVE:
594 case CC_OP_AND:
595 case CC_OP_OR:
596 case CC_OP_XOR:
597 case CC_OP_ASR:
598 case CC_OP_LSR:
599 case CC_OP_LSL:
600 switch (env->cc_size)
602 case 4:
603 env->pregs[PR_CCS] =
604 helper_evaluate_flags_move_4(
605 env->pregs[PR_CCS],
606 env->cc_result);
607 break;
608 case 2:
609 env->pregs[PR_CCS] =
610 helper_evaluate_flags_move_2(
611 env->pregs[PR_CCS],
612 env->cc_result);
613 break;
614 default:
615 helper_evaluate_flags();
616 break;
618 break;
619 case CC_OP_FLAGS:
620 /* live. */
621 break;
622 case CC_OP_SUB:
623 case CC_OP_CMP:
624 if (env->cc_size == 4)
625 env->pregs[PR_CCS] =
626 helper_evaluate_flags_sub_4(
627 env->pregs[PR_CCS],
628 env->cc_src, env->cc_dest,
629 env->cc_result);
630 else
631 helper_evaluate_flags();
632 break;
633 default:
635 switch (env->cc_size)
637 case 4:
638 env->pregs[PR_CCS] =
639 helper_evaluate_flags_alu_4(
640 env->pregs[PR_CCS],
641 env->cc_src, env->cc_dest,
642 env->cc_result);
643 break;
644 default:
645 helper_evaluate_flags();
646 break;
649 break;