json-parser: propagate error from parser
[qemu/mdroth.git] / target-s390x / op_helper.c
blobdb03a7971f052e72b49588974313f89366071671
1 /*
2 * S/390 helper routines
4 * Copyright (c) 2009 Ulrich Hecht
5 * Copyright (c) 2009 Alexander Graf
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.
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.
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/>.
21 #include "exec.h"
22 #include "host-utils.h"
23 #include "helpers.h"
24 #include <string.h>
25 #include "kvm.h"
26 #include "qemu-timer.h"
28 /*****************************************************************************/
29 /* Softmmu support */
30 #if !defined (CONFIG_USER_ONLY)
32 #define MMUSUFFIX _mmu
34 #define SHIFT 0
35 #include "softmmu_template.h"
37 #define SHIFT 1
38 #include "softmmu_template.h"
40 #define SHIFT 2
41 #include "softmmu_template.h"
43 #define SHIFT 3
44 #include "softmmu_template.h"
46 /* try to fill the TLB and return an exception if error. If retaddr is
47 NULL, it means that the function was called in C code (i.e. not
48 from generated code or from helper.c) */
49 /* XXX: fix it to restore all registers */
50 void tlb_fill (target_ulong addr, int is_write, int mmu_idx, void *retaddr)
52 TranslationBlock *tb;
53 CPUState *saved_env;
54 unsigned long pc;
55 int ret;
57 /* XXX: hack to restore env in all cases, even if not called from
58 generated code */
59 saved_env = env;
60 env = cpu_single_env;
61 ret = cpu_s390x_handle_mmu_fault(env, addr, is_write, mmu_idx, 1);
62 if (unlikely(ret != 0)) {
63 if (likely(retaddr)) {
64 /* now we have a real cpu fault */
65 pc = (unsigned long)retaddr;
66 tb = tb_find_pc(pc);
67 if (likely(tb)) {
68 /* the PC is inside the translated code. It means that we have
69 a virtual CPU fault */
70 cpu_restore_state(tb, env, pc);
73 cpu_loop_exit();
75 env = saved_env;
78 #endif
80 /* #define DEBUG_HELPER */
81 #ifdef DEBUG_HELPER
82 #define HELPER_LOG(x...) qemu_log(x)
83 #else
84 #define HELPER_LOG(x...)
85 #endif
87 /* raise an exception */
88 void HELPER(exception)(uint32_t excp)
90 HELPER_LOG("%s: exception %d\n", __FUNCTION__, excp);
91 env->exception_index = excp;
92 cpu_loop_exit();
95 #ifndef CONFIG_USER_ONLY
96 static void mvc_fast_memset(CPUState *env, uint32_t l, uint64_t dest,
97 uint8_t byte)
99 target_phys_addr_t dest_phys;
100 target_phys_addr_t len = l;
101 void *dest_p;
102 uint64_t asc = env->psw.mask & PSW_MASK_ASC;
103 int flags;
105 if (mmu_translate(env, dest, 1, asc, &dest_phys, &flags)) {
106 stb(dest, byte);
107 cpu_abort(env, "should never reach here");
109 dest_phys |= dest & ~TARGET_PAGE_MASK;
111 dest_p = cpu_physical_memory_map(dest_phys, &len, 1);
113 memset(dest_p, byte, len);
115 cpu_physical_memory_unmap(dest_p, 1, len, len);
118 static void mvc_fast_memmove(CPUState *env, uint32_t l, uint64_t dest,
119 uint64_t src)
121 target_phys_addr_t dest_phys;
122 target_phys_addr_t src_phys;
123 target_phys_addr_t len = l;
124 void *dest_p;
125 void *src_p;
126 uint64_t asc = env->psw.mask & PSW_MASK_ASC;
127 int flags;
129 if (mmu_translate(env, dest, 1, asc, &dest_phys, &flags)) {
130 stb(dest, 0);
131 cpu_abort(env, "should never reach here");
133 dest_phys |= dest & ~TARGET_PAGE_MASK;
135 if (mmu_translate(env, src, 0, asc, &src_phys, &flags)) {
136 ldub(src);
137 cpu_abort(env, "should never reach here");
139 src_phys |= src & ~TARGET_PAGE_MASK;
141 dest_p = cpu_physical_memory_map(dest_phys, &len, 1);
142 src_p = cpu_physical_memory_map(src_phys, &len, 0);
144 memmove(dest_p, src_p, len);
146 cpu_physical_memory_unmap(dest_p, 1, len, len);
147 cpu_physical_memory_unmap(src_p, 0, len, len);
149 #endif
151 /* and on array */
152 uint32_t HELPER(nc)(uint32_t l, uint64_t dest, uint64_t src)
154 int i;
155 unsigned char x;
156 uint32_t cc = 0;
158 HELPER_LOG("%s l %d dest %" PRIx64 " src %" PRIx64 "\n",
159 __FUNCTION__, l, dest, src);
160 for (i = 0; i <= l; i++) {
161 x = ldub(dest + i) & ldub(src + i);
162 if (x) {
163 cc = 1;
165 stb(dest + i, x);
167 return cc;
170 /* xor on array */
171 uint32_t HELPER(xc)(uint32_t l, uint64_t dest, uint64_t src)
173 int i;
174 unsigned char x;
175 uint32_t cc = 0;
177 HELPER_LOG("%s l %d dest %" PRIx64 " src %" PRIx64 "\n",
178 __FUNCTION__, l, dest, src);
180 #ifndef CONFIG_USER_ONLY
181 /* xor with itself is the same as memset(0) */
182 if ((l > 32) && (src == dest) &&
183 (src & TARGET_PAGE_MASK) == ((src + l) & TARGET_PAGE_MASK)) {
184 mvc_fast_memset(env, l + 1, dest, 0);
185 return 0;
187 #else
188 if (src == dest) {
189 memset(g2h(dest), 0, l + 1);
190 return 0;
192 #endif
194 for (i = 0; i <= l; i++) {
195 x = ldub(dest + i) ^ ldub(src + i);
196 if (x) {
197 cc = 1;
199 stb(dest + i, x);
201 return cc;
204 /* or on array */
205 uint32_t HELPER(oc)(uint32_t l, uint64_t dest, uint64_t src)
207 int i;
208 unsigned char x;
209 uint32_t cc = 0;
211 HELPER_LOG("%s l %d dest %" PRIx64 " src %" PRIx64 "\n",
212 __FUNCTION__, l, dest, src);
213 for (i = 0; i <= l; i++) {
214 x = ldub(dest + i) | ldub(src + i);
215 if (x) {
216 cc = 1;
218 stb(dest + i, x);
220 return cc;
223 /* memmove */
224 void HELPER(mvc)(uint32_t l, uint64_t dest, uint64_t src)
226 int i = 0;
227 int x = 0;
228 uint32_t l_64 = (l + 1) / 8;
230 HELPER_LOG("%s l %d dest %" PRIx64 " src %" PRIx64 "\n",
231 __FUNCTION__, l, dest, src);
233 #ifndef CONFIG_USER_ONLY
234 if ((l > 32) &&
235 (src & TARGET_PAGE_MASK) == ((src + l) & TARGET_PAGE_MASK) &&
236 (dest & TARGET_PAGE_MASK) == ((dest + l) & TARGET_PAGE_MASK)) {
237 if (dest == (src + 1)) {
238 mvc_fast_memset(env, l + 1, dest, ldub(src));
239 return;
240 } else if ((src & TARGET_PAGE_MASK) != (dest & TARGET_PAGE_MASK)) {
241 mvc_fast_memmove(env, l + 1, dest, src);
242 return;
245 #else
246 if (dest == (src + 1)) {
247 memset(g2h(dest), ldub(src), l + 1);
248 return;
249 } else {
250 memmove(g2h(dest), g2h(src), l + 1);
251 return;
253 #endif
255 /* handle the parts that fit into 8-byte loads/stores */
256 if (dest != (src + 1)) {
257 for (i = 0; i < l_64; i++) {
258 stq(dest + x, ldq(src + x));
259 x += 8;
263 /* slow version crossing pages with byte accesses */
264 for (i = x; i <= l; i++) {
265 stb(dest + i, ldub(src + i));
269 /* compare unsigned byte arrays */
270 uint32_t HELPER(clc)(uint32_t l, uint64_t s1, uint64_t s2)
272 int i;
273 unsigned char x,y;
274 uint32_t cc;
275 HELPER_LOG("%s l %d s1 %" PRIx64 " s2 %" PRIx64 "\n",
276 __FUNCTION__, l, s1, s2);
277 for (i = 0; i <= l; i++) {
278 x = ldub(s1 + i);
279 y = ldub(s2 + i);
280 HELPER_LOG("%02x (%c)/%02x (%c) ", x, x, y, y);
281 if (x < y) {
282 cc = 1;
283 goto done;
284 } else if (x > y) {
285 cc = 2;
286 goto done;
289 cc = 0;
290 done:
291 HELPER_LOG("\n");
292 return cc;
295 /* compare logical under mask */
296 uint32_t HELPER(clm)(uint32_t r1, uint32_t mask, uint64_t addr)
298 uint8_t r,d;
299 uint32_t cc;
300 HELPER_LOG("%s: r1 0x%x mask 0x%x addr 0x%" PRIx64 "\n", __FUNCTION__, r1,
301 mask, addr);
302 cc = 0;
303 while (mask) {
304 if (mask & 8) {
305 d = ldub(addr);
306 r = (r1 & 0xff000000UL) >> 24;
307 HELPER_LOG("mask 0x%x %02x/%02x (0x%" PRIx64 ") ", mask, r, d,
308 addr);
309 if (r < d) {
310 cc = 1;
311 break;
312 } else if (r > d) {
313 cc = 2;
314 break;
316 addr++;
318 mask = (mask << 1) & 0xf;
319 r1 <<= 8;
321 HELPER_LOG("\n");
322 return cc;
325 /* store character under mask */
326 void HELPER(stcm)(uint32_t r1, uint32_t mask, uint64_t addr)
328 uint8_t r;
329 HELPER_LOG("%s: r1 0x%x mask 0x%x addr 0x%lx\n", __FUNCTION__, r1, mask,
330 addr);
331 while (mask) {
332 if (mask & 8) {
333 r = (r1 & 0xff000000UL) >> 24;
334 stb(addr, r);
335 HELPER_LOG("mask 0x%x %02x (0x%lx) ", mask, r, addr);
336 addr++;
338 mask = (mask << 1) & 0xf;
339 r1 <<= 8;
341 HELPER_LOG("\n");
344 /* 64/64 -> 128 unsigned multiplication */
345 void HELPER(mlg)(uint32_t r1, uint64_t v2)
347 #if HOST_LONG_BITS == 64 && defined(__GNUC__)
348 /* assuming 64-bit hosts have __uint128_t */
349 __uint128_t res = (__uint128_t)env->regs[r1 + 1];
350 res *= (__uint128_t)v2;
351 env->regs[r1] = (uint64_t)(res >> 64);
352 env->regs[r1 + 1] = (uint64_t)res;
353 #else
354 mulu64(&env->regs[r1 + 1], &env->regs[r1], env->regs[r1 + 1], v2);
355 #endif
358 /* 128 -> 64/64 unsigned division */
359 void HELPER(dlg)(uint32_t r1, uint64_t v2)
361 uint64_t divisor = v2;
363 if (!env->regs[r1]) {
364 /* 64 -> 64/64 case */
365 env->regs[r1] = env->regs[r1+1] % divisor;
366 env->regs[r1+1] = env->regs[r1+1] / divisor;
367 return;
368 } else {
370 #if HOST_LONG_BITS == 64 && defined(__GNUC__)
371 /* assuming 64-bit hosts have __uint128_t */
372 __uint128_t dividend = (((__uint128_t)env->regs[r1]) << 64) |
373 (env->regs[r1+1]);
374 __uint128_t quotient = dividend / divisor;
375 env->regs[r1+1] = quotient;
376 __uint128_t remainder = dividend % divisor;
377 env->regs[r1] = remainder;
378 #else
379 /* 32-bit hosts would need special wrapper functionality - just abort if
380 we encounter such a case; it's very unlikely anyways. */
381 cpu_abort(env, "128 -> 64/64 division not implemented\n");
382 #endif
386 static inline uint64_t get_address(int x2, int b2, int d2)
388 uint64_t r = d2;
390 if (x2) {
391 r += env->regs[x2];
394 if (b2) {
395 r += env->regs[b2];
398 /* 31-Bit mode */
399 if (!(env->psw.mask & PSW_MASK_64)) {
400 r &= 0x7fffffff;
403 return r;
406 static inline uint64_t get_address_31fix(int reg)
408 uint64_t r = env->regs[reg];
410 /* 31-Bit mode */
411 if (!(env->psw.mask & PSW_MASK_64)) {
412 r &= 0x7fffffff;
415 return r;
418 /* search string (c is byte to search, r2 is string, r1 end of string) */
419 uint32_t HELPER(srst)(uint32_t c, uint32_t r1, uint32_t r2)
421 uint64_t i;
422 uint32_t cc = 2;
423 uint64_t str = get_address_31fix(r2);
424 uint64_t end = get_address_31fix(r1);
426 HELPER_LOG("%s: c %d *r1 0x%" PRIx64 " *r2 0x%" PRIx64 "\n", __FUNCTION__,
427 c, env->regs[r1], env->regs[r2]);
429 for (i = str; i != end; i++) {
430 if (ldub(i) == c) {
431 env->regs[r1] = i;
432 cc = 1;
433 break;
437 return cc;
440 /* unsigned string compare (c is string terminator) */
441 uint32_t HELPER(clst)(uint32_t c, uint32_t r1, uint32_t r2)
443 uint64_t s1 = get_address_31fix(r1);
444 uint64_t s2 = get_address_31fix(r2);
445 uint8_t v1, v2;
446 uint32_t cc;
447 c = c & 0xff;
448 #ifdef CONFIG_USER_ONLY
449 if (!c) {
450 HELPER_LOG("%s: comparing '%s' and '%s'\n",
451 __FUNCTION__, (char*)g2h(s1), (char*)g2h(s2));
453 #endif
454 for (;;) {
455 v1 = ldub(s1);
456 v2 = ldub(s2);
457 if ((v1 == c || v2 == c) || (v1 != v2)) {
458 break;
460 s1++;
461 s2++;
464 if (v1 == v2) {
465 cc = 0;
466 } else {
467 cc = (v1 < v2) ? 1 : 2;
468 /* FIXME: 31-bit mode! */
469 env->regs[r1] = s1;
470 env->regs[r2] = s2;
472 return cc;
475 /* move page */
476 void HELPER(mvpg)(uint64_t r0, uint64_t r1, uint64_t r2)
478 /* XXX missing r0 handling */
479 #ifdef CONFIG_USER_ONLY
480 int i;
482 for (i = 0; i < TARGET_PAGE_SIZE; i++) {
483 stb(r1 + i, ldub(r2 + i));
485 #else
486 mvc_fast_memmove(env, TARGET_PAGE_SIZE, r1, r2);
487 #endif
490 /* string copy (c is string terminator) */
491 void HELPER(mvst)(uint32_t c, uint32_t r1, uint32_t r2)
493 uint64_t dest = get_address_31fix(r1);
494 uint64_t src = get_address_31fix(r2);
495 uint8_t v;
496 c = c & 0xff;
497 #ifdef CONFIG_USER_ONLY
498 if (!c) {
499 HELPER_LOG("%s: copy '%s' to 0x%lx\n", __FUNCTION__, (char*)g2h(src),
500 dest);
502 #endif
503 for (;;) {
504 v = ldub(src);
505 stb(dest, v);
506 if (v == c) {
507 break;
509 src++;
510 dest++;
512 env->regs[r1] = dest; /* FIXME: 31-bit mode! */
515 /* compare and swap 64-bit */
516 uint32_t HELPER(csg)(uint32_t r1, uint64_t a2, uint32_t r3)
518 /* FIXME: locking? */
519 uint32_t cc;
520 uint64_t v2 = ldq(a2);
521 if (env->regs[r1] == v2) {
522 cc = 0;
523 stq(a2, env->regs[r3]);
524 } else {
525 cc = 1;
526 env->regs[r1] = v2;
528 return cc;
531 /* compare double and swap 64-bit */
532 uint32_t HELPER(cdsg)(uint32_t r1, uint64_t a2, uint32_t r3)
534 /* FIXME: locking? */
535 uint32_t cc;
536 uint64_t v2_hi = ldq(a2);
537 uint64_t v2_lo = ldq(a2 + 8);
538 uint64_t v1_hi = env->regs[r1];
539 uint64_t v1_lo = env->regs[r1 + 1];
541 if ((v1_hi == v2_hi) && (v1_lo == v2_lo)) {
542 cc = 0;
543 stq(a2, env->regs[r3]);
544 stq(a2 + 8, env->regs[r3 + 1]);
545 } else {
546 cc = 1;
547 env->regs[r1] = v2_hi;
548 env->regs[r1 + 1] = v2_lo;
551 return cc;
554 /* compare and swap 32-bit */
555 uint32_t HELPER(cs)(uint32_t r1, uint64_t a2, uint32_t r3)
557 /* FIXME: locking? */
558 uint32_t cc;
559 HELPER_LOG("%s: r1 %d a2 0x%lx r3 %d\n", __FUNCTION__, r1, a2, r3);
560 uint32_t v2 = ldl(a2);
561 if (((uint32_t)env->regs[r1]) == v2) {
562 cc = 0;
563 stl(a2, (uint32_t)env->regs[r3]);
564 } else {
565 cc = 1;
566 env->regs[r1] = (env->regs[r1] & 0xffffffff00000000ULL) | v2;
568 return cc;
571 static uint32_t helper_icm(uint32_t r1, uint64_t address, uint32_t mask)
573 int pos = 24; /* top of the lower half of r1 */
574 uint64_t rmask = 0xff000000ULL;
575 uint8_t val = 0;
576 int ccd = 0;
577 uint32_t cc = 0;
579 while (mask) {
580 if (mask & 8) {
581 env->regs[r1] &= ~rmask;
582 val = ldub(address);
583 if ((val & 0x80) && !ccd) {
584 cc = 1;
586 ccd = 1;
587 if (val && cc == 0) {
588 cc = 2;
590 env->regs[r1] |= (uint64_t)val << pos;
591 address++;
593 mask = (mask << 1) & 0xf;
594 pos -= 8;
595 rmask >>= 8;
598 return cc;
601 /* execute instruction
602 this instruction executes an insn modified with the contents of r1
603 it does not change the executed instruction in memory
604 it does not change the program counter
605 in other words: tricky...
606 currently implemented by interpreting the cases it is most commonly used in
608 uint32_t HELPER(ex)(uint32_t cc, uint64_t v1, uint64_t addr, uint64_t ret)
610 uint16_t insn = lduw_code(addr);
611 HELPER_LOG("%s: v1 0x%lx addr 0x%lx insn 0x%x\n", __FUNCTION__, v1, addr,
612 insn);
613 if ((insn & 0xf0ff) == 0xd000) {
614 uint32_t l, insn2, b1, b2, d1, d2;
615 l = v1 & 0xff;
616 insn2 = ldl_code(addr + 2);
617 b1 = (insn2 >> 28) & 0xf;
618 b2 = (insn2 >> 12) & 0xf;
619 d1 = (insn2 >> 16) & 0xfff;
620 d2 = insn2 & 0xfff;
621 switch (insn & 0xf00) {
622 case 0x200:
623 helper_mvc(l, get_address(0, b1, d1), get_address(0, b2, d2));
624 break;
625 case 0x500:
626 cc = helper_clc(l, get_address(0, b1, d1), get_address(0, b2, d2));
627 break;
628 case 0x700:
629 cc = helper_xc(l, get_address(0, b1, d1), get_address(0, b2, d2));
630 break;
631 default:
632 goto abort;
633 break;
635 } else if ((insn & 0xff00) == 0x0a00) {
636 /* supervisor call */
637 HELPER_LOG("%s: svc %ld via execute\n", __FUNCTION__, (insn|v1) & 0xff);
638 env->psw.addr = ret - 4;
639 env->int_svc_code = (insn|v1) & 0xff;
640 env->int_svc_ilc = 4;
641 helper_exception(EXCP_SVC);
642 } else if ((insn & 0xff00) == 0xbf00) {
643 uint32_t insn2, r1, r3, b2, d2;
644 insn2 = ldl_code(addr + 2);
645 r1 = (insn2 >> 20) & 0xf;
646 r3 = (insn2 >> 16) & 0xf;
647 b2 = (insn2 >> 12) & 0xf;
648 d2 = insn2 & 0xfff;
649 cc = helper_icm(r1, get_address(0, b2, d2), r3);
650 } else {
651 abort:
652 cpu_abort(env, "EXECUTE on instruction prefix 0x%x not implemented\n",
653 insn);
655 return cc;
658 /* absolute value 32-bit */
659 uint32_t HELPER(abs_i32)(int32_t val)
661 if (val < 0) {
662 return -val;
663 } else {
664 return val;
668 /* negative absolute value 32-bit */
669 int32_t HELPER(nabs_i32)(int32_t val)
671 if (val < 0) {
672 return val;
673 } else {
674 return -val;
678 /* absolute value 64-bit */
679 uint64_t HELPER(abs_i64)(int64_t val)
681 HELPER_LOG("%s: val 0x%" PRIx64 "\n", __FUNCTION__, val);
683 if (val < 0) {
684 return -val;
685 } else {
686 return val;
690 /* negative absolute value 64-bit */
691 int64_t HELPER(nabs_i64)(int64_t val)
693 if (val < 0) {
694 return val;
695 } else {
696 return -val;
700 /* add with carry 32-bit unsigned */
701 uint32_t HELPER(addc_u32)(uint32_t cc, uint32_t v1, uint32_t v2)
703 uint32_t res;
705 res = v1 + v2;
706 if (cc & 2) {
707 res++;
710 return res;
713 /* store character under mask high operates on the upper half of r1 */
714 void HELPER(stcmh)(uint32_t r1, uint64_t address, uint32_t mask)
716 int pos = 56; /* top of the upper half of r1 */
718 while (mask) {
719 if (mask & 8) {
720 stb(address, (env->regs[r1] >> pos) & 0xff);
721 address++;
723 mask = (mask << 1) & 0xf;
724 pos -= 8;
728 /* insert character under mask high; same as icm, but operates on the
729 upper half of r1 */
730 uint32_t HELPER(icmh)(uint32_t r1, uint64_t address, uint32_t mask)
732 int pos = 56; /* top of the upper half of r1 */
733 uint64_t rmask = 0xff00000000000000ULL;
734 uint8_t val = 0;
735 int ccd = 0;
736 uint32_t cc = 0;
738 while (mask) {
739 if (mask & 8) {
740 env->regs[r1] &= ~rmask;
741 val = ldub(address);
742 if ((val & 0x80) && !ccd) {
743 cc = 1;
745 ccd = 1;
746 if (val && cc == 0) {
747 cc = 2;
749 env->regs[r1] |= (uint64_t)val << pos;
750 address++;
752 mask = (mask << 1) & 0xf;
753 pos -= 8;
754 rmask >>= 8;
757 return cc;
760 /* insert psw mask and condition code into r1 */
761 void HELPER(ipm)(uint32_t cc, uint32_t r1)
763 uint64_t r = env->regs[r1];
765 r &= 0xffffffff00ffffffULL;
766 r |= (cc << 28) | ( (env->psw.mask >> 40) & 0xf );
767 env->regs[r1] = r;
768 HELPER_LOG("%s: cc %d psw.mask 0x%lx r1 0x%lx\n", __FUNCTION__,
769 cc, env->psw.mask, r);
772 /* load access registers r1 to r3 from memory at a2 */
773 void HELPER(lam)(uint32_t r1, uint64_t a2, uint32_t r3)
775 int i;
777 for (i = r1;; i = (i + 1) % 16) {
778 env->aregs[i] = ldl(a2);
779 a2 += 4;
781 if (i == r3) {
782 break;
787 /* store access registers r1 to r3 in memory at a2 */
788 void HELPER(stam)(uint32_t r1, uint64_t a2, uint32_t r3)
790 int i;
792 for (i = r1;; i = (i + 1) % 16) {
793 stl(a2, env->aregs[i]);
794 a2 += 4;
796 if (i == r3) {
797 break;
802 /* move long */
803 uint32_t HELPER(mvcl)(uint32_t r1, uint32_t r2)
805 uint64_t destlen = env->regs[r1 + 1] & 0xffffff;
806 uint64_t dest = get_address_31fix(r1);
807 uint64_t srclen = env->regs[r2 + 1] & 0xffffff;
808 uint64_t src = get_address_31fix(r2);
809 uint8_t pad = src >> 24;
810 uint8_t v;
811 uint32_t cc;
813 if (destlen == srclen) {
814 cc = 0;
815 } else if (destlen < srclen) {
816 cc = 1;
817 } else {
818 cc = 2;
821 if (srclen > destlen) {
822 srclen = destlen;
825 for (; destlen && srclen; src++, dest++, destlen--, srclen--) {
826 v = ldub(src);
827 stb(dest, v);
830 for (; destlen; dest++, destlen--) {
831 stb(dest, pad);
834 env->regs[r1 + 1] = destlen;
835 /* can't use srclen here, we trunc'ed it */
836 env->regs[r2 + 1] -= src - env->regs[r2];
837 env->regs[r1] = dest;
838 env->regs[r2] = src;
840 return cc;
843 /* move long extended another memcopy insn with more bells and whistles */
844 uint32_t HELPER(mvcle)(uint32_t r1, uint64_t a2, uint32_t r3)
846 uint64_t destlen = env->regs[r1 + 1];
847 uint64_t dest = env->regs[r1];
848 uint64_t srclen = env->regs[r3 + 1];
849 uint64_t src = env->regs[r3];
850 uint8_t pad = a2 & 0xff;
851 uint8_t v;
852 uint32_t cc;
854 if (!(env->psw.mask & PSW_MASK_64)) {
855 destlen = (uint32_t)destlen;
856 srclen = (uint32_t)srclen;
857 dest &= 0x7fffffff;
858 src &= 0x7fffffff;
861 if (destlen == srclen) {
862 cc = 0;
863 } else if (destlen < srclen) {
864 cc = 1;
865 } else {
866 cc = 2;
869 if (srclen > destlen) {
870 srclen = destlen;
873 for (; destlen && srclen; src++, dest++, destlen--, srclen--) {
874 v = ldub(src);
875 stb(dest, v);
878 for (; destlen; dest++, destlen--) {
879 stb(dest, pad);
882 env->regs[r1 + 1] = destlen;
883 /* can't use srclen here, we trunc'ed it */
884 /* FIXME: 31-bit mode! */
885 env->regs[r3 + 1] -= src - env->regs[r3];
886 env->regs[r1] = dest;
887 env->regs[r3] = src;
889 return cc;
892 /* compare logical long extended memcompare insn with padding */
893 uint32_t HELPER(clcle)(uint32_t r1, uint64_t a2, uint32_t r3)
895 uint64_t destlen = env->regs[r1 + 1];
896 uint64_t dest = get_address_31fix(r1);
897 uint64_t srclen = env->regs[r3 + 1];
898 uint64_t src = get_address_31fix(r3);
899 uint8_t pad = a2 & 0xff;
900 uint8_t v1 = 0,v2 = 0;
901 uint32_t cc = 0;
903 if (!(destlen || srclen)) {
904 return cc;
907 if (srclen > destlen) {
908 srclen = destlen;
911 for (; destlen || srclen; src++, dest++, destlen--, srclen--) {
912 v1 = srclen ? ldub(src) : pad;
913 v2 = destlen ? ldub(dest) : pad;
914 if (v1 != v2) {
915 cc = (v1 < v2) ? 1 : 2;
916 break;
920 env->regs[r1 + 1] = destlen;
921 /* can't use srclen here, we trunc'ed it */
922 env->regs[r3 + 1] -= src - env->regs[r3];
923 env->regs[r1] = dest;
924 env->regs[r3] = src;
926 return cc;
929 /* subtract unsigned v2 from v1 with borrow */
930 uint32_t HELPER(slb)(uint32_t cc, uint32_t r1, uint32_t v2)
932 uint32_t v1 = env->regs[r1];
933 uint32_t res = v1 + (~v2) + (cc >> 1);
935 env->regs[r1] = (env->regs[r1] & 0xffffffff00000000ULL) | res;
936 if (cc & 2) {
937 /* borrow */
938 return v1 ? 1 : 0;
939 } else {
940 return v1 ? 3 : 2;
944 /* subtract unsigned v2 from v1 with borrow */
945 uint32_t HELPER(slbg)(uint32_t cc, uint32_t r1, uint64_t v1, uint64_t v2)
947 uint64_t res = v1 + (~v2) + (cc >> 1);
949 env->regs[r1] = res;
950 if (cc & 2) {
951 /* borrow */
952 return v1 ? 1 : 0;
953 } else {
954 return v1 ? 3 : 2;
958 static inline int float_comp_to_cc(int float_compare)
960 switch (float_compare) {
961 case float_relation_equal:
962 return 0;
963 case float_relation_less:
964 return 1;
965 case float_relation_greater:
966 return 2;
967 case float_relation_unordered:
968 return 3;
969 default:
970 cpu_abort(env, "unknown return value for float compare\n");
974 /* condition codes for binary FP ops */
975 static uint32_t set_cc_f32(float32 v1, float32 v2)
977 return float_comp_to_cc(float32_compare_quiet(v1, v2, &env->fpu_status));
980 static uint32_t set_cc_f64(float64 v1, float64 v2)
982 return float_comp_to_cc(float64_compare_quiet(v1, v2, &env->fpu_status));
985 /* condition codes for unary FP ops */
986 static uint32_t set_cc_nz_f32(float32 v)
988 if (float32_is_any_nan(v)) {
989 return 3;
990 } else if (float32_is_zero(v)) {
991 return 0;
992 } else if (float32_is_neg(v)) {
993 return 1;
994 } else {
995 return 2;
999 static uint32_t set_cc_nz_f64(float64 v)
1001 if (float64_is_any_nan(v)) {
1002 return 3;
1003 } else if (float64_is_zero(v)) {
1004 return 0;
1005 } else if (float64_is_neg(v)) {
1006 return 1;
1007 } else {
1008 return 2;
1012 static uint32_t set_cc_nz_f128(float128 v)
1014 if (float128_is_any_nan(v)) {
1015 return 3;
1016 } else if (float128_is_zero(v)) {
1017 return 0;
1018 } else if (float128_is_neg(v)) {
1019 return 1;
1020 } else {
1021 return 2;
1025 /* convert 32-bit int to 64-bit float */
1026 void HELPER(cdfbr)(uint32_t f1, int32_t v2)
1028 HELPER_LOG("%s: converting %d to f%d\n", __FUNCTION__, v2, f1);
1029 env->fregs[f1].d = int32_to_float64(v2, &env->fpu_status);
1032 /* convert 32-bit int to 128-bit float */
1033 void HELPER(cxfbr)(uint32_t f1, int32_t v2)
1035 CPU_QuadU v1;
1036 v1.q = int32_to_float128(v2, &env->fpu_status);
1037 env->fregs[f1].ll = v1.ll.upper;
1038 env->fregs[f1 + 2].ll = v1.ll.lower;
1041 /* convert 64-bit int to 32-bit float */
1042 void HELPER(cegbr)(uint32_t f1, int64_t v2)
1044 HELPER_LOG("%s: converting %ld to f%d\n", __FUNCTION__, v2, f1);
1045 env->fregs[f1].l.upper = int64_to_float32(v2, &env->fpu_status);
1048 /* convert 64-bit int to 64-bit float */
1049 void HELPER(cdgbr)(uint32_t f1, int64_t v2)
1051 HELPER_LOG("%s: converting %ld to f%d\n", __FUNCTION__, v2, f1);
1052 env->fregs[f1].d = int64_to_float64(v2, &env->fpu_status);
1055 /* convert 64-bit int to 128-bit float */
1056 void HELPER(cxgbr)(uint32_t f1, int64_t v2)
1058 CPU_QuadU x1;
1059 x1.q = int64_to_float128(v2, &env->fpu_status);
1060 HELPER_LOG("%s: converted %ld to 0x%lx and 0x%lx\n", __FUNCTION__, v2,
1061 x1.ll.upper, x1.ll.lower);
1062 env->fregs[f1].ll = x1.ll.upper;
1063 env->fregs[f1 + 2].ll = x1.ll.lower;
1066 /* convert 32-bit int to 32-bit float */
1067 void HELPER(cefbr)(uint32_t f1, int32_t v2)
1069 env->fregs[f1].l.upper = int32_to_float32(v2, &env->fpu_status);
1070 HELPER_LOG("%s: converting %d to 0x%d in f%d\n", __FUNCTION__, v2,
1071 env->fregs[f1].l.upper, f1);
1074 /* 32-bit FP addition RR */
1075 uint32_t HELPER(aebr)(uint32_t f1, uint32_t f2)
1077 env->fregs[f1].l.upper = float32_add(env->fregs[f1].l.upper,
1078 env->fregs[f2].l.upper,
1079 &env->fpu_status);
1080 HELPER_LOG("%s: adding 0x%d resulting in 0x%d in f%d\n", __FUNCTION__,
1081 env->fregs[f2].l.upper, env->fregs[f1].l.upper, f1);
1083 return set_cc_nz_f32(env->fregs[f1].l.upper);
1086 /* 64-bit FP addition RR */
1087 uint32_t HELPER(adbr)(uint32_t f1, uint32_t f2)
1089 env->fregs[f1].d = float64_add(env->fregs[f1].d, env->fregs[f2].d,
1090 &env->fpu_status);
1091 HELPER_LOG("%s: adding 0x%ld resulting in 0x%ld in f%d\n", __FUNCTION__,
1092 env->fregs[f2].d, env->fregs[f1].d, f1);
1094 return set_cc_nz_f64(env->fregs[f1].d);
1097 /* 32-bit FP subtraction RR */
1098 uint32_t HELPER(sebr)(uint32_t f1, uint32_t f2)
1100 env->fregs[f1].l.upper = float32_sub(env->fregs[f1].l.upper,
1101 env->fregs[f2].l.upper,
1102 &env->fpu_status);
1103 HELPER_LOG("%s: adding 0x%d resulting in 0x%d in f%d\n", __FUNCTION__,
1104 env->fregs[f2].l.upper, env->fregs[f1].l.upper, f1);
1106 return set_cc_nz_f32(env->fregs[f1].l.upper);
1109 /* 64-bit FP subtraction RR */
1110 uint32_t HELPER(sdbr)(uint32_t f1, uint32_t f2)
1112 env->fregs[f1].d = float64_sub(env->fregs[f1].d, env->fregs[f2].d,
1113 &env->fpu_status);
1114 HELPER_LOG("%s: subtracting 0x%ld resulting in 0x%ld in f%d\n",
1115 __FUNCTION__, env->fregs[f2].d, env->fregs[f1].d, f1);
1117 return set_cc_nz_f64(env->fregs[f1].d);
1120 /* 32-bit FP division RR */
1121 void HELPER(debr)(uint32_t f1, uint32_t f2)
1123 env->fregs[f1].l.upper = float32_div(env->fregs[f1].l.upper,
1124 env->fregs[f2].l.upper,
1125 &env->fpu_status);
1128 /* 128-bit FP division RR */
1129 void HELPER(dxbr)(uint32_t f1, uint32_t f2)
1131 CPU_QuadU v1;
1132 v1.ll.upper = env->fregs[f1].ll;
1133 v1.ll.lower = env->fregs[f1 + 2].ll;
1134 CPU_QuadU v2;
1135 v2.ll.upper = env->fregs[f2].ll;
1136 v2.ll.lower = env->fregs[f2 + 2].ll;
1137 CPU_QuadU res;
1138 res.q = float128_div(v1.q, v2.q, &env->fpu_status);
1139 env->fregs[f1].ll = res.ll.upper;
1140 env->fregs[f1 + 2].ll = res.ll.lower;
1143 /* 64-bit FP multiplication RR */
1144 void HELPER(mdbr)(uint32_t f1, uint32_t f2)
1146 env->fregs[f1].d = float64_mul(env->fregs[f1].d, env->fregs[f2].d,
1147 &env->fpu_status);
1150 /* 128-bit FP multiplication RR */
1151 void HELPER(mxbr)(uint32_t f1, uint32_t f2)
1153 CPU_QuadU v1;
1154 v1.ll.upper = env->fregs[f1].ll;
1155 v1.ll.lower = env->fregs[f1 + 2].ll;
1156 CPU_QuadU v2;
1157 v2.ll.upper = env->fregs[f2].ll;
1158 v2.ll.lower = env->fregs[f2 + 2].ll;
1159 CPU_QuadU res;
1160 res.q = float128_mul(v1.q, v2.q, &env->fpu_status);
1161 env->fregs[f1].ll = res.ll.upper;
1162 env->fregs[f1 + 2].ll = res.ll.lower;
1165 /* convert 32-bit float to 64-bit float */
1166 void HELPER(ldebr)(uint32_t r1, uint32_t r2)
1168 env->fregs[r1].d = float32_to_float64(env->fregs[r2].l.upper,
1169 &env->fpu_status);
1172 /* convert 128-bit float to 64-bit float */
1173 void HELPER(ldxbr)(uint32_t f1, uint32_t f2)
1175 CPU_QuadU x2;
1176 x2.ll.upper = env->fregs[f2].ll;
1177 x2.ll.lower = env->fregs[f2 + 2].ll;
1178 env->fregs[f1].d = float128_to_float64(x2.q, &env->fpu_status);
1179 HELPER_LOG("%s: to 0x%ld\n", __FUNCTION__, env->fregs[f1].d);
1182 /* convert 64-bit float to 128-bit float */
1183 void HELPER(lxdbr)(uint32_t f1, uint32_t f2)
1185 CPU_QuadU res;
1186 res.q = float64_to_float128(env->fregs[f2].d, &env->fpu_status);
1187 env->fregs[f1].ll = res.ll.upper;
1188 env->fregs[f1 + 2].ll = res.ll.lower;
1191 /* convert 64-bit float to 32-bit float */
1192 void HELPER(ledbr)(uint32_t f1, uint32_t f2)
1194 float64 d2 = env->fregs[f2].d;
1195 env->fregs[f1].l.upper = float64_to_float32(d2, &env->fpu_status);
1198 /* convert 128-bit float to 32-bit float */
1199 void HELPER(lexbr)(uint32_t f1, uint32_t f2)
1201 CPU_QuadU x2;
1202 x2.ll.upper = env->fregs[f2].ll;
1203 x2.ll.lower = env->fregs[f2 + 2].ll;
1204 env->fregs[f1].l.upper = float128_to_float32(x2.q, &env->fpu_status);
1205 HELPER_LOG("%s: to 0x%d\n", __FUNCTION__, env->fregs[f1].l.upper);
1208 /* absolute value of 32-bit float */
1209 uint32_t HELPER(lpebr)(uint32_t f1, uint32_t f2)
1211 float32 v1;
1212 float32 v2 = env->fregs[f2].d;
1213 v1 = float32_abs(v2);
1214 env->fregs[f1].d = v1;
1215 return set_cc_nz_f32(v1);
1218 /* absolute value of 64-bit float */
1219 uint32_t HELPER(lpdbr)(uint32_t f1, uint32_t f2)
1221 float64 v1;
1222 float64 v2 = env->fregs[f2].d;
1223 v1 = float64_abs(v2);
1224 env->fregs[f1].d = v1;
1225 return set_cc_nz_f64(v1);
1228 /* absolute value of 128-bit float */
1229 uint32_t HELPER(lpxbr)(uint32_t f1, uint32_t f2)
1231 CPU_QuadU v1;
1232 CPU_QuadU v2;
1233 v2.ll.upper = env->fregs[f2].ll;
1234 v2.ll.lower = env->fregs[f2 + 2].ll;
1235 v1.q = float128_abs(v2.q);
1236 env->fregs[f1].ll = v1.ll.upper;
1237 env->fregs[f1 + 2].ll = v1.ll.lower;
1238 return set_cc_nz_f128(v1.q);
1241 /* load and test 64-bit float */
1242 uint32_t HELPER(ltdbr)(uint32_t f1, uint32_t f2)
1244 env->fregs[f1].d = env->fregs[f2].d;
1245 return set_cc_nz_f64(env->fregs[f1].d);
1248 /* load and test 32-bit float */
1249 uint32_t HELPER(ltebr)(uint32_t f1, uint32_t f2)
1251 env->fregs[f1].l.upper = env->fregs[f2].l.upper;
1252 return set_cc_nz_f32(env->fregs[f1].l.upper);
1255 /* load and test 128-bit float */
1256 uint32_t HELPER(ltxbr)(uint32_t f1, uint32_t f2)
1258 CPU_QuadU x;
1259 x.ll.upper = env->fregs[f2].ll;
1260 x.ll.lower = env->fregs[f2 + 2].ll;
1261 env->fregs[f1].ll = x.ll.upper;
1262 env->fregs[f1 + 2].ll = x.ll.lower;
1263 return set_cc_nz_f128(x.q);
1266 /* load complement of 32-bit float */
1267 uint32_t HELPER(lcebr)(uint32_t f1, uint32_t f2)
1269 env->fregs[f1].l.upper = float32_chs(env->fregs[f2].l.upper);
1271 return set_cc_nz_f32(env->fregs[f1].l.upper);
1274 /* load complement of 64-bit float */
1275 uint32_t HELPER(lcdbr)(uint32_t f1, uint32_t f2)
1277 env->fregs[f1].d = float64_chs(env->fregs[f2].d);
1279 return set_cc_nz_f64(env->fregs[f1].d);
1282 /* load complement of 128-bit float */
1283 uint32_t HELPER(lcxbr)(uint32_t f1, uint32_t f2)
1285 CPU_QuadU x1, x2;
1286 x2.ll.upper = env->fregs[f2].ll;
1287 x2.ll.lower = env->fregs[f2 + 2].ll;
1288 x1.q = float128_chs(x2.q);
1289 env->fregs[f1].ll = x1.ll.upper;
1290 env->fregs[f1 + 2].ll = x1.ll.lower;
1291 return set_cc_nz_f128(x1.q);
1294 /* 32-bit FP addition RM */
1295 void HELPER(aeb)(uint32_t f1, uint32_t val)
1297 float32 v1 = env->fregs[f1].l.upper;
1298 CPU_FloatU v2;
1299 v2.l = val;
1300 HELPER_LOG("%s: adding 0x%d from f%d and 0x%d\n", __FUNCTION__,
1301 v1, f1, v2.f);
1302 env->fregs[f1].l.upper = float32_add(v1, v2.f, &env->fpu_status);
1305 /* 32-bit FP division RM */
1306 void HELPER(deb)(uint32_t f1, uint32_t val)
1308 float32 v1 = env->fregs[f1].l.upper;
1309 CPU_FloatU v2;
1310 v2.l = val;
1311 HELPER_LOG("%s: dividing 0x%d from f%d by 0x%d\n", __FUNCTION__,
1312 v1, f1, v2.f);
1313 env->fregs[f1].l.upper = float32_div(v1, v2.f, &env->fpu_status);
1316 /* 32-bit FP multiplication RM */
1317 void HELPER(meeb)(uint32_t f1, uint32_t val)
1319 float32 v1 = env->fregs[f1].l.upper;
1320 CPU_FloatU v2;
1321 v2.l = val;
1322 HELPER_LOG("%s: multiplying 0x%d from f%d and 0x%d\n", __FUNCTION__,
1323 v1, f1, v2.f);
1324 env->fregs[f1].l.upper = float32_mul(v1, v2.f, &env->fpu_status);
1327 /* 32-bit FP compare RR */
1328 uint32_t HELPER(cebr)(uint32_t f1, uint32_t f2)
1330 float32 v1 = env->fregs[f1].l.upper;
1331 float32 v2 = env->fregs[f2].l.upper;;
1332 HELPER_LOG("%s: comparing 0x%d from f%d and 0x%d\n", __FUNCTION__,
1333 v1, f1, v2);
1334 return set_cc_f32(v1, v2);
1337 /* 64-bit FP compare RR */
1338 uint32_t HELPER(cdbr)(uint32_t f1, uint32_t f2)
1340 float64 v1 = env->fregs[f1].d;
1341 float64 v2 = env->fregs[f2].d;;
1342 HELPER_LOG("%s: comparing 0x%ld from f%d and 0x%ld\n", __FUNCTION__,
1343 v1, f1, v2);
1344 return set_cc_f64(v1, v2);
1347 /* 128-bit FP compare RR */
1348 uint32_t HELPER(cxbr)(uint32_t f1, uint32_t f2)
1350 CPU_QuadU v1;
1351 v1.ll.upper = env->fregs[f1].ll;
1352 v1.ll.lower = env->fregs[f1 + 2].ll;
1353 CPU_QuadU v2;
1354 v2.ll.upper = env->fregs[f2].ll;
1355 v2.ll.lower = env->fregs[f2 + 2].ll;
1357 return float_comp_to_cc(float128_compare_quiet(v1.q, v2.q,
1358 &env->fpu_status));
1361 /* 64-bit FP compare RM */
1362 uint32_t HELPER(cdb)(uint32_t f1, uint64_t a2)
1364 float64 v1 = env->fregs[f1].d;
1365 CPU_DoubleU v2;
1366 v2.ll = ldq(a2);
1367 HELPER_LOG("%s: comparing 0x%ld from f%d and 0x%lx\n", __FUNCTION__, v1,
1368 f1, v2.d);
1369 return set_cc_f64(v1, v2.d);
1372 /* 64-bit FP addition RM */
1373 uint32_t HELPER(adb)(uint32_t f1, uint64_t a2)
1375 float64 v1 = env->fregs[f1].d;
1376 CPU_DoubleU v2;
1377 v2.ll = ldq(a2);
1378 HELPER_LOG("%s: adding 0x%lx from f%d and 0x%lx\n", __FUNCTION__,
1379 v1, f1, v2.d);
1380 env->fregs[f1].d = v1 = float64_add(v1, v2.d, &env->fpu_status);
1381 return set_cc_nz_f64(v1);
1384 /* 32-bit FP subtraction RM */
1385 void HELPER(seb)(uint32_t f1, uint32_t val)
1387 float32 v1 = env->fregs[f1].l.upper;
1388 CPU_FloatU v2;
1389 v2.l = val;
1390 env->fregs[f1].l.upper = float32_sub(v1, v2.f, &env->fpu_status);
1393 /* 64-bit FP subtraction RM */
1394 uint32_t HELPER(sdb)(uint32_t f1, uint64_t a2)
1396 float64 v1 = env->fregs[f1].d;
1397 CPU_DoubleU v2;
1398 v2.ll = ldq(a2);
1399 env->fregs[f1].d = v1 = float64_sub(v1, v2.d, &env->fpu_status);
1400 return set_cc_nz_f64(v1);
1403 /* 64-bit FP multiplication RM */
1404 void HELPER(mdb)(uint32_t f1, uint64_t a2)
1406 float64 v1 = env->fregs[f1].d;
1407 CPU_DoubleU v2;
1408 v2.ll = ldq(a2);
1409 HELPER_LOG("%s: multiplying 0x%lx from f%d and 0x%ld\n", __FUNCTION__,
1410 v1, f1, v2.d);
1411 env->fregs[f1].d = float64_mul(v1, v2.d, &env->fpu_status);
1414 /* 64-bit FP division RM */
1415 void HELPER(ddb)(uint32_t f1, uint64_t a2)
1417 float64 v1 = env->fregs[f1].d;
1418 CPU_DoubleU v2;
1419 v2.ll = ldq(a2);
1420 HELPER_LOG("%s: dividing 0x%lx from f%d by 0x%ld\n", __FUNCTION__,
1421 v1, f1, v2.d);
1422 env->fregs[f1].d = float64_div(v1, v2.d, &env->fpu_status);
1425 static void set_round_mode(int m3)
1427 switch (m3) {
1428 case 0:
1429 /* current mode */
1430 break;
1431 case 1:
1432 /* biased round no nearest */
1433 case 4:
1434 /* round to nearest */
1435 set_float_rounding_mode(float_round_nearest_even, &env->fpu_status);
1436 break;
1437 case 5:
1438 /* round to zero */
1439 set_float_rounding_mode(float_round_to_zero, &env->fpu_status);
1440 break;
1441 case 6:
1442 /* round to +inf */
1443 set_float_rounding_mode(float_round_up, &env->fpu_status);
1444 break;
1445 case 7:
1446 /* round to -inf */
1447 set_float_rounding_mode(float_round_down, &env->fpu_status);
1448 break;
1452 /* convert 32-bit float to 64-bit int */
1453 uint32_t HELPER(cgebr)(uint32_t r1, uint32_t f2, uint32_t m3)
1455 float32 v2 = env->fregs[f2].l.upper;
1456 set_round_mode(m3);
1457 env->regs[r1] = float32_to_int64(v2, &env->fpu_status);
1458 return set_cc_nz_f32(v2);
1461 /* convert 64-bit float to 64-bit int */
1462 uint32_t HELPER(cgdbr)(uint32_t r1, uint32_t f2, uint32_t m3)
1464 float64 v2 = env->fregs[f2].d;
1465 set_round_mode(m3);
1466 env->regs[r1] = float64_to_int64(v2, &env->fpu_status);
1467 return set_cc_nz_f64(v2);
1470 /* convert 128-bit float to 64-bit int */
1471 uint32_t HELPER(cgxbr)(uint32_t r1, uint32_t f2, uint32_t m3)
1473 CPU_QuadU v2;
1474 v2.ll.upper = env->fregs[f2].ll;
1475 v2.ll.lower = env->fregs[f2 + 2].ll;
1476 set_round_mode(m3);
1477 env->regs[r1] = float128_to_int64(v2.q, &env->fpu_status);
1478 if (float128_is_any_nan(v2.q)) {
1479 return 3;
1480 } else if (float128_is_zero(v2.q)) {
1481 return 0;
1482 } else if (float128_is_neg(v2.q)) {
1483 return 1;
1484 } else {
1485 return 2;
1489 /* convert 32-bit float to 32-bit int */
1490 uint32_t HELPER(cfebr)(uint32_t r1, uint32_t f2, uint32_t m3)
1492 float32 v2 = env->fregs[f2].l.upper;
1493 set_round_mode(m3);
1494 env->regs[r1] = (env->regs[r1] & 0xffffffff00000000ULL) |
1495 float32_to_int32(v2, &env->fpu_status);
1496 return set_cc_nz_f32(v2);
1499 /* convert 64-bit float to 32-bit int */
1500 uint32_t HELPER(cfdbr)(uint32_t r1, uint32_t f2, uint32_t m3)
1502 float64 v2 = env->fregs[f2].d;
1503 set_round_mode(m3);
1504 env->regs[r1] = (env->regs[r1] & 0xffffffff00000000ULL) |
1505 float64_to_int32(v2, &env->fpu_status);
1506 return set_cc_nz_f64(v2);
1509 /* convert 128-bit float to 32-bit int */
1510 uint32_t HELPER(cfxbr)(uint32_t r1, uint32_t f2, uint32_t m3)
1512 CPU_QuadU v2;
1513 v2.ll.upper = env->fregs[f2].ll;
1514 v2.ll.lower = env->fregs[f2 + 2].ll;
1515 env->regs[r1] = (env->regs[r1] & 0xffffffff00000000ULL) |
1516 float128_to_int32(v2.q, &env->fpu_status);
1517 return set_cc_nz_f128(v2.q);
1520 /* load 32-bit FP zero */
1521 void HELPER(lzer)(uint32_t f1)
1523 env->fregs[f1].l.upper = float32_zero;
1526 /* load 64-bit FP zero */
1527 void HELPER(lzdr)(uint32_t f1)
1529 env->fregs[f1].d = float64_zero;
1532 /* load 128-bit FP zero */
1533 void HELPER(lzxr)(uint32_t f1)
1535 CPU_QuadU x;
1536 x.q = float64_to_float128(float64_zero, &env->fpu_status);
1537 env->fregs[f1].ll = x.ll.upper;
1538 env->fregs[f1 + 1].ll = x.ll.lower;
1541 /* 128-bit FP subtraction RR */
1542 uint32_t HELPER(sxbr)(uint32_t f1, uint32_t f2)
1544 CPU_QuadU v1;
1545 v1.ll.upper = env->fregs[f1].ll;
1546 v1.ll.lower = env->fregs[f1 + 2].ll;
1547 CPU_QuadU v2;
1548 v2.ll.upper = env->fregs[f2].ll;
1549 v2.ll.lower = env->fregs[f2 + 2].ll;
1550 CPU_QuadU res;
1551 res.q = float128_sub(v1.q, v2.q, &env->fpu_status);
1552 env->fregs[f1].ll = res.ll.upper;
1553 env->fregs[f1 + 2].ll = res.ll.lower;
1554 return set_cc_nz_f128(res.q);
1557 /* 128-bit FP addition RR */
1558 uint32_t HELPER(axbr)(uint32_t f1, uint32_t f2)
1560 CPU_QuadU v1;
1561 v1.ll.upper = env->fregs[f1].ll;
1562 v1.ll.lower = env->fregs[f1 + 2].ll;
1563 CPU_QuadU v2;
1564 v2.ll.upper = env->fregs[f2].ll;
1565 v2.ll.lower = env->fregs[f2 + 2].ll;
1566 CPU_QuadU res;
1567 res.q = float128_add(v1.q, v2.q, &env->fpu_status);
1568 env->fregs[f1].ll = res.ll.upper;
1569 env->fregs[f1 + 2].ll = res.ll.lower;
1570 return set_cc_nz_f128(res.q);
1573 /* 32-bit FP multiplication RR */
1574 void HELPER(meebr)(uint32_t f1, uint32_t f2)
1576 env->fregs[f1].l.upper = float32_mul(env->fregs[f1].l.upper,
1577 env->fregs[f2].l.upper,
1578 &env->fpu_status);
1581 /* 64-bit FP division RR */
1582 void HELPER(ddbr)(uint32_t f1, uint32_t f2)
1584 env->fregs[f1].d = float64_div(env->fregs[f1].d, env->fregs[f2].d,
1585 &env->fpu_status);
1588 /* 64-bit FP multiply and add RM */
1589 void HELPER(madb)(uint32_t f1, uint64_t a2, uint32_t f3)
1591 HELPER_LOG("%s: f1 %d a2 0x%lx f3 %d\n", __FUNCTION__, f1, a2, f3);
1592 CPU_DoubleU v2;
1593 v2.ll = ldq(a2);
1594 env->fregs[f1].d = float64_add(env->fregs[f1].d,
1595 float64_mul(v2.d, env->fregs[f3].d,
1596 &env->fpu_status),
1597 &env->fpu_status);
1600 /* 64-bit FP multiply and add RR */
1601 void HELPER(madbr)(uint32_t f1, uint32_t f3, uint32_t f2)
1603 HELPER_LOG("%s: f1 %d f2 %d f3 %d\n", __FUNCTION__, f1, f2, f3);
1604 env->fregs[f1].d = float64_add(float64_mul(env->fregs[f2].d,
1605 env->fregs[f3].d,
1606 &env->fpu_status),
1607 env->fregs[f1].d, &env->fpu_status);
1610 /* 64-bit FP multiply and subtract RR */
1611 void HELPER(msdbr)(uint32_t f1, uint32_t f3, uint32_t f2)
1613 HELPER_LOG("%s: f1 %d f2 %d f3 %d\n", __FUNCTION__, f1, f2, f3);
1614 env->fregs[f1].d = float64_sub(float64_mul(env->fregs[f2].d,
1615 env->fregs[f3].d,
1616 &env->fpu_status),
1617 env->fregs[f1].d, &env->fpu_status);
1620 /* 32-bit FP multiply and add RR */
1621 void HELPER(maebr)(uint32_t f1, uint32_t f3, uint32_t f2)
1623 env->fregs[f1].l.upper = float32_add(env->fregs[f1].l.upper,
1624 float32_mul(env->fregs[f2].l.upper,
1625 env->fregs[f3].l.upper,
1626 &env->fpu_status),
1627 &env->fpu_status);
1630 /* convert 64-bit float to 128-bit float */
1631 void HELPER(lxdb)(uint32_t f1, uint64_t a2)
1633 CPU_DoubleU v2;
1634 v2.ll = ldq(a2);
1635 CPU_QuadU v1;
1636 v1.q = float64_to_float128(v2.d, &env->fpu_status);
1637 env->fregs[f1].ll = v1.ll.upper;
1638 env->fregs[f1 + 2].ll = v1.ll.lower;
1641 /* test data class 32-bit */
1642 uint32_t HELPER(tceb)(uint32_t f1, uint64_t m2)
1644 float32 v1 = env->fregs[f1].l.upper;
1645 int neg = float32_is_neg(v1);
1646 uint32_t cc = 0;
1648 HELPER_LOG("%s: v1 0x%lx m2 0x%lx neg %d\n", __FUNCTION__, (long)v1, m2, neg);
1649 if ((float32_is_zero(v1) && (m2 & (1 << (11-neg)))) ||
1650 (float32_is_infinity(v1) && (m2 & (1 << (5-neg)))) ||
1651 (float32_is_any_nan(v1) && (m2 & (1 << (3-neg)))) ||
1652 (float32_is_signaling_nan(v1) && (m2 & (1 << (1-neg))))) {
1653 cc = 1;
1654 } else if (m2 & (1 << (9-neg))) {
1655 /* assume normalized number */
1656 cc = 1;
1659 /* FIXME: denormalized? */
1660 return cc;
1663 /* test data class 64-bit */
1664 uint32_t HELPER(tcdb)(uint32_t f1, uint64_t m2)
1666 float64 v1 = env->fregs[f1].d;
1667 int neg = float64_is_neg(v1);
1668 uint32_t cc = 0;
1670 HELPER_LOG("%s: v1 0x%lx m2 0x%lx neg %d\n", __FUNCTION__, v1, m2, neg);
1671 if ((float64_is_zero(v1) && (m2 & (1 << (11-neg)))) ||
1672 (float64_is_infinity(v1) && (m2 & (1 << (5-neg)))) ||
1673 (float64_is_any_nan(v1) && (m2 & (1 << (3-neg)))) ||
1674 (float64_is_signaling_nan(v1) && (m2 & (1 << (1-neg))))) {
1675 cc = 1;
1676 } else if (m2 & (1 << (9-neg))) {
1677 /* assume normalized number */
1678 cc = 1;
1680 /* FIXME: denormalized? */
1681 return cc;
1684 /* test data class 128-bit */
1685 uint32_t HELPER(tcxb)(uint32_t f1, uint64_t m2)
1687 CPU_QuadU v1;
1688 uint32_t cc = 0;
1689 v1.ll.upper = env->fregs[f1].ll;
1690 v1.ll.lower = env->fregs[f1 + 2].ll;
1692 int neg = float128_is_neg(v1.q);
1693 if ((float128_is_zero(v1.q) && (m2 & (1 << (11-neg)))) ||
1694 (float128_is_infinity(v1.q) && (m2 & (1 << (5-neg)))) ||
1695 (float128_is_any_nan(v1.q) && (m2 & (1 << (3-neg)))) ||
1696 (float128_is_signaling_nan(v1.q) && (m2 & (1 << (1-neg))))) {
1697 cc = 1;
1698 } else if (m2 & (1 << (9-neg))) {
1699 /* assume normalized number */
1700 cc = 1;
1702 /* FIXME: denormalized? */
1703 return cc;
1706 /* find leftmost one */
1707 uint32_t HELPER(flogr)(uint32_t r1, uint64_t v2)
1709 uint64_t res = 0;
1710 uint64_t ov2 = v2;
1712 while (!(v2 & 0x8000000000000000ULL) && v2) {
1713 v2 <<= 1;
1714 res++;
1717 if (!v2) {
1718 env->regs[r1] = 64;
1719 env->regs[r1 + 1] = 0;
1720 return 0;
1721 } else {
1722 env->regs[r1] = res;
1723 env->regs[r1 + 1] = ov2 & ~(0x8000000000000000ULL >> res);
1724 return 2;
1728 /* square root 64-bit RR */
1729 void HELPER(sqdbr)(uint32_t f1, uint32_t f2)
1731 env->fregs[f1].d = float64_sqrt(env->fregs[f2].d, &env->fpu_status);
1734 /* checksum */
1735 void HELPER(cksm)(uint32_t r1, uint32_t r2)
1737 uint64_t src = get_address_31fix(r2);
1738 uint64_t src_len = env->regs[(r2 + 1) & 15];
1739 uint64_t cksm = (uint32_t)env->regs[r1];
1741 while (src_len >= 4) {
1742 cksm += ldl(src);
1744 /* move to next word */
1745 src_len -= 4;
1746 src += 4;
1749 switch (src_len) {
1750 case 0:
1751 break;
1752 case 1:
1753 cksm += ldub(src) << 24;
1754 break;
1755 case 2:
1756 cksm += lduw(src) << 16;
1757 break;
1758 case 3:
1759 cksm += lduw(src) << 16;
1760 cksm += ldub(src + 2) << 8;
1761 break;
1764 /* indicate we've processed everything */
1765 env->regs[r2] = src + src_len;
1766 env->regs[(r2 + 1) & 15] = 0;
1768 /* store result */
1769 env->regs[r1] = (env->regs[r1] & 0xffffffff00000000ULL) |
1770 ((uint32_t)cksm + (cksm >> 32));
1773 static inline uint32_t cc_calc_ltgt_32(CPUState *env, int32_t src,
1774 int32_t dst)
1776 if (src == dst) {
1777 return 0;
1778 } else if (src < dst) {
1779 return 1;
1780 } else {
1781 return 2;
1785 static inline uint32_t cc_calc_ltgt0_32(CPUState *env, int32_t dst)
1787 return cc_calc_ltgt_32(env, dst, 0);
1790 static inline uint32_t cc_calc_ltgt_64(CPUState *env, int64_t src,
1791 int64_t dst)
1793 if (src == dst) {
1794 return 0;
1795 } else if (src < dst) {
1796 return 1;
1797 } else {
1798 return 2;
1802 static inline uint32_t cc_calc_ltgt0_64(CPUState *env, int64_t dst)
1804 return cc_calc_ltgt_64(env, dst, 0);
1807 static inline uint32_t cc_calc_ltugtu_32(CPUState *env, uint32_t src,
1808 uint32_t dst)
1810 if (src == dst) {
1811 return 0;
1812 } else if (src < dst) {
1813 return 1;
1814 } else {
1815 return 2;
1819 static inline uint32_t cc_calc_ltugtu_64(CPUState *env, uint64_t src,
1820 uint64_t dst)
1822 if (src == dst) {
1823 return 0;
1824 } else if (src < dst) {
1825 return 1;
1826 } else {
1827 return 2;
1831 static inline uint32_t cc_calc_tm_32(CPUState *env, uint32_t val, uint32_t mask)
1833 HELPER_LOG("%s: val 0x%x mask 0x%x\n", __FUNCTION__, val, mask);
1834 uint16_t r = val & mask;
1835 if (r == 0 || mask == 0) {
1836 return 0;
1837 } else if (r == mask) {
1838 return 3;
1839 } else {
1840 return 1;
1844 /* set condition code for test under mask */
1845 static inline uint32_t cc_calc_tm_64(CPUState *env, uint64_t val, uint32_t mask)
1847 uint16_t r = val & mask;
1848 HELPER_LOG("%s: val 0x%lx mask 0x%x r 0x%x\n", __FUNCTION__, val, mask, r);
1849 if (r == 0 || mask == 0) {
1850 return 0;
1851 } else if (r == mask) {
1852 return 3;
1853 } else {
1854 while (!(mask & 0x8000)) {
1855 mask <<= 1;
1856 val <<= 1;
1858 if (val & 0x8000) {
1859 return 2;
1860 } else {
1861 return 1;
1866 static inline uint32_t cc_calc_nz(CPUState *env, uint64_t dst)
1868 return !!dst;
1871 static inline uint32_t cc_calc_add_64(CPUState *env, int64_t a1, int64_t a2,
1872 int64_t ar)
1874 if ((a1 > 0 && a2 > 0 && ar < 0) || (a1 < 0 && a2 < 0 && ar > 0)) {
1875 return 3; /* overflow */
1876 } else {
1877 if (ar < 0) {
1878 return 1;
1879 } else if (ar > 0) {
1880 return 2;
1881 } else {
1882 return 0;
1887 static inline uint32_t cc_calc_addu_64(CPUState *env, uint64_t a1, uint64_t a2,
1888 uint64_t ar)
1890 if (ar == 0) {
1891 if (a1) {
1892 return 2;
1893 } else {
1894 return 0;
1896 } else {
1897 if (ar < a1 || ar < a2) {
1898 return 3;
1899 } else {
1900 return 1;
1905 static inline uint32_t cc_calc_sub_64(CPUState *env, int64_t a1, int64_t a2,
1906 int64_t ar)
1908 if ((a1 > 0 && a2 < 0 && ar < 0) || (a1 < 0 && a2 > 0 && ar > 0)) {
1909 return 3; /* overflow */
1910 } else {
1911 if (ar < 0) {
1912 return 1;
1913 } else if (ar > 0) {
1914 return 2;
1915 } else {
1916 return 0;
1921 static inline uint32_t cc_calc_subu_64(CPUState *env, uint64_t a1, uint64_t a2,
1922 uint64_t ar)
1924 if (ar == 0) {
1925 return 2;
1926 } else {
1927 if (a2 > a1) {
1928 return 1;
1929 } else {
1930 return 3;
1935 static inline uint32_t cc_calc_abs_64(CPUState *env, int64_t dst)
1937 if ((uint64_t)dst == 0x8000000000000000ULL) {
1938 return 3;
1939 } else if (dst) {
1940 return 1;
1941 } else {
1942 return 0;
1946 static inline uint32_t cc_calc_nabs_64(CPUState *env, int64_t dst)
1948 return !!dst;
1951 static inline uint32_t cc_calc_comp_64(CPUState *env, int64_t dst)
1953 if ((uint64_t)dst == 0x8000000000000000ULL) {
1954 return 3;
1955 } else if (dst < 0) {
1956 return 1;
1957 } else if (dst > 0) {
1958 return 2;
1959 } else {
1960 return 0;
1965 static inline uint32_t cc_calc_add_32(CPUState *env, int32_t a1, int32_t a2,
1966 int32_t ar)
1968 if ((a1 > 0 && a2 > 0 && ar < 0) || (a1 < 0 && a2 < 0 && ar > 0)) {
1969 return 3; /* overflow */
1970 } else {
1971 if (ar < 0) {
1972 return 1;
1973 } else if (ar > 0) {
1974 return 2;
1975 } else {
1976 return 0;
1981 static inline uint32_t cc_calc_addu_32(CPUState *env, uint32_t a1, uint32_t a2,
1982 uint32_t ar)
1984 if (ar == 0) {
1985 if (a1) {
1986 return 2;
1987 } else {
1988 return 0;
1990 } else {
1991 if (ar < a1 || ar < a2) {
1992 return 3;
1993 } else {
1994 return 1;
1999 static inline uint32_t cc_calc_sub_32(CPUState *env, int32_t a1, int32_t a2,
2000 int32_t ar)
2002 if ((a1 > 0 && a2 < 0 && ar < 0) || (a1 < 0 && a2 > 0 && ar > 0)) {
2003 return 3; /* overflow */
2004 } else {
2005 if (ar < 0) {
2006 return 1;
2007 } else if (ar > 0) {
2008 return 2;
2009 } else {
2010 return 0;
2015 static inline uint32_t cc_calc_subu_32(CPUState *env, uint32_t a1, uint32_t a2,
2016 uint32_t ar)
2018 if (ar == 0) {
2019 return 2;
2020 } else {
2021 if (a2 > a1) {
2022 return 1;
2023 } else {
2024 return 3;
2029 static inline uint32_t cc_calc_abs_32(CPUState *env, int32_t dst)
2031 if ((uint32_t)dst == 0x80000000UL) {
2032 return 3;
2033 } else if (dst) {
2034 return 1;
2035 } else {
2036 return 0;
2040 static inline uint32_t cc_calc_nabs_32(CPUState *env, int32_t dst)
2042 return !!dst;
2045 static inline uint32_t cc_calc_comp_32(CPUState *env, int32_t dst)
2047 if ((uint32_t)dst == 0x80000000UL) {
2048 return 3;
2049 } else if (dst < 0) {
2050 return 1;
2051 } else if (dst > 0) {
2052 return 2;
2053 } else {
2054 return 0;
2058 /* calculate condition code for insert character under mask insn */
2059 static inline uint32_t cc_calc_icm_32(CPUState *env, uint32_t mask, uint32_t val)
2061 HELPER_LOG("%s: mask 0x%x val %d\n", __FUNCTION__, mask, val);
2062 uint32_t cc;
2064 if (mask == 0xf) {
2065 if (!val) {
2066 return 0;
2067 } else if (val & 0x80000000) {
2068 return 1;
2069 } else {
2070 return 2;
2074 if (!val || !mask) {
2075 cc = 0;
2076 } else {
2077 while (mask != 1) {
2078 mask >>= 1;
2079 val >>= 8;
2081 if (val & 0x80) {
2082 cc = 1;
2083 } else {
2084 cc = 2;
2087 return cc;
2090 static inline uint32_t cc_calc_slag(CPUState *env, uint64_t src, uint64_t shift)
2092 uint64_t mask = ((1ULL << shift) - 1ULL) << (64 - shift);
2093 uint64_t match, r;
2095 /* check if the sign bit stays the same */
2096 if (src & (1ULL << 63)) {
2097 match = mask;
2098 } else {
2099 match = 0;
2102 if ((src & mask) != match) {
2103 /* overflow */
2104 return 3;
2107 r = ((src << shift) & ((1ULL << 63) - 1)) | (src & (1ULL << 63));
2109 if ((int64_t)r == 0) {
2110 return 0;
2111 } else if ((int64_t)r < 0) {
2112 return 1;
2115 return 2;
2119 static inline uint32_t do_calc_cc(CPUState *env, uint32_t cc_op, uint64_t src,
2120 uint64_t dst, uint64_t vr)
2122 uint32_t r = 0;
2124 switch (cc_op) {
2125 case CC_OP_CONST0:
2126 case CC_OP_CONST1:
2127 case CC_OP_CONST2:
2128 case CC_OP_CONST3:
2129 /* cc_op value _is_ cc */
2130 r = cc_op;
2131 break;
2132 case CC_OP_LTGT0_32:
2133 r = cc_calc_ltgt0_32(env, dst);
2134 break;
2135 case CC_OP_LTGT0_64:
2136 r = cc_calc_ltgt0_64(env, dst);
2137 break;
2138 case CC_OP_LTGT_32:
2139 r = cc_calc_ltgt_32(env, src, dst);
2140 break;
2141 case CC_OP_LTGT_64:
2142 r = cc_calc_ltgt_64(env, src, dst);
2143 break;
2144 case CC_OP_LTUGTU_32:
2145 r = cc_calc_ltugtu_32(env, src, dst);
2146 break;
2147 case CC_OP_LTUGTU_64:
2148 r = cc_calc_ltugtu_64(env, src, dst);
2149 break;
2150 case CC_OP_TM_32:
2151 r = cc_calc_tm_32(env, src, dst);
2152 break;
2153 case CC_OP_TM_64:
2154 r = cc_calc_tm_64(env, src, dst);
2155 break;
2156 case CC_OP_NZ:
2157 r = cc_calc_nz(env, dst);
2158 break;
2159 case CC_OP_ADD_64:
2160 r = cc_calc_add_64(env, src, dst, vr);
2161 break;
2162 case CC_OP_ADDU_64:
2163 r = cc_calc_addu_64(env, src, dst, vr);
2164 break;
2165 case CC_OP_SUB_64:
2166 r = cc_calc_sub_64(env, src, dst, vr);
2167 break;
2168 case CC_OP_SUBU_64:
2169 r = cc_calc_subu_64(env, src, dst, vr);
2170 break;
2171 case CC_OP_ABS_64:
2172 r = cc_calc_abs_64(env, dst);
2173 break;
2174 case CC_OP_NABS_64:
2175 r = cc_calc_nabs_64(env, dst);
2176 break;
2177 case CC_OP_COMP_64:
2178 r = cc_calc_comp_64(env, dst);
2179 break;
2181 case CC_OP_ADD_32:
2182 r = cc_calc_add_32(env, src, dst, vr);
2183 break;
2184 case CC_OP_ADDU_32:
2185 r = cc_calc_addu_32(env, src, dst, vr);
2186 break;
2187 case CC_OP_SUB_32:
2188 r = cc_calc_sub_32(env, src, dst, vr);
2189 break;
2190 case CC_OP_SUBU_32:
2191 r = cc_calc_subu_32(env, src, dst, vr);
2192 break;
2193 case CC_OP_ABS_32:
2194 r = cc_calc_abs_64(env, dst);
2195 break;
2196 case CC_OP_NABS_32:
2197 r = cc_calc_nabs_64(env, dst);
2198 break;
2199 case CC_OP_COMP_32:
2200 r = cc_calc_comp_32(env, dst);
2201 break;
2203 case CC_OP_ICM:
2204 r = cc_calc_icm_32(env, src, dst);
2205 break;
2206 case CC_OP_SLAG:
2207 r = cc_calc_slag(env, src, dst);
2208 break;
2210 case CC_OP_LTGT_F32:
2211 r = set_cc_f32(src, dst);
2212 break;
2213 case CC_OP_LTGT_F64:
2214 r = set_cc_f64(src, dst);
2215 break;
2216 case CC_OP_NZ_F32:
2217 r = set_cc_nz_f32(dst);
2218 break;
2219 case CC_OP_NZ_F64:
2220 r = set_cc_nz_f64(dst);
2221 break;
2223 default:
2224 cpu_abort(env, "Unknown CC operation: %s\n", cc_name(cc_op));
2227 HELPER_LOG("%s: %15s 0x%016lx 0x%016lx 0x%016lx = %d\n", __FUNCTION__,
2228 cc_name(cc_op), src, dst, vr, r);
2229 return r;
2232 uint32_t calc_cc(CPUState *env, uint32_t cc_op, uint64_t src, uint64_t dst,
2233 uint64_t vr)
2235 return do_calc_cc(env, cc_op, src, dst, vr);
2238 uint32_t HELPER(calc_cc)(uint32_t cc_op, uint64_t src, uint64_t dst,
2239 uint64_t vr)
2241 return do_calc_cc(env, cc_op, src, dst, vr);
2244 uint64_t HELPER(cvd)(int32_t bin)
2246 /* positive 0 */
2247 uint64_t dec = 0x0c;
2248 int shift = 4;
2250 if (bin < 0) {
2251 bin = -bin;
2252 dec = 0x0d;
2255 for (shift = 4; (shift < 64) && bin; shift += 4) {
2256 int current_number = bin % 10;
2258 dec |= (current_number) << shift;
2259 bin /= 10;
2262 return dec;
2265 void HELPER(unpk)(uint32_t len, uint64_t dest, uint64_t src)
2267 int len_dest = len >> 4;
2268 int len_src = len & 0xf;
2269 uint8_t b;
2270 int second_nibble = 0;
2272 dest += len_dest;
2273 src += len_src;
2275 /* last byte is special, it only flips the nibbles */
2276 b = ldub(src);
2277 stb(dest, (b << 4) | (b >> 4));
2278 src--;
2279 len_src--;
2281 /* now pad every nibble with 0xf0 */
2283 while (len_dest > 0) {
2284 uint8_t cur_byte = 0;
2286 if (len_src > 0) {
2287 cur_byte = ldub(src);
2290 len_dest--;
2291 dest--;
2293 /* only advance one nibble at a time */
2294 if (second_nibble) {
2295 cur_byte >>= 4;
2296 len_src--;
2297 src--;
2299 second_nibble = !second_nibble;
2301 /* digit */
2302 cur_byte = (cur_byte & 0xf);
2303 /* zone bits */
2304 cur_byte |= 0xf0;
2306 stb(dest, cur_byte);
2310 void HELPER(tr)(uint32_t len, uint64_t array, uint64_t trans)
2312 int i;
2314 for (i = 0; i <= len; i++) {
2315 uint8_t byte = ldub(array + i);
2316 uint8_t new_byte = ldub(trans + byte);
2317 stb(array + i, new_byte);
2321 #ifndef CONFIG_USER_ONLY
2323 void HELPER(load_psw)(uint64_t mask, uint64_t addr)
2325 load_psw(env, mask, addr);
2326 cpu_loop_exit();
2329 static void program_interrupt(CPUState *env, uint32_t code, int ilc)
2331 qemu_log("program interrupt at %#" PRIx64 "\n", env->psw.addr);
2333 if (kvm_enabled()) {
2334 kvm_s390_interrupt(env, KVM_S390_PROGRAM_INT, code);
2335 } else {
2336 env->int_pgm_code = code;
2337 env->int_pgm_ilc = ilc;
2338 env->exception_index = EXCP_PGM;
2339 cpu_loop_exit();
2343 static void ext_interrupt(CPUState *env, int type, uint32_t param,
2344 uint64_t param64)
2346 cpu_inject_ext(env, type, param, param64);
2349 int sclp_service_call(CPUState *env, uint32_t sccb, uint64_t code)
2351 int r = 0;
2352 int shift = 0;
2354 #ifdef DEBUG_HELPER
2355 printf("sclp(0x%x, 0x%" PRIx64 ")\n", sccb, code);
2356 #endif
2358 if (sccb & ~0x7ffffff8ul) {
2359 fprintf(stderr, "KVM: invalid sccb address 0x%x\n", sccb);
2360 r = -1;
2361 goto out;
2364 switch(code) {
2365 case SCLP_CMDW_READ_SCP_INFO:
2366 case SCLP_CMDW_READ_SCP_INFO_FORCED:
2367 while ((ram_size >> (20 + shift)) > 65535) {
2368 shift++;
2370 stw_phys(sccb + SCP_MEM_CODE, ram_size >> (20 + shift));
2371 stb_phys(sccb + SCP_INCREMENT, 1 << shift);
2372 stw_phys(sccb + SCP_RESPONSE_CODE, 0x10);
2374 if (kvm_enabled()) {
2375 #ifdef CONFIG_KVM
2376 kvm_s390_interrupt_internal(env, KVM_S390_INT_SERVICE,
2377 sccb & ~3, 0, 1);
2378 #endif
2379 } else {
2380 env->psw.addr += 4;
2381 ext_interrupt(env, EXT_SERVICE, sccb & ~3, 0);
2383 break;
2384 default:
2385 #ifdef DEBUG_HELPER
2386 printf("KVM: invalid sclp call 0x%x / 0x%" PRIx64 "x\n", sccb, code);
2387 #endif
2388 r = -1;
2389 break;
2392 out:
2393 return r;
2396 /* SCLP service call */
2397 uint32_t HELPER(servc)(uint32_t r1, uint64_t r2)
2399 if (sclp_service_call(env, r1, r2)) {
2400 return 3;
2403 return 0;
2406 /* DIAG */
2407 uint64_t HELPER(diag)(uint32_t num, uint64_t mem, uint64_t code)
2409 uint64_t r;
2411 switch (num) {
2412 case 0x500:
2413 /* KVM hypercall */
2414 r = s390_virtio_hypercall(env, mem, code);
2415 break;
2416 case 0x44:
2417 /* yield */
2418 r = 0;
2419 break;
2420 case 0x308:
2421 /* ipl */
2422 r = 0;
2423 break;
2424 default:
2425 r = -1;
2426 break;
2429 if (r) {
2430 program_interrupt(env, PGM_OPERATION, ILC_LATER_INC);
2433 return r;
2436 /* Store CPU ID */
2437 void HELPER(stidp)(uint64_t a1)
2439 stq(a1, env->cpu_num);
2442 /* Set Prefix */
2443 void HELPER(spx)(uint64_t a1)
2445 uint32_t prefix;
2447 prefix = ldl(a1);
2448 env->psa = prefix & 0xfffff000;
2449 qemu_log("prefix: %#x\n", prefix);
2450 tlb_flush_page(env, 0);
2451 tlb_flush_page(env, TARGET_PAGE_SIZE);
2454 /* Set Clock */
2455 uint32_t HELPER(sck)(uint64_t a1)
2457 /* XXX not implemented - is it necessary? */
2459 return 0;
2462 static inline uint64_t clock_value(CPUState *env)
2464 uint64_t time;
2466 time = env->tod_offset +
2467 time2tod(qemu_get_clock_ns(vm_clock) - env->tod_basetime);
2469 return time;
2472 /* Store Clock */
2473 uint32_t HELPER(stck)(uint64_t a1)
2475 stq(a1, clock_value(env));
2477 return 0;
2480 /* Store Clock Extended */
2481 uint32_t HELPER(stcke)(uint64_t a1)
2483 stb(a1, 0);
2484 /* basically the same value as stck */
2485 stq(a1 + 1, clock_value(env) | env->cpu_num);
2486 /* more fine grained than stck */
2487 stq(a1 + 9, 0);
2488 /* XXX programmable fields */
2489 stw(a1 + 17, 0);
2492 return 0;
2495 /* Set Clock Comparator */
2496 void HELPER(sckc)(uint64_t a1)
2498 uint64_t time = ldq(a1);
2500 if (time == -1ULL) {
2501 return;
2504 /* difference between now and then */
2505 time -= clock_value(env);
2506 /* nanoseconds */
2507 time = (time * 125) >> 9;
2509 qemu_mod_timer(env->tod_timer, qemu_get_clock_ns(vm_clock) + time);
2512 /* Store Clock Comparator */
2513 void HELPER(stckc)(uint64_t a1)
2515 /* XXX implement */
2516 stq(a1, 0);
2519 /* Set CPU Timer */
2520 void HELPER(spt)(uint64_t a1)
2522 uint64_t time = ldq(a1);
2524 if (time == -1ULL) {
2525 return;
2528 /* nanoseconds */
2529 time = (time * 125) >> 9;
2531 qemu_mod_timer(env->cpu_timer, qemu_get_clock_ns(vm_clock) + time);
2534 /* Store CPU Timer */
2535 void HELPER(stpt)(uint64_t a1)
2537 /* XXX implement */
2538 stq(a1, 0);
2541 /* Store System Information */
2542 uint32_t HELPER(stsi)(uint64_t a0, uint32_t r0, uint32_t r1)
2544 int cc = 0;
2545 int sel1, sel2;
2547 if ((r0 & STSI_LEVEL_MASK) <= STSI_LEVEL_3 &&
2548 ((r0 & STSI_R0_RESERVED_MASK) || (r1 & STSI_R1_RESERVED_MASK))) {
2549 /* valid function code, invalid reserved bits */
2550 program_interrupt(env, PGM_SPECIFICATION, 2);
2553 sel1 = r0 & STSI_R0_SEL1_MASK;
2554 sel2 = r1 & STSI_R1_SEL2_MASK;
2556 /* XXX: spec exception if sysib is not 4k-aligned */
2558 switch (r0 & STSI_LEVEL_MASK) {
2559 case STSI_LEVEL_1:
2560 if ((sel1 == 1) && (sel2 == 1)) {
2561 /* Basic Machine Configuration */
2562 struct sysib_111 sysib;
2564 memset(&sysib, 0, sizeof(sysib));
2565 ebcdic_put(sysib.manuf, "QEMU ", 16);
2566 /* same as machine type number in STORE CPU ID */
2567 ebcdic_put(sysib.type, "QEMU", 4);
2568 /* same as model number in STORE CPU ID */
2569 ebcdic_put(sysib.model, "QEMU ", 16);
2570 ebcdic_put(sysib.sequence, "QEMU ", 16);
2571 ebcdic_put(sysib.plant, "QEMU", 4);
2572 cpu_physical_memory_rw(a0, (uint8_t*)&sysib, sizeof(sysib), 1);
2573 } else if ((sel1 == 2) && (sel2 == 1)) {
2574 /* Basic Machine CPU */
2575 struct sysib_121 sysib;
2577 memset(&sysib, 0, sizeof(sysib));
2578 /* XXX make different for different CPUs? */
2579 ebcdic_put(sysib.sequence, "QEMUQEMUQEMUQEMU", 16);
2580 ebcdic_put(sysib.plant, "QEMU", 4);
2581 stw_p(&sysib.cpu_addr, env->cpu_num);
2582 cpu_physical_memory_rw(a0, (uint8_t*)&sysib, sizeof(sysib), 1);
2583 } else if ((sel1 == 2) && (sel2 == 2)) {
2584 /* Basic Machine CPUs */
2585 struct sysib_122 sysib;
2587 memset(&sysib, 0, sizeof(sysib));
2588 stl_p(&sysib.capability, 0x443afc29);
2589 /* XXX change when SMP comes */
2590 stw_p(&sysib.total_cpus, 1);
2591 stw_p(&sysib.active_cpus, 1);
2592 stw_p(&sysib.standby_cpus, 0);
2593 stw_p(&sysib.reserved_cpus, 0);
2594 cpu_physical_memory_rw(a0, (uint8_t*)&sysib, sizeof(sysib), 1);
2595 } else {
2596 cc = 3;
2598 break;
2599 case STSI_LEVEL_2:
2601 if ((sel1 == 2) && (sel2 == 1)) {
2602 /* LPAR CPU */
2603 struct sysib_221 sysib;
2605 memset(&sysib, 0, sizeof(sysib));
2606 /* XXX make different for different CPUs? */
2607 ebcdic_put(sysib.sequence, "QEMUQEMUQEMUQEMU", 16);
2608 ebcdic_put(sysib.plant, "QEMU", 4);
2609 stw_p(&sysib.cpu_addr, env->cpu_num);
2610 stw_p(&sysib.cpu_id, 0);
2611 cpu_physical_memory_rw(a0, (uint8_t*)&sysib, sizeof(sysib), 1);
2612 } else if ((sel1 == 2) && (sel2 == 2)) {
2613 /* LPAR CPUs */
2614 struct sysib_222 sysib;
2616 memset(&sysib, 0, sizeof(sysib));
2617 stw_p(&sysib.lpar_num, 0);
2618 sysib.lcpuc = 0;
2619 /* XXX change when SMP comes */
2620 stw_p(&sysib.total_cpus, 1);
2621 stw_p(&sysib.conf_cpus, 1);
2622 stw_p(&sysib.standby_cpus, 0);
2623 stw_p(&sysib.reserved_cpus, 0);
2624 ebcdic_put(sysib.name, "QEMU ", 8);
2625 stl_p(&sysib.caf, 1000);
2626 stw_p(&sysib.dedicated_cpus, 0);
2627 stw_p(&sysib.shared_cpus, 0);
2628 cpu_physical_memory_rw(a0, (uint8_t*)&sysib, sizeof(sysib), 1);
2629 } else {
2630 cc = 3;
2632 break;
2634 case STSI_LEVEL_3:
2636 if ((sel1 == 2) && (sel2 == 2)) {
2637 /* VM CPUs */
2638 struct sysib_322 sysib;
2640 memset(&sysib, 0, sizeof(sysib));
2641 sysib.count = 1;
2642 /* XXX change when SMP comes */
2643 stw_p(&sysib.vm[0].total_cpus, 1);
2644 stw_p(&sysib.vm[0].conf_cpus, 1);
2645 stw_p(&sysib.vm[0].standby_cpus, 0);
2646 stw_p(&sysib.vm[0].reserved_cpus, 0);
2647 ebcdic_put(sysib.vm[0].name, "KVMguest", 8);
2648 stl_p(&sysib.vm[0].caf, 1000);
2649 ebcdic_put(sysib.vm[0].cpi, "KVM/Linux ", 16);
2650 cpu_physical_memory_rw(a0, (uint8_t*)&sysib, sizeof(sysib), 1);
2651 } else {
2652 cc = 3;
2654 break;
2656 case STSI_LEVEL_CURRENT:
2657 env->regs[0] = STSI_LEVEL_3;
2658 break;
2659 default:
2660 cc = 3;
2661 break;
2664 return cc;
2667 void HELPER(lctlg)(uint32_t r1, uint64_t a2, uint32_t r3)
2669 int i;
2670 uint64_t src = a2;
2672 for (i = r1;; i = (i + 1) % 16) {
2673 env->cregs[i] = ldq(src);
2674 HELPER_LOG("load ctl %d from 0x%" PRIx64 " == 0x%" PRIx64 "\n",
2675 i, src, env->cregs[i]);
2676 src += sizeof(uint64_t);
2678 if (i == r3) {
2679 break;
2683 tlb_flush(env, 1);
2686 void HELPER(lctl)(uint32_t r1, uint64_t a2, uint32_t r3)
2688 int i;
2689 uint64_t src = a2;
2691 for (i = r1;; i = (i + 1) % 16) {
2692 env->cregs[i] = (env->cregs[i] & 0xFFFFFFFF00000000ULL) | ldl(src);
2693 src += sizeof(uint32_t);
2695 if (i == r3) {
2696 break;
2700 tlb_flush(env, 1);
2703 void HELPER(stctg)(uint32_t r1, uint64_t a2, uint32_t r3)
2705 int i;
2706 uint64_t dest = a2;
2708 for (i = r1;; i = (i + 1) % 16) {
2709 stq(dest, env->cregs[i]);
2710 dest += sizeof(uint64_t);
2712 if (i == r3) {
2713 break;
2718 void HELPER(stctl)(uint32_t r1, uint64_t a2, uint32_t r3)
2720 int i;
2721 uint64_t dest = a2;
2723 for (i = r1;; i = (i + 1) % 16) {
2724 stl(dest, env->cregs[i]);
2725 dest += sizeof(uint32_t);
2727 if (i == r3) {
2728 break;
2733 uint32_t HELPER(tprot)(uint64_t a1, uint64_t a2)
2735 /* XXX implement */
2737 return 0;
2740 /* insert storage key extended */
2741 uint64_t HELPER(iske)(uint64_t r2)
2743 uint64_t addr = get_address(0, 0, r2);
2745 if (addr > ram_size) {
2746 return 0;
2749 /* XXX maybe use qemu's internal keys? */
2750 return env->storage_keys[addr / TARGET_PAGE_SIZE];
2753 /* set storage key extended */
2754 void HELPER(sske)(uint32_t r1, uint64_t r2)
2756 uint64_t addr = get_address(0, 0, r2);
2758 if (addr > ram_size) {
2759 return;
2762 env->storage_keys[addr / TARGET_PAGE_SIZE] = r1;
2765 /* reset reference bit extended */
2766 uint32_t HELPER(rrbe)(uint32_t r1, uint64_t r2)
2768 if (r2 > ram_size) {
2769 return 0;
2772 /* XXX implement */
2773 #if 0
2774 env->storage_keys[r2 / TARGET_PAGE_SIZE] &= ~SK_REFERENCED;
2775 #endif
2778 * cc
2780 * 0 Reference bit zero; change bit zero
2781 * 1 Reference bit zero; change bit one
2782 * 2 Reference bit one; change bit zero
2783 * 3 Reference bit one; change bit one
2785 return 0;
2788 /* compare and swap and purge */
2789 uint32_t HELPER(csp)(uint32_t r1, uint32_t r2)
2791 uint32_t cc;
2792 uint32_t o1 = env->regs[r1];
2793 uint64_t a2 = get_address_31fix(r2) & ~3ULL;
2794 uint32_t o2 = ldl(a2);
2796 if (o1 == o2) {
2797 stl(a2, env->regs[(r1 + 1) & 15]);
2798 if (env->regs[r2] & 0x3) {
2799 /* flush TLB / ALB */
2800 tlb_flush(env, 1);
2802 cc = 0;
2803 } else {
2804 env->regs[r1] = (env->regs[r1] & 0xffffffff00000000ULL) | o2;
2805 cc = 1;
2808 return cc;
2811 static uint32_t mvc_asc(int64_t l, uint64_t a1, uint64_t mode1, uint64_t a2,
2812 uint64_t mode2)
2814 target_ulong src, dest;
2815 int flags, cc = 0, i;
2817 if (!l) {
2818 return 0;
2819 } else if (l > 256) {
2820 /* max 256 */
2821 l = 256;
2822 cc = 3;
2825 if (mmu_translate(env, a1 & TARGET_PAGE_MASK, 1, mode1, &dest, &flags)) {
2826 cpu_loop_exit();
2828 dest |= a1 & ~TARGET_PAGE_MASK;
2830 if (mmu_translate(env, a2 & TARGET_PAGE_MASK, 0, mode2, &src, &flags)) {
2831 cpu_loop_exit();
2833 src |= a2 & ~TARGET_PAGE_MASK;
2835 /* XXX replace w/ memcpy */
2836 for (i = 0; i < l; i++) {
2837 /* XXX be more clever */
2838 if ((((dest + i) & TARGET_PAGE_MASK) != (dest & TARGET_PAGE_MASK)) ||
2839 (((src + i) & TARGET_PAGE_MASK) != (src & TARGET_PAGE_MASK))) {
2840 mvc_asc(l - i, a1 + i, mode1, a2 + i, mode2);
2841 break;
2843 stb_phys(dest + i, ldub_phys(src + i));
2846 return cc;
2849 uint32_t HELPER(mvcs)(uint64_t l, uint64_t a1, uint64_t a2)
2851 HELPER_LOG("%s: %16" PRIx64 " %16" PRIx64 " %16" PRIx64 "\n",
2852 __FUNCTION__, l, a1, a2);
2854 return mvc_asc(l, a1, PSW_ASC_SECONDARY, a2, PSW_ASC_PRIMARY);
2857 uint32_t HELPER(mvcp)(uint64_t l, uint64_t a1, uint64_t a2)
2859 HELPER_LOG("%s: %16" PRIx64 " %16" PRIx64 " %16" PRIx64 "\n",
2860 __FUNCTION__, l, a1, a2);
2862 return mvc_asc(l, a1, PSW_ASC_PRIMARY, a2, PSW_ASC_SECONDARY);
2865 uint32_t HELPER(sigp)(uint64_t order_code, uint32_t r1, uint64_t cpu_addr)
2867 int cc = 0;
2869 HELPER_LOG("%s: %016" PRIx64 " %08x %016" PRIx64 "\n",
2870 __FUNCTION__, order_code, r1, cpu_addr);
2872 /* Remember: Use "R1 or R1+1, whichever is the odd-numbered register"
2873 as parameter (input). Status (output) is always R1. */
2875 switch (order_code) {
2876 case SIGP_SET_ARCH:
2877 /* switch arch */
2878 break;
2879 case SIGP_SENSE:
2880 /* enumerate CPU status */
2881 if (cpu_addr) {
2882 /* XXX implement when SMP comes */
2883 return 3;
2885 env->regs[r1] &= 0xffffffff00000000ULL;
2886 cc = 1;
2887 break;
2888 default:
2889 /* unknown sigp */
2890 fprintf(stderr, "XXX unknown sigp: 0x%" PRIx64 "\n", order_code);
2891 cc = 3;
2894 return cc;
2897 void HELPER(sacf)(uint64_t a1)
2899 HELPER_LOG("%s: %16" PRIx64 "\n", __FUNCTION__, a1);
2901 switch (a1 & 0xf00) {
2902 case 0x000:
2903 env->psw.mask &= ~PSW_MASK_ASC;
2904 env->psw.mask |= PSW_ASC_PRIMARY;
2905 break;
2906 case 0x100:
2907 env->psw.mask &= ~PSW_MASK_ASC;
2908 env->psw.mask |= PSW_ASC_SECONDARY;
2909 break;
2910 case 0x300:
2911 env->psw.mask &= ~PSW_MASK_ASC;
2912 env->psw.mask |= PSW_ASC_HOME;
2913 break;
2914 default:
2915 qemu_log("unknown sacf mode: %" PRIx64 "\n", a1);
2916 program_interrupt(env, PGM_SPECIFICATION, 2);
2917 break;
2921 /* invalidate pte */
2922 void HELPER(ipte)(uint64_t pte_addr, uint64_t vaddr)
2924 uint64_t page = vaddr & TARGET_PAGE_MASK;
2925 uint64_t pte = 0;
2927 /* XXX broadcast to other CPUs */
2929 /* XXX Linux is nice enough to give us the exact pte address.
2930 According to spec we'd have to find it out ourselves */
2931 /* XXX Linux is fine with overwriting the pte, the spec requires
2932 us to only set the invalid bit */
2933 stq_phys(pte_addr, pte | _PAGE_INVALID);
2935 /* XXX we exploit the fact that Linux passes the exact virtual
2936 address here - it's not obliged to! */
2937 tlb_flush_page(env, page);
2940 /* flush local tlb */
2941 void HELPER(ptlb)(void)
2943 tlb_flush(env, 1);
2946 /* store using real address */
2947 void HELPER(stura)(uint64_t addr, uint32_t v1)
2949 stw_phys(get_address(0, 0, addr), v1);
2952 /* load real address */
2953 uint32_t HELPER(lra)(uint64_t addr, uint32_t r1)
2955 uint32_t cc = 0;
2956 int old_exc = env->exception_index;
2957 uint64_t asc = env->psw.mask & PSW_MASK_ASC;
2958 uint64_t ret;
2959 int flags;
2961 /* XXX incomplete - has more corner cases */
2962 if (!(env->psw.mask & PSW_MASK_64) && (addr >> 32)) {
2963 program_interrupt(env, PGM_SPECIAL_OP, 2);
2966 env->exception_index = old_exc;
2967 if (mmu_translate(env, addr, 0, asc, &ret, &flags)) {
2968 cc = 3;
2970 if (env->exception_index == EXCP_PGM) {
2971 ret = env->int_pgm_code | 0x80000000;
2972 } else {
2973 ret |= addr & ~TARGET_PAGE_MASK;
2975 env->exception_index = old_exc;
2977 if (!(env->psw.mask & PSW_MASK_64)) {
2978 env->regs[r1] = (env->regs[r1] & 0xffffffff00000000ULL) | (ret & 0xffffffffULL);
2979 } else {
2980 env->regs[r1] = ret;
2983 return cc;
2986 #endif