target/hppa/op_helper.c

   1 /*
   2  * Helpers for HPPA instructions.
   3  *
   4  * Copyright (c) 2016 Richard Henderson <rth@twiddle.net>
   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
  20 #include "qemu/osdep.h"
  21 #include "cpu.h"
  22 #include "exec/exec-all.h"
  23 #include "exec/helper-proto.h"
  24 #include "exec/cpu_ldst.h"
  25
  26 void QEMU_NORETURN HELPER(excp)(CPUHPPAState *env, int excp)
  27 {
  28     HPPACPU *cpu = hppa_env_get_cpu(env);
  29     CPUState *cs = CPU(cpu);
  30
  31     cs->exception_index = excp;
  32     cpu_loop_exit(cs);
  33 }
  34
  35 static void QEMU_NORETURN dynexcp(CPUHPPAState *env, int excp, uintptr_t ra)
  36 {
  37     HPPACPU *cpu = hppa_env_get_cpu(env);
  38     CPUState *cs = CPU(cpu);
  39
  40     cs->exception_index = excp;
  41     cpu_loop_exit_restore(cs, ra);
  42 }
  43
  44 void HELPER(tsv)(CPUHPPAState *env, target_ulong cond)
  45 {
  46     if (unlikely((target_long)cond < 0)) {
  47         dynexcp(env, EXCP_SIGFPE, GETPC());
  48     }
  49 }
  50
  51 void HELPER(tcond)(CPUHPPAState *env, target_ulong cond)
  52 {
  53     if (unlikely(cond)) {
  54         dynexcp(env, EXCP_SIGFPE, GETPC());
  55     }
  56 }
  57
  58 static void atomic_store_3(CPUHPPAState *env, target_ulong addr, uint32_t val,
  59                            uint32_t mask, uintptr_t ra)
  60 {
  61     uint32_t old, new, cmp;
  62
  63 #ifdef CONFIG_USER_ONLY
  64     uint32_t *haddr = g2h(addr - 1);
  65     old = *haddr;
  66     while (1) {
  67         new = (old & ~mask) | (val & mask);
  68         cmp = atomic_cmpxchg(haddr, old, new);
  69         if (cmp == old) {
  70             return;
  71         }
  72         old = cmp;
  73     }
  74 #else
  75 #error "Not implemented."
  76 #endif
  77 }
  78
  79 static void do_stby_b(CPUHPPAState *env, target_ulong addr, target_ulong val,
  80                       bool parallel)
  81 {
  82     uintptr_t ra = GETPC();
  83
  84     switch (addr & 3) {
  85     case 3:
  86         cpu_stb_data_ra(env, addr, val, ra);
  87         break;
  88     case 2:
  89         cpu_stw_data_ra(env, addr, val, ra);
  90         break;
  91     case 1:
  92         /* The 3 byte store must appear atomic.  */
  93         if (parallel) {
  94             atomic_store_3(env, addr, val, 0x00ffffffu, ra);
  95         } else {
  96             cpu_stb_data_ra(env, addr, val >> 16, ra);
  97             cpu_stw_data_ra(env, addr + 1, val, ra);
  98         }
  99         break;
 100     default:
 101         cpu_stl_data_ra(env, addr, val, ra);
 102         break;
 103     }
 104 }
 105
 106 void HELPER(stby_b)(CPUHPPAState *env, target_ulong addr, target_ulong val)
 107 {
 108     do_stby_b(env, addr, val, false);
 109 }
 110
 111 void HELPER(stby_b_parallel)(CPUHPPAState *env, target_ulong addr,
 112                              target_ulong val)
 113 {
 114     do_stby_b(env, addr, val, true);
 115 }
 116
 117 static void do_stby_e(CPUHPPAState *env, target_ulong addr, target_ulong val,
 118                       bool parallel)
 119 {
 120     uintptr_t ra = GETPC();
 121
 122     switch (addr & 3) {
 123     case 3:
 124         /* The 3 byte store must appear atomic.  */
 125         if (parallel) {
 126             atomic_store_3(env, addr - 3, val, 0xffffff00u, ra);
 127         } else {
 128             cpu_stw_data_ra(env, addr - 3, val >> 16, ra);
 129             cpu_stb_data_ra(env, addr - 1, val >> 8, ra);
 130         }
 131         break;
 132     case 2:
 133         cpu_stw_data_ra(env, addr - 2, val >> 16, ra);
 134         break;
 135     case 1:
 136         cpu_stb_data_ra(env, addr - 1, val >> 24, ra);
 137         break;
 138     default:
 139         /* Nothing is stored, but protection is checked and the
 140            cacheline is marked dirty.  */
 141 #ifndef CONFIG_USER_ONLY
 142         probe_write(env, addr, 0, cpu_mmu_index(env, 0), ra);
 143 #endif
 144         break;
 145     }
 146 }
 147
 148 void HELPER(stby_e)(CPUHPPAState *env, target_ulong addr, target_ulong val)
 149 {
 150     do_stby_e(env, addr, val, false);
 151 }
 152
 153 void HELPER(stby_e_parallel)(CPUHPPAState *env, target_ulong addr,
 154                              target_ulong val)
 155 {
 156     do_stby_e(env, addr, val, true);
 157 }
 158
 159 target_ulong HELPER(probe_r)(target_ulong addr)
 160 {
 161     return page_check_range(addr, 1, PAGE_READ);
 162 }
 163
 164 target_ulong HELPER(probe_w)(target_ulong addr)
 165 {
 166     return page_check_range(addr, 1, PAGE_WRITE);
 167 }
 168
 169 void HELPER(loaded_fr0)(CPUHPPAState *env)
 170 {
 171     uint32_t shadow = env->fr[0] >> 32;
 172     int rm, d;
 173
 174     env->fr0_shadow = shadow;
 175
 176     switch (extract32(shadow, 9, 2)) {
 177     default:
 178         rm = float_round_nearest_even;
 179         break;
 180     case 1:
 181         rm = float_round_to_zero;
 182         break;
 183     case 2:
 184         rm = float_round_up;
 185         break;
 186     case 3:
 187         rm = float_round_down;
 188         break;
 189     }
 190     set_float_rounding_mode(rm, &env->fp_status);
 191
 192     d = extract32(shadow, 5, 1);
 193     set_flush_to_zero(d, &env->fp_status);
 194     set_flush_inputs_to_zero(d, &env->fp_status);
 195 }
 196
 197 void cpu_hppa_loaded_fr0(CPUHPPAState *env)
 198 {
 199     helper_loaded_fr0(env);
 200 }
 201
 202 #define CONVERT_BIT(X, SRC, DST)        \
 203     ((SRC) > (DST)                      \
 204      ? (X) / ((SRC) / (DST)) & (DST)    \
 205      : ((X) & (SRC)) * ((DST) / (SRC)))
 206
 207 static void update_fr0_op(CPUHPPAState *env, uintptr_t ra)
 208 {
 209     uint32_t soft_exp = get_float_exception_flags(&env->fp_status);
 210     uint32_t hard_exp = 0;
 211     uint32_t shadow = env->fr0_shadow;
 212
 213     if (likely(soft_exp == 0)) {
 214         env->fr[0] = (uint64_t)shadow << 32;
 215         return;
 216     }
 217     set_float_exception_flags(0, &env->fp_status);
 218
 219     hard_exp |= CONVERT_BIT(soft_exp, float_flag_inexact,   1u << 0);
 220     hard_exp |= CONVERT_BIT(soft_exp, float_flag_underflow, 1u << 1);
 221     hard_exp |= CONVERT_BIT(soft_exp, float_flag_overflow,  1u << 2);
 222     hard_exp |= CONVERT_BIT(soft_exp, float_flag_divbyzero, 1u << 3);
 223     hard_exp |= CONVERT_BIT(soft_exp, float_flag_invalid,   1u << 4);
 224     shadow |= hard_exp << (32 - 5);
 225     env->fr0_shadow = shadow;
 226     env->fr[0] = (uint64_t)shadow << 32;
 227
 228     if (hard_exp & shadow) {
 229         dynexcp(env, EXCP_SIGFPE, ra);
 230     }
 231 }
 232
 233 float32 HELPER(fsqrt_s)(CPUHPPAState *env, float32 arg)
 234 {
 235     float32 ret = float32_sqrt(arg, &env->fp_status);
 236     update_fr0_op(env, GETPC());
 237     return ret;
 238 }
 239
 240 float32 HELPER(frnd_s)(CPUHPPAState *env, float32 arg)
 241 {
 242     float32 ret = float32_round_to_int(arg, &env->fp_status);
 243     update_fr0_op(env, GETPC());
 244     return ret;
 245 }
 246
 247 float32 HELPER(fadd_s)(CPUHPPAState *env, float32 a, float32 b)
 248 {
 249     float32 ret = float32_add(a, b, &env->fp_status);
 250     update_fr0_op(env, GETPC());
 251     return ret;
 252 }
 253
 254 float32 HELPER(fsub_s)(CPUHPPAState *env, float32 a, float32 b)
 255 {
 256     float32 ret = float32_sub(a, b, &env->fp_status);
 257     update_fr0_op(env, GETPC());
 258     return ret;
 259 }
 260
 261 float32 HELPER(fmpy_s)(CPUHPPAState *env, float32 a, float32 b)
 262 {
 263     float32 ret = float32_mul(a, b, &env->fp_status);
 264     update_fr0_op(env, GETPC());
 265     return ret;
 266 }
 267
 268 float32 HELPER(fdiv_s)(CPUHPPAState *env, float32 a, float32 b)
 269 {
 270     float32 ret = float32_div(a, b, &env->fp_status);
 271     update_fr0_op(env, GETPC());
 272     return ret;
 273 }
 274
 275 float64 HELPER(fsqrt_d)(CPUHPPAState *env, float64 arg)
 276 {
 277     float64 ret = float64_sqrt(arg, &env->fp_status);
 278     update_fr0_op(env, GETPC());
 279     return ret;
 280 }
 281
 282 float64 HELPER(frnd_d)(CPUHPPAState *env, float64 arg)
 283 {
 284     float64 ret = float64_round_to_int(arg, &env->fp_status);
 285     update_fr0_op(env, GETPC());
 286     return ret;
 287 }
 288
 289 float64 HELPER(fadd_d)(CPUHPPAState *env, float64 a, float64 b)
 290 {
 291     float64 ret = float64_add(a, b, &env->fp_status);
 292     update_fr0_op(env, GETPC());
 293     return ret;
 294 }
 295
 296 float64 HELPER(fsub_d)(CPUHPPAState *env, float64 a, float64 b)
 297 {
 298     float64 ret = float64_sub(a, b, &env->fp_status);
 299     update_fr0_op(env, GETPC());
 300     return ret;
 301 }
 302
 303 float64 HELPER(fmpy_d)(CPUHPPAState *env, float64 a, float64 b)
 304 {
 305     float64 ret = float64_mul(a, b, &env->fp_status);
 306     update_fr0_op(env, GETPC());
 307     return ret;
 308 }
 309
 310 float64 HELPER(fdiv_d)(CPUHPPAState *env, float64 a, float64 b)
 311 {
 312     float64 ret = float64_div(a, b, &env->fp_status);
 313     update_fr0_op(env, GETPC());
 314     return ret;
 315 }
 316
 317 float64 HELPER(fcnv_s_d)(CPUHPPAState *env, float32 arg)
 318 {
 319     float64 ret = float32_to_float64(arg, &env->fp_status);
 320     ret = float64_maybe_silence_nan(ret, &env->fp_status);
 321     update_fr0_op(env, GETPC());
 322     return ret;
 323 }
 324
 325 float32 HELPER(fcnv_d_s)(CPUHPPAState *env, float64 arg)
 326 {
 327     float32 ret = float64_to_float32(arg, &env->fp_status);
 328     ret = float32_maybe_silence_nan(ret, &env->fp_status);
 329     update_fr0_op(env, GETPC());
 330     return ret;
 331 }
 332
 333 float32 HELPER(fcnv_w_s)(CPUHPPAState *env, int32_t arg)
 334 {
 335     float32 ret = int32_to_float32(arg, &env->fp_status);
 336     update_fr0_op(env, GETPC());
 337     return ret;
 338 }
 339
 340 float32 HELPER(fcnv_dw_s)(CPUHPPAState *env, int64_t arg)
 341 {
 342     float32 ret = int64_to_float32(arg, &env->fp_status);
 343     update_fr0_op(env, GETPC());
 344     return ret;
 345 }
 346
 347 float64 HELPER(fcnv_w_d)(CPUHPPAState *env, int32_t arg)
 348 {
 349     float64 ret = int32_to_float64(arg, &env->fp_status);
 350     update_fr0_op(env, GETPC());
 351     return ret;
 352 }
 353
 354 float64 HELPER(fcnv_dw_d)(CPUHPPAState *env, int64_t arg)
 355 {
 356     float64 ret = int64_to_float64(arg, &env->fp_status);
 357     update_fr0_op(env, GETPC());
 358     return ret;
 359 }
 360
 361 int32_t HELPER(fcnv_s_w)(CPUHPPAState *env, float32 arg)
 362 {
 363     int32_t ret = float32_to_int32(arg, &env->fp_status);
 364     update_fr0_op(env, GETPC());
 365     return ret;
 366 }
 367
 368 int32_t HELPER(fcnv_d_w)(CPUHPPAState *env, float64 arg)
 369 {
 370     int32_t ret = float64_to_int32(arg, &env->fp_status);
 371     update_fr0_op(env, GETPC());
 372     return ret;
 373 }
 374
 375 int64_t HELPER(fcnv_s_dw)(CPUHPPAState *env, float32 arg)
 376 {
 377     int64_t ret = float32_to_int64(arg, &env->fp_status);
 378     update_fr0_op(env, GETPC());
 379     return ret;
 380 }
 381
 382 int64_t HELPER(fcnv_d_dw)(CPUHPPAState *env, float64 arg)
 383 {
 384     int64_t ret = float64_to_int64(arg, &env->fp_status);
 385     update_fr0_op(env, GETPC());
 386     return ret;
 387 }
 388
 389 int32_t HELPER(fcnv_t_s_w)(CPUHPPAState *env, float32 arg)
 390 {
 391     int32_t ret = float32_to_int32_round_to_zero(arg, &env->fp_status);
 392     update_fr0_op(env, GETPC());
 393     return ret;
 394 }
 395
 396 int32_t HELPER(fcnv_t_d_w)(CPUHPPAState *env, float64 arg)
 397 {
 398     int32_t ret = float64_to_int32_round_to_zero(arg, &env->fp_status);
 399     update_fr0_op(env, GETPC());
 400     return ret;
 401 }
 402
 403 int64_t HELPER(fcnv_t_s_dw)(CPUHPPAState *env, float32 arg)
 404 {
 405     int64_t ret = float32_to_int64_round_to_zero(arg, &env->fp_status);
 406     update_fr0_op(env, GETPC());
 407     return ret;
 408 }
 409
 410 int64_t HELPER(fcnv_t_d_dw)(CPUHPPAState *env, float64 arg)
 411 {
 412     int64_t ret = float64_to_int64_round_to_zero(arg, &env->fp_status);
 413     update_fr0_op(env, GETPC());
 414     return ret;
 415 }
 416
 417 float32 HELPER(fcnv_uw_s)(CPUHPPAState *env, uint32_t arg)
 418 {
 419     float32 ret = uint32_to_float32(arg, &env->fp_status);
 420     update_fr0_op(env, GETPC());
 421     return ret;
 422 }
 423
 424 float32 HELPER(fcnv_udw_s)(CPUHPPAState *env, uint64_t arg)
 425 {
 426     float32 ret = uint64_to_float32(arg, &env->fp_status);
 427     update_fr0_op(env, GETPC());
 428     return ret;
 429 }
 430
 431 float64 HELPER(fcnv_uw_d)(CPUHPPAState *env, uint32_t arg)
 432 {
 433     float64 ret = uint32_to_float64(arg, &env->fp_status);
 434     update_fr0_op(env, GETPC());
 435     return ret;
 436 }
 437
 438 float64 HELPER(fcnv_udw_d)(CPUHPPAState *env, uint64_t arg)
 439 {
 440     float64 ret = uint64_to_float64(arg, &env->fp_status);
 441     update_fr0_op(env, GETPC());
 442     return ret;
 443 }
 444
 445 uint32_t HELPER(fcnv_s_uw)(CPUHPPAState *env, float32 arg)
 446 {
 447     uint32_t ret = float32_to_uint32(arg, &env->fp_status);
 448     update_fr0_op(env, GETPC());
 449     return ret;
 450 }
 451
 452 uint32_t HELPER(fcnv_d_uw)(CPUHPPAState *env, float64 arg)
 453 {
 454     uint32_t ret = float64_to_uint32(arg, &env->fp_status);
 455     update_fr0_op(env, GETPC());
 456     return ret;
 457 }
 458
 459 uint64_t HELPER(fcnv_s_udw)(CPUHPPAState *env, float32 arg)
 460 {
 461     uint64_t ret = float32_to_uint64(arg, &env->fp_status);
 462     update_fr0_op(env, GETPC());
 463     return ret;
 464 }
 465
 466 uint64_t HELPER(fcnv_d_udw)(CPUHPPAState *env, float64 arg)
 467 {
 468     uint64_t ret = float64_to_uint64(arg, &env->fp_status);
 469     update_fr0_op(env, GETPC());
 470     return ret;
 471 }
 472
 473 uint32_t HELPER(fcnv_t_s_uw)(CPUHPPAState *env, float32 arg)
 474 {
 475     uint32_t ret = float32_to_uint32_round_to_zero(arg, &env->fp_status);
 476     update_fr0_op(env, GETPC());
 477     return ret;
 478 }
 479
 480 uint32_t HELPER(fcnv_t_d_uw)(CPUHPPAState *env, float64 arg)
 481 {
 482     uint32_t ret = float64_to_uint32_round_to_zero(arg, &env->fp_status);
 483     update_fr0_op(env, GETPC());
 484     return ret;
 485 }
 486
 487 uint64_t HELPER(fcnv_t_s_udw)(CPUHPPAState *env, float32 arg)
 488 {
 489     uint64_t ret = float32_to_uint64_round_to_zero(arg, &env->fp_status);
 490     update_fr0_op(env, GETPC());
 491     return ret;
 492 }
 493
 494 uint64_t HELPER(fcnv_t_d_udw)(CPUHPPAState *env, float64 arg)
 495 {
 496     uint64_t ret = float64_to_uint64_round_to_zero(arg, &env->fp_status);
 497     update_fr0_op(env, GETPC());
 498     return ret;
 499 }
 500
 501 static void update_fr0_cmp(CPUHPPAState *env, uint32_t y, uint32_t c, int r)
 502 {
 503     uint32_t shadow = env->fr0_shadow;
 504
 505     switch (r) {
 506     case float_relation_greater:
 507         c = extract32(c, 4, 1);
 508         break;
 509     case float_relation_less:
 510         c = extract32(c, 3, 1);
 511         break;
 512     case float_relation_equal:
 513         c = extract32(c, 2, 1);
 514         break;
 515     case float_relation_unordered:
 516         c = extract32(c, 1, 1);
 517         break;
 518     default:
 519         g_assert_not_reached();
 520     }
 521
 522     if (y) {
 523         /* targeted comparison */
 524         /* set fpsr[ca[y - 1]] to current compare */
 525         shadow = deposit32(shadow, 21 - (y - 1), 1, c);
 526     } else {
 527         /* queued comparison */
 528         /* shift cq right by one place */
 529         shadow = deposit32(shadow, 11, 10, extract32(shadow, 12, 10));
 530         /* move fpsr[c] to fpsr[cq[0]] */
 531         shadow = deposit32(shadow, 21, 1, extract32(shadow, 26, 1));
 532         /* set fpsr[c] to current compare */
 533         shadow = deposit32(shadow, 26, 1, c);
 534     }
 535
 536     env->fr0_shadow = shadow;
 537     env->fr[0] = (uint64_t)shadow << 32;
 538 }
 539
 540 void HELPER(fcmp_s)(CPUHPPAState *env, float32 a, float32 b,
 541                     uint32_t y, uint32_t c)
 542 {
 543     int r;
 544     if (c & 1) {
 545         r = float32_compare(a, b, &env->fp_status);
 546     } else {
 547         r = float32_compare_quiet(a, b, &env->fp_status);
 548     }
 549     update_fr0_op(env, GETPC());
 550     update_fr0_cmp(env, y, c, r);
 551 }
 552
 553 void HELPER(fcmp_d)(CPUHPPAState *env, float64 a, float64 b,
 554                     uint32_t y, uint32_t c)
 555 {
 556     int r;
 557     if (c & 1) {
 558         r = float64_compare(a, b, &env->fp_status);
 559     } else {
 560         r = float64_compare_quiet(a, b, &env->fp_status);
 561     }
 562     update_fr0_op(env, GETPC());
 563     update_fr0_cmp(env, y, c, r);
 564 }
 565
 566 float32 HELPER(fmpyfadd_s)(CPUHPPAState *env, float32 a, float32 b, float32 c)
 567 {
 568     float32 ret = float32_muladd(a, b, c, 0, &env->fp_status);
 569     update_fr0_op(env, GETPC());
 570     return ret;
 571 }
 572
 573 float32 HELPER(fmpynfadd_s)(CPUHPPAState *env, float32 a, float32 b, float32 c)
 574 {
 575     float32 ret = float32_muladd(a, b, c, float_muladd_negate_product,
 576                                  &env->fp_status);
 577     update_fr0_op(env, GETPC());
 578     return ret;
 579 }
 580
 581 float64 HELPER(fmpyfadd_d)(CPUHPPAState *env, float64 a, float64 b, float64 c)
 582 {
 583     float64 ret = float64_muladd(a, b, c, 0, &env->fp_status);
 584     update_fr0_op(env, GETPC());
 585     return ret;
 586 }
 587
 588 float64 HELPER(fmpynfadd_d)(CPUHPPAState *env, float64 a, float64 b, float64 c)
 589 {
 590     float64 ret = float64_muladd(a, b, c, float_muladd_negate_product,
 591                                  &env->fp_status);
 592     update_fr0_op(env, GETPC());
 593     return ret;
 594 }