2008-02-06 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(s, 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(s, 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(s, 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(s, 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(s, call, reg, dr, FALSE); \
83                         dr++; so += sizeof(guint32);                            \
84                         reg = mono_regstate_next_int (cfg->rs);                 \
85                         MONO_EMIT_NEW_LOAD_MEMBASE_OP(cfg, OP_LOAD_MEMBASE,     \
86                                 reg, sr, so);                                   \
87                         mono_call_inst_add_outarg_reg(s, call, reg, dr, FALSE); \
88                 break;                                                          \
89         }                                                                       \
90 } while (0)
91
92 #define MONO_OUTPUT_VTS(cfg, size, dr, dx, sr, so) do {                         \
93         int tmpr;                                                               \
94         switch (size) {                                                         \
95                 case 0:                                                         \
96                         tmpr = mono_regstate_next_int (cfg->rs);                \
97                         MONO_EMIT_NEW_ICONST(cfg, tmpr, 0);                     \
98                         MONO_EMIT_NEW_STORE_MEMBASE(cfg, OP_STORE_MEMBASE_REG,  \
99                                 dr, dx, tmpr);                                  \
100                 break;                                                          \
101                 case 1:                                                         \
102                         tmpr = mono_regstate_next_int (cfg->rs);                \
103                         MONO_EMIT_NEW_LOAD_MEMBASE_OP(cfg, OP_LOADU1_MEMBASE,   \
104                                 tmpr, sr, so);                                  \
105                         MONO_EMIT_NEW_STORE_MEMBASE(cfg, OP_STORE_MEMBASE_REG,  \
106                                 dr, dx, tmpr);                                  \
107                 break;                                                          \
108                 case 2:                                                         \
109                         tmpr = mono_regstate_next_int (cfg->rs);                \
110                         MONO_EMIT_NEW_LOAD_MEMBASE_OP(cfg, OP_LOADU2_MEMBASE,   \
111                                 tmpr, sr, so);                                  \
112                         MONO_EMIT_NEW_STORE_MEMBASE(cfg, OP_STORE_MEMBASE_REG,  \
113                                 dr, dx, tmpr);                                  \
114                 break;                                                          \
115                 case 4:                                                         \
116                 case 8:                                                         \
117                         MONO_EMIT_NEW_MOVE (cfg, dr, dx, sr, so, size);         \
118                 break;                                                          \
119         }                                                                       \
120 } while (0)
121
122 struct MonoLMF {
123         gpointer    previous_lmf;
124         gpointer    lmf_addr;
125         MonoMethod *method;
126         gulong      ebp;
127         gulong      eip;
128         gulong      pregs[6];
129         gulong      gregs[16];
130         gdouble     fregs[16];
131 };
132
133 typedef struct ucontext MonoContext;
134
135 typedef struct MonoCompileArch {
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_SIGSEGV_ON_ALTSTACK                1
163 // #define MONO_ARCH_SIGNAL_STACK_SIZE          65536
164 // #define MONO_ARCH_HAVE_THROW_CORLIB_EXCEPTION        1
165
166 #define MONO_ARCH_USE_SIGACTION         1
167 // #define CUSTOM_STACK_WALK            1
168 // #define CUSTOM_EXCEPTION_HANDLING    1
169 // #define mono_find_jit_info           mono_arch_find_jit_info
170
171 #define S390_STACK_ALIGNMENT             8
172 #define S390_FIRST_ARG_REG              s390_r2
173 #define S390_LAST_ARG_REG               s390_r6
174 #define S390_FIRST_FPARG_REG            s390_f0
175 #define S390_LAST_FPARG_REG             s390_f2
176 #define S390_PASS_STRUCTS_BY_VALUE       1
177 #define S390_SMALL_RET_STRUCT_IN_REG     1
178
179 #define S390_NUM_REG_ARGS (S390_LAST_ARG_REG-S390_FIRST_ARG_REG+1)
180 #define S390_NUM_REG_FPARGS (S390_LAST_FPARG_REG-S390_FIRST_FPARG_REG)
181
182 /*===============================================*/
183 /* Definitions used by mini-codegen.c            */
184 /*===============================================*/
185
186 /*--------------------------------------------*/
187 /* use s390_r2-s390_r6 as parm registers      */
188 /* s390_r0, s390_r1, s390_r13 used internally */
189 /* s390_r15 is the stack pointer              */
190 /*--------------------------------------------*/
191 #define MONO_ARCH_CALLEE_REGS (0x1ffc)
192
193 #define MONO_ARCH_CALLEE_SAVED_REGS 0xff80
194
195 /*----------------------------------------*/
196 /* use s390_f1/s390_f3-s390_f15 as temps  */
197 /*----------------------------------------*/
198
199 #define MONO_ARCH_CALLEE_FREGS (0xfffe)
200
201 #define MONO_ARCH_CALLEE_SAVED_FREGS 0
202
203 #define MONO_ARCH_USE_FPSTACK FALSE
204 #define MONO_ARCH_FPSTACK_SIZE 0
205
206 #define MONO_ARCH_INST_FIXED_REG(desc) ((desc == 'o') ? s390_r2 :               \
207                                         ((desc == 'L') ? s390_r3 :              \
208                                         ((desc == 'g') ? s390_f0 : - 1)))
209
210 #define MONO_ARCH_INST_IS_FLOAT(desc)  ((desc == 'f') || (desc == 'g'))
211
212 #define MONO_ARCH_INST_SREG2_MASK(ins) (0)
213
214 #define MONO_ARCH_INST_IS_REGPAIR(desc) ((desc == 'l') || (desc == 'L'))
215 //#define MONO_ARCH_INST_IS_REGPAIR(desc) (0)
216 #define MONO_ARCH_INST_REGPAIR_REG2(desc,hr) ((desc == 'l') ? (hr + 1) :        \
217                                               ((desc == 'L') ? s390_r2 : -1))
218
219 #define MONO_ARCH_IS_GLOBAL_IREG(reg) 0
220
221 #define MONO_ARCH_FRAME_ALIGNMENT 4
222 #define MONO_ARCH_CODE_ALIGNMENT 32
223
224 #define MONO_ARCH_BASEREG s390_r15
225 #define MONO_ARCH_RETREG1 s390_r2
226
227 /*-----------------------------------------------*/
228 /* Macros used to generate instructions          */
229 /*-----------------------------------------------*/
230 #define S390_OFFSET(b, t)       (guchar *) ((gint32) (b) - (gint32) (t))
231 #define S390_RELATIVE(b, t)     (guchar *) ((((gint32) (b) - (gint32) (t))) / 2)
232
233 #define CODEPTR(c, o) (o) = (short *) ((guint32) c - 2)
234 #define PTRSLOT(c, o) *(o) = (short) ((guint32) c - (guint32) (o) + 2)/2
235
236 #define S390_CC_EQ                      8
237 #define S390_ALIGN(v, a)        (((a) > 0 ? (((v) + ((a) - 1)) & ~((a) - 1)) : (v)))
238
239 #define MONO_CONTEXT_SET_IP(ctx,ip)                                     \
240         do {                                                            \
241                 (ctx)->uc_mcontext.gregs[14] = (unsigned long)ip;       \
242                 (ctx)->uc_mcontext.psw.addr = (unsigned long)ip;        \
243         } while (0); 
244
245 #define MONO_CONTEXT_SET_SP(ctx,bp) MONO_CONTEXT_SET_BP((ctx),(bp))
246 #define MONO_CONTEXT_SET_BP(ctx,bp)                                     \
247         do {                                                            \
248                 (ctx)->uc_mcontext.gregs[15] = (unsigned long)bp;       \
249                 (ctx)->uc_stack.ss_sp        = (void*)bp;       \
250         } while (0); 
251
252 #define MONO_CONTEXT_GET_IP(ctx) context_get_ip ((ctx))
253 #define MONO_CONTEXT_GET_BP(ctx) MONO_CONTEXT_GET_SP((ctx))
254 #define MONO_CONTEXT_GET_SP(ctx) ((gpointer)((ctx)->uc_mcontext.gregs[15]))
255
256 #define MONO_INIT_CONTEXT_FROM_FUNC(ctx,func) do {                      \
257                 MonoS390StackFrame *sframe;                             \
258                 __asm__ volatile("lr    %0,15" : "=r" (sframe));        \
259                 MONO_CONTEXT_SET_BP ((ctx), sframe->prev);              \
260                 MONO_CONTEXT_SET_SP ((ctx), sframe->prev);              \
261                 sframe = (MonoS390StackFrame*)sframe->prev;             \
262                 MONO_CONTEXT_SET_IP ((ctx), sframe->return_address);    \
263         } while (0)
264
265 /*------------------------------------------------------------------*/
266 /*                                                                  */
267 /* Name         - context_get_ip                                    */
268 /*                                                                  */
269 /* Function     - Extract the current instruction address from the  */
270 /*                context.                                          */
271 /*                                                                  */
272 /*------------------------------------------------------------------*/
273
274 static inline gpointer 
275 context_get_ip (MonoContext *ctx) 
276 {
277         gpointer ip;
278
279         ip = (gpointer) ((gint32) (ctx->uc_mcontext.psw.addr) & 0x7fffffff);
280         return ip;
281 }
282
283 /*========================= End of Function ========================*/
284
285 /*------------------------------------------------------------------*/
286 /*                                                                  */
287 /* Name         - s390_patch                                        */
288 /*                                                                  */
289 /* Function     - Patch the code with a given value.                */
290 /*                                                                  */
291 /*------------------------------------------------------------------*/
292
293 static void inline
294 s390_patch (guchar *code, gint32 target)
295 {
296         gint32 *offset = (gint32 *) code;
297         
298         if (target != 00) {
299                 *offset = target;
300         }
301 }
302
303 /*========================= End of Function ========================*/
304
305 /*------------------------------------------------------------------*/
306 /*                                                                  */
307 /* Name         - restoreLMF                                        */
308 /*                                                                  */
309 /* Function     - Restore the LMF state prior to exiting a method.  */
310 /*                                                                  */
311 /*------------------------------------------------------------------*/
312
313 #define restoreLMF(code, frame_reg, stack_usage) do                     \
314 {                                                                       \
315         int lmfOffset = 0;                                              \
316                                                                         \
317         s390_lr  (code, s390_r13, frame_reg);                           \
318                                                                         \
319         lmfOffset = stack_usage -  sizeof(MonoLMF);                     \
320                                                                         \
321         /*-------------------------------------------------*/           \
322         /* r13 = my lmf                                    */           \
323         /*-------------------------------------------------*/           \
324         s390_ahi (code, s390_r13, lmfOffset);                           \
325                                                                         \
326         /*-------------------------------------------------*/           \
327         /* r6 = &jit_tls->lmf                              */           \
328         /*-------------------------------------------------*/           \
329         s390_l   (code, s390_r6, 0, s390_r13,                           \
330                   G_STRUCT_OFFSET(MonoLMF, lmf_addr));                  \
331                                                                         \
332         /*-------------------------------------------------*/           \
333         /* r0 = lmf.previous_lmf                           */           \
334         /*-------------------------------------------------*/           \
335         s390_l   (code, s390_r0, 0, s390_r13,                           \
336                   G_STRUCT_OFFSET(MonoLMF, previous_lmf));              \
337                                                                         \
338         /*-------------------------------------------------*/           \
339         /* jit_tls->lmf = previous_lmf                     */           \
340         /*-------------------------------------------------*/           \
341         s390_l   (code, s390_r13, 0, s390_r6, 0);                       \
342         s390_st  (code, s390_r0, 0, s390_r6, 0);                        \
343 } while (0)
344
345 /*========================= End of Function ========================*/
346
347 #endif /* __MONO_MINI_S390_H__ */