Statistics
| Branch: | Revision:

root / target-arm / op_helper.c @ 601d70b9

History | View | Annotate | Download (12.6 kB)

1 b7bcbe95 bellard
/*
2 b7bcbe95 bellard
 *  ARM helper routines
3 5fafdf24 ths
 *
4 9ee6e8bb pbrook
 *  Copyright (c) 2005-2007 CodeSourcery, LLC
5 b7bcbe95 bellard
 *
6 b7bcbe95 bellard
 * This library is free software; you can redistribute it and/or
7 b7bcbe95 bellard
 * modify it under the terms of the GNU Lesser General Public
8 b7bcbe95 bellard
 * License as published by the Free Software Foundation; either
9 b7bcbe95 bellard
 * version 2 of the License, or (at your option) any later version.
10 b7bcbe95 bellard
 *
11 b7bcbe95 bellard
 * This library is distributed in the hope that it will be useful,
12 b7bcbe95 bellard
 * but WITHOUT ANY WARRANTY; without even the implied warranty of
13 b7bcbe95 bellard
 * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the GNU
14 b7bcbe95 bellard
 * Lesser General Public License for more details.
15 b7bcbe95 bellard
 *
16 b7bcbe95 bellard
 * You should have received a copy of the GNU Lesser General Public
17 b7bcbe95 bellard
 * License along with this library; if not, write to the Free Software
18 b7bcbe95 bellard
 * Foundation, Inc., 59 Temple Place, Suite 330, Boston, MA  02111-1307  USA
19 b7bcbe95 bellard
 */
20 b7bcbe95 bellard
#include "exec.h"
21 1497c961 pbrook
#include "helpers.h"
22 b7bcbe95 bellard
23 ad69471c pbrook
#define SIGNBIT (uint32_t)0x80000000
24 ad69471c pbrook
#define SIGNBIT64 ((uint64_t)1 << 63)
25 ad69471c pbrook
26 b7bcbe95 bellard
void raise_exception(int tt)
27 b7bcbe95 bellard
{
28 b7bcbe95 bellard
    env->exception_index = tt;
29 b7bcbe95 bellard
    cpu_loop_exit();
30 b7bcbe95 bellard
}
31 b7bcbe95 bellard
32 b7bcbe95 bellard
/* thread support */
33 b7bcbe95 bellard
34 b7bcbe95 bellard
spinlock_t global_cpu_lock = SPIN_LOCK_UNLOCKED;
35 b7bcbe95 bellard
36 b7bcbe95 bellard
void cpu_lock(void)
37 b7bcbe95 bellard
{
38 b7bcbe95 bellard
    spin_lock(&global_cpu_lock);
39 b7bcbe95 bellard
}
40 b7bcbe95 bellard
41 b7bcbe95 bellard
void cpu_unlock(void)
42 b7bcbe95 bellard
{
43 b7bcbe95 bellard
    spin_unlock(&global_cpu_lock);
44 b7bcbe95 bellard
}
45 b7bcbe95 bellard
46 8f8e3aa4 pbrook
uint32_t HELPER(neon_tbl)(uint32_t ireg, uint32_t def,
47 8f8e3aa4 pbrook
                          uint32_t rn, uint32_t maxindex)
