xref: /qemu/target/arm/tcg/mve_helper.c (revision 0f0f2bd54817ffad1ccb15dd0fb3adf2db1ec394)
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