2008-07-27 Zoltan Varga <vargaz@gmail.com>
[mono.git] / mono / mini / mini-s390.h
1 #ifndef __MONO_MINI_S390_H__
2 #define __MONO_MINI_S390_H__
3
4 #include <mono/arch/s390/s390-codegen.h>
5 #include <signal.h>
6
7 #define MONO_ARCH_CPU_SPEC s390_cpu_desc
8
9 #define MONO_MAX_IREGS 16
10 #define MONO_MAX_FREGS 16
11
12 /*-------------------------------------------*/
13 /* Parameters used by the register allocator */
14 /*-------------------------------------------*/
15
16 #define MONO_EMIT_NEW_MOVE(cfg,dest,offset,src,imm,size) do {                   \
17                 MonoInst *inst;                                                 \
18                 int tmpr = 0;                                                   \
19                 int sReg, dReg;                                                 \
20                                                                                 \
21                 inst = mono_mempool_alloc0 ((cfg)->mempool, sizeof (MonoInst)); \
22                 if (size > 256) {                                               \
23                         tmpr = mono_regstate_next_int (cfg->rs);                \
24                         MONO_EMIT_NEW_ICONST(cfg,tmpr,size);                    \
25                         inst->dreg        = dest;                               \
26                         inst->inst_offset = offset;                             \
27                         inst->sreg1       = src;                                \
28                         inst->inst_imm    = imm;                                \
29                         inst->sreg2       = tmpr;                               \
30                 } else {                                                        \
31                         if (s390_is_uimm12(offset)) {                           \
32                                 inst->dreg        = dest;                       \
33                                 inst->inst_offset = offset;                     \
34                         } else {                                                \
35                                 dReg = mono_regstate_next_int (cfg->rs);        \
36                                 MONO_EMIT_NEW_BIALU_IMM(cfg, OP_ADD_IMM,        \
37                                         dReg, dest, offset);                    \
38                                 inst->dreg        = dReg;                       \
39                                 inst->inst_offset = 0;                          \
40                         }                                                       \
41                         if (s390_is_uimm12(imm)) {                              \
42                                 inst->sreg1       = src;                        \
43                                 inst->inst_imm    = imm;                        \
44                         } else {                                                \
45                                 sReg = mono_regstate_next_int (cfg->rs);        \
46                                 MONO_EMIT_NEW_BIALU_IMM(cfg, OP_ADD_IMM,        \
47                                         sReg, src, imm);                        \
48                                 inst->sreg1       = sReg;                       \
49                                 inst->inst_imm    = 0;                          \
50                         }                                                       \
51                 }                                                               \
52                 inst->opcode      = OP_S390_MOVE;                               \
53                 inst->backend.size        = size;                                       \
54                 mono_bblock_add_inst (cfg->cbb, inst);                          \
55         } while (0)
56
57 #define MONO_OUTPUT_VTR(cfg, size, dr, sr, so) do {                             \
58         int reg = mono_regstate_next_int (cfg->rs);                             \
59         switch (size) {                                                         \
60                 case 0:                                                         \
61                         MONO_EMIT_NEW_ICONST(cfg, reg, 0);                      \
62                         mono_call_inst_add_outarg_reg(cfg, call, reg, dr, FALSE);       \
63                 break;                                                          \
64                 case 1:                                                         \
65                         MONO_EMIT_NEW_LOAD_MEMBASE_OP(cfg, OP_LOADU1_MEMBASE,   \
66                                 reg, sr, so);                                   \
67                         mono_call_inst_add_outarg_reg(cfg, call, reg, dr, FALSE);       \
68                 break;                                                          \
69                 case 2:                                                         \
70                         MONO_EMIT_NEW_LOAD_MEMBASE_OP(cfg, OP_LOADU2_MEMBASE,   \
71                                 reg, sr, so);                                   \
72                         mono_call_inst_add_outarg_reg(cfg, call, reg, dr, FALSE);       \
73                 break;                                                          \
74                 case 4:                                                         \
75                         MONO_EMIT_NEW_LOAD_MEMBASE_OP(cfg, OP_LOAD_MEMBASE,     \
76                                 reg, sr, so);                                   \
77                         mono_call_inst_add_outarg_reg(cfg, call, reg, dr, FALSE);       \
78                 break;                                                          \
79                 case 8:                                                         \
80                         MONO_EMIT_NEW_LOAD_MEMBASE_OP(cfg, OP_LOAD_MEMBASE,     \
81                                 reg, sr, so);                                   \
82                         mono_call_inst_add_outarg_reg(cfg, call, reg, dr, FALSE);       \
83                         reg = mono_regstate_next_int (cfg->rs);                 \
84                         MONO_EMIT_NEW_LOAD_MEMBASE_OP(cfg, OP_LOAD_MEMBASE,     \
85                                 reg, sr, so + sizeof (guint32));                                        \
86                         mono_call_inst_add_outarg_reg(cfg, call, reg, dr + 1, FALSE);   \
87                 break;                                                          \
88         }                                                                       \
89 } while (0)
90
91 #define MONO_OUTPUT_VTS(cfg, size, dr, dx, sr, so) do {                         \
92         int tmpr;                                                               \
93         switch (size) {                                                         \
94                 case 0:                                                         \
95                         tmpr = mono_regstate_next_int (cfg->rs);                \
96                         MONO_EMIT_NEW_ICONST(cfg, tmpr, 0);                     \
97                         MONO_EMIT_NEW_STORE_MEMBASE(cfg, OP_STORE_MEMBASE_REG,  \
98                                 dr, dx, tmpr);                                  \
99                 break;                                                          \
100                 case 1:                                                         \
101                         tmpr = mono_regstate_next_int (cfg->rs);                \
102                         MONO_EMIT_NEW_LOAD_MEMBASE_OP(cfg, OP_LOADU1_MEMBASE,   \
103                                 tmpr, sr, so);                                  \
104                         MONO_EMIT_NEW_STORE_MEMBASE(cfg, OP_STORE_MEMBASE_REG,  \
105                                 dr, dx, tmpr);                                  \
106                 break;                                                          \
107                 case 2:                                                         \
108                         tmpr = mono_regstate_next_int (cfg->rs);                \
109                         MONO_EMIT_NEW_LOAD_MEMBASE_OP(cfg, OP_LOADU2_MEMBASE,   \
110                                 tmpr, sr, so);                                  \
111                         MONO_EMIT_NEW_STORE_MEMBASE(cfg, OP_STORE_MEMBASE_REG,  \
112                                 dr, dx, tmpr);                                  \
113                 break;                                                          \
114                 case 4:                                                         \
115                 case 8:                                                         \
116                         MONO_EMIT_NEW_MOVE (cfg, dr, dx, sr, so, size);         \
117                 break;                                                          \
118         }                                                                       \
119 } while (0)
120
121 struct MonoLMF {
122         gpointer    previous_lmf;
123         gpointer    lmf_addr;
124         MonoMethod *method;
125         gulong      ebp;
126         gulong      eip;
127         gulong      pregs[6];
128         gulong      gregs[16];
129         gdouble     fregs[16];
130 };
131
132 typedef struct ucontext MonoContext;
133
134 typedef struct MonoCompileArch {
135         int bkchain_reg;
136 } MonoCompileArch;
137
138 typedef struct
139 {
140         void *prev;
141         void *unused[5];
142         void *regs[8];
143         void *return_address;
144 } MonoS390StackFrame;
145
146 typedef struct
147 {
148         gint32  size;
149         gint32  offset;
150         gint32  offPrm;
151 } MonoS390ArgParm;
152
153 #define MONO_ARCH_EMULATE_FCONV_TO_I8           1
154 #define MONO_ARCH_EMULATE_LCONV_TO_R8           1
155 #define MONO_ARCH_EMULATE_LCONV_TO_R4           1
156 #define MONO_ARCH_EMULATE_LCONV_TO_R8_UN        1
157 #define MONO_ARCH_EMULATE_LMUL                  1
158 #define MONO_ARCH_HAVE_IS_INT_OVERFLOW          1
159 #define MONO_ARCH_NEED_DIV_CHECK                1
160 #define MONO_ARCH_HAVE_ATOMIC_ADD 1
161 #define MONO_ARCH_HAVE_ATOMIC_EXCHANGE 1
162 #define MONO_ARCH_ENABLE_NORMALIZE_OPCODES 1
163 #define MONO_ARCH_HAVE_DECOMPOSE_OPTS 1
164 #define MONO_ARCH_HAVE_DECOMPOSE_LONG_OPTS 1
165 // #define MONO_ARCH_SIGSEGV_ON_ALTSTACK                1
166 // #define MONO_ARCH_SIGNAL_STACK_SIZE          65536
167 // #define MONO_ARCH_HAVE_THROW_CORLIB_EXCEPTION        1
168
169 #define MONO_ARCH_USE_SIGACTION         1
170 // #define CUSTOM_STACK_WALK            1
171 // #define CUSTOM_EXCEPTION_HANDLING    1
172 // #define mono_find_jit_info           mono_arch_find_jit_info
173
174 #define S390_STACK_ALIGNMENT             8
175 #define S390_FIRST_ARG_REG              s390_r2
176 #define S390_LAST_ARG_REG               s390_r6
177 #define S390_FIRST_FPARG_REG            s390_f0
178 #define S390_LAST_FPARG_REG             s390_f2
179 #define S390_PASS_STRUCTS_BY_VALUE       1
180 #define S390_SMALL_RET_STRUCT_IN_REG     1
181
182 #define S390_NUM_REG_ARGS (S390_LAST_ARG_REG-S390_FIRST_ARG_REG+1)
183 #define S390_NUM_REG_FPARGS (S390_LAST_FPARG_REG-S390_FIRST_FPARG_REG)
184
185 /*===============================================*/
186 /* Definitions used by mini-codegen.c            */
187 /*===============================================*/
188
189 /*-----------------------------------------------------*/
190 /* use s390_r2-s390_r6 as parm registers               */
191 /* s390_r0, s390_r1, s390_r12, s390_r13 used internally*/
192 /* s390_r8..s390_r11 are used for global regalloc      */
193 /* s390_r15 is the stack pointer                       */
194 /*-----------------------------------------------------*/
195 #define MONO_ARCH_CALLEE_REGS (0xfc)
196
197 #define MONO_ARCH_CALLEE_SAVED_REGS 0xff80
198
199 /*----------------------------------------*/
200 /* use s390_f1/s390_f3-s390_f15 as temps  */
201 /*----------------------------------------*/
202
203 #define MONO_ARCH_CALLEE_FREGS (0xfffe)
204
205 #define MONO_ARCH_CALLEE_SAVED_FREGS 0
206
207 #define MONO_ARCH_USE_FPSTACK FALSE
208 #define MONO_ARCH_FPSTACK_SIZE 0
209
210 #define MONO_ARCH_INST_FIXED_REG(desc) ((desc == 'o') ? s390_r2 :               \
211                                         ((desc == 'L') ? s390_r3 :              \
212                                         ((desc == 'g') ? s390_f0 : - 1)))
213
214 #define MONO_ARCH_INST_IS_FLOAT(desc)  ((desc == 'f') || (desc == 'g'))
215
216 #define MONO_ARCH_INST_SREG2_MASK(ins) (0)
217
218 #define MONO_ARCH_INST_IS_REGPAIR(desc) ((desc == 'l') || (desc == 'L'))
219 //#define MONO_ARCH_INST_IS_REGPAIR(desc) (0)
220 #define MONO_ARCH_INST_REGPAIR_REG2(desc,hr) ((desc == 'l') ? (hr + 1) :        \
221                                               ((desc == 'L') ? s390_r2 : -1))
222
223 #define MONO_ARCH_IS_GLOBAL_IREG(reg) 0
224
225 #define MONO_ARCH_FRAME_ALIGNMENT 4
226 #define MONO_ARCH_CODE_ALIGNMENT 32
227
228 #define MONO_ARCH_BASEREG s390_r15
229 #define MONO_ARCH_RETREG1 s390_r2
230
231 /*-----------------------------------------------*/
232 /* Macros used to generate instructions          */
233 /*-----------------------------------------------*/
234 #define S390_OFFSET(b, t)       (guchar *) ((gint32) (b) - (gint32) (t))
235 #define S390_RELATIVE(b, t)     (guchar *) ((((gint32) (b) - (gint32) (t))) / 2)
236
237 #define CODEPTR(c, o) (o) = (short *) ((guint32) c - 2)
238 #define PTRSLOT(c, o) *(o) = (short) ((guint32) c - (guint32) (o) + 2)/2
239
240 #define S390_CC_EQ                      8
241 #define S390_ALIGN(v, a)        (((a) > 0 ? (((v) + ((a) - 1)) & ~((a) - 1)) : (v)))
242
243 #define MONO_CONTEXT_SET_IP(ctx,ip)                                     \
244         do {                                                            \
245                 (ctx)->uc_mcontext.gregs[14] = (unsigned long)ip;       \
246                 (ctx)->uc_mcontext.psw.addr = (unsigned long)ip;        \
247         } while (0); 
248
249 #define MONO_CONTEXT_SET_SP(ctx,bp) MONO_CONTEXT_SET_BP((ctx),(bp))
250 #define MONO_CONTEXT_SET_BP(ctx,bp)                                     \
251         do {                                                            \
252                 (ctx)->uc_mcontext.gregs[15] = (unsigned long)bp;       \
253                 (ctx)->uc_stack.ss_sp        = (void*)bp;       \
254         } while (0); 
255
256 #define MONO_CONTEXT_GET_IP(ctx) context_get_ip ((ctx))
257 #define MONO_CONTEXT_GET_BP(ctx) MONO_CONTEXT_GET_SP((ctx))
258 #define MONO_CONTEXT_GET_SP(ctx) ((gpointer)((ctx)->uc_mcontext.gregs[15]))
259
260 #define MONO_INIT_CONTEXT_FROM_FUNC(ctx,func) do {                      \
261                 MonoS390StackFrame *sframe;                             \
262                 __asm__ volatile("lr    %0,15" : "=r" (sframe));        \
263                 MONO_CONTEXT_SET_BP ((ctx), sframe->prev);              \
264                 MONO_CONTEXT_SET_SP ((ctx), sframe->prev);              \
265                 sframe = (MonoS390StackFrame*)sframe->prev;             \
266                 MONO_CONTEXT_SET_IP ((ctx), sframe->return_address);    \
267         } while (0)
268
269 /*------------------------------------------------------------------*/
270 /*                                                                  */
271 /* Name         - context_get_ip                                    */
272 /*                                                                  */
273 /* Function     - Extract the current instruction address from the  */
274 /*                context.                                          */
275 /*                                                                  */
276 /*------------------------------------------------------------------*/
277
278 static inline gpointer 
279 context_get_ip (MonoContext *ctx) 
280 {
281         gpointer ip;
282
283         ip = (gpointer) ((gint32) (ctx->uc_mcontext.psw.addr) & 0x7fffffff);
284         return ip;
285 }
286
287 /*========================= End of Function ========================*/
288
289 /*------------------------------------------------------------------*/
290 /*                                                                  */
291 /* Name         - s390_patch                                        */
292 /*                                                                  */
293 /* Function     - Patch the code with a given value.                */
294 /*                                                                  */
295 /*------------------------------------------------------------------*/
296
297 static void inline
298 s390_patch (guchar *code, gint32 target)
299 {
300         gint32 *offset = (gint32 *) code;
301         
302         if (target != 00) {
303                 *offset = target;
304         }
305 }
306
307 /*========================= End of Function ========================*/
308
309 /*------------------------------------------------------------------*/
310 /*                                                                  */
311 /* Name         - restoreLMF                                        */
312 /*                                                                  */
313 /* Function     - Restore the LMF state prior to exiting a method.  */
314 /*                                                                  */
315 /*------------------------------------------------------------------*/
316
317 #define restoreLMF(code, frame_reg, stack_usage) do                     \
318 {                                                                       \
319         int lmfOffset = 0;                                              \
320                                                                         \
321         s390_lr  (code, s390_r13, frame_reg);                           \
322                                                                         \
323         lmfOffset = stack_usage -  sizeof(MonoLMF);                     \
324                                                                         \
325         /*-------------------------------------------------*/           \
326         /* r13 = my lmf                                    */           \
327         /*-------------------------------------------------*/           \
328         s390_ahi (code, s390_r13, lmfOffset);                           \
329                                                                         \
330         /*-------------------------------------------------*/           \
331         /* r6 = &jit_tls->lmf                              */           \
332         /*-------------------------------------------------*/           \
333         s390_l   (code, s390_r6, 0, s390_r13,                           \
334                   G_STRUCT_OFFSET(MonoLMF, lmf_addr));                  \
335                                                                         \
336         /*-------------------------------------------------*/           \
337         /* r0 = lmf.previous_lmf                           */           \
338         /*-------------------------------------------------*/           \
339         s390_l   (code, s390_r0, 0, s390_r13,                           \
340                   G_STRUCT_OFFSET(MonoLMF, previous_lmf));              \
341                                                                         \
342         /*-------------------------------------------------*/           \
343         /* jit_tls->lmf = previous_lmf                     */           \
344         /*-------------------------------------------------*/           \
345         s390_l   (code, s390_r13, 0, s390_r6, 0);                       \
346         s390_st  (code, s390_r0, 0, s390_r6, 0);                        \
347 } while (0)
348
349 /*========================= End of Function ========================*/
350
351 #endif /* __MONO_MINI_S390_H__ */