161766fe9SRichard Henderson /* 261766fe9SRichard Henderson * HPPA emulation cpu helpers for qemu. 361766fe9SRichard Henderson * 461766fe9SRichard Henderson * Copyright (c) 2016 Richard Henderson <rth@twiddle.net> 561766fe9SRichard Henderson * 661766fe9SRichard Henderson * This library is free software; you can redistribute it and/or 761766fe9SRichard Henderson * modify it under the terms of the GNU Lesser General Public 861766fe9SRichard Henderson * License as published by the Free Software Foundation; either 9d6ea4236SChetan Pant * version 2.1 of the License, or (at your option) any later version. 1061766fe9SRichard Henderson * 1161766fe9SRichard Henderson * This library is distributed in the hope that it will be useful, 1261766fe9SRichard Henderson * but WITHOUT ANY WARRANTY; without even the implied warranty of 1361766fe9SRichard Henderson * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU 1461766fe9SRichard Henderson * Lesser General Public License for more details. 1561766fe9SRichard Henderson * 1661766fe9SRichard Henderson * You should have received a copy of the GNU Lesser General Public 1761766fe9SRichard Henderson * License along with this library; if not, see <http://www.gnu.org/licenses/>. 1861766fe9SRichard Henderson */ 1961766fe9SRichard Henderson 2061766fe9SRichard Henderson #include "qemu/osdep.h" 21cd617484SPhilippe Mathieu-Daudé #include "qemu/log.h" 2261766fe9SRichard Henderson #include "cpu.h" 2361766fe9SRichard Henderson #include "fpu/softfloat.h" 24d5de20bdSSven Schnelle #include "exec/exec-all.h" 2561766fe9SRichard Henderson #include "exec/helper-proto.h" 2690c84c56SMarkus Armbruster #include "qemu/qemu-print.h" 2761766fe9SRichard Henderson 28eaa3783bSRichard Henderson target_ureg cpu_hppa_get_psw(CPUHPPAState *env) 2961766fe9SRichard Henderson { 30eaa3783bSRichard Henderson target_ureg psw; 31931adff3SRichard Henderson target_ureg mask1 = (target_ureg)-1 / 0xf; 32931adff3SRichard Henderson target_ureg maskf = (target_ureg)-1 / 0xffff * 0xf; 3361766fe9SRichard Henderson 3461766fe9SRichard Henderson /* Fold carry bits down to 8 consecutive bits. */ 35931adff3SRichard Henderson /* ^^^b^^^c^^^d^^^e^^^f^^^g^^^h^^^i^^^j^^^k^^^l^^^m^^^n^^^o^^^p^^^^ */ 36931adff3SRichard Henderson /* ^^^b^^^c^^^d^^^e^^^f^^^g^^^h^^^^ */ 37931adff3SRichard Henderson psw = (env->psw_cb >> 4) & mask1; 38931adff3SRichard Henderson /* .......b...c...d...e...f...g...h...i...j...k...l...m...n...o...p */ 3961766fe9SRichard Henderson /* .......b...c...d...e...f...g...h */ 4061766fe9SRichard Henderson psw |= psw >> 3; 41931adff3SRichard Henderson /* .......b..bc..cd..de..ef..fg..gh..hi..ij..jk..kl..lm..mn..no..op */ 42931adff3SRichard Henderson /* .......b..bc..cd..de..ef..fg..gh */ 43931adff3SRichard Henderson psw |= psw >> 6; 44931adff3SRichard Henderson psw &= maskf; 45931adff3SRichard Henderson /* .............bcd............efgh............ijkl............mnop */ 4661766fe9SRichard Henderson /* .............bcd............efgh */ 47931adff3SRichard Henderson psw |= psw >> 12; 48931adff3SRichard Henderson /* .............bcd.........bcdefgh........efghijkl........ijklmnop */ 49931adff3SRichard Henderson /* .............bcd.........bcdefgh */ 50931adff3SRichard Henderson psw |= env->psw_cb_msb << (TARGET_REGISTER_BITS == 64 ? 39 : 7); 51931adff3SRichard Henderson /* .............bcd........abcdefgh........efghijkl........ijklmnop */ 52931adff3SRichard Henderson /* .............bcd........abcdefgh */ 53931adff3SRichard Henderson 54931adff3SRichard Henderson /* For hppa64, the two 8-bit fields are discontiguous. */ 55931adff3SRichard Henderson if (hppa_is_pa20(env)) { 56931adff3SRichard Henderson psw = (psw & 0xff00000000ull) | ((psw & 0xff) << 8); 57931adff3SRichard Henderson } else { 58fa57e327SRichard Henderson psw = (psw & 0xff) << 8; 59931adff3SRichard Henderson } 6061766fe9SRichard Henderson 61fa57e327SRichard Henderson psw |= env->psw_n * PSW_N; 62fa57e327SRichard Henderson psw |= (env->psw_v < 0) * PSW_V; 63fa57e327SRichard Henderson psw |= env->psw; 6461766fe9SRichard Henderson 6561766fe9SRichard Henderson return psw; 6661766fe9SRichard Henderson } 6761766fe9SRichard Henderson 68eaa3783bSRichard Henderson void cpu_hppa_put_psw(CPUHPPAState *env, target_ureg psw) 6961766fe9SRichard Henderson { 70931adff3SRichard Henderson uint64_t reserved; 71eaa3783bSRichard Henderson target_ureg cb = 0; 7261766fe9SRichard Henderson 73931adff3SRichard Henderson /* Do not allow reserved bits to be set. */ 74931adff3SRichard Henderson if (hppa_is_pa20(env)) { 75931adff3SRichard Henderson reserved = MAKE_64BIT_MASK(40, 24) | MAKE_64BIT_MASK(28, 4); 76931adff3SRichard Henderson reserved |= PSW_G; /* PA1.x only */ 77931adff3SRichard Henderson reserved |= PSW_E; /* not implemented */ 78931adff3SRichard Henderson } else { 79931adff3SRichard Henderson reserved = MAKE_64BIT_MASK(32, 32) | MAKE_64BIT_MASK(28, 2); 80931adff3SRichard Henderson reserved |= PSW_O | PSW_W; /* PA2.0 only */ 81931adff3SRichard Henderson reserved |= PSW_E | PSW_Y | PSW_Z; /* not implemented */ 82931adff3SRichard Henderson } 83931adff3SRichard Henderson psw &= ~reserved; 84931adff3SRichard Henderson 85fa57e327SRichard Henderson env->psw = psw & ~(PSW_N | PSW_V | PSW_CB); 86fa57e327SRichard Henderson env->psw_n = (psw / PSW_N) & 1; 87fa57e327SRichard Henderson env->psw_v = -((psw / PSW_V) & 1); 8861766fe9SRichard Henderson 89931adff3SRichard Henderson #if TARGET_REGISTER_BITS == 32 90931adff3SRichard Henderson env->psw_cb_msb = (psw >> 15) & 1; 91931adff3SRichard Henderson #else 92931adff3SRichard Henderson env->psw_cb_msb = (psw >> 39) & 1; 93931adff3SRichard Henderson cb |= ((psw >> 38) & 1) << 60; 94931adff3SRichard Henderson cb |= ((psw >> 37) & 1) << 56; 95931adff3SRichard Henderson cb |= ((psw >> 36) & 1) << 52; 96931adff3SRichard Henderson cb |= ((psw >> 35) & 1) << 48; 97931adff3SRichard Henderson cb |= ((psw >> 34) & 1) << 44; 98931adff3SRichard Henderson cb |= ((psw >> 33) & 1) << 40; 99931adff3SRichard Henderson cb |= ((psw >> 32) & 1) << 36; 100931adff3SRichard Henderson cb |= ((psw >> 15) & 1) << 32; 101931adff3SRichard Henderson #endif 10261766fe9SRichard Henderson cb |= ((psw >> 14) & 1) << 28; 10361766fe9SRichard Henderson cb |= ((psw >> 13) & 1) << 24; 10461766fe9SRichard Henderson cb |= ((psw >> 12) & 1) << 20; 10561766fe9SRichard Henderson cb |= ((psw >> 11) & 1) << 16; 10661766fe9SRichard Henderson cb |= ((psw >> 10) & 1) << 12; 10761766fe9SRichard Henderson cb |= ((psw >> 9) & 1) << 8; 10861766fe9SRichard Henderson cb |= ((psw >> 8) & 1) << 4; 10961766fe9SRichard Henderson env->psw_cb = cb; 11061766fe9SRichard Henderson } 11161766fe9SRichard Henderson 11290c84c56SMarkus Armbruster void hppa_cpu_dump_state(CPUState *cs, FILE *f, int flags) 11361766fe9SRichard Henderson { 114*5718fe4cSRichard Henderson CPUHPPAState *env = cpu_env(cs); 115eaa3783bSRichard Henderson target_ureg psw = cpu_hppa_get_psw(env); 116eaa3783bSRichard Henderson target_ureg psw_cb; 117fa57e327SRichard Henderson char psw_c[20]; 118*5718fe4cSRichard Henderson int i, w; 119*5718fe4cSRichard Henderson uint64_t m; 120*5718fe4cSRichard Henderson 121*5718fe4cSRichard Henderson if (hppa_is_pa20(env)) { 122*5718fe4cSRichard Henderson w = 16; 123*5718fe4cSRichard Henderson m = UINT64_MAX; 124*5718fe4cSRichard Henderson } else { 125*5718fe4cSRichard Henderson w = 8; 126*5718fe4cSRichard Henderson m = UINT32_MAX; 127*5718fe4cSRichard Henderson } 12861766fe9SRichard Henderson 129770525f8SHelge Deller qemu_fprintf(f, "IA_F " TARGET_FMT_lx " IA_B " TARGET_FMT_lx 130*5718fe4cSRichard Henderson " IIR %0*" PRIx64 "\n", 131c301f34eSRichard Henderson hppa_form_gva_psw(psw, env->iasq_f, env->iaoq_f), 132770525f8SHelge Deller hppa_form_gva_psw(psw, env->iasq_b, env->iaoq_b), 133*5718fe4cSRichard Henderson w, m & env->cr[CR_IIR]); 134fa57e327SRichard Henderson 135fa57e327SRichard Henderson psw_c[0] = (psw & PSW_W ? 'W' : '-'); 136fa57e327SRichard Henderson psw_c[1] = (psw & PSW_E ? 'E' : '-'); 137fa57e327SRichard Henderson psw_c[2] = (psw & PSW_S ? 'S' : '-'); 138fa57e327SRichard Henderson psw_c[3] = (psw & PSW_T ? 'T' : '-'); 139fa57e327SRichard Henderson psw_c[4] = (psw & PSW_H ? 'H' : '-'); 140fa57e327SRichard Henderson psw_c[5] = (psw & PSW_L ? 'L' : '-'); 141fa57e327SRichard Henderson psw_c[6] = (psw & PSW_N ? 'N' : '-'); 142fa57e327SRichard Henderson psw_c[7] = (psw & PSW_X ? 'X' : '-'); 143fa57e327SRichard Henderson psw_c[8] = (psw & PSW_B ? 'B' : '-'); 144fa57e327SRichard Henderson psw_c[9] = (psw & PSW_C ? 'C' : '-'); 145fa57e327SRichard Henderson psw_c[10] = (psw & PSW_V ? 'V' : '-'); 146fa57e327SRichard Henderson psw_c[11] = (psw & PSW_M ? 'M' : '-'); 147fa57e327SRichard Henderson psw_c[12] = (psw & PSW_F ? 'F' : '-'); 148fa57e327SRichard Henderson psw_c[13] = (psw & PSW_R ? 'R' : '-'); 149fa57e327SRichard Henderson psw_c[14] = (psw & PSW_Q ? 'Q' : '-'); 150fa57e327SRichard Henderson psw_c[15] = (psw & PSW_P ? 'P' : '-'); 151fa57e327SRichard Henderson psw_c[16] = (psw & PSW_D ? 'D' : '-'); 152fa57e327SRichard Henderson psw_c[17] = (psw & PSW_I ? 'I' : '-'); 153fa57e327SRichard Henderson psw_c[18] = '\0'; 154*5718fe4cSRichard Henderson psw_cb = ((env->psw_cb >> 4) & ((target_ureg)-1 / 0xf)) 155*5718fe4cSRichard Henderson | (env->psw_cb_msb << (TARGET_REGISTER_BITS - 4)); 156fa57e327SRichard Henderson 157*5718fe4cSRichard Henderson qemu_fprintf(f, "PSW %0*" PRIx64 " CB %0*" PRIx64 " %s\n", 158*5718fe4cSRichard Henderson w, m & psw, w, m & psw_cb, psw_c); 159fa57e327SRichard Henderson 160fa57e327SRichard Henderson for (i = 0; i < 32; i++) { 161*5718fe4cSRichard Henderson qemu_fprintf(f, "GR%02d %0*" PRIx64 "%c", 162*5718fe4cSRichard Henderson i, w, m & env->gr[i], 16333423472SRichard Henderson (i & 3) == 3 ? '\n' : ' '); 16461766fe9SRichard Henderson } 16533423472SRichard Henderson #ifndef CONFIG_USER_ONLY 16633423472SRichard Henderson for (i = 0; i < 8; i++) { 16790c84c56SMarkus Armbruster qemu_fprintf(f, "SR%02d %08x%c", i, (uint32_t)(env->sr[i] >> 32), 16833423472SRichard Henderson (i & 3) == 3 ? '\n' : ' '); 16961766fe9SRichard Henderson } 17033423472SRichard Henderson #endif 17190c84c56SMarkus Armbruster qemu_fprintf(f, "\n"); 17261766fe9SRichard Henderson 17361766fe9SRichard Henderson /* ??? FR */ 17461766fe9SRichard Henderson } 175