2 * Copyright 2011 Xamarin Inc
3 * Licensed under the MIT license. See LICENSE file in the project root for full license information.
6 #ifndef __MONO_MINI_ARM_H__
7 #define __MONO_MINI_ARM_H__
9 #include <mono/arch/arm/arm-codegen.h>
10 #include <mono/utils/mono-context.h>
13 #ifdef __native_client_codegen__
14 #define kNaClAlignmentARM 16
15 #define kNaClAlignmentMaskARM (kNaClAlignmentARM - 1)
16 #define kNaClLengthOfCallImm 4
19 #if defined(ARM_FPU_NONE)
20 #define MONO_ARCH_SOFT_FLOAT_FALLBACK 1
23 #if defined(__ARM_EABI__)
24 #if G_BYTE_ORDER == G_LITTLE_ENDIAN
25 #define ARM_ARCHITECTURE "armel"
27 #define ARM_ARCHITECTURE "armeb"
30 #define ARM_ARCHITECTURE "arm"
33 #if defined(ARM_FPU_VFP)
34 #define ARM_FP_MODEL "vfp"
35 #elif defined(ARM_FPU_NONE)
36 #define ARM_FP_MODEL "vfp+fallback"
37 #elif defined(ARM_FPU_VFP_HARD)
38 #define ARM_FP_MODEL "vfp+hard"
40 #error "At least one of ARM_FPU_NONE, ARM_FPU_VFP or ARM_FPU_VFP_HARD must be defined."
43 #define MONO_ARCH_ARCHITECTURE ARM_ARCHITECTURE "," ARM_FP_MODEL
45 #define MONO_ARCH_CPU_SPEC mono_arm_cpu_desc
47 #if G_BYTE_ORDER == G_LITTLE_ENDIAN
48 #define ARM_LSW_REG ARMREG_R0
49 #define ARM_MSW_REG ARMREG_R1
51 #define ARM_LSW_REG ARMREG_R1
52 #define ARM_MSW_REG ARMREG_R0
55 #define MONO_MAX_IREGS 16
57 #define MONO_SAVED_GREGS 10 /* r4-r11, ip, lr */
59 /* r4-r11, ip, lr: registers saved in the LMF */
60 #define MONO_ARM_REGSAVE_MASK 0x5ff0
61 #define MONO_ARM_FIRST_SAVED_REG ARMREG_R4
62 #define MONO_ARM_NUM_SAVED_REGS 10
64 /* Parameters used by the register allocator */
66 #define MONO_ARCH_CALLEE_REGS ((1<<ARMREG_R0) | (1<<ARMREG_R1) | (1<<ARMREG_R2) | (1<<ARMREG_R3) | (1<<ARMREG_IP))
67 #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))
70 * TODO: Make use of VFP v3 registers d16-d31.
74 * TODO: We can't use registers d8-d15 in hard float mode because the
75 * register allocator doesn't allocate floating point registers globally.
78 #if defined(ARM_FPU_VFP_HARD)
79 #define MONO_SAVED_FREGS 16
80 #define MONO_MAX_FREGS 32
83 * d8-d15 must be preserved across function calls. We use d14-d15 as
84 * scratch registers in the JIT. The rest have no meaning tied to them.
86 #define MONO_ARCH_CALLEE_FREGS 0x00005555
87 #define MONO_ARCH_CALLEE_SAVED_FREGS 0x55550000
89 #define MONO_SAVED_FREGS 8
90 #define MONO_MAX_FREGS 16
93 * No registers need to be preserved across function calls. We use d0-d1
94 * as scratch registers in the JIT. The rest have no meaning tied to them.
96 #define MONO_ARCH_CALLEE_FREGS 0x55555550
97 #define MONO_ARCH_CALLEE_SAVED_FREGS 0x00000000
100 #define MONO_ARCH_USE_FPSTACK FALSE
101 #define MONO_ARCH_FPSTACK_SIZE 0
103 #define MONO_ARCH_INST_SREG2_MASK(ins) (0)
105 #define MONO_ARCH_INST_FIXED_REG(desc) \
106 (mono_arch_is_soft_float () ? \
107 ((desc) == 'l' || (desc) == 'f' || (desc) == 'g' ? ARM_LSW_REG : (desc) == 'a' ? ARMREG_R0 : -1) : \
108 ((desc) == 'l' ? ARM_LSW_REG : (desc) == 'a' ? ARMREG_R0 : -1))
110 #define MONO_ARCH_INST_IS_REGPAIR(desc) \
111 (mono_arch_is_soft_float () ? \
112 ((desc) == 'l' || (desc) == 'L' || (desc) == 'f' || (desc) == 'g') : \
113 ((desc) == 'l' || (desc) == 'L'))
115 #define MONO_ARCH_INST_IS_FLOAT(desc) \
116 (mono_arch_is_soft_float () ? \
118 ((desc) == 'f' || (desc) == 'g'))
120 #define MONO_ARCH_INST_REGPAIR_REG2(desc,hreg1) ((desc) == 'l' || (desc) == 'f' || (desc) == 'g' ? ARM_MSW_REG : -1)
122 #ifdef TARGET_WATCHOS
123 #define MONO_ARCH_FRAME_ALIGNMENT 16
125 #define MONO_ARCH_FRAME_ALIGNMENT 8
128 /* fixme: align to 16byte instead of 32byte (we align to 32byte to get
129 * reproduceable results for benchmarks */
130 #define MONO_ARCH_CODE_ALIGNMENT 32
132 /* This needs to hold both a 32 bit int and a 64 bit double */
133 #define mono_unwind_reg_t guint64
135 /* Argument marshallings for calls between gsharedvt and normal code */
137 GSHAREDVT_ARG_NONE = 0,
138 GSHAREDVT_ARG_BYVAL_TO_BYREF = 1,
139 GSHAREDVT_ARG_BYREF_TO_BYVAL = 2,
140 GSHAREDVT_ARG_BYREF_TO_BYVAL_I1 = 3,
141 GSHAREDVT_ARG_BYREF_TO_BYVAL_I2 = 4,
142 GSHAREDVT_ARG_BYREF_TO_BYVAL_U1 = 5,
143 GSHAREDVT_ARG_BYREF_TO_BYVAL_U2 = 6
144 } GSharedVtArgMarshal;
146 /* Return value marshalling for calls between gsharedvt and normal code */
148 GSHAREDVT_RET_NONE = 0,
149 GSHAREDVT_RET_IREG = 1,
150 GSHAREDVT_RET_IREGS = 2,
151 GSHAREDVT_RET_I1 = 3,
152 GSHAREDVT_RET_U1 = 4,
153 GSHAREDVT_RET_I2 = 5,
154 GSHAREDVT_RET_U2 = 6,
155 GSHAREDVT_RET_VFP_R4 = 7,
156 GSHAREDVT_RET_VFP_R8 = 8
157 } GSharedVtRetMarshal;
160 /* Method address to call */
162 /* The trampoline reads this, so keep the size explicit */
164 /* If ret_marshal != NONE, this is the reg of the vret arg, else -1 */
166 /* The stack slot where the return value will be stored */
168 int stack_usage, map_count;
169 /* If not -1, then make a virtual call using this vtable offset */
171 /* If 1, make an indirect call to the address in the rgctx reg */
173 /* Whenever this is a in or an out call */
175 /* Whenever this call uses fp registers */
177 gpointer caller_cinfo, callee_cinfo;
178 /* Maps stack slots/registers in the caller to the stack slots/registers in the callee */
179 /* A negative value means a register, i.e. -1=r0, -2=r1 etc. */
180 int map [MONO_ZERO_LEN_ARRAY];
186 /* Passed/returned in an ireg */
188 /* Passed/returned in a pair of iregs */
190 /* Passed on the stack */
192 /* First word in r3, second word on the stack */
194 /* FP value passed in either an ireg or a vfp reg */
198 /* gsharedvt argument passed by addr in greg */
199 RegTypeGSharedVtInReg,
200 /* gsharedvt argument passed by addr on stack */
201 RegTypeGSharedVtOnStack,
207 guint16 vtsize; /* in param area */
215 guint8 size : 4; /* 1, 2, 4, 8, or regs used by RegTypeStructByVal */
221 /* The index of the vret arg in the argument list for RegTypeStructByAddr */
228 /* Structure used by the sequence points in AOTed code */
230 gpointer ss_trigger_page;
231 gpointer bp_trigger_page;
232 guint8* bp_addrs [MONO_ZERO_LEN_ARRAY];
237 #define FP_PARAM_REGS 8
238 #define DYN_CALL_STACK_ARGS 10
241 mgreg_t regs [PARAM_REGS + FP_PARAM_REGS];
242 double fpregs [FP_PARAM_REGS];
248 void arm_patch (guchar *code, const guchar *target);
249 guint8* mono_arm_emit_load_imm (guint8 *code, int dreg, guint32 val);
250 int mono_arm_is_rotated_imm8 (guint32 val, gint *rot_amount);
253 mono_arm_throw_exception_by_token (guint32 type_token, mgreg_t pc, mgreg_t sp, mgreg_t *int_regs, gdouble *fp_regs);
256 mono_arm_start_gsharedvt_call (GSharedVtCallInfo *info, gpointer *caller, gpointer *callee, gpointer mrgctx_reg, double *caller_fregs, double *callee_fregs);
259 MONO_ARM_FPU_NONE = 0,
260 MONO_ARM_FPU_VFP = 1,
261 MONO_ARM_FPU_VFP_HARD = 2
264 /* keep the size of the structure a multiple of 8 */
267 * If the second lowest bit is set to 1, then this is a MonoLMFExt structure, and
268 * the other fields are not valid.
270 gpointer previous_lmf;
272 /* This is only set in trampoline LMF frames */
277 /* Currently only used in trampolines on armhf to hold d0-d15. We don't really
278 * need to put d0-d7 in the LMF, but it simplifies the trampoline code.
281 /* all but sp and pc: matches the PUSH instruction layout in the trampolines
282 * 0-4 should be considered undefined (execpt in the magic tramp)
288 typedef struct MonoCompileArch {
289 gpointer seq_point_info_var, ss_trigger_page_var;
290 gpointer seq_point_ss_method_var;
291 gpointer seq_point_bp_method_var;
292 gpointer vret_addr_loc;
293 gboolean omit_fp, omit_fp_computed;
295 gpointer *vfp_scratch_slots [2];
296 int atomic_tmp_offset;
301 #define MONO_ARCH_EMULATE_FCONV_TO_I8 1
302 #define MONO_ARCH_EMULATE_LCONV_TO_R8 1
303 #define MONO_ARCH_EMULATE_LCONV_TO_R4 1
304 #define MONO_ARCH_EMULATE_LCONV_TO_R8_UN 1
305 #define MONO_ARCH_EMULATE_FREM 1
306 #define MONO_ARCH_EMULATE_DIV 1
307 #define MONO_ARCH_EMULATE_CONV_R8_UN 1
308 #define MONO_ARCH_EMULATE_MUL_OVF 1
310 #define ARM_FIRST_ARG_REG 0
311 #define ARM_LAST_ARG_REG 3
313 #define MONO_ARCH_USE_SIGACTION 1
315 #if defined(__native_client__) || defined(HOST_WATCHOS)
316 #undef MONO_ARCH_USE_SIGACTION
319 #define MONO_ARCH_NEED_DIV_CHECK 1
321 #define MONO_ARCH_HAVE_GENERALIZED_IMT_THUNK 1
323 #define MONO_ARCH_HAVE_FULL_AOT_TRAMPOLINES 1
324 #define MONO_ARCH_HAVE_DECOMPOSE_LONG_OPTS 1
326 #define MONO_ARCH_AOT_SUPPORTED 1
327 #define MONO_ARCH_LLVM_SUPPORTED 1
329 #define MONO_ARCH_GSHARED_SUPPORTED 1
330 #define MONO_ARCH_DYN_CALL_SUPPORTED 1
331 #define MONO_ARCH_DYN_CALL_PARAM_AREA (DYN_CALL_STACK_ARGS * sizeof (mgreg_t))
333 #ifndef MONO_CROSS_COMPILE
334 #define MONO_ARCH_SOFT_DEBUG_SUPPORTED 1
337 #define MONO_ARCH_HAVE_EXCEPTIONS_INIT 1
338 #define MONO_ARCH_HAVE_GET_TRAMPOLINES 1
339 #define MONO_ARCH_HAVE_CONTEXT_SET_INT_REG 1
340 #define MONO_ARCH_HAVE_SIGCTX_TO_MONOCTX 1
341 #define MONO_ARCH_GC_MAPS_SUPPORTED 1
342 #define MONO_ARCH_HAVE_SETUP_ASYNC_CALLBACK 1
343 #define MONO_ARCH_HAVE_CONTEXT_SET_INT_REG 1
344 #define MONO_ARCH_HAVE_HANDLER_BLOCK_GUARD 1
345 #define MONO_ARCH_HAVE_SETUP_RESUME_FROM_SIGNAL_HANDLER_CTX 1
346 #define MONO_ARCH_GSHAREDVT_SUPPORTED 1
347 #define MONO_ARCH_HAVE_GENERAL_RGCTX_LAZY_FETCH_TRAMPOLINE 1
348 #define MONO_ARCH_HAVE_OPCODE_NEEDS_EMULATION 1
349 #define MONO_ARCH_HAVE_OBJC_GET_SELECTOR 1
350 #define MONO_ARCH_HAVE_OP_TAIL_CALL 1
351 #define MONO_ARCH_HAVE_DUMMY_INIT 1
352 #define MONO_ARCH_HAVE_SDB_TRAMPOLINES 1
353 #define MONO_ARCH_HAVE_PATCH_CODE_NEW 1
354 #define MONO_ARCH_HAVE_OP_GENERIC_CLASS_INIT 1
356 #if defined(__native_client__)
357 #undef MONO_ARCH_SOFT_DEBUG_SUPPORTED
358 #undef MONO_ARCH_HAVE_SIGCTX_TO_MONOCTX
359 #undef MONO_ARCH_HAVE_CONTEXT_SET_INT_REG
362 #define MONO_ARCH_HAVE_TLS_GET (mono_arm_have_tls_get ())
363 #define MONO_ARCH_HAVE_TLS_GET_REG 1
365 #ifdef TARGET_WATCHOS
366 #define MONO_ARCH_DISABLE_HW_TRAPS 1
367 #define MONO_ARCH_HAVE_UNWIND_BACKTRACE 1
370 /* ARM doesn't have too many registers, so we have to use a callee saved one */
371 #define MONO_ARCH_RGCTX_REG ARMREG_V5
372 #define MONO_ARCH_IMT_REG MONO_ARCH_RGCTX_REG
373 /* First argument reg */
374 #define MONO_ARCH_VTABLE_REG ARMREG_R0
375 #define MONO_ARCH_EXC_REG ARMREG_R0
377 #define MONO_CONTEXT_SET_LLVM_EXC_REG(ctx, exc) do { (ctx)->regs [0] = (gsize)exc; } while (0)
379 #define MONO_INIT_CONTEXT_FROM_FUNC(ctx,func) do { \
380 MONO_CONTEXT_SET_BP ((ctx), __builtin_frame_address (0)); \
381 MONO_CONTEXT_SET_SP ((ctx), __builtin_frame_address (0)); \
382 MONO_CONTEXT_SET_IP ((ctx), (func)); \
385 #define MONO_ARCH_INIT_TOP_LMF_ENTRY(lmf)
388 mono_arm_throw_exception (MonoObject *exc, mgreg_t pc, mgreg_t sp, mgreg_t *int_regs, gdouble *fp_regs);
391 mono_arm_throw_exception_by_token (guint32 type_token, mgreg_t pc, mgreg_t sp, mgreg_t *int_regs, gdouble *fp_regs);
394 mono_arm_resume_unwind (guint32 dummy1, mgreg_t pc, mgreg_t sp, mgreg_t *int_regs, gdouble *fp_regs);
397 mono_arm_thumb_supported (void);
400 mono_arm_get_exception_trampolines (gboolean aot);
403 mono_arm_get_thumb_plt_entry (guint8 *code);
406 mono_arm_patchable_b (guint8 *code, int cond);
409 mono_arm_patchable_bl (guint8 *code, int cond);
412 mono_arm_is_hard_float (void);
415 mono_arm_have_tls_get (void);
418 mono_arm_unaligned_stack (MonoMethod *method);
421 mono_arch_get_call_info (MonoMemPool *mp, MonoMethodSignature *sig);
423 #endif /* __MONO_MINI_ARM_H__ */