48 9ee6e8bb pbrook
{
49 9ee6e8bb pbrook
    uint32_t val;
50 9ee6e8bb pbrook
    uint32_t tmp;
51 9ee6e8bb pbrook
    int index;
52 9ee6e8bb pbrook
    int shift;
53 9ee6e8bb pbrook
    uint64_t *table;
54 9ee6e8bb pbrook
    table = (uint64_t *)&env->vfp.regs[rn];
55 9ee6e8bb pbrook
    val = 0;
56 9ee6e8bb pbrook
    for (shift = 0; shift < 32; shift += 8) {
57 8f8e3aa4 pbrook
        index = (ireg >> shift) & 0xff;
58 8f8e3aa4 pbrook
        if (index < maxindex) {
59 9ee6e8bb pbrook
            tmp = (table[index >> 3] >> (index & 7)) & 0xff;
60 9ee6e8bb pbrook
            val |= tmp << shift;
61 9ee6e8bb pbrook
        } else {
62 8f8e3aa4 pbrook
            val |= def & (0xff << shift);
63 9ee6e8bb pbrook
        }
64 9ee6e8bb pbrook
    }
65 8f8e3aa4 pbrook
    return val;
66 9ee6e8bb pbrook
}
67 9ee6e8bb pbrook
68 b5ff1b31 bellard
#if !defined(CONFIG_USER_ONLY)
69 b5ff1b31 bellard
70 b5ff1b31 bellard
#define MMUSUFFIX _mmu
71 273af660 ths
#ifdef __s390__
72 273af660 ths
# define GETPC() ((void*)((unsigned long)__builtin_return_address(0) & 0x7fffffffUL))
73 273af660 ths
#else
74 273af660 ths
# define GETPC() (__builtin_return_address(0))
75 273af660 ths
#endif
76 b5ff1b31 bellard
77 b5ff1b31 bellard
#define SHIFT 0
78 b5ff1b31 bellard
#include "softmmu_template.h"
79 b5ff1b31 bellard
80 b5ff1b31 bellard
#define SHIFT 1
81 b5ff1b31 bellard
#include "softmmu_template.h"
82 b5ff1b31 bellard
83 b5ff1b31 bellard
#define SHIFT 2
84 b5ff1b31 bellard
#include "softmmu_template.h"
85 b5ff1b31 bellard
86 b5ff1b31 bellard
#define SHIFT 3
87 b5ff1b31 bellard
#include "softmmu_template.h"
88 b5ff1b31 bellard
89 b5ff1b31 bellard
/* try to fill the TLB and return an exception if error. If retaddr is
90 b5ff1b31 bellard
   NULL, it means that the function was called in C code (i.e. not
91 b5ff1b31 bellard
   from generated code or from helper.c) */
92 b5ff1b31 bellard
/* XXX: fix it to restore all registers */
93 6ebbf390 j_mayer
void tlb_fill (target_ulong addr, int is_write, int mmu_idx, void *retaddr)
94 b5ff1b31 bellard
{
95 b5ff1b31 bellard
    TranslationBlock *tb;
96 b5ff1b31 bellard
    CPUState *saved_env;
97 44f8625d bellard
    unsigned long pc;
98 b5ff1b31 bellard
    int ret;
99 b5ff1b31 bellard
100 b5ff1b31 bellard
    /* XXX: hack to restore env in all cases, even if not called from
101 b5ff1b31 bellard
       generated code */
102 b5ff1b31 bellard
    saved_env = env;
103 b5ff1b31 bellard
    env = cpu_single_env;
104 6ebbf390 j_mayer
    ret = cpu_arm_handle_mmu_fault(env, addr, is_write, mmu_idx, 1);
105 b5ff1b31 bellard
    if (__builtin_expect(ret, 0)) {
106 b5ff1b31 bellard
        if (retaddr) {
107 b5ff1b31 bellard
            /* now we have a real cpu fault */
108 44f8625d bellard
            pc = (unsigned long)retaddr;
109 b5ff1b31 bellard
            tb = tb_find_pc(pc);
110 b5ff1b31 bellard
            if (tb) {
111 b5ff1b31 bellard
                /* the PC is inside the translated code. It means that we have
112 b5ff1b31 bellard
                   a virtual CPU fault */
113 b5ff1b31 bellard
                cpu_restore_state(tb, env, pc, NULL);
114 b5ff1b31 bellard
            }
115 b5ff1b31 bellard
        }
116 b5ff1b31 bellard
        raise_exception(env->exception_index);
117 b5ff1b31 bellard
    }
118 b5ff1b31 bellard
    env = saved_env;
119 b5ff1b31 bellard
}
120 b5ff1b31 bellard
#endif
121 1497c961 pbrook
122 ad69471c pbrook
/* FIXME: Pass an axplicit pointer to QF to CPUState, and move saturating
123 ad69471c pbrook
   instructions into helper.c  */
