2008-02-07 Zoltan Varga <vargaz@gmail.com>
[mono.git] / mono / mini / mini-s390x.c
1 /*------------------------------------------------------------------*/
2 /*                                                                  */
3 /* Name        - mini-s390.c                                        */
4 /*                                                                  */
5 /* Function    - S/390 backend for the Mono code generator.         */
6 /*                                                                  */
7 /* Name        - Neale Ferguson (Neale.Ferguson@SoftwareAG-usa.com) */
8 /*                                                                  */
9 /* Date        - January, 2004                                      */
10 /*                                                                  */
11 /* Derivation  - From mini-x86 & mini-ppc by -                      */
12 /*               Paolo Molaro (lupus@ximian.com)                    */
13 /*               Dietmar Maurer (dietmar@ximian.com)                */
14 /*                                                                  */
15 /*------------------------------------------------------------------*/
16
17 /*------------------------------------------------------------------*/
18 /*                 D e f i n e s                                    */
19 /*------------------------------------------------------------------*/
20
21 #define EMIT_COND_BRANCH(ins,cond)                                                      \
22 {                                                                                       \
23 if (ins->flags & MONO_INST_BRLABEL) {                                                   \
24         if (ins->inst_i0->inst_c0) {                                                    \
25                 int displace;                                                           \
26                 displace = ((cfg->native_code + ins->inst_i0->inst_c0) - code) / 2;     \
27                 if (s390_is_imm16(displace)) {                                          \
28                         s390_brc (code, cond, displace);                                \
29                 } else {                                                                \
30                         s390_jcl (code, cond, displace);                                \
31                 }                                                                       \
32         } else {                                                                        \
33                 mono_add_patch_info (cfg, code - cfg->native_code,                      \
34                                      MONO_PATCH_INFO_LABEL, ins->inst_i0);              \
35                 s390_jcl (code, cond, 0);                                               \
36         }                                                                               \
37 } else {                                                                                \
38         if (ins->inst_true_bb->native_offset) {                                         \
39                 int displace;                                                           \
40                 displace = ((cfg->native_code +                                         \
41                             ins->inst_true_bb->native_offset) - code) / 2;              \
42                 if (s390_is_imm16(displace)) {                                          \
43                         s390_brc (code, cond, displace);                                \
44                 } else {                                                                \
45                         s390_jcl (code, cond, displace);                                \
46                 }                                                                       \
47         } else {                                                                        \
48                 mono_add_patch_info (cfg, code - cfg->native_code,                      \
49                                      MONO_PATCH_INFO_BB, ins->inst_true_bb);            \
50                 s390_jcl (code, cond, 0);                                               \
51         }                                                                               \
52 }                                                                                       \
53 }
54
55 #define EMIT_UNCOND_BRANCH(ins)                                                         \
56 {                                                                                       \
57 if (ins->flags & MONO_INST_BRLABEL) {                                                   \
58         if (ins->inst_i0->inst_c0) {                                                    \
59                 int displace;                                                           \
60                 displace = ((cfg->native_code + ins->inst_i0->inst_c0) - code) / 2;     \
61                 if (s390_is_imm16(displace)) {                                          \
62                         s390_brc (code, S390_CC_UN, displace);                          \
63                 } else {                                                                \
64                         s390_jcl (code, S390_CC_UN, displace);                          \
65                 }                                                                       \
66         } else {                                                                        \
67                 mono_add_patch_info (cfg, code - cfg->native_code,                      \
68                                      MONO_PATCH_INFO_LABEL, ins->inst_i0);              \
69                 s390_jcl (code, S390_CC_UN, 0);                                         \
70         }                                                                               \
71 } else {                                                                                \
72         if (ins->inst_target_bb->native_offset) {                                       \
73                 int displace;                                                           \
74                 displace = ((cfg->native_code +                                         \
75                             ins->inst_target_bb->native_offset) - code) / 2;            \
76                 if (s390_is_imm16(displace)) {                                          \
77                         s390_brc (code, S390_CC_UN, displace);                          \
78                 } else {                                                                \
79                         s390_jcl (code, S390_CC_UN, displace);                          \
80                 }                                                                       \
81         } else {                                                                        \
82                 mono_add_patch_info (cfg, code - cfg->native_code,                      \
83                                      MONO_PATCH_INFO_BB, ins->inst_target_bb);          \
84                 s390_jcl (code, S390_CC_UN, 0);                                         \
85         }                                                                               \
86 }                                                                                       \
87 }
88
89 #define EMIT_COND_SYSTEM_EXCEPTION(cond,exc_name)                       \
90         do {                                                            \
91                 mono_add_patch_info (cfg, code - cfg->native_code,      \
92                                     MONO_PATCH_INFO_EXC, exc_name);     \
93                 s390_jcl (code, cond, 0);                               \
94         } while (0); 
95
96 #define CHECK_SRCDST_COM                                                \
97         if (ins->dreg == ins->sreg2) {                                  \
98                 src2 = ins->sreg1;                                      \
99         } else {                                                        \
100                 src2 = ins->sreg2;                                      \
101                 if (ins->dreg != ins->sreg1) {                          \
102                         s390_lgr (code, ins->dreg, ins->sreg1);         \
103                 }                                                       \
104         }
105
106 #define CHECK_SRCDST_NCOM                                               \
107         if (ins->dreg == ins->sreg2) {                                  \
108                 src2 = s390_r13;                                        \
109                 s390_lgr (code, s390_r13, ins->sreg2);                  \
110         } else {                                                        \
111                 src2 = ins->sreg2;                                      \
112         }                                                               \
113         if (ins->dreg != ins->sreg1) {                                  \
114                 s390_lgr (code, ins->dreg, ins->sreg1);                 \
115         }
116
117 #define CHECK_SRCDST_COM_I                                              \
118         if (ins->dreg == ins->sreg2) {                                  \
119                 src2 = ins->sreg1;                                      \
120         } else {                                                        \
121                 src2 = ins->sreg2;                                      \
122                 if (ins->dreg != ins->sreg1) {                          \
123                         s390_lgfr (code, ins->dreg, ins->sreg1);        \
124                 }                                                       \
125         }
126
127 #define CHECK_SRCDST_NCOM_I                                             \
128         if (ins->dreg == ins->sreg2) {                                  \
129                 src2 = s390_r13;                                        \
130                 s390_lgfr (code, s390_r13, ins->sreg2);                 \
131         } else {                                                        \
132                 src2 = ins->sreg2;                                      \
133         }                                                               \
134         if (ins->dreg != ins->sreg1) {                                  \
135                 s390_lgfr (code, ins->dreg, ins->sreg1);                \
136         }
137
138 #define CHECK_SRCDST_COM_F                                              \
139         if (ins->dreg == ins->sreg2) {                                  \
140                 src2 = ins->sreg1;                                      \
141         } else {                                                        \
142                 src2 = ins->sreg2;                                      \
143                 if (ins->dreg != ins->sreg1) {                          \
144                         s390_ldr (code, ins->dreg, ins->sreg1);         \
145                 }                                                       \
146         }
147
148 #define CHECK_SRCDST_NCOM_F                                             \
149         if (ins->dreg == ins->sreg2) {                                  \
150                 src2 = s390_f15;                                        \
151                 s390_ldr (code, s390_r13, ins->sreg2);                  \
152         } else {                                                        \
153                 src2 = ins->sreg2;                                      \
154         }                                                               \
155         if (ins->dreg != ins->sreg1) {                                  \
156                 s390_ldr (code, ins->dreg, ins->sreg1);                 \
157         }
158
159 #undef DEBUG
160 #define DEBUG(a) if (cfg->verbose_level > 1) a
161
162 #define MAX_EXC 16
163
164 #define S390_TRACE_STACK_SIZE (5*sizeof(gpointer)+4*sizeof(gdouble))
165
166 #define MAX(a, b) ((a) > (b) ? (a) : (b))
167
168 /*========================= End of Defines =========================*/
169
170 /*------------------------------------------------------------------*/
171 /*                 I n c l u d e s                                  */
172 /*------------------------------------------------------------------*/
173
174 #include "mini.h"
175 #include <string.h>
176
177 #include <mono/metadata/appdomain.h>
178 #include <mono/metadata/debug-helpers.h>
179 #include <mono/metadata/profiler-private.h>
180 #include <mono/utils/mono-math.h>
181
182 #include "mini-s390x.h"
183 #include "inssel.h"
184 #include "cpu-s390x.h"
185 #include "jit-icalls.h"
186
187 /*========================= End of Includes ========================*/
188
189 /*------------------------------------------------------------------*/
190 /*                 T y p e d e f s                                  */
191 /*------------------------------------------------------------------*/
192
193 typedef struct {
194         guint stack_size,
195               local_size,
196               code_size,
197               parm_size,
198               offset,
199               offStruct,
200               retStruct;
201 } size_data;    
202
203 /*------------------------------------------------------------------*/
204 /* Used by the instrument_emit_epilog                               */
205 /*------------------------------------------------------------------*/
206
207 enum {
208         SAVE_NONE,
209         SAVE_STRUCT,
210         SAVE_ONE,
211         SAVE_TWO,
212         SAVE_R4,
213         SAVE_R8
214 };
215
216 typedef struct InstList InstList;
217
218 struct InstList {
219         InstList *prev;
220         InstList *next;
221         MonoInst *data;
222 };
223
224 enum {
225         RegTypeGeneral,
226         RegTypeBase,
227         RegTypeFP,
228         RegTypeStructByVal,
229         RegTypeStructByAddr
230 };
231
232 typedef struct {
233         gint32  offset;         /* offset from caller's stack */
234         gint32  offparm;        /* offset from callee's stack */
235         guint16 vtsize;         /* in param area */
236         guint8  reg;
237         guint8  regtype;        /* See RegType* */
238         guint32 size;           /* Size of structure used by RegTypeStructByVal */
239         gint32  type;           /* Data type of argument */
240 } ArgInfo;
241
242 typedef struct {
243         int nargs;
244         int lastgr;
245         guint32 stack_usage;
246         guint32 struct_ret;
247         ArgInfo ret;
248         ArgInfo sigCookie;
249         ArgInfo args [1];
250 } CallInfo;
251
252 typedef struct {
253         gint64  gr[5];          /* R2-R6                            */
254         gdouble fp[3];          /* F0-F2                            */
255 } __attribute__ ((packed)) RegParm;
256
257 /*========================= End of Typedefs ========================*/
258
259 /*------------------------------------------------------------------*/
260 /*                   P r o t o t y p e s                            */
261 /*------------------------------------------------------------------*/
262
263 static void indent (int);
264 static guint8 * backUpStackPtr(MonoCompile *, guint8 *);
265 static void decodeParm (MonoType *, void *, int);
266 static void enter_method (MonoMethod *, RegParm *, char *);
267 static void leave_method (MonoMethod *, ...);
268 static gboolean is_regsize_var (MonoType *);
269 static inline void add_general (guint *, size_data *, ArgInfo *);
270 static inline void add_stackParm (guint *, size_data *, ArgInfo *, gint);
271 static inline void add_float (guint *, size_data *, ArgInfo *);
272 static CallInfo * calculate_sizes (MonoCompile *, MonoMethodSignature *, size_data *, gboolean);
273 static guchar * emit_float_to_int (MonoCompile *, guchar *, int, int, int, gboolean);
274 gpointer mono_arch_get_lmf_addr (void);
275 static guint8 * emit_load_volatile_registers (guint8 *, MonoCompile *);
276 static CompRelation opcode_to_cond (int);
277 static void catch_SIGILL(int, siginfo_t *, void *);
278 static void emit_sig_cookie (MonoCompile *, MonoCallInst *, CallInfo *, int);
279
280 /*========================= End of Prototypes ======================*/
281
282 /*------------------------------------------------------------------*/
283 /*                 G l o b a l   V a r i a b l e s                  */
284 /*------------------------------------------------------------------*/
285
286 int mono_exc_esp_offset = 0;
287
288 static int indent_level = 0;
289
290 int has_ld = 0;
291
292 static gboolean tls_offset_inited = FALSE;
293
294 static int appdomain_tls_offset = -1,
295            lmf_tls_offset = -1,
296            thread_tls_offset = -1;
297
298 pthread_key_t lmf_addr_key;
299
300 gboolean lmf_addr_key_inited = FALSE; 
301
302 #if 0
303
304 extern __thread MonoDomain *tls_appdomain;
305 extern __thread MonoThread *tls_current_object;
306 extern __thread gpointer   mono_lmf_addr;
307                 
308 #endif
309
310 /*====================== End of Global Variables ===================*/
311
312 /*------------------------------------------------------------------*/
313 /*                                                                  */
314 /* Name         - mono_arch_regname                                 */
315 /*                                                                  */
316 /* Function     - Returns the name of the register specified by     */
317 /*                the input parameter.                              */
318 /*                                                                  */
319 /*------------------------------------------------------------------*/
320
321 const char*
322 mono_arch_regname (int reg) {
323         static const char * rnames[] = {
324                 "s390_r0", "s390_sp", "s390_r2", "s390_r3", "s390_r4",
325                 "s390_r5", "s390_r6", "s390_r7", "s390_r8", "s390_r9",
326                 "s390_r10", "s390_r11", "s390_r12", "s390_r13", "s390_r14",
327                 "s390_r15"
328         };
329
330         if (reg >= 0 && reg < 16)
331                 return rnames [reg];
332         else
333                 return "unknown";
334 }
335
336 /*========================= End of Function ========================*/
337
338 /*------------------------------------------------------------------*/
339 /*                                                                  */
340 /* Name         - mono_arch_fregname                                */
341 /*                                                                  */
342 /* Function     - Returns the name of the register specified by     */
343 /*                the input parameter.                              */
344 /*                                                                  */
345 /*------------------------------------------------------------------*/
346
347 const char*
348 mono_arch_fregname (int reg) {
349         static const char * rnames[] = {
350                 "s390_f0", "s390_f1", "s390_f2", "s390_f3", "s390_f4",
351                 "s390_f5", "s390_f6", "s390_f7", "s390_f8", "s390_f9",
352                 "s390_f10", "s390_f11", "s390_f12", "s390_f13", "s390_f14",
353                 "s390_f15"
354         };
355
356         if (reg >= 0 && reg < 16)
357                 return rnames [reg];
358         else
359                 return "unknown";
360 }
361
362 /*========================= End of Function ========================*/
363
364 /*------------------------------------------------------------------*/
365 /*                                                                  */
366 /* Name         - arch_get_argument_info                            */
367 /*                                                                  */
368 /* Function     - Gathers information on parameters such as size,   */
369 /*                alignment, and padding. arg_info should be large  */
370 /*                enough to hold param_count + 1 entries.           */
371 /*                                                                  */
372 /* Parameters   - @csig - Method signature                          */
373 /*                @param_count - No. of parameters to consider      */
374 /*                @arg_info - An array to store the result info     */
375 /*                                                                  */
376 /* Returns      - Size of the activation frame                      */
377 /*                                                                  */
378 /*------------------------------------------------------------------*/
379
380 int
381 mono_arch_get_argument_info (MonoMethodSignature *csig, 
382                              int param_count, 
383                              MonoJitArgumentInfo *arg_info)
384 {
385         int k, frame_size = 0;
386         int size, align, pad;
387         int offset = 8;
388
389         if (MONO_TYPE_ISSTRUCT (csig->ret)) { 
390                 frame_size += sizeof (gpointer);
391                 offset += 8;
392         }
393
394         arg_info [0].offset = offset;
395
396         if (csig->hasthis) {
397                 frame_size += sizeof (gpointer);
398                 offset += 8;
399         }
400
401         arg_info [0].size = frame_size;
402
403         for (k = 0; k < param_count; k++) {
404                 
405                 if (csig->pinvoke)
406                         size = mono_type_native_stack_size (csig->params [k], &align);
407                 else
408                         size = mini_type_stack_size (NULL, csig->params [k], &align);
409
410                 frame_size += pad = (align - (frame_size & (align - 1))) & (align - 1); 
411                 arg_info [k].pad = pad;
412                 frame_size += size;
413                 arg_info [k + 1].pad = 0;
414                 arg_info [k + 1].size = size;
415                 offset += pad;
416                 arg_info [k + 1].offset = offset;
417                 offset += size;
418         }
419
420         align = MONO_ARCH_FRAME_ALIGNMENT;
421         frame_size += pad = (align - (frame_size & (align - 1))) & (align - 1);
422         arg_info [k].pad = pad;
423
424         return frame_size;
425 }
426
427 /*========================= End of Function ========================*/
428
429 /*------------------------------------------------------------------*/
430 /*                                                                  */
431 /* Name         - retFitsInReg.                                     */
432 /*                                                                  */
433 /* Function     - Determines if a value can be returned in one or   */
434 /*                two registers.                                    */
435 /*                                                                  */
436 /*------------------------------------------------------------------*/
437
438 static inline gboolean
439 retFitsInReg(guint32 size)
440 {
441         switch (size) {
442                 case 0:
443                 case 1:
444                 case 2:
445                 case 4:
446                 case 8:
447                         return (TRUE);
448                 break;
449                 default:
450                         return (FALSE);
451         }
452 }
453
454 /*========================= End of Function ========================*/
455
456 /*------------------------------------------------------------------*/
457 /*                                                                  */
458 /* Name         - backStackPtr.                                     */
459 /*                                                                  */
460 /* Function     - Restore Stack Pointer to previous frame.          */
461 /*                                                                  */
462 /*------------------------------------------------------------------*/
463
464 static inline guint8 *
465 backUpStackPtr(MonoCompile *cfg, guint8 *code)
466 {
467         int stackSize = cfg->stack_usage;
468
469         if (s390_is_imm16 (stackSize)) {
470                 s390_aghi  (code, STK_BASE, stackSize);
471         } else { 
472                 while (stackSize > 32767) {
473                         s390_aghi  (code, STK_BASE, 32767);
474                         stackSize -= 32767;
475                 }
476                 s390_aghi  (code, STK_BASE, stackSize);
477         }
478         return (code);
479 }
480
481 /*========================= End of Function ========================*/
482
483 /*------------------------------------------------------------------*/
484 /*                                                                  */
485 /* Name         - indent                                            */
486 /*                                                                  */
487 /* Function     - Perform nice indenting to current level           */
488 /*                                                                  */
489 /*------------------------------------------------------------------*/
490
491 static void 
492 indent (int diff) {
493         int v;
494         if (diff < 0)
495                 indent_level += diff;
496         v = indent_level;
497         printf("[%3d] ",v);
498         while (v-- > 0) {
499                 printf (". ");
500         }
501         if (diff > 0) 
502                 indent_level += diff;
503 }
504
505 /*========================= End of Function ========================*/
506
507 /*------------------------------------------------------------------*/
508 /*                                                                  */
509 /* Name         - decodeParm                                        */
510 /*                                                                  */
511 /* Function     - Decode a parameter for the trace.                 */
512 /*                                                                  */
513 /*------------------------------------------------------------------*/
514
515 static void 
516 decodeParm(MonoType *type, void *curParm, int size)
517 {
518         guint32 simpleType;
519
520         if (type->byref) {
521                 printf("[BYREF:%p], ", *((char **) curParm));
522         } else {
523                 simpleType = mono_type_get_underlying_type(type)->type;
524 enum_parmtype:
525                 switch (simpleType) {
526                         case MONO_TYPE_I :
527                                 printf ("[INTPTR:%p], ", *((int **) curParm));
528                                 break;
529                         case MONO_TYPE_U :
530                                 printf ("[UINTPTR:%p], ", *((int **) curParm));
531                                 break;
532                         case MONO_TYPE_BOOLEAN :
533                                 printf ("[BOOL:%ld], ", *((gint64 *) curParm));
534                                 break;
535                         case MONO_TYPE_CHAR :
536                                 printf ("[CHAR:%c], ", *((int  *) curParm));
537                                 break;
538                         case MONO_TYPE_I1 :
539                                 printf ("[INT1:%ld], ", *((gint64 *) curParm));
540                                 break; 
541                         case MONO_TYPE_I2 :
542                                 printf ("[INT2:%ld], ", *((gint64 *) curParm));
543                                 break; 
544                         case MONO_TYPE_I4 :
545                                 printf ("[INT4:%ld], ", *((gint64 *) curParm));
546                                 break; 
547                         case MONO_TYPE_U1 :
548                                 printf ("[UINT1:%lu], ", *((guint64 *) curParm));
549                                 break; 
550                         case MONO_TYPE_U2 :
551                                 printf ("[UINT2:%lu], ", *((guint64 *) curParm));
552                                 break; 
553                         case MONO_TYPE_U4 :
554                                 printf ("[UINT4:%lu], ", *((guint64 *) curParm));
555                                 break; 
556                         case MONO_TYPE_U8 :
557                                 printf ("[UINT8:%lu], ", *((guint64 *) curParm));
558                                 break; 
559                         case MONO_TYPE_STRING : {
560                                 MonoString *s = *((MonoString **) curParm);
561                                 if (s) {
562                                         g_assert (((MonoObject *) s)->vtable->klass == mono_defaults.string_class);
563                                         printf("[STRING:%p:%s], ", s, mono_string_to_utf8(s));
564                                 } else {
565                                         printf("[STRING:null], ");
566                                 }
567                                 break;
568                         }
569                         case MONO_TYPE_CLASS :
570                         case MONO_TYPE_OBJECT : {
571                                 MonoObject *obj = *((MonoObject **) curParm);
572                                 MonoClass *class;
573                                 if ((obj) && (obj->vtable)) {
574                                         printf("[CLASS/OBJ:");
575                                         class = obj->vtable->klass;
576                                         printf("%p [%p] ",obj,curParm);
577                                         if (class == mono_defaults.string_class) {
578                                                 printf("[STRING:%p:%s]", 
579                                                        obj, mono_string_to_utf8 ((MonoString *) obj));
580                                         } else if (class == mono_defaults.int32_class) { 
581                                                 printf("[INT32:%p:%d]", 
582                                                         obj, *(gint32 *)((char *)obj + sizeof (MonoObject)));
583                                         } else
584                                                 printf("[%s.%s:%p]", 
585                                                        class->name_space, class->name, obj);
586                                         printf("], ");
587                                 } else {
588                                         printf("[OBJECT:null], ");
589                                 }
590                                 break;
591                         }
592                         case MONO_TYPE_PTR :
593                                 printf("[PTR:%p], ", *((gpointer **) (curParm)));
594                                 break;
595                         case MONO_TYPE_FNPTR :
596                                 printf("[FNPTR:%p], ", *((gpointer **) (curParm)));
597                                 break;
598                         case MONO_TYPE_ARRAY :
599                                 printf("[ARRAY:%p], ", *((gpointer **) (curParm)));
600                                 break;
601                         case MONO_TYPE_SZARRAY :
602                                 printf("[SZARRAY:%p], ", *((gpointer **) (curParm)));
603                                 break;
604                         case MONO_TYPE_I8 :
605                                 printf("[INT8:%ld], ", *((gint64 *) (curParm)));
606                                 break;
607                         case MONO_TYPE_R4 :
608                                 printf("[FLOAT4:%g], ", *((float *) (curParm)));
609                                 break;
610                         case MONO_TYPE_R8 :
611                                 printf("[FLOAT8:%g], ", *((double *) (curParm)));
612                                 break;
613                         case MONO_TYPE_VALUETYPE : {
614                                 int i;
615                                 MonoMarshalType *info;
616
617                                 if (type->data.klass->enumtype) {
618                                         simpleType = type->data.klass->enum_basetype->type;
619                                         printf("{VALUETYPE} - ");
620                                         goto enum_parmtype;
621                                 }
622
623                                 info = mono_marshal_load_type_info (type->data.klass);
624
625                                 if ((info->native_size == sizeof(float)) &&
626                                     (info->num_fields  == 1) &&
627                                     (info->fields[0].field->type->type == MONO_TYPE_R4)) {
628                                                 printf("[FLOAT4:%f], ", *((float *) (curParm)));
629                                         break;
630                                 }
631
632                                 if ((info->native_size == sizeof(double)) &&
633                                     (info->num_fields  == 1) &&
634                                     (info->fields[0].field->type->type == MONO_TYPE_R8)) {
635                                         printf("[FLOAT8:%g], ", *((double *) (curParm)));
636                                         break;
637                                 }
638
639                                 printf("[VALUETYPE:");
640                                 for (i = 0; i < size; i++)
641                                         printf("%02x,", *((guint8 *)curParm+i));
642                                 printf("]");
643                                 break;
644                         }
645                         case MONO_TYPE_TYPEDBYREF: {
646                                 int i;
647                                 printf("[TYPEDBYREF:");
648                                 for (i = 0; i < size; i++)
649                                         printf("%02x,", *((guint8 *)curParm+i));
650                                 printf("]");
651                                 break;
652                         }
653                         default :
654                                 printf("[?? - %d], ",simpleType);
655                 }
656         }
657 }
658
659 /*========================= End of Function ========================*/
660
661 /*------------------------------------------------------------------*/
662 /*                                                                  */
663 /* Name         - enter_method                                      */
664 /*                                                                  */
665 /* Function     - Perform tracing of the entry to the current       */
666 /*                method.                                           */
667 /*                                                                  */
668 /*------------------------------------------------------------------*/
669
670 static void
671 enter_method (MonoMethod *method, RegParm *rParm, char *sp)
672 {
673         int i, oParm = 0, iParm = 0;
674         MonoClass *class;
675         MonoObject *obj;
676         MonoMethodSignature *sig;
677         char *fname;
678         guint64 ip;
679         CallInfo *cinfo;
680         ArgInfo *ainfo;
681         size_data sz;
682         void *curParm;
683
684         fname = mono_method_full_name (method, TRUE);
685         indent (1);
686         printf ("ENTER: %s ", fname);
687         g_free (fname);
688
689         ip  = (*(guint64 *) (sp+S390_RET_ADDR_OFFSET));
690         printf ("ip: %p sp: %p - ", (gpointer) ip, sp); 
691
692         if (rParm == NULL)
693                 return;
694         
695         sig = mono_method_signature (method);
696         
697         cinfo = calculate_sizes (NULL, sig, &sz, sig->pinvoke);
698
699         if (cinfo->struct_ret) {
700                 printf ("[STRUCTRET:%p], ", (gpointer) rParm->gr[0]);
701                 iParm = 1;
702         }
703
704         if (sig->hasthis) {
705                 gpointer *this = (gpointer *) rParm->gr[iParm];
706                 obj = (MonoObject *) this;
707                 if (method->klass->valuetype) { 
708                         if (obj) {
709                                 printf("this:[value:%p:%016lx], ", 
710                                        this, *((guint64 *)(this+sizeof(MonoObject))));
711                         } else 
712                                 printf ("this:[NULL], ");
713                 } else {
714                         if (obj) {
715                                 class = obj->vtable->klass;
716                                 if (class == mono_defaults.string_class) {
717                                         printf ("this:[STRING:%p:%s], ", 
718                                                 obj, mono_string_to_utf8 ((MonoString *)obj));
719                                 } else {
720                                         printf ("this:%p[%s.%s], ", 
721                                                 obj, class->name_space, class->name);
722                                 }
723                         } else 
724                                 printf ("this:NULL, ");
725                 }
726                 oParm++;
727         }
728                                         
729         for (i = 0; i < sig->param_count; ++i) {
730                 ainfo = &cinfo->args[i + oParm];
731                 switch (ainfo->regtype) {
732                         case RegTypeGeneral :
733                                 decodeParm(sig->params[i], &(rParm->gr[ainfo->reg-2]), ainfo->size);
734                                 break;
735                         case RegTypeFP :
736                                 decodeParm(sig->params[i], &(rParm->fp[ainfo->reg]), ainfo->size);
737                                 break;
738                         case RegTypeBase :
739                                 decodeParm(sig->params[i], sp+ainfo->offset, ainfo->size);
740                                 break;
741                         case RegTypeStructByVal :
742                                 if (ainfo->reg != STK_BASE) {
743                                         int offset = sizeof(glong) - ainfo->size;
744                                         curParm = &(rParm->gr[ainfo->reg-2])+offset;
745                                 }
746                                 else
747                                         curParm = sp+ainfo->offset;
748
749                                 if (retFitsInReg (ainfo->vtsize)) 
750                                         decodeParm(sig->params[i], 
751                                                    curParm,
752                                                    ainfo->size);
753                                 else
754                                         decodeParm(sig->params[i], 
755                                                    *((char **) curParm),
756                                                    ainfo->vtsize);
757                                 break;
758                         case RegTypeStructByAddr :
759                                 if (ainfo->reg != STK_BASE) 
760                                         curParm = &(rParm->gr[ainfo->reg-2]);
761                                 else
762                                         curParm = sp+ainfo->offset;
763
764                                 decodeParm(sig->params[i], 
765                                            *((char **) curParm),
766                                            ainfo->vtsize);
767                                 break;
768                                 
769                         default :
770                                 printf("???, ");
771                 }
772         }       
773         printf("\n");
774         g_free(cinfo);
775 }
776
777 /*========================= End of Function ========================*/
778
779 /*------------------------------------------------------------------*/
780 /*                                                                  */
781 /* Name         - leave_method                                      */
782 /*                                                                  */
783 /* Function     -                                                   */
784 /*                                                                  */
785 /*------------------------------------------------------------------*/
786
787 static void
788 leave_method (MonoMethod *method, ...)
789 {
790         MonoType *type;
791         char *fname;
792         guint64 ip;
793         va_list ap;
794
795         va_start(ap, method);
796
797         fname = mono_method_full_name (method, TRUE);
798         indent (-1);
799         printf ("LEAVE: %s", fname);
800         g_free (fname);
801
802         type = mono_method_signature (method)->ret;
803
804 handle_enum:
805         switch (type->type) {
806         case MONO_TYPE_VOID:
807                 break;
808         case MONO_TYPE_BOOLEAN: {
809                 int val = va_arg (ap, int);
810                 if (val)
811                         printf ("[TRUE:%d]", val);
812                 else 
813                         printf ("[FALSE]");
814                         
815                 break;
816         }
817         case MONO_TYPE_CHAR: {
818                 int val = va_arg (ap, int);
819                 printf ("[CHAR:%d]", val);
820                 break;
821         }
822         case MONO_TYPE_I1: {
823                 int val = va_arg (ap, int);
824                 printf ("[INT1:%d]", val);
825                 break;
826         }
827         case MONO_TYPE_U1: {
828                 int val = va_arg (ap, int);
829                 printf ("[UINT1:%d]", val);
830                 break;
831         }
832         case MONO_TYPE_I2: {
833                 int val = va_arg (ap, int);
834                 printf ("[INT2:%d]", val);
835                 break;
836         }
837         case MONO_TYPE_U2: {
838                 int val = va_arg (ap, int);
839                 printf ("[UINT2:%d]", val);
840                 break;
841         }
842         case MONO_TYPE_I4: {
843                 int val = va_arg (ap, int);
844                 printf ("[INT4:%d]", val);
845                 break;
846         }
847         case MONO_TYPE_U4: {
848                 int val = va_arg (ap, int);
849                 printf ("[UINT4:%d]", val);
850                 break;
851         }
852         case MONO_TYPE_I: {
853                 gint64 val = va_arg (ap, gint64);
854                 printf ("[INT:%ld]", val);
855                 printf("]");
856                 break;
857         }
858         case MONO_TYPE_U: {
859                 gint64 val = va_arg (ap, gint64);
860                 printf ("[UINT:%lu]", val);
861                 printf("]");
862                 break;
863         }
864         case MONO_TYPE_STRING: {
865                 MonoString *s = va_arg (ap, MonoString *);
866 ;
867                 if (s) {
868                         g_assert (((MonoObject *)s)->vtable->klass == mono_defaults.string_class);
869                         printf ("[STRING:%p:%s]", s, mono_string_to_utf8 (s));
870                 } else 
871                         printf ("[STRING:null], ");
872                 break;
873         }
874         case MONO_TYPE_CLASS: 
875         case MONO_TYPE_OBJECT: {
876                 MonoObject *o = va_arg (ap, MonoObject *);
877
878                 if ((o) && (o->vtable)) {
879                         if (o->vtable->klass == mono_defaults.boolean_class) {
880                                 printf ("[BOOLEAN:%p:%d]", o, *((guint8 *)o + sizeof (MonoObject)));            
881                         } else if  (o->vtable->klass == mono_defaults.int32_class) {
882                                 printf ("[INT32:%p:%d]", o, *((gint32 *)((char *)o + sizeof (MonoObject))));    
883                         } else if  (o->vtable->klass == mono_defaults.int64_class) {
884                                 printf ("[INT64:%p:%ld]", o, *((gint64 *)((char *)o + sizeof (MonoObject))));   
885                         } else
886                                 printf ("[%s.%s:%p]", o->vtable->klass->name_space, o->vtable->klass->name, o);
887                 } else
888                         printf ("[OBJECT:%p]", o);
889                
890                 break;
891         }
892         case MONO_TYPE_PTR:
893         case MONO_TYPE_FNPTR:
894         case MONO_TYPE_ARRAY:
895         case MONO_TYPE_SZARRAY: {
896                 gpointer p = va_arg (ap, gpointer);
897                 printf ("[result=%p]", p);
898                 break;
899         }
900         case MONO_TYPE_I8: {
901                 gint64 l =  va_arg (ap, gint64);
902                 printf ("[LONG:%ld]", l);
903                 break;
904         }
905         case MONO_TYPE_U8: {
906                 guint64 l =  va_arg (ap, guint64);
907                 printf ("[ULONG:%lu]", l);
908                 break;
909         }
910         case MONO_TYPE_R4: {
911                 double f = va_arg (ap, double);
912                 printf ("[FLOAT4:%g]\n", f);
913                 break;
914         }
915         case MONO_TYPE_R8: {
916                 double f = va_arg (ap, double);
917                 printf ("[FLOAT8:%g]\n", f);
918                 break;
919         }
920         case MONO_TYPE_VALUETYPE: {
921                 MonoMarshalType *info;
922                 if (type->data.klass->enumtype) {
923                         type = type->data.klass->enum_basetype;
924                         goto handle_enum;
925                 } else {
926                         guint8 *p = va_arg (ap, gpointer);
927                         int j, size, align;
928
929                         info = mono_marshal_load_type_info (type->data.klass);
930
931                         if ((info->native_size == sizeof(float)) &&
932                             (info->num_fields  == 1) &&
933                             (info->fields[0].field->type->type == MONO_TYPE_R4)) {
934                                 double f = va_arg (ap, double);
935                                 printf("[FLOAT4:%g]\n", (double) f);
936                                 break;
937                         }
938
939                         if ((info->native_size == sizeof(double)) &&
940                             (info->num_fields  == 1) &&
941                             (info->fields[0].field->type->type == MONO_TYPE_R8)) {
942                                 double f = va_arg (ap, double);
943                                 printf("[FLOAT8:%g]\n", f);
944                                 break;
945                         }
946
947                         size = mono_type_size (type, &align);
948                         switch (size) {
949                         case 1:
950                         case 2:
951                         case 4:
952                         case 8:
953                                 printf ("[");
954                                 for (j = 0; p && j < size; j++)
955                                         printf ("%02x,", p [j]);
956                                 printf ("]\n");
957                                 break;
958                         default:
959                                 printf ("[VALUETYPE]\n");
960                         }
961                 }
962                 break;
963         }
964         case MONO_TYPE_TYPEDBYREF: {
965                 guint8 *p = va_arg (ap, gpointer);
966                 int j, size, align;
967                 size = mono_type_size (type, &align);
968                 switch (size) {
969                 case 1:
970                 case 2:
971                 case 4:
972                 case 8:
973                         printf ("[");
974                         for (j = 0; p && j < size; j++)
975                                 printf ("%02x,", p [j]);
976                         printf ("]\n");
977                         break;
978                 default:
979                         printf ("[TYPEDBYREF]\n");
980                 }
981         }
982                 break;
983         default:
984                 printf ("(unknown return type %x)", 
985                         mono_method_signature (method)->ret->type);
986         }
987
988         ip = ((gint64) __builtin_return_address (0));
989         printf (" ip: %p\n", (gpointer) ip);
990 }
991
992 /*========================= End of Function ========================*/
993
994 /*------------------------------------------------------------------*/
995 /*                                                                  */
996 /* Name         - catch_SIGILL                                      */
997 /*                                                                  */
998 /* Function     - Catch SIGILL as a result of testing for long      */
999 /*                displacement facility.                            */
1000 /*                                                                  */
1001 /*------------------------------------------------------------------*/
1002
1003 void
1004 catch_SIGILL(int sigNo, siginfo_t *info, void *act) {
1005
1006         has_ld = 0;
1007
1008 }
1009
1010 /*========================= End of Function ========================*/
1011
1012 /*------------------------------------------------------------------*/
1013 /*                                                                  */
1014 /* Name         - mono_arch_cpu_init                                */
1015 /*                                                                  */
1016 /* Function     - Perform CPU specific initialization to execute    */
1017 /*                managed code.                                     */
1018 /*                                                                  */
1019 /*------------------------------------------------------------------*/
1020
1021 void
1022 mono_arch_cpu_init (void)
1023 {
1024         struct sigaction sa,
1025                          *oldSa = NULL;
1026         guint mode = 1;
1027
1028         /*--------------------------------------*/      
1029         /* Set default rounding mode for FP     */
1030         /*--------------------------------------*/      
1031         __asm__ ("SRNM\t%0\n\t"
1032                 : : "m" (mode));
1033
1034         /*--------------------------------------*/      
1035         /* Determine if we have long displace-  */
1036         /* ment facility on this processor      */
1037         /*--------------------------------------*/      
1038         sa.sa_sigaction = catch_SIGILL;
1039         sigemptyset (&sa.sa_mask);
1040         sa.sa_flags = SA_SIGINFO;
1041
1042         sigaction (SIGILL, &sa, oldSa);
1043
1044         /*--------------------------------------*/
1045         /* We test by executing the STY inst    */
1046         /*--------------------------------------*/
1047         __asm__ ("LGHI\t0,1\n\t"
1048                  "LA\t1,%0\n\t"
1049                  ".byte\t0xe3,0x00,0x10,0x00,0x00,0x50\n\t"
1050                 : "=m" (has_ld) : : "0", "1");
1051
1052         sigaction (SIGILL, oldSa, NULL);
1053 }
1054
1055 /*========================= End of Function ========================*/
1056
1057
1058 /*
1059  * Initialize architecture specific code.
1060  */
1061 void
1062 mono_arch_init (void)
1063 {
1064 }
1065
1066 /*
1067  * Cleanup architecture specific code.
1068  */
1069 void
1070 mono_arch_cleanup (void)
1071 {
1072 }
1073
1074 /*------------------------------------------------------------------*/
1075 /*                                                                  */
1076 /* Name         - mono_arch_cpu_optimizazions                       */
1077 /*                                                                  */
1078 /* Function     - Returns the optimizations supported on this CPU   */
1079 /*                                                                  */
1080 /*------------------------------------------------------------------*/
1081
1082 guint32
1083 mono_arch_cpu_optimizazions (guint32 *exclude_mask)
1084 {
1085         guint32 opts = 0;
1086
1087         /*----------------------------------------------------------*/
1088         /* No s390-specific optimizations yet                       */
1089         /*----------------------------------------------------------*/
1090         *exclude_mask = MONO_OPT_INLINE|MONO_OPT_LINEARS;
1091 //      *exclude_mask = MONO_OPT_INLINE;
1092         return opts;
1093 }
1094
1095 /*========================= End of Function ========================*/
1096
1097 /*------------------------------------------------------------------*/
1098 /*                                                                  */
1099 /* Name         -                                                   */
1100 /*                                                                  */
1101 /* Function     -                                                   */
1102 /*                                                                  */
1103 /*------------------------------------------------------------------*/
1104
1105 static gboolean
1106 is_regsize_var (MonoType *t) {
1107         if (t->byref)
1108                 return TRUE;
1109         switch (mono_type_get_underlying_type (t)->type) {
1110         case MONO_TYPE_I4:
1111         case MONO_TYPE_U4:
1112         case MONO_TYPE_I:
1113         case MONO_TYPE_I8:
1114         case MONO_TYPE_U8:
1115         case MONO_TYPE_U:
1116         case MONO_TYPE_PTR:
1117         case MONO_TYPE_FNPTR:
1118                 return TRUE;
1119         case MONO_TYPE_OBJECT:
1120         case MONO_TYPE_STRING:
1121         case MONO_TYPE_CLASS:
1122         case MONO_TYPE_SZARRAY:
1123         case MONO_TYPE_ARRAY:
1124                 return FALSE;
1125         case MONO_TYPE_VALUETYPE:
1126                 if (t->data.klass->enumtype)
1127                         return is_regsize_var (t->data.klass->enum_basetype);
1128                 return FALSE;
1129         }
1130         return FALSE;
1131 }
1132
1133 /*========================= End of Function ========================*/
1134
1135 /*------------------------------------------------------------------*/
1136 /*                                                                  */
1137 /* Name         - mono_arch_get_allocatable_int_vars                */
1138 /*                                                                  */
1139 /* Function     -                                                   */
1140 /*                                                                  */
1141 /*------------------------------------------------------------------*/
1142
1143 GList *
1144 mono_arch_get_allocatable_int_vars (MonoCompile *cfg)
1145 {
1146         GList *vars = NULL;
1147         int i;
1148
1149         for (i = 0; i < cfg->num_varinfo; i++) {
1150                 MonoInst *ins = cfg->varinfo [i];
1151                 MonoMethodVar *vmv = MONO_VARINFO (cfg, i);
1152
1153                 /* unused vars */
1154                 if (vmv->range.first_use.abs_pos >= vmv->range.last_use.abs_pos)
1155                         continue;
1156
1157                 if (ins->flags & (MONO_INST_VOLATILE|MONO_INST_INDIRECT) || 
1158                     (ins->opcode != OP_LOCAL && ins->opcode != OP_ARG))
1159                         continue;
1160
1161                 /* we can only allocate 32 bit values */
1162                 if (is_regsize_var (ins->inst_vtype)) {
1163                         g_assert (MONO_VARINFO (cfg, i)->reg == -1);
1164                         g_assert (i == vmv->idx);
1165                         vars = mono_varlist_insert_sorted (cfg, vars, vmv, FALSE);
1166                 }
1167         }
1168
1169         return vars;
1170 }
1171
1172 /*========================= End of Function ========================*/
1173
1174 /*------------------------------------------------------------------*/
1175 /*                                                                  */
1176 /* Name         - mono_arch_global_int_regs                         */
1177 /*                                                                  */
1178 /* Function     - Return a list of usable integer registers.        */
1179 /*                                                                  */
1180 /*------------------------------------------------------------------*/
1181
1182 GList *
1183 mono_arch_get_global_int_regs (MonoCompile *cfg)
1184 {
1185         GList *regs = NULL;
1186         MonoMethodHeader *header;
1187         int i, top = 13;
1188
1189         header = mono_method_get_header (cfg->method);
1190         if ((cfg->flags & MONO_CFG_HAS_ALLOCA) || header->num_clauses)
1191                 cfg->frame_reg = s390_r11;
1192
1193         for (i = 8; i < top; ++i) {
1194                 if (cfg->frame_reg != i) 
1195                         regs = g_list_prepend (regs, GUINT_TO_POINTER (i));
1196         }
1197
1198         return regs;
1199 }
1200
1201 /*========================= End of Function ========================*/
1202
1203 /*------------------------------------------------------------------*/
1204 /*                                                                  */
1205 /* Name         -  mono_arch_flush_icache                           */
1206 /*                                                                  */
1207 /* Function     -  Flush the CPU icache.                            */
1208 /*                                                                  */
1209 /*------------------------------------------------------------------*/
1210
1211 void
1212 mono_arch_flush_icache (guint8 *code, gint size)
1213 {
1214 }
1215
1216 /*========================= End of Function ========================*/
1217
1218 /*------------------------------------------------------------------*/
1219 /*                                                                  */
1220 /* Name         - add_general                                       */
1221 /*                                                                  */
1222 /* Function     - Determine code and stack size incremements for a  */
1223 /*                parameter.                                        */
1224 /*                                                                  */
1225 /*------------------------------------------------------------------*/
1226
1227 static void inline
1228 add_general (guint *gr, size_data *sz, ArgInfo *ainfo)
1229 {
1230         if (*gr > S390_LAST_ARG_REG) {
1231                 sz->stack_size  = S390_ALIGN(sz->stack_size, sizeof(long));
1232                 ainfo->offset   = sz->stack_size;
1233                 ainfo->reg      = STK_BASE;
1234                 ainfo->regtype  = RegTypeBase;
1235                 sz->stack_size += sizeof(long);
1236                 sz->local_size += sizeof(long);
1237                 sz->offStruct  += sizeof(long);
1238                 sz->code_size  += 12;    
1239         } else {
1240                 ainfo->reg      = *gr;
1241                 sz->code_size  += 8;    
1242         }
1243         (*gr) ++;
1244 }
1245
1246 /*========================= End of Function ========================*/
1247
1248 /*------------------------------------------------------------------*/
1249 /*                                                                  */
1250 /* Name         - add_stackParm                                     */
1251 /*                                                                  */
1252 /* Function     - Determine code and stack size incremements for a  */
1253 /*                parameter.                                        */
1254 /*                                                                  */
1255 /*------------------------------------------------------------------*/
1256
1257 static void inline
1258 add_stackParm (guint *gr, size_data *sz, ArgInfo *ainfo, gint size)
1259 {
1260         if (*gr > S390_LAST_ARG_REG) {
1261                 sz->stack_size  = S390_ALIGN(sz->stack_size, sizeof(long));
1262                 ainfo->reg      = STK_BASE;
1263                 sz->stack_size += sizeof(gpointer);
1264                 sz->offStruct  += sizeof(gpointer);
1265         } else {
1266                 ainfo->reg      = *gr;
1267         }
1268         (*gr) ++;
1269         ainfo->offset   = sz->stack_size;
1270         ainfo->offparm  = sz->offset;
1271         sz->offset      = S390_ALIGN(sz->offset+size, sizeof(long));
1272         ainfo->size     = size;
1273         ainfo->regtype  = RegTypeStructByAddr; 
1274         ainfo->vtsize   = size;
1275         sz->parm_size  += size;
1276 }
1277
1278 /*========================= End of Function ========================*/
1279
1280 /*------------------------------------------------------------------*/
1281 /*                                                                  */
1282 /* Name         - add_float                                         */
1283 /*                                                                  */
1284 /* Function     - Determine code and stack size incremements for a  */
1285 /*                float parameter.                                  */
1286 /*                                                                  */
1287 /*------------------------------------------------------------------*/
1288
1289 static void inline
1290 add_float (guint *fr,  size_data *sz, ArgInfo *ainfo)
1291 {
1292         if ((*fr) <= S390_LAST_FPARG_REG) {
1293                 ainfo->regtype = RegTypeFP;
1294                 ainfo->reg     = *fr;
1295                 sz->code_size += 4;
1296                 (*fr) += 2;
1297         }
1298         else {
1299                 ainfo->offset   = sz->stack_size;
1300                 ainfo->reg      = STK_BASE;
1301                 ainfo->regtype  = RegTypeBase;
1302                 sz->code_size  += 4;
1303                 sz->stack_size += sizeof(double);
1304                 sz->local_size += sizeof(double);
1305                 sz->offStruct  += sizeof(double);
1306         }
1307 }
1308
1309 /*========================= End of Function ========================*/
1310
1311 /*------------------------------------------------------------------*/
1312 /*                                                                  */
1313 /* Name         - calculate_sizes                                   */
1314 /*                                                                  */
1315 /* Function     - Determine the amount of space required for code   */
1316 /*                and stack. In addition determine starting points  */
1317 /*                for stack-based parameters, and area for struct-  */
1318 /*                ures being returned on the stack.                 */
1319 /*                                                                  */
1320 /*------------------------------------------------------------------*/
1321
1322 static CallInfo *
1323 calculate_sizes (MonoCompile *cfg, MonoMethodSignature *sig, size_data *sz, 
1324                  gboolean string_ctor)
1325 {
1326         guint i, fr, gr, size;
1327         int nParm = sig->hasthis + sig->param_count;
1328         MonoType *ret_type;
1329         guint32 simpletype, align;
1330         CallInfo *cinfo = g_malloc0 (sizeof (CallInfo) + sizeof (ArgInfo) * nParm);
1331         MonoGenericSharingContext *gsctx = cfg ? cfg->generic_sharing_context : NULL;
1332
1333         fr                = 0;
1334         gr                = s390_r2;
1335         nParm             = 0;
1336         cinfo->struct_ret = 0;
1337         sz->retStruct     = 0;
1338         sz->offset        = 0;
1339         sz->offStruct     = S390_MINIMAL_STACK_SIZE;
1340         sz->stack_size    = S390_MINIMAL_STACK_SIZE;
1341         sz->code_size     = 0;
1342         sz->parm_size     = 0;
1343         sz->local_size    = 0;
1344
1345         /*----------------------------------------------------------*/
1346         /* We determine the size of the return code/stack in case we*/
1347         /* need to reserve a register to be used to address a stack */
1348         /* area that the callee will use.                           */
1349         /*----------------------------------------------------------*/
1350
1351         ret_type = mono_type_get_underlying_type (sig->ret);
1352         ret_type = mini_get_basic_type_from_generic (gsctx, ret_type);
1353         simpletype = ret_type->type;
1354 enum_retvalue:
1355         switch (simpletype) {
1356                 case MONO_TYPE_BOOLEAN:
1357                 case MONO_TYPE_I1:
1358                 case MONO_TYPE_U1:
1359                 case MONO_TYPE_I2:
1360                 case MONO_TYPE_U2:
1361                 case MONO_TYPE_CHAR:
1362                 case MONO_TYPE_I4:
1363                 case MONO_TYPE_U4:
1364                 case MONO_TYPE_I:
1365                 case MONO_TYPE_U:
1366                 case MONO_TYPE_CLASS:
1367                 case MONO_TYPE_OBJECT:
1368                 case MONO_TYPE_SZARRAY:
1369                 case MONO_TYPE_ARRAY:
1370                 case MONO_TYPE_PTR:
1371                 case MONO_TYPE_FNPTR:
1372                 case MONO_TYPE_STRING:
1373                         cinfo->ret.reg = s390_r2;
1374                         sz->code_size += 4;
1375                         break;
1376                 case MONO_TYPE_R4:
1377                 case MONO_TYPE_R8:
1378                         cinfo->ret.reg = s390_f0;
1379                         sz->code_size += 4;
1380                         break;
1381                 case MONO_TYPE_I8:
1382                 case MONO_TYPE_U8:
1383                         cinfo->ret.reg = s390_r2;
1384                         sz->code_size += 4;
1385                         break;
1386                 case MONO_TYPE_GENERICINST:
1387                         if (!mono_type_generic_inst_is_valuetype (sig->ret)) {
1388                                 cinfo->ret.reg = s390_r2;
1389                                 sz->code_size += 4;
1390                                 break;
1391                         }
1392                         /* Fall through */
1393                 case MONO_TYPE_VALUETYPE: {
1394                         MonoClass *klass = mono_class_from_mono_type (sig->ret);
1395                         if (klass->enumtype) {
1396                                 simpletype = klass->enum_basetype->type;
1397                                 goto enum_retvalue;
1398                         }
1399                         if (sig->pinvoke)
1400                                 size = mono_class_native_size (klass, &align);
1401                         else
1402                                 size = mono_class_value_size (klass, &align);
1403         
1404                         cinfo->ret.reg    = s390_r2;
1405                         cinfo->struct_ret = 1;
1406                         cinfo->ret.size   = size;
1407                         cinfo->ret.vtsize = size;
1408                         gr++;
1409                         break;
1410                 }
1411                 case MONO_TYPE_TYPEDBYREF:
1412                         size = sizeof (MonoTypedRef);
1413                         cinfo->ret.reg    = s390_r2;
1414                         cinfo->struct_ret = 1;
1415                         cinfo->ret.size   = size;
1416                         cinfo->ret.vtsize = size;
1417                         gr++;
1418                         break;
1419                 case MONO_TYPE_VOID:
1420                         break;
1421                 default:
1422                         g_error ("Can't handle as return value 0x%x", sig->ret->type);
1423         }
1424
1425         if (sig->hasthis) {
1426                 cinfo->args[nParm].size = sizeof(gpointer);
1427                 add_general (&gr, sz, cinfo->args+nParm);
1428                 nParm++;
1429         }
1430
1431         /*----------------------------------------------------------*/
1432         /* We determine the size of the parameter code and stack    */
1433         /* requirements by checking the types and sizes of the      */
1434         /* parameters.                                              */
1435         /*----------------------------------------------------------*/
1436
1437         for (i = 0; i < sig->param_count; ++i) {
1438                 MonoType *ptype;
1439
1440                 /*--------------------------------------------------*/
1441                 /* Handle vararg type calls. All args are put on    */
1442                 /* the stack.                                       */
1443                 /*--------------------------------------------------*/
1444                 if ((sig->call_convention == MONO_CALL_VARARG) &&
1445                     (i == sig->sentinelpos)) {
1446                         gr = S390_LAST_ARG_REG + 1;
1447                         add_general (&gr, sz, &cinfo->sigCookie);
1448                 }
1449
1450                 if (sig->params [i]->byref) {
1451                         add_general (&gr, sz, cinfo->args+nParm);
1452                         cinfo->args[nParm].size = sizeof(gpointer);
1453                         nParm++;
1454                         continue;
1455                 }
1456
1457                 ptype = mono_type_get_underlying_type (sig->params [i]);
1458                 ptype = mini_get_basic_type_from_generic (gsctx, ptype);
1459                 simpletype = ptype->type;
1460                 cinfo->args[nParm].type = simpletype;
1461                 switch (simpletype) {
1462                 case MONO_TYPE_BOOLEAN:
1463                 case MONO_TYPE_I1:
1464                 case MONO_TYPE_U1:
1465                         cinfo->args[nParm].size = sizeof(char);
1466                         add_general (&gr, sz, cinfo->args+nParm);
1467                         nParm++;
1468                         break;
1469                 case MONO_TYPE_I2:
1470                 case MONO_TYPE_U2:
1471                 case MONO_TYPE_CHAR:
1472                         cinfo->args[nParm].size = sizeof(short);
1473                         add_general (&gr, sz, cinfo->args+nParm);
1474                         nParm++;
1475                         break;
1476                 case MONO_TYPE_I4:
1477                 case MONO_TYPE_U4:
1478                         cinfo->args[nParm].size = sizeof(int);
1479                         add_general (&gr, sz, cinfo->args+nParm);
1480                         nParm++;
1481                         break;
1482                 case MONO_TYPE_I:
1483                 case MONO_TYPE_U:
1484                 case MONO_TYPE_PTR:
1485                 case MONO_TYPE_FNPTR:
1486                 case MONO_TYPE_CLASS:
1487                 case MONO_TYPE_OBJECT:
1488                 case MONO_TYPE_STRING:
1489                 case MONO_TYPE_SZARRAY:
1490                 case MONO_TYPE_ARRAY:
1491                         cinfo->args[nParm].size = sizeof(gpointer);
1492                         add_general (&gr, sz, cinfo->args+nParm);
1493                         nParm++;
1494                         break;
1495                 case MONO_TYPE_I8:
1496                 case MONO_TYPE_U8:
1497                         cinfo->args[nParm].size = sizeof(long long);
1498                         add_general (&gr, sz, cinfo->args+nParm);
1499                         nParm++;
1500                         break;
1501                 case MONO_TYPE_R4:
1502                         cinfo->args[nParm].size = sizeof(float);
1503                         add_float (&fr, sz, cinfo->args+nParm);
1504                         nParm++;
1505                         break;
1506                 case MONO_TYPE_R8:
1507                         cinfo->args[nParm].size = sizeof(double);
1508                         add_float (&fr, sz, cinfo->args+nParm);
1509                         nParm++;
1510                         break;
1511                 case MONO_TYPE_GENERICINST:
1512                         if (!mono_type_generic_inst_is_valuetype (sig->params [i])) {
1513                                 cinfo->args[nParm].size = sizeof(gpointer);
1514                                 add_general (&gr, sz, cinfo->args+nParm);
1515                                 nParm++;
1516                                 break;
1517                         }
1518                         /* Fall through */
1519                 case MONO_TYPE_VALUETYPE: {
1520                         MonoMarshalType *info;
1521                         MonoClass *klass = mono_class_from_mono_type (sig->params [i]);
1522                         if (sig->pinvoke)
1523                                 size = mono_class_native_size (klass, &align);
1524                         else
1525                                 size = mono_class_value_size (klass, &align);
1526         
1527                         info = mono_marshal_load_type_info (klass);
1528
1529                         if ((info->native_size == sizeof(float)) &&
1530                             (info->num_fields  == 1) &&
1531                             (info->fields[0].field->type->type == MONO_TYPE_R4)) {
1532                                 cinfo->args[nParm].size = sizeof(float);
1533                                 add_float(&fr, sz, cinfo->args+nParm);
1534                                 break;
1535                         }
1536
1537                         if ((info->native_size == sizeof(double)) &&
1538                             (info->num_fields  == 1) &&
1539                             (info->fields[0].field->type->type == MONO_TYPE_R8)) {
1540                                 cinfo->args[nParm].size = sizeof(double);
1541                                 add_float(&fr, sz, cinfo->args+nParm);
1542                                 break;
1543                         }
1544
1545                         cinfo->args[nParm].vtsize  = 0;
1546                         cinfo->args[nParm].size    = 0;
1547
1548                         switch (size) {
1549                                 /*----------------------------------*/
1550                                 /* On S/390, structures of size 1,  */
1551                                 /* 2, 4, and 8 bytes are passed in  */
1552                                 /* (a) register(s).                 */
1553                                 /*----------------------------------*/
1554                                 case 0:
1555                                 case 1:
1556                                 case 2:
1557                                 case 4:
1558                                 case 8:
1559                                         add_general(&gr, sz, cinfo->args+nParm);
1560                                         cinfo->args[nParm].size    = size;
1561                                         cinfo->args[nParm].regtype = RegTypeStructByVal; 
1562                                         nParm++;
1563                                         sz->local_size            += sizeof(long);
1564                                         break;
1565                                 default:
1566                                         add_stackParm(&gr, sz, cinfo->args+nParm, size);
1567                                         nParm++;
1568                         }
1569                 }
1570                         break;
1571                 case MONO_TYPE_TYPEDBYREF: {
1572                         int size = sizeof (MonoTypedRef);
1573
1574                         cinfo->args[nParm].vtsize  = 0;
1575                         cinfo->args[nParm].size    = 0;
1576
1577                         switch (size) {
1578                                 /*----------------------------------*/
1579                                 /* On S/390, structures of size 1,  */
1580                                 /* 2, 4, and 8 bytes are passed in  */
1581                                 /* (a) register(s).                 */
1582                                 /*----------------------------------*/
1583                                 case 0:
1584                                 case 1:
1585                                 case 2:
1586                                 case 4:
1587                                 case 8:
1588                                         add_general(&gr, sz, cinfo->args+nParm);
1589                                         cinfo->args[nParm].size    = size;
1590                                         cinfo->args[nParm].regtype = RegTypeStructByVal; 
1591                                         nParm++;
1592                                         sz->local_size            += sizeof(long);
1593                                         break;
1594                                 default:
1595                                         add_stackParm(&gr, sz, cinfo->args+nParm, size);
1596                                         nParm++;
1597                         }
1598                 }
1599                         break;
1600                 default:
1601                         g_error ("Can't trampoline 0x%x", sig->params [i]->type);
1602                 }
1603         }
1604
1605         /*----------------------------------------------------------*/
1606         /* Handle the case where there are no implicit arguments    */
1607         /*----------------------------------------------------------*/
1608         if ((sig->call_convention == MONO_CALL_VARARG) &&
1609             (sig->param_count == sig->sentinelpos)) {
1610                 gr = S390_LAST_ARG_REG + 1;
1611                 add_general (&gr, sz, &cinfo->sigCookie);
1612         }
1613
1614         /*----------------------------------------------------------*/
1615         /* If we are passing a structure back then if it won't be   */
1616         /* in a register(s) then we make room at the end of the     */
1617         /* parameters that may have been placed on the stack        */
1618         /*----------------------------------------------------------*/
1619         if (cinfo->struct_ret) {
1620                 cinfo->ret.offset = sz->stack_size;
1621                 switch (cinfo->ret.size) {
1622                 case 0:
1623                 case 1:
1624                 case 2:
1625                 case 4:
1626                 case 8:
1627                         break;
1628                 default:
1629                         sz->stack_size   += S390_ALIGN(cinfo->ret.size, align);
1630                 }
1631         }
1632
1633         cinfo->lastgr   = gr;
1634         sz->stack_size  = sz->stack_size + sz->local_size + sz->parm_size + 
1635                           sz->offset;
1636         sz->stack_size  = S390_ALIGN(sz->stack_size, sizeof(long));
1637
1638         return (cinfo);
1639 }
1640
1641 /*========================= End of Function ========================*/
1642
1643 /*------------------------------------------------------------------*/
1644 /*                                                                  */
1645 /* Name         - mono_arch_allocate_vars                           */
1646 /*                                                                  */
1647 /* Function     - Set var information according to the calling      */
1648 /*                convention for S/390. The local var stuff should  */
1649 /*                most likely be split in another method.           */
1650 /*                                                                  */
1651 /* Parameter    - @m - Compile unit.                                */
1652 /*                                                                  */
1653 /*------------------------------------------------------------------*/
1654
1655 void
1656 mono_arch_allocate_vars (MonoCompile *cfg)
1657 {
1658         MonoMethodSignature *sig;
1659         MonoMethodHeader *header;
1660         MonoInst *inst;
1661         CallInfo *cinfo;
1662         size_data sz;
1663         int iParm, iVar, offset, size, align, curinst;
1664         int frame_reg = STK_BASE;
1665         int sArg, eArg;
1666
1667         header  = mono_method_get_header (cfg->method);
1668
1669         cfg->flags |= MONO_CFG_HAS_SPILLUP;
1670
1671         /*---------------------------------------------------------*/    
1672         /* We use the frame register also for any method that has  */ 
1673         /* filter clauses. This way, when the handlers are called, */
1674         /* the code will reference local variables using the frame */
1675         /* reg instead of the stack pointer: if we had to restore  */
1676         /* the stack pointer, we'd corrupt the method frames that  */
1677         /* are already on the stack (since filters get called      */
1678         /* before stack unwinding happens) when the filter code    */
1679         /* would call any method.                                  */
1680         /*---------------------------------------------------------*/    
1681         if ((cfg->flags & MONO_CFG_HAS_ALLOCA) || header->num_clauses)
1682                 frame_reg = s390_r11;
1683
1684         cfg->frame_reg = frame_reg;
1685
1686         if (frame_reg != STK_BASE) 
1687                 cfg->used_int_regs |= 1 << frame_reg;           
1688
1689         sig     = mono_method_signature (cfg->method);
1690         
1691         cinfo   = calculate_sizes (cfg, sig, &sz, sig->pinvoke);
1692
1693         if (cinfo->struct_ret) {
1694                 cfg->ret->opcode = OP_REGVAR;
1695                 cfg->ret->inst_c0 = s390_r2;
1696         } else {
1697                 switch (mono_type_get_underlying_type (sig->ret)->type) {
1698                 case MONO_TYPE_VOID:
1699                         break;
1700                 default:
1701                         cfg->ret->opcode = OP_REGVAR;
1702                         cfg->ret->dreg   = s390_r2;
1703                         break;
1704                 }
1705         }
1706
1707         /*--------------------------------------------------------------*/
1708         /* local vars are at a positive offset from the stack pointer   */
1709         /* also note that if the function uses alloca, we use s390_r11  */
1710         /* to point at the local variables.                             */
1711         /* add parameter area size for called functions                 */
1712         /*--------------------------------------------------------------*/
1713         offset          = (cfg->param_area + S390_MINIMAL_STACK_SIZE);
1714         cfg->sig_cookie = 0;
1715
1716         if (cinfo->struct_ret) {
1717                 inst               = cfg->ret;
1718                 offset             = S390_ALIGN(offset, sizeof(gpointer));
1719                 inst->inst_offset  = offset;
1720                 inst->opcode       = OP_REGOFFSET;
1721                 inst->inst_basereg = frame_reg;
1722                 offset            += sizeof(gpointer);
1723                 if ((sig->call_convention == MONO_CALL_VARARG) &&
1724                     (!retFitsInReg (cinfo->ret.size)))
1725                         cfg->sig_cookie += cinfo->ret.size;
1726         }
1727
1728         if (sig->hasthis) {
1729                 inst = cfg->args [0];
1730                 if (inst->opcode != OP_REGVAR) {
1731                         inst->opcode       = OP_REGOFFSET;
1732                         inst->inst_basereg = frame_reg;
1733                         offset             = S390_ALIGN(offset, sizeof(gpointer));
1734                         inst->inst_offset  = offset;
1735                         offset            += sizeof (gpointer);
1736                 }
1737                 curinst = sArg = 1;
1738         } else {
1739                 curinst = sArg = 0;
1740         }
1741
1742         eArg = sig->param_count + sArg;
1743
1744         if (sig->call_convention == MONO_CALL_VARARG)
1745                 cfg->sig_cookie += S390_MINIMAL_STACK_SIZE;
1746
1747         for (iParm = sArg; iParm < eArg; ++iParm) {
1748                 inst = cfg->args [curinst];
1749                 if (inst->opcode != OP_REGVAR) {
1750                         switch (cinfo->args[iParm].regtype) {
1751                                 case RegTypeStructByAddr :
1752                                 if (cinfo->args[iParm].reg == STK_BASE) {
1753                                         inst->opcode       = OP_S390_LOADARG;
1754                                         inst->inst_basereg = frame_reg;
1755                                         offset             = S390_ALIGN(offset, sizeof(long));
1756                                         inst->inst_offset  = offset; 
1757                                         size               = abs(cinfo->args[iParm].vtsize);
1758                                         inst->backend.arg_info     = cinfo->args[iParm].offset;
1759                                 } else {
1760                                         inst->opcode       = OP_S390_ARGREG;
1761                                         inst->inst_basereg = frame_reg;
1762                                         size               = sizeof(gpointer);
1763                                         offset             = S390_ALIGN(offset, size);
1764                                         inst->inst_offset  = offset;
1765                                         inst->backend.arg_info     = cinfo->args[iParm].offset;
1766                                 }
1767                                         break;
1768                                 case RegTypeStructByVal :
1769                                         inst->opcode       = OP_S390_ARGPTR;
1770                                         inst->inst_basereg = frame_reg;
1771                                         size               = cinfo->args[iParm].size;
1772                                         offset             = S390_ALIGN(offset, size);
1773                                         inst->inst_offset  = offset;
1774                                         inst->backend.arg_info     = cinfo->args[iParm].offset;
1775                                         break;
1776                                 default :
1777                                 if (cinfo->args[iParm].reg != STK_BASE) {
1778                                         inst->opcode       = OP_REGOFFSET;
1779                                         inst->inst_basereg = frame_reg;
1780                                         size               = (cinfo->args[iParm].size < 8
1781                                                               ? sizeof(int)
1782                                                               : sizeof(long));
1783                                         offset             = S390_ALIGN(offset, size);
1784                                         inst->inst_offset  = offset;
1785                                 } else {
1786                                         inst->opcode       = OP_S390_STKARG;
1787                                         inst->inst_basereg = frame_reg;
1788                                         size               = ((cinfo->args[iParm].size < 8) 
1789                                                               ? 8 - cinfo->args[iParm].size
1790                                                               : 0);
1791                                         inst->inst_offset  = cinfo->args[iParm].offset + 
1792                                                              size;
1793                                         inst->backend.arg_info       = 0;
1794                                         size               = sizeof(long);
1795                                 } 
1796                         }
1797                         if ((sig->call_convention == MONO_CALL_VARARG) && 
1798                             (cinfo->args[iParm].regtype != RegTypeGeneral) &&
1799                             (iParm < sig->sentinelpos)) 
1800                                 cfg->sig_cookie += size;
1801
1802                         offset += size;
1803                 }
1804                 curinst++;
1805         }
1806
1807         curinst = cfg->locals_start;
1808         for (iVar = curinst; iVar < cfg->num_varinfo; ++iVar) {
1809                 inst = cfg->varinfo [iVar];
1810                 if ((inst->flags & MONO_INST_IS_DEAD) || 
1811                     (inst->opcode == OP_REGVAR))
1812                         continue;
1813
1814                 /*--------------------------------------------------*/
1815                 /* inst->backend.is_pinvoke indicates native sized value types, */
1816                 /* this is used by the pinvoke wrappers when they   */
1817                 /* call functions returning structure               */
1818                 /*--------------------------------------------------*/
1819                 if (inst->backend.is_pinvoke && MONO_TYPE_ISSTRUCT (inst->inst_vtype))
1820                         size = mono_class_native_size (mono_class_from_mono_type(inst->inst_vtype), &align);
1821                 else
1822                         size = mono_type_size (inst->inst_vtype, &align);
1823
1824                 offset             = S390_ALIGN(offset, align);
1825                 inst->inst_offset  = offset;
1826                 inst->opcode       = OP_REGOFFSET;
1827                 inst->inst_basereg = frame_reg;
1828                 offset            += size;
1829                 DEBUG (g_print("allocating local %d to %ld, size: %d\n", 
1830                                 iVar, inst->inst_offset, size));
1831         }
1832
1833         /*------------------------------------------------------*/
1834         /* Allow space for the trace method stack area if needed*/
1835         /*------------------------------------------------------*/
1836         if (mono_jit_trace_calls != NULL && mono_trace_eval (cfg->method)) 
1837                 offset += S390_TRACE_STACK_SIZE;
1838
1839         /*------------------------------------------------------*/
1840         /* Reserve space to save LMF and caller saved registers */
1841         /*------------------------------------------------------*/
1842         if (cfg->method->save_lmf)
1843                 offset += sizeof (MonoLMF);
1844
1845         /*------------------------------------------------------*/
1846         /* align the offset                                     */
1847         /*------------------------------------------------------*/
1848         cfg->stack_offset = S390_ALIGN(offset, S390_STACK_ALIGNMENT);
1849
1850 }
1851
1852 /*========================= End of Function ========================*/
1853
1854 /*------------------------------------------------------------------*/
1855 /*                                                                  */
1856 /* Name         - mono_arch_call_opcode                             */
1857 /*                                                                  */
1858 /* Function     - Take the arguments and generate the arch-specific */
1859 /*                instructions to properly call the function. This  */
1860 /*                includes pushing, moving argments to the correct  */
1861 /*                etc.                                              */
1862 /*                                                                  */
1863 /*------------------------------------------------------------------*/
1864
1865 MonoCallInst*
1866 mono_arch_call_opcode (MonoCompile *cfg, MonoBasicBlock* bb, 
1867                        MonoCallInst *call, int is_virtual) {
1868         MonoInst *in;
1869         MonoCallArgParm *arg;
1870         MonoMethodSignature *sig;
1871         int i, n, lParamArea;
1872         CallInfo *cinfo;
1873         ArgInfo *ainfo;
1874         size_data sz;
1875
1876         sig = call->signature;
1877         n = sig->param_count + sig->hasthis;
1878         DEBUG (g_print ("Call requires: %d parameters\n",n));
1879         
1880         cinfo = calculate_sizes (cfg, sig, &sz, sig->pinvoke);
1881
1882         call->stack_usage = MAX(sz.stack_size, call->stack_usage);
1883         lParamArea        = MAX((call->stack_usage - S390_MINIMAL_STACK_SIZE - sz.parm_size), 0);
1884         cfg->param_area   = MAX (((signed) cfg->param_area), lParamArea);
1885         cfg->flags       |= MONO_CFG_HAS_CALLS;
1886
1887         if (cinfo->struct_ret)
1888                 call->used_iregs |= 1 << cinfo->ret.reg;
1889
1890         for (i = 0; i < n; ++i) {
1891                 ainfo = cinfo->args + i;
1892
1893                 if (!(sig->pinvoke) &&
1894                     (sig->call_convention == MONO_CALL_VARARG) &&
1895                     (i == sig->sentinelpos)) {
1896                         emit_sig_cookie (cfg, call, cinfo, ainfo->size);
1897                 }
1898
1899                 if (is_virtual && i == 0) {
1900                         /* the argument will be attached to the call instrucion */
1901                         in = call->args [i];
1902                         call->used_iregs |= 1 << ainfo->reg;
1903                 } else {
1904                         MONO_INST_NEW_CALL_ARG (cfg, arg, OP_OUTARG);
1905                         in                  = call->args [i];
1906                         arg->ins.cil_code   = in->cil_code;
1907                         arg->ins.inst_left  = in;
1908                         arg->ins.type       = in->type;
1909                         MONO_INST_LIST_ADD_TAIL (&arg->ins.node, &call->out_args);
1910                         arg->ins.inst_right = (MonoInst *) call;
1911                         if (ainfo->regtype == RegTypeGeneral) {
1912                                 arg->ins.backend.reg3 = ainfo->reg;
1913                                 call->used_iregs |= 1 << ainfo->reg;
1914                         } else if (ainfo->regtype == RegTypeStructByAddr) {
1915                                 call->used_iregs |= 1 << ainfo->reg;
1916                                 arg->ins.sreg1    = ainfo->reg;
1917                                 arg->ins.opcode   = OP_OUTARG_VT;
1918                                 arg->size         = -ainfo->vtsize;
1919                                 arg->offset       = ainfo->offset;
1920                                 arg->offPrm       = ainfo->offparm + sz.offStruct;
1921                         } else if (ainfo->regtype == RegTypeStructByVal) {
1922                                 if (ainfo->reg != STK_BASE) 
1923                                         call->used_iregs |= 1 << ainfo->reg;
1924                                 arg->ins.sreg1  = ainfo->reg;
1925                                 arg->ins.opcode = OP_OUTARG_VT;
1926                                 arg->size       = ainfo->size;
1927                                 arg->offset     = ainfo->offset;
1928                                 arg->offPrm     = ainfo->offparm + sz.offStruct;
1929                         } else if (ainfo->regtype == RegTypeBase) {
1930                                 arg->ins.opcode   = OP_OUTARG_MEMBASE;
1931                                 arg->ins.sreg1    = ainfo->reg;
1932                                 arg->size         = ainfo->size;
1933                                 arg->offset       = ainfo->offset;
1934                                 call->used_iregs |= 1 << ainfo->reg;
1935                         } else if (ainfo->regtype == RegTypeFP) {
1936                                 arg->ins.backend.reg3 = ainfo->reg;
1937                                 call->used_fregs |= 1 << ainfo->reg;
1938                                 if (ainfo->size == 4)
1939                                         arg->ins.opcode = OP_OUTARG_R4;
1940                                 else
1941                                         arg->ins.opcode = OP_OUTARG_R8;
1942                         } else {
1943                                 g_assert_not_reached ();
1944                         }
1945                 }
1946         }
1947
1948         /*
1949          * Handle the case where there are no implicit arguments 
1950          */
1951         if (!(sig->pinvoke) &&
1952             (sig->call_convention == MONO_CALL_VARARG) &&
1953             (n == sig->sentinelpos)) {
1954                 emit_sig_cookie (cfg, call, cinfo, sizeof(MonoType *));
1955         }
1956
1957         g_free (cinfo);
1958         return call;
1959 }
1960
1961 /*========================= End of Function ========================*/
1962
1963 /*------------------------------------------------------------------*/
1964 /*                                                                  */
1965 /* Name         - emit_sig_cookie.                                  */
1966 /*                                                                  */
1967 /* Function     - For variable length parameter lists construct a   */
1968 /*                signature cookie and emit it.                     */
1969 /*                                                                  */
1970 /*------------------------------------------------------------------*/
1971
1972 static void
1973 emit_sig_cookie (MonoCompile *cfg, MonoCallInst *call, 
1974                  CallInfo *cinfo, int argSize)
1975 {
1976         MonoCallArgParm *arg;
1977         MonoMethodSignature *tmpSig;
1978         MonoInst *sigArg;
1979                         
1980         cfg->disable_aot = TRUE;
1981
1982         /*----------------------------------------------------------*/
1983         /* mono_ArgIterator_Setup assumes the signature cookie is   */
1984         /* passed first and all the arguments which were before it  */
1985         /* passed on the stack after the signature. So compensate   */
1986         /* by passing a different signature.                        */
1987         /*----------------------------------------------------------*/
1988         tmpSig = mono_metadata_signature_dup (call->signature);
1989         tmpSig->param_count -= call->signature->sentinelpos;
1990         tmpSig->sentinelpos  = 0;
1991         if (tmpSig->param_count > 0)
1992                 memcpy (tmpSig->params, 
1993                         call->signature->params + call->signature->sentinelpos, 
1994                         tmpSig->param_count * sizeof(MonoType *));
1995
1996         MONO_INST_NEW (cfg, sigArg, OP_ICONST);
1997         sigArg->inst_p0 = tmpSig;
1998
1999         MONO_INST_NEW_CALL_ARG (cfg, arg, OP_OUTARG_MEMBASE);
2000         arg->ins.inst_left   = sigArg;
2001         arg->ins.inst_right  = (MonoInst *) call;
2002         arg->size            = argSize;
2003         arg->offset          = cinfo->sigCookie.offset;
2004         MONO_INST_LIST_ADD_TAIL (&arg->ins.node, &call->out_args);
2005 }
2006
2007 /*========================= End of Function ========================*/
2008
2009 /*------------------------------------------------------------------*/
2010 /*                                                                  */
2011 /* Name         - mono_arch_instrument_mem_needs                    */
2012 /*                                                                  */
2013 /* Function     - Allow tracing to work with this interface (with   */
2014 /*                an optional argument).                            */
2015 /*                                                                  */
2016 /*------------------------------------------------------------------*/
2017
2018 void
2019 mono_arch_instrument_mem_needs (MonoMethod *method, int *stack, int *code)
2020 {
2021         /* no stack room needed now (may be needed for FASTCALL-trace support) */
2022         *stack = 0;
2023         /* split prolog-epilog requirements? */
2024         *code = 50; /* max bytes needed: check this number */
2025 }
2026
2027 /*========================= End of Function ========================*/
2028
2029 /*------------------------------------------------------------------*/
2030 /*                                                                  */
2031 /* Name         - mono_arch_instrument_prolog                       */
2032 /*                                                                  */
2033 /* Function     - Create an "instrumented" prolog.                  */
2034 /*                                                                  */
2035 /*------------------------------------------------------------------*/
2036
2037 void*
2038 mono_arch_instrument_prolog (MonoCompile *cfg, void *func, void *p, 
2039                              gboolean enable_arguments)
2040 {
2041         guchar  *code = p;
2042         int     parmOffset, 
2043                 fpOffset,
2044                 baseReg;
2045
2046         parmOffset = cfg->stack_usage - S390_TRACE_STACK_SIZE;
2047         if (cfg->method->save_lmf)
2048                 parmOffset -= sizeof(MonoLMF);
2049         fpOffset   = parmOffset + (5*sizeof(gpointer));
2050         if ((!has_ld) && (fpOffset > 4096)) {
2051                 s390_lgr (code, s390_r12, STK_BASE);
2052                 baseReg = s390_r12;
2053                 while (fpOffset > 4096) {
2054                         s390_aghi (code, baseReg, 4096);
2055                         fpOffset   -= 4096;
2056                         parmOffset -= 4096;
2057                 }
2058         } else {
2059                 baseReg = STK_BASE;
2060         }       
2061
2062         s390_stmg (code, s390_r2, s390_r6, STK_BASE, parmOffset);
2063         if (has_ld) {
2064                 s390_stdy (code, s390_f0, 0, STK_BASE, fpOffset);
2065                 s390_stdy (code, s390_f2, 0, STK_BASE, fpOffset+sizeof(gdouble));
2066                 s390_stdy (code, s390_f4, 0, STK_BASE, fpOffset+2*sizeof(gdouble));
2067                 s390_stdy (code, s390_f6, 0, STK_BASE, fpOffset+3*sizeof(gdouble));
2068         } else {
2069                 s390_std  (code, s390_f0, 0, baseReg, fpOffset);
2070                 s390_std  (code, s390_f2, 0, baseReg, fpOffset+sizeof(gdouble));
2071                 s390_std  (code, s390_f4, 0, baseReg, fpOffset+2*sizeof(gdouble));
2072                 s390_std  (code, s390_f6, 0, baseReg, fpOffset+3*sizeof(gdouble));
2073         }
2074         s390_basr (code, s390_r13, 0);
2075         s390_j    (code, 10);
2076         s390_llong(code, cfg->method);
2077         s390_llong(code, func);
2078         s390_lg   (code, s390_r2, 0, s390_r13, 4);
2079         if (has_ld)
2080                 s390_lay  (code, s390_r3, 0, STK_BASE, parmOffset);
2081         else
2082                 s390_la   (code, s390_r3, 0, baseReg, parmOffset);
2083         s390_lgr  (code, s390_r4, STK_BASE);
2084         s390_aghi (code, s390_r4, cfg->stack_usage);
2085         s390_lg   (code, s390_r1, 0, s390_r13, 12);
2086         s390_basr (code, s390_r14, s390_r1);
2087         if (has_ld) {
2088                 s390_ldy  (code, s390_f6, 0, STK_BASE, fpOffset+3*sizeof(gdouble));
2089                 s390_ldy  (code, s390_f4, 0, STK_BASE, fpOffset+2*sizeof(gdouble));
2090                 s390_ldy  (code, s390_f2, 0, STK_BASE, fpOffset+sizeof(gdouble));
2091                 s390_ldy  (code, s390_f0, 0, STK_BASE, fpOffset);
2092         } else {
2093                 s390_ld   (code, s390_f6, 0, baseReg, fpOffset+3*sizeof(gdouble));
2094                 s390_ld   (code, s390_f4, 0, baseReg, fpOffset+2*sizeof(gdouble));
2095                 s390_ld   (code, s390_f2, 0, baseReg, fpOffset+sizeof(gdouble));
2096                 s390_ld   (code, s390_f0, 0, baseReg, fpOffset);
2097         }
2098         s390_lmg  (code, s390_r2, s390_r6, STK_BASE, parmOffset);
2099
2100         return code;
2101 }
2102
2103 /*========================= End of Function ========================*/
2104
2105 /*------------------------------------------------------------------*/
2106 /*                                                                  */
2107 /* Name         - mono_arch_instrument_epilog                       */
2108 /*                                                                  */
2109 /* Function     - Create an epilog that will handle the returned    */
2110 /*                values used in instrumentation.                   */
2111 /*                                                                  */
2112 /*------------------------------------------------------------------*/
2113
2114 void*
2115 mono_arch_instrument_epilog (MonoCompile *cfg, void *func, void *p, gboolean enable_arguments)
2116 {
2117         guchar     *code = p;
2118         int        save_mode = SAVE_NONE,
2119                    saveOffset;
2120         MonoMethod *method = cfg->method;
2121         int        rtype = mono_type_get_underlying_type (mono_method_signature (method)->ret)->type;
2122
2123         saveOffset = cfg->stack_usage - S390_TRACE_STACK_SIZE;
2124         if (method->save_lmf)
2125                 saveOffset -= sizeof(MonoLMF);
2126
2127 handle_enum:
2128         switch (rtype) {
2129         case MONO_TYPE_VOID:
2130                 /* special case string .ctor icall */
2131                 if (strcmp (".ctor", method->name) && method->klass == mono_defaults.string_class)
2132                         save_mode = SAVE_ONE;
2133                 else
2134                         save_mode = SAVE_NONE;
2135                 break;
2136         case MONO_TYPE_I8:
2137         case MONO_TYPE_U8:
2138                 save_mode = SAVE_ONE;
2139                 break;
2140         case MONO_TYPE_R4:
2141                 save_mode = SAVE_R4;
2142                 break;
2143         case MONO_TYPE_R8:
2144                 save_mode = SAVE_R8;
2145                 break;
2146         case MONO_TYPE_VALUETYPE:
2147                 if (mono_method_signature (method)->ret->data.klass->enumtype) {
2148                         rtype = mono_method_signature (method)->ret->data.klass->enum_basetype->type;
2149                         goto handle_enum;
2150                 }
2151                 save_mode = SAVE_STRUCT;
2152                 break;
2153         default:
2154                 save_mode = SAVE_ONE;
2155                 break;
2156         }
2157
2158         switch (save_mode) {
2159         case SAVE_ONE:
2160                 s390_stg (code, s390_r2, 0, cfg->frame_reg, saveOffset);
2161                 if (enable_arguments) {
2162                         s390_lgr (code, s390_r3, s390_r2);
2163                 }
2164                 break;
2165         case SAVE_R4:
2166                 s390_std (code, s390_f0, 0, cfg->frame_reg, saveOffset);
2167                 if (enable_arguments) {
2168                         s390_ldebr (code, s390_f0, s390_f0);
2169                 }
2170                 break;
2171         case SAVE_R8:
2172                 s390_std (code, s390_f0, 0, cfg->frame_reg, saveOffset);
2173                 break;
2174         case SAVE_STRUCT:
2175                 s390_stg (code, s390_r2, 0, cfg->frame_reg, saveOffset);
2176                 if (enable_arguments) {
2177                         s390_lg (code, s390_r3, 0, cfg->frame_reg, 
2178                                  S390_MINIMAL_STACK_SIZE+cfg->param_area);
2179                 }
2180                 break;
2181         case SAVE_NONE:
2182         default:
2183                 break;
2184         }
2185
2186         s390_basr (code, s390_r13, 0);
2187         s390_j    (code, 10);
2188         s390_llong(code, cfg->method);
2189         s390_llong(code, func);
2190         s390_lg   (code, s390_r2, 0, s390_r13, 4);
2191         s390_lg   (code, s390_r1, 0, s390_r13, 12);
2192         s390_basr (code, s390_r14, s390_r1);
2193
2194         switch (save_mode) {
2195         case SAVE_ONE:
2196                 s390_lg  (code, s390_r2, 0, cfg->frame_reg, saveOffset);
2197                 break;
2198         case SAVE_R4:
2199         case SAVE_R8:
2200                 s390_ld  (code, s390_f0, 0, cfg->frame_reg, saveOffset);
2201                 break;
2202         case SAVE_STRUCT:
2203                 s390_lg  (code, s390_r2, 0, cfg->frame_reg, saveOffset);
2204                 break;
2205         case SAVE_NONE:
2206         default:
2207                 break;
2208         }
2209
2210         return code;
2211 }
2212
2213 /*========================= End of Function ========================*/
2214
2215 void
2216 mono_arch_peephole_pass_1 (MonoCompile *cfg, MonoBasicBlock *bb)
2217 {
2218 }
2219
2220 /*------------------------------------------------------------------*/
2221 /*                                                                  */
2222 /* Name         - mono_arch_peephole_pass                                     */
2223 /*                                                                  */
2224 /* Function     - Form a peephole pass at the code looking for      */
2225 /*                simple optimizations.                             */
2226 /*                                                                  */
2227 /*------------------------------------------------------------------*/
2228
2229 void
2230 mono_arch_peephole_pass_2 (MonoCompile *cfg, MonoBasicBlock *bb)
2231 {
2232         MonoInst *ins, *n;
2233
2234         MONO_INST_LIST_FOR_EACH_ENTRY_SAFE (ins, n, &bb->ins_list, node) {
2235                 MonoInst *last_ins = mono_inst_list_prev (&ins->node, &bb->ins_list);
2236
2237                 switch (ins->opcode) {
2238                 case OP_MUL_IMM: 
2239                         /* remove unnecessary multiplication with 1 */
2240                         if (ins->inst_imm == 1) {
2241                                 if (ins->dreg != ins->sreg1) {
2242                                         ins->opcode = OP_MOVE;
2243                                 } else {
2244                                         MONO_DEL_INS (ins);
2245                                         continue;
2246                                 }
2247                         }
2248                         break;
2249                 case OP_LOAD_MEMBASE:
2250                 case OP_LOADI4_MEMBASE:
2251                         /* 
2252                          * OP_STORE_MEMBASE_REG reg, offset(basereg) 
2253                          * OP_LOAD_MEMBASE offset(basereg), reg
2254                          */
2255                         if (last_ins && (last_ins->opcode == OP_STOREI4_MEMBASE_REG 
2256                                          || last_ins->opcode == OP_STORE_MEMBASE_REG) &&
2257                             ins->inst_basereg == last_ins->inst_destbasereg &&
2258                             ins->inst_offset == last_ins->inst_offset) {
2259                                 if (ins->dreg == last_ins->sreg1) {
2260                                         MONO_DEL_INS (ins);
2261                                         continue;
2262                                 } else {
2263                                         ins->opcode = OP_MOVE;
2264                                         ins->sreg1 = last_ins->sreg1;
2265                                 }
2266
2267                         /* 
2268                          * Note: reg1 must be different from the basereg in the second load
2269                          * OP_LOAD_MEMBASE offset(basereg), reg1
2270                          * OP_LOAD_MEMBASE offset(basereg), reg2
2271                          * -->
2272                          * OP_LOAD_MEMBASE offset(basereg), reg1
2273                          * OP_MOVE reg1, reg2
2274                          */
2275                         } if (last_ins && (last_ins->opcode == OP_LOADI4_MEMBASE
2276                                            || last_ins->opcode == OP_LOAD_MEMBASE) &&
2277                               ins->inst_basereg != last_ins->dreg &&
2278                               ins->inst_basereg == last_ins->inst_basereg &&
2279                               ins->inst_offset == last_ins->inst_offset) {
2280
2281                                 if (ins->dreg == last_ins->dreg) {
2282                                         MONO_DEL_INS (ins);
2283                                         continue;
2284                                 } else {
2285                                         ins->opcode = OP_MOVE;
2286                                         ins->sreg1 = last_ins->dreg;
2287                                 }
2288
2289                         }
2290                         break;
2291                 case OP_LOADU1_MEMBASE:
2292                 case OP_LOADI1_MEMBASE:
2293                         if (last_ins && (last_ins->opcode == OP_STOREI1_MEMBASE_REG) &&
2294                                         ins->inst_basereg == last_ins->inst_destbasereg &&
2295                                         ins->inst_offset == last_ins->inst_offset) {
2296                                 ins->opcode = (ins->opcode == OP_LOADI1_MEMBASE) ? CEE_CONV_I1 : CEE_CONV_U1;
2297                                 ins->sreg1 = last_ins->sreg1;                           
2298                         }
2299                         break;
2300                 case OP_LOADU2_MEMBASE:
2301                 case OP_LOADI2_MEMBASE:
2302                         if (last_ins && (last_ins->opcode == OP_STOREI2_MEMBASE_REG) &&
2303                                         ins->inst_basereg == last_ins->inst_destbasereg &&
2304                                         ins->inst_offset == last_ins->inst_offset) {
2305                                 ins->opcode = (ins->opcode == OP_LOADI2_MEMBASE) ? CEE_CONV_I2 : CEE_CONV_U2;
2306                                 ins->sreg1 = last_ins->sreg1;                           
2307                         }
2308                         break;
2309                 case CEE_CONV_I4:
2310                 case CEE_CONV_U4:
2311                 case OP_MOVE:
2312                         /* 
2313                          * OP_MOVE reg, reg 
2314                          */
2315                         if (ins->dreg == ins->sreg1) {
2316                                 MONO_DEL_INS (ins);
2317                                 continue;
2318                         }
2319                         /* 
2320                          * OP_MOVE sreg, dreg 
2321                          * OP_MOVE dreg, sreg
2322                          */
2323                         if (last_ins && last_ins->opcode == OP_MOVE &&
2324                             ins->sreg1 == last_ins->dreg &&
2325                             ins->dreg == last_ins->sreg1) {
2326                                 MONO_DEL_INS (ins);
2327                                 continue;
2328                         }
2329                         break;
2330                 }
2331         }
2332 }
2333
2334 /*========================= End of Function ========================*/
2335
2336 void
2337 mono_arch_lowering_pass (MonoCompile *cfg, MonoBasicBlock *bb)
2338 {
2339 }
2340
2341 /*========================= End of Function ========================*/
2342
2343 /*------------------------------------------------------------------*/
2344 /*                                                                  */
2345 /* Name         - emit_float_to_int                                 */
2346 /*                                                                  */
2347 /* Function     - Create instructions which will convert a floating */
2348 /*                point value to integer.                           */
2349 /*                                                                  */
2350 /*------------------------------------------------------------------*/
2351
2352 static guchar*
2353 emit_float_to_int (MonoCompile *cfg, guchar *code, int dreg, int sreg, int size, gboolean is_signed)
2354 {
2355         /* sreg is a float, dreg is an integer reg. */
2356         if (is_signed) {
2357                 s390_cfdbr (code, dreg, 5, sreg);
2358                 switch (size) {
2359                         case 1:
2360                                 s390_lghi (code, s390_r0, 0);
2361                                 s390_lghi (code, s390_r13, 0xff);
2362                                 s390_ltgr (code, dreg, dreg);
2363                                 s390_jnl  (code, 4);
2364                                 s390_lghi (code, s390_r0, 0x80);
2365                                 s390_ngr  (code, dreg, s390_r13);
2366                                 s390_ogr  (code, dreg, s390_r0);
2367                                 break;
2368                 }
2369         } else {
2370                 short *o[1];
2371                 s390_basr   (code, s390_r13, 0);
2372                 s390_j      (code, 10);
2373                 s390_llong  (code, 0x41e0000000000000);
2374                 s390_llong  (code, 0x41f0000000000000);
2375                 s390_ldr    (code, s390_f15, sreg);
2376                 s390_cdb    (code, s390_f15, 0, s390_r13, 4);
2377                 s390_jl     (code, 0); CODEPTR (code, o[0]);
2378                 s390_sdb    (code, s390_f15, 0, s390_r13, 12);
2379                 s390_cfdbr  (code, dreg, 7, s390_f15);
2380                 s390_j      (code, 4);
2381                 PTRSLOT (code, o[0]);
2382                 s390_cfdbr  (code, dreg, 5, sreg);
2383                 switch (size) {
2384                         case 1: 
2385                                 s390_lghi (code, s390_r0, 0xff);
2386                                 s390_ngr  (code, dreg, s390_r0);
2387                                 break;
2388                         case 2:
2389                                 s390_lghi (code, s390_r0, -1);
2390                                 s390_srlg (code, s390_r0, s390_r0, 0, 16);
2391                                 s390_ngr  (code, dreg, s390_r0);
2392                                 break;
2393                 }
2394         }
2395         return code;
2396 }
2397
2398 /*========================= End of Function ========================*/
2399
2400 /*------------------------------------------------------------------*/
2401 /*                                                                  */
2402 /* Name         - mono_arch_output_basic_block                      */
2403 /*                                                                  */
2404 /* Function     - Perform the "real" work of emitting instructions  */
2405 /*                that will do the work of in the basic block.      */
2406 /*                                                                  */
2407 /*------------------------------------------------------------------*/
2408
2409 void
2410 mono_arch_output_basic_block (MonoCompile *cfg, MonoBasicBlock *bb)
2411 {
2412         MonoInst *ins, *next;
2413         MonoCallInst *call;
2414         guint offset;
2415         guint8 *code = cfg->native_code + cfg->code_len;
2416         guint last_offset = 0;
2417         int max_len, cpos, src2;
2418
2419         /* we don't align basic blocks of loops on s390 */
2420
2421         if (cfg->verbose_level > 2)
2422                 g_print ("Basic block %d starting at offset 0x%x\n", bb->block_num, bb->native_offset);
2423
2424         cpos = bb->max_offset;
2425
2426         if (cfg->prof_options & MONO_PROFILE_COVERAGE) {
2427                 //MonoCoverageInfo *cov = mono_get_coverage_info (cfg->method);
2428                 //g_assert (!mono_compile_aot);
2429                 //cpos += 6;
2430                 //if (bb->cil_code)
2431                 //      cov->data [bb->dfn].iloffset = bb->cil_code - cfg->cil_code;
2432                 /* this is not thread save, but good enough */
2433                 /* fixme: howto handle overflows? */
2434                 //x86_inc_mem (code, &cov->data [bb->dfn].count); 
2435         }
2436
2437         MONO_BB_FOR_EACH_INS (bb, ins) {
2438                 offset = code - cfg->native_code;
2439
2440                 max_len = ((guint8 *)ins_get_spec (ins->opcode))[MONO_INST_LEN];
2441
2442                 if (offset > (cfg->code_size - max_len - 16)) {
2443                         cfg->code_size *= 2;
2444                         cfg->native_code = g_realloc (cfg->native_code, cfg->code_size);
2445                         code = cfg->native_code + offset;
2446                 }
2447
2448                 mono_debug_record_line_number (cfg, ins, offset);
2449
2450                 switch (ins->opcode) {
2451                 case OP_STOREI1_MEMBASE_IMM: {
2452                         s390_lghi (code, s390_r0, ins->inst_imm);
2453                         S390_LONG (code, stcy, stc, s390_r0, 0, 
2454                                    ins->inst_destbasereg, ins->inst_offset);
2455                 }
2456                         break;
2457                 case OP_STOREI2_MEMBASE_IMM: {
2458                         s390_lghi (code, s390_r0, ins->inst_imm);
2459                         S390_LONG (code, sthy, sth, s390_r0, 0, 
2460                                    ins->inst_destbasereg, ins->inst_offset);
2461                 }
2462                         break;
2463                 case OP_STOREI4_MEMBASE_IMM: {
2464                         if (s390_is_imm16(ins->inst_imm)) {
2465                                 s390_lghi (code, s390_r0, ins->inst_imm);
2466                         } else {
2467                                 s390_basr (code, s390_r13, 0);
2468                                 s390_j    (code, 6);
2469                                 s390_llong(code, ins->inst_imm);
2470                                 s390_lg   (code, s390_r0, 0, s390_r13, 4);
2471                         }
2472                         S390_LONG (code, sty, st, s390_r0, 0, 
2473                                    ins->inst_destbasereg, ins->inst_offset);
2474                 }
2475                         break;
2476                 case OP_STORE_MEMBASE_IMM:
2477                 case OP_STOREI8_MEMBASE_IMM: {
2478                         if (s390_is_imm16(ins->inst_imm)) {
2479                                 s390_lghi (code, s390_r0, ins->inst_imm);
2480                         } else {
2481                                 s390_basr (code, s390_r13, 0);
2482                                 s390_j    (code, 6);
2483                                 s390_llong(code, ins->inst_imm);
2484                                 s390_lg   (code, s390_r0, 0, s390_r13, 4);
2485                         }
2486                         S390_LONG (code, stg, stg, s390_r0, 0, 
2487                                    ins->inst_destbasereg, ins->inst_offset);
2488                 }
2489                         break;
2490                 case OP_STOREI1_MEMBASE_REG: {
2491                         S390_LONG (code, stcy, stc, ins->sreg1, 0, 
2492                                    ins->inst_destbasereg, ins->inst_offset);
2493                 }
2494                         break;
2495                 case OP_STOREI2_MEMBASE_REG: {
2496                         S390_LONG (code, sthy, sth, ins->sreg1, 0, 
2497                                    ins->inst_destbasereg, ins->inst_offset);
2498                 }
2499                         break;
2500                 case OP_STOREI4_MEMBASE_REG: {
2501                         S390_LONG (code, sty, st, ins->sreg1, 0, 
2502                                    ins->inst_destbasereg, ins->inst_offset);
2503                 }
2504                         break;
2505                 case OP_STORE_MEMBASE_REG:
2506                 case OP_STOREI8_MEMBASE_REG: {
2507                         S390_LONG (code, stg, stg, ins->sreg1, 0, 
2508                                    ins->inst_destbasereg, ins->inst_offset);
2509                 }
2510                         break;
2511                 case OP_LOADU4_MEM:
2512                         g_assert_not_reached ();
2513                         break;
2514                 case OP_LOAD_MEMBASE:
2515                 case OP_LOADI8_MEMBASE: {
2516                         S390_LONG (code, lg, lg, ins->dreg, 0, 
2517                                    ins->inst_basereg, ins->inst_offset);
2518                 }
2519                         break;
2520                 case OP_LOADI4_MEMBASE: {
2521                         S390_LONG (code, lgf, lgf, ins->dreg, 0, 
2522                                    ins->inst_basereg, ins->inst_offset);
2523                 }
2524                         break;
2525                 case OP_LOADU4_MEMBASE: {
2526                         S390_LONG (code, llgf, llgf, ins->dreg, 0, 
2527                                    ins->inst_basereg, ins->inst_offset);
2528                 }
2529                         break;
2530                 case OP_LOADU1_MEMBASE: {
2531                         S390_LONG (code, llgc, llgc, ins->dreg, 0, 
2532                                    ins->inst_basereg, ins->inst_offset);
2533                 }
2534                         break;
2535                 case OP_LOADI1_MEMBASE: {
2536                         S390_LONG (code, lgb, lgb, ins->dreg, 0, 
2537                                    ins->inst_basereg, ins->inst_offset);
2538                 }
2539                         break;
2540                 case OP_LOADU2_MEMBASE: {
2541                         S390_LONG (code, llgh, llgh, ins->dreg, 0, 
2542                                    ins->inst_basereg, ins->inst_offset);
2543                 }
2544                         break;
2545                 case OP_LOADI2_MEMBASE: {
2546                         S390_LONG (code, lgh, lgh, ins->dreg, 0, 
2547                                    ins->inst_basereg, ins->inst_offset);
2548                 }
2549                         break;
2550                 case CEE_CONV_I1: {
2551                         s390_lghi  (code, s390_r0, 0x80);
2552                         if (ins->dreg != ins->sreg1) {
2553                                 s390_lgr  (code, ins->dreg, ins->sreg1);
2554                         }
2555                         s390_ngr  (code, s390_r0, ins->sreg1);
2556                         s390_jz   (code, 9);
2557                         s390_lghi (code, s390_r13, -1);
2558                         s390_sllg (code, s390_r13, s390_r13, 0, 8);
2559                         s390_ogr  (code, ins->dreg, s390_r13);
2560                 }
2561                         break;
2562                 case CEE_CONV_I2: {
2563                         s390_lghi (code, s390_r0, 0x80);
2564                         s390_sllg (code, s390_r0, s390_r0, 0, 8);
2565                         if (ins->dreg != ins->sreg1) {
2566                                 s390_lgr  (code, ins->dreg, ins->sreg1);
2567                         }
2568                         s390_ngr  (code, s390_r0, ins->sreg1);
2569                         s390_jz   (code, 9);
2570                         s390_lghi (code, s390_r13, -1);
2571                         s390_sllg (code, s390_r13, s390_r13, 0, 16);
2572                         s390_ogr  (code, ins->dreg, s390_r13);
2573                 }
2574                         break;
2575                 case CEE_CONV_U1: {
2576                         s390_lghi (code, s390_r0, 0xff);
2577                         if (ins->dreg != ins->sreg1) {
2578                                 s390_lgr  (code, ins->dreg, ins->sreg1);
2579                         }
2580                         s390_ngr  (code, ins->dreg, s390_r0);
2581                 }
2582                         break;
2583                 case CEE_CONV_U2: {
2584                         s390_lghi (code, s390_r0, -1);
2585                         s390_sllg (code, s390_r0, s390_r0, 0, 16);
2586                         s390_srlg (code, s390_r0, s390_r0, 0, 16);
2587                         if (ins->dreg != ins->sreg1) {
2588                                 s390_lgr  (code, ins->dreg, ins->sreg1);
2589                         }
2590                         s390_ngr  (code, ins->dreg, s390_r0);
2591                 }
2592                         break;
2593                 case OP_COMPARE: 
2594                 case OP_LCOMPARE: {
2595                         next = mono_inst_list_next (&ins->node, &bb->ins_list);
2596                         if ((next) && (opcode_to_cond(next->opcode) >= CMP_LE_UN))
2597                                 s390_clgr (code, ins->sreg1, ins->sreg2);
2598                         else
2599                                 s390_cgr  (code, ins->sreg1, ins->sreg2);
2600                 }
2601                         break;
2602                 case OP_COMPARE_IMM: {
2603                         next = mono_inst_list_next (&ins->node, &bb->ins_list);
2604                         if (s390_is_imm16 (ins->inst_imm)) {
2605                                 s390_lghi (code, s390_r0, ins->inst_imm);
2606                                 if ((next) && 
2607                                     (opcode_to_cond(next->opcode) >= CMP_LE_UN))
2608                                         s390_clgr (code, ins->sreg1, s390_r0);
2609                                 else
2610                                         s390_cgr  (code, ins->sreg1, s390_r0);
2611                         } else {
2612                                 s390_basr (code, s390_r13, 0);
2613                                 s390_j    (code, 6);
2614                                 s390_llong(code, ins->inst_imm);
2615                                 if ((next) && 
2616                                     (opcode_to_cond(next->opcode) >= CMP_LE_UN))
2617                                         s390_clg  (code, ins->sreg1, 0, s390_r13, 4);
2618                                 else
2619                                         s390_cg   (code, ins->sreg1, 0, s390_r13, 4);
2620                         }
2621                 }
2622                         break;
2623                 case OP_ICOMPARE: {
2624                         next = mono_inst_list_next (&ins->node, &bb->ins_list);
2625                         if ((next) && (opcode_to_cond(next->opcode) >= CMP_LE_UN))
2626                                 s390_clr  (code, ins->sreg1, ins->sreg2);
2627                         else
2628                                 s390_cr   (code, ins->sreg1, ins->sreg2);
2629                 }
2630                         break;
2631                 case OP_ICOMPARE_IMM: {
2632                         next = mono_inst_list_next (&ins->node, &bb->ins_list);
2633                         if (s390_is_imm16 (ins->inst_imm)) {
2634                                 s390_lghi (code, s390_r0, ins->inst_imm);
2635                                 if ((next) && 
2636                                     (opcode_to_cond(next->opcode) >= CMP_LE_UN))
2637                                         s390_clr  (code, ins->sreg1, s390_r0);
2638                                 else
2639                                         s390_cr   (code, ins->sreg1, s390_r0);
2640                         }
2641                         else {
2642                                 s390_basr (code, s390_r13, 0);
2643                                 s390_j    (code, 4);
2644                                 s390_word (code, ins->inst_imm);
2645                                 if ((next) && 
2646                                     (opcode_to_cond(next->opcode) >= CMP_LE_UN))
2647                                         s390_cl  (code, ins->sreg1, 0, s390_r13, 4);
2648                                 else
2649                                         s390_c   (code, ins->sreg1, 0, s390_r13, 4);
2650                         }
2651                 }
2652                         break;
2653                 case OP_BREAK: {
2654                         s390_basr  (code, s390_r13, 0);
2655                         s390_j     (code, 6);
2656                         mono_add_patch_info (cfg, code - cfg->native_code, MONO_PATCH_INFO_ABS, 
2657                                              mono_break);
2658                         s390_llong (code, mono_break);
2659                         s390_lg    (code, s390_r14, 0, s390_r13, 4);
2660                         s390_basr  (code, s390_r14, s390_r14);
2661                 }
2662                         break;
2663                 case OP_ADDCC: {
2664                         CHECK_SRCDST_COM;
2665                         s390_algr  (code, ins->dreg, src2);
2666                 }
2667                         break;
2668                 case CEE_ADD: {
2669                         CHECK_SRCDST_COM;
2670                         s390_agr   (code, ins->dreg, src2);
2671                 }
2672                         break;
2673                 case OP_ADC: {
2674                         CHECK_SRCDST_COM;
2675                         s390_alcgr (code, ins->dreg, src2);
2676                 }
2677                         break;
2678                 case OP_ADD_IMM: {
2679                         if (ins->dreg != ins->sreg1) {
2680                                 s390_lgr  (code, ins->dreg, ins->sreg1);
2681                         }
2682                         if (s390_is_imm16 (ins->inst_imm)) {
2683                                 s390_aghi (code, ins->dreg, ins->inst_imm);
2684                         } else {
2685                                 s390_basr (code, s390_r13, 0);
2686                                 s390_j    (code, 6);
2687                                 s390_llong(code, ins->inst_imm);
2688                                 s390_ag   (code, ins->dreg, 0, s390_r13, 4);
2689                         }
2690                 }
2691                         break;
2692                 case OP_ADC_IMM: {
2693                         if (ins->dreg != ins->sreg1) {
2694                                 s390_lgr  (code, ins->dreg, ins->sreg1);
2695                         }
2696                         if (s390_is_imm16 (ins->inst_imm)) {
2697                                 s390_lghi  (code, s390_r0, ins->inst_imm);
2698                                 s390_alcgr (code, ins->dreg, s390_r0);
2699                         } else {
2700                                 s390_basr  (code, s390_r13, 0);
2701                                 s390_j     (code, 6);
2702                                 s390_llong (code, ins->inst_imm);
2703                                 s390_lg    (code, s390_r13, 0, s390_r13, 4);
2704                                 s390_alcgr (code, ins->dreg, s390_r13);
2705                         }
2706                 }
2707                         break;
2708                 case OP_LADD_OVF: {
2709                         CHECK_SRCDST_COM;
2710                         s390_agr   (code, ins->dreg, src2);
2711                         EMIT_COND_SYSTEM_EXCEPTION (S390_CC_OV, "OverflowException");
2712                 }
2713                         break;
2714                 case OP_LADD_OVF_UN: {
2715                         CHECK_SRCDST_COM;
2716                         s390_algr  (code, ins->dreg, src2);
2717                         EMIT_COND_SYSTEM_EXCEPTION (S390_CC_CY, "OverflowException");
2718                 }
2719                         break;
2720                 case OP_ADD_OVF_CARRY: {
2721                         CHECK_SRCDST_COM;
2722                         s390_lghi  (code, s390_r0, 0);
2723                         s390_lgr   (code, s390_r1, s390_r0);
2724                         s390_alcgr (code, s390_r0, s390_r1);
2725                         s390_agr   (code, ins->dreg, src2);
2726                         EMIT_COND_SYSTEM_EXCEPTION (S390_CC_OV, "OverflowException");
2727                         s390_agr   (code, ins->dreg, s390_r0);
2728                         EMIT_COND_SYSTEM_EXCEPTION (S390_CC_OV, "OverflowException");
2729                 }
2730                         break;
2731                 case OP_ADD_OVF_UN_CARRY: {
2732                         CHECK_SRCDST_COM;
2733                         s390_alcgr (code, ins->dreg, src2);
2734                         EMIT_COND_SYSTEM_EXCEPTION (S390_CC_CY, "OverflowException");
2735                 }
2736                         break;
2737                 case OP_SUBCC: {
2738                         CHECK_SRCDST_NCOM;
2739                         s390_slgr (code, ins->dreg, src2);
2740                 }
2741                         break;
2742                 case CEE_SUB: {
2743                         CHECK_SRCDST_NCOM;
2744                         s390_sgr  (code, ins->dreg, src2);
2745                 }
2746                         break;
2747                 case OP_SBB: {
2748                         CHECK_SRCDST_NCOM;
2749                         s390_slbgr(code, ins->dreg, src2);
2750                 }
2751                         break;
2752                 case OP_SUB_IMM: {
2753                         if (ins->dreg != ins->sreg1) {
2754                                 s390_lgr   (code, ins->dreg, ins->sreg1);
2755                         }
2756                         if (s390_is_imm16 (-ins->inst_imm)) {
2757                                 s390_lghi  (code, s390_r0, ins->inst_imm);
2758                                 s390_slgr  (code, ins->dreg, s390_r0);
2759                         } else {
2760                                 s390_basr (code, s390_r13, 0);
2761                                 s390_j    (code, 6);
2762                                 s390_llong(code, ins->inst_imm);
2763                                 s390_slg  (code, ins->dreg, 0, s390_r13, 4);
2764                         }
2765                 }
2766                         break;
2767                 case OP_SBB_IMM: {
2768                         if (ins->dreg != ins->sreg1) {
2769                                 s390_lgr   (code, ins->dreg, ins->sreg1);
2770                         }
2771                         if (s390_is_imm16 (-ins->inst_imm)) {
2772                                 s390_lghi  (code, s390_r0, ins->inst_imm);
2773                                 s390_slbgr (code, ins->dreg, s390_r0);
2774                         } else {
2775                                 s390_basr (code, s390_r13, 0);
2776                                 s390_j    (code, 6);
2777                                 s390_llong(code, ins->inst_imm);
2778                                 s390_slbg (code, ins->dreg, 0, s390_r13, 4);
2779                         }
2780                 }
2781                         break;
2782                 case OP_LSUB_OVF: {
2783                         CHECK_SRCDST_NCOM;
2784                         s390_sgr  (code, ins->dreg, src2);
2785                         EMIT_COND_SYSTEM_EXCEPTION (S390_CC_OV, "OverflowException");
2786                 }
2787                         break;
2788                 case OP_LSUB_OVF_UN: {
2789                         CHECK_SRCDST_NCOM;
2790                         s390_slgr (code, ins->dreg, src2);
2791                         EMIT_COND_SYSTEM_EXCEPTION (S390_CC_NC, "OverflowException");
2792                 }
2793                         break;
2794                 case OP_SUB_OVF_CARRY: {
2795                         CHECK_SRCDST_NCOM;
2796                         s390_lghi  (code, s390_r0, 0);
2797                         s390_lgr   (code, s390_r1, s390_r0);
2798                         s390_slbgr (code, s390_r0, s390_r1);
2799                         s390_sgr   (code, ins->dreg, src2);
2800                         EMIT_COND_SYSTEM_EXCEPTION (S390_CC_OV, "OverflowException");
2801                         s390_agr   (code, ins->dreg, s390_r0);
2802                         EMIT_COND_SYSTEM_EXCEPTION (S390_CC_OV, "OverflowException");
2803                 }
2804                         break;
2805                 case OP_SUB_OVF_UN_CARRY: {
2806                         CHECK_SRCDST_NCOM;
2807                         s390_slbgr (code, ins->dreg, src2);
2808                         EMIT_COND_SYSTEM_EXCEPTION (S390_CC_NC, "OverflowException");
2809                 }
2810                         break;
2811                 case CEE_AND: {
2812                         if (ins->sreg1 == ins->dreg) {
2813                                 s390_ngr  (code, ins->dreg, ins->sreg2);
2814                         } 
2815                         else { 
2816                                 if (ins->sreg2 == ins->dreg) { 
2817                                         s390_ngr (code, ins->dreg, ins->sreg1);
2818                                 }
2819                                 else { 
2820                                         s390_lgr (code, ins->dreg, ins->sreg1);
2821                                         s390_ngr (code, ins->dreg, ins->sreg2);
2822                                 }
2823                         }
2824                 }
2825                         break;
2826                 case OP_AND_IMM: {
2827                         if (ins->dreg != ins->sreg1) {
2828                                 s390_lgr  (code, ins->dreg, ins->sreg1);
2829                         }
2830                         if (s390_is_imm16 (ins->inst_imm)) {
2831                                 s390_lghi  (code, s390_r0, ins->inst_imm);
2832                                 s390_ngr  (code, ins->dreg, s390_r0);
2833                         } else {
2834                                 s390_basr (code, s390_r13, 0);
2835                                 s390_j    (code, 6);
2836                                 s390_llong(code, ins->inst_imm);
2837                                 s390_ng   (code, ins->dreg, 0, s390_r13, 4);
2838                         }
2839                 }
2840                         break;
2841                 case OP_LDIV: {
2842                         s390_lgr  (code, s390_r1, ins->sreg1);
2843                         s390_dsgr (code, s390_r0, ins->sreg2);
2844                         s390_lgr  (code, ins->dreg, s390_r1);
2845                 }
2846                         break;
2847                 case OP_LDIV_UN: {
2848                         s390_lgr   (code, s390_r1, ins->sreg1);
2849                         s390_lghi  (code, s390_r0, 0);
2850                         s390_dlgr  (code, s390_r0, ins->sreg2);
2851                         s390_lgr   (code, ins->dreg, s390_r1);
2852                 }
2853                         break;
2854                 case OP_DIV_IMM: {
2855                         if (s390_is_imm16 (ins->inst_imm)) {
2856                                 s390_lghi (code, s390_r13, ins->inst_imm);
2857                                 s390_lgr  (code, s390_r1, ins->sreg1);
2858                         } else {
2859                                 s390_basr (code, s390_r13, 0);
2860                                 s390_j    (code, 6);
2861                                 s390_llong(code, ins->inst_imm);
2862                                 s390_lgr  (code, s390_r1, ins->sreg1);
2863                                 s390_lg   (code, s390_r13, 0, s390_r13, 4);
2864                         }
2865                         s390_dsgr (code, s390_r0, s390_r13);
2866                         s390_lgr  (code, ins->dreg, s390_r1);
2867                 }
2868                         break;
2869                 case OP_LREM: {
2870                         s390_lgr  (code, s390_r1, ins->sreg1);
2871                         s390_dsgr (code, s390_r0, ins->sreg2);
2872                         s390_lgr  (code, ins->dreg, s390_r0);
2873                         break;
2874                 }
2875                 case OP_LREM_UN: {
2876                         s390_lgr   (code, s390_r1, ins->sreg1);
2877                         s390_lghi  (code, s390_r0, 0);
2878                         s390_dlgr  (code, s390_r0, ins->sreg2);
2879                         s390_lgr   (code, ins->dreg, s390_r0);
2880                 }
2881                         break;
2882                 case OP_REM_IMM: {
2883                         if (s390_is_imm16 (ins->inst_imm)) {
2884                                 s390_lghi  (code, s390_r13, ins->inst_imm);
2885                                 s390_lgr   (code, s390_r0, ins->sreg1);
2886                         } else {
2887                                 s390_basr (code, s390_r13, 0);
2888                                 s390_j    (code, 6);
2889                                 s390_llong(code, ins->inst_imm);
2890                                 s390_lgr  (code, s390_r0, ins->sreg1);
2891                                 s390_lg   (code, s390_r13, 0, s390_r13, 4);
2892                         }
2893                         s390_dsgr(code, s390_r0, s390_r13);
2894                         s390_lgr (code, ins->dreg, s390_r0);
2895                 }
2896                         break;
2897                 case CEE_OR: {
2898                         if (ins->sreg1 == ins->dreg) {
2899                                 s390_ogr  (code, ins->dreg, ins->sreg2);
2900                         } 
2901                         else { 
2902                                 if (ins->sreg2 == ins->dreg) { 
2903                                         s390_ogr (code, ins->dreg, ins->sreg1);
2904                                 }
2905                                 else { 
2906                                         s390_lgr (code, ins->dreg, ins->sreg1);
2907                                         s390_ogr (code, ins->dreg, ins->sreg2);
2908                                 }
2909                         }
2910                 }
2911                         break;
2912                 case OP_OR_IMM: {
2913                         if (ins->dreg != ins->sreg1) {
2914                                 s390_lgr  (code, ins->dreg, ins->sreg1);
2915                         }
2916                         if (s390_is_imm16 (ins->inst_imm)) {
2917                                 s390_lghi (code, s390_r0, ins->inst_imm);
2918                                 s390_ogr  (code, ins->dreg, s390_r0);
2919                         } else {
2920                                 s390_basr (code, s390_r13, 0);
2921                                 s390_j    (code, 6);
2922                                 s390_llong(code, ins->inst_imm);
2923                                 s390_og   (code, ins->dreg, 0, s390_r13, 4);
2924                         }
2925                 }
2926                         break;
2927                 case CEE_XOR: {
2928                         if (ins->sreg1 == ins->dreg) {
2929                                 s390_xgr  (code, ins->dreg, ins->sreg2);
2930                         } 
2931                         else { 
2932                                 if (ins->sreg2 == ins->dreg) { 
2933                                         s390_xgr (code, ins->dreg, ins->sreg1);
2934                                 }
2935                                 else { 
2936                                         s390_lgr (code, ins->dreg, ins->sreg1);
2937                                         s390_xgr (code, ins->dreg, ins->sreg2);
2938                                 }
2939                         }
2940                 }
2941                         break;
2942                 case OP_XOR_IMM: {
2943                         if (ins->dreg != ins->sreg1) {
2944                                 s390_lgr  (code, ins->dreg, ins->sreg1);
2945                         }
2946                         if (s390_is_imm16 (ins->inst_imm)) {
2947                                 s390_lghi  (code, s390_r0, ins->inst_imm);
2948                                 s390_xgr  (code, ins->dreg, s390_r0);
2949                         } else {
2950                                 s390_basr (code, s390_r13, 0);
2951                                 s390_j    (code, 6);
2952                                 s390_llong(code, ins->inst_imm);
2953                                 s390_xg   (code, ins->dreg, 0, s390_r13, 4);
2954                         }
2955                 }
2956                         break;
2957                 case CEE_SHL: 
2958                 case OP_LSHL: {
2959                         CHECK_SRCDST_NCOM;
2960                         s390_sllg (code, ins->dreg, ins->dreg, src2, 0);
2961                 }
2962                         break;
2963                 case OP_SHL_IMM: 
2964                 case OP_LSHL_IMM: {
2965                         if (ins->sreg1 != ins->dreg) {
2966                                 s390_lgr   (code, ins->dreg, ins->sreg1);
2967                         }
2968                         s390_sllg (code, ins->dreg, ins->dreg, 0, (ins->inst_imm & 0x3f));
2969                 }
2970                         break;
2971                 case CEE_SHR:
2972                 case OP_LSHR: {
2973                         CHECK_SRCDST_NCOM;
2974                         s390_srag  (code, ins->dreg, ins->dreg, src2, 0);
2975                 }
2976                         break;
2977                 case OP_SHR_IMM:
2978                 case OP_LSHR_IMM: {
2979                         if (ins->sreg1 != ins->dreg) {
2980                                 s390_lgr  (code, ins->dreg, ins->sreg1);
2981                         }
2982                         s390_srag  (code, ins->dreg, ins->dreg, 0, (ins->inst_imm & 0x3f));
2983                 }
2984                         break;
2985                 case OP_SHR_UN_IMM: 
2986                 case OP_LSHR_UN_IMM: {
2987                         if (ins->sreg1 != ins->dreg) {
2988                                 s390_lgr   (code, ins->dreg, ins->sreg1);
2989                         }
2990                         s390_srlg (code, ins->dreg, ins->dreg, 0, (ins->inst_imm & 0x3f));
2991                 }
2992                         break;
2993                 case CEE_SHR_UN:
2994                 case OP_LSHR_UN: {
2995                         CHECK_SRCDST_NCOM;
2996                         s390_srlg (code, ins->dreg, ins->dreg, src2, 0);
2997                 }
2998                         break;
2999                 case CEE_NOT: {
3000                         if (ins->sreg1 != ins->dreg) {
3001                                 s390_lgr  (code, ins->dreg, ins->sreg1);
3002                         }
3003                         s390_lghi (code, s390_r0, -1);
3004                         s390_xgr  (code, ins->dreg, s390_r0);
3005                 }
3006                         break;
3007                 case CEE_NEG: {
3008                         s390_lcgr (code, ins->dreg, ins->sreg1);
3009                 }
3010                         break;
3011                 case CEE_MUL:
3012                 case OP_LMUL: {
3013                         CHECK_SRCDST_COM;
3014                         s390_msgr (code, ins->dreg, src2);
3015                 }
3016                         break;
3017                 case OP_MUL_IMM: 
3018                 case OP_LMUL_IMM: {
3019                         if (ins->dreg != ins->sreg1) {
3020                                 s390_lgr  (code, ins->dreg, ins->sreg1);
3021                         }
3022                         if (s390_is_imm16 (ins->inst_imm)) {
3023                                 s390_lghi (code, s390_r13, ins->inst_imm);
3024                         } else {
3025                                 s390_basr (code, s390_r13, 0);
3026                                 s390_j    (code, 6);
3027                                 s390_llong(code, ins->inst_imm);
3028                                 s390_lg   (code, s390_r13, 0, s390_r13, 4);
3029                         }
3030                         s390_msgr (code, ins->dreg, s390_r13);
3031                 }
3032                         break;
3033                 case OP_LMUL_OVF:
3034                 case CEE_MUL_OVF: {
3035                         short int *o[2];
3036                         s390_ltgr (code, s390_r1, ins->sreg1);
3037                         s390_jz   (code, 0); CODEPTR(code, o[0]);
3038                         s390_ltgr (code, s390_r0, ins->sreg2);
3039                         s390_jnz  (code, 6);
3040                         s390_lghi (code, s390_r1, 0);
3041                         s390_j    (code, 0); CODEPTR(code, o[1]);
3042                         s390_xgr  (code, s390_r0, s390_r1);
3043                         s390_msgr (code, s390_r1, ins->sreg2);
3044                         s390_xgr  (code, s390_r0, s390_r1);
3045                         s390_srlg (code, s390_r0, s390_r0, 0, 63);
3046                         s390_ltgr (code, s390_r0, s390_r0);
3047                         EMIT_COND_SYSTEM_EXCEPTION (S390_CC_NZ, "OverflowException");
3048                         PTRSLOT   (code, o[0]); 
3049                         PTRSLOT   (code, o[1]);
3050                         s390_lgr  (code, ins->dreg, s390_r1);
3051                 }
3052                         break;
3053                 case OP_LMUL_OVF_UN:
3054                 case CEE_MUL_OVF_UN: {
3055                         s390_lghi  (code, s390_r0, 0);
3056                         s390_lgr   (code, s390_r1, ins->sreg1);
3057                         s390_mlgr  (code, s390_r0, ins->sreg2);
3058                         s390_ltgr  (code, s390_r0, s390_r0);
3059                         EMIT_COND_SYSTEM_EXCEPTION (S390_CC_NZ, "OverflowException");
3060                         s390_lgr   (code, ins->dreg, s390_r1);
3061                 }
3062                         break;
3063                 case OP_IADDCC: {
3064                         g_assert_not_reached ();
3065                         CHECK_SRCDST_COM_I;
3066                         s390_algr (code, ins->dreg, src2);
3067                 }
3068                         break;
3069                 case OP_IADD: {
3070                         CHECK_SRCDST_COM_I;
3071                         s390_agr  (code, ins->dreg, src2);
3072                 }
3073                         break;
3074                 case OP_IADC: {
3075                         g_assert_not_reached ();
3076                         CHECK_SRCDST_COM_I;
3077                         s390_alcgr (code, ins->dreg, src2);
3078                 }
3079                         break;
3080                 case OP_IADD_IMM: {
3081                         if (ins->dreg != ins->sreg1) {
3082                                 s390_lgfr (code, ins->dreg, ins->sreg1);
3083                         }
3084                         if (s390_is_imm16 (ins->inst_imm)) {
3085                                 s390_aghi(code, ins->dreg, ins->inst_imm);
3086                         } else {
3087                                 s390_basr (code, s390_r13, 0);
3088                                 s390_j    (code, 4);
3089                                 s390_word (code, ins->inst_imm);
3090                                 s390_agf  (code, ins->dreg, 0, s390_r13, 4);
3091                         }
3092                 }
3093                         break;
3094                 case OP_IADC_IMM: {
3095                         if (ins->dreg != ins->sreg1) {
3096                                 s390_lgfr (code, ins->dreg, ins->sreg1);
3097                         } 
3098                         if (s390_is_imm16 (ins->inst_imm)) {
3099                                 s390_lghi  (code, s390_r0, ins->inst_imm);
3100                                 s390_alcgr (code, ins->dreg, s390_r0);
3101                         } else {
3102                                 s390_basr  (code, s390_r13, 0);
3103                                 s390_j     (code, 4);
3104                                 s390_word  (code, ins->inst_imm);
3105                                 s390_lgf   (code, s390_r13, 0, s390_r13, 4);
3106                                 s390_alcgr (code, ins->dreg, s390_r13);
3107                         }
3108                 }
3109                         break;
3110                 case CEE_ADD_OVF: {
3111                         CHECK_SRCDST_COM;
3112                         s390_ar    (code, ins->dreg, src2);
3113                         EMIT_COND_SYSTEM_EXCEPTION (S390_CC_OV, "OverflowException");
3114                         s390_lgfr  (code, ins->dreg, ins->dreg);
3115                 }
3116                         break;
3117                 case CEE_ADD_OVF_UN: {
3118                         CHECK_SRCDST_COM;
3119                         s390_algr  (code, ins->dreg, src2);
3120                         EMIT_COND_SYSTEM_EXCEPTION (S390_CC_CY, "OverflowException");
3121                         s390_llgfr (code, ins->dreg, ins->dreg);
3122                 }
3123                         break;
3124                 case OP_ISUBCC: {
3125                         CHECK_SRCDST_NCOM_I;
3126                         s390_slgr (code, ins->dreg, src2);
3127                 }
3128                         break;
3129                 case OP_ISUB: {
3130                         CHECK_SRCDST_NCOM_I;
3131                         s390_sgr  (code, ins->dreg, src2);
3132                 }
3133                         break;
3134                 case OP_ISBB: {
3135                         CHECK_SRCDST_NCOM_I;
3136                         s390_slbgr (code, ins->dreg, src2);
3137                 }
3138                         break;
3139                 case OP_ISUB_IMM: {
3140                         if (ins->dreg != ins->sreg1) {
3141                                 s390_lgfr (code, ins->dreg, ins->sreg1);
3142                         }
3143                         if (s390_is_imm16 (-ins->inst_imm)) {
3144                                 s390_aghi (code, ins->dreg, -ins->inst_imm);
3145                         } else {
3146                                 s390_basr (code, s390_r13, 0);
3147                                 s390_j    (code, 4);
3148                                 s390_word (code, ins->inst_imm);
3149                                 s390_sgf  (code, ins->dreg, 0, s390_r13, 4);
3150                         }
3151                 }
3152                         break;
3153                 case OP_ISBB_IMM: {
3154                         s390_basr (code, s390_r13, 0);
3155                         s390_j    (code, 4);
3156                         s390_word (code, ins->inst_imm);
3157                         s390_slgf (code, ins->dreg, 0, s390_r13, 4);
3158                 }
3159                         break;
3160                 case CEE_SUB_OVF: {
3161                         CHECK_SRCDST_NCOM;
3162                         s390_sr   (code, ins->dreg, src2);
3163                         EMIT_COND_SYSTEM_EXCEPTION (S390_CC_OV, "OverflowException");
3164                         s390_lgfr (code, ins->dreg, ins->dreg);
3165                 }
3166                         break;
3167                 case CEE_SUB_OVF_UN: {
3168                         CHECK_SRCDST_NCOM;
3169                         s390_slr  (code, ins->dreg, src2);
3170                         EMIT_COND_SYSTEM_EXCEPTION (S390_CC_NC, "OverflowException");
3171                         s390_llgfr(code, ins->dreg, ins->dreg);
3172                 }
3173                         break;
3174                 case OP_IAND: {
3175                         CHECK_SRCDST_NCOM_I;
3176                         s390_ngr (code, ins->dreg, src2);
3177                 }
3178                         break;
3179                 case OP_IAND_IMM: {
3180                         if (ins->dreg != ins->sreg1) {
3181                                 s390_lgfr (code, ins->dreg, ins->sreg1);
3182                         }
3183                         if (s390_is_imm16 (ins->inst_imm)) {
3184                                 s390_lghi (code, s390_r0, ins->inst_imm);
3185                                 s390_ngr  (code, ins->dreg, s390_r0);
3186                         } else {
3187                                 s390_basr (code, s390_r13, 0);
3188                                 s390_j    (code, 6);
3189                                 s390_llong(code, ins->inst_imm);
3190                                 s390_ng   (code, ins->dreg, 0, s390_r13, 4);
3191                         }
3192                 }
3193                         break;
3194                 case OP_IDIV: {
3195                         s390_lgfr (code, s390_r0, ins->sreg1);
3196                         s390_srda (code, s390_r0, 0, 32);
3197                         s390_dr   (code, s390_r0, ins->sreg2);
3198                         s390_lgfr (code, ins->dreg, s390_r1);
3199                 }
3200                         break;
3201                 case OP_IDIV_UN: {
3202                         s390_lgfr (code, s390_r0, ins->sreg1);
3203                         s390_srdl (code, s390_r0, 0, 32);
3204                         s390_dlr  (code, s390_r0, ins->sreg2);
3205                         s390_lgfr (code, ins->dreg, s390_r1);
3206                 }
3207                         break;
3208                 case OP_IDIV_IMM: {
3209                         if (s390_is_imm16 (ins->inst_imm)) {
3210                                 s390_lghi (code, s390_r13, ins->inst_imm);
3211                                 s390_lgfr (code, s390_r0, ins->sreg1);
3212                         } else {
3213                                 s390_basr (code, s390_r13, 0);
3214                                 s390_j    (code, 4);
3215                                 s390_word (code, ins->inst_imm);
3216                                 s390_lgfr (code, s390_r0, ins->sreg1);
3217                                 s390_lgf  (code, s390_r13, 0, s390_r13, 4);
3218                         }
3219                         s390_srda (code, s390_r0, 0, 32);
3220                         s390_dr   (code, s390_r0, ins->sreg2);
3221                         s390_lgfr (code, ins->dreg, s390_r1);
3222                 }
3223                         break;
3224                 case OP_IREM: {
3225                         s390_lgfr (code, s390_r0, ins->sreg1);
3226                         s390_srda (code, s390_r0, 0, 32);
3227                         s390_dr   (code, s390_r0, ins->sreg2);
3228                         s390_lgfr (code, ins->dreg, s390_r0);
3229                         break;
3230                 case OP_IREM_UN:
3231                         s390_lgfr (code, s390_r0, ins->sreg1);
3232                         s390_srdl (code, s390_r0, 0, 32);
3233                         s390_dlr  (code, s390_r0, ins->sreg2);
3234                         s390_lgfr (code, ins->dreg, s390_r0);
3235                 }
3236                         break;
3237                 case OP_IREM_IMM: {
3238                         if (s390_is_imm16 (ins->inst_imm)) {
3239                                 s390_lghi (code, s390_r13, ins->inst_imm);
3240                                 s390_lgfr (code, s390_r0, ins->sreg1);
3241                         } else {
3242                                 s390_basr (code, s390_r13, 0);
3243                                 s390_j    (code, 4);
3244                                 s390_word (code, ins->inst_imm);
3245                                 s390_lgfr (code, s390_r0, ins->sreg1);
3246                                 s390_lgf  (code, s390_r13, 0, s390_r13, 4);
3247                         }
3248                         s390_srda (code, s390_r0, 0, 32);
3249                         s390_dr   (code, s390_r0, ins->sreg2);
3250                         s390_lgfr (code, ins->dreg, s390_r0);
3251                 }
3252                         break;
3253                 case OP_IOR: {
3254                         CHECK_SRCDST_COM_I;
3255                         s390_ogr (code, ins->dreg, src2);
3256                 }
3257                         break;
3258                 case OP_IOR_IMM: {
3259                         if (ins->dreg != ins->sreg1) {
3260                                 s390_lgfr (code, ins->dreg, ins->sreg1);
3261                         }
3262                         if (s390_is_imm16 (ins->inst_imm)) {
3263                                 s390_lghi (code, s390_r0, ins->inst_imm);
3264                                 s390_ogr  (code, ins->dreg, s390_r0);
3265                         } else {
3266                                 s390_basr (code, s390_r13, 0);
3267                                 s390_j    (code, 6);
3268                                 s390_llong(code, ins->inst_imm);
3269                                 s390_og   (code, ins->dreg, 0, s390_r13, 4);
3270                         }
3271                 }
3272                         break;
3273                 case OP_IXOR: {
3274                         CHECK_SRCDST_COM_I;
3275                         s390_xgr (code, ins->dreg, src2);
3276                 }
3277                         break;
3278                 case OP_IXOR_IMM: {
3279                         if (ins->dreg != ins->sreg1) {
3280                                 s390_lgfr (code, ins->dreg, ins->sreg1);
3281                         }
3282                         if (s390_is_imm16 (ins->inst_imm)) {
3283                                 s390_lghi (code, s390_r0, ins->inst_imm);
3284                                 s390_xgr  (code, ins->dreg, s390_r0);
3285                         } else {
3286                                 s390_basr (code, s390_r13, 0);
3287                                 s390_j    (code, 6);
3288                                 s390_llong(code, ins->inst_imm);
3289                                 s390_xg   (code, ins->dreg, 0, s390_r13, 4);
3290                         }
3291                 }
3292                         break;
3293                 case OP_ISHL: {
3294                         if (ins->sreg1 != ins->dreg) {
3295                                 s390_lgfr (code, ins->dreg, ins->sreg1);
3296                         }
3297                         s390_sll  (code, ins->dreg, ins->sreg2, 0);
3298                 }
3299                         break;
3300                 case OP_ISHL_IMM: {
3301                         if (ins->sreg1 != ins->dreg) {
3302                                 s390_lgfr (code, ins->dreg, ins->sreg1);
3303                         }
3304                         s390_sll (code, ins->dreg, 0, (ins->inst_imm & 0x1f));
3305                 }
3306                         break;
3307                 case OP_ISHR: {
3308                         if (ins->sreg1 != ins->dreg) {
3309                                 s390_lgfr (code, ins->dreg, ins->sreg1);
3310                         }
3311                         s390_sra (code, ins->dreg, ins->sreg2, 0);
3312                 }
3313                         break;
3314                 case OP_ISHR_IMM: {
3315                         if (ins->sreg1 != ins->dreg) {
3316                                 s390_lgfr (code, ins->dreg, ins->sreg1);
3317                         }
3318                         s390_sra (code, ins->dreg, 0, (ins->inst_imm & 0x1f));
3319                 }
3320                         break;
3321                 case OP_ISHR_UN_IMM: {
3322                         if (ins->sreg1 != ins->dreg) {
3323                                 s390_lgfr (code, ins->dreg, ins->sreg1);
3324                         }
3325                         s390_srl (code, ins->dreg, 0, (ins->inst_imm & 0x1f));
3326                 }
3327                         break;
3328                 case OP_ISHR_UN: {
3329                         if (ins->sreg1 != ins->dreg) {
3330                                 s390_lgfr (code, ins->dreg, ins->sreg1);
3331                         }
3332                         s390_srl  (code, ins->dreg, ins->sreg2, 0);
3333                 }
3334                         break;
3335                 case OP_INOT: {
3336                         if (ins->sreg1 != ins->dreg) {
3337                                 s390_lgfr (code, ins->dreg, ins->sreg1);
3338                         }
3339                         s390_lghi (code, s390_r0, -1);
3340                         s390_xgr  (code, ins->dreg, s390_r0);
3341                 }
3342                         break;
3343                 case OP_INEG: {
3344                         s390_lcgr (code, ins->dreg, ins->sreg1);
3345                 }
3346                         break;
3347                 case OP_IMUL: {
3348                         CHECK_SRCDST_COM_I;
3349                         s390_msr (code, ins->dreg, src2);
3350                 }
3351                         break;
3352                 case OP_IMUL_IMM: {
3353                         if (ins->dreg != ins->sreg1) {
3354                                 s390_lgfr (code, ins->dreg, ins->sreg1);
3355                         }
3356                         if (s390_is_imm16 (ins->inst_imm)) {
3357                                 s390_lghi (code, s390_r13, ins->inst_imm);
3358                         } else {
3359                                 s390_basr (code, s390_r13, 0);
3360                                 s390_j    (code, 4);
3361                                 s390_word (code, ins->inst_imm);
3362                                 s390_lgf  (code, s390_r13, 0, s390_r13, 4);
3363                         }
3364                         s390_msr  (code, ins->dreg, s390_r13);
3365                 }
3366                         break;
3367                 case OP_IMUL_OVF: {
3368                         short int *o[2];
3369                         s390_ltr  (code, s390_r1, ins->sreg1);
3370                         s390_jz   (code, 0); CODEPTR(code, o[0]);
3371                         s390_ltr  (code, s390_r0, ins->sreg2);
3372                         s390_jnz  (code, 6);
3373                         s390_lhi  (code, s390_r1, 0);
3374                         s390_j    (code, 0); CODEPTR(code, o[1]);
3375                         s390_xr   (code, s390_r0, s390_r1);
3376                         s390_msr  (code, s390_r1, ins->sreg2);
3377                         s390_xr   (code, s390_r0, s390_r1);
3378                         s390_srl  (code, s390_r0, 0, 31);
3379                         s390_ltr  (code, s390_r0, s390_r0);
3380                         EMIT_COND_SYSTEM_EXCEPTION (S390_CC_NZ, "OverflowException");
3381                         PTRSLOT   (code, o[0]); 
3382                         PTRSLOT   (code, o[1]);
3383                         s390_lgfr (code, ins->dreg, s390_r1);
3384                 }
3385                         break;
3386                 case OP_IMUL_OVF_UN: {
3387                         s390_lhi  (code, s390_r0, 0);
3388                         s390_lr   (code, s390_r1, ins->sreg1);
3389                         s390_mlr  (code, s390_r0, ins->sreg2);
3390                         s390_ltr  (code, s390_r0, s390_r0);
3391                         EMIT_COND_SYSTEM_EXCEPTION (S390_CC_NZ, "OverflowException");
3392                         s390_lgfr (code, ins->dreg, s390_r1);
3393                 }
3394                         break;
3395                 case OP_ICONST: 
3396                 case OP_I8CONST: {
3397                         if (s390_is_imm16(ins->inst_c0)) {
3398                                 s390_lghi (code, ins->dreg, ins->inst_c0);
3399                         } else {
3400                                 s390_basr (code, s390_r13, 0);
3401                                 s390_j    (code, 6);
3402                                 s390_llong(code, ins->inst_c0);
3403                                 s390_lg   (code, ins->dreg, 0, s390_r13, 4);
3404                         }
3405                 }
3406                         break;
3407                 case OP_AOTCONST: {
3408                         s390_basr (code, s390_r13, 0);
3409                         s390_j    (code, 6);
3410                         mono_add_patch_info (cfg, code - cfg->native_code, 
3411                                 (MonoJumpInfoType)ins->inst_i1, ins->inst_p0);
3412                         s390_llong(code, 0);
3413                         s390_lg   (code,ins->dreg, 0, s390_r13, 4);
3414                 }
3415                         break;
3416                 case OP_MOVE:
3417                         if (ins->dreg != ins->sreg1) {
3418                                 s390_lgr (code, ins->dreg, ins->sreg1);
3419                         }
3420                         break;
3421                 case CEE_CONV_I:
3422                 case CEE_CONV_I8:
3423                 case OP_SEXT_I4:
3424                         s390_lgfr (code, ins->dreg, ins->sreg1);
3425                         break;
3426                 case CEE_CONV_I4:
3427                         s390_lgfr (code, ins->dreg, ins->sreg1);
3428                         break;
3429                 case CEE_CONV_U:
3430                 case CEE_CONV_U8:
3431                 case CEE_CONV_U4:
3432                         s390_llgfr (code, ins->dreg, ins->sreg1);
3433                         break;
3434                 case CEE_CONV_OVF_U4:
3435                         s390_basr (code, s390_r13, 0);
3436                         s390_j    (code, 6);
3437                         s390_llong(code, 4294967295);
3438                         s390_clg  (code, ins->sreg1, 0, s390_r13, 4);   
3439                         EMIT_COND_SYSTEM_EXCEPTION (S390_CC_GT, "OverflowException");
3440                         s390_ltgr (code, ins->sreg1, ins->sreg1);
3441                         EMIT_COND_SYSTEM_EXCEPTION (S390_CC_LT, "OverflowException");
3442                         s390_llgfr(code, ins->dreg, ins->sreg1);
3443                         break;
3444                 case CEE_CONV_OVF_I4_UN:
3445                         s390_basr (code, s390_r13, 0);
3446                         s390_j    (code, 6);
3447                         s390_llong(code, 2147483647);
3448                         s390_cg   (code, ins->sreg1, 0, s390_r13, 4);
3449                         EMIT_COND_SYSTEM_EXCEPTION (S390_CC_GT, "OverflowException");
3450                         s390_ltgr (code, ins->sreg1, ins->sreg1);
3451                         EMIT_COND_SYSTEM_EXCEPTION (S390_CC_LT, "OverflowException");
3452                         s390_lgfr (code, ins->dreg, ins->sreg1);
3453                         break;
3454                 case OP_FMOVE: {
3455                         if (ins->dreg != ins->sreg1) {
3456                                 s390_ldr   (code, ins->dreg, ins->sreg1);
3457                         }
3458                 }
3459                         break;
3460                 case OP_S390_SETF4RET: {
3461                         s390_ledbr (code, ins->dreg, ins->sreg1);
3462                 }
3463                         break;
3464                 case OP_FCONV_TO_R4: {
3465                         g_error ("Shouldn't be reached");
3466                         next = mono_inst_list_next (&ins->node, &bb->ins_list);
3467                         if ((next) &&
3468                             (next->opcode != OP_FMOVE) &&
3469                             (next->opcode != OP_STORER4_MEMBASE_REG))
3470                                 s390_ledbr (code, ins->dreg, ins->sreg1);
3471                 }
3472                         break;
3473                 case OP_JMP: {
3474                         if (cfg->method->save_lmf)
3475                                 restoreLMF(code, cfg->frame_reg, cfg->stack_usage);
3476
3477                         if (cfg->flags & MONO_CFG_HAS_TAIL) {
3478                                 code =  emit_load_volatile_registers(code, cfg);
3479                         }
3480
3481                         code = backUpStackPtr(cfg, code);
3482                         s390_lg  (code, s390_r14, 0, STK_BASE, S390_RET_ADDR_OFFSET);
3483                         mono_add_patch_info (cfg, code - cfg->native_code,
3484                                              MONO_PATCH_INFO_METHOD_JUMP,
3485                                              ins->inst_p0);
3486                         s390_jcl (code, S390_CC_UN, 0);
3487                 }
3488                         break;
3489                 case OP_CHECK_THIS: {
3490                         /* ensure ins->sreg1 is not NULL */
3491                         s390_lg   (code, s390_r0, 0, ins->sreg1, 0);
3492                         s390_ltgr (code, s390_r0, s390_r0);
3493                 }
3494                         break;
3495                 case OP_ARGLIST: {
3496                         int offset = cfg->sig_cookie + cfg->stack_usage;
3497
3498                         if (s390_is_imm16 (offset))
3499                                 s390_lghi (code, s390_r0, offset);
3500                         else {
3501                                 s390_basr (code, s390_r13, 0);
3502                                 s390_j    (code, 6);
3503                                 s390_llong(code, offset);
3504                                 s390_lg   (code, s390_r0, 0, s390_r13, 0);
3505                         }
3506                         s390_agr  (code, s390_r0, cfg->frame_reg);
3507                         s390_stg  (code, s390_r0, 0, ins->sreg1, 0);
3508                 }
3509                         break;
3510                 case OP_FCALL: {
3511                         s390_basr (code, s390_r13, 0);
3512                         s390_j    (code, 6);
3513                         call = (MonoCallInst*)ins;
3514                         if (ins->flags & MONO_INST_HAS_METHOD)
3515                                 mono_add_patch_info (cfg, code-cfg->native_code,
3516                                                      MONO_PATCH_INFO_METHOD, 
3517                                                      call->method);
3518                         else
3519                                 mono_add_patch_info (cfg, code-cfg->native_code,
3520                                                      MONO_PATCH_INFO_ABS, 
3521                                                      call->fptr);
3522                         s390_llong(code, 0);
3523                         s390_lg   (code, s390_r14, 0, s390_r13, 4);
3524                         s390_basr (code, s390_r14, s390_r14);
3525                         if (call->signature->ret->type == MONO_TYPE_R4)
3526                                 s390_ldebr (code, s390_f0, s390_f0);
3527                 }
3528                         break;
3529                 case OP_LCALL:
3530                 case OP_VCALL:
3531                 case OP_VOIDCALL:
3532                 case OP_CALL: {
3533                         s390_basr (code, s390_r13, 0);
3534                         s390_j    (code, 6);
3535                         call = (MonoCallInst*)ins;
3536                         if (ins->flags & MONO_INST_HAS_METHOD)
3537                                 mono_add_patch_info (cfg, code-cfg->native_code,
3538                                                      MONO_PATCH_INFO_METHOD, 
3539                                                      call->method);
3540                         else
3541                                 mono_add_patch_info (cfg, code-cfg->native_code,
3542                                                      MONO_PATCH_INFO_ABS, 
3543                                                      call->fptr);
3544                         s390_llong(code, 0);
3545                         s390_lg   (code, s390_r14, 0, s390_r13, 4);
3546                         s390_basr (code, s390_r14, s390_r14);
3547                 }
3548                         break;
3549                 case OP_FCALL_REG: {
3550                         call = (MonoCallInst*)ins;
3551                         s390_lgr  (code, s390_r1, ins->sreg1);
3552                         s390_basr (code, s390_r14, s390_r1);
3553                         if (call->signature->ret->type == MONO_TYPE_R4)
3554                                 s390_ldebr (code, s390_f0, s390_f0);
3555                 }
3556                         break;
3557                 case OP_LCALL_REG:
3558                 case OP_VCALL_REG:
3559                 case OP_VOIDCALL_REG:
3560                 case OP_CALL_REG: {
3561                         s390_lgr  (code, s390_r1, ins->sreg1);
3562                         s390_basr (code, s390_r14, s390_r1);
3563                 }
3564                         break;
3565                 case OP_FCALL_MEMBASE: {
3566                         call = (MonoCallInst*)ins;
3567                         s390_lg   (code, s390_r1, 0, ins->sreg1, ins->inst_offset);
3568                         s390_basr (code, s390_r14, s390_r1);
3569                         if (call->signature->ret->type == MONO_TYPE_R4)
3570                                 s390_ldebr (code, s390_f0, s390_f0);
3571                 }
3572                         break;
3573                 case OP_LCALL_MEMBASE:
3574                 case OP_VCALL_MEMBASE:
3575                 case OP_VOIDCALL_MEMBASE:
3576                 case OP_CALL_MEMBASE: {
3577                         s390_lg   (code, s390_r1, 0, ins->sreg1, ins->inst_offset);
3578                         s390_basr (code, s390_r14, s390_r1);
3579                 }
3580                         break;
3581                 case OP_OUTARG: 
3582                         g_assert_not_reached ();
3583                         break;
3584                 case OP_LOCALLOC: {
3585                         int alloca_skip = S390_MINIMAL_STACK_SIZE + cfg->param_area;
3586                         int area_offset = S390_ALIGN(alloca_skip, S390_STACK_ALIGNMENT);
3587                         s390_lgr  (code, s390_r1, ins->sreg1);
3588                         if (ins->flags & MONO_INST_INIT)
3589                                 s390_lgr  (code, s390_r0, ins->sreg1);
3590                         s390_aghi (code, s390_r1, 14);
3591                         s390_srlg (code, s390_r1, s390_r1, 0, 3);
3592                         s390_sllg (code, s390_r1, s390_r1, 0, 3);
3593                         if (cfg->method->save_lmf) {
3594                                 /*----------------------------------*/
3595                                 /* we have to adjust lmf ebp value  */
3596                                 /*----------------------------------*/
3597                                 int lmfOffset = cfg->stack_usage - sizeof(MonoLMF);
3598
3599                                 s390_lgr (code, s390_r13, cfg->frame_reg);
3600                                 if (s390_is_imm16(lmfOffset))
3601                                         s390_aghi (code, s390_r13, lmfOffset);
3602                                 else {
3603                                         s390_basr (code, s390_r14, 0);
3604                                         s390_j    (code, 4);
3605                                         s390_word (code, lmfOffset);
3606                                         s390_agf  (code, s390_r13, 0, s390_r14, 4);
3607                                 }
3608                                 s390_lgr (code, s390_r14, STK_BASE);
3609                                 s390_sgr (code, s390_r14, s390_r1);
3610                                 s390_stg (code, s390_r14, 0, s390_r13,
3611                                           G_STRUCT_OFFSET(MonoLMF, ebp));
3612                         }
3613                         s390_lg   (code, s390_r13, 0, STK_BASE, 0);
3614                         s390_sgr  (code, STK_BASE, s390_r1);
3615                         s390_stg  (code, s390_r13, 0, STK_BASE, 0);
3616                         s390_la   (code, ins->dreg, 0, STK_BASE, area_offset);
3617                         s390_srlg (code, ins->dreg, ins->dreg, 0, 3);
3618                         s390_sllg (code, ins->dreg, ins->dreg, 0, 3);
3619                         if (ins->flags & MONO_INST_INIT) {
3620                                 s390_lgr  (code, s390_r1, s390_r0);
3621                                 s390_lgr  (code, s390_r0, ins->dreg);
3622                                 s390_lgr  (code, s390_r14, s390_r12);
3623                                 s390_lghi (code, s390_r13, 0);
3624                                 s390_mvcle(code, s390_r0, s390_r12, 0, 0);
3625                                 s390_jo   (code, -2);
3626                                 s390_lgr  (code, s390_r12, s390_r14);
3627                         }
3628                 }
3629                         break;
3630                 case OP_THROW: {
3631                         s390_lgr  (code, s390_r2, ins->sreg1);
3632                         s390_basr (code, s390_r13, 0);
3633                         s390_j    (code, 6);
3634                         mono_add_patch_info (cfg, code-cfg->native_code, MONO_PATCH_INFO_INTERNAL_METHOD, 
3635                                              (gpointer) "mono_arch_throw_exception");
3636                         s390_llong(code, 0);
3637                         s390_lg   (code, s390_r14, 0, s390_r13, 4);
3638                         s390_basr (code, s390_r14, s390_r14);
3639                 }
3640                         break;
3641                 case OP_RETHROW: {
3642                         s390_lgr  (code, s390_r2, ins->sreg1);
3643                         s390_basr (code, s390_r13, 0);
3644                         s390_j    (code, 6);
3645                         mono_add_patch_info (cfg, code-cfg->native_code, MONO_PATCH_INFO_INTERNAL_METHOD, 
3646                                              (gpointer) "mono_arch_rethrow_exception");
3647                         s390_llong(code, 0);
3648                         s390_lg   (code, s390_r14, 0, s390_r13, 4);
3649                         s390_basr (code, s390_r14, s390_r14);
3650                 }
3651                         break;
3652                 case OP_START_HANDLER: {
3653                         S390_LONG (code, stg, stg, s390_r14, 0, 
3654                                    ins->inst_left->inst_basereg, 
3655                                    ins->inst_left->inst_offset);
3656                 }
3657                         break;
3658                 case OP_ENDFILTER: {
3659                         if (ins->sreg1 != s390_r2)
3660                                 s390_lgr(code, s390_r2, ins->sreg1);
3661                         S390_LONG (code, lg, lg, s390_r14, 0, 
3662                                    ins->inst_left->inst_basereg, 
3663                                    ins->inst_left->inst_offset);
3664                         s390_br  (code, s390_r14);
3665                 }
3666                         break;
3667                 case OP_ENDFINALLY: {
3668                         S390_LONG (code, lg, lg, s390_r14, 0, 
3669                                    ins->inst_left->inst_basereg, 
3670                                    ins->inst_left->inst_offset);
3671                         s390_br  (code, s390_r14);
3672                 }
3673                         break;
3674                 case OP_CALL_HANDLER: {
3675                         mono_add_patch_info (cfg, code-cfg->native_code, 
3676                                              MONO_PATCH_INFO_BB, ins->inst_target_bb);
3677                         s390_brasl (code, s390_r14, 0);
3678                 }
3679                         break;
3680                 case OP_LABEL: {
3681                         ins->inst_c0 = code - cfg->native_code;
3682                 }
3683                         break;
3684                 case OP_BR: 
3685                         EMIT_UNCOND_BRANCH(ins);
3686                         break;
3687                 case OP_BR_REG: {
3688                         s390_br  (code, ins->sreg1);
3689                 }
3690                         break;
3691                 case OP_CEQ: 
3692                 case OP_ICEQ: {
3693                         s390_lghi(code, ins->dreg, 1);
3694                         s390_jz  (code, 4);
3695                         s390_lghi(code, ins->dreg, 0);
3696                 }
3697                         break;
3698                 case OP_CLT: 
3699                 case OP_ICLT: {
3700                         s390_lghi(code, ins->dreg, 1);
3701                         s390_jl  (code, 4);
3702                         s390_lghi(code, ins->dreg, 0);
3703                 }
3704                         break;
3705                 case OP_CLT_UN:
3706                 case OP_ICLT_UN: {
3707                         s390_lghi(code, ins->dreg, 1);
3708                         s390_jlo (code, 4);
3709                         s390_lghi(code, ins->dreg, 0);
3710                 }
3711                         break;
3712                 case OP_CGT: 
3713                 case OP_ICGT: {
3714                         s390_lghi(code, ins->dreg, 1);
3715                         s390_jh  (code, 4);
3716                         s390_lghi(code, ins->dreg, 0);
3717                 }
3718                         break;
3719                 case OP_CGT_UN:
3720                 case OP_ICGT_UN: {
3721                         s390_lghi(code, ins->dreg, 1);
3722                         s390_jho (code, 4);
3723                         s390_lghi(code, ins->dreg, 0);
3724                 }
3725                         break;
3726                 case OP_COND_EXC_EQ:
3727                         EMIT_COND_SYSTEM_EXCEPTION (S390_CC_EQ, ins->inst_p1);
3728                         break;
3729                 case OP_COND_EXC_NE_UN:
3730                         EMIT_COND_SYSTEM_EXCEPTION (S390_CC_NE, ins->inst_p1);
3731                         break;
3732                 case OP_COND_EXC_LT:
3733                 case OP_COND_EXC_LT_UN:
3734                         EMIT_COND_SYSTEM_EXCEPTION (S390_CC_LT, ins->inst_p1);
3735                         break;
3736                 case OP_COND_EXC_GT:
3737                 case OP_COND_EXC_GT_UN:
3738                         EMIT_COND_SYSTEM_EXCEPTION (S390_CC_GT, ins->inst_p1);
3739                         break;
3740                 case OP_COND_EXC_GE:
3741                 case OP_COND_EXC_GE_UN:
3742                         EMIT_COND_SYSTEM_EXCEPTION (S390_CC_GE, ins->inst_p1);
3743                         break;
3744                 case OP_COND_EXC_LE:
3745                 case OP_COND_EXC_LE_UN:
3746                         EMIT_COND_SYSTEM_EXCEPTION (S390_CC_LE, ins->inst_p1);
3747                         break;
3748                 case OP_COND_EXC_OV:
3749                         EMIT_COND_SYSTEM_EXCEPTION (S390_CC_OV, ins->inst_p1);
3750                         break;
3751                 case OP_COND_EXC_NO:
3752                         EMIT_COND_SYSTEM_EXCEPTION (S390_CC_NO, ins->inst_p1);
3753                         break;
3754                 case OP_COND_EXC_C:
3755                         EMIT_COND_SYSTEM_EXCEPTION (S390_CC_CY, ins->inst_p1);
3756                         break;
3757                 case OP_COND_EXC_NC:
3758                         EMIT_COND_SYSTEM_EXCEPTION (S390_CC_NC, ins->inst_p1);
3759                         break;
3760                 case CEE_BEQ:
3761                 case OP_IBEQ:
3762                         EMIT_COND_BRANCH (ins, S390_CC_EQ);
3763                         break;  
3764                 case CEE_BNE_UN:
3765                 case OP_IBNE_UN:
3766                         EMIT_COND_BRANCH (ins, S390_CC_NE);
3767                         break;  
3768                 case CEE_BLT:
3769                 case CEE_BLT_UN:
3770                 case OP_IBLT:
3771                 case OP_IBLT_UN:
3772                         EMIT_COND_BRANCH (ins, S390_CC_LT);
3773                         break;  
3774                 case CEE_BGT:
3775                 case CEE_BGT_UN:
3776                 case OP_IBGT:
3777                 case OP_IBGT_UN:
3778                         EMIT_COND_BRANCH (ins, S390_CC_GT);
3779                         break;  
3780                 case CEE_BGE:
3781                 case CEE_BGE_UN:
3782                 case OP_IBGE:
3783                 case OP_IBGE_UN:
3784                         EMIT_COND_BRANCH (ins, S390_CC_GE);
3785                         break;  
3786                 case CEE_BLE:
3787                 case CEE_BLE_UN:
3788                 case OP_IBLE:
3789                 case OP_IBLE_UN:
3790                         EMIT_COND_BRANCH (ins, S390_CC_LE);
3791                         break;
3792
3793                 /* floating point opcodes */
3794                 case OP_R8CONST: {
3795                         if (*((float *) ins->inst_p0) == 0) {
3796                                 s390_lzdr (code, ins->dreg);
3797                         } else {
3798                                 s390_basr  (code, s390_r13, 0);
3799                                 s390_j     (code, 6);
3800                                 s390_llong (code, ins->inst_p0);
3801                                 s390_lg    (code, s390_r13, 0, s390_r13, 4);
3802                                 s390_ld    (code, ins->dreg, 0, s390_r13, 0);
3803                         }
3804                 }
3805                         break;
3806                 case OP_R4CONST: {
3807                         if (*((float *) ins->inst_p0) == 0) {
3808                                 s390_lzdr (code, ins->dreg);
3809                         } else {
3810                                 s390_basr (code, s390_r13, 0);
3811                                 s390_j    (code, 6);
3812                                 s390_llong(code, ins->inst_p0);
3813                                 s390_lg   (code, s390_r13, 0, s390_r13, 4);
3814                                 s390_ldeb (code, ins->dreg, 0, s390_r13, 0);
3815                         }
3816                 }
3817                         break;
3818                 case OP_STORER8_MEMBASE_REG: {
3819                         S390_LONG (code, stdy, std, ins->sreg1, 0, 
3820                                    ins->inst_destbasereg, ins->inst_offset);
3821                 }
3822                         break;
3823                 case OP_LOADR8_MEMBASE: {
3824                         S390_LONG (code, ldy, ld, ins->dreg, 0, 
3825                                    ins->inst_basereg, ins->inst_offset);
3826                 }
3827                         break;
3828                 case OP_STORER4_MEMBASE_REG: {
3829                         s390_ledbr (code, s390_f15, ins->sreg1);
3830                         S390_LONG (code, stey, ste, s390_f15, 0, 
3831                                    ins->inst_destbasereg, ins->inst_offset);
3832                 }
3833                         break;
3834                 case OP_LOADR4_MEMBASE: {
3835                         S390_LONG (code, ldy, ld, s390_f15, 0, 
3836                                    ins->inst_basereg, ins->inst_offset);
3837                         s390_ldebr (code, ins->dreg, s390_f15);
3838                 }
3839                         break;
3840                 case CEE_CONV_R_UN: {
3841                         s390_cdgbr (code, ins->dreg, ins->sreg1);
3842                         s390_ltgr  (code, ins->sreg1, ins->sreg1);
3843                         s390_jnl   (code, 12);
3844                         s390_basr  (code, s390_r13, 0);
3845                         s390_j     (code, 6);
3846                         s390_word  (code, 0x41f00000);
3847                         s390_word  (code, 0);
3848                         s390_adb   (code, ins->dreg, 0, s390_r13, 4);
3849                 }
3850                         break;
3851                 case OP_LCONV_TO_R4: 
3852                 case CEE_CONV_R4: {
3853                         s390_cdgbr (code, ins->dreg, ins->sreg1);
3854                 }
3855                         break;
3856                 case OP_LCONV_TO_R8: 
3857                 case CEE_CONV_R8: {
3858                         s390_cdgbr (code, ins->dreg, ins->sreg1);
3859                 }
3860                         break;
3861                 case OP_FCONV_TO_I1:
3862                         code = emit_float_to_int (cfg, code, ins->dreg, ins->sreg1, 1, TRUE);
3863                         break;
3864                 case OP_FCONV_TO_U1:
3865                         code = emit_float_to_int (cfg, code, ins->dreg, ins->sreg1, 1, FALSE);
3866                         break;
3867                 case OP_FCONV_TO_I2:
3868                         code = emit_float_to_int (cfg, code, ins->dreg, ins->sreg1, 2, TRUE);
3869                         break;
3870                 case OP_FCONV_TO_U2:
3871                         code = emit_float_to_int (cfg, code, ins->dreg, ins->sreg1, 2, FALSE);
3872                         break;
3873                 case OP_FCONV_TO_I4:
3874                 case OP_FCONV_TO_I:
3875                         code = emit_float_to_int (cfg, code, ins->dreg, ins->sreg1, 4, TRUE);
3876                         break;
3877                 case OP_FCONV_TO_U4:
3878                 case OP_FCONV_TO_U:
3879                         code = emit_float_to_int (cfg, code, ins->dreg, ins->sreg1, 4, FALSE);
3880                         break;
3881                 case OP_FCONV_TO_I8:
3882                         s390_cgdbr (code, ins->dreg, 5, ins->sreg1);
3883                         break;
3884                 case OP_FCONV_TO_U8:
3885                         g_assert_not_reached ();
3886                         /* Implemented as helper calls */
3887                         break;
3888                 case OP_LCONV_TO_R_UN:
3889                         g_assert_not_reached ();
3890                         /* Implemented as helper calls */
3891                         break;
3892                 case OP_LCONV_TO_OVF_I: {
3893                         /* Valid ints: 0xffffffff:8000000 to 00000000:0x7f000000 */
3894                         short int *o[5];
3895                         s390_ltgr (code, ins->sreg2, ins->sreg2);
3896                         s390_jnl  (code, 0); CODEPTR(code, o[0]);
3897                         s390_ltgr (code, ins->sreg1, ins->sreg1);
3898                         s390_jnl  (code, 0); CODEPTR(code, o[1]);
3899                         s390_lhi  (code, s390_r13, -1);
3900                         s390_cgr  (code, ins->sreg1, s390_r13);
3901                         s390_jnz  (code, 0); CODEPTR(code, o[2]);
3902                         if (ins->dreg != ins->sreg2)
3903                                 s390_lgr  (code, ins->dreg, ins->sreg2);
3904                         s390_j    (code, 0); CODEPTR(code, o[3]);
3905                         PTRSLOT(code, o[0]);
3906                         s390_jz   (code, 0); CODEPTR(code, o[4]);
3907                         PTRSLOT(code, o[1]);
3908                         PTRSLOT(code, o[2]);
3909                         mono_add_patch_info (cfg, code - cfg->native_code, 
3910                                              MONO_PATCH_INFO_EXC, "OverflowException");
3911                         s390_brasl (code, s390_r14, 0);
3912                         PTRSLOT(code, o[3]);
3913                         PTRSLOT(code, o[4]);
3914                 }
3915                         break;
3916                 case OP_ABS: {
3917                         s390_lpdbr (code, ins->dreg, ins->sreg1);
3918                 }
3919                         break;
3920                 case OP_SQRT: {
3921                         s390_sqdbr (code, ins->dreg, ins->sreg1);
3922                 }
3923                         break;
3924                 case OP_FADD: {
3925                         CHECK_SRCDST_COM_F;
3926                         s390_adbr (code, ins->dreg, src2);
3927                 }
3928                         break;
3929                 case OP_FSUB: {
3930                         CHECK_SRCDST_NCOM_F;
3931                         s390_sdbr (code, ins->dreg, src2);
3932                 }
3933                         break;          
3934                 case OP_FMUL: {
3935                         CHECK_SRCDST_COM_F;
3936                         s390_mdbr (code, ins->dreg, src2);
3937                 }
3938                         break;          
3939                 case OP_FDIV: {
3940                         CHECK_SRCDST_NCOM_F;
3941                         s390_ddbr (code, ins->dreg, src2);
3942                 }
3943                         break;          
3944                 case OP_FNEG: {
3945                         s390_lcdbr (code, ins->dreg, ins->sreg1);
3946                 }
3947                         break;          
3948                 case OP_FREM: {
3949                         CHECK_SRCDST_NCOM_F;
3950                         s390_didbr (code, ins->dreg, src2, 5, s390_f15);
3951                 }
3952                         break;
3953                 case OP_FCOMPARE: {
3954                         s390_cdbr (code, ins->sreg1, ins->sreg2);
3955                 }
3956                         break;
3957                 case OP_FCEQ: {
3958                         s390_cdbr  (code, ins->sreg1, ins->sreg2);
3959                         s390_lghi  (code, ins->dreg, 1);
3960                         s390_je    (code, 4);
3961                         s390_lghi  (code, ins->dreg, 0);
3962                 }
3963                         break;
3964                 case OP_FCLT: {
3965                         s390_cdbr  (code, ins->sreg1, ins->sreg2);
3966                         s390_lghi  (code, ins->dreg, 1);
3967                         s390_jl    (code, 4);
3968                         s390_lghi  (code, ins->dreg, 0);
3969                 }
3970                         break;
3971                 case OP_FCLT_UN: {
3972                         s390_cdbr  (code, ins->sreg1, ins->sreg2);
3973                         s390_lghi  (code, ins->dreg, 1);
3974                         s390_jlo   (code, 4);
3975                         s390_lghi  (code, ins->dreg, 0);
3976                 }
3977                         break;
3978                 case OP_FCGT: {
3979                         s390_cdbr  (code, ins->sreg1, ins->sreg2);
3980                         s390_lghi  (code, ins->dreg, 1);
3981                         s390_jh    (code, 4);
3982                         s390_lghi  (code, ins->dreg, 0);
3983                 }
3984                         break;
3985                 case OP_FCGT_UN: {
3986                         s390_cdbr  (code, ins->sreg1, ins->sreg2);
3987                         s390_lghi  (code, ins->dreg, 1);
3988                         s390_jho   (code, 4);
3989                         s390_lghi  (code, ins->dreg, 0);
3990                 }
3991                         break;
3992                 case OP_FBEQ: {
3993                         short *o;
3994                         s390_jo (code, 0); CODEPTR(code, o);
3995                         EMIT_COND_BRANCH (ins, S390_CC_EQ);
3996                         PTRSLOT (code, o);
3997                 }
3998                         break;
3999                 case OP_FBNE_UN:
4000                         EMIT_COND_BRANCH (ins, S390_CC_NE|S390_CC_OV);
4001                         break;
4002                 case OP_FBLT: {
4003                         short *o;
4004                         s390_jo (code, 0); CODEPTR(code, o);
4005                         EMIT_COND_BRANCH (ins, S390_CC_LT);
4006                         PTRSLOT (code, o);
4007                 }
4008                         break;
4009                 case OP_FBLT_UN:
4010                         EMIT_COND_BRANCH (ins, S390_CC_LT|S390_CC_OV);
4011                         break;
4012                 case OP_FBGT: {
4013                         short *o;
4014                         s390_jo (code, 0); CODEPTR(code, o);
4015                         EMIT_COND_BRANCH (ins, S390_CC_GT);
4016                         PTRSLOT (code, o);
4017                 }
4018                         break;
4019                 case OP_FBGT_UN:
4020                         EMIT_COND_BRANCH (ins, S390_CC_GT|S390_CC_OV);
4021                         break;
4022                 case OP_FBGE: {
4023                         short *o;
4024                         s390_jo (code, 0); CODEPTR(code, o);
4025                         EMIT_COND_BRANCH (ins, S390_CC_GE);
4026                         PTRSLOT (code, o);
4027                 }
4028                         break;
4029                 case OP_FBGE_UN:
4030                         EMIT_COND_BRANCH (ins, S390_CC_GE|S390_CC_OV);
4031                         break;
4032                 case OP_FBLE: {
4033                         short *o;
4034                         s390_jo (code, 0); CODEPTR(code, o);
4035                         EMIT_COND_BRANCH (ins, S390_CC_LE);
4036                         PTRSLOT (code, o);
4037                 }
4038                         break;
4039                 case OP_FBLE_UN:
4040                         EMIT_COND_BRANCH (ins, S390_CC_LE|S390_CC_OV);
4041                         break;
4042                 case OP_CKFINITE: {
4043                         short *o;
4044                         s390_lhi  (code, s390_r13, 0x7f);
4045                         s390_tcdb (code, ins->sreg1, 0, s390_r13, 0);
4046                         s390_jz   (code, 0); CODEPTR(code, o);
4047                         mono_add_patch_info (cfg, code - cfg->native_code, 
4048                                              MONO_PATCH_INFO_EXC, "ArithmeticException");
4049                         s390_brasl (code, s390_r14,0);
4050                         PTRSLOT(code, o);
4051                 }
4052                         break;
4053                 case OP_S390_MOVE: {
4054                         if (ins->backend.size > 0) {
4055                                 if (ins->backend.size <= 256) {
4056                                         s390_mvc  (code, ins->backend.size, ins->dreg, 
4057                                                    ins->inst_offset, ins->sreg1, ins->inst_imm);
4058                                 } else {
4059                                         s390_lgr  (code, s390_r0, ins->dreg);
4060                                         if (s390_is_imm16 (ins->inst_offset)) {
4061                                                 s390_aghi (code, s390_r0, ins->inst_offset);
4062                                         } else {
4063                                                 s390_basr (code, s390_r13, 0);
4064                                                 s390_j    (code, 6);
4065                                                 s390_llong(code, ins->inst_offset);
4066                                                 s390_a    (code, s390_r0, 0, s390_r13, 4);
4067                                         }
4068                                         s390_lgr  (code, s390_r12, ins->sreg1);
4069                                         if (s390_is_imm16 (ins->inst_imm)) {
4070                                                 s390_aghi (code, s390_r12, ins->inst_imm);
4071                                         } else {
4072                                                 s390_basr (code, s390_r13, 0);
4073                                                 s390_j    (code, 6);
4074                                                 s390_llong(code, ins->inst_imm);
4075                                                 s390_ag   (code, s390_r12, 0, s390_r13, 4);
4076                                         }
4077                                         s390_lgr  (code, s390_r1, ins->sreg1);
4078                                         s390_lgr  (code, s390_r13, s390_r1);
4079                                         s390_mvcle(code, s390_r0, s390_r12, 0, 0);
4080                                         s390_jo   (code, -2);
4081                                 }
4082                         }
4083                 }
4084                         break;
4085                 case OP_ATOMIC_ADD_I8: {
4086                         s390_lgr (code, s390_r1, ins->sreg2);
4087                         s390_lg  (code, s390_r0, 0, ins->inst_basereg, ins->inst_offset);
4088                         s390_agr (code, s390_r1, s390_r0);
4089                         s390_csg (code, s390_r0, s390_r1, ins->inst_basereg, ins->inst_offset);
4090                         s390_jnz (code, -10);
4091                         s390_lgr (code, ins->dreg, s390_r1);
4092                 }
4093                         break;  
4094                 case OP_ATOMIC_ADD_NEW_I8: {
4095                         s390_lgr (code, s390_r1, ins->sreg2);
4096                         s390_lg  (code, s390_r0, 0, ins->inst_basereg, ins->inst_offset);
4097                         s390_agr (code, s390_r1, s390_r0);
4098                         s390_csg (code, s390_r0, s390_r1, ins->inst_basereg, ins->inst_offset);
4099                         s390_jnz (code, -10);
4100                         s390_lgr (code, ins->dreg, s390_r1);
4101                 }
4102                         break;  
4103                 case OP_ATOMIC_EXCHANGE_I8: {
4104                         s390_lg  (code, s390_r0, 0, ins->inst_basereg, ins->inst_offset);
4105                         s390_csg (code, s390_r0, ins->sreg2, ins->inst_basereg, ins->inst_offset);
4106                         s390_jnz (code, -6);
4107                         s390_lgr (code, ins->dreg, s390_r0);
4108                 }
4109                         break;  
4110                 case OP_ATOMIC_ADD_I4: {
4111                         s390_lgfr(code, s390_r1, ins->sreg2);
4112                         s390_lgf (code, s390_r0, 0, ins->inst_basereg, ins->inst_offset);
4113                         s390_agr (code, s390_r1, s390_r0);
4114                         s390_cs  (code, s390_r0, s390_r1, ins->inst_basereg, ins->inst_offset);
4115                         s390_jnz (code, -9);
4116                         s390_lgfr(code, ins->dreg, s390_r1);
4117                 }
4118                         break;  
4119                 case OP_ATOMIC_ADD_NEW_I4: {
4120                         s390_lgfr(code, s390_r1, ins->sreg2);
4121                         s390_lgf (code, s390_r0, 0, ins->inst_basereg, ins->inst_offset);
4122                         s390_agr (code, s390_r1, s390_r0);
4123                         s390_cs  (code, s390_r0, s390_r1, ins->inst_basereg, ins->inst_offset);
4124                         s390_jnz (code, -9);
4125                         s390_lgfr(code, ins->dreg, s390_r1);
4126                 }
4127                         break;  
4128                 case OP_ATOMIC_EXCHANGE_I4: {
4129                         s390_lg  (code, s390_r0, 0, ins->inst_basereg, ins->inst_offset);
4130                         s390_cs  (code, s390_r0, ins->sreg2, ins->inst_basereg, ins->inst_offset);
4131                         s390_jnz (code, -4);
4132                         s390_lgfr(code, ins->dreg, s390_r0);
4133                 }
4134                         break;  
4135                 case OP_S390_BKCHAIN: {
4136                         s390_lgr  (code, ins->dreg, ins->sreg1);
4137                         if (s390_is_imm16 (cfg->stack_offset)) {
4138                                 s390_aghi (code, ins->dreg, cfg->stack_offset);
4139                         } else {
4140                                 s390_basr (code, s390_r13, 0);
4141                                 s390_j    (code, 6);
4142                                 s390_llong(code, cfg->stack_offset);
4143                                 s390_ag   (code, ins->dreg, 0, s390_r13, 4);
4144                         }
4145                 }
4146                         break;  
4147                 case OP_MEMORY_BARRIER: {
4148                 }
4149                         break;
4150                 default:
4151                         g_warning ("unknown opcode %s in %s()\n", mono_inst_name (ins->opcode), __FUNCTION__);
4152                         g_assert_not_reached ();
4153                 }
4154
4155                 if ((cfg->opt & MONO_OPT_BRANCH) && ((code - cfg->native_code - offset) > max_len)) {
4156                         g_warning ("wrong maximal instruction length of instruction %s (expected %d, got %ld)",
4157                                    mono_inst_name (ins->opcode), max_len, code - cfg->native_code - offset);
4158                         g_assert_not_reached ();
4159                 }
4160                
4161                 cpos += max_len;
4162
4163                 last_offset = offset;
4164         }
4165
4166         cfg->code_len = code - cfg->native_code;
4167 }
4168
4169 /*========================= End of Function ========================*/
4170
4171 /*------------------------------------------------------------------*/
4172 /*                                                                  */
4173 /* Name         - mono_arch_register_lowlevel_calls                 */
4174 /*                                                                  */
4175 /* Function     - Register routines to help with --trace operation. */
4176 /*                                                                  */
4177 /*------------------------------------------------------------------*/
4178
4179 void
4180 mono_arch_register_lowlevel_calls (void)
4181 {
4182         mono_register_jit_icall (mono_arch_get_lmf_addr, "mono_arch_get_lmf_addr", NULL, TRUE);
4183 }
4184
4185 /*========================= End of Function ========================*/
4186
4187 /*------------------------------------------------------------------*/
4188 /*                                                                  */
4189 /* Name         - mono_arch_patch_code                              */
4190 /*                                                                  */
4191 /* Function     - Process the patch data created during the         */
4192 /*                instruction build process. This resolves jumps,   */
4193 /*                calls, variables etc.                             */
4194 /*                                                                  */
4195 /*------------------------------------------------------------------*/
4196
4197 void
4198 mono_arch_patch_code (MonoMethod *method, MonoDomain *domain, 
4199                       guint8 *code, MonoJumpInfo *ji, gboolean run_cctors)
4200 {
4201         MonoJumpInfo *patch_info;
4202
4203         for (patch_info = ji; patch_info; patch_info = patch_info->next) {
4204                 unsigned char *ip = patch_info->ip.i + code;
4205                 gconstpointer target = NULL;
4206
4207                 target = mono_resolve_patch_target (method, domain, code, 
4208                                                     patch_info, run_cctors);
4209
4210                 switch (patch_info->type) {
4211                         case MONO_PATCH_INFO_IP:
4212                         case MONO_PATCH_INFO_EXC_NAME:
4213                         case MONO_PATCH_INFO_LDSTR:
4214                         case MONO_PATCH_INFO_TYPE_FROM_HANDLE: 
4215                         case MONO_PATCH_INFO_LDTOKEN: 
4216                         case MONO_PATCH_INFO_EXC:
4217                         case MONO_PATCH_INFO_ABS:
4218                         case MONO_PATCH_INFO_METHOD:
4219                         case MONO_PATCH_INFO_INTERNAL_METHOD:
4220                         case MONO_PATCH_INFO_CLASS_INIT:
4221                                 s390_patch_addr (ip, (guint64) target);
4222                                 continue;
4223                         case MONO_PATCH_INFO_SWITCH: 
4224                                 /*----------------------------------*/
4225                                 /* ip points at the basr r13,0/j +4 */
4226                                 /* instruction the vtable value     */
4227                                 /* follows this (i.e. ip+6)         */
4228                                 /*----------------------------------*/
4229                                 *((gconstpointer *)(ip+6)) = target;
4230                                 continue;
4231                         case MONO_PATCH_INFO_METHODCONST:
4232                         case MONO_PATCH_INFO_CLASS:
4233                         case MONO_PATCH_INFO_IMAGE:
4234                         case MONO_PATCH_INFO_FIELD:
4235                         case MONO_PATCH_INFO_IID:
4236                                 target = S390_RELATIVE(target, ip);
4237                                 s390_patch_rel (ip, (guint64) target);
4238                                 continue;
4239                         case MONO_PATCH_INFO_R4:
4240                         case MONO_PATCH_INFO_R8:
4241                         case MONO_PATCH_INFO_METHOD_REL:
4242                                 g_assert_not_reached ();
4243                                 continue;
4244                         default:
4245                                 target = S390_RELATIVE(target, ip);
4246                                 ip += 2;
4247                                 s390_patch_rel (ip, (guint64) target);
4248                 }
4249         }
4250 }
4251
4252 /*========================= End of Function ========================*/
4253
4254 /*------------------------------------------------------------------*/
4255 /*                                                                  */
4256 /* Name         - emit_load_volatile_registers                      */
4257 /*                                                                  */
4258 /* Function     - Emit the instructions to reload parameter regist- */
4259 /*                registers for use with "tail" operations.         */
4260 /*                                                                  */
4261 /*                The register loading operations performed here    */
4262 /*                are the mirror of the store operations performed  */
4263 /*                in mono_arch_emit_prolog and need to be kept in   */
4264 /*                synchronization with it.                          */
4265 /*                                                                  */
4266 /*------------------------------------------------------------------*/
4267
4268 guint8 *
4269 emit_load_volatile_registers (guint8 *code, MonoCompile *cfg)
4270 {
4271         MonoInst *inst;
4272         MonoMethod *method = cfg->method;
4273         MonoMethodSignature *sig = mono_method_signature(method);
4274         int pos = 0, i;
4275         CallInfo *cinfo;
4276         size_data sz;
4277
4278         cinfo = calculate_sizes (NULL, sig, &sz, sig->pinvoke);
4279
4280         if (cinfo->struct_ret) {
4281                 ArgInfo *ainfo = &cinfo->ret;
4282                 inst         = cfg->ret;
4283                 s390_lg (code, ainfo->reg, 0, inst->inst_basereg, inst->inst_offset);
4284         }
4285
4286         for (i = 0; i < sig->param_count + sig->hasthis; ++i) {
4287                 ArgInfo *ainfo = cinfo->args + i;
4288                 inst = cfg->args [pos];
4289
4290                 if (inst->opcode == OP_REGVAR) {
4291                         if (ainfo->regtype == RegTypeGeneral)
4292                                 s390_lgr (code, ainfo->reg, inst->dreg);
4293                         else if (ainfo->regtype == RegTypeFP) {
4294                                 if (inst->dreg != ainfo->reg) {
4295                                         if (ainfo->size == 4) {
4296                                                 s390_ldebr (code, ainfo->reg, inst->dreg);
4297                                         } else {
4298                                                 s390_ldr   (code, ainfo->reg, inst->dreg);
4299                                         }
4300                                 }
4301                         }
4302                         else if (ainfo->regtype == RegTypeBase) {
4303                         } else
4304                                 g_assert_not_reached ();
4305                 } else {
4306                         if (ainfo->regtype == RegTypeGeneral) {
4307                                 if (!((ainfo->reg >= 2) && (ainfo->reg <= 6)))
4308                                         g_assert_not_reached();
4309                                 switch (ainfo->size) {
4310                                 case 1:
4311                                         s390_llgc (code, ainfo->reg, 0, inst->inst_basereg, inst->inst_offset);
4312                                         break;
4313                                 case 2:
4314                                         s390_lgh  (code, ainfo->reg, 0, inst->inst_basereg, inst->inst_offset);
4315                                         break;
4316                                 case 4: 
4317                                         s390_lgf (code, ainfo->reg, 0, inst->inst_basereg, inst->inst_offset);
4318                                         break;
4319                                 case 8:
4320                                         s390_lg  (code, ainfo->reg, 0, inst->inst_basereg, inst->inst_offset);
4321                                         break;
4322                                 }
4323                         } else if (ainfo->regtype == RegTypeBase) {
4324                         } else if (ainfo->regtype == RegTypeFP) {
4325                                 if (ainfo->size == 8)
4326                                         s390_ld  (code, ainfo->reg, 0, inst->inst_basereg, inst->inst_offset);
4327                                 else if (ainfo->size == 4)
4328                                         s390_le  (code, ainfo->reg, 0, inst->inst_basereg, inst->inst_offset);
4329                                 else
4330                                         g_assert_not_reached ();
4331                         } else if (ainfo->regtype == RegTypeStructByVal) {
4332                                 if (ainfo->reg != STK_BASE) {
4333                                         switch (ainfo->size) {
4334                                         case 1:
4335                                                 s390_llgc (code, ainfo->reg, 0, inst->inst_basereg, inst->inst_offset);
4336                                                 break;
4337                                         case 2:
4338                                                 s390_lgh (code, ainfo->reg, 0, inst->inst_basereg, inst->inst_offset);
4339                                                 break;
4340                                         case 4:
4341                                                 s390_lgf (code, ainfo->reg, 0, inst->inst_basereg, inst->inst_offset);
4342                                                 break;
4343                                         case 8:
4344                                                 s390_lg  (code, ainfo->reg, 0, inst->inst_basereg, inst->inst_offset);
4345                                                 break;
4346                                         }
4347                                 }
4348                         } else if (ainfo->regtype == RegTypeStructByAddr) {
4349                                 if (ainfo->reg != STK_BASE) {
4350                                         s390_lg (code, ainfo->reg, 0, inst->inst_basereg, inst->inst_offset);
4351                                 }
4352                         } else
4353                                 g_assert_not_reached ();
4354                 }
4355                 pos++;
4356         }
4357
4358         g_free (cinfo);
4359
4360         return code;
4361 }
4362
4363 /*========================= End of Function ========================*/
4364
4365 /*------------------------------------------------------------------*/
4366 /*                                                                  */
4367 /* Name         - mono_arch_emit_prolog                             */
4368 /*                                                                  */
4369 /* Function     - Create the instruction sequence for a function    */
4370 /*                prolog.                                           */
4371 /*                                                                  */
4372 /*------------------------------------------------------------------*/
4373
4374 guint8 *
4375 mono_arch_emit_prolog (MonoCompile *cfg)
4376 {
4377         MonoMethod *method = cfg->method;
4378         MonoBasicBlock *bb;
4379         MonoMethodSignature *sig;
4380         MonoInst *inst;
4381         int alloc_size, pos, max_offset, i;
4382         guint8 *code;
4383         CallInfo *cinfo;
4384         size_data sz;
4385         int tracing = 0;
4386         int lmfOffset;
4387
4388         cfg->code_size   = 512;
4389
4390         if (mono_jit_trace_calls != NULL && mono_trace_eval (method)) {
4391                 tracing         = 1;
4392                 cfg->code_size += 256;
4393         }
4394
4395         if (method->save_lmf)
4396                 cfg->code_size += 200;
4397
4398         cfg->native_code = code = g_malloc (cfg->code_size);
4399
4400         s390_stmg (code, s390_r6, s390_r14, STK_BASE, S390_REG_SAVE_OFFSET);
4401
4402         if (cfg->flags & MONO_CFG_HAS_ALLOCA) {
4403                 cfg->used_int_regs |= 1 << 11;
4404         }
4405
4406         alloc_size = cfg->stack_offset;
4407
4408         cfg->stack_usage = alloc_size;
4409         s390_lgr  (code, s390_r11, STK_BASE);
4410         if (s390_is_imm16 (alloc_size)) {
4411                 s390_aghi (code, STK_BASE, -alloc_size);
4412         } else { 
4413                 int stackSize = alloc_size;
4414                 while (stackSize > 32767) {
4415                         s390_aghi (code, STK_BASE, -32767);
4416                         stackSize -= 32767;
4417                 }
4418                 s390_aghi (code, STK_BASE, -stackSize);
4419         }
4420         s390_stg  (code, s390_r11, 0, STK_BASE, 0);
4421
4422         if (cfg->frame_reg != STK_BASE)
4423                 s390_lgr (code, s390_r11, STK_BASE);
4424
4425         /* compute max_offset in order to use short forward jumps
4426          * we always do it on s390 because the immediate displacement
4427          * for jumps is too small 
4428          */
4429         max_offset = 0;
4430         for (bb = cfg->bb_entry; bb; bb = bb->next_bb) {
4431                 MonoInst *ins;
4432                 bb->max_offset = max_offset;
4433
4434                 if (cfg->prof_options & MONO_PROFILE_COVERAGE)
4435                         max_offset += 6; 
4436
4437                 MONO_BB_FOR_EACH_INS (bb, ins)
4438                         max_offset += ((guint8 *)ins_get_spec (ins->opcode))[MONO_INST_LEN];
4439         }
4440
4441         /* load arguments allocated to register from the stack */
4442         sig = mono_method_signature (method);
4443         pos = 0;
4444
4445         cinfo = calculate_sizes (cfg, sig, &sz, sig->pinvoke);
4446
4447         if (cinfo->struct_ret) {
4448                 ArgInfo *ainfo = &cinfo->ret;
4449                 inst         = cfg->ret;
4450                 inst->backend.size = ainfo->vtsize;
4451                 s390_stg (code, ainfo->reg, 0, inst->inst_basereg, inst->inst_offset);
4452         }
4453
4454         for (i = 0; i < sig->param_count + sig->hasthis; ++i) {
4455                 ArgInfo *ainfo = cinfo->args + i;
4456                 inst = cfg->args [pos];
4457
4458                 if (inst->opcode == OP_REGVAR) {
4459                         if (ainfo->regtype == RegTypeGeneral)
4460                                 s390_lgr (code, inst->dreg, ainfo->reg);
4461                         else if (ainfo->regtype == RegTypeFP) {
4462                                 if (inst->dreg != ainfo->reg) {
4463                                         if (ainfo->size == 4) {
4464                                                 s390_ledbr (code, inst->dreg, ainfo->reg);
4465                                         } else {
4466                                                 s390_ldr   (code, inst->dreg, ainfo->reg);
4467                                         }
4468                                 }
4469                         }
4470                         else if (ainfo->regtype == RegTypeBase) {
4471                                 s390_lgr  (code, s390_r13, STK_BASE);
4472                                 s390_aghi (code, s390_r13, alloc_size);
4473                                 s390_lg   (code, inst->dreg, 0, s390_r13, ainfo->offset);
4474                         } else
4475                                 g_assert_not_reached ();
4476
4477                         if (cfg->verbose_level > 2)
4478                                 g_print ("Argument %d assigned to register %s\n", 
4479                                          pos, mono_arch_regname (inst->dreg));
4480                 } else {
4481                         if (ainfo->regtype == RegTypeGeneral) {
4482                                 if (!((ainfo->reg >= 2) && (ainfo->reg <= 6)))
4483                                         g_assert_not_reached();
4484                                 switch (ainfo->size) {
4485                                 case 1:
4486                                         s390_stc (code, ainfo->reg, 0, inst->inst_basereg, inst->inst_offset);
4487                                         break;
4488                                 case 2:
4489                                         s390_sth (code, ainfo->reg, 0, inst->inst_basereg, inst->inst_offset);
4490                                         break;
4491                                 case 4: 
4492                                         s390_st (code, ainfo->reg, 0, inst->inst_basereg, inst->inst_offset);
4493                                         break;
4494                                 case 8:
4495                                         s390_stg (code, ainfo->reg, 0, inst->inst_basereg, inst->inst_offset);
4496                                         break;
4497                                 }
4498                         } else if (ainfo->regtype == RegTypeBase) {
4499                         } else if (ainfo->regtype == RegTypeFP) {
4500                                 if (ainfo->size == 8)
4501                                         s390_std (code, ainfo->reg, 0, inst->inst_basereg, inst->inst_offset);
4502                                 else if (ainfo->size == 4)
4503                                         s390_ste (code, ainfo->reg, 0, inst->inst_basereg, inst->inst_offset);
4504                                 else
4505                                         g_assert_not_reached ();
4506                         } else if (ainfo->regtype == RegTypeStructByVal) {
4507                                 int doffset = inst->inst_offset;
4508                                 int reg;
4509                                 if (ainfo->reg != STK_BASE)
4510                                         reg = ainfo->reg;
4511                                 else {
4512                                         reg = s390_r0;
4513                                         s390_lgr  (code, s390_r13, STK_BASE);
4514                                         s390_aghi (code, s390_r13, alloc_size);
4515                                 }
4516                                 switch (ainfo->size) {
4517                                         case 1:
4518                                                 if (ainfo->reg == STK_BASE)
4519                                                         s390_ic (code, reg, 0, s390_r13, ainfo->offset+7);
4520                                                 s390_stc (code, reg, 0, inst->inst_basereg, doffset);
4521                                                 break;
4522                                         case 2:
4523                                                 if (ainfo->reg == STK_BASE)
4524                                                         s390_lh (code, reg, 0, s390_r13, ainfo->offset+6);
4525                                                 s390_sth (code, reg, 0, inst->inst_basereg, doffset);
4526                                                 break;
4527                                         case 4:
4528                                                 if (ainfo->reg == STK_BASE)
4529                                                         s390_l  (code, reg, 0, s390_r13, ainfo->offset+4);
4530                                                 s390_st (code, reg, 0, inst->inst_basereg, doffset);
4531                                                 break;
4532                                         case 8:
4533                                                 if (ainfo->reg == STK_BASE)
4534                                                         s390_lg  (code, reg, 0, s390_r13, ainfo->offset);
4535                                                 s390_stg (code, reg, 0, inst->inst_basereg, doffset);
4536                                                 break;
4537                                 }
4538                         } else if (ainfo->regtype == RegTypeStructByAddr) {
4539                                 s390_stg (code, ainfo->reg, 0, inst->inst_basereg, inst->inst_offset);
4540                         } else
4541                                 g_assert_not_reached ();
4542                 }
4543                 pos++;
4544         }
4545
4546         if (method->save_lmf) {
4547                 /*---------------------------------------------------------------*/
4548                 /* we build the MonoLMF structure on the stack - see mini-s390.h */
4549                 /*---------------------------------------------------------------*/
4550                 lmfOffset = alloc_size - sizeof(MonoLMF);       
4551                                                                                         
4552                 s390_lgr   (code, s390_r13, cfg->frame_reg);            
4553                 s390_aghi  (code, s390_r13, lmfOffset);                                 
4554                                                                                         
4555                 /*---------------------------------------------------------------*/
4556                 /* Preserve the parameter registers while we fix up the lmf      */
4557                 /*---------------------------------------------------------------*/
4558                 s390_stmg  (code, s390_r2, s390_r6, s390_r13,
4559                             G_STRUCT_OFFSET(MonoLMF, pregs[0]));
4560
4561                 /*---------------------------------------------------------------*/
4562                 /* On return from this call r2 have the address of the &lmf      */
4563                 /*---------------------------------------------------------------*/
4564                 s390_basr(code, s390_r10, 0);
4565                 s390_j   (code, 6);
4566                 mono_add_patch_info (cfg, code - cfg->native_code, 
4567                                      MONO_PATCH_INFO_INTERNAL_METHOD, 
4568                                      (gpointer)"mono_get_lmf_addr");
4569                 s390_llong(code, 0);
4570                 s390_lg   (code, s390_r1, 0, s390_r10, 4);
4571                 s390_basr (code, s390_r14, s390_r1);
4572
4573                 /*---------------------------------------------------------------*/     
4574                 /* Set lmf.lmf_addr = jit_tls->lmf                               */     
4575                 /*---------------------------------------------------------------*/     
4576                 s390_stg   (code, s390_r2, 0, s390_r13,                                 
4577                             G_STRUCT_OFFSET(MonoLMF, lmf_addr));                        
4578                                                                                         
4579                 /*---------------------------------------------------------------*/     
4580                 /* Get current lmf                                               */     
4581                 /*---------------------------------------------------------------*/     
4582                 s390_lg    (code, s390_r0, 0, s390_r2, 0);                              
4583                                                                                         
4584                 /*---------------------------------------------------------------*/     
4585                 /* Set our lmf as the current lmf                                */     
4586                 /*---------------------------------------------------------------*/     
4587                 s390_stg   (code, s390_r13, 0, s390_r2, 0);                             
4588                                                                                         
4589                 /*---------------------------------------------------------------*/     
4590                 /* Have our lmf.previous_lmf point to the last lmf               */     
4591                 /*---------------------------------------------------------------*/     
4592                 s390_stg   (code, s390_r0, 0, s390_r13,                                 
4593                             G_STRUCT_OFFSET(MonoLMF, previous_lmf));                    
4594                                                                                         
4595                 /*---------------------------------------------------------------*/     
4596                 /* save method info                                              */     
4597                 /*---------------------------------------------------------------*/     
4598                 s390_basr  (code, s390_r1, 0);                                          
4599                 s390_j     (code, 6);
4600                 s390_llong (code, method);                                              
4601                 s390_lg    (code, s390_r1, 0, s390_r1, 4);                      
4602                 s390_stg   (code, s390_r1, 0, s390_r13,                                 
4603                             G_STRUCT_OFFSET(MonoLMF, method));                          
4604                                                                                 
4605                 /*---------------------------------------------------------------*/     
4606                 /* save the current IP                                           */     
4607                 /*---------------------------------------------------------------*/     
4608                 s390_stg   (code, STK_BASE, 0, s390_r13, G_STRUCT_OFFSET(MonoLMF, ebp));
4609                 s390_basr  (code, s390_r1, 0);
4610                 s390_stg   (code, s390_r1, 0, s390_r13, G_STRUCT_OFFSET(MonoLMF, eip)); 
4611                                                                                         
4612                 /*---------------------------------------------------------------*/     
4613                 /* Save general and floating point registers                     */     
4614                 /*---------------------------------------------------------------*/     
4615                 s390_stmg  (code, s390_r2, s390_r12, s390_r13,                          
4616                             G_STRUCT_OFFSET(MonoLMF, gregs[2]));                        
4617                 for (i = 0; i < 16; i++) {                                              
4618                         s390_std  (code, i, 0, s390_r13,                                
4619                                    G_STRUCT_OFFSET(MonoLMF, fregs[i]));                 
4620                 }                                                                       
4621
4622                 /*---------------------------------------------------------------*/
4623                 /* Restore the parameter registers now that we've set up the lmf */
4624                 /*---------------------------------------------------------------*/
4625                 s390_lmg   (code, s390_r2, s390_r6, s390_r13,                           
4626                             G_STRUCT_OFFSET(MonoLMF, pregs[0]));                        
4627         }
4628
4629         if (tracing)
4630                 code = mono_arch_instrument_prolog(cfg, enter_method, code, TRUE);
4631
4632         cfg->code_len = code - cfg->native_code;
4633         g_assert (cfg->code_len < cfg->code_size);
4634
4635         g_free (cinfo);
4636
4637         return code;
4638 }
4639
4640 /*========================= End of Function ========================*/
4641
4642 /*------------------------------------------------------------------*/
4643 /*                                                                  */
4644 /* Name         - mono_arch_emit_epilog                             */
4645 /*                                                                  */
4646 /* Function     - Emit the instructions for a function epilog.      */
4647 /*                                                                  */
4648 /*------------------------------------------------------------------*/
4649
4650 void
4651 mono_arch_emit_epilog (MonoCompile *cfg)
4652 {
4653         MonoMethod *method = cfg->method;
4654         int tracing = 0;
4655         guint8 *code;
4656         int max_epilog_size = 96;
4657         
4658         if (cfg->method->save_lmf)
4659                 max_epilog_size += 128;
4660         
4661         if (mono_jit_trace_calls != NULL)
4662                 max_epilog_size += 128;
4663
4664         if (cfg->prof_options & MONO_PROFILE_ENTER_LEAVE)
4665                 max_epilog_size += 128;
4666         
4667         while ((cfg->code_len + max_epilog_size) > (cfg->code_size - 16)) {
4668                 cfg->code_size  *= 2;
4669                 cfg->native_code = g_realloc (cfg->native_code, cfg->code_size);
4670                 mono_jit_stats.code_reallocs++;
4671         }
4672
4673         code = cfg->native_code + cfg->code_len;
4674
4675         if (mono_jit_trace_calls != NULL && mono_trace_eval (method)) {
4676                 code = mono_arch_instrument_epilog (cfg, leave_method, code, TRUE);
4677                 tracing = 1;
4678         }
4679         
4680         if (method->save_lmf) 
4681                 restoreLMF(code, cfg->frame_reg, cfg->stack_usage);
4682
4683         if (cfg->flags & MONO_CFG_HAS_ALLOCA) 
4684                 s390_lg  (code, STK_BASE, 0, STK_BASE, 0);
4685         else
4686                 code = backUpStackPtr(cfg, code);
4687
4688         s390_lmg (code, s390_r6, s390_r14, STK_BASE, S390_REG_SAVE_OFFSET);
4689         s390_br  (code, s390_r14);
4690
4691         cfg->code_len = code - cfg->native_code;
4692
4693         g_assert (cfg->code_len < cfg->code_size);
4694
4695 }
4696
4697 /*========================= End of Function ========================*/
4698
4699 /*------------------------------------------------------------------*/
4700 /*                                                                  */
4701 /* Name         - mono_arch_emit_exceptions                         */
4702 /*                                                                  */
4703 /* Function     - Emit the blocks to handle exception conditions.   */
4704 /*                                                                  */
4705 /*------------------------------------------------------------------*/
4706
4707 void
4708 mono_arch_emit_exceptions (MonoCompile *cfg) 
4709 {
4710         MonoJumpInfo    *patch_info;
4711         guint8          *code;
4712         int             nThrows = 0,
4713                         exc_count = 0,
4714                         iExc;
4715         guint32         code_size;
4716         MonoClass       *exc_classes [MAX_EXC];
4717         guint8          *exc_throw_start [MAX_EXC];
4718
4719         for (patch_info = cfg->patch_info; 
4720              patch_info; 
4721              patch_info = patch_info->next) {
4722                 if (patch_info->type == MONO_PATCH_INFO_EXC)
4723                         exc_count++;
4724         }
4725
4726         code_size = exc_count * 48;
4727
4728         while ((cfg->code_len + code_size) > (cfg->code_size - 16)) {
4729                 cfg->code_size  *= 2;
4730                 cfg->native_code = g_realloc (cfg->native_code, cfg->code_size);
4731                 mono_jit_stats.code_reallocs++; 
4732         }
4733
4734         code = cfg->native_code + cfg->code_len;
4735
4736         /*---------------------------------------------------------------------*/
4737         /* Add code to raise exceptions                                        */
4738         /*---------------------------------------------------------------------*/
4739         for (patch_info = cfg->patch_info; patch_info; patch_info = patch_info->next) {
4740                 switch (patch_info->type) {
4741                 case MONO_PATCH_INFO_EXC: {
4742                         guint8 *ip = patch_info->ip.i + cfg->native_code;
4743                         MonoClass *exc_class;
4744                         guint64 throw_ip;
4745
4746                         /*-----------------------------------------------------*/
4747                         /* Patch the branch in epilog to come here             */
4748                         /*-----------------------------------------------------*/
4749                         s390_patch_rel (ip + 2, (guint64) S390_RELATIVE(code,ip));
4750
4751                         exc_class = mono_class_from_name (mono_defaults.corlib, 
4752                                                           "System", 
4753                                                           patch_info->data.name);
4754                         g_assert (exc_class);
4755                         throw_ip = patch_info->ip.i;
4756
4757                         for (iExc = 0; iExc < nThrows; ++iExc)
4758                                 if (exc_classes [iExc] == exc_class)
4759                                         break;
4760                 
4761                         if (iExc < nThrows) {
4762                                 s390_jcl (code, S390_CC_UN, 
4763                                           (guint64) exc_throw_start [iExc]);
4764                                 patch_info->type = MONO_PATCH_INFO_NONE;
4765                         } else {
4766         
4767                                 if (nThrows < MAX_EXC) {
4768                                         exc_classes [nThrows]     = exc_class;
4769                                         exc_throw_start [nThrows] = code;
4770                                 }
4771         
4772                                 /*---------------------------------------------*/
4773                                 /* Patch the parameter passed to the handler   */ 
4774                                 /*---------------------------------------------*/
4775                                 s390_basr (code, s390_r13, 0);
4776                                 s390_j    (code, 6);
4777                                 s390_llong(code, patch_info->data.target);
4778                                 /*---------------------------------------------*/
4779                                 /* Load return address & parameter register    */
4780                                 /*---------------------------------------------*/
4781                                 s390_larl (code, s390_r14, (guint64)S390_RELATIVE((patch_info->ip.i +
4782                                                            cfg->native_code + 8), code));
4783                                 s390_lg   (code, s390_r2, 0, s390_r13, 4);
4784                                 /*---------------------------------------------*/
4785                                 /* Reuse the current patch to set the jump     */
4786                                 /*---------------------------------------------*/
4787                                 s390_basr (code, s390_r13, 0);
4788                                 s390_j    (code, 6);
4789                                 patch_info->type      = MONO_PATCH_INFO_INTERNAL_METHOD;
4790                                 patch_info->data.name = "mono_arch_throw_exception_by_name";
4791                                 patch_info->ip.i      = code - cfg->native_code;
4792                                 s390_llong(code, 0);
4793                                 s390_lg   (code, s390_r1, 0, s390_r13, 4);
4794                                 s390_br   (code, s390_r1);
4795                         }
4796                         break;
4797                 }
4798                 default:
4799                         /* do nothing */
4800                         break;
4801                 }
4802         }
4803
4804         cfg->code_len = code - cfg->native_code;
4805
4806         g_assert (cfg->code_len < cfg->code_size);
4807
4808 }
4809
4810 /*========================= End of Function ========================*/
4811
4812 /*------------------------------------------------------------------*/
4813 /*                                                                  */
4814 /* Name         - mono_arch_setup_jit_tls_data                      */
4815 /*                                                                  */
4816 /* Function     - Setup the JIT's Thread Level Specific Data.       */
4817 /*                                                                  */
4818 /*------------------------------------------------------------------*/
4819
4820 void
4821 mono_arch_setup_jit_tls_data (MonoJitTlsData *tls)
4822 {
4823         if (!tls_offset_inited) {
4824                 tls_offset_inited = TRUE;
4825
4826 #if HAVE_KW_THREAD
4827 # if 0
4828         __asm__ ("\tear\t%r1,0\n"
4829                  "\tlr\t%0,%3\n"
4830                  "\tsr\t%0,%r1\n"
4831                  "\tlr\t%1,%4\n"
4832                  "\tsr\t%1,%r1\n"
4833                  "\tlr\t%2,%5\n"
4834                  "\tsr\t%2,%r1\n"
4835                  : "=r" (appdomain_tls_offset),
4836                    "=r" (thread_tls_offset),
4837                    "=r" (lmf_tls_offset)
4838                  : "r" (&tls_appdomain),
4839                    "r" (&tls_current_object),
4840                    "r" (&mono_lmf_addr)
4841                  : "1", "cc");
4842 # endif
4843 #endif
4844         }               
4845
4846         if (!lmf_addr_key_inited) {
4847                 lmf_addr_key_inited = TRUE;
4848                 pthread_key_create (&lmf_addr_key, NULL);
4849         }
4850         pthread_setspecific (lmf_addr_key, &tls->lmf);
4851
4852 }
4853
4854 /*========================= End of Function ========================*/
4855
4856 /*------------------------------------------------------------------*/
4857 /*                                                                  */
4858 /* Name         - mono_arch_free_jit_tls_data                       */
4859 /*                                                                  */
4860 /* Function     - Free tls data.                                    */
4861 /*                                                                  */
4862 /*------------------------------------------------------------------*/
4863
4864 void
4865 mono_arch_free_jit_tls_data (MonoJitTlsData *tls)
4866 {
4867
4868 }
4869
4870 /*========================= End of Function ========================*/
4871
4872 /*------------------------------------------------------------------*/
4873 /*                                                                  */
4874 /* Name         - mono_arch_emit_this_vret_args                     */
4875 /*                                                                  */
4876 /* Function     -                                                   */
4877 /*                                                                  */
4878 /*------------------------------------------------------------------*/
4879
4880 void
4881 mono_arch_emit_this_vret_args (MonoCompile *cfg, MonoCallInst *inst, int this_reg, int this_type, int vt_reg)
4882 {
4883         int this_dreg = s390_r2;
4884         
4885         if (vt_reg != -1)
4886                 this_dreg = s390_r3;
4887
4888         /* add the this argument */
4889         if (this_reg != -1) {
4890                 MonoInst *this;
4891                 MONO_INST_NEW (cfg, this, OP_MOVE);
4892                 this->type  = this_type;
4893                 this->sreg1 = this_reg;
4894                 this->dreg  = mono_regstate_next_int (cfg->rs);
4895                 mono_bblock_add_inst (cfg->cbb, this);
4896                 mono_call_inst_add_outarg_reg (cfg, inst, this->dreg, this_dreg, FALSE);
4897         }
4898
4899         if (vt_reg != -1) {
4900                 MonoInst *vtarg;
4901                 MONO_INST_NEW (cfg, vtarg, OP_MOVE);
4902                 vtarg->type  = STACK_MP;
4903                 vtarg->sreg1 = vt_reg;
4904                 vtarg->dreg  = mono_regstate_next_int (cfg->rs);
4905                 mono_bblock_add_inst (cfg->cbb, vtarg);
4906                 mono_call_inst_add_outarg_reg (cfg, inst, vtarg->dreg, s390_r2, FALSE);
4907         }
4908 }
4909
4910 /*========================= End of Function ========================*/
4911
4912 /*------------------------------------------------------------------*/
4913 /*                                                                  */
4914 /* Name         - mono_arch_get_inst_for_method                   */
4915 /*                                                                  */
4916 /* Function     - Check for opcodes we can handle directly in       */
4917 /*                hardware.                                         */
4918 /*                                                                  */
4919 /*------------------------------------------------------------------*/
4920
4921 MonoInst*
4922 mono_arch_get_inst_for_method (MonoCompile *cfg, MonoMethod *cmethod, 
4923                                MonoMethodSignature *fsig, MonoInst **args)
4924 {
4925         MonoInst *ins = NULL;
4926
4927         if (cmethod->klass == mono_defaults.math_class) {
4928                 if (strcmp (cmethod->name, "Sqrt") == 0) {
4929                         MONO_INST_NEW (cfg, ins, OP_SQRT);
4930                         ins->inst_i0 = args [0];
4931                 }
4932 //              if (strcmp (cmethod->name, "Abs") == 0) {
4933 //                      MONO_INST_NEW (cfg, ins, OP_ABS);
4934 //                      ins->inst_i0 = args [0];
4935 //              }
4936         }
4937
4938         return ins;
4939 }
4940
4941 /*========================= End of Function ========================*/
4942
4943 /*------------------------------------------------------------------*/
4944 /*                                                                  */
4945 /* Name         - mono_arch_print_tree                              */
4946 /*                                                                  */
4947 /* Function     - Print platform-specific opcode details.           */
4948 /*                                                                  */
4949 /* Returns      - 1 - opcode details have been printed              */
4950 /*                0 - opcode details have not been printed          */
4951 /*                                                                  */
4952 /*------------------------------------------------------------------*/
4953
4954 gboolean
4955 mono_arch_print_tree (MonoInst *tree, int arity)
4956 {
4957         gboolean done;
4958
4959         switch (tree->opcode) {
4960                 case OP_S390_LOADARG:
4961                 case OP_S390_ARGREG:
4962                 case OP_S390_ARGPTR:
4963                         printf ("[0x%lx(%s)]", tree->inst_offset, 
4964                                 mono_arch_regname (tree->inst_basereg));
4965                         done = 1;
4966                         break;
4967                 case OP_S390_STKARG:
4968                         printf ("[0x%lx(previous_frame)]", 
4969                                 tree->inst_offset); 
4970                         done = 1;
4971                         break;
4972                 case OP_S390_MOVE:
4973                         printf ("[0x%lx(%d,%s),0x%lx(%s)]",
4974                                 tree->inst_offset, tree->backend.size,
4975                                 mono_arch_regname(tree->dreg), 
4976                                 tree->inst_imm, 
4977                                 mono_arch_regname(tree->sreg1));
4978                         done = 1;
4979                         break;
4980                 case OP_S390_SETF4RET:
4981                         printf ("[f%s,f%s]", 
4982                                 mono_arch_regname (tree->dreg),
4983                                 mono_arch_regname (tree->sreg1));
4984                         done = 1;
4985                         break;
4986                 case OP_TLS_GET:
4987                         printf ("[0x%lx(0x%lx,%s)]", tree->inst_offset,
4988                                 tree->inst_imm,
4989                                 mono_arch_regname (tree->sreg1));
4990                         done = 1;
4991                         break;
4992                 case OP_S390_BKCHAIN:
4993                         printf ("[previous_frame(%s)]", 
4994                                 mono_arch_regname (tree->sreg1));
4995                         done = 1;
4996                 default:
4997                         done = 0;
4998         }
4999         return (done);
5000 }
5001
5002 /*========================= End of Function ========================*/
5003
5004 /*------------------------------------------------------------------*/
5005 /*                                                                  */
5006 /* Name         - mono_arch_regalloc_cost                           */
5007 /*                                                                  */
5008 /* Function     - Determine the cost, in the number of memory       */
5009 /*                references, of the action of allocating the var-  */
5010 /*                iable VMV into a register during global register  */
5011 /*                allocation.                                       */
5012 /*                                                                  */
5013 /* Returns      - Cost                                              */
5014 /*                                                                  */
5015 /*------------------------------------------------------------------*/
5016
5017 guint32
5018 mono_arch_regalloc_cost (MonoCompile *cfg, MonoMethodVar *vmv)
5019 {
5020         /* FIXME: */
5021         return 2;
5022 }
5023
5024 /*========================= End of Function ========================*/
5025
5026 /*------------------------------------------------------------------*/
5027 /*                                                                  */
5028 /* Name         - mono_arch_get_domain_intrinsic                    */
5029 /*                                                                  */
5030 /* Function     -                                                   */
5031 /*                                                                  */
5032 /* Returns      -                                                   */
5033 /*                                                                  */
5034 /*------------------------------------------------------------------*/
5035
5036 MonoInst * 
5037 mono_arch_get_domain_intrinsic (MonoCompile* cfg)
5038 {
5039         MonoInst *ins;
5040
5041         if (appdomain_tls_offset == -1)
5042                 return NULL;
5043         
5044         MONO_INST_NEW (cfg, ins, OP_TLS_GET);
5045         ins->inst_offset = appdomain_tls_offset;
5046         return (ins);
5047 }
5048
5049 /*========================= End of Function ========================*/
5050
5051 /*------------------------------------------------------------------*/
5052 /*                                                                  */
5053 /* Name         - mono_arch_get_thread_intrinsic                    */
5054 /*                                                                  */
5055 /* Function     -                                                   */
5056 /*                                                                  */
5057 /* Returns      -                                                   */
5058 /*                                                                  */
5059 /*------------------------------------------------------------------*/
5060
5061 MonoInst * 
5062 mono_arch_get_thread_intrinsic (MonoCompile* cfg)
5063 {
5064         MonoInst *ins;
5065
5066         if (thread_tls_offset == -1)
5067                 return NULL;
5068         
5069         MONO_INST_NEW (cfg, ins, OP_TLS_GET);
5070         ins->inst_offset = thread_tls_offset;
5071         return (ins);
5072 }
5073
5074 /*========================= End of Function ========================*/
5075
5076 /*------------------------------------------------------------------*/
5077 /*                                                                  */
5078 /* Name         - mono_arch_flush_register_windows                  */
5079 /*                                                                  */
5080 /* Function     -                                                   */
5081 /*                                                                  */
5082 /* Returns      -                                                   */
5083 /*                                                                  */
5084 /*------------------------------------------------------------------*/
5085
5086 void 
5087 mono_arch_flush_register_windows (void)
5088 {
5089 }
5090
5091 /*========================= End of Function ========================*/
5092
5093 /*------------------------------------------------------------------*/
5094 /*                                                                  */
5095 /* Name         - mono_arch_get_lmf_addr                            */
5096 /*                                                                  */
5097 /* Function     -                                                   */
5098 /*                                                                  */
5099 /* Returns      -                                                   */
5100 /*                                                                  */
5101 /*------------------------------------------------------------------*/
5102
5103 gpointer
5104 mono_arch_get_lmf_addr (void)
5105 {
5106         return pthread_getspecific (lmf_addr_key);
5107 }
5108
5109 /*========================= End of Function ========================*/
5110
5111 /*------------------------------------------------------------------*/
5112 /*                                                                  */
5113 /* Name         - mono_arch_is_inst_imm                             */
5114 /*                                                                  */
5115 /* Function     - Determine if operand qualifies as an immediate    */
5116 /*                value. For s390 this is a value -32768-32768      */
5117 /*                                                                  */
5118 /* Returns      - True|False - is [not] immediate value.            */
5119 /*                                                                  */
5120 /*------------------------------------------------------------------*/
5121
5122 gboolean 
5123 mono_arch_is_inst_imm (gint64 imm)
5124 {
5125         return s390_is_imm16 (imm);
5126 }
5127
5128 /*========================= End of Function ========================*/
5129
5130 /*------------------------------------------------------------------*/
5131 /*                                                                  */
5132 /* Name         - opcode_to_cond                                    */
5133 /*                                                                  */
5134 /* Function     - Simplify the branch on condition opcode from      */
5135 /*                more than 20 to just a handful for easy manipu-   */
5136 /*                lation within the instruction emitting code.      */
5137 /*                                                                  */
5138 /* Returns      - CMP_xxx - this simplified condition type.         */
5139 /*                                                                  */
5140 /*------------------------------------------------------------------*/
5141
5142 static CompRelation
5143 opcode_to_cond (int opcode)
5144 {
5145         switch (opcode) {
5146         case CEE_BEQ:
5147         case OP_CEQ:
5148         case OP_IBEQ:
5149         case OP_ICEQ:
5150         case OP_FBEQ:
5151         case OP_FCEQ:
5152         case OP_COND_EXC_EQ:
5153                 return CMP_EQ;
5154         case CEE_BNE_UN:
5155         case OP_COND_EXC_NE_UN:
5156         case OP_IBNE_UN:
5157         case OP_FBNE_UN:
5158                 return CMP_NE;
5159         case CEE_BLE:
5160         case OP_IBLE:
5161         case OP_FBLE:
5162                 return CMP_LE;
5163         case CEE_BGE:
5164         case OP_IBGE:
5165         case OP_FBGE:
5166                 return CMP_GE;
5167         case CEE_BLT:
5168         case OP_COND_EXC_LT:
5169         case OP_CLT:
5170         case OP_IBLT:
5171         case OP_ICLT:
5172         case OP_FBLT:
5173         case OP_FCLT:
5174                 return CMP_LT;
5175         case CEE_BGT:
5176         case OP_COND_EXC_GT:
5177         case OP_CGT:
5178         case OP_IBGT:
5179         case OP_ICGT:
5180         case OP_FBGT:
5181         case OP_FCGT:
5182                 return CMP_GT;
5183
5184         case CEE_BLE_UN:
5185         case OP_COND_EXC_LE_UN:
5186         case OP_IBLE_UN:
5187         case OP_FBLE_UN:
5188                 return CMP_LE_UN;
5189         case CEE_BGE_UN:
5190         case OP_IBGE_UN:
5191         case OP_FBGE_UN:
5192                 return CMP_GE_UN;
5193         case CEE_BLT_UN:
5194         case OP_CLT_UN:
5195         case OP_IBLT_UN:
5196         case OP_ICLT_UN:
5197         case OP_FBLT_UN:
5198         case OP_FCLT_UN:
5199         case OP_COND_EXC_LT_UN:
5200                 return CMP_LT_UN;
5201         case CEE_BGT_UN:
5202         case OP_COND_EXC_GT_UN:
5203         case OP_CGT_UN:
5204         case OP_IBGT_UN:
5205         case OP_ICGT_UN:
5206         case OP_FCGT_UN:
5207         case OP_FBGT_UN:
5208                 return CMP_GT_UN;
5209         default:
5210                 printf ("%s\n", mono_inst_name (opcode));
5211                 g_error("Not implemented\n");
5212         }
5213         return CMP_EQ;
5214 }
5215
5216 /*========================= End of Function ========================*/
5217
5218 /*------------------------------------------------------------------*/
5219 /*                                                                  */
5220 /* Name         - mono_arch_get_patch_offset                        */
5221 /*                                                                  */
5222 /* Function     - Dummy entry point until s390x supports aot.       */
5223 /*                                                                  */
5224 /* Returns      - Offset for patch.                                 */
5225 /*                                                                  */
5226 /*------------------------------------------------------------------*/
5227
5228 guint32
5229 mono_arch_get_patch_offset (guint8 *code)
5230 {
5231         return 0;
5232 }
5233
5234 /*========================= End of Function ========================*/