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