124 1497c961 pbrook
uint32_t HELPER(add_setq)(uint32_t a, uint32_t b)
125 1497c961 pbrook
{
126 1497c961 pbrook
    uint32_t res = a + b;
127 1497c961 pbrook
    if (((res ^ a) & SIGNBIT) && !((a ^ b) & SIGNBIT))
128 1497c961 pbrook
        env->QF = 1;
129 1497c961 pbrook
    return res;
130 1497c961 pbrook
}
131 1497c961 pbrook
132 1497c961 pbrook
uint32_t HELPER(add_saturate)(uint32_t a, uint32_t b)
133 1497c961 pbrook
{
134 1497c961 pbrook
    uint32_t res = a + b;
135 1497c961 pbrook
    if (((res ^ a) & SIGNBIT) && !((a ^ b) & SIGNBIT)) {
136 1497c961 pbrook
        env->QF = 1;
137 1497c961 pbrook
        res = ~(((int32_t)a >> 31) ^ SIGNBIT);
138 1497c961 pbrook
    }
139 1497c961 pbrook
    return res;
140 1497c961 pbrook
}
141 1497c961 pbrook
142 1497c961 pbrook
uint32_t HELPER(sub_saturate)(uint32_t a, uint32_t b)
143 1497c961 pbrook
{
144 1497c961 pbrook
    uint32_t res = a - b;
145 1497c961 pbrook
    if (((res ^ a) & SIGNBIT) && ((a ^ b) & SIGNBIT)) {
146 1497c961 pbrook
        env->QF = 1;
147 1497c961 pbrook
        res = ~(((int32_t)a >> 31) ^ SIGNBIT);
148 1497c961 pbrook
    }
149 1497c961 pbrook
    return res;
150 1497c961 pbrook
}
151 1497c961 pbrook
152 1497c961 pbrook
uint32_t HELPER(double_saturate)(int32_t val)
153 1497c961 pbrook
{
154 1497c961 pbrook
    uint32_t res;
155 1497c961 pbrook
    if (val >= 0x40000000) {
156 1497c961 pbrook
        res = ~SIGNBIT;
157 1497c961 pbrook
        env->QF = 1;
158 1497c961 pbrook
    } else if (val <= (int32_t)0xc0000000) {
159 1497c961 pbrook
        res = SIGNBIT;
160 1497c961 pbrook
        env->QF = 1;
161 1497c961 pbrook
    } else {
162 1497c961 pbrook
        res = val << 1;
163 1497c961 pbrook
    }
164 1497c961 pbrook
    return res;
165 1497c961 pbrook
}
166 1497c961 pbrook
167 1497c961 pbrook
uint32_t HELPER(add_usaturate)(uint32_t a, uint32_t b)
168 1497c961 pbrook
{
169 1497c961 pbrook
    uint32_t res = a + b;
170 1497c961 pbrook
    if (res < a) {
171 1497c961 pbrook
        env->QF = 1;
172 1497c961 pbrook
        res = ~0;
173 1497c961 pbrook
    }
174 1497c961 pbrook
    return res;
175 1497c961 pbrook
}
176 1497c961 pbrook
177 1497c961 pbrook
uint32_t HELPER(sub_usaturate)(uint32_t a, uint32_t b)
178 1497c961 pbrook
{
179 1497c961 pbrook
    uint32_t res = a - b;
180 1497c961 pbrook
    if (res > a) {
181 1497c961 pbrook
        env->QF = 1;
182 1497c961 pbrook
        res = 0;
183 1497c961 pbrook
    }
184 1497c961 pbrook
    return res;
185 1497c961 pbrook
}
186 1497c961 pbrook
187 6ddbc6e4 pbrook
/* Signed saturation.  */
188 6ddbc6e4 pbrook
static inline uint32_t do_ssat(int32_t val, int shift)
189 6ddbc6e4 pbrook
{
190 6ddbc6e4 pbrook
    int32_t top;
191 6ddbc6e4 pbrook
    uint32_t mask;
192 6ddbc6e4 pbrook
193 6ddbc6e4 pbrook
    shift = PARAM1;
194 6ddbc6e4 pbrook
    top = val >> shift;
195 6ddbc6e4 pbrook
    mask = (1u << shift) - 1;
196 6ddbc6e4 pbrook
    if (top > 0) {
197 6ddbc6e4 pbrook
        env->QF = 1;
198 6ddbc6e4 pbrook
        return mask;
199 6ddbc6e4 pbrook
    } else if (top < -1) {
200 6ddbc6e4 pbrook
        env->QF = 1;
201 6ddbc6e4 pbrook
        return ~mask;
202 6ddbc6e4 pbrook
    }
203 6ddbc6e4 pbrook
    return val;
204 6ddbc6e4 pbrook
}
205 6ddbc6e4 pbrook
206 6ddbc6e4 pbrook
/* Unsigned saturation.  */
207 6ddbc6e4 pbrook
static inline uint32_t do_usat(int32_t val, int shift)
208 6ddbc6e4 pbrook
{
209 6ddbc6e4 pbrook
    uint32_t max;
210 6ddbc6e4 pbrook
211 6ddbc6e4 pbrook
    shift = PARAM1;
212 6ddbc6e4 pbrook
    max = (1u << shift) - 1;
213 6ddbc6e4 pbrook
    if (val < 0) {
214 6ddbc6e4 pbrook
        env->QF = 1;
215 6ddbc6e4 pbrook
        return 0;
216 6ddbc6e4 pbrook
    } else if (val > max) {
217 6ddbc6e4 pbrook
        env->QF = 1;
218 6ddbc6e4 pbrook
        return max;
219 6ddbc6e4 pbrook
    }
220 6ddbc6e4 pbrook
    return val;
221 6ddbc6e4 pbrook
}
222 6ddbc6e4 pbrook
223 6ddbc6e4 pbrook
/* Signed saturate.  */
224 6ddbc6e4 pbrook
uint32_t HELPER(ssat)(uint32_t x, uint32_t shift)
225 6ddbc6e4 pbrook
{
226 6ddbc6e4 pbrook
    return do_ssat(x, shift);
227 6ddbc6e4 pbrook
}
228 6ddbc6e4 pbrook
229 6ddbc6e4 pbrook
/* Dual halfword signed saturate.  */
230 6ddbc6e4 pbrook
uint32_t HELPER(ssat16)(uint32_t x, uint32_t shift)
231 6ddbc6e4 pbrook
{
232 6ddbc6e4 pbrook
    uint32_t res;
233 6ddbc6e4 pbrook
234 6ddbc6e4 pbrook
    res = (uint16_t)do_ssat((int16_t)x, shift);
235 6ddbc6e4 pbrook
    res |= do_ssat(((int32_t)x) >> 16, shift) << 16;
236 6ddbc6e4 pbrook
    return res;
237 6ddbc6e4 pbrook
}
238 6ddbc6e4 pbrook
239 6ddbc6e4 pbrook
/* Unsigned saturate.  */
240 6ddbc6e4 pbrook
uint32_t HELPER(usat)(uint32_t x, uint32_t shift)
241 6ddbc6e4 pbrook
{
242 6ddbc6e4 pbrook
    return do_usat(x, shift);
243 6ddbc6e4 pbrook
}
244 6ddbc6e4 pbrook
245 6ddbc6e4 pbrook
/* Dual halfword unsigned saturate.  */
246 6ddbc6e4 pbrook
uint32_t HELPER(usat16)(uint32_t x, uint32_t shift)
247 6ddbc6e4 pbrook
{
248 6ddbc6e4 pbrook
    uint32_t res;
249 6ddbc6e4 pbrook
250 6ddbc6e4 pbrook
    res = (uint16_t)do_usat((int16_t)x, shift);
251 6ddbc6e4 pbrook
    res |= do_usat(((int32_t)x) >> 16, shift) << 16;
252 6ddbc6e4 pbrook
    return res;
253 6ddbc6e4 pbrook
}
254 d9ba4830 pbrook
255 d9ba4830 pbrook
void HELPER(wfi)(void)
256 d9ba4830 pbrook
{
257 d9ba4830 pbrook
    env->exception_index = EXCP_HLT;
258 d9ba4830 pbrook
    env->halted = 1;
259 d9ba4830 pbrook
    cpu_loop_exit();
260 d9ba4830 pbrook
}
261 d9ba4830 pbrook
262 d9ba4830 pbrook
void HELPER(exception)(uint32_t excp)
263 d9ba4830 pbrook
{
264 d9ba4830 pbrook
    env->exception_index = excp;
265 d9ba4830 pbrook
    cpu_loop_exit();
266 d9ba4830 pbrook
}
267 d9ba4830 pbrook
268 d9ba4830 pbrook
uint32_t HELPER(cpsr_read)(void)
269 d9ba4830 pbrook
{
270 d9ba4830 pbrook
    return cpsr_read(env) & ~CPSR_EXEC;
271 d9ba4830 pbrook
}
272 d9ba4830 pbrook
273 d9ba4830 pbrook
void HELPER(cpsr_write)(uint32_t val, uint32_t mask)
274 d9ba4830 pbrook
{
275 d9ba4830 pbrook
    cpsr_write(env, val, mask);
276 d9ba4830 pbrook
}
277 b0109805 pbrook
278 b0109805 pbrook
/* Access to user mode registers from privileged modes.  */
279 b0109805 pbrook
uint32_t HELPER(get_user_reg)(uint32_t regno)
280 b0109805 pbrook
{
281 b0109805 pbrook
    uint32_t val;
282 b0109805 pbrook
283 b0109805 pbrook
    if (regno == 13) {
284 b0109805 pbrook
        val = env->banked_r13[0];
285 b0109805 pbrook
    } else if (regno == 14) {
286 b0109805 pbrook
        val = env->banked_r14[0];
287 b0109805 pbrook
    } else if (regno >= 8
288 b0109805 pbrook
               && (env->uncached_cpsr & 0x1f) == ARM_CPU_MODE_FIQ) {
289 b0109805 pbrook
        val = env->usr_regs[regno - 8];
290 b0109805 pbrook
    } else {
291 b0109805 pbrook
        val = env->regs[regno];
292 b0109805 pbrook
    }
293 b0109805 pbrook
    return val;
294 b0109805 pbrook
}
295 b0109805 pbrook
296 b0109805 pbrook
void HELPER(set_user_reg)(uint32_t regno, uint32_t val)
297 b0109805 pbrook
{
298 b0109805 pbrook
    if (regno == 13) {
299 b0109805 pbrook
        env->banked_r13[0] = val;
300 b0109805 pbrook
    } else if (regno == 14) {
301 b0109805 pbrook
        env->banked_r14[0] = val;
302 b0109805 pbrook
    } else if (regno >= 8
303 b0109805 pbrook
               && (env->uncached_cpsr & 0x1f) == ARM_CPU_MODE_FIQ) {
304 b0109805 pbrook
        env->usr_regs[regno - 8] = val;
305 b0109805 pbrook
    } else {
306 b0109805 pbrook
        env->regs[regno] = val;
307 b0109805 pbrook
    }
308 b0109805 pbrook
}
309 b0109805 pbrook
310 8984bd2e pbrook
/* ??? Flag setting arithmetic is awkward because we need to do comparisons.
311 8984bd2e pbrook
   The only way to do that in TCG is a conditional branch, which clobbers
312 8984bd2e pbrook
   all our temporaries.  For now implement these as helper functions.  */
