Implement x86 support.
[mono.git] / mono / mini / mini-amd64.h
1 #ifndef __MONO_MINI_AMD64_H__
2 #define __MONO_MINI_AMD64_H__
3
4 #include <mono/arch/amd64/amd64-codegen.h>
5 #include <mono/utils/mono-sigcontext.h>
6 #include <glib.h>
7
8 #ifdef HOST_WIN32
9 #include <windows.h>
10 /* use SIG* defines if possible */
11 #ifdef HAVE_SIGNAL_H
12 #include <signal.h>
13 #endif
14
15
16 /* sigcontext surrogate */
17 struct sigcontext {
18         guint64 eax;
19         guint64 ebx;
20         guint64 ecx;
21         guint64 edx;
22         guint64 ebp;
23         guint64 esp;
24     guint64 esi;
25         guint64 edi;
26         guint64 eip;
27 };
28
29 typedef void (* MonoW32ExceptionHandler) (int _dummy, EXCEPTION_RECORD *info, void *context);
30 void win32_seh_init(void);
31 void win32_seh_cleanup(void);
32 void win32_seh_set_handler(int type, MonoW32ExceptionHandler handler);
33
34 #ifndef SIGFPE
35 #define SIGFPE 4
36 #endif
37
38 #ifndef SIGILL
39 #define SIGILL 8
40 #endif
41
42 #ifndef SIGSEGV
43 #define SIGSEGV 11
44 #endif
45
46 LONG CALLBACK seh_handler(EXCEPTION_POINTERS* ep);
47
48 #endif /* HOST_WIN32 */
49
50 #ifdef sun    // Solaris x86
51 #  undef SIGSEGV_ON_ALTSTACK
52 #  define MONO_ARCH_NOMAP32BIT
53
54 struct sigcontext {
55         unsigned short gs, __gsh;
56         unsigned short fs, __fsh;
57         unsigned short es, __esh;
58         unsigned short ds, __dsh;
59         unsigned long edi;
60         unsigned long esi;
61         unsigned long ebp;
62         unsigned long esp;
63         unsigned long ebx;
64         unsigned long edx;
65         unsigned long ecx;
66         unsigned long eax;
67         unsigned long trapno;
68         unsigned long err;
69         unsigned long eip;
70         unsigned short cs, __csh;
71         unsigned long eflags;
72         unsigned long esp_at_signal;
73         unsigned short ss, __ssh;
74         unsigned long fpstate[95];
75       unsigned long filler[5];
76 };
77 #endif  // sun, Solaris x86
78
79 #define MONO_ARCH_SUPPORT_SIMD_INTRINSICS 1
80
81 #ifndef DISABLE_SIMD
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
85 #endif
86
87
88
89 #define MONO_ARCH_SIGNAL_STACK_SIZE (16 * 1024)
90
91 #define MONO_ARCH_HAVE_RESTORE_STACK_SUPPORT 1
92
93 #define MONO_ARCH_CPU_SPEC amd64_desc
94
95 #define MONO_MAX_IREGS 16
96
97 #define MONO_MAX_FREGS AMD64_XMM_NREG
98
99 #define MONO_ARCH_FP_RETURN_REG AMD64_XMM0
100
101 /* xmm15 is reserved for use by some opcodes */
102 #define MONO_ARCH_CALLEE_FREGS 0x7fff
103 #define MONO_ARCH_CALLEE_SAVED_FREGS 0
104
105 #define MONO_MAX_XREGS MONO_MAX_FREGS
106
107 #define MONO_ARCH_CALLEE_XREGS 0x7fff
108 #define MONO_ARCH_CALLEE_SAVED_XREGS 0
109
110
111 #define MONO_ARCH_CALLEE_REGS AMD64_CALLEE_REGS
112 #define MONO_ARCH_CALLEE_SAVED_REGS AMD64_CALLEE_SAVED_REGS
113
114 #define MONO_ARCH_USE_FPSTACK FALSE
115 #define MONO_ARCH_FPSTACK_SIZE 0
116
117 #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 : -1))))))
118
119 /* RDX is clobbered by the opcode implementation before accessing sreg2 */
120 #define MONO_ARCH_INST_SREG2_MASK(ins) (((ins [MONO_INST_CLOB] == 'a') || (ins [MONO_INST_CLOB] == 'd')) ? (1 << AMD64_RDX) : 0)
121
122 #define MONO_ARCH_INST_IS_REGPAIR(desc) FALSE
123 #define MONO_ARCH_INST_REGPAIR_REG2(desc,hreg1) (-1)
124
125 #define MONO_ARCH_FRAME_ALIGNMENT 16
126
127 /* fixme: align to 16byte instead of 32byte (we align to 32byte to get 
128  * reproduceable results for benchmarks */
129 #define MONO_ARCH_CODE_ALIGNMENT 32
130
131 #define MONO_ARCH_RETREG1 X86_EAX
132 #define MONO_ARCH_RETREG2 X86_EDX
133
134 /*This is the max size of the locals area of a given frame. I think 1MB is a safe default for now*/
135 #define MONO_ARCH_MAX_FRAME_SIZE 0x100000
136
137 struct MonoLMF {
138         /* 
139          * If the lowest bit is set to 1, then this LMF has the rip field set. Otherwise,
140          * the rip field is not set, and the rsp field points to the stack location where
141          * the caller ip is saved.
142          * If the second lowest bit is set to 1, then this is a MonoLMFExt structure, and
143          * the other fields are not valid.
144          */
145         gpointer    previous_lmf;
146         gpointer    lmf_addr;
147         /* This is only set in trampoline LMF frames */
148         MonoMethod *method;
149         guint64     rip;
150         guint64     rbx;
151         guint64     rbp;
152         guint64     rsp;
153         guint64     r12;
154         guint64     r13;
155         guint64     r14;
156         guint64     r15;
157 #ifdef HOST_WIN32
158         guint64     rdi;
159         guint64     rsi;
160 #endif
161 };
162
163 typedef struct MonoCompileArch {
164         gint32 lmf_offset;
165         gint32 localloc_offset;
166         gint32 reg_save_area_offset;
167         gint32 stack_alloc_size;
168         gint32 sp_fp_offset;
169         gboolean omit_fp, omit_fp_computed, no_pushes;
170         gpointer cinfo;
171         gint32 async_point_count;
172         gpointer vret_addr_loc;
173 #ifdef HOST_WIN32
174         gpointer        unwindinfo;
175 #endif
176         gpointer ss_trigger_page_var;
177 } MonoCompileArch;
178
179 typedef struct {
180         guint64 rax;
181         guint64 rbx;
182         guint64 rcx;
183         guint64 rdx;
184         guint64 rbp;
185         guint64 rsp;
186     guint64 rsi;
187         guint64 rdi;
188         guint64 rip;
189         guint64 r12;
190         guint64 r13;
191         guint64 r14;
192         guint64 r15;
193 } MonoContext;
194
195 #define MONO_CONTEXT_SET_IP(ctx,ip) do { (ctx)->rip = (guint64)(ip); } while (0); 
196 #define MONO_CONTEXT_SET_BP(ctx,bp) do { (ctx)->rbp = (guint64)(bp); } while (0); 
197 #define MONO_CONTEXT_SET_SP(ctx,esp) do { (ctx)->rsp = (guint64)(esp); } while (0); 
198
199 #define MONO_CONTEXT_GET_IP(ctx) ((gpointer)((ctx)->rip))
200 #define MONO_CONTEXT_GET_BP(ctx) ((gpointer)((ctx)->rbp))
201 #define MONO_CONTEXT_GET_SP(ctx) ((gpointer)((ctx)->rsp))
202
203 #define MONO_CONTEXT_SET_LLVM_EXC_REG(ctx, exc) do { (ctx)->rax = (gsize)exc; } while (0)
204
205 #define MONO_ARCH_INIT_TOP_LMF_ENTRY(lmf)
206
207 #ifdef _MSC_VER
208
209 #define MONO_INIT_CONTEXT_FROM_FUNC(ctx, start_func) do { \
210     guint64 stackptr; \
211         mono_arch_flush_register_windows (); \
212         stackptr = ((guint64)_AddressOfReturnAddress () - sizeof (void*));\
213         MONO_CONTEXT_SET_IP ((ctx), (start_func)); \
214         MONO_CONTEXT_SET_BP ((ctx), stackptr); \
215         MONO_CONTEXT_SET_SP ((ctx), stackptr); \
216 } while (0)
217
218 #else
219
220 /* 
221  * __builtin_frame_address () is broken on some older gcc versions in the presence of
222  * frame pointer elimination, see bug #82095.
223  */
224 #define MONO_INIT_CONTEXT_FROM_FUNC(ctx,start_func) do {        \
225         int tmp; \
226         guint64 stackptr = (guint64)&tmp; \
227                 mono_arch_flush_register_windows ();    \
228                 MONO_CONTEXT_SET_IP ((ctx), (start_func));      \
229                 MONO_CONTEXT_SET_BP ((ctx), stackptr);  \
230                 MONO_CONTEXT_SET_SP ((ctx), stackptr);  \
231         } while (0)
232
233 #endif
234
235 /*
236  * some icalls like mono_array_new_va needs to be called using a different 
237  * calling convention.
238  */
239 #define MONO_ARCH_VARARG_ICALLS 1
240
241 #ifndef HOST_WIN32
242
243 #define MONO_ARCH_USE_SIGACTION 1
244
245 #ifdef HAVE_WORKING_SIGALTSTACK
246
247 #define MONO_ARCH_SIGSEGV_ON_ALTSTACK
248
249 #endif
250
251 #endif /* HOST_WIN32 */
252
253 #if defined (__APPLE__)
254
255 #define MONO_ARCH_NOMAP32BIT
256
257 #elif defined (__NetBSD__)
258
259 #define REG_RAX 14
260 #define REG_RCX 3
261 #define REG_RDX 2
262 #define REG_RBX 13
263 #define REG_RSP 24
264 #define REG_RBP 12
265 #define REG_RSI 1
266 #define REG_RDI 0
267 #define REG_R8 4
268 #define REG_R9 5
269 #define REG_R10 6
270 #define REG_R11 7
271 #define REG_R12 8
272 #define REG_R13 9
273 #define REG_R14 10
274 #define REG_R15 11
275 #define REG_RIP 21
276
277 #define MONO_ARCH_NOMAP32BIT
278
279 #elif defined (__OpenBSD__)
280
281 #define MONO_ARCH_NOMAP32BIT
282
283 #elif defined (__FreeBSD__)
284
285 #define REG_RAX 7
286 #define REG_RCX 4
287 #define REG_RDX 3
288 #define REG_RBX 8
289 #define REG_RSP 23
290 #define REG_RBP 9
291 #define REG_RSI 2
292 #define REG_RDI 1
293 #define REG_R8  5
294 #define REG_R9  6
295 #define REG_R10 10
296 #define REG_R11 11
297 #define REG_R12 12
298 #define REG_R13 13
299 #define REG_R14 14
300 #define REG_R15 15
301 #define REG_RIP 20
302
303 /* 
304  * FreeBSD does not have MAP_32BIT, so code allocated by the code manager might not have a
305  * 32 bit address.
306  */
307 #define MONO_ARCH_NOMAP32BIT
308
309 #endif /* __FreeBSD__ */
310
311 #ifdef HOST_WIN32
312 #define MONO_AMD64_ARG_REG1 AMD64_RCX
313 #define MONO_AMD64_ARG_REG2 AMD64_RDX
314 #else
315 #define MONO_AMD64_ARG_REG1 AMD64_RDI
316 #define MONO_AMD64_ARG_REG2 AMD64_RSI
317 #endif
318
319 #define MONO_ARCH_NO_EMULATE_LONG_SHIFT_OPS
320 #define MONO_ARCH_NO_EMULATE_LONG_MUL_OPTS
321
322 #define MONO_ARCH_EMULATE_CONV_R8_UN    1
323 #define MONO_ARCH_EMULATE_FREM 1
324 #define MONO_ARCH_HAVE_IS_INT_OVERFLOW 1
325
326 #define MONO_ARCH_ENABLE_REGALLOC_IN_EH_BLOCKS 1
327 #define MONO_ARCH_ENABLE_MONO_LMF_VAR 1
328 #define MONO_ARCH_HAVE_INVALIDATE_METHOD 1
329 #define MONO_ARCH_HAVE_CREATE_DELEGATE_TRAMPOLINE 1
330 #define MONO_ARCH_HAVE_ATOMIC_ADD 1
331 #define MONO_ARCH_HAVE_ATOMIC_EXCHANGE 1
332 #define MONO_ARCH_HAVE_ATOMIC_CAS 1
333 #define MONO_ARCH_HAVE_FULL_AOT_TRAMPOLINES 1
334 #define MONO_ARCH_HAVE_FULL_AOT_TRAMPOLINES_2 1
335 #define MONO_ARCH_HAVE_IMT 1
336 #define MONO_ARCH_HAVE_TLS_GET 1
337 #define MONO_ARCH_IMT_REG AMD64_R10
338 #define MONO_ARCH_VTABLE_REG MONO_AMD64_ARG_REG1
339 /*
340  * We use r10 for the imt/rgctx register rather than r11 because r11 is
341  * used by the trampoline as a scratch register and hence might be
342  * clobbered across method call boundaries.
343  */
344 #define MONO_ARCH_RGCTX_REG AMD64_R10
345 #define MONO_ARCH_HAVE_CMOV_OPS 1
346 #define MONO_ARCH_HAVE_NOTIFY_PENDING_EXC 1
347 #define MONO_ARCH_HAVE_EXCEPTIONS_INIT 1
348 #define MONO_ARCH_ENABLE_GLOBAL_RA 1
349 #define MONO_ARCH_HAVE_GENERALIZED_IMT_THUNK 1
350 #define MONO_ARCH_HAVE_LIVERANGE_OPS 1
351 #define MONO_ARCH_HAVE_XP_UNWIND 1
352 #define MONO_ARCH_HAVE_SIGCTX_TO_MONOCTX 1
353 #if !defined(HOST_WIN32)
354 #define MONO_ARCH_MONITOR_OBJECT_REG MONO_AMD64_ARG_REG1
355 #endif
356 #define MONO_ARCH_HAVE_STATIC_RGCTX_TRAMPOLINE 1
357 #define MONO_ARCH_HAVE_GET_TRAMPOLINES 1
358
359 #define MONO_ARCH_AOT_SUPPORTED 1
360 #ifndef HOST_WIN32
361 #define MONO_ARCH_SOFT_DEBUG_SUPPORTED 1
362 #else
363 #define DISABLE_DEBUGGER_AGENT 1
364 #endif
365
366 #if !defined(HOST_WIN32) || defined(__sun)
367 #define MONO_ARCH_ENABLE_MONITOR_IL_FASTPATH 1
368 #endif
369
370 #define MONO_ARCH_SUPPORT_TASKLETS 1
371
372 #ifndef HOST_WIN32
373 #define MONO_AMD64_NO_PUSHES 1
374 #endif
375
376 #define MONO_ARCH_GSHARED_SUPPORTED 1
377 #define MONO_ARCH_DYN_CALL_SUPPORTED 1
378 #define MONO_ARCH_DYN_CALL_PARAM_AREA 0
379
380 #define MONO_ARCH_HAVE_LLVM_IMT_TRAMPOLINE 1
381 #define MONO_ARCH_LLVM_SUPPORTED 1
382 #define MONO_ARCH_THIS_AS_FIRST_ARG 1
383 #define MONO_ARCH_HAVE_HANDLER_BLOCK_GUARD 1
384 #define MONO_ARCH_HAVE_CARD_TABLE_WBARRIER 1
385 #define MONO_ARCH_HAVE_SETUP_RESUME_FROM_SIGNAL_HANDLER_CTX 1
386 #define MONO_ARCH_GC_MAPS_SUPPORTED 1
387
388 gboolean
389 mono_amd64_tail_call_supported (MonoMethodSignature *caller_sig, MonoMethodSignature *callee_sig) MONO_INTERNAL;
390
391 #define MONO_ARCH_USE_OP_TAIL_CALL(caller_sig, callee_sig) mono_amd64_tail_call_supported (caller_sig, callee_sig)
392
393 /* Used for optimization, not complete */
394 #define MONO_ARCH_IS_OP_MEMBASE(opcode) ((opcode) == OP_X86_PUSH_MEMBASE)
395
396 #define MONO_ARCH_EMIT_BOUNDS_CHECK(cfg, array_reg, offset, index_reg) do { \
397             MonoInst *inst; \
398             MONO_INST_NEW ((cfg), inst, OP_AMD64_ICOMPARE_MEMBASE_REG); \
399             inst->inst_basereg = array_reg; \
400             inst->inst_offset = offset; \
401             inst->sreg2 = index_reg; \
402             MONO_ADD_INS ((cfg)->cbb, inst); \
403             MONO_EMIT_NEW_COND_EXC (cfg, LE_UN, "IndexOutOfRangeException"); \
404        } while (0)
405
406 void 
407 mono_amd64_patch (unsigned char* code, gpointer target) MONO_INTERNAL;
408
409 void
410 mono_amd64_throw_exception (guint64 dummy1, guint64 dummy2, guint64 dummy3, guint64 dummy4,
411                                                         guint64 dummy5, guint64 dummy6,
412                                                         mgreg_t *regs, mgreg_t rip,
413                                                         MonoObject *exc, gboolean rethrow) MONO_INTERNAL;
414
415 void
416 mono_amd64_throw_corlib_exception (guint64 dummy1, guint64 dummy2, guint64 dummy3, guint64 dummy4,
417                                                                    guint64 dummy5, guint64 dummy6,
418                                                                    mgreg_t *regs, mgreg_t rip,
419                                                                    guint32 ex_token_index, gint64 pc_offset) MONO_INTERNAL;
420
421 guint64
422 mono_amd64_get_original_ip (void) MONO_INTERNAL;
423
424 guint8*
425 mono_amd64_emit_tls_get (guint8* code, int dreg, int tls_offset) MONO_INTERNAL;
426
427 GSList*
428 mono_amd64_get_exception_trampolines (gboolean aot) MONO_INTERNAL;
429
430 typedef struct {
431         guint8 *address;
432         guint8 saved_byte;
433 } MonoBreakpointInfo;
434
435 extern MonoBreakpointInfo mono_breakpoint_info [MONO_BREAKPOINT_ARRAY_SIZE];
436
437 #ifdef HOST_WIN32
438
439 void mono_arch_unwindinfo_add_push_nonvol (gpointer* monoui, gpointer codebegin, gpointer nextip, guchar reg );
440 void mono_arch_unwindinfo_add_set_fpreg (gpointer* monoui, gpointer codebegin, gpointer nextip, guchar reg );
441 void mono_arch_unwindinfo_add_alloc_stack (gpointer* monoui, gpointer codebegin, gpointer nextip, guint size );
442 guint mono_arch_unwindinfo_get_size (gpointer monoui);
443 void mono_arch_unwindinfo_install_unwind_info (gpointer* monoui, gpointer code, guint code_size);
444
445 #define MONO_ARCH_HAVE_UNWIND_TABLE 1
446 #endif
447
448 #endif /* __MONO_MINI_AMD64_H__ */  
449