4cb636ade6e37b01ee48126ffdbeee44ed49c768
[mono.git] / mono / mini / cpu-s390x.md
1 # S/390 cpu description file
2 # this file is read by genmdesc to pruduce a table with all the relevant information
3 # about the cpu instructions that may be used by the regsiter allocator, the scheduler
4 # and other parts of the arch-dependent part of mini.
5 #
6 # An opcode name is followed by a colon and optional specifiers.
7 # A specifier has a name, a colon and a value. Specifiers are separated by white space.
8 # Here is a description of the specifiers valid for this file and their possible values.
9 #
10 # dest:register       describes the destination register of an instruction
11 # src1:register       describes the first source register of an instruction
12 # src2:register       describes the second source register of an instruction
13 #
14 # register may have the following values:
15 #       i  integer register
16 #       a  r3 register (output from calls)
17 #       b  base register (used in address references)
18 #       f  floating point register
19 #
20 # len:number         describe the maximun length in bytes of the instruction
21 # number is a positive integer
22 #
23 # cost:number        describe how many cycles are needed to complete the instruction (unused)
24 #
25 # clob:spec          describe if the instruction clobbers registers or has special needs
26 #
27 # spec can be one of the following characters:
28 #       c  clobbers caller-save registers
29 #       r  'reserves' the destination register until a later instruction unreserves it
30 #          used mostly to set output registers in function calls
31 #
32 # flags:spec        describe if the instruction uses or sets the flags (unused)
33 #
34 # spec can be one of the following chars:
35 #       s  sets the flags
36 #       u  uses the flags
37 #       m  uses and modifies the flags
38 #
39 # res:spec          describe what units are used in the processor (unused)
40 #
41 # delay:            describe delay slots (unused)
42 #
43 # the required specifiers are: len, clob (if registers are clobbered), the registers
44 # specifiers if the registers are actually used, flags (when scheduling is implemented).
45 #
46 # See the code in mini-x86.c for more details on how the specifiers are used.
47 #
48
49 adc: dest:i src1:i src2:i len:6
50 adc_imm: dest:i src1:i len:14
51 add.ovf.un: len: 8 dest:i src1:i src2:i
52 add.ovf: len: 24 dest:i src1:i src2:i
53 add: dest:i src1:i src2:i len:6 clob:1
54 add_imm: dest:i src1:i len:18
55 add_ovf_carry: dest:i src1:1 src2:i len:28
56 add_ovf_un_carry: dest:i src1:1 src2:i len:12
57 addcc: dest:i src1:i src2:i len:6
58 and: dest:i src1:i src2:i len:6 clob:1
59 and_imm: dest:i src1:i len:20
60 aot_const: dest:i len:8
61 arg:
62 arglist:
63 beq.s:
64 beq: len:8
65 bge.s:
66 bge.un.s:
67 bge.un: len:8
68 bge: len:8
69 bgt.s:
70 bgt.un.s:
71 bgt.un: len:8
72 bgt: len:8
73 ble.s:
74 ble.un.s:
75 ble.un: len:8
76 ble: len:8
77 blt.s:
78 blt.un.s:
79 blt.un: len:8
80 blt: len:8
81 bne.un.s:
82 bne.un: len:8
83 box:
84 br.s:
85 br: len:6
86 br_reg: src1:i len:8
87 break: len:4
88 brfalse.s:
89 brfalse:
90 brtrue.s:
91 brtrue:
92 call: dest:a clob:c len:26
93 call_handler: len:12
94 call_membase: dest:a src1:b len:12 clob:c
95 call_reg: dest:a src1:i len:8 clob:c
96 calli:
97 callvirt:
98 castclass:
99 ceq: dest:i len:12
100 cgt.un: dest:i len:12
101 cgt: dest:i len:12
102 checkthis: src1:b len:10
103 ckfinite: dest:f src1:f len:22
104 clt.un: dest:i len:12
105 clt: dest:i len:12
106 compare: src1:i src2:i len:4
107 compare_imm: src1:i len:14
108 cond_exc_c: len:8
109 cond_exc_eq: len:8
110 cond_exc_ge: len:8
111 cond_exc_ge_un: len:8
112 cond_exc_gt: len:8
113 cond_exc_gt_un: len:8
114 cond_exc_le: len:8
115 cond_exc_le_un: len:8
116 cond_exc_lt: len:8
117 cond_exc_lt_un: len:8
118 cond_exc_nc: len:8
119 cond_exc_ne_un: len:8
120 cond_exc_no: len:8
121 cond_exc_ov: len:8
122 conv.i1: dest:i src1:i len:26
123 conv.i2: dest:i src1:i len:32
124 conv.i4: dest:i src1:i len:4
125 conv.i8: dest:i src1:i len:4
126 conv.i: dest:i src1:i len:2
127 conv.ovf.i.un:
128 conv.ovf.i1.un:
129 conv.ovf.i1:
130 conv.ovf.i2.un:
131 conv.ovf.i2:
132 conv.ovf.i4.un:
133 conv.ovf.i4:
134 conv.ovf.i8.un:
135 conv.ovf.i8:
136 conv.ovf.i:
137 conv.ovf.u.un:
138 conv.ovf.u1.un:
139 conv.ovf.u1:
140 conv.ovf.u2.un:
141 conv.ovf.u2:
142 conv.ovf.u4.un:
143 conv.ovf.u4:
144 conv.ovf.u8.un:
145 conv.ovf.u8:
146 conv.ovf.u:
147 conv.r.un: dest:f src1:i len:30
148 conv.r4: dest:f src1:i len:4
149 conv.r8: dest:f src1:i len:4
150 conv.u1: dest:i src1:i len:8
151 conv.u2: dest:i src1:i len:14
152 conv.u4: dest:i src1:i
153 conv.u8:
154 conv.u: dest:i src1:i len:4
155 cpblk:
156 cpobj:
157 div.un: dest:a src1:i src2:i len:12 clob:d
158 div: dest:a src1:i src2:i len:10 clob:d
159 div_imm: dest:i src1:i src2:i len:24
160 div_un_imm: dest:i src1:i src2:i len:24
161 dup:
162 endfilter: len:20
163 endfinally: len: 20
164 endmac:
165 fcall: dest:f len:26 clob:c
166 fcall_membase: dest:f src1:b len:14 clob:c
167 fcall_reg: dest:f src1:i len:10 clob:c
168 fcompare: src1:f src2:f len:14
169 float_add: dest:f src1:f src2:f len:6
170 float_add_ovf:
171 float_add_ovf_un:
172 float_beq: len:8
173 float_bge: len:8
174 float_bge_un: len:8
175 float_bgt: len:8
176 float_ble: len:8
177 float_ble_un: len:8
178 float_blt: len:8
179 float_blt_un: len:8
180 float_bne_un: len:8
181 float_btg_un: len:8
182 float_ceq: dest:i src1:f src2:f len:16
183 float_cgt: dest:i src1:f src2:f len:16
184 float_cgt_un: dest:i src1:f src2:f len:16
185 float_clt: dest:i src1:f src2:f len:16
186 float_clt_un: dest:i src1:f src2:f len:16
187 float_conv_to_i1: dest:i src1:f len:50
188 float_conv_to_i2: dest:i src1:f len:50
189 float_conv_to_i4: dest:i src1:f len:50
190 float_conv_to_i8: dest:l src1:f len:50
191 float_conv_to_i: dest:i src1:f len:52
192 float_conv_to_ovd_u:
193 float_conv_to_ovf_i1:
194 float_conv_to_ovf_i1_un:
195 float_conv_to_ovf_i2:
196 float_conv_to_ovf_i2_un:
197 float_conv_to_ovf_i4:
198 float_conv_to_ovf_i4_un:
199 float_conv_to_ovf_i8:
200 float_conv_to_ovf_i8_un:
201 float_conv_to_ovf_i:
202 float_conv_to_ovf_i_un:
203 float_conv_to_ovf_u1:
204 float_conv_to_ovf_u1_un:
205 float_conv_to_ovf_u2:
206 float_conv_to_ovf_u2_un:
207 float_conv_to_ovf_u4:
208 float_conv_to_ovf_u4_un:
209 float_conv_to_ovf_u8:
210 float_conv_to_ovf_u8_un:
211 float_conv_to_ovf_u_un:
212 float_conv_to_r4: dest:f src1:f len:4
213 float_conv_to_r8:
214 float_conv_to_u1: dest:i src1:f len:66
215 float_conv_to_u2: dest:i src1:f len:66
216 float_conv_to_u4: dest:i src1:f len:66
217 float_conv_to_u8: dest:l src1:f len:66
218 float_conv_to_u: dest:i src1:f len:36
219 float_div: dest:f src1:f src2:f len:6
220 float_div_un: dest:f src1:f src2:f len:6
221 float_mul: dest:f src1:f src2:f len:6
222 float_mul_ovf:
223 float_mul_ovf_un:
224 float_neg: dest:f src1:f len:6
225 float_not: dest:f src1:f len:6
226 float_rem: dest:f src1:f src2:f len:16
227 float_rem_un: dest:f src1:f src2:f len:16
228 float_sub: dest:f src1:f src2:f len:6
229 float_sub_ovf:
230 float_sub_ovf_un:
231 fmove: dest:f src1:f len:4
232 i8const: dest:i len:20
233 icompare: src1:i src2:i len:4
234 icompare_imm: src1:i src2:i len:14
235 iconst: dest:i len:20
236 illegal:
237 initblk:
238 initobj:
239 int_adc: dest:i src1:i src2:i clob:1 len:6
240 int_adc_imm: dest:i src1:i clob:1 len:14
241 int_addcc: dest:i src1:i src2:i clob:1 len:6
242 int_add: dest:i src1:i src2:i clob:1 len:4
243 int_add_imm: dest:i src1:i clob:1 len:18
244 int_and: dest:i src1:i src2:i clob:1 len:6
245 int_and_imm: dest:i src1:i clob:1 len:16
246 int_beq: len:8
247 int_bge: len:8
248 int_bge_un: len:8
249 int_bgt: len:8
250 int_bgt_un: len:8
251 int_ble: len:8
252 int_ble_un: len:8
253 int_blt: len:8
254 int_blt_un: len:8
255 int_bne_un: len:8
256 int_ceq: dest:i len:12
257 int_cgt: dest:i len:12
258 int_cgt_un: dest:i len:12
259 int_clt: dest:i len:12
260 int_clt_un: dest:i len:12
261 int_div: dest:a src1:i src2:i clob:d len:10
262 int_div_imm: dest:a src1:i clob:d len:24
263 int_div_un: dest:a src1:i src2:i clob:d len:12
264 int_div_un_imm: dest:a src1:i clob:d len:24
265 int_mul: dest:i src1:i src2:i clob:1 len:4
266 int_mul_imm: dest:i src1:i clob:1 len:18
267 int_mul_ovf: dest:i src1:i src2:i clob:1 len:42
268 int_mul_ovf_un: dest:i src1:i src2:i clob:1 len:20
269 int_neg: dest:i src1:i clob:1 len:4
270 int_not: dest:i src1:i clob:1 len:8
271 int_or: dest:i src1:i src2:i clob:1 len:4
272 int_or_imm: dest:i src1:i clob:1 len:16
273 int_rem: dest:d src1:i src2:i clob:d len:10
274 int_rem_imm: dest:d src1:i clob:d len:24
275 int_rem_un: dest:d src1:i src2:i clob:d len:12
276 int_rem_un_imm: dest:d src1:i clob:d len:24
277 int_sbb: dest:i src1:i src2:i clob:1 len:6
278 int_sbb_imm: dest:i src1:i clob:1 len:14
279 int_shl: dest:i src1:i src2:i clob:s len:6
280 int_shl_imm: dest:i src1:i clob:1 len:8
281 int_shr: dest:i src1:i src2:i clob:s len:6
282 int_shr_imm: dest:i src1:i clob:1 len:8
283 int_shr_un: dest:i src1:i src2:i clob:s len:6
284 int_shr_un_imm: dest:i src1:i clob:1 len:8
285 int_subcc: dest:i src1:i src2:i clob:1 len:6
286 int_sub: dest:i src1:i src2:i clob:1 len:4
287 int_sub_imm: dest:i src1:i clob:1 len:18
288 int_xor: dest:i src1:i src2:i clob:1 len:4
289 int_xor_imm: dest:i src1:i clob:1 len:16
290 isinst:
291 jmp: len:40
292 label:
293 lcall: dest:l len:22 clob:c
294 lcall_membase: dest:l src1:b len:12 clob:c
295 lcall_reg: dest:l src1:i len:8 clob:c
296 lcompare: src1:i src2:i len:4
297 ldaddr:
298 ldarg.0:
299 ldarg.1:
300 ldarg.2:
301 ldarg.3:
302 ldarg.s:
303 ldarg:
304 ldarga.s:
305 ldarga:
306 ldc.i4.0:
307 ldc.i4.1:
308 ldc.i4.2:
309 ldc.i4.3:
310 ldc.i4.4:
311 ldc.i4.5:
312 ldc.i4.6:
313 ldc.i4.7:
314 ldc.i4.8:
315 ldc.i4.m1:
316 ldc.i4.s:
317 ldc.i4:
318 ldc.i8:
319 ldc.r4:
320 ldc.r8:
321 ldelem.i1:
322 ldelem.i2:
323 ldelem.i4:
324 ldelem.i8:
325 ldelem.i:
326 ldelem.r4:
327 ldelem.r8:
328 ldelem.ref:
329 ldelem.u1:
330 ldelem.u2:
331 ldelem.u4:
332 ldelema:
333 ldfld:
334 ldflda:
335 ldftn:
336 ldind.i1: dest:i len:8
337 ldind.i2: dest:i len:8
338 ldind.i4: dest:i len:8
339 ldind.i8:
340 ldind.i: dest:i len:8
341 ldind.r4:
342 ldind.r8:
343 ldind.ref: dest:i len:8
344 ldind.u1: dest:i len:8
345 ldind.u2: dest:i len:8
346 ldind.u4: dest:i len:8
347 ldlen:
348 ldloc.0:
349 ldloc.1:
350 ldloc.2:
351 ldloc.3:
352 ldloc.s:
353 ldloc:
354 ldloca.s:
355 ldloca:
356 ldnull:
357 ldobj:
358 ldsfld:
359 ldsflda:
360 ldstr:
361 ldtoken:
362 ldvirtftn:
363 leave.s:
364 leave:
365 load:
366 load_membase: dest:i src1:b len:26
367 loadi1_membase: dest:i src1:b len:40
368 loadi2_membase: dest:i src1:b len:24
369 loadi4_membase: dest:i src1:b len:26
370 loadi8_membase: dest:i src1:b len:26
371 loadr4_membase: dest:f src1:b len:20
372 loadr8_membase: dest:f src1:b len:26
373 loadu1_membase: dest:i src1:b len:26
374 loadu2_membase: dest:i src1:b len:26
375 loadu4_mem: dest:i len:8
376 loadu4_membase: dest:i src1:b len:18
377 local:
378 localloc: dest:i src1:i len:40
379 long_add:
380 long_add_imm:
381 long_add_ovf:
382 long_add_ovf_un:
383 long_and:
384 long_beq:
385 long_bge:
386 long_bge_un:
387 long_bgt:
388 long_ble:
389 long_ble_un:
390 long_blt:
391 long_blt_un:
392 long_bne_un:
393 long_btg_un:
394 long_ceq:
395 long_cgt:
396 long_cgt_un:
397 long_clt:
398 long_clt_un:
399 long_conv_to_i1:
400 long_conv_to_i2:
401 long_conv_to_i4:
402 long_conv_to_i8:
403 long_conv_to_i:
404 long_conv_to_ovf_i1:
405 long_conv_to_ovf_i1_un:
406 long_conv_to_ovf_i2:
407 long_conv_to_ovf_i2_un:
408 long_conv_to_ovf_i4:
409 long_conv_to_ovf_i4_un:
410 long_conv_to_ovf_i8:
411 long_conv_to_ovf_i8_un:
412 long_conv_to_ovf_i: dest:i src1:i src2:i len:44
413 long_conv_to_ovf_i_un:
414 long_conv_to_ovf_u1:
415 long_conv_to_ovf_u1_un:
416 long_conv_to_ovf_u2:
417 long_conv_to_ovf_u2_un:
418 long_conv_to_ovf_u4:
419 long_conv_to_ovf_u4_un:
420 long_conv_to_ovf_u8:
421 long_conv_to_ovf_u8_un:
422 long_conv_to_ovf_u:
423 long_conv_to_ovf_u_un:
424 long_conv_to_r4:
425 long_conv_to_r8:
426 long_conv_to_r_un: dest:f src1:i src2:i len:37 
427 long_conv_to_u1:
428 long_conv_to_u2:
429 long_conv_to_u4:
430 long_conv_to_u8:
431 long_conv_to_u:
432 long_div:
433 long_div_un:
434 long_mul:
435 long_mul_ovf: len: 18
436 long_mul_ovf_un: len: 18 
437 long_neg:
438 long_not:
439 long_or:
440 long_rem:
441 long_rem_un:
442 long_shl: dest:i src1:i src2:i clob:s len:6
443 long_shl_imm: dest:i src1:i len:8
444 long_shr_un: dest:i src1:i src2:i clob:s len:6
445 long_shr: dest:i src1:i src2:i clob:s len:6
446 long_shr_imm: dest:i src1:i len:8
447 long_shr_un_imm: dest:i src1:i len:8
448 long_sub:
449 long_sub_imm:
450 long_sub_ovf:
451 long_sub_ovf_un:
452 long_xor:
453 mkrefany:
454 mono_ldptr:
455 mono_newobj:
456 mono_objaddr:
457 mono_retobj:
458 mono_vtaddr:
459 move: dest:i src1:i len:4
460 mul.ovf.un: dest:i src1:i src2:i len:20 clob:1
461 mul.ovf: dest:i src1:i src2:i len:42 clob:1
462 mul: dest:i src1:i src2:i len:6 clob:1
463 mul_imm: dest:i src1:i len:18
464 neg: dest:i src1:i len:6 clob:1
465 newarr:
466 newobj:
467 nop: len:4
468 not: dest:i src1:i len:8 clob:1
469 op_bigmul: len:2 dest:l src1:a src2:i
470 op_bigmul_un: len:2 dest:l src1:a src2:i
471 op_endfilter: src1:i len:12
472 or: dest:i src1:i src2:i len:6 clob:1
473 or_imm: dest:i src1:i len:16
474 outarg: src1:i len:1
475 outarg_imm: len:5
476 phi:
477 pop:
478 prefix1:
479 prefix2:
480 prefix3:
481 prefix4:
482 prefix5:
483 prefix6:
484 prefix7:
485 prefixref:
486 r4const: dest:f len:26
487 r8const: dest:f len:24
488 refanytype:
489 refanyval:
490 reg:
491 regoffset:
492 regvar:
493 rem.un: dest:d src1:i src2:i len:12 clob:d
494 rem: dest:d src1:i src2:i len:10 clob:d
495 rem_imm: dest:i src1:i src2:i len:24
496 rem_un_imm: dest:i src1:i src2:i len:24
497 rename:
498 ret:
499 retarg:
500 rethrow:
501 s390_move: len:48 dest:b src1:b
502 s390_setf4ret: dest:f src1:f len:4 clob:r
503 sbb: dest:i src1:i src2:i len:6
504 sbb_imm: dest:i src1:i len:14
505 setfreg: dest:f src1:f len:4 clob:r
506 setreg: dest:i src1:i len:4 clob:r
507 setregimm: dest:i len:20 clob:r
508 setret: dest:a src1:i len:4
509 shl: dest:i src1:i src2:i clob:s len:6
510 shl_imm: dest:i src1:i len:8
511 shr.un: dest:i src1:i src2:i clob:s len:6
512 shr: dest:i src1:i src2:i clob:s len:6
513 shr_imm: dest:i src1:i len:8
514 shr_un_imm: dest:i src1:i len:8
515 sizeof:
516 sqrt: dest:f src1:f len:4
517 starg.s:
518 starg:
519 start_handler: len:18
520 stelem.i1:
521 stelem.i2:
522 stelem.i4:
523 stelem.i8:
524 stelem.i:
525 stelem.r4:
526 stelem.r8:
527 stelem.ref:
528 stfld:
529 stind.i1: src1:b src2:i
530 stind.i2: src1:b src2:i
531 stind.i4: src1:b src2:i
532 stind.i8:
533 stind.i:
534 stind.r4: src1:b src2:f
535 stind.r8: src1:b src2:f
536 stind.ref: src1:b src2:i
537 stloc.0:
538 stloc.1:
539 stloc.2:
540 stloc.3:
541 stloc.s:
542 stloc:
543 stobj:
544 store:
545 store_membase_imm: dest:b len:32
546 store_membase_reg: dest:b src1:i len:18
547 storei1_membase_imm: dest:b len:32
548 storei1_membase_reg: dest:b src1:i len:18
549 storei2_membase_imm: dest:b len:32
550 storei2_membase_reg: dest:b src1:i len:18
551 storei4_membase_imm: dest:b len:32
552 storei4_membase_reg: dest:b src1:i len:18
553 storei8_membase_imm: dest:b len:38
554 storei8_membase_reg: dest:b src1:i len:26 
555 storer4_membase_reg: dest:b src1:f len:22
556 storer8_membase_reg: dest:b src1:f len:22
557 stsfld:
558 sub.ovf.un: len:10 dest:i src1:i src2:i 
559 sub.ovf: len:24 dest:i src1:i src2:i
560 sub: dest:i src1:i src2:i len:6 clob:1
561 sub_imm: dest:i src1:i len:18
562 sub_ovf_carry: dest:i src1:1 src2:i len:28
563 sub_ovf_un_carry: dest:i src1:1 src2:i len:12
564 subcc: dest:i src1:i src2:i len:6
565 switch:
566 tail.:
567 throw: src1:i len:26
568 trap:
569 unaligned.:
570 unbox:
571 vcall: len:22 clob:c
572 vcall_membase: src1:b len:12 clob:c
573 vcall_reg: src1:i len:8 clob:c
574 voidcall: len:22 clob:c
575 voidcall_membase: src1:b len:12 clob:c
576 voidcall_reg: src1:i len:8 clob:c
577 volatile.:
578 xor: dest:i src1:i src2:i len:6 clob:1
579 xor_imm: dest:i src1:i len:16