2008-01-25 Zoltan Varga <vargaz@gmail.com>
[mono.git] / mono / mini / cpu-s390.md
1 # S/390 64-bit 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:18
51 add.ovf.un: len: 10 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
54 add_imm: dest:i src1:i len:18
55 addcc_imm: dest:i src1:i len:18
56 add_ovf_carry: dest:i src1:1 src2:i len:28
57 add_ovf_un_carry: dest:i src1:1 src2:i len:28
58 addcc: dest:i src1:i src2:i len:6
59 and: dest:i src1:i src2:i len:6
60 and_imm: dest:i src1:i len:16
61 aot_const: dest:i len:8
62 arg:
63 arglist:
64 atomic_add_i4: src1:b src2:i dest:i len:20
65 atomic_exchange_i4: src1:b src2:i dest:i len:20
66 atomic_add_new_i4: src1:b src2:i dest:i len:24
67 beq.s:
68 beq: len:8
69 bge.s:
70 bge.un.s:
71 bge.un: len:8
72 bge: len:8
73 bgt.s:
74 bgt.un.s:
75 bgt.un: len:8
76 bgt: len:8
77 ble.s:
78 ble.un.s:
79 ble.un: len:8
80 ble: len:8
81 blt.s:
82 blt.un.s:
83 blt.un: len:8
84 blt: len:8
85 bne.un.s:
86 bne.un: len:8
87 box:
88 br.s:
89 br: len:6
90 br_reg: src1:i len:8
91 break: len:6
92 brfalse.s:
93 brfalse:
94 brtrue.s:
95 brtrue:
96 call: dest:o len:6 clob:c
97 call_handler: len:12
98 call_membase: dest:o src1:b len:12 clob:c
99 call_reg: dest:o src1:i len:8 clob:c
100 calli:
101 callvirt:
102 castclass:
103 ceq: dest:i len:12
104 cgt.un: dest:i len:12
105 cgt: dest:i len:12
106 checkthis: src1:b len:4
107 ckfinite: dest:f src1:f len:22
108 clt.un: dest:i len:12
109 clt: dest:i len:12
110 compare: src1:i src2:i len:4
111 compare_imm: src1:i len:14
112 cond_exc_c: len:8
113 cond_exc_eq: len:8
114 cond_exc_ge: len:8
115 cond_exc_ge_un: len:8
116 cond_exc_gt: len:8
117 cond_exc_gt_un: len:8
118 cond_exc_le: len:8
119 cond_exc_le_un: len:8
120 cond_exc_lt: len:8
121 cond_exc_lt_un: len:8
122 cond_exc_nc: len:8
123 cond_exc_ne_un: len:8
124 cond_exc_no: len:8
125 cond_exc_ov: len:8
126 conv.i1: dest:i src1:i len:26
127 conv.i2: dest:i src1:i len:26
128 conv.i4: dest:i src1:i len:2
129 conv.i8:
130 conv.i: dest:i src1:i len:2
131 conv.ovf.i.un:
132 conv.ovf.i1.un:
133 conv.ovf.i1:
134 conv.ovf.i2.un:
135 conv.ovf.i2:
136 conv.ovf.i4.un:
137 conv.ovf.i4:
138 conv.ovf.i8.un:
139 conv.ovf.i8:
140 conv.ovf.i:
141 conv.ovf.u.un:
142 conv.ovf.u1.un:
143 conv.ovf.u1:
144 conv.ovf.u2.un:
145 conv.ovf.u2:
146 conv.ovf.u4.un:
147 conv.ovf.u4:
148 conv.ovf.u8.un:
149 conv.ovf.u8:
150 conv.ovf.u:
151 conv.r.un: dest:f src1:i len:30
152 conv.r4: dest:f src1:i len:4
153 conv.r8: dest:f src1:i len:4
154 conv.u1: dest:i src1:i len:8
155 conv.u2: dest:i src1:i len:16
156 conv.u4: dest:i src1:i
157 conv.u8:
158 conv.u: dest:i src1:i len:4
159 cpblk:
160 cpobj:
161 div.un: dest:a src1:i src2:i len:12 
162 div: dest:a src1:i src2:i len:10
163 div_imm: dest:i src1:i src2:i len:24
164 div_un_imm: dest:i src1:i src2:i len:24
165 dup:
166 endfinally: len: 20
167 endmac:
168 fcall: dest:g len:10 clob:c
169 fcall_membase: dest:g src1:b len:14 clob:c
170 fcall_reg: dest:g src1:i len:10 clob:c
171 fcompare: src1:f src2:f len:14
172 float_add: dest:f src1:f src2:f len:6
173 float_add_ovf:
174 float_add_ovf_un:
175 float_beq: len:10
176 float_bge: len:10
177 float_bge_un: len:8
178 float_bgt: len:10
179 float_ble: len:10
180 float_ble_un: len:8
181 float_blt: len:10
182 float_blt_un: len:8
183 float_bne_un: len:8
184 float_btg_un: len:8
185 float_ceq: dest:i src1:f src2:f len:16
186 float_cgt: dest:i src1:f src2:f len:16
187 float_cgt_un: dest:i src1:f src2:f len:16
188 float_clt: dest:i src1:f src2:f len:16
189 float_clt_un: dest:i src1:f src2:f len:16
190 float_conv_to_i1: dest:i src1:f len:50
191 float_conv_to_i2: dest:i src1:f len:50
192 float_conv_to_i4: dest:i src1:f len:50
193 float_conv_to_i8: dest:l src1:f len:50
194 float_conv_to_i: dest:i src1:f len:52
195 float_conv_to_ovd_u:
196 float_conv_to_ovf_i1:
197 float_conv_to_ovf_i1_un:
198 float_conv_to_ovf_i2:
199 float_conv_to_ovf_i2_un:
200 float_conv_to_ovf_i4:
201 float_conv_to_ovf_i4_un:
202 float_conv_to_ovf_i8:
203 float_conv_to_ovf_i8_un:
204 float_conv_to_ovf_i:
205 float_conv_to_ovf_i_un:
206 float_conv_to_ovf_u1:
207 float_conv_to_ovf_u1_un:
208 float_conv_to_ovf_u2:
209 float_conv_to_ovf_u2_un:
210 float_conv_to_ovf_u4:
211 float_conv_to_ovf_u4_un:
212 float_conv_to_ovf_u8:
213 float_conv_to_ovf_u8_un:
214 float_conv_to_ovf_u_un:
215 float_conv_to_r4: dest:f src1:f len:4
216 float_conv_to_r8:
217 float_conv_to_u1: dest:i src1:f len:62
218 float_conv_to_u2: dest:i src1:f len:62
219 float_conv_to_u4: dest:i src1:f len:62
220 float_conv_to_u8: dest:l src1:f len:62
221 float_conv_to_u: dest:i src1:f len:36
222 float_div: dest:f src1:f src2:f len:6
223 float_div_un: dest:f src1:f src2:f len:6
224 float_mul: dest:f src1:f src2:f len:6
225 float_mul_ovf:
226 float_mul_ovf_un:
227 float_neg: dest:f src1:f len:6
228 float_not: dest:f src1:f len:6
229 float_rem: dest:f src1:f src2:f len:16
230 float_rem_un: dest:f src1:f src2:f len:16
231 float_sub: dest:f src1:f src2:f len:6
232 float_sub_ovf:
233 float_sub_ovf_un:
234 fmove: dest:f src1:f len:4
235 i8const:
236 iconst: dest:i len:16
237 illegal:
238 initblk:
239 initobj:
240 isinst:
241 jmp: len:56
242 label:
243 lcall: dest:L len:8 clob:c
244 lcall_membase: dest:L src1:b len:12 clob:c
245 lcall_reg: dest:L src1:i len:8 clob:c
246 lcompare:
247 ldaddr:
248 ldarg.0:
249 ldarg.1:
250 ldarg.2:
251 ldarg.3:
252 ldarg.s:
253 ldarg:
254 ldarga.s:
255 ldarga:
256 ldc.i4.0:
257 ldc.i4.1:
258 ldc.i4.2:
259 ldc.i4.3:
260 ldc.i4.4:
261 ldc.i4.5:
262 ldc.i4.6:
263 ldc.i4.7:
264 ldc.i4.8:
265 ldc.i4.m1:
266 ldc.i4.s:
267 ldc.i4:
268 ldc.i8:
269 ldc.r4:
270 ldc.r8:
271 ldelem.i1:
272 ldelem.i2:
273 ldelem.i4:
274 ldelem.i8:
275 ldelem.i:
276 ldelem.r4:
277 ldelem.r8:
278 ldelem.ref:
279 ldelem.u1:
280 ldelem.u2:
281 ldelem.u4:
282 ldelema:
283 ldfld:
284 ldflda:
285 ldftn:
286 ldind.i1: dest:i len:8
287 ldind.i2: dest:i len:8
288 ldind.i4: dest:i len:8
289 ldind.i8:
290 ldind.i: dest:i len:8
291 ldind.r4:
292 ldind.r8:
293 ldind.ref: dest:i len:8
294 ldind.u1: dest:i len:8
295 ldind.u2: dest:i len:8
296 ldind.u4: dest:i len:8
297 ldlen:
298 ldloc.0:
299 ldloc.1:
300 ldloc.2:
301 ldloc.3:
302 ldloc.s:
303 ldloc:
304 ldloca.s:
305 ldloca:
306 ldnull:
307 ldobj:
308 ldsfld:
309 ldsflda:
310 ldstr:
311 ldtoken:
312 ldvirtftn:
313 leave.s:
314 leave:
315 load:
316 load_membase: dest:i src1:b len:18
317 loadi1_membase: dest:i src1:b len:40
318 loadi2_membase: dest:i src1:b len:24
319 loadi4_membase: dest:i src1:b len:18
320 loadi8_membase: dest:i src1:b
321 loadr4_membase: dest:f src1:b len:20
322 loadr8_membase: dest:f src1:b len:18
323 loadu1_membase: dest:i src1:b len:26
324 loadu2_membase: dest:i src1:b len:26
325 loadu4_mem: dest:i len:8
326 loadu4_membase: dest:i src1:b len:18
327 local:
328 localloc: dest:i src1:i len:72
329 long_add: len: 18 dest:l src1:l src2:i clob:1
330 long_add_imm:
331 long_add_ovf_un: len:22 dest:l src1:l src2:i clob:1
332 long_add_ovf: len:28 dest:l src1:l src2:i clob:1
333 long_and:
334 long_beq:
335 long_bge:
336 long_bge_un:
337 long_bgt:
338 long_ble:
339 long_ble_un:
340 long_blt:
341 long_blt_un:
342 long_bne_un:
343 long_btg_un:
344 long_ceq:
345 long_cgt:
346 long_cgt_un:
347 long_clt:
348 long_clt_un:
349 long_conv_to_i1:
350 long_conv_to_i2:
351 long_conv_to_i4:
352 long_conv_to_i8:
353 long_conv_to_i:
354 long_conv_to_ovf_i1:
355 long_conv_to_ovf_i1_un:
356 long_conv_to_ovf_i2:
357 long_conv_to_ovf_i2_un:
358 long_conv_to_ovf_i4:
359 long_conv_to_ovf_i4_un:
360 long_conv_to_ovf_i8:
361 long_conv_to_ovf_i8_un:
362 long_conv_to_ovf_i: dest:i src1:i src2:i len:44
363 long_conv_to_ovf_i_un:
364 long_conv_to_ovf_u1:
365 long_conv_to_ovf_u1_un:
366 long_conv_to_ovf_u2:
367 long_conv_to_ovf_u2_un:
368 long_conv_to_ovf_u4:
369 long_conv_to_ovf_u4_un:
370 long_conv_to_ovf_u8:
371 long_conv_to_ovf_u8_un:
372 long_conv_to_ovf_u:
373 long_conv_to_ovf_u_un:
374 long_conv_to_r4:
375 long_conv_to_r8:
376 long_conv_to_r_un: dest:f src1:i src2:i len:37 
377 long_conv_to_u1:
378 long_conv_to_u2:
379 long_conv_to_u4:
380 long_conv_to_u8:
381 long_conv_to_u:
382 long_div:
383 long_div_un:
384 long_mul:
385 long_mul_ovf: len: 18
386 long_mul_ovf_un: len: 18 
387 long_neg:
388 long_not:
389 long_or:
390 long_rem:
391 long_rem_un:
392 long_shl:
393 long_shl_imm:
394 long_shr:
395 long_shr_imm:
396 long_shr_un:
397 long_shr_un_imm:
398 long_sub: len: 18 dest:l src1:l src2:i clob:1
399 long_sub_imm:
400 long_sub_ovf_un: len:22 dest:l src1:l src2:i clob:1
401 long_sub_ovf: len:36 dest:l src1:l src2:i clob:1
402 long_xor:
403 memory_barrier: len: 10
404 mkrefany:
405 mono_ldptr:
406 mono_newobj:
407 mono_objaddr:
408 mono_retobj:
409 mono_vtaddr:
410 move: dest:i src1:i len:4
411 mul.ovf.un: dest:i src1:i src2:i len:20
412 mul.ovf: dest:i src1:i src2:i len:42
413 mul: dest:i src1:i src2:i len:6
414 mul_imm: dest:i src1:i len:20
415 neg: dest:i src1:i len:4
416 newarr:
417 newobj:
418 nop: len:4
419 not: dest:i src1:i len:8
420 bigmul: len:2 dest:l src1:a src2:i
421 bigmul_un: len:2 dest:l src1:a src2:i
422 endfilter: src1:i len:12
423 rethrow: src1:i len:8
424 oparglist: src1:i len:20
425 or: dest:i src1:i src2:i len:4
426 or_imm: dest:i src1:i len:16
427 outarg: src1:i len:1
428 outarg_imm: len:5
429 phi:
430 pop:
431 prefix1:
432 prefix2:
433 prefix3:
434 prefix4:
435 prefix5:
436 prefix6:
437 prefix7:
438 prefixref:
439 r4const: dest:f len:22
440 r8const: dest:f len:18
441 refanytype:
442 refanyval:
443 reg:
444 regoffset:
445 regvar:
446 rem.un: dest:d src1:i src2:i len:12
447 rem: dest:d src1:i src2:i len:10
448 rem_imm: dest:i src1:i src2:i len:24
449 rem_un_imm: dest:i src1:i src2:i len:24
450 rename:
451 ret:
452 retarg:
453 s390_bkchain: len:16 dest:i src1:i
454 s390_move: len:48 dest:b src1:b
455 s390_setf4ret: dest:f src1:f len:4
456 tls_get: dest:i len:44
457 sbb: dest:i src1:i src2:i len:8
458 sbb_imm: dest:i src1:i len:18
459 setfreg: dest:f src1:f len:4
460 setlret: src1:i src2:i len:12
461 setreg: dest:i src1:i len:4
462 setregimm: dest:i len:18
463 setret: dest:a src1:i len:6
464 shl: dest:i src1:i src2:i clob:s len:8
465 shl_imm: dest:i src1:i len:8
466 shr.un: dest:i src1:i src2:i clob:s len:8
467 shr: dest:i src1:i src2:i clob:s len:8
468 shr_imm: dest:i src1:i len:8
469 shr_un_imm: dest:i src1:i len:8
470 sizeof:
471 sqrt: dest:f src1:f len:4
472 starg.s:
473 starg:
474 start_handler: len:18
475 stelem.i1:
476 stelem.i2:
477 stelem.i4:
478 stelem.i8:
479 stelem.i:
480 stelem.r4:
481 stelem.r8:
482 stelem.ref:
483 stfld:
484 stind.i1: src1:b src2:i
485 stind.i2: src1:b src2:i
486 stind.i4: src1:b src2:i
487 stind.i8:
488 stind.i:
489 stind.r4: src1:b src2:f
490 stind.r8: src1:b src2:f
491 stind.ref: src1:b src2:i
492 stloc.0:
493 stloc.1:
494 stloc.2:
495 stloc.3:
496 stloc.s:
497 stloc:
498 stobj:
499 store:
500 store_membase_imm: dest:b len:32
501 store_membase_reg: dest:b src1:i len:18
502 storei1_membase_imm: dest:b len:32
503 storei1_membase_reg: dest:b src1:i len:18
504 storei2_membase_imm: dest:b len:32
505 storei2_membase_reg: dest:b src1:i len:18
506 storei4_membase_imm: dest:b len:32
507 storei4_membase_reg: dest:b src1:i len:18
508 storei8_membase_imm: dest:b 
509 storei8_membase_reg: dest:b src1:i 
510 storer4_membase_reg: dest:b src1:f len:22
511 storer8_membase_reg: dest:b src1:f len:22
512 stsfld:
513 sub.ovf.un: len:10 dest:i src1:i src2:i 
514 sub.ovf: len:24 dest:i src1:i src2:i
515 sub: dest:i src1:i src2:i len:6
516 sub_imm: dest:i src1:i len:18
517 subcc_imm: dest:i src1:i len:18
518 sub_ovf_carry: dest:i src1:1 src2:i len:28
519 sub_ovf_un_carry: dest:i src1:1 src2:i len:28
520 subcc: dest:i src1:i src2:i len:6
521 switch:
522 tail.:
523 throw: src1:i len:8
524 trap:
525 unaligned.:
526 unbox:
527 vcall: len:8 clob:c
528 vcall_membase: src1:b len:12 clob:c
529 vcall_reg: src1:i len:8 clob:c
530 voidcall: len:8 clob:c
531 voidcall_membase: src1:b len:12 clob:c
532 voidcall_reg: src1:i len:8 clob:c
533 volatile.:
534 xor: dest:i src1:i src2:i len:4
535 xor_imm: dest:i src1:i len:16