2008-07-12 Zoltan Varga <vargaz@gmail.com>
[mono.git] / mono / mini / mini-s390x.h
1 #ifndef __MONO_MINI_S390X_H__
2 #define __MONO_MINI_S390X_H__
3
4 #include <mono/arch/s390x/s390x-codegen.h>
5 #include <signal.h>
6
7 #define MONO_ARCH_CPU_SPEC s390x_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_LOADI4_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                 break;                                                          \
84         }                                                                       \
85 } while (0)
86
87 #define MONO_OUTPUT_VTS(cfg, size, dr, dx, sr, so) do {                         \
88         int tmpr;                                                               \
89         switch (size) {                                                         \
90                 case 0:                                                         \
91                         tmpr = mono_regstate_next_int (cfg->rs);                \
92                         MONO_EMIT_NEW_ICONST(cfg, tmpr, 0);                     \
93                         MONO_EMIT_NEW_STORE_MEMBASE(cfg, OP_STORE_MEMBASE_REG,  \
94                                 dr, dx, tmpr);                                  \
95                 break;                                                          \
96                 case 1:                                                         \
97                         tmpr = mono_regstate_next_int (cfg->rs);                \
98                         MONO_EMIT_NEW_LOAD_MEMBASE_OP(cfg, OP_LOADU1_MEMBASE,   \
99                                 tmpr, sr, so);                                  \
100                         MONO_EMIT_NEW_STORE_MEMBASE(cfg, OP_STORE_MEMBASE_REG,  \
101                                 dr, dx, tmpr);                                  \
102                 break;                                                          \
103                 case 2:                                                         \
104                         tmpr = mono_regstate_next_int (cfg->rs);                \
105                         MONO_EMIT_NEW_LOAD_MEMBASE_OP(cfg, OP_LOADU2_MEMBASE,   \
106                                 tmpr, sr, so);                                  \
107                         MONO_EMIT_NEW_STORE_MEMBASE(cfg, OP_STORE_MEMBASE_REG,  \
108                                 dr, dx, tmpr);                                  \
109                 break;                                                          \
110                 case 4:                                                         \
111                         tmpr = mono_regstate_next_int (cfg->rs);                \
112                         MONO_EMIT_NEW_LOAD_MEMBASE_OP(cfg, OP_LOADI4_MEMBASE,   \
113                                 tmpr, sr, so);                                  \
114                         MONO_EMIT_NEW_STORE_MEMBASE(cfg, OP_STORE_MEMBASE_REG,  \
115                                 dr, dx, tmpr);                                  \
116                 break;                                                          \
117                 case 8:                                                         \
118                         MONO_EMIT_NEW_MOVE (cfg, dr, dx, sr, so, size);         \
119                 break;                                                          \
120         }                                                                       \
121 } while (0)
122
123 #define S390_LONG(loc, opy, op, r, ix, br, off)                                 \
124         if (has_ld) {                                                           \
125                 if (s390_is_imm20(off)) {                                       \
126                         s390_##opy (loc, r, ix, br, off);                       \
127                 } else {                                                        \
128                         s390_basr (code, s390_r13, 0);                          \
129                         s390_j    (code, 6);                                    \
130                         s390_llong(code, off);                                  \
131                         s390_lg   (code, s390_r13, 0, s390_r13, 4);             \
132                         s390_##op (code, r, s390_r13, br, 0);                   \
133                 }                                                               \
134         } else {                                                                \
135                 if (s390_is_uimm12(off)) {                                      \
136                         s390_##op (loc, r, ix, br, off);                        \
137                 } else {                                                        \
138                         s390_basr (code, s390_r13, 0);                          \
139                         s390_j    (code, 6);                                    \
140                         s390_llong(code, off);                                  \
141                         s390_lg   (code, s390_r13, 0, s390_r13, 4);             \
142                         s390_##op (code, r, s390_r13, br, 0);                   \
143                 }                                                               \
144         }
145
146 struct MonoLMF {
147         gpointer    previous_lmf;
148         gpointer    lmf_addr;
149         MonoMethod *method;
150         gulong      ebp;
151         gulong      eip;
152         gulong      pregs[6];
153         gulong      gregs[16];
154         gdouble     fregs[16];
155 };
156
157 typedef struct ucontext MonoContext;
158
159 typedef struct MonoCompileArch {
160         gpointer    litpool;
161         glong       litsize;
162 } MonoCompileArch;
163
164 typedef struct
165 {
166         void *prev;
167         void *unused[5];
168         void *regs[8];
169         void *return_address;
170 } MonoS390StackFrame;
171
172 // #define MONO_ARCH_SIGSEGV_ON_ALTSTACK                1
173 #define MONO_ARCH_EMULATE_LCONV_TO_R8_UN        1
174 #define MONO_ARCH_NO_EMULATE_LONG_MUL_OPTS      1
175 #define MONO_ARCH_NO_EMULATE_LONG_SHIFT_OPS     1
176 #define MONO_ARCH_HAVE_IS_INT_OVERFLOW          1
177 #define MONO_ARCH_NEED_DIV_CHECK                1
178 #define MONO_ARCH_HAVE_ATOMIC_ADD 1
179 #define MONO_ARCH_HAVE_ATOMIC_EXCHANGE 1
180 #define MONO_ARCH_SIGNAL_STACK_SIZE             256*1024
181 #define MONO_ARCH_ENABLE_NORMALIZE_OPCODES 1
182 // #define MONO_ARCH_HAVE_THROW_CORLIB_EXCEPTION        1
183
184 #define MONO_ARCH_USE_SIGACTION         1
185
186 #define S390_STACK_ALIGNMENT             8
187 #define S390_FIRST_ARG_REG              s390_r2
188 #define S390_LAST_ARG_REG               s390_r6
189 #define S390_FIRST_FPARG_REG            s390_f0
190 #define S390_LAST_FPARG_REG             s390_f6
191 #define S390_PASS_STRUCTS_BY_VALUE       1
192 #define S390_SMALL_RET_STRUCT_IN_REG     1
193
194 #define S390_NUM_REG_ARGS (S390_LAST_ARG_REG-S390_FIRST_ARG_REG+1)
195 #define S390_NUM_REG_FPARGS ((S390_LAST_FPARG_REG-S390_FIRST_FPARG_REG)/2)
196
197 /*===============================================*/
198 /* Definitions used by mini-codegen.c            */
199 /*===============================================*/
200
201 /*--------------------------------------------*/
202 /* use s390_r2-s390_r6 as parm registers      */
203 /* s390_r0, s390_r1, s390_r13 used internally */
204 /* s390_r15 is the stack pointer              */
205 /*--------------------------------------------*/
206 #define MONO_ARCH_CALLEE_REGS (0x1ffc)
207
208 #define MONO_ARCH_CALLEE_SAVED_REGS 0xff80
209
210 /*----------------------------------------*/
211 /* use s390_f1/s390_f3-s390_f15 as temps  */
212 /*----------------------------------------*/
213
214 #define MONO_ARCH_CALLEE_FREGS (0xfffe)
215
216 #define MONO_ARCH_CALLEE_SAVED_FREGS 0
217
218 #define MONO_ARCH_USE_FPSTACK FALSE
219 #define MONO_ARCH_FPSTACK_SIZE 0
220
221 #define MONO_ARCH_INST_FIXED_REG(desc) ((desc == 'o') ? s390_r2 :               \
222                                         ((desc == 'g') ? s390_f0 : - 1))
223
224 #define MONO_ARCH_INST_IS_FLOAT(desc)  ((desc == 'f') || (desc == 'g'))
225
226 #define MONO_ARCH_INST_SREG2_MASK(ins) (0)
227
228 #define MONO_ARCH_INST_IS_REGPAIR(desc) (0)
229 #define MONO_ARCH_INST_REGPAIR_REG2(desc,hr) -1
230
231 #define MONO_ARCH_IS_GLOBAL_IREG(reg) 0
232
233 #define MONO_ARCH_FRAME_ALIGNMENT 8
234 #define MONO_ARCH_CODE_ALIGNMENT 32
235
236 #define MONO_ARCH_BASEREG s390_r15
237 #define MONO_ARCH_RETREG1 s390_r2
238
239 /*-----------------------------------------------*/
240 /* Macros used to generate instructions          */
241 /*-----------------------------------------------*/
242 #define S390_OFFSET(b, t)       (guchar *) ((guint64) (b) - (guint64) (t))
243 #define S390_RELATIVE(b, t)     (guchar *) ((((guint64) (b) - (guint64) (t))) / 2)
244
245 #define CODEPTR(c, o) (o) = (short *) ((guint64) c - 2)
246 #define PTRSLOT(c, o) *(o) = (short) ((guint64) c - (guint64) (o) + 2)/2
247
248 #define S390_CC_EQ                      8
249 #define S390_ALIGN(v, a)        (((a) > 0 ? (((v) + ((a) - 1)) & ~((a) - 1)) : (v)))
250
251 #define MONO_CONTEXT_SET_IP(ctx,ip)                                     \
252         do {                                                            \
253                 (ctx)->uc_mcontext.gregs[14] = (unsigned long)ip;       \
254                 (ctx)->uc_mcontext.psw.addr = (unsigned long)ip;        \
255         } while (0); 
256
257 #define MONO_CONTEXT_SET_SP(ctx,bp) MONO_CONTEXT_SET_BP((ctx),(bp))
258 #define MONO_CONTEXT_SET_BP(ctx,bp)                                     \
259         do {                                                            \
260                 (ctx)->uc_mcontext.gregs[15] = (unsigned long)bp;       \
261                 (ctx)->uc_stack.ss_sp        = (void*)bp;               \
262         } while (0) 
263
264 #define MONO_CONTEXT_GET_IP(ctx) (gpointer) (ctx)->uc_mcontext.psw.addr
265 #define MONO_CONTEXT_GET_BP(ctx) MONO_CONTEXT_GET_SP((ctx))
266 #define MONO_CONTEXT_GET_SP(ctx) ((gpointer)((ctx)->uc_mcontext.gregs[15]))
267
268 #define MONO_INIT_CONTEXT_FROM_FUNC(ctx,func) do {                      \
269                 MonoS390StackFrame *sframe;                             \
270                 __asm__ volatile("lgr   %0,15" : "=r" (sframe));        \
271                 MONO_CONTEXT_SET_BP ((ctx), sframe->prev);              \
272                 MONO_CONTEXT_SET_SP ((ctx), sframe->prev);              \
273                 sframe = (MonoS390StackFrame*)sframe->prev;             \
274                 MONO_CONTEXT_SET_IP ((ctx), sframe->return_address);    \
275         } while (0)
276
277 /*------------------------------------------------------------------*/
278 /*                                                                  */
279 /* Name         - s390_patch_rel                                    */
280 /*                                                                  */
281 /* Function     - Patch the code with a given offset.               */
282 /*                                                                  */
283 /*------------------------------------------------------------------*/
284
285 static void inline
286 s390_patch_rel (guchar *code, guint64 target)
287 {
288         guint32 *offset = (guint32 *) code;
289         
290         if (target != 0) {
291                 *offset = (guint32) target;
292         }
293 }
294
295 /*========================= End of Function ========================*/
296
297 /*------------------------------------------------------------------*/
298 /*                                                                  */
299 /* Name         - s390_patch_addr                                   */
300 /*                                                                  */
301 /* Function     - Patch the code with a given address.              */
302 /*                                                                  */
303 /*------------------------------------------------------------------*/
304
305 static void inline
306 s390_patch_addr (guchar *code, guint64 target)
307 {
308         guint64 *offset = (guint64 *) code;
309         
310         if (target != 0) {
311                 *offset = target;
312         }
313 }
314
315 /*========================= End of Function ========================*/
316
317 /*------------------------------------------------------------------*/
318 /*                                                                  */
319 /* Name         - restoreLMF                                        */
320 /*                                                                  */
321 /* Function     - Restore the LMF state prior to exiting a method.  */
322 /*                                                                  */
323 /*------------------------------------------------------------------*/
324
325 #define restoreLMF(code, frame_reg, stack_usage) do                     \
326 {                                                                       \
327         int lmfOffset = 0;                                              \
328                                                                         \
329         s390_lgr (code, s390_r13, frame_reg);                           \
330                                                                         \
331         lmfOffset = stack_usage -  sizeof(MonoLMF);                     \
332                                                                         \
333         /*-------------------------------------------------*/           \
334         /* r13 = my lmf                                    */           \
335         /*-------------------------------------------------*/           \
336         s390_aghi (code, s390_r13, lmfOffset);                          \
337                                                                         \
338         /*-------------------------------------------------*/           \
339         /* r6 = &jit_tls->lmf                              */           \
340         /*-------------------------------------------------*/           \
341         s390_lg  (code, s390_r6, 0, s390_r13,                           \
342                   G_STRUCT_OFFSET(MonoLMF, lmf_addr));                  \
343                                                                         \
344         /*-------------------------------------------------*/           \
345         /* r0 = lmf.previous_lmf                           */           \
346         /*-------------------------------------------------*/           \
347         s390_lg  (code, s390_r0, 0, s390_r13,                           \
348                   G_STRUCT_OFFSET(MonoLMF, previous_lmf));              \
349                                                                         \
350         /*-------------------------------------------------*/           \
351         /* jit_tls->lmf = previous_lmf                     */           \
352         /*-------------------------------------------------*/           \
353         s390_lg  (code, s390_r13, 0, s390_r6, 0);                       \
354         s390_stg (code, s390_r0, 0, s390_r6, 0);                        \
355 } while (0)
356
357 /*========================= End of Function ========================*/
358
359 #endif /* __MONO_MINI_S390X_H__ */