target-arm/op_helper.c

   1 /*
   2  *  ARM helper routines
   3  *
   4  *  Copyright (c) 2005-2007 CodeSourcery, LLC
   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
  17  * License along with this library; if not, see <http://www.gnu.org/licenses/>.
  18  */
  19 #include "cpu.h"
  20 #include "exec/helper-proto.h"
  21 #include "internals.h"
  22 #include "exec/cpu_ldst.h"
  23
  24 #define SIGNBIT (uint32_t)0x80000000
  25 #define SIGNBIT64 ((uint64_t)1 << 63)
  26
  27 static void raise_exception(CPUARMState *env, int tt)
  28 {
  29     ARMCPU *cpu = arm_env_get_cpu(env);
  30     CPUState *cs = CPU(cpu);
  31
  32     cs->exception_index = tt;
  33     cpu_loop_exit(cs);
  34 }
  35
  36 uint32_t HELPER(neon_tbl)(CPUARMState *env, uint32_t ireg, uint32_t def,
  37                           uint32_t rn, uint32_t maxindex)
  38 {
  39     uint32_t val;
  40     uint32_t tmp;
  41     int index;
  42     int shift;
  43     uint64_t *table;
  44     table = (uint64_t *)&env->vfp.regs[rn];
  45     val = 0;
  46     for (shift = 0; shift < 32; shift += 8) {
  47         index = (ireg >> shift) & 0xff;
  48         if (index < maxindex) {
  49             tmp = (table[index >> 3] >> ((index & 7) << 3)) & 0xff;
  50             val |= tmp << shift;
  51         } else {
  52             val |= def & (0xff << shift);
  53         }
  54     }
  55     return val;
  56 }
  57
  58 #if !defined(CONFIG_USER_ONLY)
  59
  60 /* try to fill the TLB and return an exception if error. If retaddr is
  61  * NULL, it means that the function was called in C code (i.e. not
  62  * from generated code or from helper.c)
  63  */
  64 void tlb_fill(CPUState *cs, target_ulong addr, int is_write, int mmu_idx,
  65               uintptr_t retaddr)
  66 {
  67     int ret;
  68
  69     ret = arm_cpu_handle_mmu_fault(cs, addr, is_write, mmu_idx);
  70     if (unlikely(ret)) {
  71         ARMCPU *cpu = ARM_CPU(cs);
  72         CPUARMState *env = &cpu->env;
  73
  74         if (retaddr) {
  75             /* now we have a real cpu fault */
  76             cpu_restore_state(cs, retaddr);
  77         }
  78         raise_exception(env, cs->exception_index);
  79     }
  80 }
  81 #endif
  82
  83 uint32_t HELPER(add_setq)(CPUARMState *env, uint32_t a, uint32_t b)
  84 {
  85     uint32_t res = a + b;
  86     if (((res ^ a) & SIGNBIT) && !((a ^ b) & SIGNBIT))
  87         env->QF = 1;
  88     return res;
  89 }
  90
  91 uint32_t HELPER(add_saturate)(CPUARMState *env, uint32_t a, uint32_t b)
  92 {
  93     uint32_t res = a + b;
  94     if (((res ^ a) & SIGNBIT) && !((a ^ b) & SIGNBIT)) {
  95         env->QF = 1;
  96         res = ~(((int32_t)a >> 31) ^ SIGNBIT);
  97     }
  98     return res;
  99 }
 100
 101 uint32_t HELPER(sub_saturate)(CPUARMState *env, uint32_t a, uint32_t b)
 102 {
 103     uint32_t res = a - b;
 104     if (((res ^ a) & SIGNBIT) && ((a ^ b) & SIGNBIT)) {
 105         env->QF = 1;
 106         res = ~(((int32_t)a >> 31) ^ SIGNBIT);
 107     }
 108     return res;
 109 }
 110
 111 uint32_t HELPER(double_saturate)(CPUARMState *env, int32_t val)
 112 {
 113     uint32_t res;
 114     if (val >= 0x40000000) {
 115         res = ~SIGNBIT;
 116         env->QF = 1;
 117     } else if (val <= (int32_t)0xc0000000) {
 118         res = SIGNBIT;
 119         env->QF = 1;
 120     } else {
 121         res = val << 1;
 122     }
 123     return res;
 124 }
 125
 126 uint32_t HELPER(add_usaturate)(CPUARMState *env, uint32_t a, uint32_t b)
 127 {
 128     uint32_t res = a + b;
 129     if (res < a) {
 130         env->QF = 1;
 131         res = ~0;
 132     }
 133     return res;
 134 }
 135
 136 uint32_t HELPER(sub_usaturate)(CPUARMState *env, uint32_t a, uint32_t b)
 137 {
 138     uint32_t res = a - b;
 139     if (res > a) {
 140         env->QF = 1;
 141         res = 0;
 142     }
 143     return res;
 144 }
 145
 146 /* Signed saturation.  */
 147 static inline uint32_t do_ssat(CPUARMState *env, int32_t val, int shift)
 148 {
 149     int32_t top;
 150     uint32_t mask;
 151
 152     top = val >> shift;
 153     mask = (1u << shift) - 1;
 154     if (top > 0) {
 155         env->QF = 1;
 156         return mask;
 157     } else if (top < -1) {
 158         env->QF = 1;
 159         return ~mask;
 160     }
 161     return val;
 162 }
 163
 164 /* Unsigned saturation.  */
 165 static inline uint32_t do_usat(CPUARMState *env, int32_t val, int shift)
 166 {
 167     uint32_t max;
 168
 169     max = (1u << shift) - 1;
 170     if (val < 0) {
 171         env->QF = 1;
 172         return 0;
 173     } else if (val > max) {
 174         env->QF = 1;
 175         return max;
 176     }
 177     return val;
 178 }
 179
 180 /* Signed saturate.  */
 181 uint32_t HELPER(ssat)(CPUARMState *env, uint32_t x, uint32_t shift)
 182 {
 183     return do_ssat(env, x, shift);
 184 }
 185
 186 /* Dual halfword signed saturate.  */
 187 uint32_t HELPER(ssat16)(CPUARMState *env, uint32_t x, uint32_t shift)
 188 {
 189     uint32_t res;
 190
 191     res = (uint16_t)do_ssat(env, (int16_t)x, shift);
 192     res |= do_ssat(env, ((int32_t)x) >> 16, shift) << 16;
 193     return res;
 194 }
 195
 196 /* Unsigned saturate.  */
 197 uint32_t HELPER(usat)(CPUARMState *env, uint32_t x, uint32_t shift)
 198 {
 199     return do_usat(env, x, shift);
 200 }
 201
 202 /* Dual halfword unsigned saturate.  */
 203 uint32_t HELPER(usat16)(CPUARMState *env, uint32_t x, uint32_t shift)
 204 {
 205     uint32_t res;
 206
 207     res = (uint16_t)do_usat(env, (int16_t)x, shift);
 208     res |= do_usat(env, ((int32_t)x) >> 16, shift) << 16;
 209     return res;
 210 }
 211
 212 void HELPER(wfi)(CPUARMState *env)
 213 {
 214     CPUState *cs = CPU(arm_env_get_cpu(env));
 215
 216     cs->exception_index = EXCP_HLT;
 217     cs->halted = 1;
 218     cpu_loop_exit(cs);
 219 }
 220
 221 void HELPER(wfe)(CPUARMState *env)
 222 {
 223     CPUState *cs = CPU(arm_env_get_cpu(env));
 224
 225     /* Don't actually halt the CPU, just yield back to top
 226      * level loop
 227      */
 228     cs->exception_index = EXCP_YIELD;
 229     cpu_loop_exit(cs);
 230 }
 231
 232 /* Raise an internal-to-QEMU exception. This is limited to only
 233  * those EXCP values which are special cases for QEMU to interrupt
 234  * execution and not to be used for exceptions which are passed to
 235  * the guest (those must all have syndrome information and thus should
 236  * use exception_with_syndrome).
 237  */
 238 void HELPER(exception_internal)(CPUARMState *env, uint32_t excp)
 239 {
 240     CPUState *cs = CPU(arm_env_get_cpu(env));
 241
 242     assert(excp_is_internal(excp));
 243     cs->exception_index = excp;
 244     cpu_loop_exit(cs);
 245 }
 246
 247 /* Raise an exception with the specified syndrome register value */
 248 void HELPER(exception_with_syndrome)(CPUARMState *env, uint32_t excp,
 249                                      uint32_t syndrome)
 250 {
 251     CPUState *cs = CPU(arm_env_get_cpu(env));
 252
 253     assert(!excp_is_internal(excp));
 254     cs->exception_index = excp;
 255     env->exception.syndrome = syndrome;
 256     cpu_loop_exit(cs);
 257 }
 258
 259 uint32_t HELPER(cpsr_read)(CPUARMState *env)
 260 {
 261     return cpsr_read(env) & ~CPSR_EXEC;
 262 }
 263
 264 void HELPER(cpsr_write)(CPUARMState *env, uint32_t val, uint32_t mask)
 265 {
 266     cpsr_write(env, val, mask);
 267 }
 268
 269 /* Access to user mode registers from privileged modes.  */
 270 uint32_t HELPER(get_user_reg)(CPUARMState *env, uint32_t regno)
 271 {
 272     uint32_t val;
 273
 274     if (regno == 13) {
 275         val = env->banked_r13[0];
 276     } else if (regno == 14) {
 277         val = env->banked_r14[0];
 278     } else if (regno >= 8
 279                && (env->uncached_cpsr & 0x1f) == ARM_CPU_MODE_FIQ) {
 280         val = env->usr_regs[regno - 8];
 281     } else {
 282         val = env->regs[regno];
 283     }
 284     return val;
 285 }
 286
 287 void HELPER(set_user_reg)(CPUARMState *env, uint32_t regno, uint32_t val)
 288 {
 289     if (regno == 13) {
 290         env->banked_r13[0] = val;
 291     } else if (regno == 14) {
 292         env->banked_r14[0] = val;
 293     } else if (regno >= 8
 294                && (env->uncached_cpsr & 0x1f) == ARM_CPU_MODE_FIQ) {
 295         env->usr_regs[regno - 8] = val;
 296     } else {
 297         env->regs[regno] = val;
 298     }
 299 }
 300
 301 void HELPER(access_check_cp_reg)(CPUARMState *env, void *rip, uint32_t syndrome)
 302 {
 303     const ARMCPRegInfo *ri = rip;
 304     switch (ri->accessfn(env, ri)) {
 305     case CP_ACCESS_OK:
 306         return;
 307     case CP_ACCESS_TRAP:
 308         env->exception.syndrome = syndrome;
 309         break;
 310     case CP_ACCESS_TRAP_UNCATEGORIZED:
 311         env->exception.syndrome = syn_uncategorized();
 312         break;
 313     default:
 314         g_assert_not_reached();
 315     }
 316     raise_exception(env, EXCP_UDEF);
 317 }
 318
 319 void HELPER(set_cp_reg)(CPUARMState *env, void *rip, uint32_t value)
 320 {
 321     const ARMCPRegInfo *ri = rip;
 322
 323     ri->writefn(env, ri, value);
 324 }
 325
 326 uint32_t HELPER(get_cp_reg)(CPUARMState *env, void *rip)
 327 {
 328     const ARMCPRegInfo *ri = rip;
 329
 330     return ri->readfn(env, ri);
 331 }
 332
 333 void HELPER(set_cp_reg64)(CPUARMState *env, void *rip, uint64_t value)
 334 {
 335     const ARMCPRegInfo *ri = rip;
 336
 337     ri->writefn(env, ri, value);
 338 }
 339
 340 uint64_t HELPER(get_cp_reg64)(CPUARMState *env, void *rip)
 341 {
 342     const ARMCPRegInfo *ri = rip;
 343
 344     return ri->readfn(env, ri);
 345 }
 346
 347 void HELPER(msr_i_pstate)(CPUARMState *env, uint32_t op, uint32_t imm)
 348 {
 349     /* MSR_i to update PSTATE. This is OK from EL0 only if UMA is set.
 350      * Note that SPSel is never OK from EL0; we rely on handle_msr_i()
 351      * to catch that case at translate time.
 352      */
 353     if (arm_current_pl(env) == 0 && !(env->cp15.c1_sys & SCTLR_UMA)) {
 354         raise_exception(env, EXCP_UDEF);
 355     }
 356
 357     switch (op) {
 358     case 0x05: /* SPSel */
 359         update_spsel(env, imm);
 360         break;
 361     case 0x1e: /* DAIFSet */
 362         env->daif |= (imm << 6) & PSTATE_DAIF;
 363         break;
 364     case 0x1f: /* DAIFClear */
 365         env->daif &= ~((imm << 6) & PSTATE_DAIF);
 366         break;
 367     default:
 368         g_assert_not_reached();
 369     }
 370 }
 371
 372 void HELPER(exception_return)(CPUARMState *env)
 373 {
 374     int cur_el = arm_current_pl(env);
 375     unsigned int spsr_idx = aarch64_banked_spsr_index(cur_el);
 376     uint32_t spsr = env->banked_spsr[spsr_idx];
 377     int new_el, i;
 378
 379     aarch64_save_sp(env, cur_el);
 380
 381     env->exclusive_addr = -1;
 382
 383     if (spsr & PSTATE_nRW) {
 384         /* TODO: We currently assume EL1/2/3 are running in AArch64.  */
 385         env->aarch64 = 0;
 386         new_el = 0;
 387         env->uncached_cpsr = 0x10;
 388         cpsr_write(env, spsr, ~0);
 389         for (i = 0; i < 15; i++) {
 390             env->regs[i] = env->xregs[i];
 391         }
 392
 393         env->regs[15] = env->elr_el[1] & ~0x1;
 394     } else {
 395         new_el = extract32(spsr, 2, 2);
 396         if (new_el > cur_el
 397             || (new_el == 2 && !arm_feature(env, ARM_FEATURE_EL2))) {
 398             /* Disallow return to an EL which is unimplemented or higher
 399              * than the current one.
 400              */
 401             goto illegal_return;
 402         }
 403         if (extract32(spsr, 1, 1)) {
 404             /* Return with reserved M[1] bit set */
 405             goto illegal_return;
 406         }
 407         if (new_el == 0 && (spsr & PSTATE_SP)) {
 408             /* Return to EL0 with M[0] bit set */
 409             goto illegal_return;
 410         }
 411         env->aarch64 = 1;
 412         pstate_write(env, spsr);
 413         aarch64_restore_sp(env, new_el);
 414         env->pc = env->elr_el[cur_el];
 415     }
 416
 417     return;
 418
 419 illegal_return:
 420     /* Illegal return events of various kinds have architecturally
 421      * mandated behaviour:
 422      * restore NZCV and DAIF from SPSR_ELx
 423      * set PSTATE.IL
 424      * restore PC from ELR_ELx
 425      * no change to exception level, execution state or stack pointer
 426      */
 427     env->pstate |= PSTATE_IL;
 428     env->pc = env->elr_el[cur_el];
 429     spsr &= PSTATE_NZCV | PSTATE_DAIF;
 430     spsr |= pstate_read(env) & ~(PSTATE_NZCV | PSTATE_DAIF);
 431     pstate_write(env, spsr);
 432 }
 433
 434 /* ??? Flag setting arithmetic is awkward because we need to do comparisons.
 435    The only way to do that in TCG is a conditional branch, which clobbers
 436    all our temporaries.  For now implement these as helper functions.  */
 437
 438 /* Similarly for variable shift instructions.  */
 439
 440 uint32_t HELPER(shl_cc)(CPUARMState *env, uint32_t x, uint32_t i)
 441 {
 442     int shift = i & 0xff;
 443     if (shift >= 32) {
 444         if (shift == 32)
 445             env->CF = x & 1;
 446         else
 447             env->CF = 0;
 448         return 0;
 449     } else if (shift != 0) {
 450         env->CF = (x >> (32 - shift)) & 1;
 451         return x << shift;
 452     }
 453     return x;
 454 }
 455
 456 uint32_t HELPER(shr_cc)(CPUARMState *env, uint32_t x, uint32_t i)
 457 {
 458     int shift = i & 0xff;
 459     if (shift >= 32) {
 460         if (shift == 32)
 461             env->CF = (x >> 31) & 1;
 462         else
 463             env->CF = 0;
 464         return 0;
 465     } else if (shift != 0) {
 466         env->CF = (x >> (shift - 1)) & 1;
 467         return x >> shift;
 468     }
 469     return x;
 470 }
 471
 472 uint32_t HELPER(sar_cc)(CPUARMState *env, uint32_t x, uint32_t i)
 473 {
 474     int shift = i & 0xff;
 475     if (shift >= 32) {
 476         env->CF = (x >> 31) & 1;
 477         return (int32_t)x >> 31;
 478     } else if (shift != 0) {
 479         env->CF = (x >> (shift - 1)) & 1;
 480         return (int32_t)x >> shift;
 481     }
 482     return x;
 483 }
 484
 485 uint32_t HELPER(ror_cc)(CPUARMState *env, uint32_t x, uint32_t i)
 486 {
 487     int shift1, shift;
 488     shift1 = i & 0xff;
 489     shift = shift1 & 0x1f;
 490     if (shift == 0) {
 491         if (shift1 != 0)
 492             env->CF = (x >> 31) & 1;
 493         return x;
 494     } else {
 495         env->CF = (x >> (shift - 1)) & 1;
 496         return ((uint32_t)x >> shift) | (x << (32 - shift));
 497     }
 498 }