2 * Copyright 2011 Xamarin Inc
5 #ifndef __MONO_MINI_ARM_H__
6 #define __MONO_MINI_ARM_H__
8 #include <mono/arch/arm/arm-codegen.h>
9 #include <mono/utils/mono-context.h>
12 #ifdef __native_client_codegen__
13 #define kNaClAlignmentARM 16
14 #define kNaClAlignmentMaskARM (kNaClAlignmentARM - 1)
15 #define kNaClLengthOfCallImm 4
18 #if defined(ARM_FPU_NONE)
19 #define MONO_ARCH_SOFT_FLOAT_FALLBACK 1
22 #if defined(__ARM_EABI__)
23 #if G_BYTE_ORDER == G_LITTLE_ENDIAN
24 #define ARM_ARCHITECTURE "armel"
26 #define ARM_ARCHITECTURE "armeb"
29 #define ARM_ARCHITECTURE "arm"
32 #if defined(ARM_FPU_VFP)
33 #define ARM_FP_MODEL "vfp"
34 #elif defined(ARM_FPU_NONE)
35 #define ARM_FP_MODEL "vfp+fallback"
36 #elif defined(ARM_FPU_VFP_HARD)
37 #define ARM_FP_MODEL "vfp+hard"
39 #error "At least one of ARM_FPU_NONE, ARM_FPU_VFP or ARM_FPU_VFP_HARD must be defined."
42 #define MONO_ARCH_ARCHITECTURE ARM_ARCHITECTURE "," ARM_FP_MODEL
44 #define MONO_ARCH_CPU_SPEC arm_cpu_desc
46 #if G_BYTE_ORDER == G_LITTLE_ENDIAN
47 #define ARM_LSW_REG ARMREG_R0
48 #define ARM_MSW_REG ARMREG_R1
50 #define ARM_LSW_REG ARMREG_R1
51 #define ARM_MSW_REG ARMREG_R0
54 #define MONO_MAX_IREGS 16
56 #define MONO_SAVED_GREGS 10 /* r4-r11, ip, lr */
58 /* r4-r11, ip, lr: registers saved in the LMF */
59 #define MONO_ARM_REGSAVE_MASK 0x5ff0
60 #define MONO_ARM_FIRST_SAVED_REG ARMREG_R4
61 #define MONO_ARM_NUM_SAVED_REGS 10
63 /* Parameters used by the register allocator */
65 #define MONO_ARCH_CALLEE_REGS ((1<<ARMREG_R0) | (1<<ARMREG_R1) | (1<<ARMREG_R2) | (1<<ARMREG_R3) | (1<<ARMREG_IP))
66 #define MONO_ARCH_CALLEE_SAVED_REGS ((1<<ARMREG_V1) | (1<<ARMREG_V2) | (1<<ARMREG_V3) | (1<<ARMREG_V4) | (1<<ARMREG_V5) | (1<<ARMREG_V6) | (1<<ARMREG_V7))
69 * TODO: Make use of VFP v3 registers d16-d31.
73 * TODO: We can't use registers d8-d15 in hard float mode because the
74 * register allocator doesn't allocate floating point registers globally.
77 #if defined(ARM_FPU_VFP_HARD)
78 #define MONO_SAVED_FREGS 16
79 #define MONO_MAX_FREGS 32
82 * d8-d15 must be preserved across function calls. We use d14-d15 as
83 * scratch registers in the JIT. The rest have no meaning tied to them.
85 #define MONO_ARCH_CALLEE_FREGS 0x00005555
86 #define MONO_ARCH_CALLEE_SAVED_FREGS 0x55550000
88 #define MONO_SAVED_FREGS 8
89 #define MONO_MAX_FREGS 16
92 * No registers need to be preserved across function calls. We use d0-d1
93 * as scratch registers in the JIT. The rest have no meaning tied to them.
95 #define MONO_ARCH_CALLEE_FREGS 0x55555550
96 #define MONO_ARCH_CALLEE_SAVED_FREGS 0x00000000
99 #define MONO_ARCH_USE_FPSTACK FALSE
100 #define MONO_ARCH_FPSTACK_SIZE 0
102 #define MONO_ARCH_INST_SREG2_MASK(ins) (0)
104 #define MONO_ARCH_INST_FIXED_REG(desc) \
105 (mono_arch_is_soft_float () ? \
106 ((desc) == 'l' || (desc) == 'f' || (desc) == 'g' ? ARM_LSW_REG : (desc) == 'a' ? ARMREG_R0 : -1) : \
107 ((desc) == 'l' ? ARM_LSW_REG : (desc) == 'a' ? ARMREG_R0 : -1))
109 #define MONO_ARCH_INST_IS_REGPAIR(desc) \
110 (mono_arch_is_soft_float () ? \
111 ((desc) == 'l' || (desc) == 'L' || (desc) == 'f' || (desc) == 'g') : \
112 ((desc) == 'l' || (desc) == 'L'))
114 #define MONO_ARCH_INST_IS_FLOAT(desc) \
115 (mono_arch_is_soft_float () ? \
117 ((desc) == 'f' || (desc) == 'g'))
119 #define MONO_ARCH_INST_REGPAIR_REG2(desc,hreg1) ((desc) == 'l' || (desc) == 'f' || (desc) == 'g' ? ARM_MSW_REG : -1)
121 #define MONO_ARCH_FRAME_ALIGNMENT 8
123 /* fixme: align to 16byte instead of 32byte (we align to 32byte to get
124 * reproduceable results for benchmarks */
125 #define MONO_ARCH_CODE_ALIGNMENT 32
127 /* Return value marshalling for calls between gsharedvt and normal code */
129 GSHAREDVT_RET_NONE = 0,
130 GSHAREDVT_RET_IREG = 1,
131 GSHAREDVT_RET_IREGS = 2,
132 GSHAREDVT_RET_I1 = 3,
133 GSHAREDVT_RET_U1 = 4,
134 GSHAREDVT_RET_I2 = 5,
136 } GSharedVtRetMarshal;
139 /* Method address to call */
141 /* The trampoline reads this, so keep the size explicit */
143 /* If ret_marshal != NONE, this is the reg of the vret arg, else -1 */
145 /* The stack slot where the return value will be stored */
147 int stack_usage, map_count;
148 /* If not -1, then make a virtual call using this vtable offset */
150 /* If 1, make an indirect call to the address in the rgctx reg */
152 /* Whenever this is a in or an out call */
154 /* Maps stack slots/registers in the caller to the stack slots/registers in the callee */
155 /* A negative value means a register, i.e. -1=r0, -2=r1 etc. */
156 int map [MONO_ZERO_LEN_ARRAY];
159 void arm_patch (guchar *code, const guchar *target);
160 guint8* mono_arm_emit_load_imm (guint8 *code, int dreg, guint32 val);
161 int mono_arm_is_rotated_imm8 (guint32 val, gint *rot_amount);
164 mono_arm_throw_exception_by_token (guint32 type_token, mgreg_t pc, mgreg_t sp, mgreg_t *int_regs, gdouble *fp_regs);
167 mono_arm_start_gsharedvt_call (GSharedVtCallInfo *info, gpointer *caller, gpointer *callee, gpointer mrgctx_reg) MONO_INTERNAL;
170 MONO_ARM_FPU_NONE = 0,
171 MONO_ARM_FPU_VFP = 1,
172 MONO_ARM_FPU_VFP_HARD = 2
175 /* keep the size of the structure a multiple of 8 */
178 * If the second lowest bit is set to 1, then this is a MonoLMFExt structure, and
179 * the other fields are not valid.
181 gpointer previous_lmf;
183 /* This is only set in trampoline LMF frames */
188 /* Currently only used in trampolines on armhf to hold d0-d15. We don't really
189 * need to put d0-d7 in the LMF, but it simplifies the trampoline code.
192 /* all but sp and pc: matches the PUSH instruction layout in the trampolines
193 * 0-4 should be considered undefined (execpt in the magic tramp)
199 typedef struct MonoCompileArch {
200 gpointer seq_point_info_var, ss_trigger_page_var;
201 gpointer seq_point_read_var, seq_point_ss_method_var;
202 gpointer seq_point_bp_method_var;
203 gboolean omit_fp, omit_fp_computed;
205 gpointer *vfp_scratch_slots [2];
206 int atomic_tmp_offset;
209 #define MONO_ARCH_EMULATE_FCONV_TO_I8 1
210 #define MONO_ARCH_EMULATE_LCONV_TO_R8 1
211 #define MONO_ARCH_EMULATE_LCONV_TO_R4 1
212 #define MONO_ARCH_EMULATE_LCONV_TO_R8_UN 1
213 #define MONO_ARCH_EMULATE_FREM 1
214 #define MONO_ARCH_EMULATE_DIV 1
215 #define MONO_ARCH_EMULATE_CONV_R8_UN 1
216 #define MONO_ARCH_EMULATE_MUL_OVF 1
217 //#define MONO_ARCH_BIGMUL_INTRINS 1
219 #define ARM_FIRST_ARG_REG 0
220 #define ARM_LAST_ARG_REG 3
222 #define MONO_ARCH_USE_SIGACTION 1
224 #if defined(__native_client__)
225 #undef MONO_ARCH_USE_SIGACTION
228 #define MONO_ARCH_NEED_DIV_CHECK 1
230 #define MONO_ARCH_HAVE_CREATE_DELEGATE_TRAMPOLINE
231 #define MONO_ARCH_HAVE_XP_UNWIND 1
232 #define MONO_ARCH_HAVE_GENERALIZED_IMT_THUNK 1
234 #define ARM_NUM_REG_ARGS (ARM_LAST_ARG_REG-ARM_FIRST_ARG_REG+1)
235 #define ARM_NUM_REG_FPARGS 0
237 #define MONO_ARCH_HAVE_FULL_AOT_TRAMPOLINES 1
238 #define MONO_ARCH_HAVE_IMT 1
239 #define MONO_ARCH_HAVE_DECOMPOSE_LONG_OPTS 1
241 #define MONO_ARCH_AOT_SUPPORTED 1
242 #define MONO_ARCH_LLVM_SUPPORTED 1
243 #define MONO_ARCH_THIS_AS_FIRST_ARG 1
245 #define MONO_ARCH_GSHARED_SUPPORTED 1
246 #define MONO_ARCH_DYN_CALL_SUPPORTED 1
247 #define MONO_ARCH_DYN_CALL_PARAM_AREA 24
249 #define MONO_ARCH_SOFT_DEBUG_SUPPORTED 1
250 #define MONO_ARCH_HAVE_EXCEPTIONS_INIT 1
251 #define MONO_ARCH_HAVE_GET_TRAMPOLINES 1
252 #define MONO_ARCH_HAVE_CONTEXT_SET_INT_REG 1
253 #define MONO_ARCH_HAVE_SIGCTX_TO_MONOCTX 1
254 #define MONO_ARCH_GC_MAPS_SUPPORTED 1
255 #define MONO_ARCH_HAVE_SETUP_ASYNC_CALLBACK 1
256 #define MONO_ARCH_HAVE_CONTEXT_SET_INT_REG 1
257 #define MONO_ARCH_HAVE_SETUP_RESUME_FROM_SIGNAL_HANDLER_CTX 1
258 #define MONO_ARCH_GSHAREDVT_SUPPORTED 1
259 #define MONO_ARCH_HAVE_GENERAL_RGCTX_LAZY_FETCH_TRAMPOLINE 1
260 #define MONO_ARCH_HAVE_OPCODE_NEEDS_EMULATION 1
261 #define MONO_ARCH_HAVE_OBJC_GET_SELECTOR 1
263 #define MONO_ARCH_HAVE_OP_TAIL_CALL 1
265 #define MONO_ARCH_HAVE_DUMMY_INIT 1
266 #define MONO_ARCH_HAVE_OPCODE_SUPPORTED 1
267 #define MONO_ARCH_HAVE_ATOMIC_EXCHANGE 1
268 #define MONO_ARCH_HAVE_ATOMIC_CAS 1
269 #define MONO_ARCH_HAVE_ATOMIC_ADD 1
271 #if defined(__native_client__)
272 #undef MONO_ARCH_SOFT_DEBUG_SUPPORTED
273 #undef MONO_ARCH_HAVE_SIGCTX_TO_MONOCTX
274 #undef MONO_ARCH_HAVE_CONTEXT_SET_INT_REG
277 /* Matches the HAVE_AEABI_READ_TP define in mini-arm.c */
278 #if defined(__ARM_EABI__) && defined(__linux__) && !defined(TARGET_ANDROID) && !defined(__native_client__)
279 #define MONO_ARCH_HAVE_TLS_GET 1
282 /* ARM doesn't have too many registers, so we have to use a callee saved one */
283 #define MONO_ARCH_RGCTX_REG ARMREG_V5
284 /* First argument reg */
285 #define MONO_ARCH_VTABLE_REG ARMREG_R0
287 #define MONO_CONTEXT_SET_LLVM_EXC_REG(ctx, exc) do { (ctx)->regs [0] = (gsize)exc; } while (0)
289 #define MONO_INIT_CONTEXT_FROM_FUNC(ctx,func) do { \
290 MONO_CONTEXT_SET_BP ((ctx), __builtin_frame_address (0)); \
291 MONO_CONTEXT_SET_SP ((ctx), __builtin_frame_address (0)); \
292 MONO_CONTEXT_SET_IP ((ctx), (func)); \
295 #define MONO_ARCH_INIT_TOP_LMF_ENTRY(lmf)
298 mono_arm_throw_exception (MonoObject *exc, mgreg_t pc, mgreg_t sp, mgreg_t *int_regs, gdouble *fp_regs);
301 mono_arm_throw_exception_by_token (guint32 type_token, mgreg_t pc, mgreg_t sp, mgreg_t *int_regs, gdouble *fp_regs);
304 mono_arm_resume_unwind (guint32 dummy1, mgreg_t pc, mgreg_t sp, mgreg_t *int_regs, gdouble *fp_regs);
307 mono_arm_thumb_supported (void);
310 mono_arm_get_exception_trampolines (gboolean aot) MONO_INTERNAL;
313 mono_arm_get_thumb_plt_entry (guint8 *code) MONO_INTERNAL;
316 mono_arm_patchable_b (guint8 *code, int cond);
319 mono_arm_patchable_bl (guint8 *code, int cond);
321 #ifdef USE_JUMP_TABLES
323 mono_arm_load_jumptable_entry_addr (guint8 *code, gpointer *jte, ARMReg reg) MONO_INTERNAL;
326 mono_arm_load_jumptable_entry (guint8 *code, gpointer *jte, ARMReg reg) MONO_INTERNAL;
330 mono_arm_is_hard_float (void) MONO_INTERNAL;
332 #endif /* __MONO_MINI_ARM_H__ */