op_helper.c 9.4 KB
Newer Older
B
bellard 已提交
1 2
/*
 *  ARM helper routines
3
 *
P
pbrook 已提交
4
 *  Copyright (c) 2005-2007 CodeSourcery, LLC
B
bellard 已提交
5 6 7 8 9 10 11 12 13 14 15 16
 *
 * This library is free software; you can redistribute it and/or
 * modify it under the terms of the GNU Lesser General Public
 * License as published by the Free Software Foundation; either
 * version 2 of the License, or (at your option) any later version.
 *
 * This library is distributed in the hope that it will be useful,
 * but WITHOUT ANY WARRANTY; without even the implied warranty of
 * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the GNU
 * Lesser General Public License for more details.
 *
 * 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/>.
B
bellard 已提交
18
 */
B
Blue Swirl 已提交
19
#include "cpu.h"
L
Lluís 已提交
20
#include "helper.h"
B
bellard 已提交
21

P
pbrook 已提交
22 23 24
#define SIGNBIT (uint32_t)0x80000000
#define SIGNBIT64 ((uint64_t)1 << 63)

B
Blue Swirl 已提交
25
static void raise_exception(CPUARMState *env, int tt)
B
bellard 已提交
26 27
{
    env->exception_index = tt;
B
Blue Swirl 已提交
28
    cpu_loop_exit(env);
B
bellard 已提交
29 30
}

31
uint32_t HELPER(neon_tbl)(CPUARMState *env, uint32_t ireg, uint32_t def,
P
pbrook 已提交
32
                          uint32_t rn, uint32_t maxindex)
P
pbrook 已提交
33 34 35 36 37 38 39 40 41
{
    uint32_t val;
    uint32_t tmp;
    int index;
    int shift;
    uint64_t *table;
    table = (uint64_t *)&env->vfp.regs[rn];
    val = 0;
    for (shift = 0; shift < 32; shift += 8) {
P
pbrook 已提交
42 43
        index = (ireg >> shift) & 0xff;
        if (index < maxindex) {
P
pbrook 已提交
44
            tmp = (table[index >> 3] >> ((index & 7) << 3)) & 0xff;
P
pbrook 已提交
45 46
            val |= tmp << shift;
        } else {
P
pbrook 已提交
47
            val |= def & (0xff << shift);
P
pbrook 已提交
48 49
        }
    }
P
pbrook 已提交
50
    return val;
P
pbrook 已提交
51 52
}

B
bellard 已提交
53 54
#if !defined(CONFIG_USER_ONLY)

55
#include "exec/softmmu_exec.h"
B
Blue Swirl 已提交
56

B
bellard 已提交
57 58 59
#define MMUSUFFIX _mmu

#define SHIFT 0
60
#include "exec/softmmu_template.h"
B
bellard 已提交
61 62

#define SHIFT 1
63
#include "exec/softmmu_template.h"
B
bellard 已提交
64 65

#define SHIFT 2
66
#include "exec/softmmu_template.h"
B
bellard 已提交
67 68

#define SHIFT 3
69
#include "exec/softmmu_template.h"
B
bellard 已提交
70 71 72 73

/* try to fill the TLB and return an exception if error. If retaddr is
   NULL, it means that the function was called in C code (i.e. not
   from generated code or from helper.c) */
74
void tlb_fill(CPUARMState *env, target_ulong addr, int is_write, int mmu_idx,
75
              uintptr_t retaddr)
B
bellard 已提交
76 77 78
{
    int ret;

79
    ret = cpu_arm_handle_mmu_fault(env, addr, is_write, mmu_idx);
80
    if (unlikely(ret)) {
B
bellard 已提交
81 82
        if (retaddr) {
            /* now we have a real cpu fault */
B
Blue Swirl 已提交
83
            cpu_restore_state(env, retaddr);
B
bellard 已提交
84
        }
B
Blue Swirl 已提交
85
        raise_exception(env, env->exception_index);
B
bellard 已提交
86 87 88
    }
}
#endif
P
pbrook 已提交
89

