| 1 | /* |
| 2 | * AArch64 translation, common definitions. |
| 3 | * |
| 4 | * This library is free software; you can redistribute it and/or |
| 5 | * modify it under the terms of the GNU Lesser General Public |
| 6 | * License as published by the Free Software Foundation; either |
| 7 | * version 2.1 of the License, or (at your option) any later version. |
| 8 | * |
| 9 | * This library is distributed in the hope that it will be useful, |
| 10 | * but WITHOUT ANY WARRANTY; without even the implied warranty of |
| 11 | * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU |
| 12 | * Lesser General Public License for more details. |
| 13 | * |
| 14 | * You should have received a copy of the GNU Lesser General Public |
| 15 | * License along with this library; if not, see <http://www.gnu.org/licenses/>. |
| 16 | */ |
| 17 | |
| 18 | #ifndef TARGET_ARM_TRANSLATE_A64_H |
| 19 | #define TARGET_ARM_TRANSLATE_A64_H |
| 20 | |
| 21 | TCGv_i64 cpu_reg(DisasContext *s, int reg); |
| 22 | TCGv_i64 cpu_reg_sp(DisasContext *s, int reg); |
| 23 | TCGv_i64 read_cpu_reg(DisasContext *s, int reg, int sf); |
| 24 | TCGv_i64 read_cpu_reg_sp(DisasContext *s, int reg, int sf); |
| 25 | void write_fp_dreg(DisasContext *s, int reg, TCGv_i64 v); |
| 26 | bool logic_imm_decode_wmask(uint64_t *result, unsigned int immn, |
| 27 | unsigned int imms, unsigned int immr); |
| 28 | bool fpmr_access_check(DisasContext *s); |
| 29 | bool sve_access_check(DisasContext *s); |
| 30 | bool sme_enabled_check(DisasContext *s); |
| 31 | bool sme_enabled_check_with_svcr(DisasContext *s, unsigned); |
| 32 | uint64_t make_svemte_desc(DisasContext *s, unsigned vsz, uint32_t nregs, |
| 33 | uint32_t msz, bool is_write, uint32_t data); |
| 34 | |
| 35 | /* This function corresponds to CheckStreamingSVEEnabled. */ |
| 36 | static inline bool sme_sm_enabled_check(DisasContext *s) |
| 37 | { |
| 38 | return sme_enabled_check_with_svcr(s, R_SVCR_SM_MASK); |
| 39 | } |
| 40 | |
| 41 | /* This function corresponds to CheckSMEAndZAEnabled. */ |
| 42 | static inline bool sme_za_enabled_check(DisasContext *s) |
| 43 | { |
| 44 | return sme_enabled_check_with_svcr(s, R_SVCR_ZA_MASK); |
| 45 | } |
| 46 | |
| 47 | /* Note that this function corresponds to CheckStreamingSVEAndZAEnabled. */ |
| 48 | static inline bool sme_smza_enabled_check(DisasContext *s) |
| 49 | { |
| 50 | return sme_enabled_check_with_svcr(s, R_SVCR_SM_MASK | R_SVCR_ZA_MASK); |
| 51 | } |
| 52 | |
| 53 | TCGv_i64 clean_data_tbi(DisasContext *s, TCGv_i64 addr); |
| 54 | TCGv_i64 gen_mte_check1(DisasContext *s, TCGv_i64 addr, bool is_write, |
| 55 | bool tag_checked, MemOp memop); |
| 56 | TCGv_i64 gen_mte_checkN(DisasContext *s, TCGv_i64 addr, bool is_write, |
| 57 | bool tag_checked, int total_size, MemOp memop); |
| 58 | |
| 59 | /* We should have at some point before trying to access an FP register |
| 60 | * done the necessary access check, so assert that |
| 61 | * (a) we did the check and |
| 62 | * (b) we didn't then just plough ahead anyway if it failed. |
| 63 | * Print the instruction pattern in the abort message so we can figure |
| 64 | * out what we need to fix if a user encounters this problem in the wild. |
| 65 | */ |
| 66 | static inline void assert_fp_access_checked(DisasContext *s) |
| 67 | { |
| 68 | #ifdef CONFIG_DEBUG_TCG |
| 69 | if (unlikely(s->fp_access_checked <= 0)) { |
| 70 | fprintf(stderr, "target-arm: FP access check missing for " |
| 71 | "instruction 0x%08x\n", s->insn); |
| 72 | abort(); |
| 73 | } |
| 74 | #endif |
| 75 | } |
| 76 | |
| 77 | /* Return the offset into CPUARMState of an element of specified |
| 78 | * size, 'element' places in from the least significant end of |
| 79 | * the FP/vector register Qn. |
| 80 | */ |
| 81 | static inline int vec_reg_offset(DisasContext *s, int regno, |
| 82 | int element, MemOp size) |
| 83 | { |
| 84 | int element_size = 1 << size; |
| 85 | int offs = element * element_size; |
| 86 | #if HOST_BIG_ENDIAN |
| 87 | /* This is complicated slightly because vfp.zregs[n].d[0] is |
| 88 | * still the lowest and vfp.zregs[n].d[15] the highest of the |
| 89 | * 256 byte vector, even on big endian systems. |
| 90 | * |
| 91 | * Calculate the offset assuming fully little-endian, |
| 92 | * then XOR to account for the order of the 8-byte units. |
| 93 | * |
| 94 | * For 16 byte elements, the two 8 byte halves will not form a |
| 95 | * host int128 if the host is bigendian, since they're in the |
| 96 | * wrong order. However the only 16 byte operation we have is |
| 97 | * a move, so we can ignore this for the moment. More complicated |
| 98 | * operations will have to special case loading and storing from |
| 99 | * the zregs array. |
| 100 | */ |
| 101 | if (element_size < 8) { |
| 102 | offs ^= 8 - element_size; |
| 103 | } |
| 104 | #endif |
| 105 | offs += offsetof(CPUARMState, vfp.zregs[regno]); |
| 106 | assert_fp_access_checked(s); |
| 107 | return offs; |
| 108 | } |
| 109 | |
| 110 | /* Return the offset info CPUARMState of the "whole" vector register Qn. */ |
| 111 | static inline int vec_full_reg_offset(DisasContext *s, int regno) |
| 112 | { |
| 113 | assert_fp_access_checked(s); |
| 114 | return offsetof(CPUARMState, vfp.zregs[regno]); |
| 115 | } |
| 116 | |
| 117 | /* Return a newly allocated pointer to the vector register. */ |
| 118 | static inline TCGv_ptr vec_full_reg_ptr(DisasContext *s, int regno) |
| 119 | { |
| 120 | TCGv_ptr ret = tcg_temp_new_ptr(); |
| 121 | tcg_gen_addi_ptr(ret, tcg_env, vec_full_reg_offset(s, regno)); |
| 122 | return ret; |
| 123 | } |
| 124 | |
| 125 | /* Return the byte size of the "whole" vector register, VL / 8. */ |
| 126 | static inline int vec_full_reg_size(DisasContext *s) |
| 127 | { |
| 128 | return s->vl; |
| 129 | } |
| 130 | |
| 131 | /* Return the byte size of the vector register, SVL / 8. */ |
| 132 | static inline int streaming_vec_reg_size(DisasContext *s) |
| 133 | { |
| 134 | return s->svl; |
| 135 | } |
| 136 | |
| 137 | /* |
| 138 | * Return the offset info CPUARMState of the predicate vector register Pn. |
| 139 | * Note for this purpose, FFR is P16. |
| 140 | */ |
| 141 | static inline int pred_full_reg_offset(DisasContext *s, int regno) |
| 142 | { |
| 143 | return offsetof(CPUARMState, vfp.pregs[regno]); |
| 144 | } |
| 145 | |
| 146 | /* Return the byte size of the whole predicate register, VL / 64. */ |
| 147 | static inline int pred_full_reg_size(DisasContext *s) |
| 148 | { |
| 149 | return s->vl >> 3; |
| 150 | } |
| 151 | |
| 152 | /* Return the byte size of the predicate register, SVL / 64. */ |
| 153 | static inline int streaming_pred_reg_size(DisasContext *s) |
| 154 | { |
| 155 | return s->svl >> 3; |
| 156 | } |
| 157 | |
| 158 | /* |
| 159 | * Round up the size of a register to a size allowed by |
| 160 | * the tcg vector infrastructure. Any operation which uses this |
| 161 | * size may assume that the bits above pred_full_reg_size are zero, |
| 162 | * and must leave them the same way. |
| 163 | * |
| 164 | * Note that this is not needed for the vector registers as they |
| 165 | * are always properly sized for tcg vectors. |
| 166 | */ |
| 167 | static inline int size_for_gvec(int size) |
| 168 | { |
| 169 | if (size <= 8) { |
| 170 | return 8; |
| 171 | } else { |
| 172 | return QEMU_ALIGN_UP(size, 16); |
| 173 | } |
| 174 | } |
| 175 | |
| 176 | static inline int pred_gvec_reg_size(DisasContext *s) |
| 177 | { |
| 178 | return size_for_gvec(pred_full_reg_size(s)); |
| 179 | } |
| 180 | |
| 181 | /* Return a newly allocated pointer to the predicate register. */ |
| 182 | static inline TCGv_ptr pred_full_reg_ptr(DisasContext *s, int regno) |
| 183 | { |
| 184 | TCGv_ptr ret = tcg_temp_new_ptr(); |
| 185 | tcg_gen_addi_ptr(ret, tcg_env, pred_full_reg_offset(s, regno)); |
| 186 | return ret; |
| 187 | } |
| 188 | |
| 189 | /* |
| 190 | * Return the ARMFPStatusFlavour to use based on element size and |
| 191 | * whether FPCR.AH is set. |
| 192 | */ |
| 193 | static inline ARMFPStatusFlavour select_ah_fpst(DisasContext *s, MemOp esz) |
| 194 | { |
| 195 | if (s->fpcr_ah) { |
| 196 | return esz == MO_16 ? FPST_AH_F16 : FPST_AH; |
| 197 | } else { |
| 198 | return esz == MO_16 ? FPST_A64_F16 : FPST_A64; |
| 199 | } |
| 200 | } |
| 201 | |
| 202 | bool disas_sve(DisasContext *, uint32_t); |
| 203 | bool disas_sme(DisasContext *, uint32_t); |
| 204 | |
| 205 | void gen_gvec_rax1(unsigned vece, uint32_t rd_ofs, uint32_t rn_ofs, |
| 206 | uint32_t rm_ofs, uint32_t opr_sz, uint32_t max_sz); |
| 207 | void gen_gvec_xar(unsigned vece, uint32_t rd_ofs, uint32_t rn_ofs, |
| 208 | uint32_t rm_ofs, int64_t shift, |
| 209 | uint32_t opr_sz, uint32_t max_sz); |
| 210 | void gen_gvec_eor3(unsigned vece, uint32_t d, uint32_t n, uint32_t m, |
| 211 | uint32_t a, uint32_t oprsz, uint32_t maxsz); |
| 212 | void gen_gvec_bcax(unsigned vece, uint32_t d, uint32_t n, uint32_t m, |
| 213 | uint32_t a, uint32_t oprsz, uint32_t maxsz); |
| 214 | |
| 215 | void gen_suqadd_bhs(TCGv_i64 res, TCGv_i64 qc, |
| 216 | TCGv_i64 a, TCGv_i64 b, MemOp esz); |
| 217 | void gen_suqadd_d(TCGv_i64 res, TCGv_i64 qc, TCGv_i64 a, TCGv_i64 b); |
| 218 | void gen_gvec_suqadd_qc(unsigned vece, uint32_t rd_ofs, |
| 219 | uint32_t rn_ofs, uint32_t rm_ofs, |
| 220 | uint32_t opr_sz, uint32_t max_sz); |
| 221 | |
| 222 | void gen_usqadd_bhs(TCGv_i64 res, TCGv_i64 qc, |
| 223 | TCGv_i64 a, TCGv_i64 b, MemOp esz); |
| 224 | void gen_usqadd_d(TCGv_i64 res, TCGv_i64 qc, TCGv_i64 a, TCGv_i64 b); |
| 225 | void gen_gvec_usqadd_qc(unsigned vece, uint32_t rd_ofs, |
| 226 | uint32_t rn_ofs, uint32_t rm_ofs, |
| 227 | uint32_t opr_sz, uint32_t max_sz); |
| 228 | |
| 229 | void gen_gvec_sve2_sqdmulh(unsigned vece, uint32_t rd_ofs, |
| 230 | uint32_t rn_ofs, uint32_t rm_ofs, |
| 231 | uint32_t opr_sz, uint32_t max_sz); |
| 232 | |
| 233 | void gen_sve_ldr(DisasContext *s, TCGv_ptr, int vofs, |
| 234 | int len, int rn, int imm, MemOp align); |
| 235 | void gen_sve_str(DisasContext *s, TCGv_ptr, int vofs, |
| 236 | int len, int rn, int imm, MemOp align); |
| 237 | |
| 238 | #endif /* TARGET_ARM_TRANSLATE_A64_H */ |