313 8984bd2e pbrook
314 8984bd2e pbrook
uint32_t HELPER (add_cc)(uint32_t a, uint32_t b)
315 8984bd2e pbrook
{
316 8984bd2e pbrook
    uint32_t result;
317 8984bd2e pbrook
    result = T0 + T1;
318 6fbe23d5 pbrook
    env->NF = env->ZF = result;
319 8984bd2e pbrook
    env->CF = result < a;
320 8984bd2e pbrook
    env->VF = (a ^ b ^ -1) & (a ^ result);
321 8984bd2e pbrook
    return result;
322 8984bd2e pbrook
}
323 8984bd2e pbrook
324 8984bd2e pbrook
uint32_t HELPER(adc_cc)(uint32_t a, uint32_t b)
325 8984bd2e pbrook
{
326 8984bd2e pbrook
    uint32_t result;
327 8984bd2e pbrook
    if (!env->CF) {
328 8984bd2e pbrook
        result = a + b;
329 8984bd2e pbrook
        env->CF = result < a;
330 8984bd2e pbrook
    } else {
331 8984bd2e pbrook
        result = a + b + 1;
332 8984bd2e pbrook
        env->CF = result <= a;
333 8984bd2e pbrook
    }
334 8984bd2e pbrook
    env->VF = (a ^ b ^ -1) & (a ^ result);
335 6fbe23d5 pbrook
    env->NF = env->ZF = result;
336 8984bd2e pbrook
    return result;
337 8984bd2e pbrook
}
338 8984bd2e pbrook
339 8984bd2e pbrook
uint32_t HELPER(sub_cc)(uint32_t a, uint32_t b)
340 8984bd2e pbrook
{
341 8984bd2e pbrook
    uint32_t result;
342 8984bd2e pbrook
    result = a - b;
343 6fbe23d5 pbrook
    env->NF = env->ZF = result;
344 8984bd2e pbrook
    env->CF = a >= b;
345 8984bd2e pbrook
    env->VF = (a ^ b) & (a ^ result);
346 8984bd2e pbrook
    return result;
347 8984bd2e pbrook
}
348 8984bd2e pbrook
349 8984bd2e pbrook
uint32_t HELPER(sbc_cc)(uint32_t a, uint32_t b)
350 8984bd2e pbrook
{
351 8984bd2e pbrook
    uint32_t result;
352 8984bd2e pbrook
    if (!env->CF) {
353 8984bd2e pbrook
        result = a - b - 1;
354 8984bd2e pbrook
        env->CF = a > b;
355 8984bd2e pbrook
    } else {
356 8984bd2e pbrook
        result = a - b;
357 8984bd2e pbrook
        env->CF = a >= b;
358 8984bd2e pbrook
    }
359 8984bd2e pbrook
    env->VF = (a ^ b) & (a ^ result);
360 6fbe23d5 pbrook
    env->NF = env->ZF = result;
361 8984bd2e pbrook
    return result;
362 8984bd2e pbrook
}
363 8984bd2e pbrook
364 8984bd2e pbrook
/* Similarly for variable shift instructions.  */
365 8984bd2e pbrook
366 8984bd2e pbrook
uint32_t HELPER(shl)(uint32_t x, uint32_t i)
367 8984bd2e pbrook
{
368 8984bd2e pbrook
    int shift = i & 0xff;
369 8984bd2e pbrook
    if (shift >= 32)
370 8984bd2e pbrook
        return 0;
371 8984bd2e pbrook
    return x << shift;
372 8984bd2e pbrook
}
373 8984bd2e pbrook
374 8984bd2e pbrook
uint32_t HELPER(shr)(uint32_t x, uint32_t i)
375 8984bd2e pbrook
{
376 8984bd2e pbrook
    int shift = i & 0xff;
377 8984bd2e pbrook
    if (shift >= 32)
378 8984bd2e pbrook
        return 0;
379 8984bd2e pbrook
    return (uint32_t)x >> shift;
380 8984bd2e pbrook
}
381 8984bd2e pbrook
382 8984bd2e pbrook
uint32_t HELPER(sar)(uint32_t x, uint32_t i)
383 8984bd2e pbrook
{
384 8984bd2e pbrook
    int shift = i & 0xff;
385 8984bd2e pbrook
    if (shift >= 32)
386 8984bd2e pbrook
        shift = 31;
387 8984bd2e pbrook
    return (int32_t)x >> shift;
388 8984bd2e pbrook
}
389 8984bd2e pbrook
390 8984bd2e pbrook
uint32_t HELPER(ror)(uint32_t x, uint32_t i)
391 8984bd2e pbrook
{
392 8984bd2e pbrook
    int shift = i & 0xff;
393 8984bd2e pbrook
    if (shift == 0)
394 8984bd2e pbrook
        return x;
395 8984bd2e pbrook
    return (x >> shift) | (x << (32 - shift));
396 8984bd2e pbrook
}
397 8984bd2e pbrook
398 8984bd2e pbrook
uint32_t HELPER(shl_cc)(uint32_t x, uint32_t i)
399 8984bd2e pbrook
{
400 8984bd2e pbrook
    int shift = i & 0xff;
401 8984bd2e pbrook
    if (shift >= 32) {
402 8984bd2e pbrook
        if (shift == 32)
403 8984bd2e pbrook
            env->CF = x & 1;
404 8984bd2e pbrook
        else
405 8984bd2e pbrook
            env->CF = 0;
406 8984bd2e pbrook
        return 0;
407 8984bd2e pbrook
    } else if (shift != 0) {
408 8984bd2e pbrook
        env->CF = (x >> (32 - shift)) & 1;
409 8984bd2e pbrook
        return x << shift;
410 8984bd2e pbrook
    }
411 8984bd2e pbrook
    return x;
412 8984bd2e pbrook
}
413 8984bd2e pbrook
414 8984bd2e pbrook
uint32_t HELPER(shr_cc)(uint32_t x, uint32_t i)
415 8984bd2e pbrook
{
416 8984bd2e pbrook
    int shift = i & 0xff;
417 8984bd2e pbrook
    if (shift >= 32) {
418 8984bd2e pbrook
        if (shift == 32)
419 8984bd2e pbrook
            env->CF = (x >> 31) & 1;
420 8984bd2e pbrook
        else
421 8984bd2e pbrook
            env->CF = 0;
422 8984bd2e pbrook
        return 0;
423 8984bd2e pbrook
    } else if (shift != 0) {
424 8984bd2e pbrook
        env->CF = (x >> (shift - 1)) & 1;
425 8984bd2e pbrook
        return x >> shift;
426 8984bd2e pbrook
    }
427 8984bd2e pbrook
    return x;
428 8984bd2e pbrook
}
429 8984bd2e pbrook
430 8984bd2e pbrook
uint32_t HELPER(sar_cc)(uint32_t x, uint32_t i)
431 8984bd2e pbrook
{
432 8984bd2e pbrook
    int shift = i & 0xff;
433 8984bd2e pbrook
    if (shift >= 32) {
434 8984bd2e pbrook
        env->CF = (x >> 31) & 1;
435 8984bd2e pbrook
        return (int32_t)x >> 31;
436 8984bd2e pbrook
    } else if (shift != 0) {
437 8984bd2e pbrook
        env->CF = (x >> (shift - 1)) & 1;
438 8984bd2e pbrook
        return (int32_t)x >> shift;
439 8984bd2e pbrook
    }
440 8984bd2e pbrook
    return x;
441 8984bd2e pbrook
}
442 8984bd2e pbrook
443 8984bd2e pbrook
uint32_t HELPER(ror_cc)(uint32_t x, uint32_t i)
444 8984bd2e pbrook
{
445 8984bd2e pbrook
    int shift1, shift;
446 8984bd2e pbrook
    shift1 = i & 0xff;
447 8984bd2e pbrook
    shift = shift1 & 0x1f;
448 8984bd2e pbrook
    if (shift == 0) {
449 8984bd2e pbrook
        if (shift1 != 0)
450 8984bd2e pbrook
            env->CF = (x >> 31) & 1;
451 8984bd2e pbrook
        return x;
452 8984bd2e pbrook
    } else {
453 8984bd2e pbrook
        env->CF = (x >> (shift - 1)) & 1;
454 8984bd2e pbrook
        return ((uint32_t)x >> shift) | (x << (32 - shift));
455 8984bd2e pbrook
    }
456 8984bd2e pbrook
}
457 8984bd2e pbrook
458 ad69471c pbrook
uint64_t HELPER(neon_add_saturate_s64)(uint64_t src1, uint64_t src2)
459 ad69471c pbrook
{
460 ad69471c pbrook
    uint64_t res;
461 ad69471c pbrook
462 ad69471c pbrook
    res = src1 + src2;
463 ad69471c pbrook
    if (((res ^ src1) & SIGNBIT64) && !((src1 ^ src2) & SIGNBIT64)) {
464 ad69471c pbrook
        env->QF = 1;
465 ad69471c pbrook
        res = ((int64_t)src1 >> 63) ^ ~SIGNBIT64;
466 ad69471c pbrook
    }
467 ad69471c pbrook
    return res;
468 ad69471c pbrook
}
469 ad69471c pbrook
470 ad69471c pbrook
uint64_t HELPER(neon_add_saturate_u64)(uint64_t src1, uint64_t src2)
471 ad69471c pbrook
{
472 ad69471c pbrook
    uint64_t res;
473 ad69471c pbrook
474 ad69471c pbrook
    res = src1 + src2;
475 ad69471c pbrook
    if (res < src1) {
476 ad69471c pbrook
        env->QF = 1;
477 ad69471c pbrook
        res = ~(uint64_t)0;
478 ad69471c pbrook
    }
479 ad69471c pbrook
    return res;
480 ad69471c pbrook
}
481 ad69471c pbrook
482 ad69471c pbrook
uint64_t HELPER(neon_sub_saturate_s64)(uint64_t src1, uint64_t src2)
483 ad69471c pbrook
{
484 ad69471c pbrook
    uint64_t res;
485 ad69471c pbrook
486 ad69471c pbrook
    res = src1 - src2;
487 ad69471c pbrook
    if (((res ^ src1) & SIGNBIT64) && ((src1 ^ src2) & SIGNBIT64)) {
488 ad69471c pbrook
        env->QF = 1;
489 ad69471c pbrook
        res = ((int64_t)src1 >> 63) ^ ~SIGNBIT64;
490 ad69471c pbrook
    }
491 ad69471c pbrook
    return res;
492 ad69471c pbrook
}
493 ad69471c pbrook
494 ad69471c pbrook
uint64_t HELPER(neon_sub_saturate_u64)(uint64_t src1, uint64_t src2)
495 ad69471c pbrook
{
496 ad69471c pbrook
    uint64_t res;
497 ad69471c pbrook
498 ad69471c pbrook
    if (src1 < src2) {
499 ad69471c pbrook
        env->QF = 1;
500 ad69471c pbrook
        res = 0;
501 ad69471c pbrook
    } else {
502 ad69471c pbrook
        res = src1 - src2;
503 ad69471c pbrook
    }
504 ad69471c pbrook
    return res;
505 ad69471c pbrook
}
506 ad69471c pbrook
507 ad69471c pbrook
/* These need to return a pair of value, so still use T0/T1.  */
508 ad69471c pbrook
/* Transpose.  Argument order is rather strange to avoid special casing
509 ad69471c pbrook
   the tranlation code.
510 ad69471c pbrook
   On input T0 = rm, T1 = rd.  On output T0 = rd, T1 = rm  */