90
uint32_t HELPER(add_setq)(CPUARMState *env, uint32_t a, uint32_t b)
P
pbrook 已提交
91 92 93 94 95 96 97
{
    uint32_t res = a + b;
    if (((res ^ a) & SIGNBIT) && !((a ^ b) & SIGNBIT))
        env->QF = 1;
    return res;
}

98
uint32_t HELPER(add_saturate)(CPUARMState *env, uint32_t a, uint32_t b)
P
pbrook 已提交
99 100 101 102 103 104 105 106 107
{
    uint32_t res = a + b;
    if (((res ^ a) & SIGNBIT) && !((a ^ b) & SIGNBIT)) {
        env->QF = 1;
        res = ~(((int32_t)a >> 31) ^ SIGNBIT);
    }
    return res;
}

108
uint32_t HELPER(sub_saturate)(CPUARMState *env, uint32_t a, uint32_t b)
P
pbrook 已提交
109 110 111 112 113 114 115 116 117
{
    uint32_t res = a - b;
    if (((res ^ a) & SIGNBIT) && ((a ^ b) & SIGNBIT)) {
        env->QF = 1;
        res = ~(((int32_t)a >> 31) ^ SIGNBIT);
    }
    return res;
}

118
uint32_t HELPER(double_saturate)(CPUARMState *env, int32_t val)
P
pbrook 已提交
119 120 121 122 123 124 125 126 127 128 129 130 131 132
{
    uint32_t res;
    if (val >= 0x40000000) {
        res = ~SIGNBIT;
        env->QF = 1;
    } else if (val <= (int32_t)0xc0000000) {
        res = SIGNBIT;
        env->QF = 1;
    } else {
        res = val << 1;
    }
    return res;
}

133
uint32_t HELPER(add_usaturate)(CPUARMState *env, uint32_t a, uint32_t b)
P
pbrook 已提交
134 135 136 137 138 139 140 141 142
{
    uint32_t res = a + b;
    if (res < a) {
        env->QF = 1;
        res = ~0;
    }
    return res;
}

143
uint32_t HELPER(sub_usaturate)(CPUARMState *env, uint32_t a, uint32_t b)
P
pbrook 已提交
144 145 146 147 148 149 150 151 152
{
    uint32_t res = a - b;
    if (res > a) {
        env->QF = 1;
        res = 0;
    }
    return res;
}

P
pbrook 已提交
153
/* Signed saturation.  */
154
static inline uint32_t do_ssat(CPUARMState *env, int32_t val, int shift)
P
pbrook 已提交
155 156 157 158 159 160 161 162 163 164 165 166 167 168 169 170 171
{
    int32_t top;
    uint32_t mask;

    top = val >> shift;
    mask = (1u << shift) - 1;
    if (top > 0) {
        env->QF = 1;
        return mask;
    } else if (top < -1) {
        env->QF = 1;
        return ~mask;
    }
    return val;
}

/* Unsigned saturation.  */
172
static inline uint32_t do_usat(CPUARMState *env, int32_t val, int shift)
P
pbrook 已提交
173 174 175 176 177 178 179 180 181 182 183 184 185 186 187
{
    uint32_t max;

    max = (1u << shift) - 1;
    if (val < 0) {
        env->QF = 1;
        return 0;
    } else if (val > max) {
        env->QF = 1;
        return max;
    }
    return val;
}

/* Signed saturate.  */
188
uint32_t HELPER(ssat)(CPUARMState *env, uint32_t x, uint32_t shift)
P
pbrook 已提交
189
{
190
    return do_ssat(env, x, shift);
P
pbrook 已提交
191 192 193
}

/* Dual halfword signed saturate.  */
194
uint32_t HELPER(ssat16)(CPUARMState *env, uint32_t x, uint32_t shift)
P
pbrook 已提交
195 196 197
{
    uint32_t res;

198 199
    res = (uint16_t)do_ssat(env, (int16_t)x, shift);
    res |= do_ssat(env, ((int32_t)x) >> 16, shift) << 16;
P
pbrook 已提交
200 201 202 203
    return res;
}

