Merge pull request #1899 from saper/resgencond
[mono.git] / mono / mini / tramp-sparc.c
1 /*
2  * tramp-sparc.c: JIT trampoline code for Sparc
3  *
4  * Authors:
5  *   Mark Crichton (crichton@gimp.org)
6  *   Dietmar Maurer (dietmar@ximian.com)
7  *
8  * (C) 2003 Ximian, Inc.
9  */
10
11 #include <config.h>
12 #include <glib.h>
13
14 #include <mono/arch/sparc/sparc-codegen.h>
15 #include <mono/metadata/appdomain.h>
16 #include <mono/metadata/marshal.h>
17 #include <mono/metadata/tabledefs.h>
18
19 #include "mini.h"
20 #include "mini-sparc.h"
21
22 /*
23  * mono_arch_get_unbox_trampoline:
24  * @m: method pointer
25  * @addr: pointer to native code for @m
26  *
27  * when value type methods are called through the vtable we need to unbox the
28  * this argument. This method returns a pointer to a trampoline which does
29  * unboxing before calling the method
30  */
31 gpointer
32 mono_arch_get_unbox_trampoline (MonoMethod *m, gpointer addr)
33 {
34         guint8 *code, *start;
35         int reg;
36
37         start = code = mono_global_codeman_reserve (36);
38
39         /* This executes in the context of the caller, hence o0 */
40         sparc_add_imm (code, 0, sparc_o0, sizeof (MonoObject), sparc_o0);
41 #ifdef SPARCV9
42         reg = sparc_g4;
43 #else
44         reg = sparc_g1;
45 #endif
46         sparc_set (code, addr, reg);
47         sparc_jmpl (code, reg, sparc_g0, sparc_g0);
48         sparc_nop (code);
49
50         g_assert ((code - start) <= 36);
51
52         mono_arch_flush_icache (start, code - start);
53
54         mono_tramp_info_register (mono_tramp_info_create (NULL, start, code - start, NULL, NULL), NULL);
55
56         return start;
57 }
58
59 void
60 mono_arch_patch_callsite (guint8 *method_start, guint8 *code, guint8 *addr)
61 {
62         if (sparc_inst_op (*(guint32*)code) == 0x1) {
63                 sparc_call_simple (code, (guint8*)addr - (guint8*)code);
64         }
65 }
66
67 void
68 mono_arch_patch_plt_entry (guint8 *code, gpointer *got, mgreg_t *regs, guint8 *addr)
69 {
70         g_assert_not_reached ();
71 }
72
73 #define ALIGN_TO(val,align) (((val) + ((align) - 1)) & ~((align) - 1))
74
75 guchar*
76 mono_arch_create_generic_trampoline (MonoTrampolineType tramp_type, MonoTrampInfo **info, gboolean aot)
77 {
78         guint8 *buf, *code, *tramp_addr;
79         guint32 lmf_offset, regs_offset, method_reg, i;
80         gboolean has_caller;
81
82         g_assert (!aot);
83         *info = NULL;
84
85         if (tramp_type == MONO_TRAMPOLINE_JUMP)
86                 has_caller = FALSE;
87         else
88                 has_caller = TRUE;
89
90         code = buf = mono_global_codeman_reserve (1024);
91
92         sparc_save_imm (code, sparc_sp, -1608, sparc_sp);
93
94 #ifdef SPARCV9
95         method_reg = sparc_g4;
96 #else
97         method_reg = sparc_g1;
98 #endif
99
100         regs_offset = MONO_SPARC_STACK_BIAS + 1000;
101
102         /* Save r1 needed by the IMT code */
103         sparc_sti_imm (code, sparc_g1, sparc_sp, regs_offset + (sparc_g1 * sizeof (gpointer)));
104
105         /* 
106          * sparc_g5 contains the return address, the trampoline argument is stored in the
107          * instruction stream after the call.
108          */
109         sparc_ld_imm (code, sparc_g5, 8, method_reg);
110
111 #ifdef SPARCV9
112         /* Save fp regs since they are not preserved by calls */
113         for (i = 0; i < 16; i ++)
114                 sparc_stdf_imm (code, sparc_f0 + (i * 2), sparc_sp, MONO_SPARC_STACK_BIAS + 320 + (i * 8));
115 #endif  
116
117         /* We receive the method address in %r1, so save it here */
118         sparc_sti_imm (code, method_reg, sparc_sp, MONO_SPARC_STACK_BIAS + 200);
119
120         /* Save lmf since compilation can raise exceptions */
121         lmf_offset = MONO_SPARC_STACK_BIAS - sizeof (MonoLMF);
122
123         /* Save the data for the parent (managed) frame */
124
125         /* Save ip */
126         sparc_sti_imm (code, sparc_i7, sparc_fp, lmf_offset + G_STRUCT_OFFSET (MonoLMF, ip));
127         /* Save sp */
128         sparc_sti_imm (code, sparc_fp, sparc_fp, lmf_offset + G_STRUCT_OFFSET (MonoLMF, sp));
129         /* Save fp */
130         /* Load previous fp from the saved register window */
131         sparc_flushw (code);
132         sparc_ldi_imm (code, sparc_fp, MONO_SPARC_STACK_BIAS + (sparc_i6 - 16) * sizeof (gpointer), sparc_o7);
133         sparc_sti_imm (code, sparc_o7, sparc_fp, lmf_offset + G_STRUCT_OFFSET (MonoLMF, ebp));
134         /* Save method */
135         sparc_sti_imm (code, method_reg, sparc_fp, lmf_offset + G_STRUCT_OFFSET (MonoLMF, method));
136
137         sparc_set (code, mono_get_lmf_addr, sparc_o7);
138         sparc_jmpl (code, sparc_o7, sparc_g0, sparc_o7);
139         sparc_nop (code);
140
141         code = mono_sparc_emit_save_lmf (code, lmf_offset);
142
143         if (has_caller) {
144                 /* Load all registers of the caller into a table inside this frame */
145                 /* first the out registers */
146                 for (i = 0; i < 8; ++i)
147                         sparc_sti_imm (code, sparc_i0 + i, sparc_sp, regs_offset + ((sparc_o0 + i) * sizeof (gpointer)));
148                 /* then the in+local registers */
149                 for (i = 0; i < 16; i ++) {
150                         sparc_ldi_imm (code, sparc_fp, MONO_SPARC_STACK_BIAS + (i * sizeof (gpointer)), sparc_o7);
151                         sparc_sti_imm (code, sparc_o7, sparc_sp, regs_offset + ((sparc_l0 + i) * sizeof (gpointer)));
152                 }
153         }
154
155         tramp_addr = mono_get_trampoline_func (tramp_type);
156         sparc_ldi_imm (code, sparc_sp, MONO_SPARC_STACK_BIAS + 200, sparc_o2);
157         /* pass address of register table as third argument */
158         sparc_add_imm (code, FALSE, sparc_sp, regs_offset, sparc_o0);
159         sparc_set (code, tramp_addr, sparc_o7);
160         /* set %o1 to caller address */
161         if (has_caller)
162                 sparc_mov_reg_reg (code, sparc_i7, sparc_o1);
163         else
164                 sparc_set (code, 0, sparc_o1);
165         sparc_set (code, 0, sparc_o3);
166         sparc_jmpl (code, sparc_o7, sparc_g0, sparc_o7);
167         sparc_nop (code);
168
169         /* Save result */
170         sparc_sti_imm (code, sparc_o0, sparc_sp, MONO_SPARC_STACK_BIAS + 304);
171
172         /* Check for thread interruption */
173         sparc_set (code, (guint8*)mono_thread_force_interruption_checkpoint, sparc_o7);
174         sparc_jmpl (code, sparc_o7, sparc_g0, sparc_o7);
175         sparc_nop (code);
176
177         /* Restore lmf */
178         code = mono_sparc_emit_restore_lmf (code, lmf_offset);
179
180         /* Reload result */
181         sparc_ldi_imm (code, sparc_sp, MONO_SPARC_STACK_BIAS + 304, sparc_o0);
182
183 #ifdef SPARCV9
184         /* Reload fp regs */
185         for (i = 0; i < 16; i ++)
186                 sparc_lddf_imm (code, sparc_sp, MONO_SPARC_STACK_BIAS + 320 + (i * 8), sparc_f0 + (i * 2));
187 #endif  
188
189         sparc_jmpl (code, sparc_o0, sparc_g0, sparc_g0);
190
191         /* restore previous frame in delay slot */
192         sparc_restore_simple (code);
193
194 /*
195 {
196         gpointer addr;
197
198         sparc_save_imm (code, sparc_sp, -608, sparc_sp);
199         addr = code;
200         sparc_call_simple (code, 16);
201         sparc_nop (code);
202         sparc_rett_simple (code);
203         sparc_nop (code);
204
205         sparc_save_imm (code, sparc_sp, -608, sparc_sp);
206         sparc_ta (code, 1);
207         tramp_addr = &sparc_magic_trampoline;
208         sparc_call_simple (code, tramp_addr - code);
209         sparc_nop (code);
210         sparc_rett_simple (code);
211         sparc_nop (code);
212 }
213 */
214
215         g_assert ((code - buf) <= 512);
216
217         mono_arch_flush_icache (buf, code - buf);
218
219         return buf;
220 }
221
222 #define TRAMPOLINE_SIZE (SPARC_SET_MAX_SIZE + 3)
223
224 gpointer
225 mono_arch_create_specific_trampoline (gpointer arg1, MonoTrampolineType tramp_type, MonoDomain *domain, guint32 *code_len)
226 {
227         guint32 *code, *buf, *tramp;
228
229         tramp = mono_get_trampoline_code (tramp_type);
230
231         code = buf = mono_domain_code_reserve (domain, TRAMPOLINE_SIZE * 4);
232
233         /* We have to use g5 here because there is no other free register */
234         sparc_set (code, tramp, sparc_g5);
235         sparc_jmpl (code, sparc_g5, sparc_g0, sparc_g5);
236         sparc_nop (code);
237 #ifdef SPARCV9
238         g_assert_not_reached ();
239 #else
240         *code = (guint32)arg1;
241         code ++;
242 #endif
243
244         g_assert ((code - buf) <= TRAMPOLINE_SIZE);
245
246         if (code_len)
247                 *code_len = (code - buf) * 4;
248
249         mono_arch_flush_icache ((guint8*)buf, (code - buf) * 4);
250
251         return buf;
252 }       
253
254 gpointer
255 mono_arch_create_rgctx_lazy_fetch_trampoline (guint32 slot, MonoTrampInfo **info, gboolean aot)
256 {
257         /* FIXME: implement! */
258         g_assert_not_reached ();
259         return NULL;
260 }