target-cris/op_helper.c

   1 /*
   2  *  CRIS helper routines
   3  *
   4  *  Copyright (c) 2007 AXIS Communications
   5  *  Written by Edgar E. Iglesias
   6  *
   7  * This library is free software; you can redistribute it and/or
   8  * modify it under the terms of the GNU Lesser General Public
   9  * License as published by the Free Software Foundation; either
  10  * version 2 of the License, or (at your option) any later version.
  11  *
  12  * This library is distributed in the hope that it will be useful,
  13  * but WITHOUT ANY WARRANTY; without even the implied warranty of
  14  * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the GNU
  15  * Lesser General Public License for more details.
  16  *
  17  * You should have received a copy of the GNU Lesser General Public
  18  * License along with this library; if not, see <http://www.gnu.org/licenses/>.
  19  */
  20
  21 #include "cpu.h"
  22 #include "mmu.h"
  23 #include "helper.h"
  24 #include "host-utils.h"
  25
  26 //#define CRIS_OP_HELPER_DEBUG
  27
  28
  29 #ifdef CRIS_OP_HELPER_DEBUG
  30 #define D(x) x
  31 #define D_LOG(...) qemu_log(__VA__ARGS__)
  32 #else
  33 #define D(x)
  34 #define D_LOG(...) do { } while (0)
  35 #endif
  36
  37 #if !defined(CONFIG_USER_ONLY)
  38 #include "softmmu_exec.h"
  39
  40 #define MMUSUFFIX _mmu
  41
  42 #define SHIFT 0
  43 #include "softmmu_template.h"
  44
  45 #define SHIFT 1
  46 #include "softmmu_template.h"
  47
  48 #define SHIFT 2
  49 #include "softmmu_template.h"
  50
  51 #define SHIFT 3
  52 #include "softmmu_template.h"
  53
  54 /* Try to fill the TLB and return an exception if error. If retaddr is
  55    NULL, it means that the function was called in C code (i.e. not
  56    from generated code or from helper.c) */
  57 void tlb_fill(CPUCRISState *env, target_ulong addr, int is_write, int mmu_idx,
  58               uintptr_t retaddr)
  59 {
  60     TranslationBlock *tb;
  61     int ret;
  62
  63     D_LOG("%s pc=%x tpc=%x ra=%p\n", __func__,
  64           env->pc, env->debug1, (void *)retaddr);
  65     ret = cpu_cris_handle_mmu_fault(env, addr, is_write, mmu_idx);
  66     if (unlikely(ret)) {
  67         if (retaddr) {
  68             /* now we have a real cpu fault */
  69             tb = tb_find_pc(retaddr);
  70             if (tb) {
  71                 /* the PC is inside the translated code. It means that we have
  72                    a virtual CPU fault */
  73                 cpu_restore_state(tb, env, retaddr);
  74
  75                 /* Evaluate flags after retranslation.  */
  76                 helper_top_evaluate_flags(env);
  77             }
  78         }
  79         cpu_loop_exit(env);
  80     }
  81 }
  82
  83 #endif
  84
  85 void helper_raise_exception(CPUCRISState *env, uint32_t index)
  86 {
  87         env->exception_index = index;
  88         cpu_loop_exit(env);
  89 }
  90
  91 void helper_tlb_flush_pid(CPUCRISState *env, uint32_t pid)
  92 {
  93 #if !defined(CONFIG_USER_ONLY)
  94         pid &= 0xff;
  95         if (pid != (env->pregs[PR_PID] & 0xff))
  96                 cris_mmu_flush_pid(env, env->pregs[PR_PID]);
  97 #endif
  98 }
  99
 100 void helper_spc_write(CPUCRISState *env, uint32_t new_spc)
 101 {
 102 #if !defined(CONFIG_USER_ONLY)
 103         tlb_flush_page(env, env->pregs[PR_SPC]);
 104         tlb_flush_page(env, new_spc);
 105 #endif
 106 }
 107
 108 void helper_dump(uint32_t a0, uint32_t a1, uint32_t a2)
 109 {
 110         qemu_log("%s: a0=%x a1=%x\n", __func__, a0, a1);
 111 }
 112
 113 /* Used by the tlb decoder.  */
 114 #define EXTRACT_FIELD(src, start, end) \
 115             (((src) >> start) & ((1 << (end - start + 1)) - 1))
 116
 117 void helper_movl_sreg_reg(CPUCRISState *env, uint32_t sreg, uint32_t reg)
 118 {
 119         uint32_t srs;
 120         srs = env->pregs[PR_SRS];
 121         srs &= 3;
 122         env->sregs[srs][sreg] = env->regs[reg];
 123
 124 #if !defined(CONFIG_USER_ONLY)
 125         if (srs == 1 || srs == 2) {
 126                 if (sreg == 6) {
 127                         /* Writes to tlb-hi write to mm_cause as a side
 128                            effect.  */
 129                         env->sregs[SFR_RW_MM_TLB_HI] = env->regs[reg];
 130                         env->sregs[SFR_R_MM_CAUSE] = env->regs[reg];
 131                 }
 132                 else if (sreg == 5) {
 133                         uint32_t set;
 134                         uint32_t idx;
 135                         uint32_t lo, hi;
 136                         uint32_t vaddr;
 137                         int tlb_v;
 138
 139                         idx = set = env->sregs[SFR_RW_MM_TLB_SEL];
 140                         set >>= 4;
 141                         set &= 3;
 142
 143                         idx &= 15;
 144                         /* We've just made a write to tlb_lo.  */
 145                         lo = env->sregs[SFR_RW_MM_TLB_LO];
 146                         /* Writes are done via r_mm_cause.  */
 147                         hi = env->sregs[SFR_R_MM_CAUSE];
 148
 149                         vaddr = EXTRACT_FIELD(env->tlbsets[srs-1][set][idx].hi,
 150                                               13, 31);
 151                         vaddr <<= TARGET_PAGE_BITS;
 152                         tlb_v = EXTRACT_FIELD(env->tlbsets[srs-1][set][idx].lo,
 153                                             3, 3);
 154                         env->tlbsets[srs - 1][set][idx].lo = lo;
 155                         env->tlbsets[srs - 1][set][idx].hi = hi;
 156
 157                         D_LOG("tlb flush vaddr=%x v=%d pc=%x\n",
 158                                   vaddr, tlb_v, env->pc);
 159                         if (tlb_v) {
 160                                 tlb_flush_page(env, vaddr);
 161                         }
 162                 }
 163         }
 164 #endif
 165 }
 166
 167 void helper_movl_reg_sreg(CPUCRISState *env, uint32_t reg, uint32_t sreg)
 168 {
 169         uint32_t srs;
 170         env->pregs[PR_SRS] &= 3;
 171         srs = env->pregs[PR_SRS];
 172
 173 #if !defined(CONFIG_USER_ONLY)
 174         if (srs == 1 || srs == 2)
 175         {
 176                 uint32_t set;
 177                 uint32_t idx;
 178                 uint32_t lo, hi;
 179
 180                 idx = set = env->sregs[SFR_RW_MM_TLB_SEL];
 181                 set >>= 4;
 182                 set &= 3;
 183                 idx &= 15;
 184
 185                 /* Update the mirror regs.  */
 186                 hi = env->tlbsets[srs - 1][set][idx].hi;
 187                 lo = env->tlbsets[srs - 1][set][idx].lo;
 188                 env->sregs[SFR_RW_MM_TLB_HI] = hi;
 189                 env->sregs[SFR_RW_MM_TLB_LO] = lo;
 190         }
 191 #endif
 192         env->regs[reg] = env->sregs[srs][sreg];
 193 }
 194
 195 static void cris_ccs_rshift(CPUCRISState *env)
 196 {
 197         uint32_t ccs;
 198
 199         /* Apply the ccs shift.  */
 200         ccs = env->pregs[PR_CCS];
 201         ccs = (ccs & 0xc0000000) | ((ccs & 0x0fffffff) >> 10);
 202         if (ccs & U_FLAG)
 203         {
 204                 /* Enter user mode.  */
 205                 env->ksp = env->regs[R_SP];
 206                 env->regs[R_SP] = env->pregs[PR_USP];
 207         }
 208
 209         env->pregs[PR_CCS] = ccs;
 210 }
 211
 212 void helper_rfe(CPUCRISState *env)
 213 {
 214         int rflag = env->pregs[PR_CCS] & R_FLAG;
 215
 216         D_LOG("rfe: erp=%x pid=%x ccs=%x btarget=%x\n",
 217                  env->pregs[PR_ERP], env->pregs[PR_PID],
 218                  env->pregs[PR_CCS],
 219                  env->btarget);
 220
 221         cris_ccs_rshift(env);
 222
 223         /* RFE sets the P_FLAG only if the R_FLAG is not set.  */
 224         if (!rflag)
 225                 env->pregs[PR_CCS] |= P_FLAG;
 226 }
 227
 228 void helper_rfn(CPUCRISState *env)
 229 {
 230         int rflag = env->pregs[PR_CCS] & R_FLAG;
 231
 232         D_LOG("rfn: erp=%x pid=%x ccs=%x btarget=%x\n",
 233                  env->pregs[PR_ERP], env->pregs[PR_PID],
 234                  env->pregs[PR_CCS],
 235                  env->btarget);
 236
 237         cris_ccs_rshift(env);
 238
 239         /* Set the P_FLAG only if the R_FLAG is not set.  */
 240         if (!rflag)
 241                 env->pregs[PR_CCS] |= P_FLAG;
 242
 243         /* Always set the M flag.  */
 244         env->pregs[PR_CCS] |= M_FLAG_V32;
 245 }
 246
 247 uint32_t helper_lz(uint32_t t0)
 248 {
 249         return clz32(t0);
 250 }
 251
 252 uint32_t helper_btst(CPUCRISState *env, uint32_t t0, uint32_t t1, uint32_t ccs)
 253 {
 254         /* FIXME: clean this up.  */
 255
 256         /* des ref:
 257            The N flag is set according to the selected bit in the dest reg.
 258            The Z flag is set if the selected bit and all bits to the right are
 259            zero.
 260            The X flag is cleared.
 261            Other flags are left untouched.
 262            The destination reg is not affected.*/
 263         unsigned int fz, sbit, bset, mask, masked_t0;
 264
 265         sbit = t1 & 31;
 266         bset = !!(t0 & (1 << sbit));
 267         mask = sbit == 31 ? -1 : (1 << (sbit + 1)) - 1;
 268         masked_t0 = t0 & mask;
 269         fz = !(masked_t0 | bset);
 270
 271         /* Clear the X, N and Z flags.  */
 272         ccs = ccs & ~(X_FLAG | N_FLAG | Z_FLAG);
 273         if (env->pregs[PR_VR] < 32)
 274                 ccs &= ~(V_FLAG | C_FLAG);
 275         /* Set the N and Z flags accordingly.  */
 276         ccs |= (bset << 3) | (fz << 2);
 277         return ccs;
 278 }
 279
 280 static inline uint32_t evaluate_flags_writeback(CPUCRISState *env,
 281                                                 uint32_t flags, uint32_t ccs)
 282 {
 283         unsigned int x, z, mask;
 284
 285         /* Extended arithmetics, leave the z flag alone.  */
 286         x = env->cc_x;
 287         mask = env->cc_mask | X_FLAG;
 288         if (x) {
 289                 z = flags & Z_FLAG;
 290                 mask = mask & ~z;
 291         }
 292         flags &= mask;
 293
 294         /* all insn clear the x-flag except setf or clrf.  */
 295         ccs &= ~mask;
 296         ccs |= flags;
 297         return ccs;
 298 }
 299
 300 uint32_t helper_evaluate_flags_muls(CPUCRISState *env,
 301                                     uint32_t ccs, uint32_t res, uint32_t mof)
 302 {
 303         uint32_t flags = 0;
 304         int64_t tmp;
 305         int dneg;
 306
 307         dneg = ((int32_t)res) < 0;
 308
 309         tmp = mof;
 310         tmp <<= 32;
 311         tmp |= res;
 312         if (tmp == 0)
 313                 flags |= Z_FLAG;
 314         else if (tmp < 0)
 315                 flags |= N_FLAG;
 316         if ((dneg && mof != -1)
 317             || (!dneg && mof != 0))
 318                 flags |= V_FLAG;
 319         return evaluate_flags_writeback(env, flags, ccs);
 320 }
 321
 322 uint32_t helper_evaluate_flags_mulu(CPUCRISState *env,
 323                                     uint32_t ccs, uint32_t res, uint32_t mof)
 324 {
 325         uint32_t flags = 0;
 326         uint64_t tmp;
 327
 328         tmp = mof;
 329         tmp <<= 32;
 330         tmp |= res;
 331         if (tmp == 0)
 332                 flags |= Z_FLAG;
 333         else if (tmp >> 63)
 334                 flags |= N_FLAG;
 335         if (mof)
 336                 flags |= V_FLAG;
 337
 338         return evaluate_flags_writeback(env, flags, ccs);
 339 }
 340
 341 uint32_t helper_evaluate_flags_mcp(CPUCRISState *env, uint32_t ccs,
 342                                    uint32_t src, uint32_t dst, uint32_t res)
 343 {
 344         uint32_t flags = 0;
 345
 346         src = src & 0x80000000;
 347         dst = dst & 0x80000000;
 348
 349         if ((res & 0x80000000L) != 0L)
 350         {
 351                 flags |= N_FLAG;
 352                 if (!src && !dst)
 353                         flags |= V_FLAG;
 354                 else if (src & dst)
 355                         flags |= R_FLAG;
 356         }
 357         else
 358         {
 359                 if (res == 0L)
 360                         flags |= Z_FLAG;
 361                 if (src & dst)
 362                         flags |= V_FLAG;
 363                 if (dst | src)
 364                         flags |= R_FLAG;
 365         }
 366
 367         return evaluate_flags_writeback(env, flags, ccs);
 368 }
 369
 370 uint32_t helper_evaluate_flags_alu_4(CPUCRISState *env, uint32_t ccs,
 371                                      uint32_t src, uint32_t dst, uint32_t res)
 372 {
 373         uint32_t flags = 0;
 374
 375         src = src & 0x80000000;
 376         dst = dst & 0x80000000;
 377
 378         if ((res & 0x80000000L) != 0L)
 379         {
 380                 flags |= N_FLAG;
 381                 if (!src && !dst)
 382                         flags |= V_FLAG;
 383                 else if (src & dst)
 384                         flags |= C_FLAG;
 385         }
 386         else
 387         {
 388                 if (res == 0L)
 389                         flags |= Z_FLAG;
 390                 if (src & dst)
 391                         flags |= V_FLAG;
 392                 if (dst | src)
 393                         flags |= C_FLAG;
 394         }
 395
 396         return evaluate_flags_writeback(env, flags, ccs);
 397 }
 398
 399 uint32_t helper_evaluate_flags_sub_4(CPUCRISState *env, uint32_t ccs,
 400                                      uint32_t src, uint32_t dst, uint32_t res)
 401 {
 402         uint32_t flags = 0;
 403
 404         src = (~src) & 0x80000000;
 405         dst = dst & 0x80000000;
 406
 407         if ((res & 0x80000000L) != 0L)
 408         {
 409                 flags |= N_FLAG;
 410                 if (!src && !dst)
 411                         flags |= V_FLAG;
 412                 else if (src & dst)
 413                         flags |= C_FLAG;
 414         }
 415         else
 416         {
 417                 if (res == 0L)
 418                         flags |= Z_FLAG;
 419                 if (src & dst)
 420                         flags |= V_FLAG;
 421                 if (dst | src)
 422                         flags |= C_FLAG;
 423         }
 424
 425         flags ^= C_FLAG;
 426         return evaluate_flags_writeback(env, flags, ccs);
 427 }
 428
 429 uint32_t helper_evaluate_flags_move_4(CPUCRISState *env,
 430                                       uint32_t ccs, uint32_t res)
 431 {
 432         uint32_t flags = 0;
 433
 434         if ((int32_t)res < 0)
 435                 flags |= N_FLAG;
 436         else if (res == 0L)
 437                 flags |= Z_FLAG;
 438
 439         return evaluate_flags_writeback(env, flags, ccs);
 440 }
 441 uint32_t helper_evaluate_flags_move_2(CPUCRISState *env,
 442                                       uint32_t ccs, uint32_t res)
 443 {
 444         uint32_t flags = 0;
 445
 446         if ((int16_t)res < 0L)
 447                 flags |= N_FLAG;
 448         else if (res == 0)
 449                 flags |= Z_FLAG;
 450
 451         return evaluate_flags_writeback(env, flags, ccs);
 452 }
 453
 454 /* TODO: This is expensive. We could split things up and only evaluate part of
 455    CCR on a need to know basis. For now, we simply re-evaluate everything.  */
 456 void helper_evaluate_flags(CPUCRISState *env)
 457 {
 458         uint32_t src, dst, res;
 459         uint32_t flags = 0;
 460
 461         src = env->cc_src;
 462         dst = env->cc_dest;
 463         res = env->cc_result;
 464
 465         if (env->cc_op == CC_OP_SUB || env->cc_op == CC_OP_CMP)
 466                 src = ~src;
 467
 468         /* Now, evaluate the flags. This stuff is based on
 469            Per Zander's CRISv10 simulator.  */
 470         switch (env->cc_size)
 471         {
 472                 case 1:
 473                         if ((res & 0x80L) != 0L)
 474                         {
 475                                 flags |= N_FLAG;
 476                                 if (((src & 0x80L) == 0L)
 477                                     && ((dst & 0x80L) == 0L))
 478                                 {
 479                                         flags |= V_FLAG;
 480                                 }
 481                                 else if (((src & 0x80L) != 0L)
 482                                          && ((dst & 0x80L) != 0L))
 483                                 {
 484                                         flags |= C_FLAG;
 485                                 }
 486                         }
 487                         else
 488                         {
 489                                 if ((res & 0xFFL) == 0L)
 490                                 {
 491                                         flags |= Z_FLAG;
 492                                 }
 493                                 if (((src & 0x80L) != 0L)
 494                                     && ((dst & 0x80L) != 0L))
 495                                 {
 496                                         flags |= V_FLAG;
 497                                 }
 498                                 if ((dst & 0x80L) != 0L
 499                                     || (src & 0x80L) != 0L)
 500                                 {
 501                                         flags |= C_FLAG;
 502                                 }
 503                         }
 504                         break;
 505                 case 2:
 506                         if ((res & 0x8000L) != 0L)
 507                         {
 508                                 flags |= N_FLAG;
 509                                 if (((src & 0x8000L) == 0L)
 510                                     && ((dst & 0x8000L) == 0L))
 511                                 {
 512                                         flags |= V_FLAG;
 513                                 }
 514                                 else if (((src & 0x8000L) != 0L)
 515                                          && ((dst & 0x8000L) != 0L))
 516                                 {
 517                                         flags |= C_FLAG;
 518                                 }
 519                         }
 520                         else
 521                         {
 522                                 if ((res & 0xFFFFL) == 0L)
 523                                 {
 524                                         flags |= Z_FLAG;
 525                                 }
 526                                 if (((src & 0x8000L) != 0L)
 527                                     && ((dst & 0x8000L) != 0L))
 528                                 {
 529                                         flags |= V_FLAG;
 530                                 }
 531                                 if ((dst & 0x8000L) != 0L
 532                                     || (src & 0x8000L) != 0L)
 533                                 {
 534                                         flags |= C_FLAG;
 535                                 }
 536                         }
 537                         break;
 538                 case 4:
 539                         if ((res & 0x80000000L) != 0L)
 540                         {
 541                                 flags |= N_FLAG;
 542                                 if (((src & 0x80000000L) == 0L)
 543                                     && ((dst & 0x80000000L) == 0L))
 544                                 {
 545                                         flags |= V_FLAG;
 546                                 }
 547                                 else if (((src & 0x80000000L) != 0L) &&
 548                                          ((dst & 0x80000000L) != 0L))
 549                                 {
 550                                         flags |= C_FLAG;
 551                                 }
 552                         }
 553                         else
 554                         {
 555                                 if (res == 0L)
 556                                         flags |= Z_FLAG;
 557                                 if (((src & 0x80000000L) != 0L)
 558                                     && ((dst & 0x80000000L) != 0L))
 559                                         flags |= V_FLAG;
 560                                 if ((dst & 0x80000000L) != 0L
 561                                     || (src & 0x80000000L) != 0L)
 562                                         flags |= C_FLAG;
 563                         }
 564                         break;
 565                 default:
 566                         break;
 567         }
 568
 569         if (env->cc_op == CC_OP_SUB || env->cc_op == CC_OP_CMP)
 570                 flags ^= C_FLAG;
 571
 572         env->pregs[PR_CCS] = evaluate_flags_writeback(env, flags,
 573                                                       env->pregs[PR_CCS]);
 574 }
 575
 576 void helper_top_evaluate_flags(CPUCRISState *env)
 577 {
 578         switch (env->cc_op)
 579         {
 580                 case CC_OP_MCP:
 581                         env->pregs[PR_CCS] = helper_evaluate_flags_mcp(env,
 582                                         env->pregs[PR_CCS], env->cc_src,
 583                                         env->cc_dest, env->cc_result);
 584                         break;
 585                 case CC_OP_MULS:
 586                         env->pregs[PR_CCS] = helper_evaluate_flags_muls(env,
 587                                         env->pregs[PR_CCS], env->cc_result,
 588                                         env->pregs[PR_MOF]);
 589                         break;
 590                 case CC_OP_MULU:
 591                         env->pregs[PR_CCS] = helper_evaluate_flags_mulu(env,
 592                                         env->pregs[PR_CCS], env->cc_result,
 593                                         env->pregs[PR_MOF]);
 594                         break;
 595                 case CC_OP_MOVE:
 596                 case CC_OP_AND:
 597                 case CC_OP_OR:
 598                 case CC_OP_XOR:
 599                 case CC_OP_ASR:
 600                 case CC_OP_LSR:
 601                 case CC_OP_LSL:
 602                 switch (env->cc_size)
 603                 {
 604                         case 4:
 605                                 env->pregs[PR_CCS] =
 606                                         helper_evaluate_flags_move_4(env,
 607                                                         env->pregs[PR_CCS],
 608                                                         env->cc_result);
 609                                 break;
 610                         case 2:
 611                                 env->pregs[PR_CCS] =
 612                                         helper_evaluate_flags_move_2(env,
 613                                                         env->pregs[PR_CCS],
 614                                                         env->cc_result);
 615                                 break;
 616                         default:
 617                                 helper_evaluate_flags(env);
 618                                 break;
 619                 }
 620                 break;
 621                 case CC_OP_FLAGS:
 622                         /* live.  */
 623                         break;
 624                 case CC_OP_SUB:
 625                 case CC_OP_CMP:
 626                         if (env->cc_size == 4)
 627                                 env->pregs[PR_CCS] =
 628                                         helper_evaluate_flags_sub_4(env,
 629                                                 env->pregs[PR_CCS],
 630                                                 env->cc_src, env->cc_dest,
 631                                                 env->cc_result);
 632                         else
 633                                 helper_evaluate_flags(env);
 634                         break;
 635                 default:
 636                 {
 637                         switch (env->cc_size)
 638                         {
 639                         case 4:
 640                                 env->pregs[PR_CCS] =
 641                                         helper_evaluate_flags_alu_4(env,
 642                                                 env->pregs[PR_CCS],
 643                                                 env->cc_src, env->cc_dest,
 644                                                 env->cc_result);
 645                                 break;
 646                         default:
 647                                 helper_evaluate_flags(env);
 648                                 break;
 649                         }
 650                 }
 651                 break;
 652         }
 653 }