/* Unsigned saturate.  */
204
uint32_t HELPER(usat)(CPUARMState *env, uint32_t x, uint32_t shift)
P
pbrook 已提交
205
{
206
    return do_usat(env, x, shift);
P
pbrook 已提交
207 208 209
}

/* Dual halfword unsigned saturate.  */
210
uint32_t HELPER(usat16)(CPUARMState *env, uint32_t x, uint32_t shift)
P
pbrook 已提交
211 212 213
{
    uint32_t res;

214 215
    res = (uint16_t)do_usat(env, (int16_t)x, shift);
    res |= do_usat(env, ((int32_t)x) >> 16, shift) << 16;
P
pbrook 已提交
216 217
    return res;
}
P
pbrook 已提交
218

B
Blue Swirl 已提交
219
void HELPER(wfi)(CPUARMState *env)
P
pbrook 已提交
220
{
221 222
    CPUState *cs = CPU(arm_env_get_cpu(env));

P
pbrook 已提交
223
    env->exception_index = EXCP_HLT;
224
    cs->halted = 1;
B
Blue Swirl 已提交
225
    cpu_loop_exit(env);
P
pbrook 已提交
226 227
}

B
Blue Swirl 已提交
228
void HELPER(exception)(CPUARMState *env, uint32_t excp)
P
pbrook 已提交
229 230
{
    env->exception_index = excp;
B
Blue Swirl 已提交
231
    cpu_loop_exit(env);
P
pbrook 已提交
232 233
}

234
uint32_t HELPER(cpsr_read)(CPUARMState *env)
P
pbrook 已提交
235 236 237 238
{
    return cpsr_read(env) & ~CPSR_EXEC;
}

B
Blue Swirl 已提交
239
void HELPER(cpsr_write)(CPUARMState *env, uint32_t val, uint32_t mask)
P
pbrook 已提交
240 241 242
{
    cpsr_write(env, val, mask);
}
P
pbrook 已提交
243 244

/* Access to user mode registers from privileged modes.  */
245
uint32_t HELPER(get_user_reg)(CPUARMState *env, uint32_t regno)
P
pbrook 已提交
246 247 248 249 250 251 252 253 254 255 256 257 258 259 260 261
{
    uint32_t val;

    if (regno == 13) {
        val = env->banked_r13[0];
    } else if (regno == 14) {
        val = env->banked_r14[0];
    } else if (regno >= 8
               && (env->uncached_cpsr & 0x1f) == ARM_CPU_MODE_FIQ) {
        val = env->usr_regs[regno - 8];
    } else {
        val = env->regs[regno];
    }
    return val;
}

B
Blue Swirl 已提交
262
void HELPER(set_user_reg)(CPUARMState *env, uint32_t regno, uint32_t val)
P
pbrook 已提交
263 264 265 266 267 268 269 270 271 272 273 274
{
    if (regno == 13) {
        env->banked_r13[0] = val;
    } else if (regno == 14) {
        env->banked_r14[0] = val;
    } else if (regno >= 8
               && (env->uncached_cpsr & 0x1f) == ARM_CPU_MODE_FIQ) {
        env->usr_regs[regno - 8] = val;
    } else {
        env->regs[regno] = val;
    }
}
275

276 277 278 279 280 281 282 283 284 285 286 287 288 289 290 291 292 293
void HELPER(access_check_cp_reg)(CPUARMState *env, void *rip)
{
    const ARMCPRegInfo *ri = rip;
    switch (ri->accessfn(env, ri)) {
    case CP_ACCESS_OK:
        return;
    case CP_ACCESS_TRAP:
    case CP_ACCESS_TRAP_UNCATEGORIZED:
        /* These cases will eventually need to generate different
         * syndrome information.
         */
        break;
    default:
        g_assert_not_reached();
    }
    raise_exception(env, EXCP_UDEF);
}

