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