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" 2138548747SPeter Maydell #include "qemu/int128.h" 22507b6a50SPeter Maydell #include "cpu.h" 23507b6a50SPeter Maydell #include "internals.h" 24507b6a50SPeter Maydell #include "vec_internal.h" 25507b6a50SPeter Maydell #include "exec/helper-proto.h" 26507b6a50SPeter Maydell #include "exec/cpu_ldst.h" 27507b6a50SPeter Maydell #include "exec/exec-all.h" 2859c91773SPeter Maydell #include "tcg/tcg.h" 29507b6a50SPeter Maydell 30507b6a50SPeter Maydell static uint16_t mve_element_mask(CPUARMState *env) 31507b6a50SPeter Maydell { 32507b6a50SPeter Maydell /* 33507b6a50SPeter Maydell * Return the mask of which elements in the MVE vector should be 34507b6a50SPeter Maydell * updated. This is a combination of multiple things: 35507b6a50SPeter Maydell * (1) by default, we update every lane in the vector 36507b6a50SPeter Maydell * (2) VPT predication stores its state in the VPR register; 37507b6a50SPeter Maydell * (3) low-overhead-branch tail predication will mask out part 38507b6a50SPeter Maydell * the vector on the final iteration of the loop 39507b6a50SPeter Maydell * (4) if EPSR.ECI is set then we must execute only some beats 40507b6a50SPeter Maydell * of the insn 41507b6a50SPeter Maydell * We combine all these into a 16-bit result with the same semantics 42507b6a50SPeter Maydell * as VPR.P0: 0 to mask the lane, 1 if it is active. 43507b6a50SPeter Maydell * 8-bit vector ops will look at all bits of the result; 44507b6a50SPeter Maydell * 16-bit ops will look at bits 0, 2, 4, ...; 45507b6a50SPeter Maydell * 32-bit ops will look at bits 0, 4, 8 and 12. 46507b6a50SPeter Maydell * Compare pseudocode GetCurInstrBeat(), though that only returns 47507b6a50SPeter Maydell * the 4-bit slice of the mask corresponding to a single beat. 48507b6a50SPeter Maydell */ 49507b6a50SPeter Maydell uint16_t mask = FIELD_EX32(env->v7m.vpr, V7M_VPR, P0); 50507b6a50SPeter Maydell 51507b6a50SPeter Maydell if (!(env->v7m.vpr & R_V7M_VPR_MASK01_MASK)) { 52507b6a50SPeter Maydell mask |= 0xff; 53507b6a50SPeter Maydell } 54507b6a50SPeter Maydell if (!(env->v7m.vpr & R_V7M_VPR_MASK23_MASK)) { 55507b6a50SPeter Maydell mask |= 0xff00; 56507b6a50SPeter Maydell } 57507b6a50SPeter Maydell 58507b6a50SPeter Maydell if (env->v7m.ltpsize < 4 && 59507b6a50SPeter Maydell env->regs[14] <= (1 << (4 - env->v7m.ltpsize))) { 60507b6a50SPeter Maydell /* 61507b6a50SPeter Maydell * Tail predication active, and this is the last loop iteration. 62507b6a50SPeter Maydell * The element size is (1 << ltpsize), and we only want to process 63507b6a50SPeter Maydell * loopcount elements, so we want to retain the least significant 64507b6a50SPeter Maydell * (loopcount * esize) predicate bits and zero out bits above that. 65507b6a50SPeter Maydell */ 66507b6a50SPeter Maydell int masklen = env->regs[14] << env->v7m.ltpsize; 67507b6a50SPeter Maydell assert(masklen <= 16); 68507b6a50SPeter Maydell mask &= MAKE_64BIT_MASK(0, masklen); 69507b6a50SPeter Maydell } 70507b6a50SPeter Maydell 71507b6a50SPeter Maydell if ((env->condexec_bits & 0xf) == 0) { 72507b6a50SPeter Maydell /* 73507b6a50SPeter Maydell * ECI bits indicate which beats are already executed; 74507b6a50SPeter Maydell * we handle this by effectively predicating them out. 75507b6a50SPeter Maydell */ 76507b6a50SPeter Maydell int eci = env->condexec_bits >> 4; 77507b6a50SPeter Maydell switch (eci) { 78507b6a50SPeter Maydell case ECI_NONE: 79507b6a50SPeter Maydell break; 80507b6a50SPeter Maydell case ECI_A0: 81507b6a50SPeter Maydell mask &= 0xfff0; 82507b6a50SPeter Maydell break; 83507b6a50SPeter Maydell case ECI_A0A1: 84507b6a50SPeter Maydell mask &= 0xff00; 85507b6a50SPeter Maydell break; 86507b6a50SPeter Maydell case ECI_A0A1A2: 87507b6a50SPeter Maydell case ECI_A0A1A2B0: 88507b6a50SPeter Maydell mask &= 0xf000; 89507b6a50SPeter Maydell break; 90507b6a50SPeter Maydell default: 91507b6a50SPeter Maydell g_assert_not_reached(); 92507b6a50SPeter Maydell } 93507b6a50SPeter Maydell } 94507b6a50SPeter Maydell 95507b6a50SPeter Maydell return mask; 96507b6a50SPeter Maydell } 97507b6a50SPeter Maydell 98507b6a50SPeter Maydell static void mve_advance_vpt(CPUARMState *env) 99507b6a50SPeter Maydell { 100507b6a50SPeter Maydell /* Advance the VPT and ECI state if necessary */ 101507b6a50SPeter Maydell uint32_t vpr = env->v7m.vpr; 102507b6a50SPeter Maydell unsigned mask01, mask23; 103507b6a50SPeter Maydell 104507b6a50SPeter Maydell if ((env->condexec_bits & 0xf) == 0) { 105507b6a50SPeter Maydell env->condexec_bits = (env->condexec_bits == (ECI_A0A1A2B0 << 4)) ? 106507b6a50SPeter Maydell (ECI_A0 << 4) : (ECI_NONE << 4); 107507b6a50SPeter Maydell } 108507b6a50SPeter Maydell 109507b6a50SPeter Maydell if (!(vpr & (R_V7M_VPR_MASK01_MASK | R_V7M_VPR_MASK23_MASK))) { 110507b6a50SPeter Maydell /* VPT not enabled, nothing to do */ 111507b6a50SPeter Maydell return; 112507b6a50SPeter Maydell } 113507b6a50SPeter Maydell 114507b6a50SPeter Maydell mask01 = FIELD_EX32(vpr, V7M_VPR, MASK01); 115507b6a50SPeter Maydell mask23 = FIELD_EX32(vpr, V7M_VPR, MASK23); 116507b6a50SPeter Maydell if (mask01 > 8) { 117507b6a50SPeter Maydell /* high bit set, but not 0b1000: invert the relevant half of P0 */ 118507b6a50SPeter Maydell vpr ^= 0xff; 119507b6a50SPeter Maydell } 120507b6a50SPeter Maydell if (mask23 > 8) { 121507b6a50SPeter Maydell /* high bit set, but not 0b1000: invert the relevant half of P0 */ 122507b6a50SPeter Maydell vpr ^= 0xff00; 123507b6a50SPeter Maydell } 124507b6a50SPeter Maydell vpr = FIELD_DP32(vpr, V7M_VPR, MASK01, mask01 << 1); 125507b6a50SPeter Maydell vpr = FIELD_DP32(vpr, V7M_VPR, MASK23, mask23 << 1); 126507b6a50SPeter Maydell env->v7m.vpr = vpr; 127507b6a50SPeter Maydell } 128507b6a50SPeter Maydell 129507b6a50SPeter Maydell 130507b6a50SPeter Maydell #define DO_VLDR(OP, MSIZE, LDTYPE, ESIZE, TYPE) \ 131507b6a50SPeter Maydell void HELPER(mve_##OP)(CPUARMState *env, void *vd, uint32_t addr) \ 132507b6a50SPeter Maydell { \ 133507b6a50SPeter Maydell TYPE *d = vd; \ 134507b6a50SPeter Maydell uint16_t mask = mve_element_mask(env); \ 135507b6a50SPeter Maydell unsigned b, e; \ 136507b6a50SPeter Maydell /* \ 137507b6a50SPeter Maydell * R_SXTM allows the dest reg to become UNKNOWN for abandoned \ 138507b6a50SPeter Maydell * beats so we don't care if we update part of the dest and \ 139507b6a50SPeter Maydell * then take an exception. \ 140507b6a50SPeter Maydell */ \ 141507b6a50SPeter Maydell for (b = 0, e = 0; b < 16; b += ESIZE, e++) { \ 142507b6a50SPeter Maydell if (mask & (1 << b)) { \ 143507b6a50SPeter Maydell d[H##ESIZE(e)] = cpu_##LDTYPE##_data_ra(env, addr, GETPC()); \ 144507b6a50SPeter Maydell } \ 145507b6a50SPeter Maydell addr += MSIZE; \ 146507b6a50SPeter Maydell } \ 147507b6a50SPeter Maydell mve_advance_vpt(env); \ 148507b6a50SPeter Maydell } 149507b6a50SPeter Maydell 150507b6a50SPeter Maydell #define DO_VSTR(OP, MSIZE, STTYPE, ESIZE, TYPE) \ 151507b6a50SPeter Maydell void HELPER(mve_##OP)(CPUARMState *env, void *vd, uint32_t addr) \ 152507b6a50SPeter Maydell { \ 153507b6a50SPeter Maydell TYPE *d = vd; \ 154507b6a50SPeter Maydell uint16_t mask = mve_element_mask(env); \ 155507b6a50SPeter Maydell unsigned b, e; \ 156507b6a50SPeter Maydell for (b = 0, e = 0; b < 16; b += ESIZE, e++) { \ 157507b6a50SPeter Maydell if (mask & (1 << b)) { \ 158507b6a50SPeter Maydell cpu_##STTYPE##_data_ra(env, addr, d[H##ESIZE(e)], GETPC()); \ 159507b6a50SPeter Maydell } \ 160507b6a50SPeter Maydell addr += MSIZE; \ 161507b6a50SPeter Maydell } \ 162507b6a50SPeter Maydell mve_advance_vpt(env); \ 163507b6a50SPeter Maydell } 164507b6a50SPeter Maydell 165507b6a50SPeter Maydell DO_VLDR(vldrb, 1, ldub, 1, uint8_t) 166507b6a50SPeter Maydell DO_VLDR(vldrh, 2, lduw, 2, uint16_t) 167507b6a50SPeter Maydell DO_VLDR(vldrw, 4, ldl, 4, uint32_t) 168507b6a50SPeter Maydell 169507b6a50SPeter Maydell DO_VSTR(vstrb, 1, stb, 1, uint8_t) 170507b6a50SPeter Maydell DO_VSTR(vstrh, 2, stw, 2, uint16_t) 171507b6a50SPeter Maydell DO_VSTR(vstrw, 4, stl, 4, uint32_t) 172507b6a50SPeter Maydell 1732fc6b751SPeter Maydell DO_VLDR(vldrb_sh, 1, ldsb, 2, int16_t) 1742fc6b751SPeter Maydell DO_VLDR(vldrb_sw, 1, ldsb, 4, int32_t) 1752fc6b751SPeter Maydell DO_VLDR(vldrb_uh, 1, ldub, 2, uint16_t) 1762fc6b751SPeter Maydell DO_VLDR(vldrb_uw, 1, ldub, 4, uint32_t) 1772fc6b751SPeter Maydell DO_VLDR(vldrh_sw, 2, ldsw, 4, int32_t) 1782fc6b751SPeter Maydell DO_VLDR(vldrh_uw, 2, lduw, 4, uint32_t) 1792fc6b751SPeter Maydell 1802fc6b751SPeter Maydell DO_VSTR(vstrb_h, 1, stb, 2, int16_t) 1812fc6b751SPeter Maydell DO_VSTR(vstrb_w, 1, stb, 4, int32_t) 1822fc6b751SPeter Maydell DO_VSTR(vstrh_w, 2, stw, 4, int32_t) 1832fc6b751SPeter Maydell 184507b6a50SPeter Maydell #undef DO_VLDR 185507b6a50SPeter Maydell #undef DO_VSTR 1860f0f2bd5SPeter Maydell 1870f0f2bd5SPeter Maydell /* 1880f0f2bd5SPeter Maydell * The mergemask(D, R, M) macro performs the operation "*D = R" but 1890f0f2bd5SPeter Maydell * storing only the bytes which correspond to 1 bits in M, 1900f0f2bd5SPeter Maydell * leaving other bytes in *D unchanged. We use _Generic 1910f0f2bd5SPeter Maydell * to select the correct implementation based on the type of D. 1920f0f2bd5SPeter Maydell */ 1930f0f2bd5SPeter Maydell 1940f0f2bd5SPeter Maydell static void mergemask_ub(uint8_t *d, uint8_t r, uint16_t mask) 1950f0f2bd5SPeter Maydell { 1960f0f2bd5SPeter Maydell if (mask & 1) { 1970f0f2bd5SPeter Maydell *d = r; 1980f0f2bd5SPeter Maydell } 1990f0f2bd5SPeter Maydell } 2000f0f2bd5SPeter Maydell 2010f0f2bd5SPeter Maydell static void mergemask_sb(int8_t *d, int8_t r, uint16_t mask) 2020f0f2bd5SPeter Maydell { 2030f0f2bd5SPeter Maydell mergemask_ub((uint8_t *)d, r, mask); 2040f0f2bd5SPeter Maydell } 2050f0f2bd5SPeter Maydell 2060f0f2bd5SPeter Maydell static void mergemask_uh(uint16_t *d, uint16_t r, uint16_t mask) 2070f0f2bd5SPeter Maydell { 2080f0f2bd5SPeter Maydell uint16_t bmask = expand_pred_b_data[mask & 3]; 2090f0f2bd5SPeter Maydell *d = (*d & ~bmask) | (r & bmask); 2100f0f2bd5SPeter Maydell } 2110f0f2bd5SPeter Maydell 2120f0f2bd5SPeter Maydell static void mergemask_sh(int16_t *d, int16_t r, uint16_t mask) 2130f0f2bd5SPeter Maydell { 2140f0f2bd5SPeter Maydell mergemask_uh((uint16_t *)d, r, mask); 2150f0f2bd5SPeter Maydell } 2160f0f2bd5SPeter Maydell 2170f0f2bd5SPeter Maydell static void mergemask_uw(uint32_t *d, uint32_t r, uint16_t mask) 2180f0f2bd5SPeter Maydell { 2190f0f2bd5SPeter Maydell uint32_t bmask = expand_pred_b_data[mask & 0xf]; 2200f0f2bd5SPeter Maydell *d = (*d & ~bmask) | (r & bmask); 2210f0f2bd5SPeter Maydell } 2220f0f2bd5SPeter Maydell 2230f0f2bd5SPeter Maydell static void mergemask_sw(int32_t *d, int32_t r, uint16_t mask) 2240f0f2bd5SPeter Maydell { 2250f0f2bd5SPeter Maydell mergemask_uw((uint32_t *)d, r, mask); 2260f0f2bd5SPeter Maydell } 2270f0f2bd5SPeter Maydell 2280f0f2bd5SPeter Maydell static void mergemask_uq(uint64_t *d, uint64_t r, uint16_t mask) 2290f0f2bd5SPeter Maydell { 2300f0f2bd5SPeter Maydell uint64_t bmask = expand_pred_b_data[mask & 0xff]; 2310f0f2bd5SPeter Maydell *d = (*d & ~bmask) | (r & bmask); 2320f0f2bd5SPeter Maydell } 2330f0f2bd5SPeter Maydell 2340f0f2bd5SPeter Maydell static void mergemask_sq(int64_t *d, int64_t r, uint16_t mask) 2350f0f2bd5SPeter Maydell { 2360f0f2bd5SPeter Maydell mergemask_uq((uint64_t *)d, r, mask); 2370f0f2bd5SPeter Maydell } 2380f0f2bd5SPeter Maydell 2390f0f2bd5SPeter Maydell #define mergemask(D, R, M) \ 2400f0f2bd5SPeter Maydell _Generic(D, \ 2410f0f2bd5SPeter Maydell uint8_t *: mergemask_ub, \ 2420f0f2bd5SPeter Maydell int8_t *: mergemask_sb, \ 2430f0f2bd5SPeter Maydell uint16_t *: mergemask_uh, \ 2440f0f2bd5SPeter Maydell int16_t *: mergemask_sh, \ 2450f0f2bd5SPeter Maydell uint32_t *: mergemask_uw, \ 2460f0f2bd5SPeter Maydell int32_t *: mergemask_sw, \ 2470f0f2bd5SPeter Maydell uint64_t *: mergemask_uq, \ 2480f0f2bd5SPeter Maydell int64_t *: mergemask_sq)(D, R, M) 2490f0f2bd5SPeter Maydell 250ab59362fSPeter Maydell void HELPER(mve_vdup)(CPUARMState *env, void *vd, uint32_t val) 251ab59362fSPeter Maydell { 252ab59362fSPeter Maydell /* 253ab59362fSPeter Maydell * The generated code already replicated an 8 or 16 bit constant 254ab59362fSPeter Maydell * into the 32-bit value, so we only need to write the 32-bit 255ab59362fSPeter Maydell * value to all elements of the Qreg, allowing for predication. 256ab59362fSPeter Maydell */ 257ab59362fSPeter Maydell uint32_t *d = vd; 258ab59362fSPeter Maydell uint16_t mask = mve_element_mask(env); 259ab59362fSPeter Maydell unsigned e; 260ab59362fSPeter Maydell for (e = 0; e < 16 / 4; e++, mask >>= 4) { 261ab59362fSPeter Maydell mergemask(&d[H4(e)], val, mask); 262ab59362fSPeter Maydell } 263ab59362fSPeter Maydell mve_advance_vpt(env); 264ab59362fSPeter Maydell } 265ab59362fSPeter Maydell 2660f0f2bd5SPeter Maydell #define DO_1OP(OP, ESIZE, TYPE, FN) \ 2670f0f2bd5SPeter Maydell void HELPER(mve_##OP)(CPUARMState *env, void *vd, void *vm) \ 2680f0f2bd5SPeter Maydell { \ 2690f0f2bd5SPeter Maydell TYPE *d = vd, *m = vm; \ 2700f0f2bd5SPeter Maydell uint16_t mask = mve_element_mask(env); \ 2710f0f2bd5SPeter Maydell unsigned e; \ 2720f0f2bd5SPeter Maydell for (e = 0; e < 16 / ESIZE; e++, mask >>= ESIZE) { \ 2730f0f2bd5SPeter Maydell mergemask(&d[H##ESIZE(e)], FN(m[H##ESIZE(e)]), mask); \ 2740f0f2bd5SPeter Maydell } \ 2750f0f2bd5SPeter Maydell mve_advance_vpt(env); \ 2760f0f2bd5SPeter Maydell } 2770f0f2bd5SPeter Maydell 2786437f1f7SPeter Maydell #define DO_CLS_B(N) (clrsb32(N) - 24) 2796437f1f7SPeter Maydell #define DO_CLS_H(N) (clrsb32(N) - 16) 2806437f1f7SPeter Maydell 2816437f1f7SPeter Maydell DO_1OP(vclsb, 1, int8_t, DO_CLS_B) 2826437f1f7SPeter Maydell DO_1OP(vclsh, 2, int16_t, DO_CLS_H) 2836437f1f7SPeter Maydell DO_1OP(vclsw, 4, int32_t, clrsb32) 2846437f1f7SPeter Maydell 2850f0f2bd5SPeter Maydell #define DO_CLZ_B(N) (clz32(N) - 24) 2860f0f2bd5SPeter Maydell #define DO_CLZ_H(N) (clz32(N) - 16) 2870f0f2bd5SPeter Maydell 2880f0f2bd5SPeter Maydell DO_1OP(vclzb, 1, uint8_t, DO_CLZ_B) 2890f0f2bd5SPeter Maydell DO_1OP(vclzh, 2, uint16_t, DO_CLZ_H) 2900f0f2bd5SPeter Maydell DO_1OP(vclzw, 4, uint32_t, clz32) 291249b5309SPeter Maydell 292249b5309SPeter Maydell DO_1OP(vrev16b, 2, uint16_t, bswap16) 293249b5309SPeter Maydell DO_1OP(vrev32b, 4, uint32_t, bswap32) 294249b5309SPeter Maydell DO_1OP(vrev32h, 4, uint32_t, hswap32) 295249b5309SPeter Maydell DO_1OP(vrev64b, 8, uint64_t, bswap64) 296249b5309SPeter Maydell DO_1OP(vrev64h, 8, uint64_t, hswap64) 297249b5309SPeter Maydell DO_1OP(vrev64w, 8, uint64_t, wswap64) 2988abd3c80SPeter Maydell 2998abd3c80SPeter Maydell #define DO_NOT(N) (~(N)) 3008abd3c80SPeter Maydell 3018abd3c80SPeter Maydell DO_1OP(vmvn, 8, uint64_t, DO_NOT) 30259c91773SPeter Maydell 30359c91773SPeter Maydell #define DO_ABS(N) ((N) < 0 ? -(N) : (N)) 30459c91773SPeter Maydell #define DO_FABSH(N) ((N) & dup_const(MO_16, 0x7fff)) 30559c91773SPeter Maydell #define DO_FABSS(N) ((N) & dup_const(MO_32, 0x7fffffff)) 30659c91773SPeter Maydell 30759c91773SPeter Maydell DO_1OP(vabsb, 1, int8_t, DO_ABS) 30859c91773SPeter Maydell DO_1OP(vabsh, 2, int16_t, DO_ABS) 30959c91773SPeter Maydell DO_1OP(vabsw, 4, int32_t, DO_ABS) 31059c91773SPeter Maydell 31159c91773SPeter Maydell /* We can do these 64 bits at a time */ 31259c91773SPeter Maydell DO_1OP(vfabsh, 8, uint64_t, DO_FABSH) 31359c91773SPeter Maydell DO_1OP(vfabss, 8, uint64_t, DO_FABSS) 314399a8c76SPeter Maydell 315399a8c76SPeter Maydell #define DO_NEG(N) (-(N)) 316399a8c76SPeter Maydell #define DO_FNEGH(N) ((N) ^ dup_const(MO_16, 0x8000)) 317399a8c76SPeter Maydell #define DO_FNEGS(N) ((N) ^ dup_const(MO_32, 0x80000000)) 318399a8c76SPeter Maydell 319399a8c76SPeter Maydell DO_1OP(vnegb, 1, int8_t, DO_NEG) 320399a8c76SPeter Maydell DO_1OP(vnegh, 2, int16_t, DO_NEG) 321399a8c76SPeter Maydell DO_1OP(vnegw, 4, int32_t, DO_NEG) 322399a8c76SPeter Maydell 323399a8c76SPeter Maydell /* We can do these 64 bits at a time */ 324399a8c76SPeter Maydell DO_1OP(vfnegh, 8, uint64_t, DO_FNEGH) 325399a8c76SPeter Maydell DO_1OP(vfnegs, 8, uint64_t, DO_FNEGS) 32668245e44SPeter Maydell 32768245e44SPeter Maydell #define DO_2OP(OP, ESIZE, TYPE, FN) \ 32868245e44SPeter Maydell void HELPER(glue(mve_, OP))(CPUARMState *env, \ 32968245e44SPeter Maydell void *vd, void *vn, void *vm) \ 33068245e44SPeter Maydell { \ 33168245e44SPeter Maydell TYPE *d = vd, *n = vn, *m = vm; \ 33268245e44SPeter Maydell uint16_t mask = mve_element_mask(env); \ 33368245e44SPeter Maydell unsigned e; \ 33468245e44SPeter Maydell for (e = 0; e < 16 / ESIZE; e++, mask >>= ESIZE) { \ 33568245e44SPeter Maydell mergemask(&d[H##ESIZE(e)], \ 33668245e44SPeter Maydell FN(n[H##ESIZE(e)], m[H##ESIZE(e)]), mask); \ 33768245e44SPeter Maydell } \ 33868245e44SPeter Maydell mve_advance_vpt(env); \ 33968245e44SPeter Maydell } 34068245e44SPeter Maydell 3419333fe4dSPeter Maydell /* provide unsigned 2-op helpers for all sizes */ 3429333fe4dSPeter Maydell #define DO_2OP_U(OP, FN) \ 3439333fe4dSPeter Maydell DO_2OP(OP##b, 1, uint8_t, FN) \ 3449333fe4dSPeter Maydell DO_2OP(OP##h, 2, uint16_t, FN) \ 3459333fe4dSPeter Maydell DO_2OP(OP##w, 4, uint32_t, FN) 3469333fe4dSPeter Maydell 347cd367ff3SPeter Maydell /* provide signed 2-op helpers for all sizes */ 348cd367ff3SPeter Maydell #define DO_2OP_S(OP, FN) \ 349cd367ff3SPeter Maydell DO_2OP(OP##b, 1, int8_t, FN) \ 350cd367ff3SPeter Maydell DO_2OP(OP##h, 2, int16_t, FN) \ 351cd367ff3SPeter Maydell DO_2OP(OP##w, 4, int32_t, FN) 352cd367ff3SPeter Maydell 353ac6ad1dcSPeter Maydell /* 354ac6ad1dcSPeter Maydell * "Long" operations where two half-sized inputs (taken from either the 355ac6ad1dcSPeter Maydell * top or the bottom of the input vector) produce a double-width result. 356ac6ad1dcSPeter Maydell * Here ESIZE, TYPE are for the input, and LESIZE, LTYPE for the output. 357ac6ad1dcSPeter Maydell */ 358ac6ad1dcSPeter Maydell #define DO_2OP_L(OP, TOP, ESIZE, TYPE, LESIZE, LTYPE, FN) \ 359ac6ad1dcSPeter Maydell void HELPER(glue(mve_, OP))(CPUARMState *env, void *vd, void *vn, void *vm) \ 360ac6ad1dcSPeter Maydell { \ 361ac6ad1dcSPeter Maydell LTYPE *d = vd; \ 362ac6ad1dcSPeter Maydell TYPE *n = vn, *m = vm; \ 363ac6ad1dcSPeter Maydell uint16_t mask = mve_element_mask(env); \ 364ac6ad1dcSPeter Maydell unsigned le; \ 365ac6ad1dcSPeter Maydell for (le = 0; le < 16 / LESIZE; le++, mask >>= LESIZE) { \ 366ac6ad1dcSPeter Maydell LTYPE r = FN((LTYPE)n[H##ESIZE(le * 2 + TOP)], \ 367ac6ad1dcSPeter Maydell m[H##ESIZE(le * 2 + TOP)]); \ 368ac6ad1dcSPeter Maydell mergemask(&d[H##LESIZE(le)], r, mask); \ 369ac6ad1dcSPeter Maydell } \ 370ac6ad1dcSPeter Maydell mve_advance_vpt(env); \ 371ac6ad1dcSPeter Maydell } 372ac6ad1dcSPeter Maydell 373380caf6cSPeter Maydell #define DO_2OP_SAT(OP, ESIZE, TYPE, FN) \ 374380caf6cSPeter Maydell void HELPER(glue(mve_, OP))(CPUARMState *env, void *vd, void *vn, void *vm) \ 375380caf6cSPeter Maydell { \ 376380caf6cSPeter Maydell TYPE *d = vd, *n = vn, *m = vm; \ 377380caf6cSPeter Maydell uint16_t mask = mve_element_mask(env); \ 378380caf6cSPeter Maydell unsigned e; \ 379380caf6cSPeter Maydell bool qc = false; \ 380380caf6cSPeter Maydell for (e = 0; e < 16 / ESIZE; e++, mask >>= ESIZE) { \ 381380caf6cSPeter Maydell bool sat = false; \ 382380caf6cSPeter Maydell TYPE r = FN(n[H##ESIZE(e)], m[H##ESIZE(e)], &sat); \ 383380caf6cSPeter Maydell mergemask(&d[H##ESIZE(e)], r, mask); \ 384380caf6cSPeter Maydell qc |= sat & mask & 1; \ 385380caf6cSPeter Maydell } \ 386380caf6cSPeter Maydell if (qc) { \ 387380caf6cSPeter Maydell env->vfp.qc[0] = qc; \ 388380caf6cSPeter Maydell } \ 389380caf6cSPeter Maydell mve_advance_vpt(env); \ 390380caf6cSPeter Maydell } 391380caf6cSPeter Maydell 392483da661SPeter Maydell /* provide unsigned 2-op helpers for all sizes */ 393483da661SPeter Maydell #define DO_2OP_SAT_U(OP, FN) \ 394483da661SPeter Maydell DO_2OP_SAT(OP##b, 1, uint8_t, FN) \ 395483da661SPeter Maydell DO_2OP_SAT(OP##h, 2, uint16_t, FN) \ 396483da661SPeter Maydell DO_2OP_SAT(OP##w, 4, uint32_t, FN) 397483da661SPeter Maydell 398483da661SPeter Maydell /* provide signed 2-op helpers for all sizes */ 399483da661SPeter Maydell #define DO_2OP_SAT_S(OP, FN) \ 400483da661SPeter Maydell DO_2OP_SAT(OP##b, 1, int8_t, FN) \ 401483da661SPeter Maydell DO_2OP_SAT(OP##h, 2, int16_t, FN) \ 402483da661SPeter Maydell DO_2OP_SAT(OP##w, 4, int32_t, FN) 403483da661SPeter Maydell 40468245e44SPeter Maydell #define DO_AND(N, M) ((N) & (M)) 40568245e44SPeter Maydell #define DO_BIC(N, M) ((N) & ~(M)) 40668245e44SPeter Maydell #define DO_ORR(N, M) ((N) | (M)) 40768245e44SPeter Maydell #define DO_ORN(N, M) ((N) | ~(M)) 40868245e44SPeter Maydell #define DO_EOR(N, M) ((N) ^ (M)) 40968245e44SPeter Maydell 41068245e44SPeter Maydell DO_2OP(vand, 8, uint64_t, DO_AND) 41168245e44SPeter Maydell DO_2OP(vbic, 8, uint64_t, DO_BIC) 41268245e44SPeter Maydell DO_2OP(vorr, 8, uint64_t, DO_ORR) 41368245e44SPeter Maydell DO_2OP(vorn, 8, uint64_t, DO_ORN) 41468245e44SPeter Maydell DO_2OP(veor, 8, uint64_t, DO_EOR) 4159333fe4dSPeter Maydell 4169333fe4dSPeter Maydell #define DO_ADD(N, M) ((N) + (M)) 4179333fe4dSPeter Maydell #define DO_SUB(N, M) ((N) - (M)) 4189333fe4dSPeter Maydell #define DO_MUL(N, M) ((N) * (M)) 4199333fe4dSPeter Maydell 4209333fe4dSPeter Maydell DO_2OP_U(vadd, DO_ADD) 4219333fe4dSPeter Maydell DO_2OP_U(vsub, DO_SUB) 4229333fe4dSPeter Maydell DO_2OP_U(vmul, DO_MUL) 423ba62cc56SPeter Maydell 424ac6ad1dcSPeter Maydell DO_2OP_L(vmullbsb, 0, 1, int8_t, 2, int16_t, DO_MUL) 425ac6ad1dcSPeter Maydell DO_2OP_L(vmullbsh, 0, 2, int16_t, 4, int32_t, DO_MUL) 426ac6ad1dcSPeter Maydell DO_2OP_L(vmullbsw, 0, 4, int32_t, 8, int64_t, DO_MUL) 427ac6ad1dcSPeter Maydell DO_2OP_L(vmullbub, 0, 1, uint8_t, 2, uint16_t, DO_MUL) 428ac6ad1dcSPeter Maydell DO_2OP_L(vmullbuh, 0, 2, uint16_t, 4, uint32_t, DO_MUL) 429ac6ad1dcSPeter Maydell DO_2OP_L(vmullbuw, 0, 4, uint32_t, 8, uint64_t, DO_MUL) 430ac6ad1dcSPeter Maydell 431ac6ad1dcSPeter Maydell DO_2OP_L(vmulltsb, 1, 1, int8_t, 2, int16_t, DO_MUL) 432ac6ad1dcSPeter Maydell DO_2OP_L(vmulltsh, 1, 2, int16_t, 4, int32_t, DO_MUL) 433ac6ad1dcSPeter Maydell DO_2OP_L(vmulltsw, 1, 4, int32_t, 8, int64_t, DO_MUL) 434ac6ad1dcSPeter Maydell DO_2OP_L(vmulltub, 1, 1, uint8_t, 2, uint16_t, DO_MUL) 435ac6ad1dcSPeter Maydell DO_2OP_L(vmulltuh, 1, 2, uint16_t, 4, uint32_t, DO_MUL) 436ac6ad1dcSPeter Maydell DO_2OP_L(vmulltuw, 1, 4, uint32_t, 8, uint64_t, DO_MUL) 437ac6ad1dcSPeter Maydell 438ba62cc56SPeter Maydell /* 439ba62cc56SPeter Maydell * Because the computation type is at least twice as large as required, 440ba62cc56SPeter Maydell * these work for both signed and unsigned source types. 441ba62cc56SPeter Maydell */ 442ba62cc56SPeter Maydell static inline uint8_t do_mulh_b(int32_t n, int32_t m) 443ba62cc56SPeter Maydell { 444ba62cc56SPeter Maydell return (n * m) >> 8; 445ba62cc56SPeter Maydell } 446ba62cc56SPeter Maydell 447ba62cc56SPeter Maydell static inline uint16_t do_mulh_h(int32_t n, int32_t m) 448ba62cc56SPeter Maydell { 449ba62cc56SPeter Maydell return (n * m) >> 16; 450ba62cc56SPeter Maydell } 451ba62cc56SPeter Maydell 452ba62cc56SPeter Maydell static inline uint32_t do_mulh_w(int64_t n, int64_t m) 453ba62cc56SPeter Maydell { 454ba62cc56SPeter Maydell return (n * m) >> 32; 455ba62cc56SPeter Maydell } 456ba62cc56SPeter Maydell 457fca87b78SPeter Maydell static inline uint8_t do_rmulh_b(int32_t n, int32_t m) 458fca87b78SPeter Maydell { 459fca87b78SPeter Maydell return (n * m + (1U << 7)) >> 8; 460fca87b78SPeter Maydell } 461fca87b78SPeter Maydell 462fca87b78SPeter Maydell static inline uint16_t do_rmulh_h(int32_t n, int32_t m) 463fca87b78SPeter Maydell { 464fca87b78SPeter Maydell return (n * m + (1U << 15)) >> 16; 465fca87b78SPeter Maydell } 466fca87b78SPeter Maydell 467fca87b78SPeter Maydell static inline uint32_t do_rmulh_w(int64_t n, int64_t m) 468fca87b78SPeter Maydell { 469fca87b78SPeter Maydell return (n * m + (1U << 31)) >> 32; 470fca87b78SPeter Maydell } 471fca87b78SPeter Maydell 472ba62cc56SPeter Maydell DO_2OP(vmulhsb, 1, int8_t, do_mulh_b) 473ba62cc56SPeter Maydell DO_2OP(vmulhsh, 2, int16_t, do_mulh_h) 474ba62cc56SPeter Maydell DO_2OP(vmulhsw, 4, int32_t, do_mulh_w) 475ba62cc56SPeter Maydell DO_2OP(vmulhub, 1, uint8_t, do_mulh_b) 476ba62cc56SPeter Maydell DO_2OP(vmulhuh, 2, uint16_t, do_mulh_h) 477ba62cc56SPeter Maydell DO_2OP(vmulhuw, 4, uint32_t, do_mulh_w) 478fca87b78SPeter Maydell 479fca87b78SPeter Maydell DO_2OP(vrmulhsb, 1, int8_t, do_rmulh_b) 480fca87b78SPeter Maydell DO_2OP(vrmulhsh, 2, int16_t, do_rmulh_h) 481fca87b78SPeter Maydell DO_2OP(vrmulhsw, 4, int32_t, do_rmulh_w) 482fca87b78SPeter Maydell DO_2OP(vrmulhub, 1, uint8_t, do_rmulh_b) 483fca87b78SPeter Maydell DO_2OP(vrmulhuh, 2, uint16_t, do_rmulh_h) 484fca87b78SPeter Maydell DO_2OP(vrmulhuw, 4, uint32_t, do_rmulh_w) 485cd367ff3SPeter Maydell 486cd367ff3SPeter Maydell #define DO_MAX(N, M) ((N) >= (M) ? (N) : (M)) 487cd367ff3SPeter Maydell #define DO_MIN(N, M) ((N) >= (M) ? (M) : (N)) 488cd367ff3SPeter Maydell 489cd367ff3SPeter Maydell DO_2OP_S(vmaxs, DO_MAX) 490cd367ff3SPeter Maydell DO_2OP_U(vmaxu, DO_MAX) 491cd367ff3SPeter Maydell DO_2OP_S(vmins, DO_MIN) 492cd367ff3SPeter Maydell DO_2OP_U(vminu, DO_MIN) 493bc67aa8dSPeter Maydell 494bc67aa8dSPeter Maydell #define DO_ABD(N, M) ((N) >= (M) ? (N) - (M) : (M) - (N)) 495bc67aa8dSPeter Maydell 496bc67aa8dSPeter Maydell DO_2OP_S(vabds, DO_ABD) 497bc67aa8dSPeter Maydell DO_2OP_U(vabdu, DO_ABD) 498abc48e31SPeter Maydell 499abc48e31SPeter Maydell static inline uint32_t do_vhadd_u(uint32_t n, uint32_t m) 500abc48e31SPeter Maydell { 501abc48e31SPeter Maydell return ((uint64_t)n + m) >> 1; 502abc48e31SPeter Maydell } 503abc48e31SPeter Maydell 504abc48e31SPeter Maydell static inline int32_t do_vhadd_s(int32_t n, int32_t m) 505abc48e31SPeter Maydell { 506abc48e31SPeter Maydell return ((int64_t)n + m) >> 1; 507abc48e31SPeter Maydell } 508abc48e31SPeter Maydell 509abc48e31SPeter Maydell static inline uint32_t do_vhsub_u(uint32_t n, uint32_t m) 510abc48e31SPeter Maydell { 511abc48e31SPeter Maydell return ((uint64_t)n - m) >> 1; 512abc48e31SPeter Maydell } 513abc48e31SPeter Maydell 514abc48e31SPeter Maydell static inline int32_t do_vhsub_s(int32_t n, int32_t m) 515abc48e31SPeter Maydell { 516abc48e31SPeter Maydell return ((int64_t)n - m) >> 1; 517abc48e31SPeter Maydell } 518abc48e31SPeter Maydell 519abc48e31SPeter Maydell DO_2OP_S(vhadds, do_vhadd_s) 520abc48e31SPeter Maydell DO_2OP_U(vhaddu, do_vhadd_u) 521abc48e31SPeter Maydell DO_2OP_S(vhsubs, do_vhsub_s) 522abc48e31SPeter Maydell DO_2OP_U(vhsubu, do_vhsub_u) 5231d2386f7SPeter Maydell 5240372cad8SPeter Maydell #define DO_VSHLS(N, M) do_sqrshl_bhs(N, (int8_t)(M), sizeof(N) * 8, false, NULL) 5250372cad8SPeter Maydell #define DO_VSHLU(N, M) do_uqrshl_bhs(N, (int8_t)(M), sizeof(N) * 8, false, NULL) 526bb002345SPeter Maydell #define DO_VRSHLS(N, M) do_sqrshl_bhs(N, (int8_t)(M), sizeof(N) * 8, true, NULL) 527bb002345SPeter Maydell #define DO_VRSHLU(N, M) do_uqrshl_bhs(N, (int8_t)(M), sizeof(N) * 8, true, NULL) 5280372cad8SPeter Maydell 5290372cad8SPeter Maydell DO_2OP_S(vshls, DO_VSHLS) 5300372cad8SPeter Maydell DO_2OP_U(vshlu, DO_VSHLU) 531bb002345SPeter Maydell DO_2OP_S(vrshls, DO_VRSHLS) 532bb002345SPeter Maydell DO_2OP_U(vrshlu, DO_VRSHLU) 5330372cad8SPeter Maydell 53439f2ec85SPeter Maydell static inline int32_t do_sat_bhw(int64_t val, int64_t min, int64_t max, bool *s) 53539f2ec85SPeter Maydell { 53639f2ec85SPeter Maydell if (val > max) { 53739f2ec85SPeter Maydell *s = true; 53839f2ec85SPeter Maydell return max; 53939f2ec85SPeter Maydell } else if (val < min) { 54039f2ec85SPeter Maydell *s = true; 54139f2ec85SPeter Maydell return min; 54239f2ec85SPeter Maydell } 54339f2ec85SPeter Maydell return val; 54439f2ec85SPeter Maydell } 54539f2ec85SPeter Maydell 54639f2ec85SPeter Maydell #define DO_SQADD_B(n, m, s) do_sat_bhw((int64_t)n + m, INT8_MIN, INT8_MAX, s) 54739f2ec85SPeter Maydell #define DO_SQADD_H(n, m, s) do_sat_bhw((int64_t)n + m, INT16_MIN, INT16_MAX, s) 54839f2ec85SPeter Maydell #define DO_SQADD_W(n, m, s) do_sat_bhw((int64_t)n + m, INT32_MIN, INT32_MAX, s) 54939f2ec85SPeter Maydell 55039f2ec85SPeter Maydell #define DO_UQADD_B(n, m, s) do_sat_bhw((int64_t)n + m, 0, UINT8_MAX, s) 55139f2ec85SPeter Maydell #define DO_UQADD_H(n, m, s) do_sat_bhw((int64_t)n + m, 0, UINT16_MAX, s) 55239f2ec85SPeter Maydell #define DO_UQADD_W(n, m, s) do_sat_bhw((int64_t)n + m, 0, UINT32_MAX, s) 55339f2ec85SPeter Maydell 55439f2ec85SPeter Maydell #define DO_SQSUB_B(n, m, s) do_sat_bhw((int64_t)n - m, INT8_MIN, INT8_MAX, s) 55539f2ec85SPeter Maydell #define DO_SQSUB_H(n, m, s) do_sat_bhw((int64_t)n - m, INT16_MIN, INT16_MAX, s) 55639f2ec85SPeter Maydell #define DO_SQSUB_W(n, m, s) do_sat_bhw((int64_t)n - m, INT32_MIN, INT32_MAX, s) 55739f2ec85SPeter Maydell 55839f2ec85SPeter Maydell #define DO_UQSUB_B(n, m, s) do_sat_bhw((int64_t)n - m, 0, UINT8_MAX, s) 55939f2ec85SPeter Maydell #define DO_UQSUB_H(n, m, s) do_sat_bhw((int64_t)n - m, 0, UINT16_MAX, s) 56039f2ec85SPeter Maydell #define DO_UQSUB_W(n, m, s) do_sat_bhw((int64_t)n - m, 0, UINT32_MAX, s) 5611d2386f7SPeter Maydell 56266c05767SPeter Maydell /* 56366c05767SPeter Maydell * For QDMULH and QRDMULH we simplify "double and shift by esize" into 56466c05767SPeter Maydell * "shift by esize-1", adjusting the QRDMULH rounding constant to match. 56566c05767SPeter Maydell */ 56666c05767SPeter Maydell #define DO_QDMULH_B(n, m, s) do_sat_bhw(((int64_t)n * m) >> 7, \ 56766c05767SPeter Maydell INT8_MIN, INT8_MAX, s) 56866c05767SPeter Maydell #define DO_QDMULH_H(n, m, s) do_sat_bhw(((int64_t)n * m) >> 15, \ 56966c05767SPeter Maydell INT16_MIN, INT16_MAX, s) 57066c05767SPeter Maydell #define DO_QDMULH_W(n, m, s) do_sat_bhw(((int64_t)n * m) >> 31, \ 57166c05767SPeter Maydell INT32_MIN, INT32_MAX, s) 57266c05767SPeter Maydell 57366c05767SPeter Maydell #define DO_QRDMULH_B(n, m, s) do_sat_bhw(((int64_t)n * m + (1 << 6)) >> 7, \ 57466c05767SPeter Maydell INT8_MIN, INT8_MAX, s) 57566c05767SPeter Maydell #define DO_QRDMULH_H(n, m, s) do_sat_bhw(((int64_t)n * m + (1 << 14)) >> 15, \ 57666c05767SPeter Maydell INT16_MIN, INT16_MAX, s) 57766c05767SPeter Maydell #define DO_QRDMULH_W(n, m, s) do_sat_bhw(((int64_t)n * m + (1 << 30)) >> 31, \ 57866c05767SPeter Maydell INT32_MIN, INT32_MAX, s) 57966c05767SPeter Maydell 580380caf6cSPeter Maydell DO_2OP_SAT(vqdmulhb, 1, int8_t, DO_QDMULH_B) 581380caf6cSPeter Maydell DO_2OP_SAT(vqdmulhh, 2, int16_t, DO_QDMULH_H) 582380caf6cSPeter Maydell DO_2OP_SAT(vqdmulhw, 4, int32_t, DO_QDMULH_W) 583380caf6cSPeter Maydell 584380caf6cSPeter Maydell DO_2OP_SAT(vqrdmulhb, 1, int8_t, DO_QRDMULH_B) 585380caf6cSPeter Maydell DO_2OP_SAT(vqrdmulhh, 2, int16_t, DO_QRDMULH_H) 586380caf6cSPeter Maydell DO_2OP_SAT(vqrdmulhw, 4, int32_t, DO_QRDMULH_W) 587380caf6cSPeter Maydell 588f741707bSPeter Maydell DO_2OP_SAT(vqaddub, 1, uint8_t, DO_UQADD_B) 589f741707bSPeter Maydell DO_2OP_SAT(vqadduh, 2, uint16_t, DO_UQADD_H) 590f741707bSPeter Maydell DO_2OP_SAT(vqadduw, 4, uint32_t, DO_UQADD_W) 591f741707bSPeter Maydell DO_2OP_SAT(vqaddsb, 1, int8_t, DO_SQADD_B) 592f741707bSPeter Maydell DO_2OP_SAT(vqaddsh, 2, int16_t, DO_SQADD_H) 593f741707bSPeter Maydell DO_2OP_SAT(vqaddsw, 4, int32_t, DO_SQADD_W) 594f741707bSPeter Maydell 595f741707bSPeter Maydell DO_2OP_SAT(vqsubub, 1, uint8_t, DO_UQSUB_B) 596f741707bSPeter Maydell DO_2OP_SAT(vqsubuh, 2, uint16_t, DO_UQSUB_H) 597f741707bSPeter Maydell DO_2OP_SAT(vqsubuw, 4, uint32_t, DO_UQSUB_W) 598f741707bSPeter Maydell DO_2OP_SAT(vqsubsb, 1, int8_t, DO_SQSUB_B) 599f741707bSPeter Maydell DO_2OP_SAT(vqsubsh, 2, int16_t, DO_SQSUB_H) 600f741707bSPeter Maydell DO_2OP_SAT(vqsubsw, 4, int32_t, DO_SQSUB_W) 601f741707bSPeter Maydell 602483da661SPeter Maydell /* 603483da661SPeter Maydell * This wrapper fixes up the impedance mismatch between do_sqrshl_bhs() 604483da661SPeter Maydell * and friends wanting a uint32_t* sat and our needing a bool*. 605483da661SPeter Maydell */ 606483da661SPeter Maydell #define WRAP_QRSHL_HELPER(FN, N, M, ROUND, satp) \ 607483da661SPeter Maydell ({ \ 608483da661SPeter Maydell uint32_t su32 = 0; \ 609483da661SPeter Maydell typeof(N) r = FN(N, (int8_t)(M), sizeof(N) * 8, ROUND, &su32); \ 610483da661SPeter Maydell if (su32) { \ 611483da661SPeter Maydell *satp = true; \ 612483da661SPeter Maydell } \ 613483da661SPeter Maydell r; \ 614483da661SPeter Maydell }) 615483da661SPeter Maydell 616483da661SPeter Maydell #define DO_SQSHL_OP(N, M, satp) \ 617483da661SPeter Maydell WRAP_QRSHL_HELPER(do_sqrshl_bhs, N, M, false, satp) 618483da661SPeter Maydell #define DO_UQSHL_OP(N, M, satp) \ 619483da661SPeter Maydell WRAP_QRSHL_HELPER(do_uqrshl_bhs, N, M, false, satp) 6209dc868c4SPeter Maydell #define DO_SQRSHL_OP(N, M, satp) \ 6219dc868c4SPeter Maydell WRAP_QRSHL_HELPER(do_sqrshl_bhs, N, M, true, satp) 6229dc868c4SPeter Maydell #define DO_UQRSHL_OP(N, M, satp) \ 6239dc868c4SPeter Maydell WRAP_QRSHL_HELPER(do_uqrshl_bhs, N, M, true, satp) 624483da661SPeter Maydell 625483da661SPeter Maydell DO_2OP_SAT_S(vqshls, DO_SQSHL_OP) 626483da661SPeter Maydell DO_2OP_SAT_U(vqshlu, DO_UQSHL_OP) 6279dc868c4SPeter Maydell DO_2OP_SAT_S(vqrshls, DO_SQRSHL_OP) 6289dc868c4SPeter Maydell DO_2OP_SAT_U(vqrshlu, DO_UQRSHL_OP) 629483da661SPeter Maydell 630fd677f80SPeter Maydell /* 631fd677f80SPeter Maydell * Multiply add dual returning high half 632fd677f80SPeter Maydell * The 'FN' here takes four inputs A, B, C, D, a 0/1 indicator of 633fd677f80SPeter Maydell * whether to add the rounding constant, and the pointer to the 634fd677f80SPeter Maydell * saturation flag, and should do "(A * B + C * D) * 2 + rounding constant", 635fd677f80SPeter Maydell * saturate to twice the input size and return the high half; or 636fd677f80SPeter Maydell * (A * B - C * D) etc for VQDMLSDH. 637fd677f80SPeter Maydell */ 638fd677f80SPeter Maydell #define DO_VQDMLADH_OP(OP, ESIZE, TYPE, XCHG, ROUND, FN) \ 639fd677f80SPeter Maydell void HELPER(glue(mve_, OP))(CPUARMState *env, void *vd, void *vn, \ 640fd677f80SPeter Maydell void *vm) \ 641fd677f80SPeter Maydell { \ 642fd677f80SPeter Maydell TYPE *d = vd, *n = vn, *m = vm; \ 643fd677f80SPeter Maydell uint16_t mask = mve_element_mask(env); \ 644fd677f80SPeter Maydell unsigned e; \ 645fd677f80SPeter Maydell bool qc = false; \ 646fd677f80SPeter Maydell for (e = 0; e < 16 / ESIZE; e++, mask >>= ESIZE) { \ 647fd677f80SPeter Maydell bool sat = false; \ 648fd677f80SPeter Maydell if ((e & 1) == XCHG) { \ 649fd677f80SPeter Maydell TYPE r = FN(n[H##ESIZE(e)], \ 650fd677f80SPeter Maydell m[H##ESIZE(e - XCHG)], \ 651fd677f80SPeter Maydell n[H##ESIZE(e + (1 - 2 * XCHG))], \ 652fd677f80SPeter Maydell m[H##ESIZE(e + (1 - XCHG))], \ 653fd677f80SPeter Maydell ROUND, &sat); \ 654fd677f80SPeter Maydell mergemask(&d[H##ESIZE(e)], r, mask); \ 655fd677f80SPeter Maydell qc |= sat & mask & 1; \ 656fd677f80SPeter Maydell } \ 657fd677f80SPeter Maydell } \ 658fd677f80SPeter Maydell if (qc) { \ 659fd677f80SPeter Maydell env->vfp.qc[0] = qc; \ 660fd677f80SPeter Maydell } \ 661fd677f80SPeter Maydell mve_advance_vpt(env); \ 662fd677f80SPeter Maydell } 663fd677f80SPeter Maydell 664fd677f80SPeter Maydell static int8_t do_vqdmladh_b(int8_t a, int8_t b, int8_t c, int8_t d, 665fd677f80SPeter Maydell int round, bool *sat) 666fd677f80SPeter Maydell { 667fd677f80SPeter Maydell int64_t r = ((int64_t)a * b + (int64_t)c * d) * 2 + (round << 7); 668fd677f80SPeter Maydell return do_sat_bhw(r, INT16_MIN, INT16_MAX, sat) >> 8; 669fd677f80SPeter Maydell } 670fd677f80SPeter Maydell 671fd677f80SPeter Maydell static int16_t do_vqdmladh_h(int16_t a, int16_t b, int16_t c, int16_t d, 672fd677f80SPeter Maydell int round, bool *sat) 673fd677f80SPeter Maydell { 674fd677f80SPeter Maydell int64_t r = ((int64_t)a * b + (int64_t)c * d) * 2 + (round << 15); 675fd677f80SPeter Maydell return do_sat_bhw(r, INT32_MIN, INT32_MAX, sat) >> 16; 676fd677f80SPeter Maydell } 677fd677f80SPeter Maydell 678fd677f80SPeter Maydell static int32_t do_vqdmladh_w(int32_t a, int32_t b, int32_t c, int32_t d, 679fd677f80SPeter Maydell int round, bool *sat) 680fd677f80SPeter Maydell { 681fd677f80SPeter Maydell int64_t m1 = (int64_t)a * b; 682fd677f80SPeter Maydell int64_t m2 = (int64_t)c * d; 683fd677f80SPeter Maydell int64_t r; 684fd677f80SPeter Maydell /* 685fd677f80SPeter Maydell * Architecturally we should do the entire add, double, round 686fd677f80SPeter Maydell * and then check for saturation. We do three saturating adds, 687fd677f80SPeter Maydell * but we need to be careful about the order. If the first 688fd677f80SPeter Maydell * m1 + m2 saturates then it's impossible for the *2+rc to 689fd677f80SPeter Maydell * bring it back into the non-saturated range. However, if 690fd677f80SPeter Maydell * m1 + m2 is negative then it's possible that doing the doubling 691fd677f80SPeter Maydell * would take the intermediate result below INT64_MAX and the 692fd677f80SPeter Maydell * addition of the rounding constant then brings it back in range. 693fd677f80SPeter Maydell * So we add half the rounding constant before doubling rather 694fd677f80SPeter Maydell * than adding the rounding constant after the doubling. 695fd677f80SPeter Maydell */ 696fd677f80SPeter Maydell if (sadd64_overflow(m1, m2, &r) || 697fd677f80SPeter Maydell sadd64_overflow(r, (round << 30), &r) || 698fd677f80SPeter Maydell sadd64_overflow(r, r, &r)) { 699fd677f80SPeter Maydell *sat = true; 700fd677f80SPeter Maydell return r < 0 ? INT32_MAX : INT32_MIN; 701fd677f80SPeter Maydell } 702fd677f80SPeter Maydell return r >> 32; 703fd677f80SPeter Maydell } 704fd677f80SPeter Maydell 705*92f11732SPeter Maydell static int8_t do_vqdmlsdh_b(int8_t a, int8_t b, int8_t c, int8_t d, 706*92f11732SPeter Maydell int round, bool *sat) 707*92f11732SPeter Maydell { 708*92f11732SPeter Maydell int64_t r = ((int64_t)a * b - (int64_t)c * d) * 2 + (round << 7); 709*92f11732SPeter Maydell return do_sat_bhw(r, INT16_MIN, INT16_MAX, sat) >> 8; 710*92f11732SPeter Maydell } 711*92f11732SPeter Maydell 712*92f11732SPeter Maydell static int16_t do_vqdmlsdh_h(int16_t a, int16_t b, int16_t c, int16_t d, 713*92f11732SPeter Maydell int round, bool *sat) 714*92f11732SPeter Maydell { 715*92f11732SPeter Maydell int64_t r = ((int64_t)a * b - (int64_t)c * d) * 2 + (round << 15); 716*92f11732SPeter Maydell return do_sat_bhw(r, INT32_MIN, INT32_MAX, sat) >> 16; 717*92f11732SPeter Maydell } 718*92f11732SPeter Maydell 719*92f11732SPeter Maydell static int32_t do_vqdmlsdh_w(int32_t a, int32_t b, int32_t c, int32_t d, 720*92f11732SPeter Maydell int round, bool *sat) 721*92f11732SPeter Maydell { 722*92f11732SPeter Maydell int64_t m1 = (int64_t)a * b; 723*92f11732SPeter Maydell int64_t m2 = (int64_t)c * d; 724*92f11732SPeter Maydell int64_t r; 725*92f11732SPeter Maydell /* The same ordering issue as in do_vqdmladh_w applies here too */ 726*92f11732SPeter Maydell if (ssub64_overflow(m1, m2, &r) || 727*92f11732SPeter Maydell sadd64_overflow(r, (round << 30), &r) || 728*92f11732SPeter Maydell sadd64_overflow(r, r, &r)) { 729*92f11732SPeter Maydell *sat = true; 730*92f11732SPeter Maydell return r < 0 ? INT32_MAX : INT32_MIN; 731*92f11732SPeter Maydell } 732*92f11732SPeter Maydell return r >> 32; 733*92f11732SPeter Maydell } 734*92f11732SPeter Maydell 735fd677f80SPeter Maydell DO_VQDMLADH_OP(vqdmladhb, 1, int8_t, 0, 0, do_vqdmladh_b) 736fd677f80SPeter Maydell DO_VQDMLADH_OP(vqdmladhh, 2, int16_t, 0, 0, do_vqdmladh_h) 737fd677f80SPeter Maydell DO_VQDMLADH_OP(vqdmladhw, 4, int32_t, 0, 0, do_vqdmladh_w) 738fd677f80SPeter Maydell DO_VQDMLADH_OP(vqdmladhxb, 1, int8_t, 1, 0, do_vqdmladh_b) 739fd677f80SPeter Maydell DO_VQDMLADH_OP(vqdmladhxh, 2, int16_t, 1, 0, do_vqdmladh_h) 740fd677f80SPeter Maydell DO_VQDMLADH_OP(vqdmladhxw, 4, int32_t, 1, 0, do_vqdmladh_w) 741fd677f80SPeter Maydell 742fd677f80SPeter Maydell DO_VQDMLADH_OP(vqrdmladhb, 1, int8_t, 0, 1, do_vqdmladh_b) 743fd677f80SPeter Maydell DO_VQDMLADH_OP(vqrdmladhh, 2, int16_t, 0, 1, do_vqdmladh_h) 744fd677f80SPeter Maydell DO_VQDMLADH_OP(vqrdmladhw, 4, int32_t, 0, 1, do_vqdmladh_w) 745fd677f80SPeter Maydell DO_VQDMLADH_OP(vqrdmladhxb, 1, int8_t, 1, 1, do_vqdmladh_b) 746fd677f80SPeter Maydell DO_VQDMLADH_OP(vqrdmladhxh, 2, int16_t, 1, 1, do_vqdmladh_h) 747fd677f80SPeter Maydell DO_VQDMLADH_OP(vqrdmladhxw, 4, int32_t, 1, 1, do_vqdmladh_w) 748fd677f80SPeter Maydell 749*92f11732SPeter Maydell DO_VQDMLADH_OP(vqdmlsdhb, 1, int8_t, 0, 0, do_vqdmlsdh_b) 750*92f11732SPeter Maydell DO_VQDMLADH_OP(vqdmlsdhh, 2, int16_t, 0, 0, do_vqdmlsdh_h) 751*92f11732SPeter Maydell DO_VQDMLADH_OP(vqdmlsdhw, 4, int32_t, 0, 0, do_vqdmlsdh_w) 752*92f11732SPeter Maydell DO_VQDMLADH_OP(vqdmlsdhxb, 1, int8_t, 1, 0, do_vqdmlsdh_b) 753*92f11732SPeter Maydell DO_VQDMLADH_OP(vqdmlsdhxh, 2, int16_t, 1, 0, do_vqdmlsdh_h) 754*92f11732SPeter Maydell DO_VQDMLADH_OP(vqdmlsdhxw, 4, int32_t, 1, 0, do_vqdmlsdh_w) 755*92f11732SPeter Maydell 756*92f11732SPeter Maydell DO_VQDMLADH_OP(vqrdmlsdhb, 1, int8_t, 0, 1, do_vqdmlsdh_b) 757*92f11732SPeter Maydell DO_VQDMLADH_OP(vqrdmlsdhh, 2, int16_t, 0, 1, do_vqdmlsdh_h) 758*92f11732SPeter Maydell DO_VQDMLADH_OP(vqrdmlsdhw, 4, int32_t, 0, 1, do_vqdmlsdh_w) 759*92f11732SPeter Maydell DO_VQDMLADH_OP(vqrdmlsdhxb, 1, int8_t, 1, 1, do_vqdmlsdh_b) 760*92f11732SPeter Maydell DO_VQDMLADH_OP(vqrdmlsdhxh, 2, int16_t, 1, 1, do_vqdmlsdh_h) 761*92f11732SPeter Maydell DO_VQDMLADH_OP(vqrdmlsdhxw, 4, int32_t, 1, 1, do_vqdmlsdh_w) 762*92f11732SPeter Maydell 763e51896b3SPeter Maydell #define DO_2OP_SCALAR(OP, ESIZE, TYPE, FN) \ 764e51896b3SPeter Maydell void HELPER(glue(mve_, OP))(CPUARMState *env, void *vd, void *vn, \ 765e51896b3SPeter Maydell uint32_t rm) \ 766e51896b3SPeter Maydell { \ 767e51896b3SPeter Maydell TYPE *d = vd, *n = vn; \ 768e51896b3SPeter Maydell TYPE m = rm; \ 769e51896b3SPeter Maydell uint16_t mask = mve_element_mask(env); \ 770e51896b3SPeter Maydell unsigned e; \ 771e51896b3SPeter Maydell for (e = 0; e < 16 / ESIZE; e++, mask >>= ESIZE) { \ 772e51896b3SPeter Maydell mergemask(&d[H##ESIZE(e)], FN(n[H##ESIZE(e)], m), mask); \ 773e51896b3SPeter Maydell } \ 774e51896b3SPeter Maydell mve_advance_vpt(env); \ 775e51896b3SPeter Maydell } 776e51896b3SPeter Maydell 77739f2ec85SPeter Maydell #define DO_2OP_SAT_SCALAR(OP, ESIZE, TYPE, FN) \ 77839f2ec85SPeter Maydell void HELPER(glue(mve_, OP))(CPUARMState *env, void *vd, void *vn, \ 77939f2ec85SPeter Maydell uint32_t rm) \ 78039f2ec85SPeter Maydell { \ 78139f2ec85SPeter Maydell TYPE *d = vd, *n = vn; \ 78239f2ec85SPeter Maydell TYPE m = rm; \ 78339f2ec85SPeter Maydell uint16_t mask = mve_element_mask(env); \ 78439f2ec85SPeter Maydell unsigned e; \ 78539f2ec85SPeter Maydell bool qc = false; \ 78639f2ec85SPeter Maydell for (e = 0; e < 16 / ESIZE; e++, mask >>= ESIZE) { \ 78739f2ec85SPeter Maydell bool sat = false; \ 78839f2ec85SPeter Maydell mergemask(&d[H##ESIZE(e)], FN(n[H##ESIZE(e)], m, &sat), \ 78939f2ec85SPeter Maydell mask); \ 79039f2ec85SPeter Maydell qc |= sat & mask & 1; \ 79139f2ec85SPeter Maydell } \ 79239f2ec85SPeter Maydell if (qc) { \ 79339f2ec85SPeter Maydell env->vfp.qc[0] = qc; \ 79439f2ec85SPeter Maydell } \ 79539f2ec85SPeter Maydell mve_advance_vpt(env); \ 79639f2ec85SPeter Maydell } 79739f2ec85SPeter Maydell 798e51896b3SPeter Maydell /* provide unsigned 2-op scalar helpers for all sizes */ 799e51896b3SPeter Maydell #define DO_2OP_SCALAR_U(OP, FN) \ 800e51896b3SPeter Maydell DO_2OP_SCALAR(OP##b, 1, uint8_t, FN) \ 801e51896b3SPeter Maydell DO_2OP_SCALAR(OP##h, 2, uint16_t, FN) \ 802e51896b3SPeter Maydell DO_2OP_SCALAR(OP##w, 4, uint32_t, FN) 803644f717cSPeter Maydell #define DO_2OP_SCALAR_S(OP, FN) \ 804644f717cSPeter Maydell DO_2OP_SCALAR(OP##b, 1, int8_t, FN) \ 805644f717cSPeter Maydell DO_2OP_SCALAR(OP##h, 2, int16_t, FN) \ 806644f717cSPeter Maydell DO_2OP_SCALAR(OP##w, 4, int32_t, FN) 807e51896b3SPeter Maydell 808e51896b3SPeter Maydell DO_2OP_SCALAR_U(vadd_scalar, DO_ADD) 80991a358fdSPeter Maydell DO_2OP_SCALAR_U(vsub_scalar, DO_SUB) 81091a358fdSPeter Maydell DO_2OP_SCALAR_U(vmul_scalar, DO_MUL) 811644f717cSPeter Maydell DO_2OP_SCALAR_S(vhadds_scalar, do_vhadd_s) 812644f717cSPeter Maydell DO_2OP_SCALAR_U(vhaddu_scalar, do_vhadd_u) 813644f717cSPeter Maydell DO_2OP_SCALAR_S(vhsubs_scalar, do_vhsub_s) 814644f717cSPeter Maydell DO_2OP_SCALAR_U(vhsubu_scalar, do_vhsub_u) 815e51896b3SPeter Maydell 81639f2ec85SPeter Maydell DO_2OP_SAT_SCALAR(vqaddu_scalarb, 1, uint8_t, DO_UQADD_B) 81739f2ec85SPeter Maydell DO_2OP_SAT_SCALAR(vqaddu_scalarh, 2, uint16_t, DO_UQADD_H) 81839f2ec85SPeter Maydell DO_2OP_SAT_SCALAR(vqaddu_scalarw, 4, uint32_t, DO_UQADD_W) 81939f2ec85SPeter Maydell DO_2OP_SAT_SCALAR(vqadds_scalarb, 1, int8_t, DO_SQADD_B) 82039f2ec85SPeter Maydell DO_2OP_SAT_SCALAR(vqadds_scalarh, 2, int16_t, DO_SQADD_H) 82139f2ec85SPeter Maydell DO_2OP_SAT_SCALAR(vqadds_scalarw, 4, int32_t, DO_SQADD_W) 82239f2ec85SPeter Maydell 82339f2ec85SPeter Maydell DO_2OP_SAT_SCALAR(vqsubu_scalarb, 1, uint8_t, DO_UQSUB_B) 82439f2ec85SPeter Maydell DO_2OP_SAT_SCALAR(vqsubu_scalarh, 2, uint16_t, DO_UQSUB_H) 82539f2ec85SPeter Maydell DO_2OP_SAT_SCALAR(vqsubu_scalarw, 4, uint32_t, DO_UQSUB_W) 82639f2ec85SPeter Maydell DO_2OP_SAT_SCALAR(vqsubs_scalarb, 1, int8_t, DO_SQSUB_B) 82739f2ec85SPeter Maydell DO_2OP_SAT_SCALAR(vqsubs_scalarh, 2, int16_t, DO_SQSUB_H) 82839f2ec85SPeter Maydell DO_2OP_SAT_SCALAR(vqsubs_scalarw, 4, int32_t, DO_SQSUB_W) 82939f2ec85SPeter Maydell 83066c05767SPeter Maydell DO_2OP_SAT_SCALAR(vqdmulh_scalarb, 1, int8_t, DO_QDMULH_B) 83166c05767SPeter Maydell DO_2OP_SAT_SCALAR(vqdmulh_scalarh, 2, int16_t, DO_QDMULH_H) 83266c05767SPeter Maydell DO_2OP_SAT_SCALAR(vqdmulh_scalarw, 4, int32_t, DO_QDMULH_W) 83366c05767SPeter Maydell DO_2OP_SAT_SCALAR(vqrdmulh_scalarb, 1, int8_t, DO_QRDMULH_B) 83466c05767SPeter Maydell DO_2OP_SAT_SCALAR(vqrdmulh_scalarh, 2, int16_t, DO_QRDMULH_H) 83566c05767SPeter Maydell DO_2OP_SAT_SCALAR(vqrdmulh_scalarw, 4, int32_t, DO_QRDMULH_W) 83666c05767SPeter Maydell 837a8890353SPeter Maydell /* 838a8890353SPeter Maydell * Long saturating scalar ops. As with DO_2OP_L, TYPE and H are for the 839a8890353SPeter Maydell * input (smaller) type and LESIZE, LTYPE, LH for the output (long) type. 840a8890353SPeter Maydell * SATMASK specifies which bits of the predicate mask matter for determining 841a8890353SPeter Maydell * whether to propagate a saturation indication into FPSCR.QC -- for 842a8890353SPeter Maydell * the 16x16->32 case we must check only the bit corresponding to the T or B 843a8890353SPeter Maydell * half that we used, but for the 32x32->64 case we propagate if the mask 844a8890353SPeter Maydell * bit is set for either half. 845a8890353SPeter Maydell */ 846a8890353SPeter Maydell #define DO_2OP_SAT_SCALAR_L(OP, TOP, ESIZE, TYPE, LESIZE, LTYPE, FN, SATMASK) \ 847a8890353SPeter Maydell void HELPER(glue(mve_, OP))(CPUARMState *env, void *vd, void *vn, \ 848a8890353SPeter Maydell uint32_t rm) \ 849a8890353SPeter Maydell { \ 850a8890353SPeter Maydell LTYPE *d = vd; \ 851a8890353SPeter Maydell TYPE *n = vn; \ 852a8890353SPeter Maydell TYPE m = rm; \ 853a8890353SPeter Maydell uint16_t mask = mve_element_mask(env); \ 854a8890353SPeter Maydell unsigned le; \ 855a8890353SPeter Maydell bool qc = false; \ 856a8890353SPeter Maydell for (le = 0; le < 16 / LESIZE; le++, mask >>= LESIZE) { \ 857a8890353SPeter Maydell bool sat = false; \ 858a8890353SPeter Maydell LTYPE r = FN((LTYPE)n[H##ESIZE(le * 2 + TOP)], m, &sat); \ 859a8890353SPeter Maydell mergemask(&d[H##LESIZE(le)], r, mask); \ 860a8890353SPeter Maydell qc |= sat && (mask & SATMASK); \ 861a8890353SPeter Maydell } \ 862a8890353SPeter Maydell if (qc) { \ 863a8890353SPeter Maydell env->vfp.qc[0] = qc; \ 864a8890353SPeter Maydell } \ 865a8890353SPeter Maydell mve_advance_vpt(env); \ 866a8890353SPeter Maydell } 867a8890353SPeter Maydell 868a8890353SPeter Maydell static inline int32_t do_qdmullh(int16_t n, int16_t m, bool *sat) 869a8890353SPeter Maydell { 870a8890353SPeter Maydell int64_t r = ((int64_t)n * m) * 2; 871a8890353SPeter Maydell return do_sat_bhw(r, INT32_MIN, INT32_MAX, sat); 872a8890353SPeter Maydell } 873a8890353SPeter Maydell 874a8890353SPeter Maydell static inline int64_t do_qdmullw(int32_t n, int32_t m, bool *sat) 875a8890353SPeter Maydell { 876a8890353SPeter Maydell /* The multiply can't overflow, but the doubling might */ 877a8890353SPeter Maydell int64_t r = (int64_t)n * m; 878a8890353SPeter Maydell if (r > INT64_MAX / 2) { 879a8890353SPeter Maydell *sat = true; 880a8890353SPeter Maydell return INT64_MAX; 881a8890353SPeter Maydell } else if (r < INT64_MIN / 2) { 882a8890353SPeter Maydell *sat = true; 883a8890353SPeter Maydell return INT64_MIN; 884a8890353SPeter Maydell } else { 885a8890353SPeter Maydell return r * 2; 886a8890353SPeter Maydell } 887a8890353SPeter Maydell } 888a8890353SPeter Maydell 889a8890353SPeter Maydell #define SATMASK16B 1 890a8890353SPeter Maydell #define SATMASK16T (1 << 2) 891a8890353SPeter Maydell #define SATMASK32 ((1 << 4) | 1) 892a8890353SPeter Maydell 893a8890353SPeter Maydell DO_2OP_SAT_SCALAR_L(vqdmullb_scalarh, 0, 2, int16_t, 4, int32_t, \ 894a8890353SPeter Maydell do_qdmullh, SATMASK16B) 895a8890353SPeter Maydell DO_2OP_SAT_SCALAR_L(vqdmullb_scalarw, 0, 4, int32_t, 8, int64_t, \ 896a8890353SPeter Maydell do_qdmullw, SATMASK32) 897a8890353SPeter Maydell DO_2OP_SAT_SCALAR_L(vqdmullt_scalarh, 1, 2, int16_t, 4, int32_t, \ 898a8890353SPeter Maydell do_qdmullh, SATMASK16T) 899a8890353SPeter Maydell DO_2OP_SAT_SCALAR_L(vqdmullt_scalarw, 1, 4, int32_t, 8, int64_t, \ 900a8890353SPeter Maydell do_qdmullw, SATMASK32) 901a8890353SPeter Maydell 902b050543bSPeter Maydell static inline uint32_t do_vbrsrb(uint32_t n, uint32_t m) 903b050543bSPeter Maydell { 904b050543bSPeter Maydell m &= 0xff; 905b050543bSPeter Maydell if (m == 0) { 906b050543bSPeter Maydell return 0; 907b050543bSPeter Maydell } 908b050543bSPeter Maydell n = revbit8(n); 909b050543bSPeter Maydell if (m < 8) { 910b050543bSPeter Maydell n >>= 8 - m; 911b050543bSPeter Maydell } 912b050543bSPeter Maydell return n; 913b050543bSPeter Maydell } 914b050543bSPeter Maydell 915b050543bSPeter Maydell static inline uint32_t do_vbrsrh(uint32_t n, uint32_t m) 916b050543bSPeter Maydell { 917b050543bSPeter Maydell m &= 0xff; 918b050543bSPeter Maydell if (m == 0) { 919b050543bSPeter Maydell return 0; 920b050543bSPeter Maydell } 921b050543bSPeter Maydell n = revbit16(n); 922b050543bSPeter Maydell if (m < 16) { 923b050543bSPeter Maydell n >>= 16 - m; 924b050543bSPeter Maydell } 925b050543bSPeter Maydell return n; 926b050543bSPeter Maydell } 927b050543bSPeter Maydell 928b050543bSPeter Maydell static inline uint32_t do_vbrsrw(uint32_t n, uint32_t m) 929b050543bSPeter Maydell { 930b050543bSPeter Maydell m &= 0xff; 931b050543bSPeter Maydell if (m == 0) { 932b050543bSPeter Maydell return 0; 933b050543bSPeter Maydell } 934b050543bSPeter Maydell n = revbit32(n); 935b050543bSPeter Maydell if (m < 32) { 936b050543bSPeter Maydell n >>= 32 - m; 937b050543bSPeter Maydell } 938b050543bSPeter Maydell return n; 939b050543bSPeter Maydell } 940b050543bSPeter Maydell 941b050543bSPeter Maydell DO_2OP_SCALAR(vbrsrb, 1, uint8_t, do_vbrsrb) 942b050543bSPeter Maydell DO_2OP_SCALAR(vbrsrh, 2, uint16_t, do_vbrsrh) 943b050543bSPeter Maydell DO_2OP_SCALAR(vbrsrw, 4, uint32_t, do_vbrsrw) 944b050543bSPeter Maydell 9451d2386f7SPeter Maydell /* 9461d2386f7SPeter Maydell * Multiply add long dual accumulate ops. 9471d2386f7SPeter Maydell */ 9481d2386f7SPeter Maydell #define DO_LDAV(OP, ESIZE, TYPE, XCHG, EVENACC, ODDACC) \ 9491d2386f7SPeter Maydell uint64_t HELPER(glue(mve_, OP))(CPUARMState *env, void *vn, \ 9501d2386f7SPeter Maydell void *vm, uint64_t a) \ 9511d2386f7SPeter Maydell { \ 9521d2386f7SPeter Maydell uint16_t mask = mve_element_mask(env); \ 9531d2386f7SPeter Maydell unsigned e; \ 9541d2386f7SPeter Maydell TYPE *n = vn, *m = vm; \ 9551d2386f7SPeter Maydell for (e = 0; e < 16 / ESIZE; e++, mask >>= ESIZE) { \ 9561d2386f7SPeter Maydell if (mask & 1) { \ 9571d2386f7SPeter Maydell if (e & 1) { \ 9581d2386f7SPeter Maydell a ODDACC \ 9591d2386f7SPeter Maydell (int64_t)n[H##ESIZE(e - 1 * XCHG)] * m[H##ESIZE(e)]; \ 9601d2386f7SPeter Maydell } else { \ 9611d2386f7SPeter Maydell a EVENACC \ 9621d2386f7SPeter Maydell (int64_t)n[H##ESIZE(e + 1 * XCHG)] * m[H##ESIZE(e)]; \ 9631d2386f7SPeter Maydell } \ 9641d2386f7SPeter Maydell } \ 9651d2386f7SPeter Maydell } \ 9661d2386f7SPeter Maydell mve_advance_vpt(env); \ 9671d2386f7SPeter Maydell return a; \ 9681d2386f7SPeter Maydell } 9691d2386f7SPeter Maydell 9701d2386f7SPeter Maydell DO_LDAV(vmlaldavsh, 2, int16_t, false, +=, +=) 9711d2386f7SPeter Maydell DO_LDAV(vmlaldavxsh, 2, int16_t, true, +=, +=) 9721d2386f7SPeter Maydell DO_LDAV(vmlaldavsw, 4, int32_t, false, +=, +=) 9731d2386f7SPeter Maydell DO_LDAV(vmlaldavxsw, 4, int32_t, true, +=, +=) 9741d2386f7SPeter Maydell 9751d2386f7SPeter Maydell DO_LDAV(vmlaldavuh, 2, uint16_t, false, +=, +=) 9761d2386f7SPeter Maydell DO_LDAV(vmlaldavuw, 4, uint32_t, false, +=, +=) 977181cd971SPeter Maydell 978181cd971SPeter Maydell DO_LDAV(vmlsldavsh, 2, int16_t, false, +=, -=) 979181cd971SPeter Maydell DO_LDAV(vmlsldavxsh, 2, int16_t, true, +=, -=) 980181cd971SPeter Maydell DO_LDAV(vmlsldavsw, 4, int32_t, false, +=, -=) 981181cd971SPeter Maydell DO_LDAV(vmlsldavxsw, 4, int32_t, true, +=, -=) 98238548747SPeter Maydell 98338548747SPeter Maydell /* 98438548747SPeter Maydell * Rounding multiply add long dual accumulate high: we must keep 98538548747SPeter Maydell * a 72-bit internal accumulator value and return the top 64 bits. 98638548747SPeter Maydell */ 98738548747SPeter Maydell #define DO_LDAVH(OP, ESIZE, TYPE, XCHG, EVENACC, ODDACC, TO128) \ 98838548747SPeter Maydell uint64_t HELPER(glue(mve_, OP))(CPUARMState *env, void *vn, \ 98938548747SPeter Maydell void *vm, uint64_t a) \ 99038548747SPeter Maydell { \ 99138548747SPeter Maydell uint16_t mask = mve_element_mask(env); \ 99238548747SPeter Maydell unsigned e; \ 99338548747SPeter Maydell TYPE *n = vn, *m = vm; \ 99438548747SPeter Maydell Int128 acc = int128_lshift(TO128(a), 8); \ 99538548747SPeter Maydell for (e = 0; e < 16 / ESIZE; e++, mask >>= ESIZE) { \ 99638548747SPeter Maydell if (mask & 1) { \ 99738548747SPeter Maydell if (e & 1) { \ 99838548747SPeter Maydell acc = ODDACC(acc, TO128(n[H##ESIZE(e - 1 * XCHG)] * \ 99938548747SPeter Maydell m[H##ESIZE(e)])); \ 100038548747SPeter Maydell } else { \ 100138548747SPeter Maydell acc = EVENACC(acc, TO128(n[H##ESIZE(e + 1 * XCHG)] * \ 100238548747SPeter Maydell m[H##ESIZE(e)])); \ 100338548747SPeter Maydell } \ 100438548747SPeter Maydell acc = int128_add(acc, int128_make64(1 << 7)); \ 100538548747SPeter Maydell } \ 100638548747SPeter Maydell } \ 100738548747SPeter Maydell mve_advance_vpt(env); \ 100838548747SPeter Maydell return int128_getlo(int128_rshift(acc, 8)); \ 100938548747SPeter Maydell } 101038548747SPeter Maydell 101138548747SPeter Maydell DO_LDAVH(vrmlaldavhsw, 4, int32_t, false, int128_add, int128_add, int128_makes64) 101238548747SPeter Maydell DO_LDAVH(vrmlaldavhxsw, 4, int32_t, true, int128_add, int128_add, int128_makes64) 101338548747SPeter Maydell 101438548747SPeter Maydell DO_LDAVH(vrmlaldavhuw, 4, uint32_t, false, int128_add, int128_add, int128_make64) 101538548747SPeter Maydell 101638548747SPeter Maydell DO_LDAVH(vrmlsldavhsw, 4, int32_t, false, int128_add, int128_sub, int128_makes64) 101738548747SPeter Maydell DO_LDAVH(vrmlsldavhxsw, 4, int32_t, true, int128_add, int128_sub, int128_makes64) 1018