1 #ifndef __MONO_MINI_AMD64_H__
2 #define __MONO_MINI_AMD64_H__
4 #include <mono/arch/amd64/amd64-codegen.h>
5 #include <mono/utils/mono-sigcontext.h>
6 #include <mono/utils/mono-context.h>
11 /* use SIG* defines if possible */
16 #if !defined(_MSC_VER)
17 /* sigcontext surrogate */
31 typedef void (* MonoW32ExceptionHandler) (int _dummy, EXCEPTION_POINTERS *info, void *context);
32 void win32_seh_init(void);
33 void win32_seh_cleanup(void);
34 void win32_seh_set_handler(int type, MonoW32ExceptionHandler handler);
48 LONG CALLBACK seh_handler(EXCEPTION_POINTERS* ep);
50 #endif /* HOST_WIN32 */
52 #ifdef sun // Solaris x86
53 # undef SIGSEGV_ON_ALTSTACK
54 # define MONO_ARCH_NOMAP32BIT
57 unsigned short gs, __gsh;
58 unsigned short fs, __fsh;
59 unsigned short es, __esh;
60 unsigned short ds, __dsh;
72 unsigned short cs, __csh;
74 unsigned long esp_at_signal;
75 unsigned short ss, __ssh;
76 unsigned long fpstate[95];
77 unsigned long filler[5];
79 #endif // sun, Solaris x86
82 #define MONO_ARCH_SIMD_INTRINSICS 1
83 #define MONO_ARCH_NEED_SIMD_BANK 1
84 #define MONO_ARCH_USE_SHARED_FP_SIMD_BANK 1
89 #if defined(__APPLE__)
90 #define MONO_ARCH_SIGNAL_STACK_SIZE MINSIGSTKSZ
92 #define MONO_ARCH_SIGNAL_STACK_SIZE (16 * 1024)
95 #define MONO_ARCH_HAVE_RESTORE_STACK_SUPPORT 1
97 #define MONO_ARCH_CPU_SPEC mono_amd64_desc
99 #define MONO_MAX_IREGS 16
101 #define MONO_MAX_FREGS AMD64_XMM_NREG
103 #define MONO_ARCH_FP_RETURN_REG AMD64_XMM0
106 /* xmm5 is used as a scratch register */
107 #define MONO_ARCH_CALLEE_FREGS 0x1f
109 #define MONO_ARCH_CALLEE_SAVED_FREGS (0xffff - 0x3f)
110 #define MONO_ARCH_FP_SCRATCH_REG AMD64_XMM5
112 /* xmm15 is used as a scratch register */
113 #define MONO_ARCH_CALLEE_FREGS 0x7fff
114 #define MONO_ARCH_CALLEE_SAVED_FREGS 0
115 #define MONO_ARCH_FP_SCRATCH_REG AMD64_XMM15
118 #define MONO_MAX_XREGS MONO_MAX_FREGS
120 #define MONO_ARCH_CALLEE_XREGS MONO_ARCH_CALLEE_FREGS
121 #define MONO_ARCH_CALLEE_SAVED_XREGS MONO_ARCH_CALLEE_SAVED_FREGS
124 #define MONO_ARCH_CALLEE_REGS AMD64_CALLEE_REGS
125 #define MONO_ARCH_CALLEE_SAVED_REGS AMD64_CALLEE_SAVED_REGS
127 #define MONO_ARCH_USE_FPSTACK FALSE
128 #define MONO_ARCH_FPSTACK_SIZE 0
130 #define MONO_ARCH_INST_FIXED_REG(desc) ((desc == '\0') ? -1 : ((desc == 'i' ? -1 : ((desc == 'a') ? AMD64_RAX : ((desc == 's') ? AMD64_RCX : ((desc == 'd') ? AMD64_RDX : ((desc == 'A') ? MONO_AMD64_ARG_REG1 : -1)))))))
132 /* RDX is clobbered by the opcode implementation before accessing sreg2 */
133 #define MONO_ARCH_INST_SREG2_MASK(ins) (((ins [MONO_INST_CLOB] == 'a') || (ins [MONO_INST_CLOB] == 'd')) ? (1 << AMD64_RDX) : 0)
135 #define MONO_ARCH_INST_IS_REGPAIR(desc) FALSE
136 #define MONO_ARCH_INST_REGPAIR_REG2(desc,hreg1) (-1)
138 #define MONO_ARCH_FRAME_ALIGNMENT 16
140 /* fixme: align to 16byte instead of 32byte (we align to 32byte to get
141 * reproduceable results for benchmarks */
142 #define MONO_ARCH_CODE_ALIGNMENT 32
144 /*This is the max size of the locals area of a given frame. I think 1MB is a safe default for now*/
145 #define MONO_ARCH_MAX_FRAME_SIZE 0x100000
149 * If the lowest bit is set, then this LMF has the rip field set. Otherwise,
150 * the rip field is not set, and the rsp field points to the stack location where
151 * the caller ip is saved.
152 * If the second lowest bit is set, then this is a MonoLMFExt structure, and
153 * the other fields are not valid.
154 * If the third lowest bit is set, then this is a MonoLMFTramp structure, and
155 * the 'rbp' field is not valid.
157 gpointer previous_lmf;
163 /* LMF structure used by the JIT trampolines */
170 typedef struct MonoCompileArch {
171 gint32 localloc_offset;
172 gint32 reg_save_area_offset;
173 gint32 stack_alloc_size;
176 gboolean omit_fp, omit_fp_computed;
178 gint32 async_point_count;
179 gpointer vret_addr_loc;
183 gpointer seq_point_info_var;
184 gpointer ss_trigger_page_var;
185 gpointer ss_tramp_var;
186 gpointer bp_tramp_var;
192 #define FLOAT_PARAM_REGS 4
194 static AMD64_Reg_No param_regs [] = { AMD64_RCX, AMD64_RDX, AMD64_R8, AMD64_R9 };
196 static AMD64_Reg_No return_regs [] = { AMD64_RAX, AMD64_RDX };
199 #define FLOAT_PARAM_REGS 8
201 static AMD64_Reg_No param_regs [] = { AMD64_RDI, AMD64_RSI, AMD64_RDX, AMD64_RCX, AMD64_R8, AMD64_R9 };
203 static AMD64_Reg_No return_regs [] = { AMD64_RAX, AMD64_RDX };
207 /* Method address to call */
209 /* The trampoline reads this, so keep the size explicit */
211 /* If ret_marshal != NONE, this is the reg of the vret arg, else -1 (used in out case) */
212 /* Equivalent of vret_arg_slot in the x86 implementation. */
214 /* The stack slot where the return value will be stored (used in in case) */
216 int stack_usage, map_count;
217 /* If not -1, then make a virtual call using this vtable offset */
219 /* If 1, make an indirect call to the address in the rgctx reg */
221 /* Whenever this is a in or an out call */
223 /* Maps stack slots/registers in the caller to the stack slots/registers in the callee */
224 int map [MONO_ZERO_LEN_ARRAY];
227 /* Structure used by the sequence points in AOTed code */
229 gpointer ss_tramp_addr;
230 gpointer bp_addrs [MONO_ZERO_LEN_ARRAY];
234 mgreg_t regs [PARAM_REGS];
248 ArgValuetypeAddrInIReg,
249 /* gsharedvt argument passed by addr */
252 /* Variable sized gsharedvt argument passed/returned by addr */
253 ArgGsharedvtVariableInReg,
254 ArgNone /* only in pair_storage */
260 ArgStorage storage : 8;
262 /* Only if storage == ArgValuetypeInReg */
263 ArgStorage pair_storage [2];
265 /* The size of each pair (bytes) */
268 /* Only if storage == ArgOnStack */
269 int arg_size; // Bytes, will always be rounded up/aligned to 8 byte boundary
277 gboolean need_stack_align;
279 /* The index of the vret arg in the argument list */
287 #define MONO_CONTEXT_SET_LLVM_EXC_REG(ctx, exc) do { (ctx)->gregs [AMD64_RAX] = (gsize)exc; } while (0)
288 #define MONO_CONTEXT_SET_LLVM_EH_SELECTOR_REG(ctx, sel) do { (ctx)->gregs [AMD64_RDX] = (gsize)(sel); } while (0)
290 #define MONO_ARCH_INIT_TOP_LMF_ENTRY(lmf)
294 #define MONO_INIT_CONTEXT_FROM_FUNC(ctx, start_func) do { \
296 mono_arch_flush_register_windows (); \
297 stackptr = ((guint64)_AddressOfReturnAddress () - sizeof (void*));\
298 MONO_CONTEXT_SET_IP ((ctx), (start_func)); \
299 MONO_CONTEXT_SET_BP ((ctx), stackptr); \
300 MONO_CONTEXT_SET_SP ((ctx), stackptr); \
306 * __builtin_frame_address () is broken on some older gcc versions in the presence of
307 * frame pointer elimination, see bug #82095.
309 #define MONO_INIT_CONTEXT_FROM_FUNC(ctx,start_func) do { \
311 guint64 stackptr = (guint64)&tmp; \
312 mono_arch_flush_register_windows (); \
313 MONO_CONTEXT_SET_IP ((ctx), (start_func)); \
314 MONO_CONTEXT_SET_BP ((ctx), stackptr); \
315 MONO_CONTEXT_SET_SP ((ctx), stackptr); \
321 * some icalls like mono_array_new_va needs to be called using a different
322 * calling convention.
324 #define MONO_ARCH_VARARG_ICALLS 1
326 #if !defined( HOST_WIN32 ) && defined (HAVE_SIGACTION)
328 #define MONO_ARCH_USE_SIGACTION 1
330 #ifdef HAVE_WORKING_SIGALTSTACK
332 #define MONO_ARCH_SIGSEGV_ON_ALTSTACK
336 #endif /* !HOST_WIN32 */
338 #if !defined(__linux__)
339 #define MONO_ARCH_NOMAP32BIT 1
343 #define MONO_AMD64_ARG_REG1 AMD64_RCX
344 #define MONO_AMD64_ARG_REG2 AMD64_RDX
345 #define MONO_AMD64_ARG_REG3 AMD64_R8
346 #define MONO_AMD64_ARG_REG4 AMD64_R9
348 #define MONO_AMD64_ARG_REG1 AMD64_RDI
349 #define MONO_AMD64_ARG_REG2 AMD64_RSI
350 #define MONO_AMD64_ARG_REG3 AMD64_RDX
351 #define MONO_AMD64_ARG_REG4 AMD64_RCX
354 #define MONO_ARCH_NO_EMULATE_LONG_SHIFT_OPS
355 #define MONO_ARCH_NO_EMULATE_LONG_MUL_OPTS
357 #define MONO_ARCH_EMULATE_CONV_R8_UN 1
358 #define MONO_ARCH_EMULATE_FREM 1
359 #define MONO_ARCH_HAVE_IS_INT_OVERFLOW 1
361 #define MONO_ARCH_ENABLE_MONO_LMF_VAR 1
362 #define MONO_ARCH_HAVE_INVALIDATE_METHOD 1
363 #define MONO_ARCH_HAVE_FULL_AOT_TRAMPOLINES 1
364 #define MONO_ARCH_HAVE_TLS_GET (mono_amd64_have_tls_get ())
365 #define MONO_ARCH_IMT_REG AMD64_R10
366 #define MONO_ARCH_IMT_SCRATCH_REG AMD64_R11
367 #define MONO_ARCH_VTABLE_REG MONO_AMD64_ARG_REG1
369 * We use r10 for the imt/rgctx register rather than r11 because r11 is
370 * used by the trampoline as a scratch register and hence might be
371 * clobbered across method call boundaries.
373 #define MONO_ARCH_RGCTX_REG MONO_ARCH_IMT_REG
374 #define MONO_ARCH_EXC_REG AMD64_RAX
375 #define MONO_ARCH_HAVE_CMOV_OPS 1
376 #define MONO_ARCH_HAVE_EXCEPTIONS_INIT 1
377 #define MONO_ARCH_HAVE_GENERALIZED_IMT_THUNK 1
378 #define MONO_ARCH_HAVE_LIVERANGE_OPS 1
379 #define MONO_ARCH_HAVE_SIGCTX_TO_MONOCTX 1
380 #define MONO_ARCH_HAVE_GET_TRAMPOLINES 1
382 #define MONO_ARCH_AOT_SUPPORTED 1
383 #define MONO_ARCH_SOFT_DEBUG_SUPPORTED 1
385 #define MONO_ARCH_SUPPORT_TASKLETS 1
387 #define MONO_ARCH_GSHARED_SUPPORTED 1
388 #define MONO_ARCH_DYN_CALL_SUPPORTED 1
389 #define MONO_ARCH_DYN_CALL_PARAM_AREA 0
391 #define MONO_ARCH_LLVM_SUPPORTED 1
392 #define MONO_ARCH_HAVE_HANDLER_BLOCK_GUARD 1
393 #define MONO_ARCH_HAVE_CARD_TABLE_WBARRIER 1
394 #define MONO_ARCH_HAVE_SETUP_RESUME_FROM_SIGNAL_HANDLER_CTX 1
395 #define MONO_ARCH_GC_MAPS_SUPPORTED 1
396 #define MONO_ARCH_HAVE_CONTEXT_SET_INT_REG 1
397 #define MONO_ARCH_HAVE_SETUP_ASYNC_CALLBACK 1
398 #define MONO_ARCH_HAVE_CREATE_LLVM_NATIVE_THUNK 1
399 #define MONO_ARCH_HAVE_OP_TAIL_CALL 1
400 #define MONO_ARCH_HAVE_TRANSLATE_TLS_OFFSET 1
401 #define MONO_ARCH_HAVE_DUMMY_INIT 1
402 #define MONO_ARCH_HAVE_SDB_TRAMPOLINES 1
403 #define MONO_ARCH_HAVE_PATCH_CODE_NEW 1
404 #define MONO_ARCH_HAVE_OP_GENERIC_CLASS_INIT 1
406 #if defined(TARGET_OSX) || defined(__linux__)
407 #define MONO_ARCH_HAVE_UNWIND_BACKTRACE 1
410 #if defined(TARGET_OSX) || defined(__linux__) || defined(TARGET_WIN32)
411 #define MONO_ARCH_HAVE_TLS_GET_REG 1
414 #if !defined (TARGET_WIN32)
415 #define MONO_ARCH_GSHAREDVT_SUPPORTED 1
419 #if defined(TARGET_APPLETVOS)
421 #define MONO_ARCH_NEED_DIV_CHECK 1
424 /* Used for optimization, not complete */
425 #define MONO_ARCH_IS_OP_MEMBASE(opcode) ((opcode) == OP_X86_PUSH_MEMBASE)
427 #define MONO_ARCH_EMIT_BOUNDS_CHECK(cfg, array_reg, offset, index_reg) do { \
429 MONO_INST_NEW ((cfg), inst, OP_AMD64_ICOMPARE_MEMBASE_REG); \
430 inst->inst_basereg = array_reg; \
431 inst->inst_offset = offset; \
432 inst->sreg2 = index_reg; \
433 MONO_ADD_INS ((cfg)->cbb, inst); \
434 MONO_EMIT_NEW_COND_EXC (cfg, LE_UN, "IndexOutOfRangeException"); \
438 mono_amd64_patch (unsigned char* code, gpointer target);
441 mono_amd64_throw_exception (guint64 dummy1, guint64 dummy2, guint64 dummy3, guint64 dummy4,
442 guint64 dummy5, guint64 dummy6,
443 MonoContext *mctx, MonoObject *exc, gboolean rethrow);
446 mono_amd64_throw_corlib_exception (guint64 dummy1, guint64 dummy2, guint64 dummy3, guint64 dummy4,
447 guint64 dummy5, guint64 dummy6,
448 MonoContext *mctx, guint32 ex_token_index, gint64 pc_offset);
451 mono_amd64_resume_unwind (guint64 dummy1, guint64 dummy2, guint64 dummy3, guint64 dummy4,
452 guint64 dummy5, guint64 dummy6,
453 MonoContext *mctx, guint32 dummy7, gint64 dummy8);
456 mono_amd64_start_gsharedvt_call (GSharedVtCallInfo *info, gpointer *caller, gpointer *callee, gpointer mrgctx_reg);
459 mono_amd64_get_original_ip (void);
462 mono_amd64_emit_tls_get (guint8* code, int dreg, int tls_offset);
465 mono_amd64_have_tls_get (void);
468 mono_amd64_get_exception_trampolines (gboolean aot);
471 mono_amd64_get_tls_gs_offset (void) MONO_LLVM_INTERNAL;
475 void mono_arch_unwindinfo_add_push_nonvol (gpointer* monoui, gpointer codebegin, gpointer nextip, guchar reg );
476 void mono_arch_unwindinfo_add_set_fpreg (gpointer* monoui, gpointer codebegin, gpointer nextip, guchar reg );
477 void mono_arch_unwindinfo_add_alloc_stack (gpointer* monoui, gpointer codebegin, gpointer nextip, guint size );
478 guint mono_arch_unwindinfo_get_size (gpointer monoui);
479 void mono_arch_unwindinfo_install_unwind_info (gpointer* monoui, gpointer code, guint code_size);
481 #define MONO_ARCH_HAVE_UNWIND_TABLE 1
484 CallInfo* mono_arch_get_call_info (MonoMemPool *mp, MonoMethodSignature *sig);
486 #endif /* __MONO_MINI_AMD64_H__ */