op_helper.c 12.6 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"
20
#include "exec/helper-proto.h"
21
#include "internals.h"
P
Paolo Bonzini 已提交
22
#include "exec/cpu_ldst.h"
B
bellard 已提交
23

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

B
Blue Swirl 已提交
27
static void raise_exception(CPUARMState *env, int tt)
B
bellard 已提交
28
{
29 30 31 32
    ARMCPU *cpu = arm_env_get_cpu(env);
    CPUState *cs = CPU(cpu);

    cs->exception_index = tt;
33
    cpu_loop_exit(cs);
B
bellard 已提交
34 35
}

36
uint32_t HELPER(neon_tbl)(CPUARMState *env, uint32_t ireg, uint32_t def,
P
pbrook 已提交
37
                          uint32_t rn, uint32_t maxindex)
P
pbrook 已提交
38 39 40 41 42 43 44 45 46
{
    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 已提交
47 48
        index = (ireg >> shift) & 0xff;
        if (index < maxindex) {
P
pbrook 已提交
49
            tmp = (table[index >> 3] >> ((index & 7) << 3)) & 0xff;
P
pbrook 已提交
50 51
            val |= tmp << shift;
        } else {
P
pbrook 已提交
52
            val |= def & (0xff << shift);
P
pbrook 已提交
53 54
        }
    }
P
pbrook 已提交
55
    return val;
P
pbrook 已提交
56 57
}

B
bellard 已提交
58 59 60
#if !defined(CONFIG_USER_ONLY)

/* try to fill the TLB and return an exception if error. If retaddr is
61 62 63 64
 * NULL, it means that the function was called in C code (i.e. not
 * from generated code or from helper.c)
 */
void tlb_fill(CPUState *cs, target_ulong addr, int is_write, int mmu_idx,
65
              uintptr_t retaddr)
B
bellard 已提交
66 67 68
{
    int ret;

69
    ret = arm_cpu_handle_mmu_fault(cs, addr, is_write, mmu_idx);
70
    if (unlikely(ret)) {
71 72 73
        ARMCPU *cpu = ARM_CPU(cs);
        CPUARMState *env = &cpu->env;

B
bellard 已提交
74 75
        if (retaddr) {
            /* now we have a real cpu fault */
76
            cpu_restore_state(cs, retaddr);
B
bellard 已提交
77
        }
78
        raise_exception(env, cs->exception_index);
B
bellard 已提交
79 80 81
    }
}
#endif
P
pbrook 已提交
82

83
uint32_t HELPER(add_setq)(CPUARMState *env, uint32_t a, uint32_t b)
P
pbrook 已提交
84 85 86 87 88 89 90
{
    uint32_t res = a + b;
    if (((res ^ a) & SIGNBIT) && !((a ^ b) & SIGNBIT))
        env->QF = 1;
    return res;
}

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

101
uint32_t HELPER(sub_saturate)(CPUARMState *env, uint32_t a, uint32_t b)
P
pbrook 已提交
102 103 104 105 106 107 108 109 110
{
    uint32_t res = a - b;
    if (((res ^ a) & SIGNBIT) && ((a ^ b) & SIGNBIT)) {
        env->QF = 1;
        res = ~(((int32_t)a >> 31) ^ SIGNBIT);
    }
    return res;
}

111
uint32_t HELPER(double_saturate)(CPUARMState *env, int32_t val)
P
pbrook 已提交
112 113 114 115 116 117 118 119 120 121 122 123 124 125
{
    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;
}

126
uint32_t HELPER(add_usaturate)(CPUARMState *env, uint32_t a, uint32_t b)
P
pbrook 已提交
127 128 129 130 131 132 133 134 135
{
    uint32_t res = a + b;
    if (res < a) {
        env->QF = 1;
        res = ~0;
    }
    return res;
}

136
uint32_t HELPER(sub_usaturate)(CPUARMState *env, uint32_t a, uint32_t b)
P
pbrook 已提交
137 138 139 140 141 142 143 144 145
{
    uint32_t res = a - b;
    if (res > a) {
        env->QF = 1;
        res = 0;
    }
    return res;
}

