X-Git-Url: http://wien.tomnetworks.com/gitweb/?a=blobdiff_plain;f=mono%2Fmini%2Fmini-arm64.c;h=6192f26b9cf042e653ad287c859bb881aafebca0;hb=6f20e306e0b9409995f0f3dace16621886d83572;hp=10acac62282508876ba07dc56e093fd53b739441;hpb=c63aa7cd12a077ef1b2b90b119bfef7687c800d0;p=mono.git diff --git a/mono/mini/mini-arm64.c b/mono/mini/mini-arm64.c index 10acac62282..6192f26b9cf 100644 --- a/mono/mini/mini-arm64.c +++ b/mono/mini/mini-arm64.c @@ -1,5 +1,6 @@ -/* - * mini-arm64.c: ARM64 backend for the Mono code generator +/** + * \file + * ARM64 backend for the Mono code generator * * Copyright 2013 Xamarin, Inc (http://www.xamarin.com) * @@ -233,7 +234,6 @@ mono_arch_init (void) { mono_aot_register_jit_icall ("mono_arm_throw_exception", mono_arm_throw_exception); mono_aot_register_jit_icall ("mono_arm_resume_unwind", mono_arm_resume_unwind); - mono_aot_register_jit_icall ("mono_arm_handler_block_trampoline_helper", mono_arm_handler_block_trampoline_helper); if (!mono_aot_only) bp_trampoline = mini_get_breakpoint_trampoline (); @@ -994,7 +994,7 @@ mono_arch_patch_code_new (MonoCompile *cfg, MonoDomain *domain, guint8 *code, Mo switch (ji->type) { case MONO_PATCH_INFO_METHOD_JUMP: /* ji->relocation is not set by the caller */ - arm_patch_rel (ip, (guint8*)target, MONO_R_ARM64_B); + arm_patch_full (cfg, domain, ip, (guint8*)target, MONO_R_ARM64_B); break; default: arm_patch_full (cfg, domain, ip, (guint8*)target, ji->relocation); @@ -1229,7 +1229,6 @@ add_param (CallInfo *cinfo, ArgInfo *ainfo, MonoType *t) case MONO_TYPE_I1: add_general (cinfo, ainfo, 1, TRUE); break; - case MONO_TYPE_BOOLEAN: case MONO_TYPE_U1: add_general (cinfo, ainfo, 1, FALSE); break; @@ -1237,7 +1236,6 @@ add_param (CallInfo *cinfo, ArgInfo *ainfo, MonoType *t) add_general (cinfo, ainfo, 2, TRUE); break; case MONO_TYPE_U2: - case MONO_TYPE_CHAR: add_general (cinfo, ainfo, 2, FALSE); break; case MONO_TYPE_I4: @@ -1250,11 +1248,7 @@ add_param (CallInfo *cinfo, ArgInfo *ainfo, MonoType *t) case MONO_TYPE_U: case MONO_TYPE_PTR: case MONO_TYPE_FNPTR: - case MONO_TYPE_CLASS: case MONO_TYPE_OBJECT: - case MONO_TYPE_SZARRAY: - case MONO_TYPE_ARRAY: - case MONO_TYPE_STRING: case MONO_TYPE_U8: case MONO_TYPE_I8: add_general (cinfo, ainfo, 8, FALSE); @@ -1387,9 +1381,6 @@ dyn_call_supported (CallInfo *cinfo, MonoMethodSignature *sig) { int i; - if (sig->hasthis + sig->param_count > PARAM_REGS + DYN_CALL_STACK_ARGS) - return FALSE; - // FIXME: Add more cases switch (cinfo->ret.storage) { case ArgNone: @@ -1418,10 +1409,7 @@ dyn_call_supported (CallInfo *cinfo, MonoMethodSignature *sig) case ArgInFRegR4: case ArgHFA: case ArgVtypeByRef: - break; case ArgOnStack: - if (ainfo->offset >= DYN_CALL_STACK_ARGS * sizeof (mgreg_t)) - return FALSE; break; default: return FALSE; @@ -1479,6 +1467,15 @@ mono_arch_dyn_call_free (MonoDynCallInfo *info) g_free (ainfo); } +int +mono_arch_dyn_call_get_buf_size (MonoDynCallInfo *info) +{ + ArchDynCallInfo *ainfo = (ArchDynCallInfo*)info; + + g_assert (ainfo->cinfo->stack_usage % MONO_ARCH_FRAME_ALIGNMENT == 0); + return sizeof (DynCallArgs) + ainfo->cinfo->stack_usage; +} + static double bitcast_r4_to_r8 (float f) { @@ -1496,7 +1493,7 @@ bitcast_r8_to_r4 (double f) } void -mono_arch_start_dyn_call (MonoDynCallInfo *info, gpointer **args, guint8 *ret, guint8 *buf, int buf_len) +mono_arch_start_dyn_call (MonoDynCallInfo *info, gpointer **args, guint8 *ret, guint8 *buf) { ArchDynCallInfo *dinfo = (ArchDynCallInfo*)info; DynCallArgs *p = (DynCallArgs*)buf; @@ -1505,12 +1502,11 @@ mono_arch_start_dyn_call (MonoDynCallInfo *info, gpointer **args, guint8 *ret, g CallInfo *cinfo = dinfo->cinfo; int buffer_offset = 0; - g_assert (buf_len >= sizeof (DynCallArgs)); - p->res = 0; p->ret = ret; p->n_fpargs = dinfo->n_fpargs; p->n_fpret = dinfo->n_fpret; + p->n_stackargs = cinfo->stack_usage / sizeof (mgreg_t); arg_index = 0; greg = 0; @@ -1545,7 +1541,6 @@ mono_arch_start_dyn_call (MonoDynCallInfo *info, gpointer **args, guint8 *ret, g /* Special case arguments smaller than 1 machine word */ switch (t->type) { - case MONO_TYPE_BOOLEAN: case MONO_TYPE_U1: *(guint8*)stack_arg = *(guint8*)arg; break; @@ -1553,7 +1548,6 @@ mono_arch_start_dyn_call (MonoDynCallInfo *info, gpointer **args, guint8 *ret, g *(gint8*)stack_arg = *(gint8*)arg; break; case MONO_TYPE_U2: - case MONO_TYPE_CHAR: *(guint16*)stack_arg = *(guint16*)arg; break; case MONO_TYPE_I2: @@ -1574,10 +1568,6 @@ mono_arch_start_dyn_call (MonoDynCallInfo *info, gpointer **args, guint8 *ret, g } switch (t->type) { - case MONO_TYPE_STRING: - case MONO_TYPE_CLASS: - case MONO_TYPE_ARRAY: - case MONO_TYPE_SZARRAY: case MONO_TYPE_OBJECT: case MONO_TYPE_PTR: case MONO_TYPE_I: @@ -1586,7 +1576,6 @@ mono_arch_start_dyn_call (MonoDynCallInfo *info, gpointer **args, guint8 *ret, g case MONO_TYPE_U8: p->regs [slot] = (mgreg_t)*arg; break; - case MONO_TYPE_BOOLEAN: case MONO_TYPE_U1: p->regs [slot] = *(guint8*)arg; break; @@ -1597,7 +1586,6 @@ mono_arch_start_dyn_call (MonoDynCallInfo *info, gpointer **args, guint8 *ret, g p->regs [slot] = *(gint16*)arg; break; case MONO_TYPE_U2: - case MONO_TYPE_CHAR: p->regs [slot] = *(guint16*)arg; break; case MONO_TYPE_I4: @@ -1691,10 +1679,6 @@ mono_arch_finish_dyn_call (MonoDynCallInfo *info, guint8 *buf) case MONO_TYPE_VOID: *(gpointer*)ret = NULL; break; - case MONO_TYPE_STRING: - case MONO_TYPE_CLASS: - case MONO_TYPE_ARRAY: - case MONO_TYPE_SZARRAY: case MONO_TYPE_OBJECT: case MONO_TYPE_I: case MONO_TYPE_U: @@ -1705,14 +1689,12 @@ mono_arch_finish_dyn_call (MonoDynCallInfo *info, guint8 *buf) *(gint8*)ret = res; break; case MONO_TYPE_U1: - case MONO_TYPE_BOOLEAN: *(guint8*)ret = res; break; case MONO_TYPE_I2: *(gint16*)ret = res; break; case MONO_TYPE_U2: - case MONO_TYPE_CHAR: *(guint16*)ret = res; break; case MONO_TYPE_I4: @@ -1904,9 +1886,6 @@ mono_arch_create_vars (MonoCompile *cfg) if (cfg->method->save_lmf) { cfg->create_lmf_var = TRUE; cfg->lmf_ir = TRUE; -#ifdef HAVE_GET_TLS_ADDR - cfg->lmf_ir_mono_lmf = TRUE; -#endif } } @@ -4160,6 +4139,7 @@ mono_arch_output_basic_block (MonoCompile *cfg, MonoBasicBlock *bb) } else { mono_add_patch_info_rel (cfg, code - cfg->native_code, MONO_PATCH_INFO_METHOD_JUMP, call->method, MONO_R_ARM64_B); arm_b (code, code); + cfg->thunk_area += THUNK_SIZE; } ins->flags |= MONO_INST_GC_CALLSITE; ins->backend.pc_offset = code - cfg->native_code; @@ -4197,14 +4177,35 @@ mono_arch_output_basic_block (MonoCompile *cfg, MonoBasicBlock *bb) code = emit_ldrfpx (code, ARMREG_D0 + i, ARMREG_LR, MONO_STRUCT_OFFSET (DynCallArgs, fpregs) + (i * 8)); arm_patch_rel (labels [0], code, MONO_R_ARM64_BCC); + /* Allocate callee area */ + code = emit_ldrx (code, ARMREG_R0, ARMREG_LR, MONO_STRUCT_OFFSET (DynCallArgs, n_stackargs)); + arm_lslw (code, ARMREG_R0, ARMREG_R0, 3); + arm_movspx (code, ARMREG_R1, ARMREG_SP); + arm_subx (code, ARMREG_R1, ARMREG_R1, ARMREG_R0); + arm_movspx (code, ARMREG_SP, ARMREG_R1); + /* Set stack args */ - for (i = 0; i < DYN_CALL_STACK_ARGS; ++i) { - code = emit_ldrx (code, ARMREG_R0, ARMREG_LR, MONO_STRUCT_OFFSET (DynCallArgs, regs) + ((PARAM_REGS + 1 + i) * sizeof (mgreg_t))); - code = emit_strx (code, ARMREG_R0, ARMREG_SP, i * sizeof (mgreg_t)); - } + /* R1 = limit */ + code = emit_ldrx (code, ARMREG_R1, ARMREG_LR, MONO_STRUCT_OFFSET (DynCallArgs, n_stackargs)); + /* R2 = pointer into 'regs' */ + code = emit_imm (code, ARMREG_R2, MONO_STRUCT_OFFSET (DynCallArgs, regs) + ((PARAM_REGS + 1) * sizeof (mgreg_t))); + arm_addx (code, ARMREG_R2, ARMREG_LR, ARMREG_R2); + /* R3 = pointer to stack */ + arm_movspx (code, ARMREG_R3, ARMREG_SP); + labels [0] = code; + arm_b (code, code); + labels [1] = code; + code = emit_ldrx (code, ARMREG_R5, ARMREG_R2, 0); + code = emit_strx (code, ARMREG_R5, ARMREG_R3, 0); + code = emit_addx_imm (code, ARMREG_R2, ARMREG_R2, sizeof (mgreg_t)); + code = emit_addx_imm (code, ARMREG_R3, ARMREG_R3, sizeof (mgreg_t)); + code = emit_subx_imm (code, ARMREG_R1, ARMREG_R1, 1); + arm_patch_rel (labels [0], code, MONO_R_ARM64_B); + arm_cmpw (code, ARMREG_R1, ARMREG_RZR); + arm_bcc (code, ARMCOND_GT, labels [1]); /* Set argument registers + r8 */ - code = mono_arm_emit_load_regarray (code, 0x1ff, ARMREG_LR, 0); + code = mono_arm_emit_load_regarray (code, 0x1ff, ARMREG_LR, MONO_STRUCT_OFFSET (DynCallArgs, regs)); /* Make the call */ arm_blrx (code, ARMREG_IP1); @@ -4351,7 +4352,11 @@ mono_arch_output_basic_block (MonoCompile *cfg, MonoBasicBlock *bb) #endif break; } - + case OP_FILL_PROF_CALL_CTX: + for (int i = 0; i < MONO_MAX_IREGS; i++) + if ((MONO_ARCH_CALLEE_SAVED_REGS & (1 << i)) || i == ARMREG_SP || i == ARMREG_FP) + arm_strx (code, i, ins->sreg1, MONO_STRUCT_OFFSET (MonoContext, regs) + i * sizeof (mgreg_t)); + break; default: g_warning ("unknown opcode %s in %s()\n", mono_inst_name (ins->opcode), __FUNCTION__); g_assert_not_reached (); @@ -4948,12 +4953,6 @@ mono_arch_emit_inst_for_method (MonoCompile *cfg, MonoMethod *cmethod, MonoMetho return NULL; } -gboolean -mono_arch_print_tree (MonoInst *tree, int arity) -{ - return FALSE; -} - guint32 mono_arch_get_patch_offset (guint8 *code) { @@ -5262,22 +5261,3 @@ mono_arch_get_call_info (MonoMemPool *mp, MonoMethodSignature *sig) return get_call_info (mp, sig); } -gpointer -mono_arch_install_handler_block_guard (MonoJitInfo *ji, MonoJitExceptionInfo *clause, MonoContext *ctx, gpointer new_value) -{ - gpointer *lr_loc; - char *old_value; - char *bp; - - /*Load the spvar*/ - bp = MONO_CONTEXT_GET_BP (ctx); - lr_loc = (gpointer*)(bp + clause->exvar_offset); - - old_value = *lr_loc; - if ((char*)old_value < (char*)ji->code_start || (char*)old_value > ((char*)ji->code_start + ji->code_size)) - return old_value; - - *lr_loc = new_value; - - return old_value; -}