]> Git Repo - qemu.git/blame - target/arm/translate.h
Merge remote-tracking branch 'remotes/pmaydell/tags/pull-target-arm-20190722' into...
[qemu.git] / target / arm / translate.h
CommitLineData
f570c61e
AG
1#ifndef TARGET_ARM_TRANSLATE_H
2#define TARGET_ARM_TRANSLATE_H
3
77fc6f5e
LV
4#include "exec/translator.h"
5
6
f570c61e
AG
7/* internal defines */
8typedef struct DisasContext {
dcba3a8d 9 DisasContextBase base;
962fcbf2 10 const ARMISARegisters *isar;
dcba3a8d 11
f570c61e 12 target_ulong pc;
bfe7ad5b 13 target_ulong page_start;
14ade10f 14 uint32_t insn;
f570c61e
AG
15 /* Nonzero if this instruction has been conditionally skipped. */
16 int condjmp;
17 /* The label that will be jumped to when the instruction is skipped. */
42a268c2 18 TCGLabel *condlabel;
f570c61e
AG
19 /* Thumb-2 conditional execution bits. */
20 int condexec_mask;
21 int condexec_cond;
f570c61e 22 int thumb;
f9fd40eb 23 int sctlr_b;
dacf0a2f 24 TCGMemOp be_data;
f570c61e
AG
25#if !defined(CONFIG_USER_ONLY)
26 int user;
27#endif
c1e37810 28 ARMMMUIdx mmu_idx; /* MMU index to use for normal loads/stores */
4a9ee99d
RH
29 uint8_t tbii; /* TBI1|TBI0 for insns */
30 uint8_t tbid; /* TBI1|TBI0 for data */
3f342b9e 31 bool ns; /* Use non-secure CPREG bank on access */
9dbbc748 32 int fp_excp_el; /* FP exception EL or 0 if enabled */
1db5e96c
RH
33 int sve_excp_el; /* SVE exception EL or 0 if enabled */
34 int sve_len; /* SVE vector length in bytes */
cef9ee70
SS
35 /* Flag indicating that exceptions from secure mode are routed to EL3. */
36 bool secure_routed_to_el3;
8c6afa6a 37 bool vfp_enabled; /* FP enabled via FPSCR.EN */
f570c61e
AG
38 int vec_len;
39 int vec_stride;
064c379c 40 bool v7m_handler_mode;
fb602cb7 41 bool v8m_secure; /* true if v8M and we're in Secure mode */
4730fb85 42 bool v8m_stackcheck; /* true if we need to perform v8M stack limit checks */
6d60c67a 43 bool v8m_fpccr_s_wrong; /* true if v8M FPCCR.S != v8m_secure */
6000531e 44 bool v7m_new_fp_ctxt_needed; /* ASPEN set but no active FP context */
e33cf0f8 45 bool v7m_lspact; /* FPCCR.LSPACT set */
d4a2dc67
PM
46 /* Immediate value in AArch32 SVC insn; must be set if is_jmp == DISAS_SWI
47 * so that top level loop can generate correct syndrome information.
48 */
49 uint32_t svc_imm;
3926cc84 50 int aarch64;
dcbff19b 51 int current_el;
60322b39 52 GHashTable *cp_regs;
a984e42c 53 uint64_t features; /* CPU features bits */
90e49638
PM
54 /* Because unallocated encodings generate different exception syndrome
55 * information from traps due to FP being disabled, we can't do a single
56 * "is fp access disabled" check at a high level in the decode tree.
57 * To help in catching bugs where the access check was forgotten in some
58 * code path, we set this flag when the access check is done, and assert
59 * that it is set at the point where we actually touch the FP regs.
60 */
61 bool fp_access_checked;
7ea47fe7
PM
62 /* ARMv8 single-step state (this is distinct from the QEMU gdbstub
63 * single-step support).
64 */
65 bool ss_active;
66 bool pstate_ss;
67 /* True if the insn just emitted was a load-exclusive instruction
68 * (necessary for syndrome information for single step exceptions),
69 * ie A64 LDX*, LDAX*, A32/T32 LDREX*, LDAEX*.
70 */
71 bool is_ldex;
72 /* True if a single-step exception will be taken to the current EL */
73 bool ss_same_el;
0816ef1b
RH
74 /* True if v8.3-PAuth is active. */
75 bool pauth_active;
08f1434a
RH
76 /* True with v8.5-BTI and SCTLR_ELx.BT* set. */
77 bool bt;
51bf0d7a
RH
78 /*
79 * >= 0, a copy of PSTATE.BTYPE, which will be 0 without v8.5-BTI.
80 * < 0, set by the current instruction.
81 */
82 int8_t btype;
83 /* True if this page is guarded. */
84 bool guarded_page;
c0f4af17
PM
85 /* Bottom two bits of XScale c15_cpar coprocessor access control reg */
86 int c15_cpar;
15fa08f8
RH
87 /* TCG op of the current insn_start. */
88 TCGOp *insn_start;
11e169de
AG
89#define TMP_A64_MAX 16
90 int tmp_a64_count;
91 TCGv_i64 tmp_a64[TMP_A64_MAX];
f570c61e
AG
92} DisasContext;
93
6c2c63d3
RH
94typedef struct DisasCompare {
95 TCGCond cond;
96 TCGv_i32 value;
97 bool value_global;
98} DisasCompare;
99
78bcaa3e 100/* Share the TCG temporaries common between 32 and 64 bit modes. */
78bcaa3e
RH
101extern TCGv_i32 cpu_NF, cpu_ZF, cpu_CF, cpu_VF;
102extern TCGv_i64 cpu_exclusive_addr;
103extern TCGv_i64 cpu_exclusive_val;
3407ad0e 104
a984e42c
PM
105static inline int arm_dc_feature(DisasContext *dc, int feature)
106{
107 return (dc->features & (1ULL << feature)) != 0;
108}
109
9d4c4e87
EI
110static inline int get_mem_index(DisasContext *s)
111{
8bd5c820 112 return arm_to_core_mmu_idx(s->mmu_idx);
9d4c4e87
EI
113}
114
73710361
GB
115/* Function used to determine the target exception EL when otherwise not known
116 * or default.
117 */
118static inline int default_exception_el(DisasContext *s)
119{
120 /* If we are coming from secure EL0 in a system with a 32-bit EL3, then
121 * there is no secure EL1, so we route exceptions to EL3. Otherwise,
122 * exceptions can only be routed to ELs above 1, so we target the higher of
123 * 1 or the current EL.
124 */
cef9ee70 125 return (s->mmu_idx == ARMMMUIdx_S1SE0 && s->secure_routed_to_el3)
73710361
GB
126 ? 3 : MAX(1, s->current_el);
127}
128
cf96a682 129static inline void disas_set_insn_syndrome(DisasContext *s, uint32_t syn)
9bb6558a
PM
130{
131 /* We don't need to save all of the syndrome so we mask and shift
132 * out unneeded bits to help the sleb128 encoder do a better job.
133 */
134 syn &= ARM_INSN_START_WORD2_MASK;
135 syn >>= ARM_INSN_START_WORD2_SHIFT;
136
137 /* We check and clear insn_start_idx to catch multiple updates. */
15fa08f8 138 assert(s->insn_start != NULL);
9743cd57 139 tcg_set_insn_start_param(s->insn_start, 2, syn);
15fa08f8 140 s->insn_start = NULL;
9bb6558a
PM
141}
142
77fc6f5e
LV
143/* is_jmp field values */
144#define DISAS_JUMP DISAS_TARGET_0 /* only pc was modified dynamically */
145#define DISAS_UPDATE DISAS_TARGET_1 /* cpu state was modified dynamically */
40f860cd
PM
146/* These instructions trap after executing, so the A32/T32 decoder must
147 * defer them until after the conditional execution state has been updated.
148 * WFI also needs special handling when single-stepping.
149 */
77fc6f5e
LV
150#define DISAS_WFI DISAS_TARGET_2
151#define DISAS_SWI DISAS_TARGET_3
72c1d3af 152/* WFE */
77fc6f5e
LV
153#define DISAS_WFE DISAS_TARGET_4
154#define DISAS_HVC DISAS_TARGET_5
155#define DISAS_SMC DISAS_TARGET_6
156#define DISAS_YIELD DISAS_TARGET_7
3bb8a96f
PM
157/* M profile branch which might be an exception return (and so needs
158 * custom end-of-TB code)
159 */
77fc6f5e 160#define DISAS_BX_EXCRET DISAS_TARGET_8
8a6b28c7 161/* For instructions which want an immediate exit to the main loop,
abd1fb0e
AB
162 * as opposed to attempting to use lookup_and_goto_ptr. Unlike
163 * DISAS_UPDATE this doesn't write the PC on exiting the translation
164 * loop so you need to ensure something (gen_a64_set_pc_im or runtime
165 * helper) has done so before we reach return from cpu_tb_exec.
8a6b28c7 166 */
77fc6f5e 167#define DISAS_EXIT DISAS_TARGET_9
40f860cd 168
14ade10f
AG
169#ifdef TARGET_AARCH64
170void a64_translate_init(void);
14ade10f 171void gen_a64_set_pc_im(uint64_t val);
23169224 172extern const TranslatorOps aarch64_translator_ops;
14ade10f
AG
173#else
174static inline void a64_translate_init(void)
175{
176}
177
14ade10f
AG
178static inline void gen_a64_set_pc_im(uint64_t val)
179{
180}
181#endif
182
6c2c63d3
RH
183void arm_test_cc(DisasCompare *cmp, int cc);
184void arm_free_cc(DisasCompare *cmp);
185void arm_jump_cc(DisasCompare *cmp, TCGLabel *label);
42a268c2 186void arm_gen_test_cc(int cc, TCGLabel *label);
39fb730a 187
486624fc
AB
188/* Return state of Alternate Half-precision flag, caller frees result */
189static inline TCGv_i32 get_ahp_flag(void)
190{
191 TCGv_i32 ret = tcg_temp_new_i32();
192
193 tcg_gen_ld_i32(ret, cpu_env,
194 offsetof(CPUARMState, vfp.xregs[ARM_VFP_FPSCR]));
195 tcg_gen_extract_i32(ret, ret, 26, 1);
196
197 return ret;
198}
199
22ac3c49
RH
200/* Set bits within PSTATE. */
201static inline void set_pstate_bits(uint32_t bits)
202{
203 TCGv_i32 p = tcg_temp_new_i32();
204
205 tcg_debug_assert(!(bits & CACHED_PSTATE_BITS));
206
207 tcg_gen_ld_i32(p, cpu_env, offsetof(CPUARMState, pstate));
208 tcg_gen_ori_i32(p, p, bits);
209 tcg_gen_st_i32(p, cpu_env, offsetof(CPUARMState, pstate));
210 tcg_temp_free_i32(p);
211}
212
213/* Clear bits within PSTATE. */
214static inline void clear_pstate_bits(uint32_t bits)
215{
216 TCGv_i32 p = tcg_temp_new_i32();
217
218 tcg_debug_assert(!(bits & CACHED_PSTATE_BITS));
219
220 tcg_gen_ld_i32(p, cpu_env, offsetof(CPUARMState, pstate));
221 tcg_gen_andi_i32(p, p, ~bits);
222 tcg_gen_st_i32(p, cpu_env, offsetof(CPUARMState, pstate));
223 tcg_temp_free_i32(p);
224}
225
226/* If the singlestep state is Active-not-pending, advance to Active-pending. */
227static inline void gen_ss_advance(DisasContext *s)
228{
229 if (s->ss_active) {
230 s->pstate_ss = 0;
231 clear_pstate_bits(PSTATE_SS);
232 }
233}
eabcd6fa 234
d6a092d4
PM
235/*
236 * Given a VFP floating point constant encoded into an 8 bit immediate in an
237 * instruction, expand it to the actual constant value of the specified
238 * size, as per the VFPExpandImm() pseudocode in the Arm ARM.
239 */
240uint64_t vfp_expand_imm(int size, uint8_t imm8);
241
eabcd6fa 242/* Vector operations shared between ARM and AArch64. */
4a7832b0
RH
243extern const GVecGen3 mla_op[4];
244extern const GVecGen3 mls_op[4];
ea580fa3 245extern const GVecGen3 cmtst_op[4];
41f6c113
RH
246extern const GVecGen2i ssra_op[4];
247extern const GVecGen2i usra_op[4];
f3cd8218
RH
248extern const GVecGen2i sri_op[4];
249extern const GVecGen2i sli_op[4];
89e68b57
RH
250extern const GVecGen4 uqadd_op[4];
251extern const GVecGen4 sqadd_op[4];
252extern const GVecGen4 uqsub_op[4];
253extern const GVecGen4 sqsub_op[4];
ea580fa3 254void gen_cmtst_i64(TCGv_i64 d, TCGv_i64 a, TCGv_i64 b);
eabcd6fa 255
962fcbf2
RH
256/*
257 * Forward to the isar_feature_* tests given a DisasContext pointer.
258 */
259#define dc_isar_feature(name, ctx) \
260 ({ DisasContext *ctx_ = (ctx); isar_feature_##name(ctx_->isar); })
261
f570c61e 262#endif /* TARGET_ARM_TRANSLATE_H */
This page took 0.366286 seconds and 4 git commands to generate.