P
pbrook 已提交
146
/* Signed saturation.  */
147
static inline uint32_t do_ssat(CPUARMState *env, int32_t val, int shift)
P
pbrook 已提交
148 149 150 151 152 153 154 155 156 157 158 159 160 161 162 163 164
{
    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.  */
165
static inline uint32_t do_usat(CPUARMState *env, int32_t val, int shift)
P
pbrook 已提交
166 167 168 169 170 171 172 173 174 175 176 177 178 179 180
{
    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.  */
181
uint32_t HELPER(ssat)(CPUARMState *env, uint32_t x, uint32_t shift)
P
pbrook 已提交
182
{
183
    return do_ssat(env, x, shift);
P
pbrook 已提交
184 185 186
}

/* Dual halfword signed saturate.  */
187
uint32_t HELPER(ssat16)(CPUARMState *env, uint32_t x, uint32_t shift)
P
pbrook 已提交
188 189 190
{
    uint32_t res;

191 192
    res = (uint16_t)do_ssat(env, (int16_t)x, shift);
    res |= do_ssat(env, ((int32_t)x) >> 16, shift) << 16;
P
pbrook 已提交
193 194 195 196
    return res;
}

/* Unsigned saturate.  */
197
uint32_t HELPER(usat)(CPUARMState *env, uint32_t x, uint32_t shift)
P
pbrook 已提交
198
{
199
    return do_usat(env, x, shift);
P
pbrook 已提交
200 201 202
}

/* Dual halfword unsigned saturate.  */
203
uint32_t HELPER(usat16)(CPUARMState *env, uint32_t x, uint32_t shift)
P
pbrook 已提交
204 205 206
{
    uint32_t res;

207 208
    res = (uint16_t)do_usat(env, (int16_t)x, shift);
    res |= do_usat(env, ((int32_t)x) >> 16, shift) << 16;
P
pbrook 已提交
209 210
    return res;
}
P
pbrook 已提交
211

B
Blue Swirl 已提交
212
void HELPER(wfi)(CPUARMState *env)
P
pbrook 已提交
213
{
214 215
    CPUState *cs = CPU(arm_env_get_cpu(env));

216
    cs->exception_index = EXCP_HLT;
217
    cs->halted = 1;
218
    cpu_loop_exit(cs);
P
pbrook 已提交
219 220
}

221 222
void HELPER(wfe)(CPUARMState *env)
{
223 224
    CPUState *cs = CPU(arm_env_get_cpu(env));

225 226 227
    /* Don't actually halt the CPU, just yield back to top
     * level loop
     */
228
    cs->exception_index = EXCP_YIELD;
229
    cpu_loop_exit(cs);
230 231
}

232 233 234 235 236 237 238 239 240 241 242 243 244 245 246 247 248 249
/* Raise an internal-to-QEMU exception. This is limited to only
 * those EXCP values which are special cases for QEMU to interrupt
 * execution and not to be used for exceptions which are passed to
 * the guest (those must all have syndrome information and thus should
 * use exception_with_syndrome).
 */
void HELPER(exception_internal)(CPUARMState *env, uint32_t excp)
{
    CPUState *cs = CPU(arm_env_get_cpu(env));

    assert(excp_is_internal(excp));
    cs->exception_index = excp;
    cpu_loop_exit(cs);
}

/* Raise an exception with the specified syndrome register value */
void HELPER(exception_with_syndrome)(CPUARMState *env, uint32_t excp,
                                     uint32_t syndrome)
P
pbrook 已提交
250
{
251 252
    CPUState *cs = CPU(arm_env_get_cpu(env));

253
    assert(!excp_is_internal(excp));
254
    cs->exception_index = excp;
255
    env->exception.syndrome = syndrome;
256
    cpu_loop_exit(cs);
P
pbrook 已提交
257 258
}

259
uint32_t HELPER(cpsr_read)(CPUARMState *env)
P
pbrook 已提交
260 261 262 263
{
    return cpsr_read(env) & ~CPSR_EXEC;
}

B
Blue Swirl 已提交
264
void HELPER(cpsr_write)(CPUARMState *env, uint32_t val, uint32_t mask)
P
pbrook 已提交
265 266 267
{
    cpsr_write(env, val, mask);
}
P
pbrook 已提交
268 269

/* Access to user mode registers from privileged modes.  */
270
uint32_t HELPER(get_user_reg)(CPUARMState *env, uint32_t regno)
P
pbrook 已提交
271 272 273 274 275 276 277 278 279 280 281 282 283 284 285 286
{
    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 已提交
287
void HELPER(set_user_reg)(CPUARMState *env, uint32_t regno, uint32_t val)
P
pbrook 已提交
288 289 290 291 292 293 294 295 296 297 298 299
{
    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;
    }
}
300

301
void HELPER(access_check_cp_reg)(CPUARMState *env, void *rip, uint32_t syndrome)
302 303 304 305 306 307
{
    const ARMCPRegInfo *ri = rip;
    switch (ri->accessfn(env, ri)) {
    case CP_ACCESS_OK:
        return;
    case CP_ACCESS_TRAP:
308 309
        env->exception.syndrome = syndrome;
        break;
310
    case CP_ACCESS_TRAP_UNCATEGORIZED:
311
        env->exception.syndrome = syn_uncategorized();
312 313 314 315 316 317 318
        break;
    default:
        g_assert_not_reached();
    }
    raise_exception(env, EXCP_UDEF);
}

319 320 321
void HELPER(set_cp_reg)(CPUARMState *env, void *rip, uint32_t value)
{
    const ARMCPRegInfo *ri = rip;
322 323

    ri->writefn(env, ri, value);
324 325 326 327 328
}

uint32_t HELPER(get_cp_reg)(CPUARMState *env, void *rip)
{
    const ARMCPRegInfo *ri = rip;
329 330

    return ri->readfn(env, ri);
331 332 333 334 335
}

void HELPER(set_cp_reg64)(CPUARMState *env, void *rip, uint64_t value)
{
    const ARMCPRegInfo *ri = rip;
336 337

    ri->writefn(env, ri, value);
338 339 340 341 342
}

uint64_t HELPER(get_cp_reg64)(CPUARMState *env, void *rip)
{
    const ARMCPRegInfo *ri = rip;
343 344

    return ri->readfn(env, ri);
345
}
P
pbrook 已提交
346

347 348 349 350 351 352 353 354 355 356 357 358
void HELPER(msr_i_pstate)(CPUARMState *env, uint32_t op, uint32_t imm)
{
    /* MSR_i to update PSTATE. This is OK from EL0 only if UMA is set.
     * Note that SPSel is never OK from EL0; we rely on handle_msr_i()
     * to catch that case at translate time.
     */
    if (arm_current_pl(env) == 0 && !(env->cp15.c1_sys & SCTLR_UMA)) {
        raise_exception(env, EXCP_UDEF);
    }

    switch (op) {
    case 0x05: /* SPSel */
359
        update_spsel(env, imm);
360 361 362 363 364 365 366 367 368 369 370 371
        break;
    case 0x1e: /* DAIFSet */
        env->daif |= (imm << 6) & PSTATE_DAIF;
        break;
    case 0x1f: /* DAIFClear */
        env->daif &= ~((imm << 6) & PSTATE_DAIF);
        break;
    default:
        g_assert_not_reached();
    }
}

372 373
void HELPER(exception_return)(CPUARMState *env)
{
374 375
    int cur_el = arm_current_pl(env);
    unsigned int spsr_idx = aarch64_banked_spsr_index(cur_el);
376
    uint32_t spsr = env->banked_spsr[spsr_idx];
377 378 379
    int new_el, i;

    if (env->pstate & PSTATE_SP) {
380
        env->sp_el[cur_el] = env->xregs[31];
381 382 383 384 385 386 387
    } else {
        env->sp_el[0] = env->xregs[31];
    }

    env->exclusive_addr = -1;

    if (spsr & PSTATE_nRW) {
388
        /* TODO: We currently assume EL1/2/3 are running in AArch64.  */
389 390 391 392 393 394 395 396
        env->aarch64 = 0;
        new_el = 0;
        env->uncached_cpsr = 0x10;
        cpsr_write(env, spsr, ~0);
        for (i = 0; i < 15; i++) {
            env->regs[i] = env->xregs[i];
        }

397
        env->regs[15] = env->elr_el[1] & ~0x1;
398 399
    } else {
        new_el = extract32(spsr, 2, 2);
400 401 402 403 404
        if (new_el > cur_el
            || (new_el == 2 && !arm_feature(env, ARM_FEATURE_EL2))) {
            /* Disallow return to an EL which is unimplemented or higher
             * than the current one.
             */
405 406 407 408 409 410 411
            goto illegal_return;
        }
        if (extract32(spsr, 1, 1)) {
            /* Return with reserved M[1] bit set */
            goto illegal_return;
        }
        if (new_el == 0 && (spsr & PSTATE_SP)) {
412
            /* Return to EL0 with M[0] bit set */
413 414 415 416 417
            goto illegal_return;
        }
        env->aarch64 = 1;
        pstate_write(env, spsr);
        env->xregs[31] = env->sp_el[new_el];
418
        env->pc = env->elr_el[cur_el];
419 420 421 422 423 424 425 426 427 428 429 430 431
    }

    return;

illegal_return:
    /* Illegal return events of various kinds have architecturally
     * mandated behaviour:
     * restore NZCV and DAIF from SPSR_ELx
     * set PSTATE.IL
     * restore PC from ELR_ELx
     * no change to exception level, execution state or stack pointer
     */
    env->pstate |= PSTATE_IL;
432
    env->pc = env->elr_el[cur_el];
433 434 435 436 437
    spsr &= PSTATE_NZCV | PSTATE_DAIF;
    spsr |= pstate_read(env) & ~(PSTATE_NZCV | PSTATE_DAIF);
    pstate_write(env, spsr);
}

P
pbrook 已提交
438 439 440 441 442 443
/* ??? 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.  */

444
uint32_t HELPER(shl_cc)(CPUARMState *env, uint32_t x, uint32_t i)
P
pbrook 已提交
445 446 447 448 449 450 451 452 453 454 455 456 457 458 459
{
    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;
}

460
uint32_t HELPER(shr_cc)(CPUARMState *env, uint32_t x, uint32_t i)
P
pbrook 已提交
461 462 463 464 465 466 467 468 469 470 471 472 473 474 475
{
    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;
}

476
uint32_t HELPER(sar_cc)(CPUARMState *env, uint32_t x, uint32_t i)
P
pbrook 已提交
477 478 479 480 481 482 483 484 485 486 487 488
{
    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;
}

489
uint32_t HELPER(ror_cc)(CPUARMState *env, uint32_t x, uint32_t i)
P
pbrook 已提交
490 491 492 493 494 495 496 497 498 499 500 501 502
{
    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));
    }
}