1 #ifndef __MONO_MINI_MIPS_H__
2 #define __MONO_MINI_MIPS_H__
5 #include <mono/arch/mips/mips-codegen.h>
7 #if _MIPS_SIM == _ABIO32
8 /* o32 fully supported */
9 #elif _MIPS_SIM == _ABIN32
10 /* n32 under development */
11 #warning "MIPS using n32 - under development"
13 /* o64 not supported */
14 /* n64 not supported */
15 #error "MIPS unsupported ABI"
19 #define MONO_ARCH_CPU_SPEC mips_desc
21 #define MONO_MAX_IREGS 32
22 #define MONO_MAX_FREGS 32
24 #define MONO_SAVED_GREGS 32
25 #define MONO_SAVED_FREGS 32
28 #if SIZEOF_REGISTER == 4
30 typedef guint32 mips_ireg
;
32 typedef gfloat mips_freg
;
34 #elif SIZEOF_REGISTER == 8
37 typedef guint64 mips_ireg
;
39 typedef gdouble mips_freg
;
42 #error Unknown REGISTER_SIZE
45 #if G_BYTE_ORDER == G_LITTLE_ENDIAN
46 #define MSW_OFFSET sizeof(mips_ireg)
50 #define LSW_OFFSET sizeof(mips_ireg)
54 * at and t0 used internally
55 * v0, v1 aren't here for clarity reasons
56 * a0, a1, a2, a3 are for arguments
57 * Use t9 for indirect calls to match the ABI
60 #define MIPS_V_REGS ((1 << mips_v0) | \
62 #if _MIPS_SIM == _ABIO32
63 #define MIPS_T_REGS ((1 << mips_t0) | \
71 #elif _MIPS_SIM == _ABIN32
72 #define MIPS_T_REGS ((1 << mips_t0) | \
79 #define MIPS_S_REGS ((1 << mips_s0) | \
88 #if _MIPS_SIM == _ABIO32
89 #define MIPS_A_REGS ((1 << mips_a0) | \
93 #elif _MIPS_SIM == _ABIN32
94 #define MIPS_A_REGS ((1 << mips_a0) | \
104 #define mips_temp mips_t8
106 #define MONO_ARCH_CALLEE_REGS (MIPS_T_REGS | MIPS_V_REGS)
107 #define MONO_ARCH_CALLEE_SAVED_REGS MIPS_S_REGS
108 #define MIPS_ARG_REGS MIPS_A_REGS
111 #define MIPS_FP_PAIR(reg) ((1 << (reg)) | (1 << ((reg)+1)))
113 /* Only put the even regs in */
114 #define MIPS_FP_PAIR(reg) (1 << (reg))
117 #if _MIPS_SIM == _ABIO32
118 #define MONO_ARCH_CALLEE_FREGS (MIPS_FP_PAIR(mips_f0) | \
119 MIPS_FP_PAIR(mips_f2) | \
120 MIPS_FP_PAIR(mips_f4) | \
121 MIPS_FP_PAIR(mips_f6) | \
122 MIPS_FP_PAIR(mips_f8) | \
123 MIPS_FP_PAIR(mips_f10) | \
124 MIPS_FP_PAIR(mips_f12) | \
125 MIPS_FP_PAIR(mips_f14) | \
126 MIPS_FP_PAIR(mips_f16) | \
127 MIPS_FP_PAIR(mips_f18))
129 #define MONO_ARCH_CALLEE_SAVED_FREGS (MIPS_FP_PAIR(mips_f20) | \
130 MIPS_FP_PAIR(mips_f22) | \
131 MIPS_FP_PAIR(mips_f24) | \
132 MIPS_FP_PAIR(mips_f26) | \
133 MIPS_FP_PAIR(mips_f28) | \
134 MIPS_FP_PAIR(mips_f30))
135 #elif _MIPS_SIM == _ABIN32
136 #define MONO_ARCH_CALLEE_FREGS (MIPS_FP_PAIR(mips_f0) | \
137 MIPS_FP_PAIR(mips_f1) | \
138 MIPS_FP_PAIR(mips_f2) | \
139 MIPS_FP_PAIR(mips_f3) | \
140 MIPS_FP_PAIR(mips_f4) | \
141 MIPS_FP_PAIR(mips_f5) | \
142 MIPS_FP_PAIR(mips_f6) | \
143 MIPS_FP_PAIR(mips_f7) | \
144 MIPS_FP_PAIR(mips_f8) | \
145 MIPS_FP_PAIR(mips_f9) | \
146 MIPS_FP_PAIR(mips_f10) | \
147 MIPS_FP_PAIR(mips_f11) | \
148 MIPS_FP_PAIR(mips_f12) | \
149 MIPS_FP_PAIR(mips_f13) | \
150 MIPS_FP_PAIR(mips_f14) | \
151 MIPS_FP_PAIR(mips_f15) | \
152 MIPS_FP_PAIR(mips_f16) | \
153 MIPS_FP_PAIR(mips_f17) | \
154 MIPS_FP_PAIR(mips_f18) | \
155 MIPS_FP_PAIR(mips_f19))
157 #define MONO_ARCH_CALLEE_SAVED_FREGS (MIPS_FP_PAIR(mips_f20) | \
158 MIPS_FP_PAIR(mips_f21) | \
159 MIPS_FP_PAIR(mips_f22) | \
160 MIPS_FP_PAIR(mips_f23) | \
161 MIPS_FP_PAIR(mips_f24) | \
162 MIPS_FP_PAIR(mips_f25) | \
163 MIPS_FP_PAIR(mips_f26) | \
164 MIPS_FP_PAIR(mips_f27) | \
165 MIPS_FP_PAIR(mips_f28) | \
166 MIPS_FP_PAIR(mips_f29) | \
167 MIPS_FP_PAIR(mips_f30) | \
168 MIPS_FP_PAIR(mips_f31))
171 #define mips_ftemp mips_f18
173 #define MONO_ARCH_USE_FPSTACK FALSE
174 #define MONO_ARCH_FPSTACK_SIZE 0
176 /* Parameters used by the register allocator */
178 /* On Mips, for regpairs, the lower-numbered reg is most significant
179 * This is true in both big and little endian
182 #if G_BYTE_ORDER == G_LITTLE_ENDIAN
183 #define RET_REG1 mips_v0
184 #define RET_REG2 mips_v1
186 #define RET_REG1 mips_v1
187 #define RET_REG2 mips_v0
190 #define MONO_ARCH_INST_SREG2_MASK(ins) (0)
191 #define MONO_ARCH_INST_IS_REGPAIR(desc) ((desc) == 'V' || (desc) == 'l')
192 #define MONO_ARCH_INST_REGPAIR_REG2(desc,hreg1) (((desc) == 'l') ? ((hreg1) + 1) : (((desc) == 'V') ? RET_REG2 : -1))
193 #define MONO_ARCH_INST_IS_FLOAT(desc) ((desc == 'f') || (desc == 'g'))
195 // This define is called to get specific dest register as defined
196 // by md file (letter after "dest"). Overwise return -1
198 #define MONO_ARCH_INST_FIXED_REG(desc) (((desc) == '0') ? mips_zero : (((desc) == 'a') ? mips_at : ((((desc) == 'v')) ? mips_v0 : (((desc) == 'V') ? RET_REG1 : (((desc) == 'g') ? mips_f0 : -1)))))
200 #define MONO_ARCH_FRAME_ALIGNMENT 8
202 /* fixme: align to 16byte instead of 32byte (we align to 32byte to get
203 * reproduceable results for benchmarks */
204 #define MONO_ARCH_CODE_ALIGNMENT 32
206 void mips_patch (guint32
*code
, guint32 target
);
208 #define MIPS_LMF_MAGIC1 0xa5a5a5a5
209 #define MIPS_LMF_MAGIC2 0xc3c3c3c3
212 gpointer previous_lmf
;
217 mips_ireg iregs
[MONO_SAVED_GREGS
];
218 mips_freg fregs
[MONO_SAVED_FREGS
];
222 /* we define our own structure and we'll copy the data
223 * from sigcontext/ucontext/mach when we need it.
224 * This also makes us save stack space and time when copying
225 * We might also want to add an additional field to propagate
226 * the original context from the signal handler.
230 mips_ireg sc_regs
[MONO_SAVED_GREGS
];
231 mips_freg sc_fpregs
[MONO_SAVED_FREGS
];
234 typedef struct MonoCompileArch
{
237 guint local_alloc_offset
;
238 guint spillvar_offset
;
239 guint spillvar_offset_float
;
240 guint tracing_offset
;
244 #if SIZEOF_REGISTER == 4
245 #define MONO_ARCH_EMULATE_FCONV_TO_I8 1
246 #define MONO_ARCH_EMULATE_LCONV_TO_R8 1
247 #define MONO_ARCH_EMULATE_LCONV_TO_R4 1
248 #define MONO_ARCH_EMULATE_LCONV_TO_R8_UN 1
249 #define MONO_ARCH_EMULATE_FREM 1
250 #define MONO_ARCH_BIGMUL_INTRINS 1
253 #if SIZEOF_REGISTER == 8
254 #define MONO_ARCH_NO_EMULATE_LONG_MUL_OPTS
257 #define MIPS_RET_ADDR_OFFSET (-sizeof(gpointer))
258 #define MIPS_FP_ADDR_OFFSET (-8)
259 #define MIPS_STACK_ALIGNMENT 16
260 #define MIPS_STACK_PARAM_OFFSET 16 /* from sp to first parameter */
261 #define MIPS_MINIMAL_STACK_SIZE (4*sizeof(mips_ireg) + 4*sizeof(mips_ireg))
262 #define MIPS_EXTRA_STACK_SIZE 16 /* from last parameter to top of frame */
264 #if _MIPS_SIM == _ABIO32
265 #define MIPS_FIRST_ARG_REG mips_a0
266 #define MIPS_LAST_ARG_REG mips_a3
267 #define MIPS_FIRST_FPARG_REG mips_f12
268 #define MIPS_LAST_FPARG_REG mips_f14
269 #elif _MIPS_SIM == _ABIN32
270 #define MIPS_FIRST_ARG_REG mips_a0
271 #define MIPS_LAST_ARG_REG mips_t3
272 #define MIPS_FIRST_FPARG_REG mips_f12
273 #define MIPS_LAST_FPARG_REG mips_f19
276 #define MONO_ARCH_HAVE_IMT 1
277 #define MONO_ARCH_IMT_REG mips_t0
279 #define MONO_ARCH_VTABLE_REG mips_t0
280 #define MONO_ARCH_RGCTX_REG mips_t0
282 #define MONO_ARCH_HAVE_DECOMPOSE_OPTS 1
283 #define MONO_ARCH_HAVE_DECOMPOSE_LONG_OPTS 1
285 #define MONO_ARCH_HAVE_GENERALIZED_IMT_THUNK 1
287 /* XXX - a mystery, but it works */
288 #define MONO_GET_CONTEXT \
289 void *ctx = (void *)(((int)context)+24);
291 /* set the next to 0 once inssel-mips.brg is updated */
292 #define MIPS_PASS_STRUCTS_BY_VALUE 1
293 #define MIPS_SMALL_RET_STRUCT_IN_REG 0
295 #define MONO_ARCH_USE_SIGACTION
296 #define MONO_ARCH_NEED_DIV_CHECK 1
297 #define MONO_ARCH_NO_IOV_CHECK 1
299 #define MONO_ARCH_THIS_AS_FIRST_ARG 1
301 #define MIPS_NUM_REG_ARGS (MIPS_LAST_ARG_REG-MIPS_FIRST_ARG_REG+1)
302 #define MIPS_NUM_REG_FPARGS (MIPS_LAST_FPARG_REG-MIPS_FIRST_FPARG_REG+1)
304 /* we have the stack pointer, not the base pointer in sigcontext */
305 #define MONO_CONTEXT_SET_IP(ctx,ip) do { (ctx)->sc_pc = (int)(ip); } while (0);
306 #define MONO_CONTEXT_SET_BP(ctx,bp) do { (ctx)->sc_regs[mips_fp] = (int)(bp); } while (0);
307 #define MONO_CONTEXT_SET_SP(ctx,sp) do { (ctx)->sc_regs[mips_sp] = (int)(sp); } while (0);
309 #define MONO_CONTEXT_GET_IP(ctx) ((gpointer)((ctx)->sc_pc))
310 #define MONO_CONTEXT_GET_BP(ctx) ((gpointer)((ctx)->sc_regs[mips_fp]))
311 #define MONO_CONTEXT_GET_SP(ctx) ((gpointer)((ctx)->sc_regs[mips_sp]))
315 unsigned long at
; /* assembler temp */
316 unsigned long v0
; /* return values */
318 unsigned long a0
; /* 4 - func arguments */
322 unsigned long t0
; /* 8 temporaries */
330 unsigned long s0
; /* 16 calle saved */
338 unsigned long t8
; /* 24 temps */
339 unsigned long t9
; /* 25 temp / pic call-through register */
340 unsigned long k0
; /* 26 kernel-reserved */
342 unsigned long gp
; /* 28 */
343 unsigned long sp
; /* stack pointer */
344 unsigned long fp
; /* frame pointer */
345 unsigned long ra
; /* return address */
346 } MonoMipsStackFrame
;
348 #define MONO_INIT_CONTEXT_FROM_FUNC(ctx,func) do { \
350 guint32 *code = (guint32 *)(void *)func; \
352 memset ((ctx), 0, sizeof (*(ctx))); \
353 __asm__ volatile("addu %0,$0,$29" : "=r" (sp)); \
354 /* Look for adjustment of sp */ \
355 while ((*code & 0xffff0000) != 0x27bd0000) \
357 imm = (short) (*code & 0xffff); \
358 MONO_CONTEXT_SET_BP ((ctx), sp + (-imm)); \
359 ra = *(guint32 *)(sp + (-imm) + MIPS_RET_ADDR_OFFSET); \
360 MONO_CONTEXT_SET_IP ((ctx),ra); \
361 MONO_CONTEXT_SET_SP ((ctx), MONO_CONTEXT_GET_BP (ctx)); \
364 #define MONO_ARCH_INIT_TOP_LMF_ENTRY(lmf) do { (lmf)->ebp = -1; } while (0)
366 /* re-attaches with gdb - sometimes causes executable to hang */
367 #undef HAVE_BACKTRACE_SYMBOLS
369 #undef DEBUG_EXCEPTIONS
371 #define MONO_ZERO_REG mips_zero
373 #define MONO_EMIT_NEW_MIPS_COND_EXC(cfg,cond,sr1,sr2,name) do { \
375 MONO_INST_NEW ((cfg), (inst), cond); \
376 inst->inst_p1 = (char*)name; \
379 MONO_ADD_INS ((cfg)->cbb, inst); \
382 #ifndef MONO_EMIT_NEW_COMPARE_EXC
383 #define MONO_EMIT_NEW_COMPARE_EXC(cfg, cmp_op, sreg1, sreg2, exc) do { \
384 switch (OP_MIPS_COND_EXC_##cmp_op) { \
385 case OP_MIPS_COND_EXC_EQ: \
386 MONO_EMIT_NEW_MIPS_COND_EXC (cfg, OP_MIPS_COND_EXC_EQ, sreg1, sreg2, exc); \
388 case OP_MIPS_COND_EXC_NE_UN: \
389 MONO_EMIT_NEW_MIPS_COND_EXC (cfg, OP_MIPS_COND_EXC_NE_UN, sreg1, sreg2, exc); \
391 case OP_MIPS_COND_EXC_GT: \
392 MONO_EMIT_NEW_BIALU (cfg, OP_MIPS_SLT, mips_at, sreg2, sreg1); \
393 MONO_EMIT_NEW_MIPS_COND_EXC (cfg, OP_MIPS_COND_EXC_NE_UN, mips_at, mips_zero, exc); \
395 case OP_MIPS_COND_EXC_GT_UN: \
396 MONO_EMIT_NEW_BIALU (cfg, OP_MIPS_SLTU, mips_at, sreg2, sreg1); \
397 MONO_EMIT_NEW_MIPS_COND_EXC (cfg, OP_MIPS_COND_EXC_NE_UN, mips_at, mips_zero, exc); \
399 case OP_MIPS_COND_EXC_LE: \
400 MONO_EMIT_NEW_BIALU (cfg, OP_MIPS_SLT, mips_at, sreg2, sreg1); \
401 MONO_EMIT_NEW_MIPS_COND_EXC (cfg, OP_MIPS_COND_EXC_EQ, mips_at, mips_zero, exc); \
403 case OP_MIPS_COND_EXC_LE_UN: \
404 MONO_EMIT_NEW_BIALU (cfg, OP_MIPS_SLTU, mips_at, sreg2, sreg1); \
405 MONO_EMIT_NEW_MIPS_COND_EXC (cfg, OP_MIPS_COND_EXC_EQ, mips_at, mips_zero, exc); \
407 case OP_MIPS_COND_EXC_LT: \
408 MONO_EMIT_NEW_BIALU (cfg, OP_MIPS_SLT, mips_at, sreg1, sreg2); \
409 MONO_EMIT_NEW_MIPS_COND_EXC (cfg, OP_MIPS_COND_EXC_NE_UN, mips_at, mips_zero, exc); \
411 case OP_MIPS_COND_EXC_LT_UN: \
412 MONO_EMIT_NEW_BIALU (cfg, OP_MIPS_SLTU, mips_at, sreg1, sreg2); \
413 MONO_EMIT_NEW_MIPS_COND_EXC (cfg, OP_MIPS_COND_EXC_NE_UN, mips_at, mips_zero, exc); \
416 g_warning ("unknown comparison %s\n", #cmp_op); \
417 g_assert_not_reached (); \
422 #ifndef MONO_EMIT_NEW_COMPARE_IMM_EXC
423 #define MONO_EMIT_NEW_COMPARE_IMM_EXC(cfg, cmp_op, sreg1, imm, exc) do { \
426 cmp_reg = mips_zero; \
430 MONO_EMIT_NEW_ICONST (cfg, cmp_reg, (imm)); \
432 MONO_EMIT_NEW_COMPARE_EXC (cfg, cmp_op, sreg1, cmp_reg, exc); \
436 #ifndef MONO_EMIT_NEW_ICOMPARE_IMM_EXC
437 #define MONO_EMIT_NEW_ICOMPARE_IMM_EXC(cfg, cmp_op, sreg1, imm, exc) do { \
438 MONO_EMIT_NEW_COMPARE_IMM_EXC(cfg, cmp_op, sreg1, imm, exc); \
449 extern guint8
*mips_emit_load_const(guint8
*code
, int dreg
, mgreg_t v
);
451 #endif /* __MONO_MINI_MIPS_H__ */