294 295 296 297 298
void HELPER(set_cp_reg)(CPUARMState *env, void *rip, uint32_t value)
{
    const ARMCPRegInfo *ri = rip;
    int excp = ri->writefn(env, ri, value);
    if (excp) {
B
Blue Swirl 已提交
299
        raise_exception(env, excp);
300 301 302 303 304 305 306 307 308
    }
}

uint32_t HELPER(get_cp_reg)(CPUARMState *env, void *rip)
{
    const ARMCPRegInfo *ri = rip;
    uint64_t value;
    int excp = ri->readfn(env, ri, &value);
    if (excp) {
B
Blue Swirl 已提交
309
        raise_exception(env, excp);
310 311 312 313 314 315 316 317 318
    }
    return value;
}

void HELPER(set_cp_reg64)(CPUARMState *env, void *rip, uint64_t value)
{
    const ARMCPRegInfo *ri = rip;
    int excp = ri->writefn(env, ri, value);
    if (excp) {
B
Blue Swirl 已提交
319
        raise_exception(env, excp);
320 321 322 323 324 325 326 327 328
    }
}

uint64_t HELPER(get_cp_reg64)(CPUARMState *env, void *rip)
{
    const ARMCPRegInfo *ri = rip;
    uint64_t value;
    int excp = ri->readfn(env, ri, &value);
    if (excp) {
B
Blue Swirl 已提交
329
        raise_exception(env, excp);
330 331 332
    }
    return value;
}
P
pbrook 已提交
333

P
pbrook 已提交
334 335 336 337 338 339
/* ??? Flag setting arithmetic is awkward because we need to do comparisons.
   The only way to do that in TCG is a conditional branch, which clobbers
   all our temporaries.  For now implement these as helper functions.  */

/* Similarly for variable shift instructions.  */

340
uint32_t HELPER(shl_cc)(CPUARMState *env, uint32_t x, uint32_t i)
P
pbrook 已提交
341 342 343 344 345 346 347 348 349 350 351 352 353 354 355
{
    int shift = i & 0xff;
    if (shift >= 32) {
        if (shift == 32)
            env->CF = x & 1;
        else
            env->CF = 0;
        return 0;
    } else if (shift != 0) {
        env->CF = (x >> (32 - shift)) & 1;
        return x << shift;
    }
    return x;
}

356
uint32_t HELPER(shr_cc)(CPUARMState *env, uint32_t x, uint32_t i)
P
pbrook 已提交
357 358 359 360 361 362 363 364 365 366 367 368 369 370 371
{
    int shift = i & 0xff;
    if (shift >= 32) {
        if (shift == 32)
            env->CF = (x >> 31) & 1;
        else
            env->CF = 0;
        return 0;
    } else if (shift != 0) {
        env->CF = (x >> (shift - 1)) & 1;
        return x >> shift;
    }
    return x;
}

372
uint32_t HELPER(sar_cc)(CPUARMState *env, uint32_t x, uint32_t i)
P
pbrook 已提交
373 374 375 376 377 378 379 380 381 382 383 384
{
    int shift = i & 0xff;
    if (shift >= 32) {
        env->CF = (x >> 31) & 1;
        return (int32_t)x >> 31;
    } else if (shift != 0) {
        env->CF = (x >> (shift - 1)) & 1;
        return (int32_t)x >> shift;
    }
    return x;
}

385
uint32_t HELPER(ror_cc)(CPUARMState *env, uint32_t x, uint32_t i)
P
pbrook 已提交
386 387 388 389 390 391 392 393 394 395 396 397 398
{
    int shift1, shift;
    shift1 = i & 0xff;
    shift = shift1 & 0x1f;
    if (shift == 0) {
        if (shift1 != 0)
            env->CF = (x >> 31) & 1;
        return x;
    } else {
        env->CF = (x >> (shift - 1)) & 1;
        return ((uint32_t)x >> shift) | (x << (32 - shift));
    }
}