mono/mini/mini-arm64.h

   1 /**
   2  * \file
   3  *
   4  * Copyright 2013 Xamarin Inc
   5  *
   6  * Based on mini-arm.h:
   7  *
   8  * Copyright 2011 Xamarin Inc
   9  * Licensed under the MIT license. See LICENSE file in the project root for full license information.
  10  */
  11
  12 #ifndef __MONO_MINI_ARM64_H__
  13 #define __MONO_MINI_ARM64_H__
  14
  15 #include <mono/arch/arm64/arm64-codegen.h>
  16 #include <mono/mini/mini-arm64-gsharedvt.h>
  17
  18 #define MONO_ARCH_CPU_SPEC mono_arm64_cpu_desc
  19
  20 #define MONO_MAX_IREGS 32
  21 #define MONO_MAX_FREGS 32
  22
  23 #define MONO_CONTEXT_SET_LLVM_EXC_REG(ctx, exc) do { (ctx)->regs [0] = (gsize)exc; } while (0)
  24
  25 #define MONO_INIT_CONTEXT_FROM_FUNC(ctx,func) do {      \
  26                 MONO_CONTEXT_SET_BP ((ctx), __builtin_frame_address (0));       \
  27                 MONO_CONTEXT_SET_SP ((ctx), __builtin_frame_address (0));       \
  28                 MONO_CONTEXT_SET_IP ((ctx), (func));    \
  29         } while (0)
  30
  31 #define MONO_ARCH_INIT_TOP_LMF_ENTRY(lmf)
  32
  33 /* Parameters used by the register allocator */
  34 /* r0..r7, r9..r14 (r15 is the imt/rgctx reg) */
  35 #define MONO_ARCH_CALLEE_REGS 0xfeff
  36 /* r19..r28 */
  37 #define MONO_ARCH_CALLEE_SAVED_REGS (0x3ff << 19)
  38
  39 /* v16/v17 is reserved for a scratch reg */
  40 #define MONO_ARCH_CALLEE_FREGS 0xfffc00ff
  41 /* v8..v15 */
  42 #define MONO_ARCH_CALLEE_SAVED_FREGS 0xff00
  43
  44 #define MONO_ARCH_USE_FPSTACK FALSE
  45
  46 #define MONO_ARCH_INST_SREG2_MASK(ins) (0)
  47
  48 #define MONO_ARCH_INST_FIXED_REG(desc) ((desc) == 'a' ? ARMREG_R0 : -1)
  49
  50 #define MONO_ARCH_INST_IS_REGPAIR(desc) (0)
  51
  52 #define MONO_ARCH_INST_IS_FLOAT(desc) ((desc) == 'f')
  53
  54 #define MONO_ARCH_INST_REGPAIR_REG2(desc,hreg1) (-1)
  55
  56 #define MONO_ARCH_USE_FPSTACK FALSE
  57
  58 #define MONO_ARCH_FRAME_ALIGNMENT 16
  59
  60 #define MONO_ARCH_CODE_ALIGNMENT 32
  61
  62 /* callee saved regs + fp + sp */
  63 #define MONO_ARCH_LMF_REGS ((0x3ff << 19) | (1 << ARMREG_FP) | (1 << ARMREG_SP))
  64 #define MONO_ARCH_NUM_LMF_REGS (10 + 2)
  65 #define MONO_ARCH_FIRST_LMF_REG ARMREG_R19
  66 #define MONO_ARCH_LMF_REG_FP 10
  67 #define MONO_ARCH_LMF_REG_SP 11
  68
  69 struct MonoLMF {
  70         /*
  71          * If the second lowest bit is set to 1, then this is a MonoLMFExt structure, and
  72          * the other fields are not valid.
  73          */
  74         gpointer    previous_lmf;
  75         gpointer    lmf_addr;
  76         host_mgreg_t pc;
  77         host_mgreg_t gregs [MONO_ARCH_NUM_LMF_REGS];
  78 };
  79
  80 /* Structure used by the sequence points in AOTed code */
  81 struct SeqPointInfo {
  82         gpointer ss_tramp_addr;
  83         guint8* bp_addrs [MONO_ZERO_LEN_ARRAY];
  84 };
  85
  86 #define PARAM_REGS 8
  87 #define FP_PARAM_REGS 8
  88
  89 typedef struct {
  90         host_mgreg_t res, res2;
  91         guint8 *ret;
  92         double fpregs [FP_PARAM_REGS];
  93         int n_fpargs, n_fpret, n_stackargs;
  94         /* This should come last as the structure is dynamically extended */
  95         /* The +1 is for r8 */
  96         host_mgreg_t regs [PARAM_REGS + 1];
  97 } DynCallArgs;
  98
  99 typedef struct {
 100         CallInfo *cinfo;
 101         int saved_gregs_offset;
 102         /* Points to arguments received on the stack */
 103         int args_reg;
 104         gboolean cond_branch_islands;
 105         MonoInst *vret_addr_loc;
 106         MonoInst *seq_point_info_var;
 107         MonoInst *ss_tramp_var;
 108         MonoInst *bp_tramp_var;
 109         guint8 *thunks;
 110         int thunks_size;
 111 } MonoCompileArch;
 112
 113 #define MONO_ARCH_EMULATE_FCONV_TO_U4 1
 114 #define MONO_ARCH_EMULATE_FCONV_TO_U8 1
 115 #ifdef MONO_ARCH_ILP32
 116 /* For the watch (starting with series 4), a new ABI is introduced: arm64_32.
 117  * We can still use the older AOT compiler to produce bitcode, because it's
 118  * "offset compatible". However, since it is targeting arm7k, it makes certain
 119  * assumptions that we need to align here. */
 120 #define MONO_ARCH_EMULATE_FCONV_TO_I8 1
 121 #define MONO_ARCH_EMULATE_LCONV_TO_R8 1
 122 #define MONO_ARCH_EMULATE_LCONV_TO_R4 1
 123 #define MONO_ARCH_EMULATE_LCONV_TO_R8_UN 1
 124 #define MONO_ARCH_EMULATE_DIV 1
 125 #define MONO_ARCH_EMULATE_CONV_R8_UN 1
 126 #else
 127 #define MONO_ARCH_NO_EMULATE_LONG_SHIFT_OPS 1
 128 #define MONO_ARCH_NO_EMULATE_LONG_MUL_OPTS 1
 129 #endif
 130
 131 #define MONO_ARCH_EMULATE_FREM 1
 132 #define MONO_ARCH_EMULATE_LONG_MUL_OVF_OPTS 1
 133 #define MONO_ARCH_NEED_DIV_CHECK 1
 134 #define MONO_ARCH_EMULATE_MUL_OVF 1
 135 #define MONO_ARCH_HAVE_OP_TAILCALL_MEMBASE 1
 136 #define MONO_ARCH_HAVE_OP_TAILCALL_REG 1
 137 #define MONO_ARCH_RGCTX_REG ARMREG_R15
 138 #define MONO_ARCH_IMT_REG MONO_ARCH_RGCTX_REG
 139 #define MONO_ARCH_VTABLE_REG ARMREG_R0
 140 #define MONO_ARCH_HAVE_GENERALIZED_IMT_TRAMPOLINE 1
 141 #define MONO_ARCH_USE_SIGACTION 1
 142 #ifdef HOST_TVOS
 143 #define MONO_ARCH_HAS_NO_PROPER_MONOCTX 1
 144 #endif
 145 #define MONO_ARCH_HAVE_CONTEXT_SET_INT_REG 1
 146 #define MONO_ARCH_GSHARED_SUPPORTED 1
 147 #define MONO_ARCH_INTERPRETER_SUPPORTED 1
 148 #define MONO_ARCH_HAVE_INTERP_ENTRY_TRAMPOLINE 1
 149 #define MONO_ARCH_HAVE_INTERP_NATIVE_TO_MANAGED 1
 150 #define MONO_ARCH_AOT_SUPPORTED 1
 151 #define MONO_ARCH_LLVM_SUPPORTED 1
 152 #define MONO_ARCH_HAVE_FULL_AOT_TRAMPOLINES 1
 153 #define MONO_ARCH_HAVE_EXCEPTIONS_INIT 1
 154 #define MONO_ARCH_HAVE_GET_TRAMPOLINES 1
 155 #define MONO_ARCH_DYN_CALL_SUPPORTED 1
 156 #define MONO_ARCH_DYN_CALL_PARAM_AREA 0
 157 #define MONO_ARCH_SOFT_DEBUG_SUPPORTED 1
 158 #define MONO_ARCH_GSHAREDVT_SUPPORTED 1
 159 #define MONO_ARCH_HAVE_SETUP_RESUME_FROM_SIGNAL_HANDLER_CTX 1
 160 #define MONO_ARCH_HAVE_SETUP_ASYNC_CALLBACK 1
 161 #define MONO_ARCH_HAVE_GENERAL_RGCTX_LAZY_FETCH_TRAMPOLINE 1
 162 #define MONO_ARCH_HAVE_OBJC_GET_SELECTOR 1
 163 #define MONO_ARCH_HAVE_SDB_TRAMPOLINES 1
 164 #define MONO_ARCH_HAVE_PATCH_CODE_NEW 1
 165 #define MONO_ARCH_HAVE_OP_GENERIC_CLASS_INIT 1
 166 #define MONO_ARCH_HAVE_OPCODE_NEEDS_EMULATION 1
 167 #define MONO_ARCH_HAVE_DECOMPOSE_LONG_OPTS 1
 168 #define MONO_ARCH_FLOAT32_SUPPORTED 1
 169 #define MONO_ARCH_HAVE_INTERP_PINVOKE_TRAMP 1
 170 #define MONO_ARCH_LLVM_TARGET_LAYOUT "e-i64:64-i128:128-n32:64-S128"
 171
 172 // Does the ABI have a volatile non-parameter register, so tailcall
 173 // can pass context to generics or interfaces?
 174 #define MONO_ARCH_HAVE_VOLATILE_NON_PARAM_REGISTER 1
 175
 176 #ifdef TARGET_IOS
 177
 178 #define MONO_ARCH_REDZONE_SIZE 128
 179
 180 #else
 181
 182 #define MONO_ARCH_REDZONE_SIZE 0
 183
 184 #endif
 185
 186 #if defined(TARGET_IOS) || defined(TARGET_WATCHOS)
 187 #define MONO_ARCH_HAVE_UNWIND_BACKTRACE 1
 188 #endif
 189
 190 /* Relocations */
 191 #define MONO_R_ARM64_B 1
 192 #define MONO_R_ARM64_BCC 2
 193 #define MONO_R_ARM64_IMM 3
 194 #define MONO_R_ARM64_BL 4
 195 #define MONO_R_ARM64_BL_SHORT 5
 196 #define MONO_R_ARM64_CBZ 6
 197
 198
 199 typedef enum {
 200         ArgInIReg,
 201         ArgInFReg,
 202         ArgInFRegR4,
 203         ArgOnStack,
 204         ArgOnStackR8,
 205         ArgOnStackR4,
 206         /*
 207          * Vtype passed in consecutive int registers.
 208          * ainfo->reg is the firs register,
 209          * ainfo->nregs is the number of registers,
 210          * ainfo->size is the size of the structure.
 211          */
 212         ArgVtypeInIRegs,
 213         ArgVtypeByRef,
 214         ArgVtypeByRefOnStack,
 215         ArgVtypeOnStack,
 216         ArgHFA,
 217         ArgNone
 218 } ArgStorage;
 219
 220 typedef struct {
 221         ArgStorage storage;
 222         int reg;
 223         /* ArgOnStack */
 224         int offset;
 225         /* ArgVtypeInIRegs/ArgHFA */
 226         int nregs, size;
 227         /* ArgHFA */
 228         int esize;
 229         /* ArgHFA */
 230         /* The offsets of the float values inside the arg */
 231         guint16 foffsets [4];
 232         /* ArgOnStack */
 233         int slot_size;
 234         /* hfa */
 235         int nfregs_to_skip;
 236         gboolean sign;
 237         gboolean gsharedvt;
 238         gboolean hfa;
 239 } ArgInfo;
 240
 241 struct CallInfo {
 242         int nargs;
 243         int gr, fr, stack_usage;
 244         gboolean pinvoke;
 245         ArgInfo ret;
 246         ArgInfo sig_cookie;
 247         ArgInfo args [1];
 248 };
 249
 250 typedef struct {
 251         /* General registers + ARMREG_R8 for indirect returns */
 252         host_mgreg_t gregs [PARAM_REGS + 1];
 253         /* Floating registers */
 254         double fregs [FP_PARAM_REGS];
 255         /* Stack usage, used for passing params on stack */
 256         guint32 stack_size;
 257         guint8* stack;
 258 } CallContext;
 259
 260 guint8* mono_arm_emit_imm64 (guint8 *code, int dreg, gint64 imm);
 261
 262 guint8* mono_arm_emit_ldrx (guint8 *code, int rt, int rn, int imm);
 263
 264 guint8* mono_arm_emit_destroy_frame (guint8 *code, int stack_offset, guint64 temp_regs);
 265
 266 guint8* mono_arm_emit_store_regset (guint8 *code, guint64 regs, int basereg, int offset);
 267
 268 guint8* mono_arm_emit_store_regarray (guint8 *code, guint64 regs, int basereg, int offset);
 269
 270 guint8* mono_arm_emit_load_regarray (guint8 *code, guint64 regs, int basereg, int offset);
 271
 272 /* MonoJumpInfo **ji */
 273 guint8* mono_arm_emit_aotconst (gpointer ji, guint8 *code, guint8 *code_start, int dreg, guint32 patch_type, gconstpointer data);
 274
 275 void mono_arm_patch (guint8 *code, guint8 *target, int relocation);
 276
 277 void mono_arm_throw_exception (gpointer arg, host_mgreg_t pc, host_mgreg_t *int_regs, gdouble *fp_regs, gboolean corlib, gboolean rethrow, gboolean preserve_ips);
 278
 279 void mono_arm_gsharedvt_init (void);
 280
 281 GSList* mono_arm_get_exception_trampolines (gboolean aot);
 282
 283 void mono_arm_resume_unwind (gpointer arg, host_mgreg_t pc, host_mgreg_t *int_regs, gdouble *fp_regs, gboolean corlib, gboolean rethrow);
 284
 285 CallInfo* mono_arch_get_call_info (MonoMemPool *mp, MonoMethodSignature *sig);
 286
 287 #endif /* __MONO_MINI_ARM64_H__ */