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