mono/mini/cpu-g4.md

   1 # powerpc 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 #       b  base register (used in address references)
  17 #       f  floating point register
  18 #
  19 # len:number         describe the maximun length in bytes of the instruction
  20 # number is a positive integer
  21 #
  22 # cost:number        describe how many cycles are needed to complete the instruction (unused)
  23 #
  24 # clob:spec          describe if the instruction clobbers registers or has special needs
  25 #
  26 # spec can be one of the following characters:
  27 #       c  clobbers caller-save registers
  28 #       r  'reserves' the destination register until a later instruction unreserves it
  29 #          used mostly to set output registers in function calls
  30 #
  31 # flags:spec        describe if the instruction uses or sets the flags (unused)
  32 #
  33 # spec can be one of the following chars:
  34 #       s  sets the flags
  35 #       u  uses the flags
  36 #       m  uses and modifies the flags
  37 #
  38 # res:spec          describe what units are used in the processor (unused)
  39 #
  40 # delay:            describe delay slots (unused)
  41 #
  42 # the required specifiers are: len, clob (if registers are clobbered), the registers
  43 # specifiers if the registers are actually used, flags (when scheduling is implemented).
  44 #
  45 # See the code in mini-x86.c for more details on how the specifiers are used.
  46 #
  47 nop: len:4
  48 break: len:4
  49 ldarg.0:
  50 ldarg.1:
  51 ldarg.2:
  52 ldarg.3:
  53 ldloc.0:
  54 ldloc.1:
  55 ldloc.2:
  56 ldloc.3:
  57 stloc.0:
  58 stloc.1:
  59 stloc.2:
  60 stloc.3:
  61 ldarg.s:
  62 ldarga.s:
  63 starg.s:
  64 ldloc.s:
  65 ldloca.s:
  66 stloc.s:
  67 ldnull:
  68 ldc.i4.m1:
  69 ldc.i4.0:
  70 ldc.i4.1:
  71 ldc.i4.2:
  72 ldc.i4.3:
  73 ldc.i4.4:
  74 ldc.i4.5:
  75 ldc.i4.6:
  76 ldc.i4.7:
  77 ldc.i4.8:
  78 ldc.i4.s:
  79 ldc.i4:
  80 ldc.i8:
  81 ldc.r4:
  82 ldc.r8:
  83 unused99:
  84 dup:
  85 pop:
  86 jmp:
  87 call: dest:a clob:c len:4
  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:4
 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:8
 112 bge.un: len:8
 113 bgt.un: len:8
 114 ble.un: len:8
 115 blt.un: len:8
 116 switch:
 117 ldind.i1: dest:i len:8
 118 ldind.u1: dest:i len:8
 119 ldind.i2: dest:i len:8
 120 ldind.u2: dest:i len:8
 121 ldind.i4: dest:i len:8
 122 ldind.u4: dest:i len:8
 123 ldind.i8:
 124 ldind.i: dest:i len:8
 125 ldind.r4:
 126 ldind.r8:
 127 ldind.ref: dest:i len:8
 128 stind.ref: src1:b src2:i
 129 stind.i1: src1:b src2:i
 130 stind.i2: src1:b src2:i
 131 stind.i4: src1:b src2:i
 132 stind.i8:
 133 stind.r4: src1:b src2:f
 134 stind.r8: src1:b src2:f
 135 add: dest:i src1:i src2:i len:4
 136 sub: dest:i src1:i src2:i len:4
 137 mul: dest:i src1:i src2:i len:4
 138 div: dest:a src1:i src2:i len:4
 139 div.un: dest:a src1:i src2:i len:4
 140 rem: dest:d src1:i src2:i len:12
 141 rem.un: dest:d src1:i src2:i len:12
 142 and: dest:i src1:i src2:i len:4
 143 or: dest:i src1:i src2:i len:4
 144 xor: dest:i src1:i src2:i len:4
 145 shl: dest:i src1:i src2:i len:4
 146 shr: dest:i src1:i src2:i len:4
 147 shr.un: dest:i src1:i src2:i len:4
 148 neg: dest:i src1:i len:4
 149 not: dest:i src1:i len:4
 150 conv.i1: dest:i src1:i len:4
 151 conv.i2: dest:i src1:i len:4
 152 conv.i4: dest:i src1:i len:4
 153 conv.i8:
 154 conv.r4: dest:f src1:i len:7
 155 conv.r8: dest:f src1:i len:7
 156 conv.u4: dest:i src1:i
 157 conv.u8:
 158 callvirt:
 159 cpobj:
 160 ldobj:
 161 ldstr:
 162 newobj:
 163 castclass:
 164 isinst:
 165 conv.r.un:
 166 unused58:
 167 unused1:
 168 unbox:
 169 throw: src1:i len:8
 170 ldfld:
 171 ldflda:
 172 stfld:
 173 ldsfld:
 174 ldsflda:
 175 stsfld:
 176 stobj:
 177 conv.ovf.i1.un:
 178 conv.ovf.i2.un:
 179 conv.ovf.i4.un:
 180 conv.ovf.i8.un:
 181 conv.ovf.u1.un:
 182 conv.ovf.u2.un:
 183 conv.ovf.u4.un:
 184 conv.ovf.u8.un:
 185 conv.ovf.i.un:
 186 conv.ovf.u.un:
 187 box:
 188 newarr:
 189 ldlen:
 190 ldelema:
 191 ldelem.i1:
 192 ldelem.u1:
 193 ldelem.i2:
 194 ldelem.u2:
 195 ldelem.i4:
 196 ldelem.u4:
 197 ldelem.i8:
 198 ldelem.i:
 199 ldelem.r4:
 200 ldelem.r8:
 201 ldelem.ref:
 202 stelem.i:
 203 stelem.i1:
 204 stelem.i2:
 205 stelem.i4:
 206 stelem.i8:
 207 stelem.r4:
 208 stelem.r8:
 209 stelem.ref:
 210 unused2:
 211 unused3:
 212 unused4:
 213 unused5:
 214 unused6:
 215 unused7:
 216 unused8:
 217 unused9:
 218 unused10:
 219 unused11:
 220 unused12:
 221 unused13:
 222 unused14:
 223 unused15:
 224 unused16:
 225 unused17:
 226 conv.ovf.i1:
 227 conv.ovf.u1:
 228 conv.ovf.i2:
 229 conv.ovf.u2:
 230 conv.ovf.i4:
 231 conv.ovf.u4:
 232 conv.ovf.i8:
 233 conv.ovf.u8:
 234 unused50:
 235 unused18:
 236 unused19:
 237 unused20:
 238 unused21:
 239 unused22:
 240 unused23:
 241 refanyval:
 242 ckfinite: dest:f src1:f len:22
 243 unused24:
 244 unused25:
 245 mkrefany:
 246 unused59:
 247 unused60:
 248 unused61:
 249 unused62:
 250 unused63:
 251 unused64:
 252 unused65:
 253 unused66:
 254 unused67:
 255 ldtoken:
 256 conv.u2: dest:i src1:i len:4
 257 conv.u1: dest:i src1:i len:4
 258 conv.i: dest:i src1:i len:4
 259 conv.ovf.i:
 260 conv.ovf.u:
 261 add.ovf:
 262 add.ovf.un:
 263 mul.ovf: dest:i src1:i src2:i len:8
 264 # this opcode is handled specially in the code generator
 265 mul.ovf.un: dest:i src1:i src2:i len:12
 266 sub.ovf:
 267 sub.ovf.un:
 268 endfinally: len:10
 269 leave:
 270 leave.s:
 271 stind.i:
 272 conv.u: dest:i src1:i len:4
 273 unused26:
 274 unused27:
 275 unused28:
 276 unused29:
 277 unused30:
 278 unused31:
 279 unused32:
 280 unused33:
 281 unused34:
 282 unused35:
 283 unused36:
 284 unused37:
 285 unused38:
 286 unused39:
 287 unused40:
 288 unused41:
 289 unused42:
 290 unused43:
 291 unused44:
 292 unused45:
 293 unused46:
 294 unused47:
 295 unused48:
 296 prefix7:
 297 prefix6:
 298 prefix5:
 299 prefix4:
 300 prefix3:
 301 prefix2:
 302 prefix1:
 303 prefixref:
 304 arglist:
 305 ceq: dest:i len:12
 306 cgt: dest:i len:12
 307 cgt.un: dest:i len:12
 308 clt: dest:i len:12
 309 clt.un: dest:i len:12
 310 ldftn:
 311 ldvirtftn:
 312 unused56:
 313 ldarg:
 314 ldarga:
 315 starg:
 316 ldloc:
 317 ldloca:
 318 stloc:
 319 localloc: dest:i src1:i len:30
 320 unused57:
 321 endfilter:
 322 unaligned.:
 323 volatile.:
 324 tail.:
 325 initobj:
 326 unused68:
 327 cpblk:
 328 initblk:
 329 unused69:
 330 rethrow:
 331 unused:
 332 sizeof:
 333 refanytype:
 334 unused52:
 335 unused53:
 336 unused54:
 337 unused55:
 338 unused70:
 339 illegal:
 340 endmac:
 341 mono_func1:
 342 mono_proc2:
 343 mono_proc3:
 344 mono_free:
 345 mono_objaddr:
 346 mono_ldptr:
 347 mono_vtaddr:
 348 mono_newobj:
 349 mono_retobj:
 350 load:
 351 ldaddr:
 352 store:
 353 phi:
 354 rename:
 355 compare: src1:i src2:i len:4
 356 compare_imm: src1:i len:12
 357 fcompare: src1:f src2:f len:12
 358 lcompare:
 359 local:
 360 arg:
 361 outarg: src1:i len:1
 362 outarg_imm: len:5
 363 retarg:
 364 setret: dest:a src1:i len:4
 365 setlret: dest:l src1:i src2:i len:8
 366 setreg: dest:i src1:i len:4 clob:r
 367 setregimm: dest:i len:8 clob:r
 368 setfreg: dest:f src1:f len:4 clob:r
 369 checkthis: src1:b len:4
 370 voidcall: len:8 clob:c
 371 voidcall_reg: src1:i len:8 clob:c
 372 voidcall_membase: src1:b len:8 clob:c
 373 fcall: dest:f len:8 clob:c
 374 fcall_reg: dest:f src1:i len:8 clob:c
 375 fcall_membase: dest:f src1:b len:8 clob:c
 376 lcall: dest:l len:8 clob:c
 377 lcall_reg: dest:l src1:i len:8 clob:c
 378 lcall_membase: dest:l src1:b len:8 clob:c
 379 vcall: len:8 clob:c
 380 vcall_reg: src1:i len:8 clob:c
 381 vcall_membase: src1:b len:8 clob:c
 382 call_reg: dest:i src1:i len:8 clob:c
 383 call_membase: dest:i src1:b len:8 clob:c
 384 trap:
 385 iconst: dest:i len:8
 386 i8const:
 387 r4const: dest:f len:8
 388 r8const: dest:f len:8
 389 regvar:
 390 reg:
 391 regoffset:
 392 label:
 393 store_membase_imm: dest:b len:12
 394 store_membase_reg: dest:b src1:i len:8
 395 storei1_membase_imm: dest:b len:12
 396 storei1_membase_reg: dest:b src1:i len:8
 397 storei2_membase_imm: dest:b len:12
 398 storei2_membase_reg: dest:b src1:i len:8
 399 storei4_membase_imm: dest:b len:12
 400 storei4_membase_reg: dest:b src1:i len:8
 401 storei8_membase_imm: dest:b
 402 storei8_membase_reg: dest:b src1:i
 403 storer4_membase_reg: dest:b src1:f len:8
 404 storer8_membase_reg: dest:b src1:f len:8
 405 load_membase: dest:i src1:b len:12
 406 loadi1_membase: dest:i src1:b len:12
 407 loadu1_membase: dest:i src1:b len:12
 408 loadi2_membase: dest:i src1:b len:12
 409 loadu2_membase: dest:i src1:b len:12
 410 loadi4_membase: dest:i src1:b len:12
 411 loadu4_membase: dest:i src1:b len:12
 412 loadi8_membase: dest:i src1:b
 413 loadr4_membase: dest:f src1:b len:8
 414 loadr8_membase: dest:f src1:b len:12
 415 loadu4_mem: dest:i len:8
 416 move: dest:i src1:i len:4
 417 add_imm: dest:i src1:i len:12
 418 sub_imm: dest:i src1:i len:12
 419 mul_imm: dest:i src1:i len:12
 420 # there is no actual support for division or reminder by immediate
 421 # we simulate them, though (but we need to change the burg rules
 422 # to allocate a symbolic reg for src2)
 423 div_imm: dest:a src1:i src2:i len:12
 424 div_un_imm: dest:a src1:i src2:i len:12
 425 rem_imm: dest:d src1:i src2:i len:16
 426 rem_un_imm: dest:d src1:i src2:i len:16
 427 and_imm: dest:i src1:i len:8
 428 or_imm: dest:i src1:i len:8
 429 xor_imm: dest:i src1:i len:8
 430 shl_imm: dest:i src1:i len:8
 431 shr_imm: dest:i src1:i len:8
 432 shr_un_imm: dest:i src1:i len:8
 433 cond_exc_eq: len:8
 434 cond_exc_ne_un: len:8
 435 cond_exc_lt: len:8
 436 cond_exc_lt_un: len:8
 437 cond_exc_gt: len:8
 438 cond_exc_gt_un: len:8
 439 cond_exc_ge: len:8
 440 cond_exc_ge_un: len:8
 441 cond_exc_le: len:8
 442 cond_exc_le_un: len:8
 443 cond_exc_ov: len:8
 444 cond_exc_no: len:8
 445 cond_exc_c: len:8
 446 cond_exc_nc: len:8
 447 long_add:
 448 long_sub:
 449 long_mul:
 450 long_div:
 451 long_div_un:
 452 long_rem:
 453 long_rem_un:
 454 long_and:
 455 long_or:
 456 long_xor:
 457 long_shl:
 458 long_shr:
 459 long_shr_un:
 460 long_neg:
 461 long_not:
 462 long_conv_to_i1:
 463 long_conv_to_i2:
 464 long_conv_to_i4:
 465 long_conv_to_i8:
 466 long_conv_to_r4:
 467 long_conv_to_r8:
 468 long_conv_to_u4:
 469 long_conv_to_u8:
 470 long_conv_to_u2:
 471 long_conv_to_u1:
 472 long_conv_to_i:
 473 long_conv_to_ovf_i: dest:i src1:i src2:i len:30
 474 long_conv_to_ovf_u:
 475 long_add_ovf:
 476 long_add_ovf_un:
 477 long_mul_ovf:
 478 long_mul_ovf_un:
 479 long_sub_ovf:
 480 long_sub_ovf_un:
 481 long_conv_to_ovf_i1_un:
 482 long_conv_to_ovf_i2_un:
 483 long_conv_to_ovf_i4_un:
 484 long_conv_to_ovf_i8_un:
 485 long_conv_to_ovf_u1_un:
 486 long_conv_to_ovf_u2_un:
 487 long_conv_to_ovf_u4_un:
 488 long_conv_to_ovf_u8_un:
 489 long_conv_to_ovf_i_un:
 490 long_conv_to_ovf_u_un:
 491 long_conv_to_ovf_i1:
 492 long_conv_to_ovf_u1:
 493 long_conv_to_ovf_i2:
 494 long_conv_to_ovf_u2:
 495 long_conv_to_ovf_i4:
 496 long_conv_to_ovf_u4:
 497 long_conv_to_ovf_i8:
 498 long_conv_to_ovf_u8:
 499 long_ceq:
 500 long_cgt:
 501 long_cgt_un:
 502 long_clt:
 503 long_clt_un:
 504 long_conv_to_r_un: dest:f src1:i src2:i len:37
 505 long_conv_to_u:
 506 long_shr_imm:
 507 long_shr_un_imm:
 508 long_shl_imm:
 509 long_add_imm:
 510 long_sub_imm:
 511 long_beq:
 512 long_bne_un:
 513 long_blt:
 514 long_blt_un:
 515 long_bgt:
 516 long_btg_un:
 517 long_bge:
 518 long_bge_un:
 519 long_ble:
 520 long_ble_un:
 521 float_beq: len:8
 522 float_bne_un: len:8
 523 float_blt: len:8
 524 float_blt_un: len:8
 525 float_bgt: len:8
 526 float_btg_un: len:8
 527 float_bge: len:8
 528 float_bge_un: len:8
 529 float_ble: len:8
 530 float_ble_un: len:8
 531 float_add: len:4
 532 float_sub: len:4
 533 float_mul: len:4
 534 float_div: len:4
 535 float_div_un: len:4
 536 float_rem: len:16
 537 float_rem_un: len:16
 538 float_neg: dest:f src1:f len:4
 539 float_not: dest:f src1:f len:4
 540 float_conv_to_i1: dest:i src1:f len:40
 541 float_conv_to_i2: dest:i src1:f len:40
 542 float_conv_to_i4: dest:i src1:f len:40
 543 float_conv_to_i8: dest:l src1:f len:40
 544 float_conv_to_r4:
 545 float_conv_to_r8:
 546 float_conv_to_u4: dest:i src1:f len:40
 547 float_conv_to_u8: dest:l src1:f len:40
 548 float_conv_to_u2: dest:i src1:f len:40
 549 float_conv_to_u1: dest:i src1:f len:40
 550 float_conv_to_i: dest:i src1:f len:40
 551 float_conv_to_ovf_i:
 552 float_conv_to_ovd_u:
 553 float_add_ovf:
 554 float_add_ovf_un:
 555 float_mul_ovf:
 556 float_mul_ovf_un:
 557 float_sub_ovf:
 558 float_sub_ovf_un:
 559 float_conv_to_ovf_i1_un:
 560 float_conv_to_ovf_i2_un:
 561 float_conv_to_ovf_i4_un:
 562 float_conv_to_ovf_i8_un:
 563 float_conv_to_ovf_u1_un:
 564 float_conv_to_ovf_u2_un:
 565 float_conv_to_ovf_u4_un:
 566 float_conv_to_ovf_u8_un:
 567 float_conv_to_ovf_i_un:
 568 float_conv_to_ovf_u_un:
 569 float_conv_to_ovf_i1:
 570 float_conv_to_ovf_u1:
 571 float_conv_to_ovf_i2:
 572 float_conv_to_ovf_u2:
 573 float_conv_to_ovf_i4:
 574 float_conv_to_ovf_u4:
 575 float_conv_to_ovf_i8:
 576 float_conv_to_ovf_u8:
 577 float_ceq: dest:i src1:f src2:f len:12
 578 float_cgt: dest:i src1:f src2:f len:12
 579 float_cgt_un: dest:i src1:f src2:f len:12
 580 float_clt: dest:i src1:f src2:f len:12
 581 float_clt_un: dest:i src1:f src2:f len:12
 582 float_conv_to_u: dest:i src1:f len:36
 583 call_handler: len:12
 584 op_endfilter: src1:i len:12
 585 aot_const: dest:i len:8
 586 x86_test_null: src1:i len:4
 587 x86_compare_membase_reg: src1:b src2:i len:8
 588 x86_compare_membase_imm: src1:b len:8
 589 x86_compare_reg_membase: src1:i src2:b len:8
 590 x86_inc_reg: dest:i src1:i clob:1 len:1
 591 x86_inc_membase: src1:b len:6
 592 x86_dec_reg: dest:i src1:i clob:1 len:1
 593 x86_dec_membase: src1:b len:6
 594 x86_add_membase_imm: src1:b len:8
 595 x86_sub_membase_imm: src1:b len:8
 596 x86_push: src1:i len:1
 597 x86_push_imm: len:5
 598 x86_push_membase: src1:b len:6
 599 x86_push_obj: src1:b len:30
 600 x86_lea: dest:i src1:i src2:i len:7
 601 x86_xchg: src1:i src2:i clob:x len:1
 602 x86_fpop: src1:f len:2
 603 x86_fp_load_i8: dest:f src1:b len:7
 604 x86_fp_load_i4: dest:f src1:b len:7
 605 adc: dest:i src1:i src2:i len:4
 606 addcc: dest:i src1:i src2:i len:4
 607 subcc: dest:i src1:i src2:i len:4
 608 adc_imm: dest:i src1:i len:8
 609 sbb: dest:i src1:i src2:i len:4
 610 sbb_imm: dest:i src1:i len:8
 611 br_reg: src1:i len:8
 612 ppc_subfic: dest:i src1:i len:4
 613 ppc_subfze: dest:i src1:i len:4