vmstate: type-check sub-arrays
[qemu.git] / target-arm / op_helper.c
blob2bed9147703d2b08c2d3ad9f233b6a08e9b14d9d
1 /*
2 * ARM helper routines
4 * Copyright (c) 2005-2007 CodeSourcery, LLC
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 of the License, or (at your option) any later version.
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.
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/>.
19 #include "cpu.h"
20 #include "exec/helper-proto.h"
21 #include "internals.h"
22 #include "exec/cpu_ldst.h"
24 #define SIGNBIT (uint32_t)0x80000000
25 #define SIGNBIT64 ((uint64_t)1 << 63)
27 static void raise_exception(CPUARMState *env, int tt)
29 ARMCPU *cpu = arm_env_get_cpu(env);
30 CPUState *cs = CPU(cpu);
32 cs->exception_index = tt;
33 cpu_loop_exit(cs);
36 uint32_t HELPER(neon_tbl)(CPUARMState *env, uint32_t ireg, uint32_t def,
37 uint32_t rn, uint32_t maxindex)
39 uint32_t val;
40 uint32_t tmp;
41 int index;
42 int shift;
43 uint64_t *table;
44 table = (uint64_t *)&env->vfp.regs[rn];
45 val = 0;
46 for (shift = 0; shift < 32; shift += 8) {
47 index = (ireg >> shift) & 0xff;
48 if (index < maxindex) {
49 tmp = (table[index >> 3] >> ((index & 7) << 3)) & 0xff;
50 val |= tmp << shift;
51 } else {
52 val |= def & (0xff << shift);
55 return val;
58 #if !defined(CONFIG_USER_ONLY)
60 /* try to fill the TLB and return an exception if error. If retaddr is
61 * NULL, it means that the function was called in C code (i.e. not
62 * from generated code or from helper.c)
64 void tlb_fill(CPUState *cs, target_ulong addr, int is_write, int mmu_idx,
65 uintptr_t retaddr)
67 int ret;
69 ret = arm_cpu_handle_mmu_fault(cs, addr, is_write, mmu_idx);
70 if (unlikely(ret)) {
71 ARMCPU *cpu = ARM_CPU(cs);
72 CPUARMState *env = &cpu->env;
74 if (retaddr) {
75 /* now we have a real cpu fault */
76 cpu_restore_state(cs, retaddr);
78 raise_exception(env, cs->exception_index);
81 #endif
83 uint32_t HELPER(add_setq)(CPUARMState *env, uint32_t a, uint32_t b)
85 uint32_t res = a + b;
86 if (((res ^ a) & SIGNBIT) && !((a ^ b) & SIGNBIT))
87 env->QF = 1;
88 return res;
91 uint32_t HELPER(add_saturate)(CPUARMState *env, uint32_t a, uint32_t b)
93 uint32_t res = a + b;
94 if (((res ^ a) & SIGNBIT) && !((a ^ b) & SIGNBIT)) {
95 env->QF = 1;
96 res = ~(((int32_t)a >> 31) ^ SIGNBIT);
98 return res;
101 uint32_t HELPER(sub_saturate)(CPUARMState *env, uint32_t a, uint32_t b)
103 uint32_t res = a - b;
104 if (((res ^ a) & SIGNBIT) && ((a ^ b) & SIGNBIT)) {
105 env->QF = 1;
106 res = ~(((int32_t)a >> 31) ^ SIGNBIT);
108 return res;
111 uint32_t HELPER(double_saturate)(CPUARMState *env, int32_t val)
113 uint32_t res;
114 if (val >= 0x40000000) {
115 res = ~SIGNBIT;
116 env->QF = 1;
117 } else if (val <= (int32_t)0xc0000000) {
118 res = SIGNBIT;
119 env->QF = 1;
120 } else {
121 res = val << 1;
123 return res;
126 uint32_t HELPER(add_usaturate)(CPUARMState *env, uint32_t a, uint32_t b)
128 uint32_t res = a + b;
129 if (res < a) {
130 env->QF = 1;
131 res = ~0;
133 return res;
136 uint32_t HELPER(sub_usaturate)(CPUARMState *env, uint32_t a, uint32_t b)
138 uint32_t res = a - b;
139 if (res > a) {
140 env->QF = 1;
141 res = 0;
143 return res;
146 /* Signed saturation. */
147 static inline uint32_t do_ssat(CPUARMState *env, int32_t val, int shift)
149 int32_t top;
150 uint32_t mask;
152 top = val >> shift;
153 mask = (1u << shift) - 1;
154 if (top > 0) {
155 env->QF = 1;
156 return mask;
157 } else if (top < -1) {
158 env->QF = 1;
159 return ~mask;
161 return val;
164 /* Unsigned saturation. */
165 static inline uint32_t do_usat(CPUARMState *env, int32_t val, int shift)
167 uint32_t max;
169 max = (1u << shift) - 1;
170 if (val < 0) {
171 env->QF = 1;
172 return 0;
173 } else if (val > max) {
174 env->QF = 1;
175 return max;
177 return val;
180 /* Signed saturate. */
181 uint32_t HELPER(ssat)(CPUARMState *env, uint32_t x, uint32_t shift)
183 return do_ssat(env, x, shift);
186 /* Dual halfword signed saturate. */
187 uint32_t HELPER(ssat16)(CPUARMState *env, uint32_t x, uint32_t shift)
189 uint32_t res;
191 res = (uint16_t)do_ssat(env, (int16_t)x, shift);
192 res |= do_ssat(env, ((int32_t)x) >> 16, shift) << 16;
193 return res;
196 /* Unsigned saturate. */
197 uint32_t HELPER(usat)(CPUARMState *env, uint32_t x, uint32_t shift)
199 return do_usat(env, x, shift);
202 /* Dual halfword unsigned saturate. */
203 uint32_t HELPER(usat16)(CPUARMState *env, uint32_t x, uint32_t shift)
205 uint32_t res;
207 res = (uint16_t)do_usat(env, (int16_t)x, shift);
208 res |= do_usat(env, ((int32_t)x) >> 16, shift) << 16;
209 return res;
212 void HELPER(wfi)(CPUARMState *env)
214 CPUState *cs = CPU(arm_env_get_cpu(env));
216 cs->exception_index = EXCP_HLT;
217 cs->halted = 1;
218 cpu_loop_exit(cs);
221 void HELPER(wfe)(CPUARMState *env)
223 CPUState *cs = CPU(arm_env_get_cpu(env));
225 /* Don't actually halt the CPU, just yield back to top
226 * level loop
228 cs->exception_index = EXCP_YIELD;
229 cpu_loop_exit(cs);
232 /* Raise an internal-to-QEMU exception. This is limited to only
233 * those EXCP values which are special cases for QEMU to interrupt
234 * execution and not to be used for exceptions which are passed to
235 * the guest (those must all have syndrome information and thus should
236 * use exception_with_syndrome).
238 void HELPER(exception_internal)(CPUARMState *env, uint32_t excp)
240 CPUState *cs = CPU(arm_env_get_cpu(env));
242 assert(excp_is_internal(excp));
243 cs->exception_index = excp;
244 cpu_loop_exit(cs);
247 /* Raise an exception with the specified syndrome register value */
248 void HELPER(exception_with_syndrome)(CPUARMState *env, uint32_t excp,
249 uint32_t syndrome)
251 CPUState *cs = CPU(arm_env_get_cpu(env));
253 assert(!excp_is_internal(excp));
254 cs->exception_index = excp;
255 env->exception.syndrome = syndrome;
256 cpu_loop_exit(cs);
259 uint32_t HELPER(cpsr_read)(CPUARMState *env)
261 return cpsr_read(env) & ~(CPSR_EXEC | CPSR_RESERVED);
264 void HELPER(cpsr_write)(CPUARMState *env, uint32_t val, uint32_t mask)
266 cpsr_write(env, val, mask);
269 /* Access to user mode registers from privileged modes. */
270 uint32_t HELPER(get_user_reg)(CPUARMState *env, uint32_t regno)
272 uint32_t val;
274 if (regno == 13) {
275 val = env->banked_r13[0];
276 } else if (regno == 14) {
277 val = env->banked_r14[0];
278 } else if (regno >= 8
279 && (env->uncached_cpsr & 0x1f) == ARM_CPU_MODE_FIQ) {
280 val = env->usr_regs[regno - 8];
281 } else {
282 val = env->regs[regno];
284 return val;
287 void HELPER(set_user_reg)(CPUARMState *env, uint32_t regno, uint32_t val)
289 if (regno == 13) {
290 env->banked_r13[0] = val;
291 } else if (regno == 14) {
292 env->banked_r14[0] = val;
293 } else if (regno >= 8
294 && (env->uncached_cpsr & 0x1f) == ARM_CPU_MODE_FIQ) {
295 env->usr_regs[regno - 8] = val;
296 } else {
297 env->regs[regno] = val;
301 void HELPER(access_check_cp_reg)(CPUARMState *env, void *rip, uint32_t syndrome)
303 const ARMCPRegInfo *ri = rip;
305 if (arm_feature(env, ARM_FEATURE_XSCALE) && ri->cp < 14
306 && extract32(env->cp15.c15_cpar, ri->cp, 1) == 0) {
307 env->exception.syndrome = syndrome;
308 raise_exception(env, EXCP_UDEF);
311 if (!ri->accessfn) {
312 return;
315 switch (ri->accessfn(env, ri)) {
316 case CP_ACCESS_OK:
317 return;
318 case CP_ACCESS_TRAP:
319 env->exception.syndrome = syndrome;
320 break;
321 case CP_ACCESS_TRAP_UNCATEGORIZED:
322 env->exception.syndrome = syn_uncategorized();
323 break;
324 default:
325 g_assert_not_reached();
327 raise_exception(env, EXCP_UDEF);
330 void HELPER(set_cp_reg)(CPUARMState *env, void *rip, uint32_t value)
332 const ARMCPRegInfo *ri = rip;
334 ri->writefn(env, ri, value);
337 uint32_t HELPER(get_cp_reg)(CPUARMState *env, void *rip)
339 const ARMCPRegInfo *ri = rip;
341 return ri->readfn(env, ri);
344 void HELPER(set_cp_reg64)(CPUARMState *env, void *rip, uint64_t value)
346 const ARMCPRegInfo *ri = rip;
348 ri->writefn(env, ri, value);
351 uint64_t HELPER(get_cp_reg64)(CPUARMState *env, void *rip)
353 const ARMCPRegInfo *ri = rip;
355 return ri->readfn(env, ri);
358 void HELPER(msr_i_pstate)(CPUARMState *env, uint32_t op, uint32_t imm)
360 /* MSR_i to update PSTATE. This is OK from EL0 only if UMA is set.
361 * Note that SPSel is never OK from EL0; we rely on handle_msr_i()
362 * to catch that case at translate time.
364 if (arm_current_el(env) == 0 && !(env->cp15.sctlr_el[1] & SCTLR_UMA)) {
365 raise_exception(env, EXCP_UDEF);
368 switch (op) {
369 case 0x05: /* SPSel */
370 update_spsel(env, imm);
371 break;
372 case 0x1e: /* DAIFSet */
373 env->daif |= (imm << 6) & PSTATE_DAIF;
374 break;
375 case 0x1f: /* DAIFClear */
376 env->daif &= ~((imm << 6) & PSTATE_DAIF);
377 break;
378 default:
379 g_assert_not_reached();
383 void HELPER(clear_pstate_ss)(CPUARMState *env)
385 env->pstate &= ~PSTATE_SS;
388 void HELPER(pre_hvc)(CPUARMState *env)
390 ARMCPU *cpu = arm_env_get_cpu(env);
391 int cur_el = arm_current_el(env);
392 /* FIXME: Use actual secure state. */
393 bool secure = false;
394 bool undef;
396 if (arm_is_psci_call(cpu, EXCP_HVC)) {
397 /* If PSCI is enabled and this looks like a valid PSCI call then
398 * that overrides the architecturally mandated HVC behaviour.
400 return;
403 if (!arm_feature(env, ARM_FEATURE_EL2)) {
404 /* If EL2 doesn't exist, HVC always UNDEFs */
405 undef = true;
406 } else if (arm_feature(env, ARM_FEATURE_EL3)) {
407 /* EL3.HCE has priority over EL2.HCD. */
408 undef = !(env->cp15.scr_el3 & SCR_HCE);
409 } else {
410 undef = env->cp15.hcr_el2 & HCR_HCD;
413 /* In ARMv7 and ARMv8/AArch32, HVC is undef in secure state.
414 * For ARMv8/AArch64, HVC is allowed in EL3.
415 * Note that we've already trapped HVC from EL0 at translation
416 * time.
418 if (secure && (!is_a64(env) || cur_el == 1)) {
419 undef = true;
422 if (undef) {
423 env->exception.syndrome = syn_uncategorized();
424 raise_exception(env, EXCP_UDEF);
428 void HELPER(pre_smc)(CPUARMState *env, uint32_t syndrome)
430 ARMCPU *cpu = arm_env_get_cpu(env);
431 int cur_el = arm_current_el(env);
432 bool secure = arm_is_secure(env);
433 bool smd = env->cp15.scr_el3 & SCR_SMD;
434 /* On ARMv8 AArch32, SMD only applies to NS state.
435 * On ARMv7 SMD only applies to NS state and only if EL2 is available.
436 * For ARMv7 non EL2, we force SMD to zero so we don't need to re-check
437 * the EL2 condition here.
439 bool undef = is_a64(env) ? smd : (!secure && smd);
441 if (arm_is_psci_call(cpu, EXCP_SMC)) {
442 /* If PSCI is enabled and this looks like a valid PSCI call then
443 * that overrides the architecturally mandated SMC behaviour.
445 return;
448 if (!arm_feature(env, ARM_FEATURE_EL3)) {
449 /* If we have no EL3 then SMC always UNDEFs */
450 undef = true;
451 } else if (!secure && cur_el == 1 && (env->cp15.hcr_el2 & HCR_TSC)) {
452 /* In NS EL1, HCR controlled routing to EL2 has priority over SMD. */
453 env->exception.syndrome = syndrome;
454 raise_exception(env, EXCP_HYP_TRAP);
457 if (undef) {
458 env->exception.syndrome = syn_uncategorized();
459 raise_exception(env, EXCP_UDEF);
463 void HELPER(exception_return)(CPUARMState *env)
465 int cur_el = arm_current_el(env);
466 unsigned int spsr_idx = aarch64_banked_spsr_index(cur_el);
467 uint32_t spsr = env->banked_spsr[spsr_idx];
468 int new_el, i;
470 aarch64_save_sp(env, cur_el);
472 env->exclusive_addr = -1;
474 /* We must squash the PSTATE.SS bit to zero unless both of the
475 * following hold:
476 * 1. debug exceptions are currently disabled
477 * 2. singlestep will be active in the EL we return to
478 * We check 1 here and 2 after we've done the pstate/cpsr write() to
479 * transition to the EL we're going to.
481 if (arm_generate_debug_exceptions(env)) {
482 spsr &= ~PSTATE_SS;
485 if (spsr & PSTATE_nRW) {
486 /* TODO: We currently assume EL1/2/3 are running in AArch64. */
487 env->aarch64 = 0;
488 new_el = 0;
489 env->uncached_cpsr = 0x10;
490 cpsr_write(env, spsr, ~0);
491 if (!arm_singlestep_active(env)) {
492 env->uncached_cpsr &= ~PSTATE_SS;
494 for (i = 0; i < 15; i++) {
495 env->regs[i] = env->xregs[i];
498 env->regs[15] = env->elr_el[1] & ~0x1;
499 } else {
500 new_el = extract32(spsr, 2, 2);
501 if (new_el > cur_el
502 || (new_el == 2 && !arm_feature(env, ARM_FEATURE_EL2))) {
503 /* Disallow return to an EL which is unimplemented or higher
504 * than the current one.
506 goto illegal_return;
508 if (extract32(spsr, 1, 1)) {
509 /* Return with reserved M[1] bit set */
510 goto illegal_return;
512 if (new_el == 0 && (spsr & PSTATE_SP)) {
513 /* Return to EL0 with M[0] bit set */
514 goto illegal_return;
516 env->aarch64 = 1;
517 pstate_write(env, spsr);
518 if (!arm_singlestep_active(env)) {
519 env->pstate &= ~PSTATE_SS;
521 aarch64_restore_sp(env, new_el);
522 env->pc = env->elr_el[cur_el];
525 return;
527 illegal_return:
528 /* Illegal return events of various kinds have architecturally
529 * mandated behaviour:
530 * restore NZCV and DAIF from SPSR_ELx
531 * set PSTATE.IL
532 * restore PC from ELR_ELx
533 * no change to exception level, execution state or stack pointer
535 env->pstate |= PSTATE_IL;
536 env->pc = env->elr_el[cur_el];
537 spsr &= PSTATE_NZCV | PSTATE_DAIF;
538 spsr |= pstate_read(env) & ~(PSTATE_NZCV | PSTATE_DAIF);
539 pstate_write(env, spsr);
540 if (!arm_singlestep_active(env)) {
541 env->pstate &= ~PSTATE_SS;
545 /* Return true if the linked breakpoint entry lbn passes its checks */
546 static bool linked_bp_matches(ARMCPU *cpu, int lbn)
548 CPUARMState *env = &cpu->env;
549 uint64_t bcr = env->cp15.dbgbcr[lbn];
550 int brps = extract32(cpu->dbgdidr, 24, 4);
551 int ctx_cmps = extract32(cpu->dbgdidr, 20, 4);
552 int bt;
553 uint32_t contextidr;
555 /* Links to unimplemented or non-context aware breakpoints are
556 * CONSTRAINED UNPREDICTABLE: either behave as if disabled, or
557 * as if linked to an UNKNOWN context-aware breakpoint (in which
558 * case DBGWCR<n>_EL1.LBN must indicate that breakpoint).
559 * We choose the former.
561 if (lbn > brps || lbn < (brps - ctx_cmps)) {
562 return false;
565 bcr = env->cp15.dbgbcr[lbn];
567 if (extract64(bcr, 0, 1) == 0) {
568 /* Linked breakpoint disabled : generate no events */
569 return false;
572 bt = extract64(bcr, 20, 4);
574 /* We match the whole register even if this is AArch32 using the
575 * short descriptor format (in which case it holds both PROCID and ASID),
576 * since we don't implement the optional v7 context ID masking.
578 contextidr = extract64(env->cp15.contextidr_el[1], 0, 32);
580 switch (bt) {
581 case 3: /* linked context ID match */
582 if (arm_current_el(env) > 1) {
583 /* Context matches never fire in EL2 or (AArch64) EL3 */
584 return false;
586 return (contextidr == extract64(env->cp15.dbgbvr[lbn], 0, 32));
587 case 5: /* linked address mismatch (reserved in AArch64) */
588 case 9: /* linked VMID match (reserved if no EL2) */
589 case 11: /* linked context ID and VMID match (reserved if no EL2) */
590 default:
591 /* Links to Unlinked context breakpoints must generate no
592 * events; we choose to do the same for reserved values too.
594 return false;
597 return false;
600 static bool bp_wp_matches(ARMCPU *cpu, int n, bool is_wp)
602 CPUARMState *env = &cpu->env;
603 uint64_t cr;
604 int pac, hmc, ssc, wt, lbn;
605 /* TODO: check against CPU security state when we implement TrustZone */
606 bool is_secure = false;
608 if (is_wp) {
609 if (!env->cpu_watchpoint[n]
610 || !(env->cpu_watchpoint[n]->flags & BP_WATCHPOINT_HIT)) {
611 return false;
613 cr = env->cp15.dbgwcr[n];
614 } else {
615 uint64_t pc = is_a64(env) ? env->pc : env->regs[15];
617 if (!env->cpu_breakpoint[n] || env->cpu_breakpoint[n]->pc != pc) {
618 return false;
620 cr = env->cp15.dbgbcr[n];
622 /* The WATCHPOINT_HIT flag guarantees us that the watchpoint is
623 * enabled and that the address and access type match; for breakpoints
624 * we know the address matched; check the remaining fields, including
625 * linked breakpoints. We rely on WCR and BCR having the same layout
626 * for the LBN, SSC, HMC, PAC/PMC and is-linked fields.
627 * Note that some combinations of {PAC, HMC, SSC} are reserved and
628 * must act either like some valid combination or as if the watchpoint
629 * were disabled. We choose the former, and use this together with
630 * the fact that EL3 must always be Secure and EL2 must always be
631 * Non-Secure to simplify the code slightly compared to the full
632 * table in the ARM ARM.
634 pac = extract64(cr, 1, 2);
635 hmc = extract64(cr, 13, 1);
636 ssc = extract64(cr, 14, 2);
638 switch (ssc) {
639 case 0:
640 break;
641 case 1:
642 case 3:
643 if (is_secure) {
644 return false;
646 break;
647 case 2:
648 if (!is_secure) {
649 return false;
651 break;
654 /* TODO: this is not strictly correct because the LDRT/STRT/LDT/STT
655 * "unprivileged access" instructions should match watchpoints as if
656 * they were accesses done at EL0, even if the CPU is at EL1 or higher.
657 * Implementing this would require reworking the core watchpoint code
658 * to plumb the mmu_idx through to this point. Luckily Linux does not
659 * rely on this behaviour currently.
660 * For breakpoints we do want to use the current CPU state.
662 switch (arm_current_el(env)) {
663 case 3:
664 case 2:
665 if (!hmc) {
666 return false;
668 break;
669 case 1:
670 if (extract32(pac, 0, 1) == 0) {
671 return false;
673 break;
674 case 0:
675 if (extract32(pac, 1, 1) == 0) {
676 return false;
678 break;
679 default:
680 g_assert_not_reached();
683 wt = extract64(cr, 20, 1);
684 lbn = extract64(cr, 16, 4);
686 if (wt && !linked_bp_matches(cpu, lbn)) {
687 return false;
690 return true;
693 static bool check_watchpoints(ARMCPU *cpu)
695 CPUARMState *env = &cpu->env;
696 int n;
698 /* If watchpoints are disabled globally or we can't take debug
699 * exceptions here then watchpoint firings are ignored.
701 if (extract32(env->cp15.mdscr_el1, 15, 1) == 0
702 || !arm_generate_debug_exceptions(env)) {
703 return false;
706 for (n = 0; n < ARRAY_SIZE(env->cpu_watchpoint); n++) {
707 if (bp_wp_matches(cpu, n, true)) {
708 return true;
711 return false;
714 static bool check_breakpoints(ARMCPU *cpu)
716 CPUARMState *env = &cpu->env;
717 int n;
719 /* If breakpoints are disabled globally or we can't take debug
720 * exceptions here then breakpoint firings are ignored.
722 if (extract32(env->cp15.mdscr_el1, 15, 1) == 0
723 || !arm_generate_debug_exceptions(env)) {
724 return false;
727 for (n = 0; n < ARRAY_SIZE(env->cpu_breakpoint); n++) {
728 if (bp_wp_matches(cpu, n, false)) {
729 return true;
732 return false;
735 void arm_debug_excp_handler(CPUState *cs)
737 /* Called by core code when a watchpoint or breakpoint fires;
738 * need to check which one and raise the appropriate exception.
740 ARMCPU *cpu = ARM_CPU(cs);
741 CPUARMState *env = &cpu->env;
742 CPUWatchpoint *wp_hit = cs->watchpoint_hit;
744 if (wp_hit) {
745 if (wp_hit->flags & BP_CPU) {
746 cs->watchpoint_hit = NULL;
747 if (check_watchpoints(cpu)) {
748 bool wnr = (wp_hit->flags & BP_WATCHPOINT_HIT_WRITE) != 0;
749 bool same_el = arm_debug_target_el(env) == arm_current_el(env);
751 env->exception.syndrome = syn_watchpoint(same_el, 0, wnr);
752 if (extended_addresses_enabled(env)) {
753 env->exception.fsr = (1 << 9) | 0x22;
754 } else {
755 env->exception.fsr = 0x2;
757 env->exception.vaddress = wp_hit->hitaddr;
758 raise_exception(env, EXCP_DATA_ABORT);
759 } else {
760 cpu_resume_from_signal(cs, NULL);
763 } else {
764 if (check_breakpoints(cpu)) {
765 bool same_el = (arm_debug_target_el(env) == arm_current_el(env));
766 env->exception.syndrome = syn_breakpoint(same_el);
767 if (extended_addresses_enabled(env)) {
768 env->exception.fsr = (1 << 9) | 0x22;
769 } else {
770 env->exception.fsr = 0x2;
772 /* FAR is UNKNOWN, so doesn't need setting */
773 raise_exception(env, EXCP_PREFETCH_ABORT);
778 /* ??? Flag setting arithmetic is awkward because we need to do comparisons.
779 The only way to do that in TCG is a conditional branch, which clobbers
780 all our temporaries. For now implement these as helper functions. */
782 /* Similarly for variable shift instructions. */
784 uint32_t HELPER(shl_cc)(CPUARMState *env, uint32_t x, uint32_t i)
786 int shift = i & 0xff;
787 if (shift >= 32) {
788 if (shift == 32)
789 env->CF = x & 1;
790 else
791 env->CF = 0;
792 return 0;
793 } else if (shift != 0) {
794 env->CF = (x >> (32 - shift)) & 1;
795 return x << shift;
797 return x;
800 uint32_t HELPER(shr_cc)(CPUARMState *env, uint32_t x, uint32_t i)
802 int shift = i & 0xff;
803 if (shift >= 32) {
804 if (shift == 32)
805 env->CF = (x >> 31) & 1;
806 else
807 env->CF = 0;
808 return 0;
809 } else if (shift != 0) {
810 env->CF = (x >> (shift - 1)) & 1;
811 return x >> shift;
813 return x;
816 uint32_t HELPER(sar_cc)(CPUARMState *env, uint32_t x, uint32_t i)
818 int shift = i & 0xff;
819 if (shift >= 32) {
820 env->CF = (x >> 31) & 1;
821 return (int32_t)x >> 31;
822 } else if (shift != 0) {
823 env->CF = (x >> (shift - 1)) & 1;
824 return (int32_t)x >> shift;
826 return x;
829 uint32_t HELPER(ror_cc)(CPUARMState *env, uint32_t x, uint32_t i)
831 int shift1, shift;
832 shift1 = i & 0xff;
833 shift = shift1 & 0x1f;
834 if (shift == 0) {
835 if (shift1 != 0)
836 env->CF = (x >> 31) & 1;
837 return x;
838 } else {
839 env->CF = (x >> (shift - 1)) & 1;
840 return ((uint32_t)x >> shift) | (x << (32 - shift));