511 ad69471c pbrook
void HELPER(neon_trn_u8)(void)
512 ad69471c pbrook
{
513 ad69471c pbrook
    uint32_t rd;
514 ad69471c pbrook
    uint32_t rm;
515 ad69471c pbrook
    rd = ((T0 & 0x00ff00ff) << 8) | (T1 & 0x00ff00ff);
516 ad69471c pbrook
    rm = ((T1 & 0xff00ff00) >> 8) | (T0 & 0xff00ff00);
517 ad69471c pbrook
    T0 = rd;
518 ad69471c pbrook
    T1 = rm;
519 ad69471c pbrook
    FORCE_RET();
520 ad69471c pbrook
}
521 ad69471c pbrook
522 ad69471c pbrook
void HELPER(neon_trn_u16)(void)
523 ad69471c pbrook
{
524 ad69471c pbrook
    uint32_t rd;
525 ad69471c pbrook
    uint32_t rm;
526 ad69471c pbrook
    rd = (T0 << 16) | (T1 & 0xffff);
527 ad69471c pbrook
    rm = (T1 >> 16) | (T0 & 0xffff0000);
528 ad69471c pbrook
    T0 = rd;
529 ad69471c pbrook
    T1 = rm;
530 ad69471c pbrook
    FORCE_RET();
531 ad69471c pbrook
}
532 ad69471c pbrook
533 ad69471c pbrook
/* Worker routines for zip and unzip.  */
534 ad69471c pbrook
void HELPER(neon_unzip_u8)(void)
535 ad69471c pbrook
{
536 ad69471c pbrook
    uint32_t rd;
537 ad69471c pbrook
    uint32_t rm;
538 ad69471c pbrook
    rd = (T0 & 0xff) | ((T0 >> 8) & 0xff00)
539 ad69471c pbrook
         | ((T1 << 16) & 0xff0000) | ((T1 << 8) & 0xff000000);
540 ad69471c pbrook
    rm = ((T0 >> 8) & 0xff) | ((T0 >> 16) & 0xff00)
541 ad69471c pbrook
         | ((T1 << 8) & 0xff0000) | (T1 & 0xff000000);
542 ad69471c pbrook
    T0 = rd;
543 ad69471c pbrook
    T1 = rm;
544 ad69471c pbrook
    FORCE_RET();
545 ad69471c pbrook
}
546 ad69471c pbrook
547 ad69471c pbrook
void HELPER(neon_zip_u8)(void)
548 ad69471c pbrook
{
549 ad69471c pbrook
    uint32_t rd;
550 ad69471c pbrook
    uint32_t rm;
551 ad69471c pbrook
    rd = (T0 & 0xff) | ((T1 << 8) & 0xff00)
552 ad69471c pbrook
         | ((T0 << 16) & 0xff0000) | ((T1 << 24) & 0xff000000);
553 ad69471c pbrook
    rm = ((T0 >> 16) & 0xff) | ((T1 >> 8) & 0xff00)
554 ad69471c pbrook
         | ((T0 >> 8) & 0xff0000) | (T1 & 0xff000000);
555 ad69471c pbrook
    T0 = rd;
556 ad69471c pbrook
    T1 = rm;
557 ad69471c pbrook
    FORCE_RET();
558 ad69471c pbrook
}
559 ad69471c pbrook
560 ad69471c pbrook
void HELPER(neon_zip_u16)(void)
561 ad69471c pbrook
{
562 ad69471c pbrook
    uint32_t tmp;
563 ad69471c pbrook
564 ad69471c pbrook
    tmp = (T0 & 0xffff) | (T1 << 16);
565 ad69471c pbrook
    T1 = (T1 & 0xffff0000) | (T0 >> 16);
566 ad69471c pbrook
    T0 = tmp;
567 ad69471c pbrook
    FORCE_RET();
568 ad69471c pbrook
}