# powerpc cpu description file # this file is read by genmdesc to pruduce a table with all the relevant information # about the cpu instructions that may be used by the regsiter allocator, the scheduler # and other parts of the arch-dependent part of mini. # # An opcode name is followed by a colon and optional specifiers. # A specifier has a name, a colon and a value. Specifiers are separated by white space. # Here is a description of the specifiers valid for this file and their possible values. # # dest:register describes the destination register of an instruction # src1:register describes the first source register of an instruction # src2:register describes the second source register of an instruction # # register may have the following values: # i integer register # a r3 register (output from calls) # b base register (used in address references) # f floating point register # g floating point register returned in r0:r1 for soft-float mode # # len:number describe the maximun length in bytes of the instruction # number is a positive integer # # cost:number describe how many cycles are needed to complete the instruction (unused) # # clob:spec describe if the instruction clobbers registers or has special needs # # spec can be one of the following characters: # c clobbers caller-save registers # r 'reserves' the destination register until a later instruction unreserves it # used mostly to set output registers in function calls # # flags:spec describe if the instruction uses or sets the flags (unused) # # spec can be one of the following chars: # s sets the flags # u uses the flags # m uses and modifies the flags # # res:spec describe what units are used in the processor (unused) # # delay: describe delay slots (unused) # # the required specifiers are: len, clob (if registers are clobbered), the registers # specifiers if the registers are actually used, flags (when scheduling is implemented). # # See the code in mini-x86.c for more details on how the specifiers are used. # memory_barrier: len:4 nop: len:4 break: len:4 ldarg.0: ldarg.1: ldarg.2: ldarg.3: ldloc.0: ldloc.1: ldloc.2: ldloc.3: stloc.0: stloc.1: stloc.2: stloc.3: ldarg.s: ldarga.s: starg.s: ldloc.s: ldloca.s: stloc.s: ldnull: ldc.i4.m1: ldc.i4.0: ldc.i4.1: ldc.i4.2: ldc.i4.3: ldc.i4.4: ldc.i4.5: ldc.i4.6: ldc.i4.7: ldc.i4.8: ldc.i4.s: ldc.i4: ldc.i8: ldc.r4: ldc.r8: dup: pop: jmp: len:92 call: dest:a clob:c len:20 calli: ret: br.s: brfalse.s: brtrue.s: beq.s: bge.s: bgt.s: ble.s: blt.s: bne.un.s: bge.un.s: bgt.un.s: ble.un.s: blt.un.s: br: len:4 brfalse: brtrue: beq: len:8 bge: len:8 bgt: len:8 ble: len:8 blt: len:8 bne.un: len:8 bge.un: len:8 bgt.un: len:8 ble.un: len:8 blt.un: len:8 switch: src1:i len:8 ldind.i1: dest:i len:8 ldind.u1: dest:i len:8 ldind.i2: dest:i len:8 ldind.u2: dest:i len:8 ldind.i4: dest:i len:8 ldind.u4: dest:i len:8 ldind.i8: ldind.i: dest:i len:8 ldind.r4: ldind.r8: ldind.ref: dest:i len:8 stind.ref: src1:b src2:i stind.i1: src1:b src2:i stind.i2: src1:b src2:i stind.i4: src1:b src2:i stind.i8: stind.r4: src1:b src2:f stind.r8: src1:b src2:f add: dest:i src1:i src2:i len:4 sub: dest:i src1:i src2:i len:4 mul: dest:i src1:i src2:i len:4 div: dest:i src1:i src2:i len:40 div.un: dest:i src1:i src2:i len:16 rem: dest:i src1:i src2:i len:48 rem.un: dest:i src1:i src2:i len:24 and: dest:i src1:i src2:i len:4 or: dest:i src1:i src2:i len:4 xor: dest:i src1:i src2:i len:4 shl: dest:i src1:i src2:i len:4 shr: dest:i src1:i src2:i len:4 shr.un: dest:i src1:i src2:i len:4 neg: dest:i src1:i len:4 not: dest:i src1:i len:4 conv.i1: dest:i src1:i len:8 conv.i2: dest:i src1:i len:8 conv.i4: dest:i src1:i len:4 conv.i8: conv.r4: dest:f src1:i len:36 conv.r8: dest:f src1:i len:36 conv.u4: dest:i src1:i conv.u8: callvirt: cpobj: ldobj: ldstr: newobj: castclass: isinst: conv.r.un: dest:f src1:i len:56 unbox: throw: src1:i len:24 op_rethrow: src1:i len:20 ldfld: ldflda: stfld: ldsfld: ldsflda: stsfld: stobj: conv.ovf.i1.un: conv.ovf.i2.un: conv.ovf.i4.un: conv.ovf.i8.un: conv.ovf.u1.un: conv.ovf.u2.un: conv.ovf.u4.un: conv.ovf.u8.un: conv.ovf.i.un: conv.ovf.u.un: box: newarr: ldlen: ldelema: ldelem.i1: ldelem.u1: ldelem.i2: ldelem.u2: ldelem.i4: ldelem.u4: ldelem.i8: ldelem.i: ldelem.r4: ldelem.r8: ldelem.ref: stelem.i: stelem.i1: stelem.i2: stelem.i4: stelem.i8: stelem.r4: stelem.r8: stelem.ref: conv.ovf.i1: conv.ovf.u1: conv.ovf.i2: conv.ovf.u2: conv.ovf.i4: conv.ovf.u4: conv.ovf.i8: conv.ovf.u8: refanyval: ckfinite: dest:f src1:f len:24 mkrefany: ldtoken: conv.u2: dest:i src1:i len:8 conv.u1: dest:i src1:i len:4 conv.i: dest:i src1:i len:4 conv.ovf.i: conv.ovf.u: add.ovf: dest:i src1:i src2:i len:16 add.ovf.un: dest:i src1:i src2:i len:16 mul.ovf: dest:i src1:i src2:i len:16 # this opcode is handled specially in the code generator mul.ovf.un: dest:i src1:i src2:i len:16 sub.ovf: dest:i src1:i src2:i len:16 sub.ovf.un: dest:i src1:i src2:i len:16 add_ovf_carry: dest:i src1:i src2:i len:16 sub_ovf_carry: dest:i src1:i src2:i len:16 add_ovf_un_carry: dest:i src1:i src2:i len:16 sub_ovf_un_carry: dest:i src1:i src2:i len:16 start_handler: len:20 endfinally: len:20 leave: leave.s: stind.i: conv.u: dest:i src1:i len:4 prefix7: prefix6: prefix5: prefix4: prefix3: prefix2: prefix1: prefixref: arglist: ceq: dest:i len:12 cgt: dest:i len:12 cgt.un: dest:i len:12 clt: dest:i len:12 clt.un: dest:i len:12 ldftn: ldvirtftn: ldarg: ldarga: starg: ldloc: ldloca: stloc: localloc: dest:i src1:i len:60 endfilter: len:20 unaligned.: volatile.: tail.: initobj: cpblk: initblk: rethrow: sizeof: refanytype: illegal: endmac: mono_objaddr: mono_ldptr: mono_vtaddr: mono_newobj: mono_retobj: load: ldaddr: store: phi: rename: compare: src1:i src2:i len:4 compare_imm: src1:i len:12 fcompare: src1:f src2:f len:12 lcompare: local: arg: oparglist: src1:i len:12 outarg: src1:i len:1 outarg_imm: len:16 retarg: setret: dest:a src1:i len:4 setlret: src1:i src2:i len:12 setreg: dest:i src1:i len:4 clob:r setregimm: dest:i len:16 clob:r setfreg: dest:f src1:f len:4 clob:r checkthis: src1:b len:4 voidcall: len:20 clob:c voidcall_reg: src1:i len:8 clob:c voidcall_membase: src1:b len:12 clob:c fcall: dest:g len:20 clob:c fcall_reg: dest:g src1:i len:8 clob:c fcall_membase: dest:g src1:b len:12 clob:c lcall: dest:l len:20 clob:c lcall_reg: dest:l src1:i len:8 clob:c lcall_membase: dest:l src1:b len:12 clob:c vcall: len:20 clob:c vcall_reg: src1:i len:8 clob:c vcall_membase: src1:b len:12 clob:c call_reg: dest:a src1:i len:8 clob:c call_membase: dest:a src1:b len:12 clob:c trap: iconst: dest:i len:16 i8const: r4const: dest:f len:20 r8const: dest:f len:20 regvar: reg: regoffset: label: store_membase_imm: dest:b len:20 store_membase_reg: dest:b src1:i len:20 storei1_membase_imm: dest:b len:20 storei1_membase_reg: dest:b src1:i len:12 storei2_membase_imm: dest:b len:20 storei2_membase_reg: dest:b src1:i len:12 storei4_membase_imm: dest:b len:20 storei4_membase_reg: dest:b src1:i len:20 storei8_membase_imm: dest:b storei8_membase_reg: dest:b src1:i storer4_membase_reg: dest:b src1:f len:12 storer8_membase_reg: dest:b src1:f len:12 store_memindex: dest:b src1:i src2:i len:4 storei1_memindex: dest:b src1:i src2:i len:4 storei2_memindex: dest:b src1:i src2:i len:4 storei4_memindex: dest:b src1:i src2:i len:4 load_membase: dest:i src1:b len:20 loadi1_membase: dest:i src1:b len:4 loadu1_membase: dest:i src1:b len:4 loadi2_membase: dest:i src1:b len:4 loadu2_membase: dest:i src1:b len:4 loadi4_membase: dest:i src1:b len:4 loadu4_membase: dest:i src1:b len:4 loadi8_membase: dest:i src1:b loadr4_membase: dest:f src1:b len:4 loadr8_membase: dest:f src1:b len:4 load_memindex: dest:i src1:b src2:i len:4 loadi1_memindex: dest:i src1:b src2:i len:4 loadu1_memindex: dest:i src1:b src2:i len:4 loadi2_memindex: dest:i src1:b src2:i len:4 loadu2_memindex: dest:i src1:b src2:i len:4 loadi4_memindex: dest:i src1:b src2:i len:4 loadu4_memindex: dest:i src1:b src2:i len:4 loadu4_mem: dest:i len:8 move: dest:i src1:i len:4 fmove: dest:f src1:f len:4 add_imm: dest:i src1:i len:12 sub_imm: dest:i src1:i len:12 mul_imm: dest:i src1:i len:12 # there is no actual support for division or reminder by immediate # we simulate them, though (but we need to change the burg rules # to allocate a symbolic reg for src2) div_imm: dest:i src1:i src2:i len:20 div_un_imm: dest:i src1:i src2:i len:12 rem_imm: dest:i src1:i src2:i len:28 rem_un_imm: dest:i src1:i src2:i len:16 and_imm: dest:i src1:i len:12 or_imm: dest:i src1:i len:12 xor_imm: dest:i src1:i len:12 shl_imm: dest:i src1:i len:8 shr_imm: dest:i src1:i len:8 shr_un_imm: dest:i src1:i len:8 cond_exc_eq: len:8 cond_exc_ne_un: len:8 cond_exc_lt: len:8 cond_exc_lt_un: len:8 cond_exc_gt: len:8 cond_exc_gt_un: len:8 cond_exc_ge: len:8 cond_exc_ge_un: len:8 cond_exc_le: len:8 cond_exc_le_un: len:8 cond_exc_ov: len:12 cond_exc_no: len:8 cond_exc_c: len:12 cond_exc_nc: len:8 long_add: long_sub: long_mul: long_div: long_div_un: long_rem: long_rem_un: long_and: long_or: long_xor: long_shl: long_shr: long_shr_un: long_neg: long_not: long_conv_to_i1: long_conv_to_i2: long_conv_to_i4: long_conv_to_i8: long_conv_to_r4: long_conv_to_r8: long_conv_to_u4: long_conv_to_u8: long_conv_to_u2: long_conv_to_u1: long_conv_to_i: long_conv_to_ovf_i: dest:i src1:i src2:i len:30 long_conv_to_ovf_u: long_add_ovf: long_add_ovf_un: long_mul_ovf: long_mul_ovf_un: long_sub_ovf: long_sub_ovf_un: long_conv_to_ovf_i1_un: long_conv_to_ovf_i2_un: long_conv_to_ovf_i4_un: long_conv_to_ovf_i8_un: long_conv_to_ovf_u1_un: long_conv_to_ovf_u2_un: long_conv_to_ovf_u4_un: long_conv_to_ovf_u8_un: long_conv_to_ovf_i_un: long_conv_to_ovf_u_un: long_conv_to_ovf_i1: long_conv_to_ovf_u1: long_conv_to_ovf_i2: long_conv_to_ovf_u2: long_conv_to_ovf_i4: long_conv_to_ovf_u4: long_conv_to_ovf_i8: long_conv_to_ovf_u8: long_ceq: long_cgt: long_cgt_un: long_clt: long_clt_un: long_conv_to_r_un: dest:f src1:i src2:i len:37 long_conv_to_u: long_shr_imm: long_shr_un_imm: long_shl_imm: long_add_imm: long_sub_imm: long_beq: long_bne_un: long_blt: long_blt_un: long_bgt: long_btg_un: long_bge: long_bge_un: long_ble: long_ble_un: float_beq: src1:f src2:f len:20 float_bne_un: src1:f src2:f len:20 float_blt: src1:f src2:f len:20 float_blt_un: src1:f src2:f len:20 float_bgt: src1:f src2:f len:20 float_btg_un: src1:f src2:f len:20 float_bge: src1:f src2:f len:20 float_bge_un: src1:f src2:f len:20 float_ble: src1:f src2:f len:20 float_ble_un: src1:f src2:f len:20 float_add: dest:f src1:f src2:f len:4 float_sub: dest:f src1:f src2:f len:4 float_mul: dest:f src1:f src2:f len:4 float_div: dest:f src1:f src2:f len:4 float_div_un: dest:f src1:f src2:f len:4 float_rem: dest:f src1:f src2:f len:16 float_rem_un: dest:f src1:f src2:f len:16 float_neg: dest:f src1:f len:4 float_not: dest:f src1:f len:4 float_conv_to_i1: dest:i src1:f len:40 float_conv_to_i2: dest:i src1:f len:40 float_conv_to_i4: dest:i src1:f len:40 float_conv_to_i8: dest:l src1:f len:40 float_conv_to_r4: dest:f src1:f len:4 float_conv_to_r8: float_conv_to_u4: dest:i src1:f len:40 float_conv_to_u8: dest:l src1:f len:40 float_conv_to_u2: dest:i src1:f len:40 float_conv_to_u1: dest:i src1:f len:40 float_conv_to_i: dest:i src1:f len:40 float_conv_to_ovf_i: float_conv_to_ovd_u: float_add_ovf: float_add_ovf_un: float_mul_ovf: float_mul_ovf_un: float_sub_ovf: float_sub_ovf_un: float_conv_to_ovf_i1_un: float_conv_to_ovf_i2_un: float_conv_to_ovf_i4_un: float_conv_to_ovf_i8_un: float_conv_to_ovf_u1_un: float_conv_to_ovf_u2_un: float_conv_to_ovf_u4_un: float_conv_to_ovf_u8_un: float_conv_to_ovf_i_un: float_conv_to_ovf_u_un: float_conv_to_ovf_i1: float_conv_to_ovf_u1: float_conv_to_ovf_i2: float_conv_to_ovf_u2: float_conv_to_ovf_i4: float_conv_to_ovf_u4: float_conv_to_ovf_i8: float_conv_to_ovf_u8: float_ceq: dest:i src1:f src2:f len:16 float_cgt: dest:i src1:f src2:f len:16 float_cgt_un: dest:i src1:f src2:f len:20 float_clt: dest:i src1:f src2:f len:16 float_clt_un: dest:i src1:f src2:f len:20 float_conv_to_u: dest:i src1:f len:36 call_handler: len:12 op_endfilter: src1:i len:16 aot_const: dest:i len:8 sqrt: dest:f src1:f len:4 adc: dest:i src1:i src2:i len:4 addcc: dest:i src1:i src2:i len:4 subcc: dest:i src1:i src2:i len:4 adc_imm: dest:i src1:i len:12 addcc_imm: dest:i src1:i len:12 subcc_imm: dest:i src1:i len:12 sbb: dest:i src1:i src2:i len:4 sbb_imm: dest:i src1:i len:12 br_reg: src1:i len:8 arm_rsbs_imm: dest:i src1:i len:4 arm_rsc_imm: dest:i src1:i len:4 op_bigmul: len:8 dest:l src1:i src2:i op_bigmul_un: len:8 dest:l src1:i src2:i tls_get: len:8 dest:i