]> Git Repo - qemu.git/blame - target-arm/op_helper.c
target-arm: Split out private-to-target functions into internals.h
[qemu.git] / target-arm / op_helper.c
CommitLineData
b7bcbe95
FB
1/*
2 * ARM helper routines
5fafdf24 3 *
9ee6e8bb 4 * Copyright (c) 2005-2007 CodeSourcery, LLC
b7bcbe95
FB
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 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
8167ee88 17 * License along with this library; if not, see <http://www.gnu.org/licenses/>.
b7bcbe95 18 */
3e457172 19#include "cpu.h"
7b59220e 20#include "helper.h"
ccd38087 21#include "internals.h"
b7bcbe95 22
ad69471c
PB
23#define SIGNBIT (uint32_t)0x80000000
24#define SIGNBIT64 ((uint64_t)1 << 63)
25
1ce94f81 26static void raise_exception(CPUARMState *env, int tt)
b7bcbe95 27{
27103424
AF
28 ARMCPU *cpu = arm_env_get_cpu(env);
29 CPUState *cs = CPU(cpu);
30
31 cs->exception_index = tt;
5638d180 32 cpu_loop_exit(cs);
b7bcbe95
FB
33}
34
9ef39277 35uint32_t HELPER(neon_tbl)(CPUARMState *env, uint32_t ireg, uint32_t def,
8f8e3aa4 36 uint32_t rn, uint32_t maxindex)
9ee6e8bb
PB
37{
38 uint32_t val;
9ee6e8bb
PB
39 uint32_t tmp;
40 int index;
41 int shift;
42 uint64_t *table;
43 table = (uint64_t *)&env->vfp.regs[rn];
44 val = 0;
9ee6e8bb 45 for (shift = 0; shift < 32; shift += 8) {
8f8e3aa4
PB
46 index = (ireg >> shift) & 0xff;
47 if (index < maxindex) {
3018f259 48 tmp = (table[index >> 3] >> ((index & 7) << 3)) & 0xff;
9ee6e8bb
PB
49 val |= tmp << shift;
50 } else {
8f8e3aa4 51 val |= def & (0xff << shift);
9ee6e8bb
PB
52 }
53 }
8f8e3aa4 54 return val;
9ee6e8bb
PB
55}
56
b5ff1b31
FB
57#if !defined(CONFIG_USER_ONLY)
58
022c62cb 59#include "exec/softmmu_exec.h"
3e457172 60
b5ff1b31 61#define MMUSUFFIX _mmu
b5ff1b31
FB
62
63#define SHIFT 0
022c62cb 64#include "exec/softmmu_template.h"
b5ff1b31
FB
65
66#define SHIFT 1
022c62cb 67#include "exec/softmmu_template.h"
b5ff1b31
FB
68
69#define SHIFT 2
022c62cb 70#include "exec/softmmu_template.h"
b5ff1b31
FB
71
72#define SHIFT 3
022c62cb 73#include "exec/softmmu_template.h"
b5ff1b31
FB
74
75/* try to fill the TLB and return an exception if error. If retaddr is
d5a11fef
AF
76 * NULL, it means that the function was called in C code (i.e. not
77 * from generated code or from helper.c)
78 */
79void tlb_fill(CPUState *cs, target_ulong addr, int is_write, int mmu_idx,
20503968 80 uintptr_t retaddr)
b5ff1b31 81{
b5ff1b31
FB
82 int ret;
83
27103424 84 ret = arm_cpu_handle_mmu_fault(cs, addr, is_write, mmu_idx);
551bd27f 85 if (unlikely(ret)) {
d5a11fef
AF
86 ARMCPU *cpu = ARM_CPU(cs);
87 CPUARMState *env = &cpu->env;
88
b5ff1b31
FB
89 if (retaddr) {
90 /* now we have a real cpu fault */
3f38f309 91 cpu_restore_state(cs, retaddr);
b5ff1b31 92 }
27103424 93 raise_exception(env, cs->exception_index);
b5ff1b31 94 }
b5ff1b31 95}
b5ff1b31 96#endif
1497c961 97
9ef39277 98uint32_t HELPER(add_setq)(CPUARMState *env, uint32_t a, uint32_t b)
1497c961
PB
99{
100 uint32_t res = a + b;
101 if (((res ^ a) & SIGNBIT) && !((a ^ b) & SIGNBIT))
102 env->QF = 1;
103 return res;
104}
105
9ef39277 106uint32_t HELPER(add_saturate)(CPUARMState *env, uint32_t a, uint32_t b)
1497c961
PB
107{
108 uint32_t res = a + b;
109 if (((res ^ a) & SIGNBIT) && !((a ^ b) & SIGNBIT)) {
110 env->QF = 1;
111 res = ~(((int32_t)a >> 31) ^ SIGNBIT);
112 }
113 return res;
114}
115
9ef39277 116uint32_t HELPER(sub_saturate)(CPUARMState *env, uint32_t a, uint32_t b)
1497c961
PB
117{
118 uint32_t res = a - b;
119 if (((res ^ a) & SIGNBIT) && ((a ^ b) & SIGNBIT)) {
120 env->QF = 1;
121 res = ~(((int32_t)a >> 31) ^ SIGNBIT);
122 }
123 return res;
124}
125
9ef39277 126uint32_t HELPER(double_saturate)(CPUARMState *env, int32_t val)
1497c961
PB
127{
128 uint32_t res;
129 if (val >= 0x40000000) {
130 res = ~SIGNBIT;
131 env->QF = 1;
132 } else if (val <= (int32_t)0xc0000000) {
133 res = SIGNBIT;
134 env->QF = 1;
135 } else {
136 res = val << 1;
137 }
138 return res;
139}
140
9ef39277 141uint32_t HELPER(add_usaturate)(CPUARMState *env, uint32_t a, uint32_t b)
1497c961
PB
142{
143 uint32_t res = a + b;
144 if (res < a) {
145 env->QF = 1;
146 res = ~0;
147 }
148 return res;
149}
150
9ef39277 151uint32_t HELPER(sub_usaturate)(CPUARMState *env, uint32_t a, uint32_t b)
1497c961
PB
152{
153 uint32_t res = a - b;
154 if (res > a) {
155 env->QF = 1;
156 res = 0;
157 }
158 return res;
159}
160
6ddbc6e4 161/* Signed saturation. */
9ef39277 162static inline uint32_t do_ssat(CPUARMState *env, int32_t val, int shift)
6ddbc6e4
PB
163{
164 int32_t top;
165 uint32_t mask;
166
6ddbc6e4
PB
167 top = val >> shift;
168 mask = (1u << shift) - 1;
169 if (top > 0) {
170 env->QF = 1;
171 return mask;
172 } else if (top < -1) {
173 env->QF = 1;
174 return ~mask;
175 }
176 return val;
177}
178
179/* Unsigned saturation. */
9ef39277 180static inline uint32_t do_usat(CPUARMState *env, int32_t val, int shift)
6ddbc6e4
PB
181{
182 uint32_t max;
183
6ddbc6e4
PB
184 max = (1u << shift) - 1;
185 if (val < 0) {
186 env->QF = 1;
187 return 0;
188 } else if (val > max) {
189 env->QF = 1;
190 return max;
191 }
192 return val;
193}
194
195/* Signed saturate. */
9ef39277 196uint32_t HELPER(ssat)(CPUARMState *env, uint32_t x, uint32_t shift)
6ddbc6e4 197{
9ef39277 198 return do_ssat(env, x, shift);
6ddbc6e4
PB
199}
200
201/* Dual halfword signed saturate. */
9ef39277 202uint32_t HELPER(ssat16)(CPUARMState *env, uint32_t x, uint32_t shift)
6ddbc6e4
PB
203{
204 uint32_t res;
205
9ef39277
BS
206 res = (uint16_t)do_ssat(env, (int16_t)x, shift);
207 res |= do_ssat(env, ((int32_t)x) >> 16, shift) << 16;
6ddbc6e4
PB
208 return res;
209}
210
211/* Unsigned saturate. */
9ef39277 212uint32_t HELPER(usat)(CPUARMState *env, uint32_t x, uint32_t shift)
6ddbc6e4 213{
9ef39277 214 return do_usat(env, x, shift);
6ddbc6e4
PB
215}
216
217/* Dual halfword unsigned saturate. */
9ef39277 218uint32_t HELPER(usat16)(CPUARMState *env, uint32_t x, uint32_t shift)
6ddbc6e4
PB
219{
220 uint32_t res;
221
9ef39277
BS
222 res = (uint16_t)do_usat(env, (int16_t)x, shift);
223 res |= do_usat(env, ((int32_t)x) >> 16, shift) << 16;
6ddbc6e4
PB
224 return res;
225}
d9ba4830 226
1ce94f81 227void HELPER(wfi)(CPUARMState *env)
d9ba4830 228{
259186a7
AF
229 CPUState *cs = CPU(arm_env_get_cpu(env));
230
27103424 231 cs->exception_index = EXCP_HLT;
259186a7 232 cs->halted = 1;
5638d180 233 cpu_loop_exit(cs);
d9ba4830
PB
234}
235
72c1d3af
PM
236void HELPER(wfe)(CPUARMState *env)
237{
27103424
AF
238 CPUState *cs = CPU(arm_env_get_cpu(env));
239
72c1d3af
PM
240 /* Don't actually halt the CPU, just yield back to top
241 * level loop
242 */
27103424 243 cs->exception_index = EXCP_YIELD;
5638d180 244 cpu_loop_exit(cs);
72c1d3af
PM
245}
246
1ce94f81 247void HELPER(exception)(CPUARMState *env, uint32_t excp)
d9ba4830 248{
27103424
AF
249 CPUState *cs = CPU(arm_env_get_cpu(env));
250
251 cs->exception_index = excp;
5638d180 252 cpu_loop_exit(cs);
d9ba4830
PB
253}
254
9ef39277 255uint32_t HELPER(cpsr_read)(CPUARMState *env)
d9ba4830
PB
256{
257 return cpsr_read(env) & ~CPSR_EXEC;
258}
259
1ce94f81 260void HELPER(cpsr_write)(CPUARMState *env, uint32_t val, uint32_t mask)
d9ba4830
PB
261{
262 cpsr_write(env, val, mask);
263}
b0109805
PB
264
265/* Access to user mode registers from privileged modes. */
9ef39277 266uint32_t HELPER(get_user_reg)(CPUARMState *env, uint32_t regno)
b0109805
PB
267{
268 uint32_t val;
269
270 if (regno == 13) {
271 val = env->banked_r13[0];
272 } else if (regno == 14) {
273 val = env->banked_r14[0];
274 } else if (regno >= 8
275 && (env->uncached_cpsr & 0x1f) == ARM_CPU_MODE_FIQ) {
276 val = env->usr_regs[regno - 8];
277 } else {
278 val = env->regs[regno];
279 }
280 return val;
281}
282
1ce94f81 283void HELPER(set_user_reg)(CPUARMState *env, uint32_t regno, uint32_t val)
b0109805
PB
284{
285 if (regno == 13) {
286 env->banked_r13[0] = val;
287 } else if (regno == 14) {
288 env->banked_r14[0] = val;
289 } else if (regno >= 8
290 && (env->uncached_cpsr & 0x1f) == ARM_CPU_MODE_FIQ) {
291 env->usr_regs[regno - 8] = val;
292 } else {
293 env->regs[regno] = val;
294 }
295}
4b6a83fb 296
f59df3f2
PM
297void HELPER(access_check_cp_reg)(CPUARMState *env, void *rip)
298{
299 const ARMCPRegInfo *ri = rip;
300 switch (ri->accessfn(env, ri)) {
301 case CP_ACCESS_OK:
302 return;
303 case CP_ACCESS_TRAP:
304 case CP_ACCESS_TRAP_UNCATEGORIZED:
305 /* These cases will eventually need to generate different
306 * syndrome information.
307 */
308 break;
309 default:
310 g_assert_not_reached();
311 }
312 raise_exception(env, EXCP_UDEF);
313}
314
4b6a83fb
PM
315void HELPER(set_cp_reg)(CPUARMState *env, void *rip, uint32_t value)
316{
317 const ARMCPRegInfo *ri = rip;
c4241c7d
PM
318
319 ri->writefn(env, ri, value);
4b6a83fb
PM
320}
321
322uint32_t HELPER(get_cp_reg)(CPUARMState *env, void *rip)
323{
324 const ARMCPRegInfo *ri = rip;
c4241c7d
PM
325
326 return ri->readfn(env, ri);
4b6a83fb
PM
327}
328
329void HELPER(set_cp_reg64)(CPUARMState *env, void *rip, uint64_t value)
330{
331 const ARMCPRegInfo *ri = rip;
c4241c7d
PM
332
333 ri->writefn(env, ri, value);
4b6a83fb
PM
334}
335
336uint64_t HELPER(get_cp_reg64)(CPUARMState *env, void *rip)
337{
338 const ARMCPRegInfo *ri = rip;
c4241c7d
PM
339
340 return ri->readfn(env, ri);
4b6a83fb 341}
b0109805 342
9cfa0b4e
PM
343void HELPER(msr_i_pstate)(CPUARMState *env, uint32_t op, uint32_t imm)
344{
345 /* MSR_i to update PSTATE. This is OK from EL0 only if UMA is set.
346 * Note that SPSel is never OK from EL0; we rely on handle_msr_i()
347 * to catch that case at translate time.
348 */
349 if (arm_current_pl(env) == 0 && !(env->cp15.c1_sys & SCTLR_UMA)) {
350 raise_exception(env, EXCP_UDEF);
351 }
352
353 switch (op) {
354 case 0x05: /* SPSel */
355 env->pstate = deposit32(env->pstate, 0, 1, imm);
356 break;
357 case 0x1e: /* DAIFSet */
358 env->daif |= (imm << 6) & PSTATE_DAIF;
359 break;
360 case 0x1f: /* DAIFClear */
361 env->daif &= ~((imm << 6) & PSTATE_DAIF);
362 break;
363 default:
364 g_assert_not_reached();
365 }
366}
367
8984bd2e
PB
368/* ??? Flag setting arithmetic is awkward because we need to do comparisons.
369 The only way to do that in TCG is a conditional branch, which clobbers
370 all our temporaries. For now implement these as helper functions. */
371
8984bd2e
PB
372/* Similarly for variable shift instructions. */
373
9ef39277 374uint32_t HELPER(shl_cc)(CPUARMState *env, uint32_t x, uint32_t i)
8984bd2e
PB
375{
376 int shift = i & 0xff;
377 if (shift >= 32) {
378 if (shift == 32)
379 env->CF = x & 1;
380 else
381 env->CF = 0;
382 return 0;
383 } else if (shift != 0) {
384 env->CF = (x >> (32 - shift)) & 1;
385 return x << shift;
386 }
387 return x;
388}
389
9ef39277 390uint32_t HELPER(shr_cc)(CPUARMState *env, uint32_t x, uint32_t i)
8984bd2e
PB
391{
392 int shift = i & 0xff;
393 if (shift >= 32) {
394 if (shift == 32)
395 env->CF = (x >> 31) & 1;
396 else
397 env->CF = 0;
398 return 0;
399 } else if (shift != 0) {
400 env->CF = (x >> (shift - 1)) & 1;
401 return x >> shift;
402 }
403 return x;
404}
405
9ef39277 406uint32_t HELPER(sar_cc)(CPUARMState *env, uint32_t x, uint32_t i)
8984bd2e
PB
407{
408 int shift = i & 0xff;
409 if (shift >= 32) {
410 env->CF = (x >> 31) & 1;
411 return (int32_t)x >> 31;
412 } else if (shift != 0) {
413 env->CF = (x >> (shift - 1)) & 1;
414 return (int32_t)x >> shift;
415 }
416 return x;
417}
418
9ef39277 419uint32_t HELPER(ror_cc)(CPUARMState *env, uint32_t x, uint32_t i)
8984bd2e
PB
420{
421 int shift1, shift;
422 shift1 = i & 0xff;
423 shift = shift1 & 0x1f;
424 if (shift == 0) {
425 if (shift1 != 0)
426 env->CF = (x >> 31) & 1;
427 return x;
428 } else {
429 env->CF = (x >> (shift - 1)) & 1;
430 return ((uint32_t)x >> shift) | (x << (32 - shift));
431 }
432}
This page took 0.833086 seconds and 4 git commands to generate.