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