blob: 7d06d2f9a56118d3a0b3f38a1b22cd0fcbd0dc76 [file] [log] [blame]
bellardb7bcbe92005-02-22 19:27:29 +00001/*
2 * ARM helper routines
ths5fafdf22007-09-16 21:08:06 +00003 *
pbrook9ee6e8b2007-11-11 00:04:49 +00004 * Copyright (c) 2005-2007 CodeSourcery, LLC
bellardb7bcbe92005-02-22 19:27:29 +00005 *
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.
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
Blue Swirl8167ee82009-07-16 20:47:01 +000017 * License along with this library; if not, see <http://www.gnu.org/licenses/>.
bellardb7bcbe92005-02-22 19:27:29 +000018 */
Blue Swirl3e457172011-07-13 12:44:15 +000019#include "cpu.h"
LluĂ­s7b592202011-04-13 18:38:24 +020020#include "helper.h"
bellardb7bcbe92005-02-22 19:27:29 +000021
pbrookad694712008-03-31 03:48:30 +000022#define SIGNBIT (uint32_t)0x80000000
23#define SIGNBIT64 ((uint64_t)1 << 63)
24
Blue Swirl1ce94f82012-09-04 20:08:34 +000025static void raise_exception(CPUARMState *env, int tt)
bellardb7bcbe92005-02-22 19:27:29 +000026{
27 env->exception_index = tt;
Blue Swirl1162c042011-05-14 12:52:35 +000028 cpu_loop_exit(env);
bellardb7bcbe92005-02-22 19:27:29 +000029}
30
Blue Swirl9ef39272012-09-04 20:19:15 +000031uint32_t HELPER(neon_tbl)(CPUARMState *env, uint32_t ireg, uint32_t def,
pbrook8f8e3aa2008-03-31 03:48:01 +000032 uint32_t rn, uint32_t maxindex)
pbrook9ee6e8b2007-11-11 00:04:49 +000033{
34 uint32_t val;
pbrook9ee6e8b2007-11-11 00:04:49 +000035 uint32_t tmp;
36 int index;
37 int shift;
38 uint64_t *table;
39 table = (uint64_t *)&env->vfp.regs[rn];
40 val = 0;
pbrook9ee6e8b2007-11-11 00:04:49 +000041 for (shift = 0; shift < 32; shift += 8) {
pbrook8f8e3aa2008-03-31 03:48:01 +000042 index = (ireg >> shift) & 0xff;
43 if (index < maxindex) {
pbrook3018f252008-09-22 00:52:42 +000044 tmp = (table[index >> 3] >> ((index & 7) << 3)) & 0xff;
pbrook9ee6e8b2007-11-11 00:04:49 +000045 val |= tmp << shift;
46 } else {
pbrook8f8e3aa2008-03-31 03:48:01 +000047 val |= def & (0xff << shift);
pbrook9ee6e8b2007-11-11 00:04:49 +000048 }
49 }
pbrook8f8e3aa2008-03-31 03:48:01 +000050 return val;
pbrook9ee6e8b2007-11-11 00:04:49 +000051}
52
bellardb5ff1b32005-11-26 10:38:39 +000053#if !defined(CONFIG_USER_ONLY)
54
Paolo Bonzini022c62c2012-12-17 18:19:49 +010055#include "exec/softmmu_exec.h"
Blue Swirl3e457172011-07-13 12:44:15 +000056
bellardb5ff1b32005-11-26 10:38:39 +000057#define MMUSUFFIX _mmu
bellardb5ff1b32005-11-26 10:38:39 +000058
59#define SHIFT 0
Paolo Bonzini022c62c2012-12-17 18:19:49 +010060#include "exec/softmmu_template.h"
bellardb5ff1b32005-11-26 10:38:39 +000061
62#define SHIFT 1
Paolo Bonzini022c62c2012-12-17 18:19:49 +010063#include "exec/softmmu_template.h"
bellardb5ff1b32005-11-26 10:38:39 +000064
65#define SHIFT 2
Paolo Bonzini022c62c2012-12-17 18:19:49 +010066#include "exec/softmmu_template.h"
bellardb5ff1b32005-11-26 10:38:39 +000067
68#define SHIFT 3
Paolo Bonzini022c62c2012-12-17 18:19:49 +010069#include "exec/softmmu_template.h"
bellardb5ff1b32005-11-26 10:38:39 +000070
71/* try to fill the TLB and return an exception if error. If retaddr is
72 NULL, it means that the function was called in C code (i.e. not
73 from generated code or from helper.c) */
Blue Swirld31dd732012-09-04 20:25:59 +000074void tlb_fill(CPUARMState *env, target_ulong addr, int is_write, int mmu_idx,
Blue Swirl20503962012-04-09 14:20:20 +000075 uintptr_t retaddr)
bellardb5ff1b32005-11-26 10:38:39 +000076{
bellardb5ff1b32005-11-26 10:38:39 +000077 int ret;
78
Blue Swirl97b348e2011-08-01 16:12:17 +000079 ret = cpu_arm_handle_mmu_fault(env, addr, is_write, mmu_idx);
ths551bd272008-07-03 17:57:36 +000080 if (unlikely(ret)) {
bellardb5ff1b32005-11-26 10:38:39 +000081 if (retaddr) {
82 /* now we have a real cpu fault */
Blue Swirla8a826a2012-12-04 20:16:07 +000083 cpu_restore_state(env, retaddr);
bellardb5ff1b32005-11-26 10:38:39 +000084 }
Blue Swirl1ce94f82012-09-04 20:08:34 +000085 raise_exception(env, env->exception_index);
bellardb5ff1b32005-11-26 10:38:39 +000086 }
bellardb5ff1b32005-11-26 10:38:39 +000087}
bellardb5ff1b32005-11-26 10:38:39 +000088#endif
pbrook1497c962008-03-31 03:45:50 +000089
Blue Swirl9ef39272012-09-04 20:19:15 +000090uint32_t HELPER(add_setq)(CPUARMState *env, uint32_t a, uint32_t b)
pbrook1497c962008-03-31 03:45:50 +000091{
92 uint32_t res = a + b;
93 if (((res ^ a) & SIGNBIT) && !((a ^ b) & SIGNBIT))
94 env->QF = 1;
95 return res;
96}
97
Blue Swirl9ef39272012-09-04 20:19:15 +000098uint32_t HELPER(add_saturate)(CPUARMState *env, uint32_t a, uint32_t b)
pbrook1497c962008-03-31 03:45:50 +000099{
100 uint32_t res = a + b;
101 if (((res ^ a) & SIGNBIT) && !((a ^ b) & SIGNBIT)) {
102 env->QF = 1;
103 res = ~(((int32_t)a >> 31) ^ SIGNBIT);
104 }
105 return res;
106}
107
Blue Swirl9ef39272012-09-04 20:19:15 +0000108uint32_t HELPER(sub_saturate)(CPUARMState *env, uint32_t a, uint32_t b)
pbrook1497c962008-03-31 03:45:50 +0000109{
110 uint32_t res = a - b;
111 if (((res ^ a) & SIGNBIT) && ((a ^ b) & SIGNBIT)) {
112 env->QF = 1;
113 res = ~(((int32_t)a >> 31) ^ SIGNBIT);
114 }
115 return res;
116}
117
Blue Swirl9ef39272012-09-04 20:19:15 +0000118uint32_t HELPER(double_saturate)(CPUARMState *env, int32_t val)
pbrook1497c962008-03-31 03:45:50 +0000119{
120 uint32_t res;
121 if (val >= 0x40000000) {
122 res = ~SIGNBIT;
123 env->QF = 1;
124 } else if (val <= (int32_t)0xc0000000) {
125 res = SIGNBIT;
126 env->QF = 1;
127 } else {
128 res = val << 1;
129 }
130 return res;
131}
132
Blue Swirl9ef39272012-09-04 20:19:15 +0000133uint32_t HELPER(add_usaturate)(CPUARMState *env, uint32_t a, uint32_t b)
pbrook1497c962008-03-31 03:45:50 +0000134{
135 uint32_t res = a + b;
136 if (res < a) {
137 env->QF = 1;
138 res = ~0;
139 }
140 return res;
141}
142
Blue Swirl9ef39272012-09-04 20:19:15 +0000143uint32_t HELPER(sub_usaturate)(CPUARMState *env, uint32_t a, uint32_t b)
pbrook1497c962008-03-31 03:45:50 +0000144{
145 uint32_t res = a - b;
146 if (res > a) {
147 env->QF = 1;
148 res = 0;
149 }
150 return res;
151}
152
pbrook6ddbc6e2008-03-31 03:46:33 +0000153/* Signed saturation. */
Blue Swirl9ef39272012-09-04 20:19:15 +0000154static inline uint32_t do_ssat(CPUARMState *env, int32_t val, int shift)
pbrook6ddbc6e2008-03-31 03:46:33 +0000155{
156 int32_t top;
157 uint32_t mask;
158
pbrook6ddbc6e2008-03-31 03:46:33 +0000159 top = val >> shift;
160 mask = (1u << shift) - 1;
161 if (top > 0) {
162 env->QF = 1;
163 return mask;
164 } else if (top < -1) {
165 env->QF = 1;
166 return ~mask;
167 }
168 return val;
169}
170
171/* Unsigned saturation. */
Blue Swirl9ef39272012-09-04 20:19:15 +0000172static inline uint32_t do_usat(CPUARMState *env, int32_t val, int shift)
pbrook6ddbc6e2008-03-31 03:46:33 +0000173{
174 uint32_t max;
175
pbrook6ddbc6e2008-03-31 03:46:33 +0000176 max = (1u << shift) - 1;
177 if (val < 0) {
178 env->QF = 1;
179 return 0;
180 } else if (val > max) {
181 env->QF = 1;
182 return max;
183 }
184 return val;
185}
186
187/* Signed saturate. */
Blue Swirl9ef39272012-09-04 20:19:15 +0000188uint32_t HELPER(ssat)(CPUARMState *env, uint32_t x, uint32_t shift)
pbrook6ddbc6e2008-03-31 03:46:33 +0000189{
Blue Swirl9ef39272012-09-04 20:19:15 +0000190 return do_ssat(env, x, shift);
pbrook6ddbc6e2008-03-31 03:46:33 +0000191}
192
193/* Dual halfword signed saturate. */
Blue Swirl9ef39272012-09-04 20:19:15 +0000194uint32_t HELPER(ssat16)(CPUARMState *env, uint32_t x, uint32_t shift)
pbrook6ddbc6e2008-03-31 03:46:33 +0000195{
196 uint32_t res;
197
Blue Swirl9ef39272012-09-04 20:19:15 +0000198 res = (uint16_t)do_ssat(env, (int16_t)x, shift);
199 res |= do_ssat(env, ((int32_t)x) >> 16, shift) << 16;
pbrook6ddbc6e2008-03-31 03:46:33 +0000200 return res;
201}
202
203/* Unsigned saturate. */
Blue Swirl9ef39272012-09-04 20:19:15 +0000204uint32_t HELPER(usat)(CPUARMState *env, uint32_t x, uint32_t shift)
pbrook6ddbc6e2008-03-31 03:46:33 +0000205{
Blue Swirl9ef39272012-09-04 20:19:15 +0000206 return do_usat(env, x, shift);
pbrook6ddbc6e2008-03-31 03:46:33 +0000207}
208
209/* Dual halfword unsigned saturate. */
Blue Swirl9ef39272012-09-04 20:19:15 +0000210uint32_t HELPER(usat16)(CPUARMState *env, uint32_t x, uint32_t shift)
pbrook6ddbc6e2008-03-31 03:46:33 +0000211{
212 uint32_t res;
213
Blue Swirl9ef39272012-09-04 20:19:15 +0000214 res = (uint16_t)do_usat(env, (int16_t)x, shift);
215 res |= do_usat(env, ((int32_t)x) >> 16, shift) << 16;
pbrook6ddbc6e2008-03-31 03:46:33 +0000216 return res;
217}
pbrookd9ba4832008-03-31 03:46:50 +0000218
Blue Swirl1ce94f82012-09-04 20:08:34 +0000219void HELPER(wfi)(CPUARMState *env)
pbrookd9ba4832008-03-31 03:46:50 +0000220{
Andreas Färber259186a2013-01-17 18:51:17 +0100221 CPUState *cs = CPU(arm_env_get_cpu(env));
222
pbrookd9ba4832008-03-31 03:46:50 +0000223 env->exception_index = EXCP_HLT;
Andreas Färber259186a2013-01-17 18:51:17 +0100224 cs->halted = 1;
Blue Swirl1162c042011-05-14 12:52:35 +0000225 cpu_loop_exit(env);
pbrookd9ba4832008-03-31 03:46:50 +0000226}
227
Blue Swirl1ce94f82012-09-04 20:08:34 +0000228void HELPER(exception)(CPUARMState *env, uint32_t excp)
pbrookd9ba4832008-03-31 03:46:50 +0000229{
230 env->exception_index = excp;
Blue Swirl1162c042011-05-14 12:52:35 +0000231 cpu_loop_exit(env);
pbrookd9ba4832008-03-31 03:46:50 +0000232}
233
Blue Swirl9ef39272012-09-04 20:19:15 +0000234uint32_t HELPER(cpsr_read)(CPUARMState *env)
pbrookd9ba4832008-03-31 03:46:50 +0000235{
236 return cpsr_read(env) & ~CPSR_EXEC;
237}
238
Blue Swirl1ce94f82012-09-04 20:08:34 +0000239void HELPER(cpsr_write)(CPUARMState *env, uint32_t val, uint32_t mask)
pbrookd9ba4832008-03-31 03:46:50 +0000240{
241 cpsr_write(env, val, mask);
242}
pbrookb0109802008-03-31 03:47:03 +0000243
244/* Access to user mode registers from privileged modes. */
Blue Swirl9ef39272012-09-04 20:19:15 +0000245uint32_t HELPER(get_user_reg)(CPUARMState *env, uint32_t regno)
pbrookb0109802008-03-31 03:47:03 +0000246{
247 uint32_t val;
248
249 if (regno == 13) {
250 val = env->banked_r13[0];
251 } else if (regno == 14) {
252 val = env->banked_r14[0];
253 } else if (regno >= 8
254 && (env->uncached_cpsr & 0x1f) == ARM_CPU_MODE_FIQ) {
255 val = env->usr_regs[regno - 8];
256 } else {
257 val = env->regs[regno];
258 }
259 return val;
260}
261
Blue Swirl1ce94f82012-09-04 20:08:34 +0000262void HELPER(set_user_reg)(CPUARMState *env, uint32_t regno, uint32_t val)
pbrookb0109802008-03-31 03:47:03 +0000263{
264 if (regno == 13) {
265 env->banked_r13[0] = val;
266 } else if (regno == 14) {
267 env->banked_r14[0] = val;
268 } else if (regno >= 8
269 && (env->uncached_cpsr & 0x1f) == ARM_CPU_MODE_FIQ) {
270 env->usr_regs[regno - 8] = val;
271 } else {
272 env->regs[regno] = val;
273 }
274}
275
Peter Maydellf59df3f2014-02-20 10:35:52 +0000276void HELPER(access_check_cp_reg)(CPUARMState *env, void *rip)
277{
278 const ARMCPRegInfo *ri = rip;
279 switch (ri->accessfn(env, ri)) {
280 case CP_ACCESS_OK:
281 return;
282 case CP_ACCESS_TRAP:
283 case CP_ACCESS_TRAP_UNCATEGORIZED:
284 /* These cases will eventually need to generate different
285 * syndrome information.
286 */
287 break;
288 default:
289 g_assert_not_reached();
290 }
291 raise_exception(env, EXCP_UDEF);
292}
293
Peter Maydell4b6a83f2012-06-20 11:57:06 +0000294void HELPER(set_cp_reg)(CPUARMState *env, void *rip, uint32_t value)
295{
296 const ARMCPRegInfo *ri = rip;
Peter Maydellc4241c72014-02-20 10:35:54 +0000297
298 ri->writefn(env, ri, value);
Peter Maydell4b6a83f2012-06-20 11:57:06 +0000299}
300
301uint32_t HELPER(get_cp_reg)(CPUARMState *env, void *rip)
302{
303 const ARMCPRegInfo *ri = rip;
Peter Maydellc4241c72014-02-20 10:35:54 +0000304
305 return ri->readfn(env, ri);
Peter Maydell4b6a83f2012-06-20 11:57:06 +0000306}
307
308void HELPER(set_cp_reg64)(CPUARMState *env, void *rip, uint64_t value)
309{
310 const ARMCPRegInfo *ri = rip;
Peter Maydellc4241c72014-02-20 10:35:54 +0000311
312 ri->writefn(env, ri, value);
Peter Maydell4b6a83f2012-06-20 11:57:06 +0000313}
314
315uint64_t HELPER(get_cp_reg64)(CPUARMState *env, void *rip)
316{
317 const ARMCPRegInfo *ri = rip;
Peter Maydellc4241c72014-02-20 10:35:54 +0000318
319 return ri->readfn(env, ri);
Peter Maydell4b6a83f2012-06-20 11:57:06 +0000320}
321
Peter Maydell9cfa0b42014-02-26 17:20:06 +0000322void HELPER(msr_i_pstate)(CPUARMState *env, uint32_t op, uint32_t imm)
323{
324 /* MSR_i to update PSTATE. This is OK from EL0 only if UMA is set.
325 * Note that SPSel is never OK from EL0; we rely on handle_msr_i()
326 * to catch that case at translate time.
327 */
328 if (arm_current_pl(env) == 0 && !(env->cp15.c1_sys & SCTLR_UMA)) {
329 raise_exception(env, EXCP_UDEF);
330 }
331
332 switch (op) {
333 case 0x05: /* SPSel */
334 env->pstate = deposit32(env->pstate, 0, 1, imm);
335 break;
336 case 0x1e: /* DAIFSet */
337 env->daif |= (imm << 6) & PSTATE_DAIF;
338 break;
339 case 0x1f: /* DAIFClear */
340 env->daif &= ~((imm << 6) & PSTATE_DAIF);
341 break;
342 default:
343 g_assert_not_reached();
344 }
345}
346
pbrook8984bd22008-03-31 03:47:48 +0000347/* ??? Flag setting arithmetic is awkward because we need to do comparisons.
348 The only way to do that in TCG is a conditional branch, which clobbers
349 all our temporaries. For now implement these as helper functions. */
350
pbrook8984bd22008-03-31 03:47:48 +0000351/* Similarly for variable shift instructions. */
352
Blue Swirl9ef39272012-09-04 20:19:15 +0000353uint32_t HELPER(shl_cc)(CPUARMState *env, uint32_t x, uint32_t i)
pbrook8984bd22008-03-31 03:47:48 +0000354{
355 int shift = i & 0xff;
356 if (shift >= 32) {
357 if (shift == 32)
358 env->CF = x & 1;
359 else
360 env->CF = 0;
361 return 0;
362 } else if (shift != 0) {
363 env->CF = (x >> (32 - shift)) & 1;
364 return x << shift;
365 }
366 return x;
367}
368
Blue Swirl9ef39272012-09-04 20:19:15 +0000369uint32_t HELPER(shr_cc)(CPUARMState *env, uint32_t x, uint32_t i)
pbrook8984bd22008-03-31 03:47:48 +0000370{
371 int shift = i & 0xff;
372 if (shift >= 32) {
373 if (shift == 32)
374 env->CF = (x >> 31) & 1;
375 else
376 env->CF = 0;
377 return 0;
378 } else if (shift != 0) {
379 env->CF = (x >> (shift - 1)) & 1;
380 return x >> shift;
381 }
382 return x;
383}
384
Blue Swirl9ef39272012-09-04 20:19:15 +0000385uint32_t HELPER(sar_cc)(CPUARMState *env, uint32_t x, uint32_t i)
pbrook8984bd22008-03-31 03:47:48 +0000386{
387 int shift = i & 0xff;
388 if (shift >= 32) {
389 env->CF = (x >> 31) & 1;
390 return (int32_t)x >> 31;
391 } else if (shift != 0) {
392 env->CF = (x >> (shift - 1)) & 1;
393 return (int32_t)x >> shift;
394 }
395 return x;
396}
397
Blue Swirl9ef39272012-09-04 20:19:15 +0000398uint32_t HELPER(ror_cc)(CPUARMState *env, uint32_t x, uint32_t i)
pbrook8984bd22008-03-31 03:47:48 +0000399{
400 int shift1, shift;
401 shift1 = i & 0xff;
402 shift = shift1 & 0x1f;
403 if (shift == 0) {
404 if (shift1 != 0)
405 env->CF = (x >> 31) & 1;
406 return x;
407 } else {
408 env->CF = (x >> (shift - 1)) & 1;
409 return ((uint32_t)x >> shift) | (x << (32 - shift));
410 }
411}