[interp] icall trampoline for arm
[mono.git] / mono / mini / tramp-arm.c
index 4c61ab08866e868d680141ef5647b2f05ce3a273..51c0cac6de625a0579fd85b262059f98a9e3f1f2 100644 (file)
@@ -1,5 +1,6 @@
-/*
- * tramp-arm.c: JIT trampoline code for ARM
+/**
+ * \file
+ * JIT trampoline code for ARM
  *
  * Authors:
  *   Paolo Molaro (lupus@ximian.com)
 #include "debugger-agent.h"
 #include "jit-icalls.h"
 
+#ifdef ENABLE_INTERPRETER
+#include "interp/interp.h"
+#endif
+
 #define ALIGN_TO(val,align) ((((guint64)val) + ((align) - 1)) & ~((align) - 1))
 
 void
@@ -84,6 +89,13 @@ mono_arch_patch_plt_entry (guint8 *code, gpointer *got, mgreg_t *regs, guint8 *a
        *(guint8**)jump_entry = addr;
 }
 
+gpointer
+mono_arm_handler_block_trampoline_helper (gpointer *ptr)
+{
+       MonoJitTlsData *jit_tls = mono_tls_get_jit_tls ();
+       return jit_tls->handler_block_return_address;
+}
+
 #ifndef DISABLE_JIT
 
 #define arm_is_imm12(v) ((int)(v) > -4096 && (int)(v) < 4096)
@@ -501,7 +513,7 @@ mono_arch_get_unbox_trampoline (MonoMethod *m, gpointer addr)
 }
 
 gpointer
-mono_arch_get_static_rgctx_trampoline (MonoMethod *m, MonoMethodRuntimeGenericContext *mrgctx, gpointer addr)
+mono_arch_get_static_rgctx_trampoline (gpointer arg, gpointer addr)
 {
        guint8 *code, *start;
        GSList *unwind_ops;
@@ -514,7 +526,7 @@ mono_arch_get_static_rgctx_trampoline (MonoMethod *m, MonoMethodRuntimeGenericCo
 
        ARM_LDR_IMM (code, MONO_ARCH_RGCTX_REG, ARMREG_PC, 0);
        ARM_LDR_IMM (code, ARMREG_PC, ARMREG_PC, 0);
-       *(guint32*)code = (guint32)mrgctx;
+       *(guint32*)code = (guint32)arg;
        code += 4;
        *(guint32*)code = (guint32)addr;
        code += 4;
@@ -680,13 +692,6 @@ mono_arch_create_general_rgctx_lazy_fetch_trampoline (MonoTrampInfo **info, gboo
        return buf;
 }
 
-gpointer
-mono_arm_handler_block_trampoline_helper (gpointer *ptr)
-{
-       MonoJitTlsData *jit_tls = mono_tls_get_jit_tls ();
-       return jit_tls->handler_block_return_address;
-}
-
 gpointer
 mono_arch_create_handler_block_trampoline (MonoTrampInfo **info, gboolean aot)
 {
@@ -827,6 +832,159 @@ mono_arch_create_sdb_trampoline (gboolean single_step, MonoTrampInfo **info, gbo
        return buf;
 }
 
+/*
+ * mono_arch_get_enter_icall_trampoline:
+ *
+ *   See tramp-amd64.c for documentation.
+ */
+gpointer
+mono_arch_get_enter_icall_trampoline (MonoTrampInfo **info)
+{
+#ifdef ENABLE_INTERPRETER
+       const int gregs_num = INTERP_ICALL_TRAMP_IARGS;
+       const int fregs_num = INTERP_ICALL_TRAMP_FARGS;
+
+       guint8 *start = NULL, *code, *label_gexits [gregs_num], *label_fexits [fregs_num], *label_leave_tramp [3], *label_is_float_ret;
+       MonoJumpInfo *ji = NULL;
+       GSList *unwind_ops = NULL;
+       int buf_len, i, framesize = 0, off_methodargs, off_targetaddr;
+       const int fp_reg = ARMREG_R7;
+
+       buf_len = 512 + 1024;
+       start = code = (guint8 *) mono_global_codeman_reserve (buf_len);
+
+       off_methodargs = framesize;
+       framesize += sizeof (mgreg_t);
+
+       off_targetaddr = framesize;
+       framesize += sizeof (mgreg_t);
+
+       framesize = ALIGN_TO (framesize, MONO_ARCH_FRAME_ALIGNMENT);
+
+       /* allocate space on stack for argument passing */
+       const int stack_space = ALIGN_TO (((gregs_num - ARMREG_R3) * sizeof (mgreg_t)), MONO_ARCH_FRAME_ALIGNMENT);
+
+       /* use r4, r5 and r6 as scratch registers */
+       ARM_PUSH (code, (1 << fp_reg) | (1 << ARMREG_LR) | (1 << ARMREG_R4) | (1 << ARMREG_R5) | (1 << ARMREG_R6));
+       ARM_MOV_REG_REG (code, fp_reg, ARMREG_SP);
+       ARM_SUB_REG_IMM8 (code, ARMREG_SP, ARMREG_SP, stack_space + framesize);
+
+       /* save InterpMethodArguments* onto stack */
+       ARM_STR_IMM (code, ARMREG_R1, fp_reg, off_methodargs);
+
+       /* save target address onto stack */
+       ARM_STR_IMM (code, ARMREG_R0, fp_reg, off_targetaddr);
+
+       /* load pointer to InterpMethodArguments* into r4 */
+       ARM_MOV_REG_REG (code, ARMREG_R4, ARMREG_R1);
+
+       /* move flen into r5 */
+       ARM_LDR_IMM (code, ARMREG_R5, ARMREG_R4, MONO_STRUCT_OFFSET (InterpMethodArguments, flen));
+       /* load pointer to fargs into r6 */
+       ARM_LDR_IMM (code, ARMREG_R6, ARMREG_R4, MONO_STRUCT_OFFSET (InterpMethodArguments, fargs));
+
+       for (i = 0; i < fregs_num; ++i) {
+               ARM_CMP_REG_IMM (code, ARMREG_R5, 0, 0);
+               label_fexits [i] = code;
+               ARM_B_COND (code, ARMCOND_EQ, 0);
+
+               g_assert (i <= ARM_VFP_D7); /* otherwise, need to pass args on stack */
+               ARM_FLDD (code, i, ARMREG_R6, i * sizeof (double));
+               ARM_SUB_REG_IMM8 (code, ARMREG_R5, ARMREG_R5, 1);
+       }
+
+       for (i = 0; i < fregs_num; i++)
+               arm_patch (label_fexits [i], code);
+
+       /* move ilen into r5 */
+       ARM_LDR_IMM (code, ARMREG_R5, ARMREG_R4, MONO_STRUCT_OFFSET (InterpMethodArguments, ilen));
+       /* load pointer to iargs into r6 */
+       ARM_LDR_IMM (code, ARMREG_R6, ARMREG_R4, MONO_STRUCT_OFFSET (InterpMethodArguments, iargs));
+
+       int stack_offset = 0;
+       for (i = 0; i < gregs_num; i++) {
+               ARM_CMP_REG_IMM (code, ARMREG_R5, 0, 0);
+               label_gexits [i] = code;
+               ARM_B_COND (code, ARMCOND_EQ, 0);
+
+               if (i <= ARMREG_R3) {
+                       ARM_LDR_IMM (code, i, ARMREG_R6, i * sizeof (mgreg_t));
+               } else {
+                       ARM_LDR_IMM (code, ARMREG_R4, ARMREG_R6, i * sizeof (mgreg_t));
+                       ARM_STR_IMM (code, ARMREG_R4, ARMREG_SP, stack_offset);
+                       stack_offset += sizeof (mgreg_t);
+               }
+               ARM_SUB_REG_IMM8 (code, ARMREG_R5, ARMREG_R5, 1);
+       }
+
+       for (i = 0; i < gregs_num; i++)
+               arm_patch (label_gexits [i], code);
+
+       /* load target addr */
+       ARM_LDR_IMM (code, ARMREG_R4, fp_reg, off_targetaddr);
+
+       /* call into native function */
+       ARM_BLX_REG (code, ARMREG_R4);
+
+       /* load InterpMethodArguments */
+       ARM_LDR_IMM (code, ARMREG_R4, fp_reg, off_methodargs);
+
+       /* load is_float_ret */
+       ARM_LDR_IMM (code, ARMREG_R5, ARMREG_R4, MONO_STRUCT_OFFSET (InterpMethodArguments, is_float_ret));
+
+       /* check if a float return value is expected */
+       ARM_CMP_REG_IMM (code, ARMREG_R5, 0, 0);
+       label_is_float_ret = code;
+       ARM_B_COND (code, ARMCOND_NE, 0);
+
+       /* greg return */
+       /* load retval */
+       ARM_LDR_IMM (code, ARMREG_R5, ARMREG_R4, MONO_STRUCT_OFFSET (InterpMethodArguments, retval));
+
+       ARM_CMP_REG_IMM (code, ARMREG_R5, 0, 0);
+       label_leave_tramp [0] = code;
+       ARM_B_COND (code, ARMCOND_EQ, 0);
+
+       /* store greg result, always write back 64bit */
+       ARM_STR_IMM (code, ARMREG_R0, ARMREG_R5, 0);
+       ARM_STR_IMM (code, ARMREG_R1, ARMREG_R5, 4);
+
+       label_leave_tramp [1] = code;
+       ARM_B_COND (code, ARMCOND_AL, 0);
+
+       /* freg return */
+       arm_patch (label_is_float_ret, code);
+       /* load retval */
+       ARM_LDR_IMM (code, ARMREG_R5, ARMREG_R4, MONO_STRUCT_OFFSET (InterpMethodArguments, retval));
+
+       ARM_CMP_REG_IMM (code, ARMREG_R5, 0, 0);
+       label_leave_tramp [2] = code;
+       ARM_B_COND (code, ARMCOND_EQ, 0);
+
+       /* store freg result */
+       ARM_FSTD (code, ARM_VFP_F0, ARMREG_R5, 0);
+
+       for (i = 0; i < 3; i++)
+               arm_patch (label_leave_tramp [i], code);
+
+       ARM_MOV_REG_REG (code, ARMREG_SP, fp_reg);
+       ARM_POP (code, (1 << fp_reg) | (1 << ARMREG_PC) | (1 << ARMREG_R4) | (1 << ARMREG_R5) | (1 << ARMREG_R6));
+
+       g_assert (code - start < buf_len);
+
+       mono_arch_flush_icache (start, code - start);
+       mono_profiler_code_buffer_new (start, code - start, MONO_PROFILER_CODE_BUFFER_EXCEPTION_HANDLING, NULL);
+
+       if (info)
+               *info = mono_tramp_info_create ("enter_icall_trampoline", start, code - start, ji, unwind_ops);
+
+       return start;
+#else
+       g_assert_not_reached ();
+       return NULL;
+#endif /* ENABLE_INTERPRETER */
+}
+
 #else
 
 guchar*
@@ -851,7 +1009,7 @@ mono_arch_get_unbox_trampoline (MonoMethod *m, gpointer addr)
 }
 
 gpointer
-mono_arch_get_static_rgctx_trampoline (MonoMethod *m, MonoMethodRuntimeGenericContext *mrgctx, gpointer addr)
+mono_arch_get_static_rgctx_trampoline (gpointer arg, gpointer addr)
 {
        g_assert_not_reached ();
        return NULL;