root / target-microblaze / op_helper.c @ 18569871
History | View | Annotate | Download (12.6 kB)
1 | 4acb54ba | Edgar E. Iglesias | /*
|
---|---|---|---|
2 | 4acb54ba | Edgar E. Iglesias | * Microblaze helper routines.
|
3 | 4acb54ba | Edgar E. Iglesias | *
|
4 | 4acb54ba | Edgar E. Iglesias | * Copyright (c) 2009 Edgar E. Iglesias <edgar.iglesias@gmail.com>.
|
5 | 4acb54ba | Edgar E. Iglesias | *
|
6 | 4acb54ba | Edgar E. Iglesias | * This library is free software; you can redistribute it and/or
|
7 | 4acb54ba | Edgar E. Iglesias | * modify it under the terms of the GNU Lesser General Public
|
8 | 4acb54ba | Edgar E. Iglesias | * License as published by the Free Software Foundation; either
|
9 | 4acb54ba | Edgar E. Iglesias | * version 2 of the License, or (at your option) any later version.
|
10 | 4acb54ba | Edgar E. Iglesias | *
|
11 | 4acb54ba | Edgar E. Iglesias | * This library is distributed in the hope that it will be useful,
|
12 | 4acb54ba | Edgar E. Iglesias | * but WITHOUT ANY WARRANTY; without even the implied warranty of
|
13 | 4acb54ba | Edgar E. Iglesias | * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU
|
14 | 4acb54ba | Edgar E. Iglesias | * Lesser General Public License for more details.
|
15 | 4acb54ba | Edgar E. Iglesias | *
|
16 | 4acb54ba | Edgar E. Iglesias | * You should have received a copy of the GNU Lesser General Public
|
17 | 8167ee88 | Blue Swirl | * License along with this library; if not, see <http://www.gnu.org/licenses/>.
|
18 | 4acb54ba | Edgar E. Iglesias | */
|
19 | 4acb54ba | Edgar E. Iglesias | |
20 | 4acb54ba | Edgar E. Iglesias | #include <assert.h> |
21 | 4acb54ba | Edgar E. Iglesias | #include "exec.h" |
22 | 4acb54ba | Edgar E. Iglesias | #include "helper.h" |
23 | 4acb54ba | Edgar E. Iglesias | #include "host-utils.h" |
24 | 4acb54ba | Edgar E. Iglesias | |
25 | 4acb54ba | Edgar E. Iglesias | #define D(x)
|
26 | 4acb54ba | Edgar E. Iglesias | |
27 | 4acb54ba | Edgar E. Iglesias | #if !defined(CONFIG_USER_ONLY)
|
28 | 4acb54ba | Edgar E. Iglesias | #define MMUSUFFIX _mmu
|
29 | 4acb54ba | Edgar E. Iglesias | #define SHIFT 0 |
30 | 4acb54ba | Edgar E. Iglesias | #include "softmmu_template.h" |
31 | 4acb54ba | Edgar E. Iglesias | #define SHIFT 1 |
32 | 4acb54ba | Edgar E. Iglesias | #include "softmmu_template.h" |
33 | 4acb54ba | Edgar E. Iglesias | #define SHIFT 2 |
34 | 4acb54ba | Edgar E. Iglesias | #include "softmmu_template.h" |
35 | 4acb54ba | Edgar E. Iglesias | #define SHIFT 3 |
36 | 4acb54ba | Edgar E. Iglesias | #include "softmmu_template.h" |
37 | 4acb54ba | Edgar E. Iglesias | |
38 | 4acb54ba | Edgar E. Iglesias | /* Try to fill the TLB and return an exception if error. If retaddr is
|
39 | 4acb54ba | Edgar E. Iglesias | NULL, it means that the function was called in C code (i.e. not
|
40 | 4acb54ba | Edgar E. Iglesias | from generated code or from helper.c) */
|
41 | 4acb54ba | Edgar E. Iglesias | /* XXX: fix it to restore all registers */
|
42 | 4acb54ba | Edgar E. Iglesias | void tlb_fill (target_ulong addr, int is_write, int mmu_idx, void *retaddr) |
43 | 4acb54ba | Edgar E. Iglesias | { |
44 | 4acb54ba | Edgar E. Iglesias | TranslationBlock *tb; |
45 | 4acb54ba | Edgar E. Iglesias | CPUState *saved_env; |
46 | 4acb54ba | Edgar E. Iglesias | unsigned long pc; |
47 | 4acb54ba | Edgar E. Iglesias | int ret;
|
48 | 4acb54ba | Edgar E. Iglesias | |
49 | 4acb54ba | Edgar E. Iglesias | /* XXX: hack to restore env in all cases, even if not called from
|
50 | 4acb54ba | Edgar E. Iglesias | generated code */
|
51 | 4acb54ba | Edgar E. Iglesias | saved_env = env; |
52 | 4acb54ba | Edgar E. Iglesias | env = cpu_single_env; |
53 | 4acb54ba | Edgar E. Iglesias | |
54 | 4acb54ba | Edgar E. Iglesias | ret = cpu_mb_handle_mmu_fault(env, addr, is_write, mmu_idx, 1);
|
55 | 4acb54ba | Edgar E. Iglesias | if (unlikely(ret)) {
|
56 | 4acb54ba | Edgar E. Iglesias | if (retaddr) {
|
57 | 4acb54ba | Edgar E. Iglesias | /* now we have a real cpu fault */
|
58 | 4acb54ba | Edgar E. Iglesias | pc = (unsigned long)retaddr; |
59 | 4acb54ba | Edgar E. Iglesias | tb = tb_find_pc(pc); |
60 | 4acb54ba | Edgar E. Iglesias | if (tb) {
|
61 | 4acb54ba | Edgar E. Iglesias | /* the PC is inside the translated code. It means that we have
|
62 | 4acb54ba | Edgar E. Iglesias | a virtual CPU fault */
|
63 | 4acb54ba | Edgar E. Iglesias | cpu_restore_state(tb, env, pc, NULL);
|
64 | 4acb54ba | Edgar E. Iglesias | } |
65 | 4acb54ba | Edgar E. Iglesias | } |
66 | 4acb54ba | Edgar E. Iglesias | cpu_loop_exit(); |
67 | 4acb54ba | Edgar E. Iglesias | } |
68 | 4acb54ba | Edgar E. Iglesias | env = saved_env; |
69 | 4acb54ba | Edgar E. Iglesias | } |
70 | 4acb54ba | Edgar E. Iglesias | #endif
|
71 | 4acb54ba | Edgar E. Iglesias | |
72 | 4acb54ba | Edgar E. Iglesias | void helper_raise_exception(uint32_t index)
|
73 | 4acb54ba | Edgar E. Iglesias | { |
74 | 4acb54ba | Edgar E. Iglesias | env->exception_index = index; |
75 | 4acb54ba | Edgar E. Iglesias | cpu_loop_exit(); |
76 | 4acb54ba | Edgar E. Iglesias | } |
77 | 4acb54ba | Edgar E. Iglesias | |
78 | 4acb54ba | Edgar E. Iglesias | void helper_debug(void) |
79 | 4acb54ba | Edgar E. Iglesias | { |
80 | 4acb54ba | Edgar E. Iglesias | int i;
|
81 | 4acb54ba | Edgar E. Iglesias | |
82 | 4acb54ba | Edgar E. Iglesias | qemu_log("PC=%8.8x\n", env->sregs[SR_PC]);
|
83 | 4c24aa0a | Michal Simek | qemu_log("rmsr=%x resr=%x rear=%x debug[%x] imm=%x iflags=%x\n",
|
84 | 4c24aa0a | Michal Simek | env->sregs[SR_MSR], env->sregs[SR_ESR], env->sregs[SR_EAR], |
85 | 17c52a43 | Edgar E. Iglesias | env->debug, env->imm, env->iflags); |
86 | 17c52a43 | Edgar E. Iglesias | qemu_log("btaken=%d btarget=%x mode=%s(saved=%s) eip=%d ie=%d\n",
|
87 | 17c52a43 | Edgar E. Iglesias | env->btaken, env->btarget, |
88 | 17c52a43 | Edgar E. Iglesias | (env->sregs[SR_MSR] & MSR_UM) ? "user" : "kernel", |
89 | 17c52a43 | Edgar E. Iglesias | (env->sregs[SR_MSR] & MSR_UMS) ? "user" : "kernel", |
90 | 17c52a43 | Edgar E. Iglesias | (env->sregs[SR_MSR] & MSR_EIP), |
91 | 17c52a43 | Edgar E. Iglesias | (env->sregs[SR_MSR] & MSR_IE)); |
92 | 4acb54ba | Edgar E. Iglesias | for (i = 0; i < 32; i++) { |
93 | 4acb54ba | Edgar E. Iglesias | qemu_log("r%2.2d=%8.8x ", i, env->regs[i]);
|
94 | 4acb54ba | Edgar E. Iglesias | if ((i + 1) % 4 == 0) |
95 | 4acb54ba | Edgar E. Iglesias | qemu_log("\n");
|
96 | 4acb54ba | Edgar E. Iglesias | } |
97 | 4acb54ba | Edgar E. Iglesias | qemu_log("\n\n");
|
98 | 4acb54ba | Edgar E. Iglesias | } |
99 | 4acb54ba | Edgar E. Iglesias | |
100 | 4acb54ba | Edgar E. Iglesias | static inline uint32_t compute_carry(uint32_t a, uint32_t b, uint32_t cin) |
101 | 4acb54ba | Edgar E. Iglesias | { |
102 | 4acb54ba | Edgar E. Iglesias | uint32_t cout = 0;
|
103 | 4acb54ba | Edgar E. Iglesias | |
104 | 4acb54ba | Edgar E. Iglesias | if ((b == ~0) && cin) |
105 | 4acb54ba | Edgar E. Iglesias | cout = 1;
|
106 | 4acb54ba | Edgar E. Iglesias | else if ((~0 - a) < (b + cin)) |
107 | 4acb54ba | Edgar E. Iglesias | cout = 1;
|
108 | 4acb54ba | Edgar E. Iglesias | return cout;
|
109 | 4acb54ba | Edgar E. Iglesias | } |
110 | 4acb54ba | Edgar E. Iglesias | |
111 | 4acb54ba | Edgar E. Iglesias | uint32_t helper_cmp(uint32_t a, uint32_t b) |
112 | 4acb54ba | Edgar E. Iglesias | { |
113 | 4acb54ba | Edgar E. Iglesias | uint32_t t; |
114 | 4acb54ba | Edgar E. Iglesias | |
115 | 4acb54ba | Edgar E. Iglesias | t = b + ~a + 1;
|
116 | 4acb54ba | Edgar E. Iglesias | if ((b & 0x80000000) ^ (a & 0x80000000)) |
117 | 4acb54ba | Edgar E. Iglesias | t = (t & 0x7fffffff) | (b & 0x80000000); |
118 | 4acb54ba | Edgar E. Iglesias | return t;
|
119 | 4acb54ba | Edgar E. Iglesias | } |
120 | 4acb54ba | Edgar E. Iglesias | |
121 | 4acb54ba | Edgar E. Iglesias | uint32_t helper_cmpu(uint32_t a, uint32_t b) |
122 | 4acb54ba | Edgar E. Iglesias | { |
123 | 4acb54ba | Edgar E. Iglesias | uint32_t t; |
124 | 4acb54ba | Edgar E. Iglesias | |
125 | 4acb54ba | Edgar E. Iglesias | t = b + ~a + 1;
|
126 | 4acb54ba | Edgar E. Iglesias | if ((b & 0x80000000) ^ (a & 0x80000000)) |
127 | 4acb54ba | Edgar E. Iglesias | t = (t & 0x7fffffff) | (a & 0x80000000); |
128 | 4acb54ba | Edgar E. Iglesias | return t;
|
129 | 4acb54ba | Edgar E. Iglesias | } |
130 | 4acb54ba | Edgar E. Iglesias | |
131 | 4acb54ba | Edgar E. Iglesias | uint32_t helper_addkc(uint32_t a, uint32_t b, uint32_t k, uint32_t c) |
132 | 4acb54ba | Edgar E. Iglesias | { |
133 | 4acb54ba | Edgar E. Iglesias | uint32_t d, cf = 0, ncf;
|
134 | 4acb54ba | Edgar E. Iglesias | |
135 | 4acb54ba | Edgar E. Iglesias | if (c)
|
136 | 4acb54ba | Edgar E. Iglesias | cf = env->sregs[SR_MSR] >> 31;
|
137 | 4acb54ba | Edgar E. Iglesias | assert(cf == 0 || cf == 1); |
138 | 4acb54ba | Edgar E. Iglesias | d = a + b + cf; |
139 | 4acb54ba | Edgar E. Iglesias | |
140 | 4acb54ba | Edgar E. Iglesias | if (!k) {
|
141 | 4acb54ba | Edgar E. Iglesias | ncf = compute_carry(a, b, cf); |
142 | 4acb54ba | Edgar E. Iglesias | assert(ncf == 0 || ncf == 1); |
143 | 4acb54ba | Edgar E. Iglesias | if (ncf)
|
144 | 4acb54ba | Edgar E. Iglesias | env->sregs[SR_MSR] |= MSR_C | MSR_CC; |
145 | 4acb54ba | Edgar E. Iglesias | else
|
146 | 4acb54ba | Edgar E. Iglesias | env->sregs[SR_MSR] &= ~(MSR_C | MSR_CC); |
147 | 4acb54ba | Edgar E. Iglesias | } |
148 | 4acb54ba | Edgar E. Iglesias | D(qemu_log("%x = %x + %x cf=%d ncf=%d k=%d c=%d\n",
|
149 | 4acb54ba | Edgar E. Iglesias | d, a, b, cf, ncf, k, c)); |
150 | 4acb54ba | Edgar E. Iglesias | return d;
|
151 | 4acb54ba | Edgar E. Iglesias | } |
152 | 4acb54ba | Edgar E. Iglesias | |
153 | 4acb54ba | Edgar E. Iglesias | uint32_t helper_subkc(uint32_t a, uint32_t b, uint32_t k, uint32_t c) |
154 | 4acb54ba | Edgar E. Iglesias | { |
155 | 4acb54ba | Edgar E. Iglesias | uint32_t d, cf = 1, ncf;
|
156 | 4acb54ba | Edgar E. Iglesias | |
157 | 4acb54ba | Edgar E. Iglesias | if (c)
|
158 | 4acb54ba | Edgar E. Iglesias | cf = env->sregs[SR_MSR] >> 31;
|
159 | 4acb54ba | Edgar E. Iglesias | assert(cf == 0 || cf == 1); |
160 | 4acb54ba | Edgar E. Iglesias | d = b + ~a + cf; |
161 | 4acb54ba | Edgar E. Iglesias | |
162 | 4acb54ba | Edgar E. Iglesias | if (!k) {
|
163 | 4acb54ba | Edgar E. Iglesias | ncf = compute_carry(b, ~a, cf); |
164 | 4acb54ba | Edgar E. Iglesias | assert(ncf == 0 || ncf == 1); |
165 | 4acb54ba | Edgar E. Iglesias | if (ncf)
|
166 | 4acb54ba | Edgar E. Iglesias | env->sregs[SR_MSR] |= MSR_C | MSR_CC; |
167 | 4acb54ba | Edgar E. Iglesias | else
|
168 | 4acb54ba | Edgar E. Iglesias | env->sregs[SR_MSR] &= ~(MSR_C | MSR_CC); |
169 | 4acb54ba | Edgar E. Iglesias | } |
170 | 4acb54ba | Edgar E. Iglesias | D(qemu_log("%x = %x + %x cf=%d ncf=%d k=%d c=%d\n",
|
171 | 4acb54ba | Edgar E. Iglesias | d, a, b, cf, ncf, k, c)); |
172 | 4acb54ba | Edgar E. Iglesias | return d;
|
173 | 4acb54ba | Edgar E. Iglesias | } |
174 | 4acb54ba | Edgar E. Iglesias | |
175 | 4acb54ba | Edgar E. Iglesias | static inline int div_prepare(uint32_t a, uint32_t b) |
176 | 4acb54ba | Edgar E. Iglesias | { |
177 | 4acb54ba | Edgar E. Iglesias | if (b == 0) { |
178 | 4acb54ba | Edgar E. Iglesias | env->sregs[SR_MSR] |= MSR_DZ; |
179 | 821ebb33 | Edgar E. Iglesias | |
180 | 821ebb33 | Edgar E. Iglesias | if ((env->sregs[SR_MSR] & MSR_EE)
|
181 | 821ebb33 | Edgar E. Iglesias | && !(env->pvr.regs[2] & PVR2_DIV_ZERO_EXC_MASK)) {
|
182 | 821ebb33 | Edgar E. Iglesias | env->sregs[SR_ESR] = ESR_EC_DIVZERO; |
183 | 821ebb33 | Edgar E. Iglesias | helper_raise_exception(EXCP_HW_EXCP); |
184 | 821ebb33 | Edgar E. Iglesias | } |
185 | 4acb54ba | Edgar E. Iglesias | return 0; |
186 | 4acb54ba | Edgar E. Iglesias | } |
187 | 4acb54ba | Edgar E. Iglesias | env->sregs[SR_MSR] &= ~MSR_DZ; |
188 | 4acb54ba | Edgar E. Iglesias | return 1; |
189 | 4acb54ba | Edgar E. Iglesias | } |
190 | 4acb54ba | Edgar E. Iglesias | |
191 | 4acb54ba | Edgar E. Iglesias | uint32_t helper_divs(uint32_t a, uint32_t b) |
192 | 4acb54ba | Edgar E. Iglesias | { |
193 | 4acb54ba | Edgar E. Iglesias | if (!div_prepare(a, b))
|
194 | 4acb54ba | Edgar E. Iglesias | return 0; |
195 | 4acb54ba | Edgar E. Iglesias | return (int32_t)a / (int32_t)b;
|
196 | 4acb54ba | Edgar E. Iglesias | } |
197 | 4acb54ba | Edgar E. Iglesias | |
198 | 4acb54ba | Edgar E. Iglesias | uint32_t helper_divu(uint32_t a, uint32_t b) |
199 | 4acb54ba | Edgar E. Iglesias | { |
200 | 4acb54ba | Edgar E. Iglesias | if (!div_prepare(a, b))
|
201 | 4acb54ba | Edgar E. Iglesias | return 0; |
202 | 4acb54ba | Edgar E. Iglesias | return a / b;
|
203 | 4acb54ba | Edgar E. Iglesias | } |
204 | 4acb54ba | Edgar E. Iglesias | |
205 | 97694c57 | Edgar E. Iglesias | /* raise FPU exception. */
|
206 | 97694c57 | Edgar E. Iglesias | static void raise_fpu_exception(void) |
207 | 97694c57 | Edgar E. Iglesias | { |
208 | 97694c57 | Edgar E. Iglesias | env->sregs[SR_ESR] = ESR_EC_FPU; |
209 | 97694c57 | Edgar E. Iglesias | helper_raise_exception(EXCP_HW_EXCP); |
210 | 97694c57 | Edgar E. Iglesias | } |
211 | 97694c57 | Edgar E. Iglesias | |
212 | 97694c57 | Edgar E. Iglesias | static void update_fpu_flags(int flags) |
213 | 97694c57 | Edgar E. Iglesias | { |
214 | 97694c57 | Edgar E. Iglesias | int raise = 0; |
215 | 97694c57 | Edgar E. Iglesias | |
216 | 97694c57 | Edgar E. Iglesias | if (flags & float_flag_invalid) {
|
217 | 97694c57 | Edgar E. Iglesias | env->sregs[SR_FSR] |= FSR_IO; |
218 | 97694c57 | Edgar E. Iglesias | raise = 1;
|
219 | 97694c57 | Edgar E. Iglesias | } |
220 | 97694c57 | Edgar E. Iglesias | if (flags & float_flag_divbyzero) {
|
221 | 97694c57 | Edgar E. Iglesias | env->sregs[SR_FSR] |= FSR_DZ; |
222 | 97694c57 | Edgar E. Iglesias | raise = 1;
|
223 | 97694c57 | Edgar E. Iglesias | } |
224 | 97694c57 | Edgar E. Iglesias | if (flags & float_flag_overflow) {
|
225 | 97694c57 | Edgar E. Iglesias | env->sregs[SR_FSR] |= FSR_OF; |
226 | 97694c57 | Edgar E. Iglesias | raise = 1;
|
227 | 97694c57 | Edgar E. Iglesias | } |
228 | 97694c57 | Edgar E. Iglesias | if (flags & float_flag_underflow) {
|
229 | 97694c57 | Edgar E. Iglesias | env->sregs[SR_FSR] |= FSR_UF; |
230 | 97694c57 | Edgar E. Iglesias | raise = 1;
|
231 | 97694c57 | Edgar E. Iglesias | } |
232 | 97694c57 | Edgar E. Iglesias | if (raise
|
233 | 97694c57 | Edgar E. Iglesias | && (env->pvr.regs[2] & PVR2_FPU_EXC_MASK)
|
234 | 97694c57 | Edgar E. Iglesias | && (env->sregs[SR_MSR] & MSR_EE)) { |
235 | 97694c57 | Edgar E. Iglesias | raise_fpu_exception(); |
236 | 97694c57 | Edgar E. Iglesias | } |
237 | 97694c57 | Edgar E. Iglesias | } |
238 | 97694c57 | Edgar E. Iglesias | |
239 | 97694c57 | Edgar E. Iglesias | uint32_t helper_fadd(uint32_t a, uint32_t b) |
240 | 97694c57 | Edgar E. Iglesias | { |
241 | 97694c57 | Edgar E. Iglesias | CPU_FloatU fd, fa, fb; |
242 | 97694c57 | Edgar E. Iglesias | int flags;
|
243 | 97694c57 | Edgar E. Iglesias | |
244 | 97694c57 | Edgar E. Iglesias | set_float_exception_flags(0, &env->fp_status);
|
245 | 97694c57 | Edgar E. Iglesias | fa.l = a; |
246 | 97694c57 | Edgar E. Iglesias | fb.l = b; |
247 | 97694c57 | Edgar E. Iglesias | fd.f = float32_add(fa.f, fb.f, &env->fp_status); |
248 | 97694c57 | Edgar E. Iglesias | |
249 | 97694c57 | Edgar E. Iglesias | flags = get_float_exception_flags(&env->fp_status); |
250 | 97694c57 | Edgar E. Iglesias | update_fpu_flags(flags); |
251 | 97694c57 | Edgar E. Iglesias | return fd.l;
|
252 | 97694c57 | Edgar E. Iglesias | } |
253 | 97694c57 | Edgar E. Iglesias | |
254 | 97694c57 | Edgar E. Iglesias | uint32_t helper_frsub(uint32_t a, uint32_t b) |
255 | 97694c57 | Edgar E. Iglesias | { |
256 | 97694c57 | Edgar E. Iglesias | CPU_FloatU fd, fa, fb; |
257 | 97694c57 | Edgar E. Iglesias | int flags;
|
258 | 97694c57 | Edgar E. Iglesias | |
259 | 97694c57 | Edgar E. Iglesias | set_float_exception_flags(0, &env->fp_status);
|
260 | 97694c57 | Edgar E. Iglesias | fa.l = a; |
261 | 97694c57 | Edgar E. Iglesias | fb.l = b; |
262 | 97694c57 | Edgar E. Iglesias | fd.f = float32_sub(fb.f, fa.f, &env->fp_status); |
263 | 97694c57 | Edgar E. Iglesias | flags = get_float_exception_flags(&env->fp_status); |
264 | 97694c57 | Edgar E. Iglesias | update_fpu_flags(flags); |
265 | 97694c57 | Edgar E. Iglesias | return fd.l;
|
266 | 97694c57 | Edgar E. Iglesias | } |
267 | 97694c57 | Edgar E. Iglesias | |
268 | 97694c57 | Edgar E. Iglesias | uint32_t helper_fmul(uint32_t a, uint32_t b) |
269 | 97694c57 | Edgar E. Iglesias | { |
270 | 97694c57 | Edgar E. Iglesias | CPU_FloatU fd, fa, fb; |
271 | 97694c57 | Edgar E. Iglesias | int flags;
|
272 | 97694c57 | Edgar E. Iglesias | |
273 | 97694c57 | Edgar E. Iglesias | set_float_exception_flags(0, &env->fp_status);
|
274 | 97694c57 | Edgar E. Iglesias | fa.l = a; |
275 | 97694c57 | Edgar E. Iglesias | fb.l = b; |
276 | 97694c57 | Edgar E. Iglesias | fd.f = float32_mul(fa.f, fb.f, &env->fp_status); |
277 | 97694c57 | Edgar E. Iglesias | flags = get_float_exception_flags(&env->fp_status); |
278 | 97694c57 | Edgar E. Iglesias | update_fpu_flags(flags); |
279 | 97694c57 | Edgar E. Iglesias | |
280 | 97694c57 | Edgar E. Iglesias | return fd.l;
|
281 | 97694c57 | Edgar E. Iglesias | } |
282 | 97694c57 | Edgar E. Iglesias | |
283 | 97694c57 | Edgar E. Iglesias | uint32_t helper_fdiv(uint32_t a, uint32_t b) |
284 | 97694c57 | Edgar E. Iglesias | { |
285 | 97694c57 | Edgar E. Iglesias | CPU_FloatU fd, fa, fb; |
286 | 97694c57 | Edgar E. Iglesias | int flags;
|
287 | 97694c57 | Edgar E. Iglesias | |
288 | 97694c57 | Edgar E. Iglesias | set_float_exception_flags(0, &env->fp_status);
|
289 | 97694c57 | Edgar E. Iglesias | fa.l = a; |
290 | 97694c57 | Edgar E. Iglesias | fb.l = b; |
291 | 97694c57 | Edgar E. Iglesias | fd.f = float32_div(fb.f, fa.f, &env->fp_status); |
292 | 97694c57 | Edgar E. Iglesias | flags = get_float_exception_flags(&env->fp_status); |
293 | 97694c57 | Edgar E. Iglesias | update_fpu_flags(flags); |
294 | 97694c57 | Edgar E. Iglesias | |
295 | 97694c57 | Edgar E. Iglesias | return fd.l;
|
296 | 97694c57 | Edgar E. Iglesias | } |
297 | 97694c57 | Edgar E. Iglesias | |
298 | 97694c57 | Edgar E. Iglesias | uint32_t helper_fcmp_un(uint32_t a, uint32_t b) |
299 | 97694c57 | Edgar E. Iglesias | { |
300 | ef9d48da | Edgar E. Iglesias | CPU_FloatU fa, fb; |
301 | ef9d48da | Edgar E. Iglesias | uint32_t r = 0;
|
302 | ef9d48da | Edgar E. Iglesias | |
303 | ef9d48da | Edgar E. Iglesias | fa.l = a; |
304 | ef9d48da | Edgar E. Iglesias | fb.l = b; |
305 | ef9d48da | Edgar E. Iglesias | |
306 | ef9d48da | Edgar E. Iglesias | if (float32_is_signaling_nan(fa.f) || float32_is_signaling_nan(fb.f)) {
|
307 | ef9d48da | Edgar E. Iglesias | update_fpu_flags(float_flag_invalid); |
308 | ef9d48da | Edgar E. Iglesias | r = 1;
|
309 | ef9d48da | Edgar E. Iglesias | } |
310 | ef9d48da | Edgar E. Iglesias | |
311 | 18569871 | Peter Maydell | if (float32_is_quiet_nan(fa.f) || float32_is_quiet_nan(fb.f)) {
|
312 | ef9d48da | Edgar E. Iglesias | r = 1;
|
313 | ef9d48da | Edgar E. Iglesias | } |
314 | ef9d48da | Edgar E. Iglesias | |
315 | ef9d48da | Edgar E. Iglesias | return r;
|
316 | 97694c57 | Edgar E. Iglesias | } |
317 | 97694c57 | Edgar E. Iglesias | |
318 | 97694c57 | Edgar E. Iglesias | uint32_t helper_fcmp_lt(uint32_t a, uint32_t b) |
319 | 97694c57 | Edgar E. Iglesias | { |
320 | 97694c57 | Edgar E. Iglesias | CPU_FloatU fa, fb; |
321 | 97694c57 | Edgar E. Iglesias | int r;
|
322 | 97694c57 | Edgar E. Iglesias | int flags;
|
323 | 97694c57 | Edgar E. Iglesias | |
324 | 97694c57 | Edgar E. Iglesias | set_float_exception_flags(0, &env->fp_status);
|
325 | 97694c57 | Edgar E. Iglesias | fa.l = a; |
326 | 97694c57 | Edgar E. Iglesias | fb.l = b; |
327 | 97694c57 | Edgar E. Iglesias | r = float32_lt(fb.f, fa.f, &env->fp_status); |
328 | 97694c57 | Edgar E. Iglesias | flags = get_float_exception_flags(&env->fp_status); |
329 | 97694c57 | Edgar E. Iglesias | update_fpu_flags(flags & float_flag_invalid); |
330 | 97694c57 | Edgar E. Iglesias | |
331 | 97694c57 | Edgar E. Iglesias | return r;
|
332 | 97694c57 | Edgar E. Iglesias | } |
333 | 97694c57 | Edgar E. Iglesias | |
334 | 97694c57 | Edgar E. Iglesias | uint32_t helper_fcmp_eq(uint32_t a, uint32_t b) |
335 | 97694c57 | Edgar E. Iglesias | { |
336 | 97694c57 | Edgar E. Iglesias | CPU_FloatU fa, fb; |
337 | 97694c57 | Edgar E. Iglesias | int flags;
|
338 | 97694c57 | Edgar E. Iglesias | int r;
|
339 | 97694c57 | Edgar E. Iglesias | |
340 | 97694c57 | Edgar E. Iglesias | set_float_exception_flags(0, &env->fp_status);
|
341 | 97694c57 | Edgar E. Iglesias | fa.l = a; |
342 | 97694c57 | Edgar E. Iglesias | fb.l = b; |
343 | 97694c57 | Edgar E. Iglesias | r = float32_eq(fa.f, fb.f, &env->fp_status); |
344 | 97694c57 | Edgar E. Iglesias | flags = get_float_exception_flags(&env->fp_status); |
345 | 97694c57 | Edgar E. Iglesias | update_fpu_flags(flags & float_flag_invalid); |
346 | 97694c57 | Edgar E. Iglesias | |
347 | 97694c57 | Edgar E. Iglesias | return r;
|
348 | 97694c57 | Edgar E. Iglesias | } |
349 | 97694c57 | Edgar E. Iglesias | |
350 | 97694c57 | Edgar E. Iglesias | uint32_t helper_fcmp_le(uint32_t a, uint32_t b) |
351 | 97694c57 | Edgar E. Iglesias | { |
352 | 97694c57 | Edgar E. Iglesias | CPU_FloatU fa, fb; |
353 | 97694c57 | Edgar E. Iglesias | int flags;
|
354 | 97694c57 | Edgar E. Iglesias | int r;
|
355 | 97694c57 | Edgar E. Iglesias | |
356 | 97694c57 | Edgar E. Iglesias | fa.l = a; |
357 | 97694c57 | Edgar E. Iglesias | fb.l = b; |
358 | 97694c57 | Edgar E. Iglesias | set_float_exception_flags(0, &env->fp_status);
|
359 | 97694c57 | Edgar E. Iglesias | r = float32_le(fa.f, fb.f, &env->fp_status); |
360 | 97694c57 | Edgar E. Iglesias | flags = get_float_exception_flags(&env->fp_status); |
361 | 97694c57 | Edgar E. Iglesias | update_fpu_flags(flags & float_flag_invalid); |
362 | 97694c57 | Edgar E. Iglesias | |
363 | 97694c57 | Edgar E. Iglesias | |
364 | 97694c57 | Edgar E. Iglesias | return r;
|
365 | 97694c57 | Edgar E. Iglesias | } |
366 | 97694c57 | Edgar E. Iglesias | |
367 | 97694c57 | Edgar E. Iglesias | uint32_t helper_fcmp_gt(uint32_t a, uint32_t b) |
368 | 97694c57 | Edgar E. Iglesias | { |
369 | 97694c57 | Edgar E. Iglesias | CPU_FloatU fa, fb; |
370 | 97694c57 | Edgar E. Iglesias | int flags, r;
|
371 | 97694c57 | Edgar E. Iglesias | |
372 | 97694c57 | Edgar E. Iglesias | fa.l = a; |
373 | 97694c57 | Edgar E. Iglesias | fb.l = b; |
374 | 97694c57 | Edgar E. Iglesias | set_float_exception_flags(0, &env->fp_status);
|
375 | 97694c57 | Edgar E. Iglesias | r = float32_lt(fa.f, fb.f, &env->fp_status); |
376 | 97694c57 | Edgar E. Iglesias | flags = get_float_exception_flags(&env->fp_status); |
377 | 97694c57 | Edgar E. Iglesias | update_fpu_flags(flags & float_flag_invalid); |
378 | 97694c57 | Edgar E. Iglesias | return r;
|
379 | 97694c57 | Edgar E. Iglesias | } |
380 | 97694c57 | Edgar E. Iglesias | |
381 | 97694c57 | Edgar E. Iglesias | uint32_t helper_fcmp_ne(uint32_t a, uint32_t b) |
382 | 97694c57 | Edgar E. Iglesias | { |
383 | 97694c57 | Edgar E. Iglesias | CPU_FloatU fa, fb; |
384 | 97694c57 | Edgar E. Iglesias | int flags, r;
|
385 | 97694c57 | Edgar E. Iglesias | |
386 | 97694c57 | Edgar E. Iglesias | fa.l = a; |
387 | 97694c57 | Edgar E. Iglesias | fb.l = b; |
388 | 97694c57 | Edgar E. Iglesias | set_float_exception_flags(0, &env->fp_status);
|
389 | 97694c57 | Edgar E. Iglesias | r = !float32_eq(fa.f, fb.f, &env->fp_status); |
390 | 97694c57 | Edgar E. Iglesias | flags = get_float_exception_flags(&env->fp_status); |
391 | 97694c57 | Edgar E. Iglesias | update_fpu_flags(flags & float_flag_invalid); |
392 | 97694c57 | Edgar E. Iglesias | |
393 | 97694c57 | Edgar E. Iglesias | return r;
|
394 | 97694c57 | Edgar E. Iglesias | } |
395 | 97694c57 | Edgar E. Iglesias | |
396 | 97694c57 | Edgar E. Iglesias | uint32_t helper_fcmp_ge(uint32_t a, uint32_t b) |
397 | 97694c57 | Edgar E. Iglesias | { |
398 | 97694c57 | Edgar E. Iglesias | CPU_FloatU fa, fb; |
399 | 97694c57 | Edgar E. Iglesias | int flags, r;
|
400 | 97694c57 | Edgar E. Iglesias | |
401 | 97694c57 | Edgar E. Iglesias | fa.l = a; |
402 | 97694c57 | Edgar E. Iglesias | fb.l = b; |
403 | 97694c57 | Edgar E. Iglesias | set_float_exception_flags(0, &env->fp_status);
|
404 | 97694c57 | Edgar E. Iglesias | r = !float32_lt(fa.f, fb.f, &env->fp_status); |
405 | 97694c57 | Edgar E. Iglesias | flags = get_float_exception_flags(&env->fp_status); |
406 | 97694c57 | Edgar E. Iglesias | update_fpu_flags(flags & float_flag_invalid); |
407 | 97694c57 | Edgar E. Iglesias | |
408 | 97694c57 | Edgar E. Iglesias | return r;
|
409 | 97694c57 | Edgar E. Iglesias | } |
410 | 97694c57 | Edgar E. Iglesias | |
411 | 97694c57 | Edgar E. Iglesias | uint32_t helper_flt(uint32_t a) |
412 | 97694c57 | Edgar E. Iglesias | { |
413 | 97694c57 | Edgar E. Iglesias | CPU_FloatU fd, fa; |
414 | 97694c57 | Edgar E. Iglesias | |
415 | 97694c57 | Edgar E. Iglesias | fa.l = a; |
416 | 97694c57 | Edgar E. Iglesias | fd.f = int32_to_float32(fa.l, &env->fp_status); |
417 | 97694c57 | Edgar E. Iglesias | return fd.l;
|
418 | 97694c57 | Edgar E. Iglesias | } |
419 | 97694c57 | Edgar E. Iglesias | |
420 | 97694c57 | Edgar E. Iglesias | uint32_t helper_fint(uint32_t a) |
421 | 97694c57 | Edgar E. Iglesias | { |
422 | 97694c57 | Edgar E. Iglesias | CPU_FloatU fa; |
423 | 97694c57 | Edgar E. Iglesias | uint32_t r; |
424 | 97694c57 | Edgar E. Iglesias | int flags;
|
425 | 97694c57 | Edgar E. Iglesias | |
426 | 97694c57 | Edgar E. Iglesias | set_float_exception_flags(0, &env->fp_status);
|
427 | 97694c57 | Edgar E. Iglesias | fa.l = a; |
428 | 97694c57 | Edgar E. Iglesias | r = float32_to_int32(fa.f, &env->fp_status); |
429 | 97694c57 | Edgar E. Iglesias | flags = get_float_exception_flags(&env->fp_status); |
430 | 97694c57 | Edgar E. Iglesias | update_fpu_flags(flags); |
431 | 97694c57 | Edgar E. Iglesias | |
432 | 97694c57 | Edgar E. Iglesias | return r;
|
433 | 97694c57 | Edgar E. Iglesias | } |
434 | 97694c57 | Edgar E. Iglesias | |
435 | 97694c57 | Edgar E. Iglesias | uint32_t helper_fsqrt(uint32_t a) |
436 | 97694c57 | Edgar E. Iglesias | { |
437 | 97694c57 | Edgar E. Iglesias | CPU_FloatU fd, fa; |
438 | 97694c57 | Edgar E. Iglesias | int flags;
|
439 | 97694c57 | Edgar E. Iglesias | |
440 | 97694c57 | Edgar E. Iglesias | set_float_exception_flags(0, &env->fp_status);
|
441 | 97694c57 | Edgar E. Iglesias | fa.l = a; |
442 | 97694c57 | Edgar E. Iglesias | fd.l = float32_sqrt(fa.f, &env->fp_status); |
443 | 97694c57 | Edgar E. Iglesias | flags = get_float_exception_flags(&env->fp_status); |
444 | 97694c57 | Edgar E. Iglesias | update_fpu_flags(flags); |
445 | 97694c57 | Edgar E. Iglesias | |
446 | 97694c57 | Edgar E. Iglesias | return fd.l;
|
447 | 97694c57 | Edgar E. Iglesias | } |
448 | 97694c57 | Edgar E. Iglesias | |
449 | 4acb54ba | Edgar E. Iglesias | uint32_t helper_pcmpbf(uint32_t a, uint32_t b) |
450 | 4acb54ba | Edgar E. Iglesias | { |
451 | 4acb54ba | Edgar E. Iglesias | unsigned int i; |
452 | 4acb54ba | Edgar E. Iglesias | uint32_t mask = 0xff000000;
|
453 | 4acb54ba | Edgar E. Iglesias | |
454 | 4acb54ba | Edgar E. Iglesias | for (i = 0; i < 4; i++) { |
455 | 4acb54ba | Edgar E. Iglesias | if ((a & mask) == (b & mask))
|
456 | 4acb54ba | Edgar E. Iglesias | return i + 1; |
457 | 4acb54ba | Edgar E. Iglesias | mask >>= 8;
|
458 | 4acb54ba | Edgar E. Iglesias | } |
459 | 4acb54ba | Edgar E. Iglesias | return 0; |
460 | 4acb54ba | Edgar E. Iglesias | } |
461 | 4acb54ba | Edgar E. Iglesias | |
462 | 3aa80988 | Edgar E. Iglesias | void helper_memalign(uint32_t addr, uint32_t dr, uint32_t wr, uint32_t mask)
|
463 | 968a40f6 | Edgar E. Iglesias | { |
464 | 968a40f6 | Edgar E. Iglesias | if (addr & mask) {
|
465 | 97f90cbf | Edgar E. Iglesias | qemu_log_mask(CPU_LOG_INT, |
466 | 97f90cbf | Edgar E. Iglesias | "unaligned access addr=%x mask=%x, wr=%d dr=r%d\n",
|
467 | 97f90cbf | Edgar E. Iglesias | addr, mask, wr, dr); |
468 | 97f90cbf | Edgar E. Iglesias | env->sregs[SR_EAR] = addr; |
469 | 968a40f6 | Edgar E. Iglesias | env->sregs[SR_ESR] = ESR_EC_UNALIGNED_DATA | (wr << 10) \
|
470 | 968a40f6 | Edgar E. Iglesias | | (dr & 31) << 5; |
471 | 3aa80988 | Edgar E. Iglesias | if (mask == 3) { |
472 | 968a40f6 | Edgar E. Iglesias | env->sregs[SR_ESR] |= 1 << 11; |
473 | 968a40f6 | Edgar E. Iglesias | } |
474 | 97f90cbf | Edgar E. Iglesias | if (!(env->sregs[SR_MSR] & MSR_EE)) {
|
475 | 97f90cbf | Edgar E. Iglesias | return;
|
476 | 97f90cbf | Edgar E. Iglesias | } |
477 | 968a40f6 | Edgar E. Iglesias | helper_raise_exception(EXCP_HW_EXCP); |
478 | 968a40f6 | Edgar E. Iglesias | } |
479 | 968a40f6 | Edgar E. Iglesias | } |
480 | 968a40f6 | Edgar E. Iglesias | |
481 | 4acb54ba | Edgar E. Iglesias | #if !defined(CONFIG_USER_ONLY)
|
482 | 4acb54ba | Edgar E. Iglesias | /* Writes/reads to the MMU's special regs end up here. */
|
483 | 4acb54ba | Edgar E. Iglesias | uint32_t helper_mmu_read(uint32_t rn) |
484 | 4acb54ba | Edgar E. Iglesias | { |
485 | 4acb54ba | Edgar E. Iglesias | return mmu_read(env, rn);
|
486 | 4acb54ba | Edgar E. Iglesias | } |
487 | 4acb54ba | Edgar E. Iglesias | |
488 | 4acb54ba | Edgar E. Iglesias | void helper_mmu_write(uint32_t rn, uint32_t v)
|
489 | 4acb54ba | Edgar E. Iglesias | { |
490 | 4acb54ba | Edgar E. Iglesias | mmu_write(env, rn, v); |
491 | 4acb54ba | Edgar E. Iglesias | } |
492 | faed1c2a | Edgar E. Iglesias | |
493 | c227f099 | Anthony Liguori | void do_unassigned_access(target_phys_addr_t addr, int is_write, int is_exec, |
494 | faed1c2a | Edgar E. Iglesias | int is_asi, int size) |
495 | faed1c2a | Edgar E. Iglesias | { |
496 | faed1c2a | Edgar E. Iglesias | CPUState *saved_env; |
497 | e1aa3254 | Edgar E. Iglesias | |
498 | e1aa3254 | Edgar E. Iglesias | if (!cpu_single_env) {
|
499 | e1aa3254 | Edgar E. Iglesias | /* XXX: ??? */
|
500 | e1aa3254 | Edgar E. Iglesias | return;
|
501 | e1aa3254 | Edgar E. Iglesias | } |
502 | e1aa3254 | Edgar E. Iglesias | |
503 | faed1c2a | Edgar E. Iglesias | /* XXX: hack to restore env in all cases, even if not called from
|
504 | faed1c2a | Edgar E. Iglesias | generated code */
|
505 | faed1c2a | Edgar E. Iglesias | saved_env = env; |
506 | faed1c2a | Edgar E. Iglesias | env = cpu_single_env; |
507 | 97f90cbf | Edgar E. Iglesias | qemu_log_mask(CPU_LOG_INT, "Unassigned " TARGET_FMT_plx " wr=%d exe=%d\n", |
508 | faed1c2a | Edgar E. Iglesias | addr, is_write, is_exec); |
509 | faed1c2a | Edgar E. Iglesias | if (!(env->sregs[SR_MSR] & MSR_EE)) {
|
510 | 95b279de | Edgar E. Iglesias | env = saved_env; |
511 | faed1c2a | Edgar E. Iglesias | return;
|
512 | faed1c2a | Edgar E. Iglesias | } |
513 | faed1c2a | Edgar E. Iglesias | |
514 | 97f90cbf | Edgar E. Iglesias | env->sregs[SR_EAR] = addr; |
515 | faed1c2a | Edgar E. Iglesias | if (is_exec) {
|
516 | 97f90cbf | Edgar E. Iglesias | if ((env->pvr.regs[2] & PVR2_IOPB_BUS_EXC_MASK)) { |
517 | faed1c2a | Edgar E. Iglesias | env->sregs[SR_ESR] = ESR_EC_INSN_BUS; |
518 | faed1c2a | Edgar E. Iglesias | helper_raise_exception(EXCP_HW_EXCP); |
519 | faed1c2a | Edgar E. Iglesias | } |
520 | faed1c2a | Edgar E. Iglesias | } else {
|
521 | 97f90cbf | Edgar E. Iglesias | if ((env->pvr.regs[2] & PVR2_DOPB_BUS_EXC_MASK)) { |
522 | faed1c2a | Edgar E. Iglesias | env->sregs[SR_ESR] = ESR_EC_DATA_BUS; |
523 | faed1c2a | Edgar E. Iglesias | helper_raise_exception(EXCP_HW_EXCP); |
524 | faed1c2a | Edgar E. Iglesias | } |
525 | faed1c2a | Edgar E. Iglesias | } |
526 | 95b279de | Edgar E. Iglesias | env = saved_env; |
527 | faed1c2a | Edgar E. Iglesias | } |
528 | 3c7b48b7 | Paul Brook | #endif |