1507b6a50SPeter Maydell /* 2507b6a50SPeter Maydell * M-profile MVE Operations 3507b6a50SPeter Maydell * 4507b6a50SPeter Maydell * Copyright (c) 2021 Linaro, Ltd. 5507b6a50SPeter Maydell * 6507b6a50SPeter Maydell * This library is free software; you can redistribute it and/or 7507b6a50SPeter Maydell * modify it under the terms of the GNU Lesser General Public 8507b6a50SPeter Maydell * License as published by the Free Software Foundation; either 9507b6a50SPeter Maydell * version 2.1 of the License, or (at your option) any later version. 10507b6a50SPeter Maydell * 11507b6a50SPeter Maydell * This library is distributed in the hope that it will be useful, 12507b6a50SPeter Maydell * but WITHOUT ANY WARRANTY; without even the implied warranty of 13507b6a50SPeter Maydell * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU 14507b6a50SPeter Maydell * Lesser General Public License for more details. 15507b6a50SPeter Maydell * 16507b6a50SPeter Maydell * You should have received a copy of the GNU Lesser General Public 17507b6a50SPeter Maydell * License along with this library; if not, see <http://www.gnu.org/licenses/>. 18507b6a50SPeter Maydell */ 19507b6a50SPeter Maydell 20507b6a50SPeter Maydell #include "qemu/osdep.h" 21507b6a50SPeter Maydell #include "cpu.h" 22507b6a50SPeter Maydell #include "internals.h" 23507b6a50SPeter Maydell #include "vec_internal.h" 24507b6a50SPeter Maydell #include "exec/helper-proto.h" 25507b6a50SPeter Maydell #include "exec/cpu_ldst.h" 26507b6a50SPeter Maydell #include "exec/exec-all.h" 27507b6a50SPeter Maydell 28507b6a50SPeter Maydell static uint16_t mve_element_mask(CPUARMState *env) 29507b6a50SPeter Maydell { 30507b6a50SPeter Maydell /* 31507b6a50SPeter Maydell * Return the mask of which elements in the MVE vector should be 32507b6a50SPeter Maydell * updated. This is a combination of multiple things: 33507b6a50SPeter Maydell * (1) by default, we update every lane in the vector 34507b6a50SPeter Maydell * (2) VPT predication stores its state in the VPR register; 35507b6a50SPeter Maydell * (3) low-overhead-branch tail predication will mask out part 36507b6a50SPeter Maydell * the vector on the final iteration of the loop 37507b6a50SPeter Maydell * (4) if EPSR.ECI is set then we must execute only some beats 38507b6a50SPeter Maydell * of the insn 39507b6a50SPeter Maydell * We combine all these into a 16-bit result with the same semantics 40507b6a50SPeter Maydell * as VPR.P0: 0 to mask the lane, 1 if it is active. 41507b6a50SPeter Maydell * 8-bit vector ops will look at all bits of the result; 42507b6a50SPeter Maydell * 16-bit ops will look at bits 0, 2, 4, ...; 43507b6a50SPeter Maydell * 32-bit ops will look at bits 0, 4, 8 and 12. 44507b6a50SPeter Maydell * Compare pseudocode GetCurInstrBeat(), though that only returns 45507b6a50SPeter Maydell * the 4-bit slice of the mask corresponding to a single beat. 46507b6a50SPeter Maydell */ 47507b6a50SPeter Maydell uint16_t mask = FIELD_EX32(env->v7m.vpr, V7M_VPR, P0); 48507b6a50SPeter Maydell 49507b6a50SPeter Maydell if (!(env->v7m.vpr & R_V7M_VPR_MASK01_MASK)) { 50507b6a50SPeter Maydell mask |= 0xff; 51507b6a50SPeter Maydell } 52507b6a50SPeter Maydell if (!(env->v7m.vpr & R_V7M_VPR_MASK23_MASK)) { 53507b6a50SPeter Maydell mask |= 0xff00; 54507b6a50SPeter Maydell } 55507b6a50SPeter Maydell 56507b6a50SPeter Maydell if (env->v7m.ltpsize < 4 && 57507b6a50SPeter Maydell env->regs[14] <= (1 << (4 - env->v7m.ltpsize))) { 58507b6a50SPeter Maydell /* 59507b6a50SPeter Maydell * Tail predication active, and this is the last loop iteration. 60507b6a50SPeter Maydell * The element size is (1 << ltpsize), and we only want to process 61507b6a50SPeter Maydell * loopcount elements, so we want to retain the least significant 62507b6a50SPeter Maydell * (loopcount * esize) predicate bits and zero out bits above that. 63507b6a50SPeter Maydell */ 64507b6a50SPeter Maydell int masklen = env->regs[14] << env->v7m.ltpsize; 65507b6a50SPeter Maydell assert(masklen <= 16); 66507b6a50SPeter Maydell mask &= MAKE_64BIT_MASK(0, masklen); 67507b6a50SPeter Maydell } 68507b6a50SPeter Maydell 69507b6a50SPeter Maydell if ((env->condexec_bits & 0xf) == 0) { 70507b6a50SPeter Maydell /* 71507b6a50SPeter Maydell * ECI bits indicate which beats are already executed; 72507b6a50SPeter Maydell * we handle this by effectively predicating them out. 73507b6a50SPeter Maydell */ 74507b6a50SPeter Maydell int eci = env->condexec_bits >> 4; 75507b6a50SPeter Maydell switch (eci) { 76507b6a50SPeter Maydell case ECI_NONE: 77507b6a50SPeter Maydell break; 78507b6a50SPeter Maydell case ECI_A0: 79507b6a50SPeter Maydell mask &= 0xfff0; 80507b6a50SPeter Maydell break; 81507b6a50SPeter Maydell case ECI_A0A1: 82507b6a50SPeter Maydell mask &= 0xff00; 83507b6a50SPeter Maydell break; 84507b6a50SPeter Maydell case ECI_A0A1A2: 85507b6a50SPeter Maydell case ECI_A0A1A2B0: 86507b6a50SPeter Maydell mask &= 0xf000; 87507b6a50SPeter Maydell break; 88507b6a50SPeter Maydell default: 89507b6a50SPeter Maydell g_assert_not_reached(); 90507b6a50SPeter Maydell } 91507b6a50SPeter Maydell } 92507b6a50SPeter Maydell 93507b6a50SPeter Maydell return mask; 94507b6a50SPeter Maydell } 95507b6a50SPeter Maydell 96507b6a50SPeter Maydell static void mve_advance_vpt(CPUARMState *env) 97507b6a50SPeter Maydell { 98507b6a50SPeter Maydell /* Advance the VPT and ECI state if necessary */ 99507b6a50SPeter Maydell uint32_t vpr = env->v7m.vpr; 100507b6a50SPeter Maydell unsigned mask01, mask23; 101507b6a50SPeter Maydell 102507b6a50SPeter Maydell if ((env->condexec_bits & 0xf) == 0) { 103507b6a50SPeter Maydell env->condexec_bits = (env->condexec_bits == (ECI_A0A1A2B0 << 4)) ? 104507b6a50SPeter Maydell (ECI_A0 << 4) : (ECI_NONE << 4); 105507b6a50SPeter Maydell } 106507b6a50SPeter Maydell 107507b6a50SPeter Maydell if (!(vpr & (R_V7M_VPR_MASK01_MASK | R_V7M_VPR_MASK23_MASK))) { 108507b6a50SPeter Maydell /* VPT not enabled, nothing to do */ 109507b6a50SPeter Maydell return; 110507b6a50SPeter Maydell } 111507b6a50SPeter Maydell 112507b6a50SPeter Maydell mask01 = FIELD_EX32(vpr, V7M_VPR, MASK01); 113507b6a50SPeter Maydell mask23 = FIELD_EX32(vpr, V7M_VPR, MASK23); 114507b6a50SPeter Maydell if (mask01 > 8) { 115507b6a50SPeter Maydell /* high bit set, but not 0b1000: invert the relevant half of P0 */ 116507b6a50SPeter Maydell vpr ^= 0xff; 117507b6a50SPeter Maydell } 118507b6a50SPeter Maydell if (mask23 > 8) { 119507b6a50SPeter Maydell /* high bit set, but not 0b1000: invert the relevant half of P0 */ 120507b6a50SPeter Maydell vpr ^= 0xff00; 121507b6a50SPeter Maydell } 122507b6a50SPeter Maydell vpr = FIELD_DP32(vpr, V7M_VPR, MASK01, mask01 << 1); 123507b6a50SPeter Maydell vpr = FIELD_DP32(vpr, V7M_VPR, MASK23, mask23 << 1); 124507b6a50SPeter Maydell env->v7m.vpr = vpr; 125507b6a50SPeter Maydell } 126507b6a50SPeter Maydell 127507b6a50SPeter Maydell 128507b6a50SPeter Maydell #define DO_VLDR(OP, MSIZE, LDTYPE, ESIZE, TYPE) \ 129507b6a50SPeter Maydell void HELPER(mve_##OP)(CPUARMState *env, void *vd, uint32_t addr) \ 130507b6a50SPeter Maydell { \ 131507b6a50SPeter Maydell TYPE *d = vd; \ 132507b6a50SPeter Maydell uint16_t mask = mve_element_mask(env); \ 133507b6a50SPeter Maydell unsigned b, e; \ 134507b6a50SPeter Maydell /* \ 135507b6a50SPeter Maydell * R_SXTM allows the dest reg to become UNKNOWN for abandoned \ 136507b6a50SPeter Maydell * beats so we don't care if we update part of the dest and \ 137507b6a50SPeter Maydell * then take an exception. \ 138507b6a50SPeter Maydell */ \ 139507b6a50SPeter Maydell for (b = 0, e = 0; b < 16; b += ESIZE, e++) { \ 140507b6a50SPeter Maydell if (mask & (1 << b)) { \ 141507b6a50SPeter Maydell d[H##ESIZE(e)] = cpu_##LDTYPE##_data_ra(env, addr, GETPC()); \ 142507b6a50SPeter Maydell } \ 143507b6a50SPeter Maydell addr += MSIZE; \ 144507b6a50SPeter Maydell } \ 145507b6a50SPeter Maydell mve_advance_vpt(env); \ 146507b6a50SPeter Maydell } 147507b6a50SPeter Maydell 148507b6a50SPeter Maydell #define DO_VSTR(OP, MSIZE, STTYPE, ESIZE, TYPE) \ 149507b6a50SPeter Maydell void HELPER(mve_##OP)(CPUARMState *env, void *vd, uint32_t addr) \ 150507b6a50SPeter Maydell { \ 151507b6a50SPeter Maydell TYPE *d = vd; \ 152507b6a50SPeter Maydell uint16_t mask = mve_element_mask(env); \ 153507b6a50SPeter Maydell unsigned b, e; \ 154507b6a50SPeter Maydell for (b = 0, e = 0; b < 16; b += ESIZE, e++) { \ 155507b6a50SPeter Maydell if (mask & (1 << b)) { \ 156507b6a50SPeter Maydell cpu_##STTYPE##_data_ra(env, addr, d[H##ESIZE(e)], GETPC()); \ 157507b6a50SPeter Maydell } \ 158507b6a50SPeter Maydell addr += MSIZE; \ 159507b6a50SPeter Maydell } \ 160507b6a50SPeter Maydell mve_advance_vpt(env); \ 161507b6a50SPeter Maydell } 162507b6a50SPeter Maydell 163507b6a50SPeter Maydell DO_VLDR(vldrb, 1, ldub, 1, uint8_t) 164507b6a50SPeter Maydell DO_VLDR(vldrh, 2, lduw, 2, uint16_t) 165507b6a50SPeter Maydell DO_VLDR(vldrw, 4, ldl, 4, uint32_t) 166507b6a50SPeter Maydell 167507b6a50SPeter Maydell DO_VSTR(vstrb, 1, stb, 1, uint8_t) 168507b6a50SPeter Maydell DO_VSTR(vstrh, 2, stw, 2, uint16_t) 169507b6a50SPeter Maydell DO_VSTR(vstrw, 4, stl, 4, uint32_t) 170507b6a50SPeter Maydell 1712fc6b751SPeter Maydell DO_VLDR(vldrb_sh, 1, ldsb, 2, int16_t) 1722fc6b751SPeter Maydell DO_VLDR(vldrb_sw, 1, ldsb, 4, int32_t) 1732fc6b751SPeter Maydell DO_VLDR(vldrb_uh, 1, ldub, 2, uint16_t) 1742fc6b751SPeter Maydell DO_VLDR(vldrb_uw, 1, ldub, 4, uint32_t) 1752fc6b751SPeter Maydell DO_VLDR(vldrh_sw, 2, ldsw, 4, int32_t) 1762fc6b751SPeter Maydell DO_VLDR(vldrh_uw, 2, lduw, 4, uint32_t) 1772fc6b751SPeter Maydell 1782fc6b751SPeter Maydell DO_VSTR(vstrb_h, 1, stb, 2, int16_t) 1792fc6b751SPeter Maydell DO_VSTR(vstrb_w, 1, stb, 4, int32_t) 1802fc6b751SPeter Maydell DO_VSTR(vstrh_w, 2, stw, 4, int32_t) 1812fc6b751SPeter Maydell 182507b6a50SPeter Maydell #undef DO_VLDR 183507b6a50SPeter Maydell #undef DO_VSTR 184*0f0f2bd5SPeter Maydell 185*0f0f2bd5SPeter Maydell /* 186*0f0f2bd5SPeter Maydell * The mergemask(D, R, M) macro performs the operation "*D = R" but 187*0f0f2bd5SPeter Maydell * storing only the bytes which correspond to 1 bits in M, 188*0f0f2bd5SPeter Maydell * leaving other bytes in *D unchanged. We use _Generic 189*0f0f2bd5SPeter Maydell * to select the correct implementation based on the type of D. 190*0f0f2bd5SPeter Maydell */ 191*0f0f2bd5SPeter Maydell 192*0f0f2bd5SPeter Maydell static void mergemask_ub(uint8_t *d, uint8_t r, uint16_t mask) 193*0f0f2bd5SPeter Maydell { 194*0f0f2bd5SPeter Maydell if (mask & 1) { 195*0f0f2bd5SPeter Maydell *d = r; 196*0f0f2bd5SPeter Maydell } 197*0f0f2bd5SPeter Maydell } 198*0f0f2bd5SPeter Maydell 199*0f0f2bd5SPeter Maydell static void mergemask_sb(int8_t *d, int8_t r, uint16_t mask) 200*0f0f2bd5SPeter Maydell { 201*0f0f2bd5SPeter Maydell mergemask_ub((uint8_t *)d, r, mask); 202*0f0f2bd5SPeter Maydell } 203*0f0f2bd5SPeter Maydell 204*0f0f2bd5SPeter Maydell static void mergemask_uh(uint16_t *d, uint16_t r, uint16_t mask) 205*0f0f2bd5SPeter Maydell { 206*0f0f2bd5SPeter Maydell uint16_t bmask = expand_pred_b_data[mask & 3]; 207*0f0f2bd5SPeter Maydell *d = (*d & ~bmask) | (r & bmask); 208*0f0f2bd5SPeter Maydell } 209*0f0f2bd5SPeter Maydell 210*0f0f2bd5SPeter Maydell static void mergemask_sh(int16_t *d, int16_t r, uint16_t mask) 211*0f0f2bd5SPeter Maydell { 212*0f0f2bd5SPeter Maydell mergemask_uh((uint16_t *)d, r, mask); 213*0f0f2bd5SPeter Maydell } 214*0f0f2bd5SPeter Maydell 215*0f0f2bd5SPeter Maydell static void mergemask_uw(uint32_t *d, uint32_t r, uint16_t mask) 216*0f0f2bd5SPeter Maydell { 217*0f0f2bd5SPeter Maydell uint32_t bmask = expand_pred_b_data[mask & 0xf]; 218*0f0f2bd5SPeter Maydell *d = (*d & ~bmask) | (r & bmask); 219*0f0f2bd5SPeter Maydell } 220*0f0f2bd5SPeter Maydell 221*0f0f2bd5SPeter Maydell static void mergemask_sw(int32_t *d, int32_t r, uint16_t mask) 222*0f0f2bd5SPeter Maydell { 223*0f0f2bd5SPeter Maydell mergemask_uw((uint32_t *)d, r, mask); 224*0f0f2bd5SPeter Maydell } 225*0f0f2bd5SPeter Maydell 226*0f0f2bd5SPeter Maydell static void mergemask_uq(uint64_t *d, uint64_t r, uint16_t mask) 227*0f0f2bd5SPeter Maydell { 228*0f0f2bd5SPeter Maydell uint64_t bmask = expand_pred_b_data[mask & 0xff]; 229*0f0f2bd5SPeter Maydell *d = (*d & ~bmask) | (r & bmask); 230*0f0f2bd5SPeter Maydell } 231*0f0f2bd5SPeter Maydell 232*0f0f2bd5SPeter Maydell static void mergemask_sq(int64_t *d, int64_t r, uint16_t mask) 233*0f0f2bd5SPeter Maydell { 234*0f0f2bd5SPeter Maydell mergemask_uq((uint64_t *)d, r, mask); 235*0f0f2bd5SPeter Maydell } 236*0f0f2bd5SPeter Maydell 237*0f0f2bd5SPeter Maydell #define mergemask(D, R, M) \ 238*0f0f2bd5SPeter Maydell _Generic(D, \ 239*0f0f2bd5SPeter Maydell uint8_t *: mergemask_ub, \ 240*0f0f2bd5SPeter Maydell int8_t *: mergemask_sb, \ 241*0f0f2bd5SPeter Maydell uint16_t *: mergemask_uh, \ 242*0f0f2bd5SPeter Maydell int16_t *: mergemask_sh, \ 243*0f0f2bd5SPeter Maydell uint32_t *: mergemask_uw, \ 244*0f0f2bd5SPeter Maydell int32_t *: mergemask_sw, \ 245*0f0f2bd5SPeter Maydell uint64_t *: mergemask_uq, \ 246*0f0f2bd5SPeter Maydell int64_t *: mergemask_sq)(D, R, M) 247*0f0f2bd5SPeter Maydell 248*0f0f2bd5SPeter Maydell #define DO_1OP(OP, ESIZE, TYPE, FN) \ 249*0f0f2bd5SPeter Maydell void HELPER(mve_##OP)(CPUARMState *env, void *vd, void *vm) \ 250*0f0f2bd5SPeter Maydell { \ 251*0f0f2bd5SPeter Maydell TYPE *d = vd, *m = vm; \ 252*0f0f2bd5SPeter Maydell uint16_t mask = mve_element_mask(env); \ 253*0f0f2bd5SPeter Maydell unsigned e; \ 254*0f0f2bd5SPeter Maydell for (e = 0; e < 16 / ESIZE; e++, mask >>= ESIZE) { \ 255*0f0f2bd5SPeter Maydell mergemask(&d[H##ESIZE(e)], FN(m[H##ESIZE(e)]), mask); \ 256*0f0f2bd5SPeter Maydell } \ 257*0f0f2bd5SPeter Maydell mve_advance_vpt(env); \ 258*0f0f2bd5SPeter Maydell } 259*0f0f2bd5SPeter Maydell 260*0f0f2bd5SPeter Maydell #define DO_CLZ_B(N) (clz32(N) - 24) 261*0f0f2bd5SPeter Maydell #define DO_CLZ_H(N) (clz32(N) - 16) 262*0f0f2bd5SPeter Maydell 263*0f0f2bd5SPeter Maydell DO_1OP(vclzb, 1, uint8_t, DO_CLZ_B) 264*0f0f2bd5SPeter Maydell DO_1OP(vclzh, 2, uint16_t, DO_CLZ_H) 265*0f0f2bd5SPeter Maydell DO_1OP(vclzw, 4, uint32_t, clz32) 266