mono/mini/mini-arm.h

   1 /*
   2  * Copyright 2011 Xamarin Inc
   3  * Licensed under the MIT license. See LICENSE file in the project root for full license information.
   4  */
   5
   6 #ifndef __MONO_MINI_ARM_H__
   7 #define __MONO_MINI_ARM_H__
   8
   9 #include <mono/arch/arm/arm-codegen.h>
  10 #include <mono/utils/mono-context.h>
  11 #include <glib.h>
  12
  13 #ifdef __native_client_codegen__
  14 #define kNaClAlignmentARM 16
  15 #define kNaClAlignmentMaskARM (kNaClAlignmentARM - 1)
  16 #define kNaClLengthOfCallImm 4
  17 #endif
  18
  19 #if defined(ARM_FPU_NONE)
  20 #define MONO_ARCH_SOFT_FLOAT_FALLBACK 1
  21 #endif
  22
  23 #if defined(__ARM_EABI__)
  24 #if G_BYTE_ORDER == G_LITTLE_ENDIAN
  25 #define ARM_ARCHITECTURE "armel"
  26 #else
  27 #define ARM_ARCHITECTURE "armeb"
  28 #endif
  29 #else
  30 #define ARM_ARCHITECTURE "arm"
  31 #endif
  32
  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"
  39 #else
  40 #error "At least one of ARM_FPU_NONE, ARM_FPU_VFP or ARM_FPU_VFP_HARD must be defined."
  41 #endif
  42
  43 #define MONO_ARCH_ARCHITECTURE ARM_ARCHITECTURE "," ARM_FP_MODEL
  44
  45 #define MONO_ARCH_CPU_SPEC mono_arm_cpu_desc
  46
  47 #if G_BYTE_ORDER == G_LITTLE_ENDIAN
  48 #define ARM_LSW_REG ARMREG_R0
  49 #define ARM_MSW_REG ARMREG_R1
  50 #else
  51 #define ARM_LSW_REG ARMREG_R1
  52 #define ARM_MSW_REG ARMREG_R0
  53 #endif
  54
  55 #define MONO_MAX_IREGS 16
  56
  57 #define MONO_SAVED_GREGS 10 /* r4-r11, ip, lr */
  58
  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
  63
  64 /* Parameters used by the register allocator */
  65
  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))
  68
  69 /*
  70  * TODO: Make use of VFP v3 registers d16-d31.
  71  */
  72
  73 /*
  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.
  76  */
  77
  78 #if defined(ARM_FPU_VFP_HARD)
  79 #define MONO_SAVED_FREGS 16
  80 #define MONO_MAX_FREGS 32
  81
  82 /*
  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.
  85  */
  86 #define MONO_ARCH_CALLEE_FREGS 0x00005555
  87 #define MONO_ARCH_CALLEE_SAVED_FREGS 0x55550000
  88 #else
  89 #define MONO_SAVED_FREGS 8
  90 #define MONO_MAX_FREGS 16
  91
  92 /*
  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.
  95  */
  96 #define MONO_ARCH_CALLEE_FREGS 0x55555550
  97 #define MONO_ARCH_CALLEE_SAVED_FREGS 0x00000000
  98 #endif
  99
 100 #define MONO_ARCH_USE_FPSTACK FALSE
 101 #define MONO_ARCH_FPSTACK_SIZE 0
 102
 103 #define MONO_ARCH_INST_SREG2_MASK(ins) (0)
 104
 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))
 109
 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'))
 114
 115 #define MONO_ARCH_INST_IS_FLOAT(desc) \
 116         (mono_arch_is_soft_float () ? \
 117         (FALSE) : \
 118         ((desc) == 'f' || (desc) == 'g'))
 119
 120 #define MONO_ARCH_INST_REGPAIR_REG2(desc,hreg1) ((desc) == 'l' || (desc) == 'f' || (desc) == 'g' ? ARM_MSW_REG : -1)
 121
 122 #ifdef TARGET_WATCHOS
 123 #define MONO_ARCH_FRAME_ALIGNMENT 16
 124 #else
 125 #define MONO_ARCH_FRAME_ALIGNMENT 8
 126 #endif
 127
 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
 131
 132 /* This needs to hold both a 32 bit int and a 64 bit double */
 133 #define mono_unwind_reg_t guint64
 134
 135 /* Argument marshallings for calls between gsharedvt and normal code */
 136 typedef enum {
 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;
 145
 146 /* Return value marshalling for calls between gsharedvt and normal code */
 147 typedef enum {
 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;
 158
 159 typedef struct {
 160         /* Method address to call */
 161         gpointer addr;
 162         /* The trampoline reads this, so keep the size explicit */
 163         int ret_marshal;
 164         /* If ret_marshal != NONE, this is the reg of the vret arg, else -1 */
 165         int vret_arg_reg;
 166         /* The stack slot where the return value will be stored */
 167         int vret_slot;
 168         int stack_usage, map_count;
 169         /* If not -1, then make a virtual call using this vtable offset */
 170         int vcall_offset;
 171         /* If 1, make an indirect call to the address in the rgctx reg */
 172         int calli;
 173         /* Whenever this is a in or an out call */
 174         int gsharedvt_in;
 175         /* Whenever this call uses fp registers */
 176         int have_fregs;
 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];
 181 } GSharedVtCallInfo;
 182
 183
 184 typedef enum {
 185         RegTypeNone,
 186         /* Passed/returned in an ireg */
 187         RegTypeGeneral,
 188         /* Passed/returned in a pair of iregs */
 189         RegTypeIRegPair,
 190         /* Passed on the stack */
 191         RegTypeBase,
 192         /* First word in r3, second word on the stack */
 193         RegTypeBaseGen,
 194         /* FP value passed in either an ireg or a vfp reg */
 195         RegTypeFP,
 196         RegTypeStructByVal,
 197         RegTypeStructByAddr,
 198         /* gsharedvt argument passed by addr in greg */
 199         RegTypeGSharedVtInReg,
 200         /* gsharedvt argument passed by addr on stack */
 201         RegTypeGSharedVtOnStack,
 202         RegTypeHFA
 203 } ArgStorage;
 204
 205 typedef struct {
 206         gint32  offset;
 207         guint16 vtsize; /* in param area */
 208         /* RegTypeHFA */
 209         int esize;
 210         /* RegTypeHFA */
 211         int nregs;
 212         guint8  reg;
 213         ArgStorage  storage;
 214         gint32  struct_size;
 215         guint8  size    : 4; /* 1, 2, 4, 8, or regs used by RegTypeStructByVal */
 216 } ArgInfo;
 217
 218 typedef struct {
 219         int nargs;
 220         guint32 stack_usage;
 221         /* The index of the vret arg in the argument list for RegTypeStructByAddr */
 222         int vret_arg_index;
 223         ArgInfo ret;
 224         ArgInfo sig_cookie;
 225         ArgInfo args [1];
 226 } CallInfo;
 227
 228 /* Structure used by the sequence points in AOTed code */
 229 typedef struct {
 230         gpointer ss_trigger_page;
 231         gpointer bp_trigger_page;
 232         guint8* bp_addrs [MONO_ZERO_LEN_ARRAY];
 233 } SeqPointInfo;
 234
 235
 236 #define PARAM_REGS 4
 237 #define FP_PARAM_REGS 8
 238 #define DYN_CALL_STACK_ARGS 10
 239
 240 typedef struct {
 241         mgreg_t regs [PARAM_REGS + FP_PARAM_REGS];
 242         double fpregs [FP_PARAM_REGS];
 243         mgreg_t res, res2;
 244         guint8 *ret;
 245         guint32 has_fpregs;
 246 } DynCallArgs;
 247
 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);
 251
 252 void
 253 mono_arm_throw_exception_by_token (guint32 type_token, mgreg_t pc, mgreg_t sp, mgreg_t *int_regs, gdouble *fp_regs);
 254
 255 gpointer
 256 mono_arm_start_gsharedvt_call (GSharedVtCallInfo *info, gpointer *caller, gpointer *callee, gpointer mrgctx_reg, double *caller_fregs, double *callee_fregs);
 257
 258 typedef enum {
 259         MONO_ARM_FPU_NONE = 0,
 260         MONO_ARM_FPU_VFP = 1,
 261         MONO_ARM_FPU_VFP_HARD = 2
 262 } MonoArmFPU;
 263
 264 /* keep the size of the structure a multiple of 8 */
 265 struct MonoLMF {
 266         /*
 267          * If the second lowest bit is set to 1, then this is a MonoLMFExt structure, and
 268          * the other fields are not valid.
 269          */
 270         gpointer    previous_lmf;
 271         gpointer    lmf_addr;
 272         /* This is only set in trampoline LMF frames */
 273         MonoMethod *method;
 274         mgreg_t    sp;
 275         mgreg_t    ip;
 276         mgreg_t    fp;
 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.
 279          */
 280         double     fregs [16];
 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)
 283          * sp is saved at IP.
 284          */
 285         mgreg_t    iregs [14];
 286 };
 287
 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;
 294         gpointer cinfo;
 295         gpointer *vfp_scratch_slots [2];
 296         int atomic_tmp_offset;
 297         guint8 *thunks;
 298         int thunks_size;
 299 } MonoCompileArch;
 300
 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
 309
 310 #define ARM_FIRST_ARG_REG 0
 311 #define ARM_LAST_ARG_REG 3
 312
 313 #define MONO_ARCH_USE_SIGACTION 1
 314
 315 #if defined(__native_client__) || defined(HOST_WATCHOS)
 316 #undef MONO_ARCH_USE_SIGACTION
 317 #endif
 318
 319 #define MONO_ARCH_NEED_DIV_CHECK 1
 320
 321 #define MONO_ARCH_HAVE_GENERALIZED_IMT_THUNK 1
 322
 323 #define MONO_ARCH_HAVE_FULL_AOT_TRAMPOLINES 1
 324 #define MONO_ARCH_HAVE_DECOMPOSE_LONG_OPTS 1
 325
 326 #define MONO_ARCH_AOT_SUPPORTED 1
 327 #define MONO_ARCH_LLVM_SUPPORTED 1
 328
 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))
 332
 333 #ifndef MONO_CROSS_COMPILE
 334 #define MONO_ARCH_SOFT_DEBUG_SUPPORTED 1
 335 #endif
 336
 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
 355
 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
 360 #endif
 361
 362 #define MONO_ARCH_HAVE_TLS_GET (mono_arm_have_tls_get ())
 363 #define MONO_ARCH_HAVE_TLS_GET_REG 1
 364
 365 #ifdef TARGET_WATCHOS
 366 #define MONO_ARCH_DISABLE_HW_TRAPS 1
 367 #define MONO_ARCH_HAVE_UNWIND_BACKTRACE 1
 368 #endif
 369
 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
 376
 377 #define MONO_CONTEXT_SET_LLVM_EXC_REG(ctx, exc) do { (ctx)->regs [0] = (gsize)exc; } while (0)
 378
 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));    \
 383         } while (0)
 384
 385 #define MONO_ARCH_INIT_TOP_LMF_ENTRY(lmf)
 386
 387 void
 388 mono_arm_throw_exception (MonoObject *exc, mgreg_t pc, mgreg_t sp, mgreg_t *int_regs, gdouble *fp_regs);
 389
 390 void
 391 mono_arm_throw_exception_by_token (guint32 type_token, mgreg_t pc, mgreg_t sp, mgreg_t *int_regs, gdouble *fp_regs);
 392
 393 void
 394 mono_arm_resume_unwind (guint32 dummy1, mgreg_t pc, mgreg_t sp, mgreg_t *int_regs, gdouble *fp_regs);
 395
 396 gboolean
 397 mono_arm_thumb_supported (void);
 398
 399 GSList*
 400 mono_arm_get_exception_trampolines (gboolean aot);
 401
 402 guint8*
 403 mono_arm_get_thumb_plt_entry (guint8 *code);
 404
 405 guint8*
 406 mono_arm_patchable_b (guint8 *code, int cond);
 407
 408 guint8*
 409 mono_arm_patchable_bl (guint8 *code, int cond);
 410
 411 gboolean
 412 mono_arm_is_hard_float (void);
 413
 414 gboolean
 415 mono_arm_have_tls_get (void);
 416
 417 void
 418 mono_arm_unaligned_stack (MonoMethod *method);
 419
 420 CallInfo*
 421 mono_arch_get_call_info (MonoMemPool *mp, MonoMethodSignature *sig);
 422
 423 #endif /* __MONO_MINI_ARM_H__ */