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.1 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 "qemu/log.h" 22 #include "cpu.h" 23 #include "exec/exec-all.h" 24 #include "exec/helper-proto.h" 25 #include "exec/cpu_ldst.h" 26 #include "qemu/timer.h" 27 #include "trace.h" 28 29 G_NORETURN void HELPER(excp)(CPUHPPAState *env, int excp) 30 { 31 CPUState *cs = env_cpu(env); 32 33 cs->exception_index = excp; 34 cpu_loop_exit(cs); 35 } 36 37 G_NORETURN void hppa_dynamic_excp(CPUHPPAState *env, int excp, uintptr_t ra) 38 { 39 CPUState *cs = env_cpu(env); 40 41 cs->exception_index = excp; 42 cpu_loop_exit_restore(cs, ra); 43 } 44 45 void HELPER(tsv)(CPUHPPAState *env, target_ulong cond) 46 { 47 if (unlikely((target_long)cond < 0)) { 48 hppa_dynamic_excp(env, EXCP_OVERFLOW, GETPC()); 49 } 50 } 51 52 void HELPER(tcond)(CPUHPPAState *env, target_ulong cond) 53 { 54 if (unlikely(cond)) { 55 hppa_dynamic_excp(env, EXCP_COND, GETPC()); 56 } 57 } 58 59 static void atomic_store_mask32(CPUHPPAState *env, target_ulong addr, 60 uint32_t val, uint32_t mask, uintptr_t ra) 61 { 62 int mmu_idx = cpu_mmu_index(env, 0); 63 uint32_t old, new, cmp, *haddr; 64 void *vaddr; 65 66 vaddr = probe_access(env, addr, 3, MMU_DATA_STORE, mmu_idx, ra); 67 if (vaddr == NULL) { 68 cpu_loop_exit_atomic(env_cpu(env), ra); 69 } 70 haddr = (uint32_t *)((uintptr_t)vaddr & -4); 71 mask = addr & 1 ? 0x00ffffffu : 0xffffff00u; 72 73 old = *haddr; 74 while (1) { 75 new = be32_to_cpu((cpu_to_be32(old) & ~mask) | (val & mask)); 76 cmp = qatomic_cmpxchg(haddr, old, new); 77 if (cmp == old) { 78 return; 79 } 80 old = cmp; 81 } 82 } 83 84 static void atomic_store_mask64(CPUHPPAState *env, target_ulong addr, 85 uint64_t val, uint64_t mask, 86 int size, uintptr_t ra) 87 { 88 #ifdef CONFIG_ATOMIC64 89 int mmu_idx = cpu_mmu_index(env, 0); 90 uint64_t old, new, cmp, *haddr; 91 void *vaddr; 92 93 vaddr = probe_access(env, addr, size, MMU_DATA_STORE, mmu_idx, ra); 94 if (vaddr == NULL) { 95 cpu_loop_exit_atomic(env_cpu(env), ra); 96 } 97 haddr = (uint64_t *)((uintptr_t)vaddr & -8); 98 99 old = *haddr; 100 while (1) { 101 new = be32_to_cpu((cpu_to_be32(old) & ~mask) | (val & mask)); 102 cmp = qatomic_cmpxchg__nocheck(haddr, old, new); 103 if (cmp == old) { 104 return; 105 } 106 old = cmp; 107 } 108 #else 109 cpu_loop_exit_atomic(env_cpu(env), ra); 110 #endif 111 } 112 113 static void do_stby_b(CPUHPPAState *env, target_ulong addr, target_ulong val, 114 bool parallel, uintptr_t ra) 115 { 116 switch (addr & 3) { 117 case 3: 118 cpu_stb_data_ra(env, addr, val, ra); 119 break; 120 case 2: 121 cpu_stw_data_ra(env, addr, val, ra); 122 break; 123 case 1: 124 /* The 3 byte store must appear atomic. */ 125 if (parallel) { 126 atomic_store_mask32(env, addr, val, 0x00ffffffu, ra); 127 } else { 128 cpu_stb_data_ra(env, addr, val >> 16, ra); 129 cpu_stw_data_ra(env, addr + 1, val, ra); 130 } 131 break; 132 default: 133 cpu_stl_data_ra(env, addr, val, ra); 134 break; 135 } 136 } 137 138 static void do_stdby_b(CPUHPPAState *env, target_ulong addr, uint64_t val, 139 bool parallel, uintptr_t ra) 140 { 141 switch (addr & 7) { 142 case 7: 143 cpu_stb_data_ra(env, addr, val, ra); 144 break; 145 case 6: 146 cpu_stw_data_ra(env, addr, val, ra); 147 break; 148 case 5: 149 /* The 3 byte store must appear atomic. */ 150 if (parallel) { 151 atomic_store_mask32(env, addr, val, 0x00ffffffu, ra); 152 } else { 153 cpu_stb_data_ra(env, addr, val >> 16, ra); 154 cpu_stw_data_ra(env, addr + 1, val, ra); 155 } 156 break; 157 case 4: 158 cpu_stl_data_ra(env, addr, val, ra); 159 break; 160 case 3: 161 /* The 5 byte store must appear atomic. */ 162 if (parallel) { 163 atomic_store_mask64(env, addr, val, 0x000000ffffffffffull, 5, ra); 164 } else { 165 cpu_stb_data_ra(env, addr, val >> 32, ra); 166 cpu_stl_data_ra(env, addr + 1, val, ra); 167 } 168 break; 169 case 2: 170 /* The 6 byte store must appear atomic. */ 171 if (parallel) { 172 atomic_store_mask64(env, addr, val, 0x0000ffffffffffffull, 6, ra); 173 } else { 174 cpu_stw_data_ra(env, addr, val >> 32, ra); 175 cpu_stl_data_ra(env, addr + 2, val, ra); 176 } 177 break; 178 case 1: 179 /* The 7 byte store must appear atomic. */ 180 if (parallel) { 181 atomic_store_mask64(env, addr, val, 0x00ffffffffffffffull, 7, ra); 182 } else { 183 cpu_stb_data_ra(env, addr, val >> 48, ra); 184 cpu_stw_data_ra(env, addr + 1, val >> 32, ra); 185 cpu_stl_data_ra(env, addr + 3, val, ra); 186 } 187 break; 188 default: 189 cpu_stq_data_ra(env, addr, val, ra); 190 break; 191 } 192 } 193 194 void HELPER(stby_b)(CPUHPPAState *env, target_ulong addr, target_ulong val) 195 { 196 do_stby_b(env, addr, val, false, GETPC()); 197 } 198 199 void HELPER(stby_b_parallel)(CPUHPPAState *env, target_ulong addr, 200 target_ulong val) 201 { 202 do_stby_b(env, addr, val, true, GETPC()); 203 } 204 205 void HELPER(stdby_b)(CPUHPPAState *env, target_ulong addr, target_ulong val) 206 { 207 do_stdby_b(env, addr, val, false, GETPC()); 208 } 209 210 void HELPER(stdby_b_parallel)(CPUHPPAState *env, target_ulong addr, 211 target_ulong val) 212 { 213 do_stdby_b(env, addr, val, true, GETPC()); 214 } 215 216 static void do_stby_e(CPUHPPAState *env, target_ulong addr, target_ulong val, 217 bool parallel, uintptr_t ra) 218 { 219 switch (addr & 3) { 220 case 3: 221 /* The 3 byte store must appear atomic. */ 222 if (parallel) { 223 atomic_store_mask32(env, addr - 3, val, 0xffffff00u, ra); 224 } else { 225 cpu_stw_data_ra(env, addr - 3, val >> 16, ra); 226 cpu_stb_data_ra(env, addr - 1, val >> 8, ra); 227 } 228 break; 229 case 2: 230 cpu_stw_data_ra(env, addr - 2, val >> 16, ra); 231 break; 232 case 1: 233 cpu_stb_data_ra(env, addr - 1, val >> 24, ra); 234 break; 235 default: 236 /* Nothing is stored, but protection is checked and the 237 cacheline is marked dirty. */ 238 probe_write(env, addr, 0, cpu_mmu_index(env, 0), ra); 239 break; 240 } 241 } 242 243 static void do_stdby_e(CPUHPPAState *env, target_ulong addr, uint64_t val, 244 bool parallel, uintptr_t ra) 245 { 246 switch (addr & 7) { 247 case 7: 248 /* The 7 byte store must appear atomic. */ 249 if (parallel) { 250 atomic_store_mask64(env, addr - 7, val, 251 0xffffffffffffff00ull, 7, ra); 252 } else { 253 cpu_stl_data_ra(env, addr - 7, val >> 32, ra); 254 cpu_stw_data_ra(env, addr - 3, val >> 16, ra); 255 cpu_stb_data_ra(env, addr - 1, val >> 8, ra); 256 } 257 break; 258 case 6: 259 /* The 6 byte store must appear atomic. */ 260 if (parallel) { 261 atomic_store_mask64(env, addr - 6, val, 262 0xffffffffffff0000ull, 6, ra); 263 } else { 264 cpu_stl_data_ra(env, addr - 6, val >> 32, ra); 265 cpu_stw_data_ra(env, addr - 2, val >> 16, ra); 266 } 267 break; 268 case 5: 269 /* The 5 byte store must appear atomic. */ 270 if (parallel) { 271 atomic_store_mask64(env, addr - 5, val, 272 0xffffffffff000000ull, 5, ra); 273 } else { 274 cpu_stl_data_ra(env, addr - 5, val >> 32, ra); 275 cpu_stb_data_ra(env, addr - 1, val >> 24, ra); 276 } 277 break; 278 case 4: 279 cpu_stl_data_ra(env, addr - 4, val >> 32, ra); 280 break; 281 case 3: 282 /* The 3 byte store must appear atomic. */ 283 if (parallel) { 284 atomic_store_mask32(env, addr - 3, val, 0xffffff00u, ra); 285 } else { 286 cpu_stw_data_ra(env, addr - 3, val >> 16, ra); 287 cpu_stb_data_ra(env, addr - 1, val >> 8, ra); 288 } 289 break; 290 case 2: 291 cpu_stw_data_ra(env, addr - 2, val >> 16, ra); 292 break; 293 case 1: 294 cpu_stb_data_ra(env, addr - 1, val >> 24, ra); 295 break; 296 default: 297 /* Nothing is stored, but protection is checked and the 298 cacheline is marked dirty. */ 299 probe_write(env, addr, 0, cpu_mmu_index(env, 0), ra); 300 break; 301 } 302 } 303 304 void HELPER(stby_e)(CPUHPPAState *env, target_ulong addr, target_ulong val) 305 { 306 do_stby_e(env, addr, val, false, GETPC()); 307 } 308 309 void HELPER(stby_e_parallel)(CPUHPPAState *env, target_ulong addr, 310 target_ulong val) 311 { 312 do_stby_e(env, addr, val, true, GETPC()); 313 } 314 315 void HELPER(stdby_e)(CPUHPPAState *env, target_ulong addr, target_ulong val) 316 { 317 do_stdby_e(env, addr, val, false, GETPC()); 318 } 319 320 void HELPER(stdby_e_parallel)(CPUHPPAState *env, target_ulong addr, 321 target_ulong val) 322 { 323 do_stdby_e(env, addr, val, true, GETPC()); 324 } 325 326 void HELPER(ldc_check)(target_ulong addr) 327 { 328 if (unlikely(addr & 0xf)) { 329 qemu_log_mask(LOG_GUEST_ERROR, 330 "Undefined ldc to unaligned address mod 16: " 331 TARGET_FMT_lx "\n", addr); 332 } 333 } 334 335 target_ulong HELPER(probe)(CPUHPPAState *env, target_ulong addr, 336 uint32_t level, uint32_t want) 337 { 338 #ifdef CONFIG_USER_ONLY 339 return page_check_range(addr, 1, want); 340 #else 341 int prot, excp, mmu_idx; 342 hwaddr phys; 343 344 trace_hppa_tlb_probe(addr, level, want); 345 /* Fail if the requested privilege level is higher than current. */ 346 if (level < (env->iaoq_f & 3)) { 347 return 0; 348 } 349 350 mmu_idx = PRIV_P_TO_MMU_IDX(level, env->psw & PSW_P); 351 excp = hppa_get_physical_address(env, addr, mmu_idx, 0, &phys, 352 &prot, NULL); 353 if (excp >= 0) { 354 hppa_set_ior_and_isr(env, addr, MMU_IDX_MMU_DISABLED(mmu_idx)); 355 if (excp == EXCP_DTLB_MISS) { 356 excp = EXCP_NA_DTLB_MISS; 357 } 358 hppa_dynamic_excp(env, excp, GETPC()); 359 } 360 return (want & prot) != 0; 361 #endif 362 } 363 364 target_ulong HELPER(read_interval_timer)(void) 365 { 366 #ifdef CONFIG_USER_ONLY 367 /* In user-mode, QEMU_CLOCK_VIRTUAL doesn't exist. 368 Just pass through the host cpu clock ticks. */ 369 return cpu_get_host_ticks(); 370 #else 371 /* In system mode we have access to a decent high-resolution clock. 372 In order to make OS-level time accounting work with the cr16, 373 present it with a well-timed clock fixed at 250MHz. */ 374 return qemu_clock_get_ns(QEMU_CLOCK_VIRTUAL) >> 2; 375 #endif 376 } 377 378 uint64_t HELPER(hadd_ss)(uint64_t r1, uint64_t r2) 379 { 380 uint64_t ret = 0; 381 382 for (int i = 0; i < 64; i += 16) { 383 int f1 = sextract64(r1, i, 16); 384 int f2 = sextract64(r2, i, 16); 385 int fr = f1 + f2; 386 387 fr = MIN(fr, INT16_MAX); 388 fr = MAX(fr, INT16_MIN); 389 ret = deposit64(ret, i, 16, fr); 390 } 391 return ret; 392 } 393 394 uint64_t HELPER(hadd_us)(uint64_t r1, uint64_t r2) 395 { 396 uint64_t ret = 0; 397 398 for (int i = 0; i < 64; i += 16) { 399 int f1 = extract64(r1, i, 16); 400 int f2 = sextract64(r2, i, 16); 401 int fr = f1 + f2; 402 403 fr = MIN(fr, UINT16_MAX); 404 fr = MAX(fr, 0); 405 ret = deposit64(ret, i, 16, fr); 406 } 407 return ret; 408 } 409 410 uint64_t HELPER(havg)(uint64_t r1, uint64_t r2) 411 { 412 uint64_t ret = 0; 413 414 for (int i = 0; i < 64; i += 16) { 415 int f1 = extract64(r1, i, 16); 416 int f2 = extract64(r2, i, 16); 417 int fr = f1 + f2; 418 419 ret = deposit64(ret, i, 16, (fr >> 1) | (fr & 1)); 420 } 421 return ret; 422 } 423 424 uint64_t HELPER(hsub_ss)(uint64_t r1, uint64_t r2) 425 { 426 uint64_t ret = 0; 427 428 for (int i = 0; i < 64; i += 16) { 429 int f1 = sextract64(r1, i, 16); 430 int f2 = sextract64(r2, i, 16); 431 int fr = f1 - f2; 432 433 fr = MIN(fr, INT16_MAX); 434 fr = MAX(fr, INT16_MIN); 435 ret = deposit64(ret, i, 16, fr); 436 } 437 return ret; 438 } 439 440 uint64_t HELPER(hsub_us)(uint64_t r1, uint64_t r2) 441 { 442 uint64_t ret = 0; 443 444 for (int i = 0; i < 64; i += 16) { 445 int f1 = extract64(r1, i, 16); 446 int f2 = sextract64(r2, i, 16); 447 int fr = f1 - f2; 448 449 fr = MIN(fr, UINT16_MAX); 450 fr = MAX(fr, 0); 451 ret = deposit64(ret, i, 16, fr); 452 } 453 return ret; 454 } 455 456 uint64_t HELPER(hshladd)(uint64_t r1, uint64_t r2, uint32_t sh) 457 { 458 uint64_t ret = 0; 459 460 for (int i = 0; i < 64; i += 16) { 461 int f1 = sextract64(r1, i, 16); 462 int f2 = sextract64(r2, i, 16); 463 int fr = (f1 << sh) + f2; 464 465 fr = MIN(fr, INT16_MAX); 466 fr = MAX(fr, INT16_MIN); 467 ret = deposit64(ret, i, 16, fr); 468 } 469 return ret; 470 } 471 472 uint64_t HELPER(hshradd)(uint64_t r1, uint64_t r2, uint32_t sh) 473 { 474 uint64_t ret = 0; 475 476 for (int i = 0; i < 64; i += 16) { 477 int f1 = sextract64(r1, i, 16); 478 int f2 = sextract64(r2, i, 16); 479 int fr = (f1 >> sh) + f2; 480 481 fr = MIN(fr, INT16_MAX); 482 fr = MAX(fr, INT16_MIN); 483 ret = deposit64(ret, i, 16, fr); 484 } 485 return ret; 486 } 487