- Fix atomic ops on s390
[mono.git] / mono / mini / cpu-s390.md
blobe25383235c8f35b74e7e31ea8d785eb2dfb29f78
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.
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.
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
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
20 # len:number         describe the maximun length in bytes of the instruction
21 # number is a positive integer
23 # cost:number        describe how many cycles are needed to complete the instruction (unused)
25 # clob:spec          describe if the instruction clobbers registers or has special needs
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
32 # flags:spec        describe if the instruction uses or sets the flags (unused)
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
39 # res:spec          describe what units are used in the processor (unused)
41 # delay:            describe delay slots (unused)
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).
46 # See the code in mini-x86.c for more details on how the specifiers are used.
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:4 clob:1
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:12
58 addcc: dest:i src1:i src2:i len:6
59 and: dest:i src1:i src2:i len:6 clob:1
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:16
65 atomic_exchange_i4: src1:b src2:i dest:i len:14
66 atomic_add_new_i4: src1:b src2:i dest:i len:20
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:4
92 brfalse.s:
93 brfalse:
94 brtrue.s:
95 brtrue:
96 call: dest:a clob:c len:6
97 call_handler: len:12
98 call_membase: dest:a src1:b len:12 clob:c
99 call_reg: dest:a 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:24
127 conv.i2: dest:i src1:i len:24
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:14
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 clob:d
162 div: dest:a src1:i src2:i len:10 clob:d
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 endfilter: len:20
167 endfinally: len: 20
168 endmac:
169 fcall: dest:f len:10 clob:c
170 fcall_membase: dest:f src1:b len:14 clob:c
171 fcall_reg: dest:f src1:i len:10 clob:c
172 fcompare: src1:f src2:f len:14
173 float_add: dest:f src1:f src2:f len:6
174 float_add_ovf:
175 float_add_ovf_un:
176 float_beq: len:8
177 float_bge: len:8
178 float_bge_un: len:8
179 float_bgt: len:8
180 float_ble: len:8
181 float_ble_un: len:8
182 float_blt: len:8
183 float_blt_un: len:8
184 float_bne_un: len:8
185 float_btg_un: len:8
186 float_ceq: dest:i src1:f src2:f len:16
187 float_cgt: dest:i src1:f src2:f len:16
188 float_cgt_un: dest:i src1:f src2:f len:16
189 float_clt: dest:i src1:f src2:f len:16
190 float_clt_un: dest:i src1:f src2:f len:16
191 float_conv_to_i1: dest:i src1:f len:50
192 float_conv_to_i2: dest:i src1:f len:50
193 float_conv_to_i4: dest:i src1:f len:50
194 float_conv_to_i8: dest:l src1:f len:50
195 float_conv_to_i: dest:i src1:f len:52
196 float_conv_to_ovd_u:
197 float_conv_to_ovf_i1:
198 float_conv_to_ovf_i1_un:
199 float_conv_to_ovf_i2:
200 float_conv_to_ovf_i2_un:
201 float_conv_to_ovf_i4:
202 float_conv_to_ovf_i4_un:
203 float_conv_to_ovf_i8:
204 float_conv_to_ovf_i8_un:
205 float_conv_to_ovf_i:
206 float_conv_to_ovf_i_un:
207 float_conv_to_ovf_u1:
208 float_conv_to_ovf_u1_un:
209 float_conv_to_ovf_u2:
210 float_conv_to_ovf_u2_un:
211 float_conv_to_ovf_u4:
212 float_conv_to_ovf_u4_un:
213 float_conv_to_ovf_u8:
214 float_conv_to_ovf_u8_un:
215 float_conv_to_ovf_u_un:
216 float_conv_to_r4: dest:f src1:f len:4
217 float_conv_to_r8:
218 float_conv_to_u1: dest:i src1:f len:62
219 float_conv_to_u2: dest:i src1:f len:62
220 float_conv_to_u4: dest:i src1:f len:62
221 float_conv_to_u8: dest:l src1:f len:62
222 float_conv_to_u: dest:i src1:f len:36
223 float_div: dest:f src1:f src2:f len:6
224 float_div_un: dest:f src1:f src2:f len:6
225 float_mul: dest:f src1:f src2:f len:6
226 float_mul_ovf:
227 float_mul_ovf_un:
228 float_neg: dest:f src1:f len:6
229 float_not: dest:f src1:f len:6
230 float_rem: dest:f src1:f src2:f len:16
231 float_rem_un: dest:f src1:f src2:f len:16
232 float_sub: dest:f src1:f src2:f len:6
233 float_sub_ovf:
234 float_sub_ovf_un:
235 fmove: dest:f src1:f len:4
236 i8const:
237 iconst: dest:i len:16
238 illegal:
239 initblk:
240 initobj:
241 isinst:
242 jmp: len:40
243 label:
244 lcall: dest:l len:8 clob:c
245 lcall_membase: dest:l src1:b len:12 clob:c
246 lcall_reg: dest:l src1:i len:8 clob:c
247 lcompare:
248 ldaddr:
249 ldarg.0:
250 ldarg.1:
251 ldarg.2:
252 ldarg.3:
253 ldarg.s:
254 ldarg:
255 ldarga.s:
256 ldarga:
257 ldc.i4.0:
258 ldc.i4.1:
259 ldc.i4.2:
260 ldc.i4.3:
261 ldc.i4.4:
262 ldc.i4.5:
263 ldc.i4.6:
264 ldc.i4.7:
265 ldc.i4.8:
266 ldc.i4.m1:
267 ldc.i4.s:
268 ldc.i4:
269 ldc.i8:
270 ldc.r4:
271 ldc.r8:
272 ldelem.i1:
273 ldelem.i2:
274 ldelem.i4:
275 ldelem.i8:
276 ldelem.i:
277 ldelem.r4:
278 ldelem.r8:
279 ldelem.ref:
280 ldelem.u1:
281 ldelem.u2:
282 ldelem.u4:
283 ldelema:
284 ldfld:
285 ldflda:
286 ldftn:
287 ldind.i1: dest:i len:8
288 ldind.i2: dest:i len:8
289 ldind.i4: dest:i len:8
290 ldind.i8:
291 ldind.i: dest:i len:8
292 ldind.r4:
293 ldind.r8:
294 ldind.ref: dest:i len:8
295 ldind.u1: dest:i len:8
296 ldind.u2: dest:i len:8
297 ldind.u4: dest:i len:8
298 ldlen:
299 ldloc.0:
300 ldloc.1:
301 ldloc.2:
302 ldloc.3:
303 ldloc.s:
304 ldloc:
305 ldloca.s:
306 ldloca:
307 ldnull:
308 ldobj:
309 ldsfld:
310 ldsflda:
311 ldstr:
312 ldtoken:
313 ldvirtftn:
314 leave.s:
315 leave:
316 load:
317 load_membase: dest:i src1:b len:18
318 loadi1_membase: dest:i src1:b len:40
319 loadi2_membase: dest:i src1:b len:24
320 loadi4_membase: dest:i src1:b len:18
321 loadi8_membase: dest:i src1:b
322 loadr4_membase: dest:f src1:b len:20
323 loadr8_membase: dest:f src1:b len:18
324 loadu1_membase: dest:i src1:b len:26
325 loadu2_membase: dest:i src1:b len:26
326 loadu4_mem: dest:i len:8
327 loadu4_membase: dest:i src1:b len:18
328 local:
329 localloc: dest:i src1:i len:62
330 long_add:
331 long_add_imm:
332 long_add_ovf:
333 long_add_ovf_un:
334 long_and:
335 long_beq:
336 long_bge:
337 long_bge_un:
338 long_bgt:
339 long_ble:
340 long_ble_un:
341 long_blt:
342 long_blt_un:
343 long_bne_un:
344 long_btg_un:
345 long_ceq:
346 long_cgt:
347 long_cgt_un:
348 long_clt:
349 long_clt_un:
350 long_conv_to_i1:
351 long_conv_to_i2:
352 long_conv_to_i4:
353 long_conv_to_i8:
354 long_conv_to_i:
355 long_conv_to_ovf_i1:
356 long_conv_to_ovf_i1_un:
357 long_conv_to_ovf_i2:
358 long_conv_to_ovf_i2_un:
359 long_conv_to_ovf_i4:
360 long_conv_to_ovf_i4_un:
361 long_conv_to_ovf_i8:
362 long_conv_to_ovf_i8_un:
363 long_conv_to_ovf_i: dest:i src1:i src2:i len:44
364 long_conv_to_ovf_i_un:
365 long_conv_to_ovf_u1:
366 long_conv_to_ovf_u1_un:
367 long_conv_to_ovf_u2:
368 long_conv_to_ovf_u2_un:
369 long_conv_to_ovf_u4:
370 long_conv_to_ovf_u4_un:
371 long_conv_to_ovf_u8:
372 long_conv_to_ovf_u8_un:
373 long_conv_to_ovf_u:
374 long_conv_to_ovf_u_un:
375 long_conv_to_r4:
376 long_conv_to_r8:
377 long_conv_to_r_un: dest:f src1:i src2:i len:37 
378 long_conv_to_u1:
379 long_conv_to_u2:
380 long_conv_to_u4:
381 long_conv_to_u8:
382 long_conv_to_u:
383 long_div:
384 long_div_un:
385 long_mul:
386 long_mul_ovf: len: 18
387 long_mul_ovf_un: len: 18 
388 long_neg:
389 long_not:
390 long_or:
391 long_rem:
392 long_rem_un:
393 long_shl:
394 long_shl_imm:
395 long_shr:
396 long_shr_imm:
397 long_shr_un:
398 long_shr_un_imm:
399 long_sub:
400 long_sub_imm:
401 long_sub_ovf:
402 long_sub_ovf_un:
403 long_xor:
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 clob:1
412 mul.ovf: dest:i src1:i src2:i len:42 clob:1
413 mul: dest:i src1:i src2:i len:4 clob:1
414 mul_imm: dest:i src1:i len:18
415 neg: dest:i src1:i len:4 clob:1
416 newarr:
417 newobj:
418 nop: len:4
419 not: dest:i src1:i len:8 clob:1
420 op_bigmul: len:2 dest:l src1:a src2:i
421 op_bigmul_un: len:2 dest:l src1:a src2:i
422 op_endfilter: src1:i len:12
423 op_rethrow: src1:i len:8
424 oparglist: src1:i len:20
425 or: dest:i src1:i src2:i len:4 clob:1
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 clob:d
447 rem: dest:d src1:i src2:i len:10 clob:d
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_move: len:48 dest:b src1:b
454 s390_setf4ret: dest:f src1:f len:4 clob:r
455 tls_get: dest:i len:44
456 sbb: dest:i src1:i src2:i len:6
457 sbb_imm: dest:i src1:i len:14
458 setfreg: dest:f src1:f len:4 clob:r
459 setlret: src1:i src2:i len:12
460 setreg: dest:i src1:i len:4 clob:r
461 setregimm: dest:i len:18 clob:r
462 setret: dest:a src1:i len:6
463 shl: dest:i src1:i src2:i clob:s len:6
464 shl_imm: dest:i src1:i len:8
465 shr.un: dest:i src1:i src2:i clob:s len:6
466 shr: dest:i src1:i src2:i clob:s len:6
467 shr_imm: dest:i src1:i len:8
468 shr_un_imm: dest:i src1:i len:8
469 sizeof:
470 sqrt: dest:f src1:f len:4
471 starg.s:
472 starg:
473 start_handler: len:18
474 stelem.i1:
475 stelem.i2:
476 stelem.i4:
477 stelem.i8:
478 stelem.i:
479 stelem.r4:
480 stelem.r8:
481 stelem.ref:
482 stfld:
483 stind.i1: src1:b src2:i
484 stind.i2: src1:b src2:i
485 stind.i4: src1:b src2:i
486 stind.i8:
487 stind.i:
488 stind.r4: src1:b src2:f
489 stind.r8: src1:b src2:f
490 stind.ref: src1:b src2:i
491 stloc.0:
492 stloc.1:
493 stloc.2:
494 stloc.3:
495 stloc.s:
496 stloc:
497 stobj:
498 store:
499 store_membase_imm: dest:b len:32
500 store_membase_reg: dest:b src1:i len:18
501 storei1_membase_imm: dest:b len:32
502 storei1_membase_reg: dest:b src1:i len:18
503 storei2_membase_imm: dest:b len:32
504 storei2_membase_reg: dest:b src1:i len:18
505 storei4_membase_imm: dest:b len:32
506 storei4_membase_reg: dest:b src1:i len:18
507 storei8_membase_imm: dest:b 
508 storei8_membase_reg: dest:b src1:i 
509 storer4_membase_reg: dest:b src1:f len:22
510 storer8_membase_reg: dest:b src1:f len:22
511 stsfld:
512 sub.ovf.un: len:10 dest:i src1:i src2:i 
513 sub.ovf: len:24 dest:i src1:i src2:i
514 sub: dest:i src1:i src2:i len:4 clob:1
515 sub_imm: dest:i src1:i len:18
516 subcc_imm: dest:i src1:i len:18
517 sub_ovf_carry: dest:i src1:1 src2:i len:28
518 sub_ovf_un_carry: dest:i src1:1 src2:i len:12
519 subcc: dest:i src1:i src2:i len:6
520 switch:
521 tail.:
522 throw: src1:i len:8
523 trap:
524 unaligned.:
525 unbox:
526 vcall: len:8 clob:c
527 vcall_membase: src1:b len:12 clob:c
528 vcall_reg: src1:i len:8 clob:c
529 voidcall: len:8 clob:c
530 voidcall_membase: src1:b len:12 clob:c
531 voidcall_reg: src1:i len:8 clob:c
532 volatile.:
533 xor: dest:i src1:i src2:i len:4 clob:1
534 xor_imm: dest:i src1:i len:16