#include <mono/arch/arm64/arm64-codegen.h>
#include <mono/metadata/abi-details.h>
+#ifdef ENABLE_INTERPRETER
+#include "interp/interp.h"
+#endif
+
+
#define ALIGN_TO(val,align) ((((guint64)val) + ((align) - 1)) & ~((align) - 1))
void
code -= 4;
imm = *(guint32*)code;
- /* Should be a bl */
- g_assert (((imm >> 31) & 0x1) == 0x1);
+ /* Should be a b/bl */
g_assert (((imm >> 26) & 0x7) == 0x5);
disp = (imm & 0x3ffffff);
return ((guint32*)plt_entry) [4];
}
-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
guchar*
return buf;
}
-gpointer
-mono_arch_create_handler_block_trampoline (MonoTrampInfo **info, gboolean aot)
-{
- guint8 *tramp;
- guint8 *code, *buf;
- int tramp_size = 64;
- MonoJumpInfo *ji = NULL;
- GSList *unwind_ops = NULL;
-
- code = buf = mono_global_codeman_reserve (tramp_size);
-
- unwind_ops = NULL;
-
- /*
- This trampoline restore the call chain of the handler block then jumps into the code that deals with it.
- */
-
- /*
- * We are in a method frame after the call emitted by OP_CALL_HANDLER.
- */
- if (aot)
- code = mono_arm_emit_aotconst (&ji, code, buf, ARMREG_IP0, MONO_PATCH_INFO_JIT_ICALL_ADDR, "mono_arm_handler_block_trampoline_helper");
- else
- code = mono_arm_emit_imm64 (code, ARMREG_IP0, (guint64)mono_arm_handler_block_trampoline_helper);
- /* Set it as the return address so the trampoline will return to it */
- arm_movx (code, ARMREG_LR, ARMREG_IP0);
-
- /* Call the trampoline */
- if (aot) {
- char *name = g_strdup_printf ("trampoline_func_%d", MONO_TRAMPOLINE_HANDLER_BLOCK_GUARD);
- code = mono_arm_emit_aotconst (&ji, code, buf, ARMREG_IP0, MONO_PATCH_INFO_JIT_ICALL_ADDR, name);
- } else {
- tramp = mono_arch_create_specific_trampoline (NULL, MONO_TRAMPOLINE_HANDLER_BLOCK_GUARD, NULL, NULL);
- code = mono_arm_emit_imm64 (code, ARMREG_IP0, (guint64)tramp);
- }
- arm_brx (code, ARMREG_IP0);
-
- mono_arch_flush_icache (buf, code - buf);
- mono_profiler_code_buffer_new (buf, code - buf, MONO_PROFILER_CODE_BUFFER_HELPER, NULL);
- g_assert (code - buf <= tramp_size);
-
- *info = mono_tramp_info_create ("handler_block_trampoline", buf, code - buf, ji, unwind_ops);
-
- return buf;
-}
-
/*
* mono_arch_create_sdb_trampoline:
*
mono_arch_get_enter_icall_trampoline (MonoTrampInfo **info)
{
#ifdef ENABLE_INTERPRETER
- /* sync with constants in interp.c */
- /* TODO: should be shared with other platforms */
- const int gregs_num = ARMREG_R12;
- const int fregs_num = 3;
+ 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;
arm_stpx (code, ARMREG_FP, ARMREG_LR, ARMREG_SP, stack_space);
arm_addx_imm (code, ARMREG_FP, ARMREG_SP, stack_space);
- /* save MethodArguments* onto stack */
+ /* save InterpMethodArguments* onto stack */
arm_strx (code, ARMREG_R1, ARMREG_FP, off_methodargs);
/* save target address onto stack */
arm_strx (code, ARMREG_R0, ARMREG_FP, off_targetaddr);
- /* load pointer to MethodArguments* into IP0 */
+ /* load pointer to InterpMethodArguments* into IP0 */
arm_movx (code, ARMREG_IP0, ARMREG_R1);
- /* move flen into R9 */ // TODO: struct offset
- arm_ldrx (code, ARMREG_R9, ARMREG_IP0, 16);
- /* load pointer to fregs into R10 */ // TODO: struct offset
- arm_ldrx (code, ARMREG_R10, ARMREG_IP0, 24);
+ /* move flen into R9 */
+ arm_ldrx (code, ARMREG_R9, ARMREG_IP0, MONO_STRUCT_OFFSET (InterpMethodArguments, flen));
+ /* load pointer to fargs into R10 */
+ arm_ldrx (code, ARMREG_R10, ARMREG_IP0, MONO_STRUCT_OFFSET (InterpMethodArguments, fargs));
for (i = 0; i < fregs_num; ++i) {
arm_cmpx_imm (code, ARMREG_R9, 0);
label_fexits [i] = code;
arm_bcc (code, ARMCOND_EQ, 0);
+ g_assert (i <= ARMREG_D7); /* otherwise, need to pass args on stack */
arm_ldrfpx (code, i, ARMREG_R10, i * sizeof (double));
arm_subx_imm (code, ARMREG_R9, ARMREG_R9, 1);
}
for (i = 0; i < fregs_num; i++)
mono_arm_patch (label_fexits [i], code, MONO_R_ARM64_BCC);
- /* move ilen into R9 */ // TODO: struct offset
- arm_ldrx (code, ARMREG_R9, ARMREG_IP0, 0);
- /* load pointer to iregs into R10 */ // TODO: struct offset
- arm_ldrx (code, ARMREG_R10, ARMREG_IP0, 8);
+ /* move ilen into R9 */
+ arm_ldrx (code, ARMREG_R9, ARMREG_IP0, MONO_STRUCT_OFFSET (InterpMethodArguments, ilen));
+ /* load pointer to iargs into R10 */
+ arm_ldrx (code, ARMREG_R10, ARMREG_IP0, MONO_STRUCT_OFFSET (InterpMethodArguments, iargs));
int stack_offset = 0;
for (i = 0; i < gregs_num; i++) {
/* call into native function */
arm_blrx (code, ARMREG_R11);
- /* load MethodArguments */
+ /* load InterpMethodArguments */
arm_ldrx (code, ARMREG_IP0, ARMREG_FP, off_methodargs);
- /* load is_float_ret */ // TODO: struct offset
- arm_ldrx (code, ARMREG_R11, ARMREG_IP0, 0x28);
+ /* load is_float_ret */
+ arm_ldrx (code, ARMREG_R11, ARMREG_IP0, MONO_STRUCT_OFFSET (InterpMethodArguments, is_float_ret));
/* check if a float return value is expected */
arm_cmpx_imm (code, ARMREG_R11, 0);
arm_bcc (code, ARMCOND_NE, 0);
/* greg return */
- /* load retval */ // TODO: struct offset
- arm_ldrx (code, ARMREG_R11, ARMREG_IP0, 0x20);
+ /* load retval */
+ arm_ldrx (code, ARMREG_R11, ARMREG_IP0, MONO_STRUCT_OFFSET (InterpMethodArguments, retval));
arm_cmpx_imm (code, ARMREG_R11, 0);
label_leave_tramp [0] = code;
/* freg return */
mono_arm_patch (label_is_float_ret, code, MONO_R_ARM64_BCC);
- /* load retval */ // TODO: struct offset
- arm_ldrx (code, ARMREG_R11, ARMREG_IP0, 0x20);
+ /* load retval */
+ arm_ldrx (code, ARMREG_R11, ARMREG_IP0, MONO_STRUCT_OFFSET (InterpMethodArguments, retval));
arm_cmpx_imm (code, ARMREG_R11, 0);
label_leave_tramp [2] = code;
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);
+ MONO_PROFILER_RAISE (jit_code_buffer, (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 NULL;
}
-gpointer
-mono_arch_create_handler_block_trampoline (MonoTrampInfo **info, gboolean aot)
-{
- g_assert_not_reached ();
- return NULL;
-}
-
gpointer
mono_arch_get_unbox_trampoline (MonoMethod *m, gpointer addr)
{
return NULL;
}
+gpointer
+mono_arch_get_enter_icall_trampoline (MonoTrampInfo **info)
+{
+ g_assert_not_reached ();
+ return NULL;
+}
#endif /* !DISABLE_JIT */
projects / mono.git / blobdiff