decoder.isa revision 2706
12686Sksewell@umich.edu// -*- mode:c++ -*- 22100SN/A 32706Sksewell@umich.edu// Copyright (c) 2003-2006 The Regents of The University of Michigan 42706Sksewell@umich.edu// All rights reserved. 52706Sksewell@umich.edu// 62706Sksewell@umich.edu// Redistribution and use in source and binary forms, with or without 72706Sksewell@umich.edu// modification, are permitted provided that the following conditions are 82706Sksewell@umich.edu// met: redistributions of source code must retain the above copyright 92706Sksewell@umich.edu// notice, this list of conditions and the following disclaimer; 102706Sksewell@umich.edu// redistributions in binary form must reproduce the above copyright 112706Sksewell@umich.edu// notice, this list of conditions and the following disclaimer in the 122706Sksewell@umich.edu// documentation and/or other materials provided with the distribution; 132706Sksewell@umich.edu// neither the name of the copyright holders nor the names of its 142706Sksewell@umich.edu// contributors may be used to endorse or promote products derived from 152706Sksewell@umich.edu// this software without specific prior written permission. 162706Sksewell@umich.edu// 172706Sksewell@umich.edu// THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS AND CONTRIBUTORS 182706Sksewell@umich.edu// "AS IS" AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT 192706Sksewell@umich.edu// LIMITED TO, THE IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR 202706Sksewell@umich.edu// A PARTICULAR PURPOSE ARE DISCLAIMED. IN NO EVENT SHALL THE COPYRIGHT 212706Sksewell@umich.edu// OWNER OR CONTRIBUTORS BE LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL, 222706Sksewell@umich.edu// SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING, BUT NOT 232706Sksewell@umich.edu// LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES; LOSS OF USE, 242706Sksewell@umich.edu// DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER CAUSED AND ON ANY 252706Sksewell@umich.edu// THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY, OR TORT 262706Sksewell@umich.edu// (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE 272706Sksewell@umich.edu// OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE. 282706Sksewell@umich.edu// 292706Sksewell@umich.edu// Authors: Korey Sewell 302706Sksewell@umich.edu 312022SN/A//////////////////////////////////////////////////////////////////// 322022SN/A// 332043SN/A// The actual MIPS32 ISA decoder 342024SN/A// ----------------------------- 352024SN/A// The following instructions are specified in the MIPS32 ISA 362043SN/A// Specification. Decoding closely follows the style specified 372686Sksewell@umich.edu// in the MIPS32 ISA specification document starting with Table 382024SN/A// A-2 (document available @ www.mips.com) 392022SN/A// 402083SN/Adecode OPCODE_HI default Unknown::unknown() { 412686Sksewell@umich.edu //Table A-2 422101SN/A 0x0: decode OPCODE_LO { 432043SN/A 0x0: decode FUNCTION_HI { 442043SN/A 0x0: decode FUNCTION_LO { 452101SN/A 0x1: decode MOVCI { 462101SN/A format BasicOp { 472686Sksewell@umich.edu 0: movf({{ Rd = (getCondCode(FCSR, CC) == 0) ? Rd : Rs; }}); 482686Sksewell@umich.edu 1: movt({{ Rd = (getCondCode(FCSR, CC) == 1) ? Rd : Rs; }}); 492101SN/A } 502101SN/A } 512101SN/A 522046SN/A format BasicOp { 532686Sksewell@umich.edu //Table A-3 Note: "Specific encodings of the rd, rs, and 542686Sksewell@umich.edu //rt fields are used to distinguish SLL, SSNOP, and EHB 552686Sksewell@umich.edu //functions 562470SN/A 0x0: decode RS { 572686Sksewell@umich.edu 0x0: decode RT_RD { 582686Sksewell@umich.edu 0x0: decode SA default Nop::nop(){ 592686Sksewell@umich.edu 0x1: WarnUnimpl::ssnop(); 602686Sksewell@umich.edu 0x3: WarnUnimpl::ehb(); 612686Sksewell@umich.edu } 622686Sksewell@umich.edu default: sll({{ Rd = Rt.uw << SA; }}); 632470SN/A } 642241SN/A } 652101SN/A 662495SN/A 0x2: decode RS_SRL { 672495SN/A 0x0:decode SRL { 682495SN/A 0: srl({{ Rd = Rt.uw >> SA; }}); 692101SN/A 702495SN/A //Hardcoded assuming 32-bit ISA, probably need parameter here 712495SN/A 1: rotr({{ Rd = (Rt.uw << (32 - SA)) | (Rt.uw >> SA);}}); 722495SN/A } 732101SN/A } 742101SN/A 752495SN/A 0x3: decode RS { 762495SN/A 0x0: sra({{ 772495SN/A uint32_t temp = Rt >> SA; 782495SN/A if ( (Rt & 0x80000000) > 0 ) { 792495SN/A uint32_t mask = 0x80000000; 802495SN/A for(int i=0; i < SA; i++) { 812495SN/A temp |= mask; 822495SN/A mask = mask >> 1; 832495SN/A } 842495SN/A } 852495SN/A Rd = temp; 862495SN/A }}); 872495SN/A } 882101SN/A 892101SN/A 0x4: sllv({{ Rd = Rt.uw << Rs<4:0>; }}); 902101SN/A 912101SN/A 0x6: decode SRLV { 922101SN/A 0: srlv({{ Rd = Rt.uw >> Rs<4:0>; }}); 932101SN/A 942101SN/A //Hardcoded assuming 32-bit ISA, probably need parameter here 952101SN/A 1: rotrv({{ Rd = (Rt.uw << (32 - Rs<4:0>)) | (Rt.uw >> Rs<4:0>);}}); 962101SN/A } 972101SN/A 982495SN/A 0x7: srav({{ 992495SN/A int shift_amt = Rs<4:0>; 1002495SN/A 1012495SN/A uint32_t temp = Rt >> shift_amt; 1022495SN/A 1032495SN/A if ( (Rt & 0x80000000) > 0 ) { 1042495SN/A uint32_t mask = 0x80000000; 1052495SN/A for(int i=0; i < shift_amt; i++) { 1062495SN/A temp |= mask; 1072495SN/A mask = mask >> 1; 1082495SN/A } 1092495SN/A } 1102495SN/A 1112495SN/A Rd = temp; 1122495SN/A }}); 1132043SN/A } 1142043SN/A } 1152025SN/A 1162043SN/A 0x1: decode FUNCTION_LO { 1172686Sksewell@umich.edu //Table A-3 Note: "Specific encodings of the hint field are 1182686Sksewell@umich.edu //used to distinguish JR from JR.HB and JALR from JALR.HB" 1192123SN/A format Jump { 1202101SN/A 0x0: decode HINT { 1212686Sksewell@umich.edu 0x1: jr_hb({{ NNPC = Rs & ~1; }}, IsReturn, ClearHazards); 1222686Sksewell@umich.edu default: jr({{ NNPC = Rs & ~1; }}, IsReturn); 1232101SN/A } 1242042SN/A 1252101SN/A 0x1: decode HINT { 1262686Sksewell@umich.edu 0x1: jalr_hb({{ Rd = NNPC; NNPC = Rs; }}, IsCall, Link 1272686Sksewell@umich.edu , ClearHazards); 1282686Sksewell@umich.edu default: jalr({{ Rd = NNPC; NNPC = Rs; }}, IsCall, 1292686Sksewell@umich.edu Link); 1302101SN/A } 1312101SN/A } 1322042SN/A 1332101SN/A format BasicOp { 1342686Sksewell@umich.edu 0x2: movz({{ Rd = (Rt == 0) ? Rs : Rd; }}); 1352686Sksewell@umich.edu 0x3: movn({{ Rd = (Rt != 0) ? Rs : Rd; }}); 1362686Sksewell@umich.edu 0x4: syscall({{ xc->syscall(R2); }}, IsNonSpeculative); 1372686Sksewell@umich.edu 0x7: sync({{ ; }}, IsMemBarrier); 1382101SN/A } 1392083SN/A 1402686Sksewell@umich.edu format FailUnimpl { 1412686Sksewell@umich.edu 0x5: break(); 1422101SN/A } 1432043SN/A } 1442025SN/A 1452043SN/A 0x2: decode FUNCTION_LO { 1462686Sksewell@umich.edu format HiLoMiscOp { 1472616SN/A 0x0: mfhi({{ Rd = HI; }}); 1482616SN/A 0x1: mthi({{ HI = Rs; }}); 1492616SN/A 0x2: mflo({{ Rd = LO; }}); 1502616SN/A 0x3: mtlo({{ LO = Rs; }}); 1512101SN/A } 1522083SN/A } 1532025SN/A 1542043SN/A 0x3: decode FUNCTION_LO { 1552686Sksewell@umich.edu format HiLoOp { 1562686Sksewell@umich.edu 0x0: mult({{ val = Rs.sd * Rt.sd; }}); 1572686Sksewell@umich.edu 0x1: multu({{ val = Rs.ud * Rt.ud; }}); 1582686Sksewell@umich.edu } 1592025SN/A 1602686Sksewell@umich.edu format HiLoMiscOp { 1612101SN/A 0x2: div({{ 1622616SN/A HI = Rs.sd % Rt.sd; 1632616SN/A LO = Rs.sd / Rt.sd; 1642101SN/A }}); 1652101SN/A 0x3: divu({{ 1662616SN/A HI = Rs.ud % Rt.ud; 1672616SN/A LO = Rs.ud / Rt.ud; 1682101SN/A }}); 1692101SN/A } 1702084SN/A } 1712025SN/A 1722495SN/A 0x4: decode HINT { 1732495SN/A 0x0: decode FUNCTION_LO { 1742495SN/A format IntOp { 1752616SN/A 0x0: add({{ Rd.sw = Rs.sw + Rt.sw; /*Trap on Overflow*/}}); 1762495SN/A 0x1: addu({{ Rd.sw = Rs.sw + Rt.sw;}}); 1772616SN/A 0x2: sub({{ Rd.sw = Rs.sw - Rt.sw; /*Trap on Overflow*/}}); 1782495SN/A 0x3: subu({{ Rd.sw = Rs.sw - Rt.sw;}}); 1792495SN/A 0x4: and({{ Rd = Rs & Rt;}}); 1802495SN/A 0x5: or({{ Rd = Rs | Rt;}}); 1812495SN/A 0x6: xor({{ Rd = Rs ^ Rt;}}); 1822495SN/A 0x7: nor({{ Rd = ~(Rs | Rt);}}); 1832495SN/A } 1842101SN/A } 1852043SN/A } 1862025SN/A 1872495SN/A 0x5: decode HINT { 1882495SN/A 0x0: decode FUNCTION_LO { 1892495SN/A format IntOp{ 1902495SN/A 0x2: slt({{ Rd.sw = ( Rs.sw < Rt.sw ) ? 1 : 0}}); 1912495SN/A 0x3: sltu({{ Rd.uw = ( Rs.uw < Rt.uw ) ? 1 : 0}}); 1922495SN/A } 1932101SN/A } 1942084SN/A } 1952024SN/A 1962043SN/A 0x6: decode FUNCTION_LO { 1972239SN/A format Trap { 1982239SN/A 0x0: tge({{ cond = (Rs.sw >= Rt.sw); }}); 1992101SN/A 0x1: tgeu({{ cond = (Rs.uw >= Rt.uw); }}); 2002101SN/A 0x2: tlt({{ cond = (Rs.sw < Rt.sw); }}); 2012101SN/A 0x3: tltu({{ cond = (Rs.uw >= Rt.uw); }}); 2022101SN/A 0x4: teq({{ cond = (Rs.sw == Rt.sw); }}); 2032101SN/A 0x6: tne({{ cond = (Rs.sw != Rt.sw); }}); 2042101SN/A } 2052043SN/A } 2062043SN/A } 2072025SN/A 2082043SN/A 0x1: decode REGIMM_HI { 2092043SN/A 0x0: decode REGIMM_LO { 2102101SN/A format Branch { 2112101SN/A 0x0: bltz({{ cond = (Rs.sw < 0); }}); 2122101SN/A 0x1: bgez({{ cond = (Rs.sw >= 0); }}); 2132686Sksewell@umich.edu 0x2: bltzl({{ cond = (Rs.sw < 0); }}, Likely); 2142686Sksewell@umich.edu 0x3: bgezl({{ cond = (Rs.sw >= 0); }}, Likely); 2152101SN/A } 2162043SN/A } 2172025SN/A 2182043SN/A 0x1: decode REGIMM_LO { 2192239SN/A format Trap { 2202101SN/A 0x0: tgei( {{ cond = (Rs.sw >= INTIMM); }}); 2212104SN/A 0x1: tgeiu({{ cond = (Rs.uw >= INTIMM); }}); 2222101SN/A 0x2: tlti( {{ cond = (Rs.sw < INTIMM); }}); 2232101SN/A 0x3: tltiu({{ cond = (Rs.uw < INTIMM); }}); 2242101SN/A 0x4: teqi( {{ cond = (Rs.sw == INTIMM);}}); 2252101SN/A 0x6: tnei( {{ cond = (Rs.sw != INTIMM);}}); 2262101SN/A } 2272043SN/A } 2282043SN/A 2292043SN/A 0x2: decode REGIMM_LO { 2302101SN/A format Branch { 2312686Sksewell@umich.edu 0x0: bltzal({{ cond = (Rs.sw < 0); }}, Link); 2322686Sksewell@umich.edu 0x1: decode RS { 2332686Sksewell@umich.edu 0x0: bal ({{ cond = 1; }}, IsCall, Link); 2342686Sksewell@umich.edu default: bgezal({{ cond = (Rs.sw >= 0); }}, Link); 2352686Sksewell@umich.edu } 2362686Sksewell@umich.edu 0x2: bltzall({{ cond = (Rs.sw < 0); }}, Link, Likely); 2372686Sksewell@umich.edu 0x3: bgezall({{ cond = (Rs.sw >= 0); }}, Link, Likely); 2382101SN/A } 2392043SN/A } 2402043SN/A 2412043SN/A 0x3: decode REGIMM_LO { 2422101SN/A format WarnUnimpl { 2432101SN/A 0x7: synci(); 2442101SN/A } 2452043SN/A } 2462043SN/A } 2472043SN/A 2482123SN/A format Jump { 2492239SN/A 0x2: j({{ NNPC = (NPC & 0xF0000000) | (JMPTARG << 2);}}); 2502686Sksewell@umich.edu 0x3: jal({{ NNPC = (NPC & 0xF0000000) | (JMPTARG << 2); }}, IsCall, 2512686Sksewell@umich.edu Link); 2522043SN/A } 2532043SN/A 2542100SN/A format Branch { 2552686Sksewell@umich.edu 0x4: decode RS_RT { 2562686Sksewell@umich.edu 0x0: b({{ cond = 1; }}); 2572686Sksewell@umich.edu default: beq({{ cond = (Rs.sw == Rt.sw); }}); 2582686Sksewell@umich.edu } 2592239SN/A 0x5: bne({{ cond = (Rs.sw != Rt.sw); }}); 2602686Sksewell@umich.edu 0x6: blez({{ cond = (Rs.sw <= 0); }}); 2612686Sksewell@umich.edu 0x7: bgtz({{ cond = (Rs.sw > 0); }}); 2622043SN/A } 2632084SN/A } 2642024SN/A 2652101SN/A 0x1: decode OPCODE_LO { 2662686Sksewell@umich.edu format IntImmOp { 2672239SN/A 0x0: addi({{ Rt.sw = Rs.sw + imm; /*Trap If Overflow*/}}); 2682239SN/A 0x1: addiu({{ Rt.sw = Rs.sw + imm;}}); 2692239SN/A 0x2: slti({{ Rt.sw = ( Rs.sw < imm) ? 1 : 0 }}); 2702495SN/A 0x3: sltiu({{ Rt.uw = ( Rs.uw < (uint32_t)sextImm ) ? 1 : 0 }}); 2712495SN/A 0x4: andi({{ Rt.sw = Rs.sw & zextImm;}}); 2722495SN/A 0x5: ori({{ Rt.sw = Rs.sw | zextImm;}}); 2732495SN/A 0x6: xori({{ Rt.sw = Rs.sw ^ zextImm;}}); 2742495SN/A 2752495SN/A 0x7: decode RS { 2762495SN/A 0x0: lui({{ Rt = imm << 16}}); 2772495SN/A } 2782084SN/A } 2792084SN/A } 2802024SN/A 2812101SN/A 0x2: decode OPCODE_LO { 2822101SN/A //Table A-11 MIPS32 COP0 Encoding of rs Field 2832101SN/A 0x0: decode RS_MSB { 2842101SN/A 0x0: decode RS { 2852686Sksewell@umich.edu format CP0Control { 2862686Sksewell@umich.edu 0x0: mfc0({{ Rt = xc->readMiscReg(RD << 5 | SEL); }}); 2872686Sksewell@umich.edu 0x4: mtc0({{ xc->setMiscReg(RD << 5 | SEL, Rt); }}); 2882686Sksewell@umich.edu } 2892052SN/A 2902686Sksewell@umich.edu format MipsMT { 2912686Sksewell@umich.edu 0x8: mftr(); 2922686Sksewell@umich.edu 0xC: mttr(); 2932101SN/A 0xB: decode RD { 2942101SN/A 0x0: decode SC { 2952686Sksewell@umich.edu 0x0: dvpe(); 2962686Sksewell@umich.edu 0x1: evpe(); 2972101SN/A } 2982101SN/A 0x1: decode SC { 2992686Sksewell@umich.edu 0x0: dmt(); 3002686Sksewell@umich.edu 0x1: emt(); 3012686Sksewell@umich.edu 0xC: decode SC { 3022686Sksewell@umich.edu 0x0: di(); 3032686Sksewell@umich.edu 0x1: ei(); 3042686Sksewell@umich.edu } 3052101SN/A } 3062101SN/A } 3072686Sksewell@umich.edu } 3082027SN/A 3092686Sksewell@umich.edu format FailUnimpl { 3102686Sksewell@umich.edu 0xA: rdpgpr(); 3112686Sksewell@umich.edu 0xE: wrpgpr(); 3122101SN/A } 3132101SN/A } 3142101SN/A 3152101SN/A //Table A-12 MIPS32 COP0 Encoding of Function Field When rs=CO 3162101SN/A 0x1: decode FUNCTION { 3172686Sksewell@umich.edu format FailUnimpl { 3182686Sksewell@umich.edu 0x01: tlbr(); 3192686Sksewell@umich.edu 0x02: tlbwi(); 3202686Sksewell@umich.edu 0x06: tlbwr(); 3212686Sksewell@umich.edu 0x08: tlbp(); 3222101SN/A 3232101SN/A 0x18: eret(); 3242101SN/A 0x1F: deret(); 3252101SN/A 0x20: wait(); 3262101SN/A } 3272101SN/A } 3282043SN/A } 3292027SN/A 3302101SN/A //Table A-13 MIPS32 COP1 Encoding of rs Field 3312101SN/A 0x1: decode RS_MSB { 3322041SN/A 3332101SN/A 0x0: decode RS_HI { 3342101SN/A 0x0: decode RS_LO { 3352686Sksewell@umich.edu format CP1Control { 3362573SN/A 0x0: mfc1 ({{ Rt.uw = Fs.uw<31:0>; }}); 3372495SN/A 3382495SN/A 0x2: cfc1({{ 3392573SN/A switch (FS) 3402573SN/A { 3412573SN/A case 0: 3422616SN/A Rt = FIR; 3432573SN/A break; 3442573SN/A case 25: 3452616SN/A Rt = 0 | (FCSR & 0xFE000000) >> 24 | (FCSR & 0x00800000) >> 23; 3462573SN/A break; 3472573SN/A case 26: 3482616SN/A Rt = 0 | (FCSR & 0x0003F07C); 3492573SN/A break; 3502573SN/A case 28: 3512616SN/A Rt = 0 | (FCSR & 0x00000F80) | (FCSR & 0x01000000) >> 21 | (FCSR & 0x00000003); 3522573SN/A break; 3532573SN/A case 31: 3542616SN/A Rt = FCSR; 3552573SN/A break; 3562573SN/A default: 3572686Sksewell@umich.edu panic("FP Control Value (%d) Not Valid"); 3582573SN/A } 3592573SN/A }}); 3602573SN/A 3612686Sksewell@umich.edu 0x3: mfhc1({{ Rt.uw = Fs.ud<63:32>;}}); 3622686Sksewell@umich.edu 3632686Sksewell@umich.edu 0x4: mtc1 ({{ Fs.uw = Rt.uw; }}); 3642686Sksewell@umich.edu 3652573SN/A 0x6: ctc1({{ 3662573SN/A switch (FS) 3672573SN/A { 3682573SN/A case 25: 3692616SN/A FCSR = 0 | (Rt.uw<7:1> << 25) // move 31...25 3702616SN/A | (FCSR & 0x01000000) // bit 24 3712616SN/A | (FCSR & 0x004FFFFF);// bit 22...0 3722573SN/A break; 3732573SN/A 3742573SN/A case 26: 3752616SN/A FCSR = 0 | (FCSR & 0xFFFC0000) // move 31...18 3762573SN/A | Rt.uw<17:12> << 12 // bit 17...12 3772616SN/A | (FCSR & 0x00000F80) << 7// bit 11...7 3782573SN/A | Rt.uw<6:2> << 2 // bit 6...2 3792616SN/A | (FCSR & 0x00000002); // bit 1...0 3802573SN/A break; 3812573SN/A 3822573SN/A case 28: 3832616SN/A FCSR = 0 | (FCSR & 0xFE000000) // move 31...25 3842573SN/A | Rt.uw<2:2> << 24 // bit 24 3852616SN/A | (FCSR & 0x00FFF000) << 23// bit 23...12 3862573SN/A | Rt.uw<11:7> << 7 // bit 24 3872616SN/A | (FCSR & 0x000007E) 3882573SN/A | Rt.uw<1:0>;// bit 22...0 3892573SN/A break; 3902573SN/A 3912573SN/A case 31: 3922616SN/A FCSR = Rt.uw; 3932573SN/A break; 3942573SN/A 3952573SN/A default: 3962495SN/A panic("FP Control Value (%d) Not Available. Ignoring Access to" 3972616SN/A "Floating Control Status Register", FS); 3982495SN/A } 3992495SN/A }}); 4002686Sksewell@umich.edu 4012686Sksewell@umich.edu 0x7: mthc1({{ 4022686Sksewell@umich.edu uint64_t fs_hi = Rt.uw; 4032686Sksewell@umich.edu uint64_t fs_lo = Fs.ud & 0x0FFFFFFFF; 4042686Sksewell@umich.edu Fs.ud = (fs_hi << 32) | fs_lo; 4052686Sksewell@umich.edu }}); 4062686Sksewell@umich.edu 4072101SN/A } 4082101SN/A } 4092025SN/A 4102101SN/A 0x1: decode ND { 4112686Sksewell@umich.edu format Branch { 4122686Sksewell@umich.edu 0x0: decode TF { 4132686Sksewell@umich.edu 0x0: bc1f({{ cond = getCondCode(FCSR, BRANCH_CC) == 0; 4142686Sksewell@umich.edu }}); 4152686Sksewell@umich.edu 0x1: bc1t({{ cond = getCondCode(FCSR, BRANCH_CC) == 1; 4162686Sksewell@umich.edu }}); 4172101SN/A } 4182686Sksewell@umich.edu 0x1: decode TF { 4192686Sksewell@umich.edu 0x0: bc1fl({{ cond = getCondCode(FCSR, BRANCH_CC) == 0; 4202686Sksewell@umich.edu }}, Likely); 4212686Sksewell@umich.edu 0x1: bc1tl({{ cond = getCondCode(FCSR, BRANCH_CC) == 1; 4222686Sksewell@umich.edu }}, Likely); 4232101SN/A } 4242101SN/A } 4252101SN/A } 4262043SN/A } 4272027SN/A 4282101SN/A 0x1: decode RS_HI { 4292101SN/A 0x2: decode RS_LO { 4302101SN/A //Table A-14 MIPS32 COP1 Encoding of Function Field When rs=S 4312686Sksewell@umich.edu //(( single-precision floating point)) 4322572SN/A 0x0: decode FUNCTION_HI { 4332572SN/A 0x0: decode FUNCTION_LO { 4342101SN/A format FloatOp { 4352601SN/A 0x0: add_s({{ Fd.sf = Fs.sf + Ft.sf;}}); 4362601SN/A 0x1: sub_s({{ Fd.sf = Fs.sf - Ft.sf;}}); 4372601SN/A 0x2: mul_s({{ Fd.sf = Fs.sf * Ft.sf;}}); 4382601SN/A 0x3: div_s({{ Fd.sf = Fs.sf / Ft.sf;}}); 4392601SN/A 0x4: sqrt_s({{ Fd.sf = sqrt(Fs.sf);}}); 4402601SN/A 0x5: abs_s({{ Fd.sf = fabs(Fs.sf);}}); 4412601SN/A 0x6: mov_s({{ Fd.sf = Fs.sf;}}); 4422686Sksewell@umich.edu 0x7: neg_s({{ Fd.sf = -Fs.sf;}}); 4432101SN/A } 4442101SN/A } 4452027SN/A 4462572SN/A 0x1: decode FUNCTION_LO { 4472686Sksewell@umich.edu format FloatConvertOp { 4482686Sksewell@umich.edu 0x0: round_l_s({{ val = Fs.sf; }}, ToLong, 4492686Sksewell@umich.edu Round); 4502686Sksewell@umich.edu 0x1: trunc_l_s({{ val = Fs.sf; }}, ToLong, 4512686Sksewell@umich.edu Trunc); 4522686Sksewell@umich.edu 0x2: ceil_l_s({{ val = Fs.sf; }}, ToLong, 4532686Sksewell@umich.edu Ceil); 4542686Sksewell@umich.edu 0x3: floor_l_s({{ val = Fs.sf; }}, ToLong, 4552686Sksewell@umich.edu Floor); 4562686Sksewell@umich.edu 0x4: round_w_s({{ val = Fs.sf; }}, ToWord, 4572686Sksewell@umich.edu Round); 4582686Sksewell@umich.edu 0x5: trunc_w_s({{ val = Fs.sf; }}, ToWord, 4592686Sksewell@umich.edu Trunc); 4602686Sksewell@umich.edu 0x6: ceil_w_s({{ val = Fs.sf; }}, ToWord, 4612686Sksewell@umich.edu Ceil); 4622686Sksewell@umich.edu 0x7: floor_w_s({{ val = Fs.sf; }}, ToWord, 4632686Sksewell@umich.edu Floor); 4642101SN/A } 4652101SN/A } 4662027SN/A 4672572SN/A 0x2: decode FUNCTION_LO { 4682101SN/A 0x1: decode MOVCF { 4692686Sksewell@umich.edu format BasicOp { 4702686Sksewell@umich.edu 0x0: movf_s({{ Fd = (getCondCode(FCSR,CC) == 0) ? Fs : Fd; }}); 4712686Sksewell@umich.edu 0x1: movt_s({{ Fd = (getCondCode(FCSR,CC) == 1) ? Fs : Fd; }}); 4722101SN/A } 4732101SN/A } 4742027SN/A 4752686Sksewell@umich.edu format BasicOp { 4762686Sksewell@umich.edu 0x2: movz_s({{ Fd = (Rt == 0) ? Fs : Fd; }}); 4772686Sksewell@umich.edu 0x3: movn_s({{ Fd = (Rt != 0) ? Fs : Fd; }}); 4782686Sksewell@umich.edu } 4792686Sksewell@umich.edu 4802602SN/A format FloatOp { 4812602SN/A 0x5: recip_s({{ Fd = 1 / Fs; }}); 4822602SN/A 0x6: rsqrt_s({{ Fd = 1 / sqrt(Fs);}}); 4832101SN/A } 4842101SN/A } 4852027SN/A 4862572SN/A 0x4: decode FUNCTION_LO { 4872603SN/A format FloatConvertOp { 4882686Sksewell@umich.edu 0x1: cvt_d_s({{ val = Fs.sf; }}, ToDouble); 4892686Sksewell@umich.edu 0x4: cvt_w_s({{ val = Fs.sf; }}, ToWord); 4902686Sksewell@umich.edu 0x5: cvt_l_s({{ val = Fs.sf; }}, ToLong); 4912101SN/A } 4922055SN/A 4932686Sksewell@umich.edu 0x6: FloatOp::cvt_ps_s({{ 4942686Sksewell@umich.edu Fd.ud = (uint64_t) Fs.uw << 32 | 4952686Sksewell@umich.edu (uint64_t) Ft.uw; 4962101SN/A }}); 4972101SN/A } 4982602SN/A 4992602SN/A 0x6: decode FUNCTION_LO { 5002603SN/A format FloatCompareOp { 5012686Sksewell@umich.edu 0x0: c_f_s({{ cond = 0; }}, SinglePrecision, 5022686Sksewell@umich.edu UnorderedFalse); 5032686Sksewell@umich.edu 0x1: c_un_s({{ cond = 0; }}, SinglePrecision, 5042686Sksewell@umich.edu UnorderedTrue); 5052686Sksewell@umich.edu 0x2: c_eq_s({{ cond = (Fs.sf == Ft.sf); }}, 5062686Sksewell@umich.edu UnorderedFalse); 5072686Sksewell@umich.edu 0x3: c_ueq_s({{ cond = (Fs.sf == Ft.sf); }}, 5082686Sksewell@umich.edu UnorderedTrue); 5092686Sksewell@umich.edu 0x4: c_olt_s({{ cond = (Fs.sf < Ft.sf); }}, 5102686Sksewell@umich.edu UnorderedFalse); 5112686Sksewell@umich.edu 0x5: c_ult_s({{ cond = (Fs.sf < Ft.sf); }}, 5122686Sksewell@umich.edu UnorderedTrue); 5132686Sksewell@umich.edu 0x6: c_ole_s({{ cond = (Fs.sf <= Ft.sf); }}, 5142686Sksewell@umich.edu UnorderedFalse); 5152686Sksewell@umich.edu 0x7: c_ule_s({{ cond = (Fs.sf <= Ft.sf); }}, 5162686Sksewell@umich.edu UnorderedTrue); 5172602SN/A } 5182602SN/A } 5192602SN/A 5202602SN/A 0x7: decode FUNCTION_LO { 5212686Sksewell@umich.edu format FloatCompareOp { 5222686Sksewell@umich.edu 0x0: c_sf_s({{ cond = 0; }}, SinglePrecision, 5232686Sksewell@umich.edu UnorderedFalse, QnanException); 5242686Sksewell@umich.edu 0x1: c_ngle_s({{ cond = 0; }}, SinglePrecision, 5252686Sksewell@umich.edu UnorderedTrue, QnanException); 5262686Sksewell@umich.edu 0x2: c_seq_s({{ cond = (Fs.sf == Ft.sf);}}, 5272686Sksewell@umich.edu UnorderedFalse, QnanException); 5282686Sksewell@umich.edu 0x3: c_ngl_s({{ cond = (Fs.sf == Ft.sf); }}, 5292686Sksewell@umich.edu UnorderedTrue, QnanException); 5302686Sksewell@umich.edu 0x4: c_lt_s({{ cond = (Fs.sf < Ft.sf); }}, 5312686Sksewell@umich.edu UnorderedFalse, QnanException); 5322686Sksewell@umich.edu 0x5: c_nge_s({{ cond = (Fs.sf < Ft.sf); }}, 5332686Sksewell@umich.edu UnorderedTrue, QnanException); 5342686Sksewell@umich.edu 0x6: c_le_s({{ cond = (Fs.sf <= Ft.sf); }}, 5352686Sksewell@umich.edu UnorderedFalse, QnanException); 5362686Sksewell@umich.edu 0x7: c_ngt_s({{ cond = (Fs.sf <= Ft.sf); }}, 5372686Sksewell@umich.edu UnorderedTrue, QnanException); 5382602SN/A } 5392602SN/A } 5402101SN/A } 5412055SN/A 5422101SN/A //Table A-15 MIPS32 COP1 Encoding of Function Field When rs=D 5432572SN/A 0x1: decode FUNCTION_HI { 5442572SN/A 0x0: decode FUNCTION_LO { 5452101SN/A format FloatOp { 5462686Sksewell@umich.edu 0x0: add_d({{ Fd.df = Fs.df + Ft.df; }}); 5472686Sksewell@umich.edu 0x1: sub_d({{ Fd.df = Fs.df - Ft.df; }}); 5482686Sksewell@umich.edu 0x2: mul_d({{ Fd.df = Fs.df * Ft.df; }}); 5492686Sksewell@umich.edu 0x3: div_d({{ Fd.df = Fs.df / Ft.df; }}); 5502686Sksewell@umich.edu 0x4: sqrt_d({{ Fd.df = sqrt(Fs.df); }}); 5512686Sksewell@umich.edu 0x5: abs_d({{ Fd.df = fabs(Fs.df); }}); 5522686Sksewell@umich.edu 0x6: mov_d({{ Fd.df = Fs.df; }}); 5532686Sksewell@umich.edu 0x7: neg_d({{ Fd.df = -1 * Fs.df; }}); 5542101SN/A } 5552101SN/A } 5562027SN/A 5572572SN/A 0x1: decode FUNCTION_LO { 5582686Sksewell@umich.edu format FloatConvertOp { 5592686Sksewell@umich.edu 0x0: round_l_d({{ val = Fs.df; }}, ToLong, 5602686Sksewell@umich.edu Round); 5612686Sksewell@umich.edu 0x1: trunc_l_d({{ val = Fs.df; }}, ToLong, 5622686Sksewell@umich.edu Trunc); 5632686Sksewell@umich.edu 0x2: ceil_l_d({{ val = Fs.df; }}, ToLong, 5642686Sksewell@umich.edu Ceil); 5652686Sksewell@umich.edu 0x3: floor_l_d({{ val = Fs.df; }}, ToLong, 5662686Sksewell@umich.edu Floor); 5672686Sksewell@umich.edu 0x4: round_w_d({{ val = Fs.df; }}, ToWord, 5682686Sksewell@umich.edu Round); 5692686Sksewell@umich.edu 0x5: trunc_w_d({{ val = Fs.df; }}, ToWord, 5702686Sksewell@umich.edu Trunc); 5712686Sksewell@umich.edu 0x6: ceil_w_d({{ val = Fs.df; }}, ToWord, 5722686Sksewell@umich.edu Ceil); 5732686Sksewell@umich.edu 0x7: floor_w_d({{ val = Fs.df; }}, ToWord, 5742686Sksewell@umich.edu Floor); 5752101SN/A } 5762101SN/A } 5772027SN/A 5782572SN/A 0x2: decode FUNCTION_LO { 5792101SN/A 0x1: decode MOVCF { 5802686Sksewell@umich.edu format BasicOp { 5812686Sksewell@umich.edu 0x0: movf_d({{ Fd.df = (getCondCode(FCSR,CC) == 0) ? 5822686Sksewell@umich.edu Fs.df : Fd.df; 5832686Sksewell@umich.edu }}); 5842686Sksewell@umich.edu 0x1: movt_d({{ Fd.df = (getCondCode(FCSR,CC) == 1) ? 5852686Sksewell@umich.edu Fs.df : Fd.df; 5862686Sksewell@umich.edu }}); 5872101SN/A } 5882101SN/A } 5892027SN/A 5902101SN/A format BasicOp { 5912686Sksewell@umich.edu 0x2: movz_d({{ Fd.df = (Rt == 0) ? Fs.df : Fd.df; }}); 5922686Sksewell@umich.edu 0x3: movn_d({{ Fd.df = (Rt != 0) ? Fs.df : Fd.df; }}); 5932101SN/A } 5942027SN/A 5952605SN/A format FloatOp { 5962686Sksewell@umich.edu 0x5: recip_d({{ Fd.df = 1 / Fs.df }}); 5972605SN/A 0x6: rsqrt_d({{ Fd.df = 1 / sqrt(Fs.df) }}); 5982101SN/A } 5992101SN/A } 6002027SN/A 6012572SN/A 0x4: decode FUNCTION_LO { 6022686Sksewell@umich.edu format FloatConvertOp { 6032686Sksewell@umich.edu 0x0: cvt_s_d({{ val = Fs.df; }}, ToSingle); 6042686Sksewell@umich.edu 0x4: cvt_w_d({{ val = Fs.df; }}, ToWord); 6052686Sksewell@umich.edu 0x5: cvt_l_d({{ val = Fs.df; }}, ToLong); 6062101SN/A } 6072101SN/A } 6082602SN/A 6092602SN/A 0x6: decode FUNCTION_LO { 6102604SN/A format FloatCompareOp { 6112686Sksewell@umich.edu 0x0: c_f_d({{ cond = 0; }}, DoublePrecision, 6122686Sksewell@umich.edu UnorderedFalse); 6132686Sksewell@umich.edu 0x1: c_un_d({{ cond = 0; }}, DoublePrecision, 6142686Sksewell@umich.edu UnorderedTrue); 6152686Sksewell@umich.edu 0x2: c_eq_d({{ cond = (Fs.df == Ft.df); }}, 6162686Sksewell@umich.edu UnorderedFalse); 6172686Sksewell@umich.edu 0x3: c_ueq_d({{ cond = (Fs.df == Ft.df); }}, 6182686Sksewell@umich.edu UnorderedTrue); 6192686Sksewell@umich.edu 0x4: c_olt_d({{ cond = (Fs.df < Ft.df); }}, 6202686Sksewell@umich.edu UnorderedFalse); 6212686Sksewell@umich.edu 0x5: c_ult_d({{ cond = (Fs.df < Ft.df); }}, 6222686Sksewell@umich.edu UnorderedTrue); 6232686Sksewell@umich.edu 0x6: c_ole_d({{ cond = (Fs.df <= Ft.df); }}, 6242686Sksewell@umich.edu UnorderedFalse); 6252686Sksewell@umich.edu 0x7: c_ule_d({{ cond = (Fs.df <= Ft.df); }}, 6262686Sksewell@umich.edu UnorderedTrue); 6272602SN/A } 6282602SN/A } 6292602SN/A 6302602SN/A 0x7: decode FUNCTION_LO { 6312686Sksewell@umich.edu format FloatCompareOp { 6322686Sksewell@umich.edu 0x0: c_sf_d({{ cond = 0; }}, DoublePrecision, 6332686Sksewell@umich.edu UnorderedFalse, QnanException); 6342686Sksewell@umich.edu 0x1: c_ngle_d({{ cond = 0; }}, DoublePrecision, 6352686Sksewell@umich.edu UnorderedTrue, QnanException); 6362686Sksewell@umich.edu 0x2: c_seq_d({{ cond = (Fs.df == Ft.df); }}, 6372686Sksewell@umich.edu UnorderedFalse, QnanException); 6382686Sksewell@umich.edu 0x3: c_ngl_d({{ cond = (Fs.df == Ft.df); }}, 6392686Sksewell@umich.edu UnorderedTrue, QnanException); 6402686Sksewell@umich.edu 0x4: c_lt_d({{ cond = (Fs.df < Ft.df); }}, 6412686Sksewell@umich.edu UnorderedFalse, QnanException); 6422686Sksewell@umich.edu 0x5: c_nge_d({{ cond = (Fs.df < Ft.df); }}, 6432686Sksewell@umich.edu UnorderedTrue, QnanException); 6442686Sksewell@umich.edu 0x6: c_le_d({{ cond = (Fs.df <= Ft.df); }}, 6452686Sksewell@umich.edu UnorderedFalse, QnanException); 6462686Sksewell@umich.edu 0x7: c_ngt_d({{ cond = (Fs.df <= Ft.df); }}, 6472686Sksewell@umich.edu UnorderedTrue, QnanException); 6482602SN/A } 6492602SN/A } 6502101SN/A } 6512027SN/A 6522101SN/A //Table A-16 MIPS32 COP1 Encoding of Function Field When rs=W 6532101SN/A 0x4: decode FUNCTION { 6542605SN/A format FloatConvertOp { 6552686Sksewell@umich.edu 0x20: cvt_s_w({{ val = Fs.uw; }}, ToSingle); 6562686Sksewell@umich.edu 0x21: cvt_d_w({{ val = Fs.uw; }}, ToDouble); 6572686Sksewell@umich.edu 0x26: FailUnimpl::cvt_ps_w(); 6582101SN/A } 6592101SN/A } 6602027SN/A 6612101SN/A //Table A-16 MIPS32 COP1 Encoding of Function Field When rs=L1 6622101SN/A //Note: "1. Format type L is legal only if 64-bit floating point operations 6632101SN/A //are enabled." 6642101SN/A 0x5: decode FUNCTION_HI { 6652686Sksewell@umich.edu format FloatConvertOp { 6662686Sksewell@umich.edu 0x20: cvt_s_l({{ val = Fs.ud; }}, ToSingle); 6672686Sksewell@umich.edu 0x21: cvt_d_l({{ val = Fs.ud; }}, ToDouble); 6682686Sksewell@umich.edu 0x26: FailUnimpl::cvt_ps_l(); 6692101SN/A } 6702101SN/A } 6712101SN/A 6722101SN/A //Table A-17 MIPS64 COP1 Encoding of Function Field When rs=PS1 6732101SN/A //Note: "1. Format type PS is legal only if 64-bit floating point operations 6742101SN/A //are enabled. " 6752572SN/A 0x6: decode FUNCTION_HI { 6762572SN/A 0x0: decode FUNCTION_LO { 6772101SN/A format Float64Op { 6782605SN/A 0x0: add_ps({{ 6792607SN/A Fd1.sf = Fs1.sf + Ft2.sf; 6802607SN/A Fd2.sf = Fs2.sf + Ft2.sf; 6812101SN/A }}); 6822605SN/A 0x1: sub_ps({{ 6832607SN/A Fd1.sf = Fs1.sf - Ft2.sf; 6842607SN/A Fd2.sf = Fs2.sf - Ft2.sf; 6852101SN/A }}); 6862605SN/A 0x2: mul_ps({{ 6872607SN/A Fd1.sf = Fs1.sf * Ft2.sf; 6882607SN/A Fd2.sf = Fs2.sf * Ft2.sf; 6892101SN/A }}); 6902605SN/A 0x5: abs_ps({{ 6912607SN/A Fd1.sf = fabs(Fs1.sf); 6922607SN/A Fd2.sf = fabs(Fs2.sf); 6932101SN/A }}); 6942605SN/A 0x6: mov_ps({{ 6952607SN/A Fd1.sf = Fs1.sf; 6962607SN/A Fd2.sf = Fs2.sf; 6972101SN/A }}); 6982605SN/A 0x7: neg_ps({{ 6992686Sksewell@umich.edu Fd1.sf = -(Fs1.sf); 7002686Sksewell@umich.edu Fd2.sf = -(Fs2.sf); 7012101SN/A }}); 7022101SN/A } 7032101SN/A } 7042101SN/A 7052572SN/A 0x2: decode FUNCTION_LO { 7062101SN/A 0x1: decode MOVCF { 7072101SN/A format Float64Op { 7082607SN/A 0x0: movf_ps({{ 7092686Sksewell@umich.edu Fd1 = (getCondCode(FCSR, CC) == 0) ? 7102686Sksewell@umich.edu Fs1 : Fd1; 7112686Sksewell@umich.edu Fd2 = (getCondCode(FCSR, CC+1) == 0) ? 7122686Sksewell@umich.edu Fs2 : Fd2; 7132607SN/A }}); 7142607SN/A 0x1: movt_ps({{ 7152686Sksewell@umich.edu Fd2 = (getCondCode(FCSR, CC) == 1) ? 7162686Sksewell@umich.edu Fs1 : Fd1; 7172686Sksewell@umich.edu Fd2 = (getCondCode(FCSR, CC+1) == 1) ? 7182686Sksewell@umich.edu Fs2 : Fd2; 7192607SN/A }}); 7202101SN/A } 7212101SN/A } 7222101SN/A 7232605SN/A format Float64Op { 7242607SN/A 0x2: movz_ps({{ 7252686Sksewell@umich.edu Fd1 = (getCondCode(FCSR, CC) == 0) ? 7262686Sksewell@umich.edu Fs1 : Fd1; 7272686Sksewell@umich.edu Fd2 = (getCondCode(FCSR, CC) == 0) ? 7282686Sksewell@umich.edu Fs2 : Fd2; 7292607SN/A }}); 7302607SN/A 0x3: movn_ps({{ 7312686Sksewell@umich.edu Fd1 = (getCondCode(FCSR, CC) == 1) ? 7322686Sksewell@umich.edu Fs1 : Fd1; 7332686Sksewell@umich.edu Fd2 = (getCondCode(FCSR, CC) == 1) ? 7342686Sksewell@umich.edu Fs2 : Fd2; 7352607SN/A }}); 7362135SN/A } 7372135SN/A 7382101SN/A } 7392101SN/A 7402572SN/A 0x4: decode FUNCTION_LO { 7412686Sksewell@umich.edu 0x0: FloatOp::cvt_s_pu({{ Fd.sf = Fs2.sf; }}); 7422101SN/A } 7432101SN/A 7442572SN/A 0x5: decode FUNCTION_LO { 7452686Sksewell@umich.edu 0x0: FloatOp::cvt_s_pl({{ Fd.sf = Fs1.sf; }}); 7462686Sksewell@umich.edu 7472101SN/A format Float64Op { 7482686Sksewell@umich.edu 0x4: pll({{ Fd.ud = (uint64_t) Fs1.uw << 32 | 7492686Sksewell@umich.edu Ft1.uw; 7502686Sksewell@umich.edu }}); 7512686Sksewell@umich.edu 0x5: plu({{ Fd.ud = (uint64_t) Fs1.uw << 32 | 7522686Sksewell@umich.edu Ft2.uw; 7532686Sksewell@umich.edu }}); 7542686Sksewell@umich.edu 0x6: pul({{ Fd.ud = (uint64_t) Fs2.uw << 32 | 7552686Sksewell@umich.edu Ft1.uw; 7562686Sksewell@umich.edu }}); 7572686Sksewell@umich.edu 0x7: puu({{ Fd.ud = (uint64_t) Fs2.uw << 32 | 7582686Sksewell@umich.edu Ft2.uw; 7592686Sksewell@umich.edu }}); 7602101SN/A } 7612101SN/A } 7622602SN/A 7632602SN/A 0x6: decode FUNCTION_LO { 7642608SN/A format FloatPSCompareOp { 7652686Sksewell@umich.edu 0x0: c_f_ps({{ cond1 = 0; }}, {{ cond2 = 0; }}, 7662686Sksewell@umich.edu UnorderedFalse); 7672686Sksewell@umich.edu 0x1: c_un_ps({{ cond1 = 0; }}, {{ cond2 = 0; }}, 7682686Sksewell@umich.edu UnorderedTrue); 7692686Sksewell@umich.edu 0x2: c_eq_ps({{ cond1 = (Fs1.sf == Ft1.sf); }}, 7702686Sksewell@umich.edu {{ cond2 = (Fs2.sf == Ft2.sf); }}, 7712686Sksewell@umich.edu UnorderedFalse); 7722686Sksewell@umich.edu 0x3: c_ueq_ps({{ cond1 = (Fs1.sf == Ft1.sf); }}, 7732686Sksewell@umich.edu {{ cond2 = (Fs2.sf == Ft2.sf); }}, 7742686Sksewell@umich.edu UnorderedTrue); 7752686Sksewell@umich.edu 0x4: c_olt_ps({{ cond1 = (Fs1.sf < Ft1.sf); }}, 7762686Sksewell@umich.edu {{ cond2 = (Fs2.sf < Ft2.sf); }}, 7772686Sksewell@umich.edu UnorderedFalse); 7782686Sksewell@umich.edu 0x5: c_ult_ps({{ cond1 = (Fs.sf < Ft.sf); }}, 7792686Sksewell@umich.edu {{ cond2 = (Fs2.sf < Ft2.sf); }}, 7802686Sksewell@umich.edu UnorderedTrue); 7812686Sksewell@umich.edu 0x6: c_ole_ps({{ cond1 = (Fs.sf <= Ft.sf); }}, 7822686Sksewell@umich.edu {{ cond2 = (Fs2.sf <= Ft2.sf); }}, 7832686Sksewell@umich.edu UnorderedFalse); 7842686Sksewell@umich.edu 0x7: c_ule_ps({{ cond1 = (Fs1.sf <= Ft1.sf); }}, 7852686Sksewell@umich.edu {{ cond2 = (Fs2.sf <= Ft2.sf); }}, 7862686Sksewell@umich.edu UnorderedTrue); 7872602SN/A } 7882602SN/A } 7892602SN/A 7902602SN/A 0x7: decode FUNCTION_LO { 7912686Sksewell@umich.edu format FloatPSCompareOp { 7922686Sksewell@umich.edu 0x0: c_sf_ps({{ cond1 = 0; }}, {{ cond2 = 0; }}, 7932686Sksewell@umich.edu UnorderedFalse, QnanException); 7942686Sksewell@umich.edu 0x1: c_ngle_ps({{ cond1 = 0; }}, 7952686Sksewell@umich.edu {{ cond2 = 0; }}, 7962686Sksewell@umich.edu UnorderedTrue, QnanException); 7972686Sksewell@umich.edu 0x2: c_seq_ps({{ cond1 = (Fs1.sf == Ft1.sf); }}, 7982686Sksewell@umich.edu {{ cond2 = (Fs2.sf == Ft2.sf); }}, 7992686Sksewell@umich.edu UnorderedFalse, QnanException); 8002686Sksewell@umich.edu 0x3: c_ngl_ps({{ cond1 = (Fs1.sf == Ft1.sf); }}, 8012686Sksewell@umich.edu {{ cond2 = (Fs2.sf == Ft2.sf); }}, 8022686Sksewell@umich.edu UnorderedTrue, QnanException); 8032686Sksewell@umich.edu 0x4: c_lt_ps({{ cond1 = (Fs1.sf < Ft1.sf); }}, 8042686Sksewell@umich.edu {{ cond2 = (Fs2.sf < Ft2.sf); }}, 8052686Sksewell@umich.edu UnorderedFalse, QnanException); 8062686Sksewell@umich.edu 0x5: c_nge_ps({{ cond1 = (Fs1.sf < Ft1.sf); }}, 8072686Sksewell@umich.edu {{ cond2 = (Fs2.sf < Ft2.sf); }}, 8082686Sksewell@umich.edu UnorderedTrue, QnanException); 8092686Sksewell@umich.edu 0x6: c_le_ps({{ cond1 = (Fs1.sf <= Ft1.sf); }}, 8102686Sksewell@umich.edu {{ cond2 = (Fs2.sf <= Ft2.sf); }}, 8112686Sksewell@umich.edu UnorderedFalse, QnanException); 8122686Sksewell@umich.edu 0x7: c_ngt_ps({{ cond1 = (Fs1.sf <= Ft1.sf); }}, 8132686Sksewell@umich.edu {{ cond2 = (Fs2.sf <= Ft2.sf); }}, 8142686Sksewell@umich.edu UnorderedTrue, QnanException); 8152602SN/A } 8162602SN/A } 8172101SN/A } 8182101SN/A } 8192101SN/A } 8202101SN/A } 8212101SN/A 8222101SN/A //Table A-19 MIPS32 COP2 Encoding of rs Field 8232101SN/A 0x2: decode RS_MSB { 8242686Sksewell@umich.edu format FailUnimpl { 8252686Sksewell@umich.edu 0x0: decode RS_HI { 8262686Sksewell@umich.edu 0x0: decode RS_LO { 8272101SN/A 0x0: mfc2(); 8282101SN/A 0x2: cfc2(); 8292101SN/A 0x3: mfhc2(); 8302101SN/A 0x4: mtc2(); 8312101SN/A 0x6: ctc2(); 8322101SN/A 0x7: mftc2(); 8332101SN/A } 8342101SN/A 8352686Sksewell@umich.edu 0x1: decode ND { 8362686Sksewell@umich.edu 0x0: decode TF { 8372101SN/A 0x0: bc2f(); 8382101SN/A 0x1: bc2t(); 8392101SN/A } 8402101SN/A 8412686Sksewell@umich.edu 0x1: decode TF { 8422101SN/A 0x0: bc2fl(); 8432101SN/A 0x1: bc2tl(); 8442101SN/A } 8452101SN/A } 8462101SN/A } 8472101SN/A } 8482101SN/A } 8492101SN/A 8502101SN/A //Table A-20 MIPS64 COP1X Encoding of Function Field 1 8512101SN/A //Note: "COP1X instructions are legal only if 64-bit floating point 8522101SN/A //operations are enabled." 8532101SN/A 0x3: decode FUNCTION_HI { 8542101SN/A 0x0: decode FUNCTION_LO { 8552686Sksewell@umich.edu format LoadIndexedMemory { 8562686Sksewell@umich.edu 0x0: lwxc1({{ Ft.uw = Mem.uw;}}); 8572686Sksewell@umich.edu 0x1: ldxc1({{ Ft.ud = Mem.ud;}}); 8582686Sksewell@umich.edu 0x5: luxc1({{ Ft.uw = Mem.ud;}}); 8592101SN/A } 8602043SN/A } 8612027SN/A 8622101SN/A 0x1: decode FUNCTION_LO { 8632686Sksewell@umich.edu format StoreIndexedMemory { 8642686Sksewell@umich.edu 0x0: swxc1({{ Mem.uw = Ft.uw;}}); 8652686Sksewell@umich.edu 0x1: sdxc1({{ Mem.ud = Ft.ud;}}); 8662686Sksewell@umich.edu 0x5: suxc1({{ Mem.ud = Ft.ud;}}); 8672046SN/A } 8682084SN/A 8692686Sksewell@umich.edu 0x7: Prefetch::prefx({{ EA = Rs + Rt; }}); 8702101SN/A } 8712027SN/A 8722686Sksewell@umich.edu 0x3: decode FUNCTION_LO { 8732686Sksewell@umich.edu 0x6: Float64Op::alnv_ps({{ if (Rs<2:0> == 0) { 8742686Sksewell@umich.edu Fd.ud = Fs.ud; 8752686Sksewell@umich.edu } else if (Rs<2:0> == 4) { 8762686Sksewell@umich.edu #if BYTE_ORDER == BIG_ENDIAN 8772686Sksewell@umich.edu Fd.ud = Fs.ud<31:0> << 32 | 8782686Sksewell@umich.edu Ft.ud<63:32>; 8792686Sksewell@umich.edu #elif BYTE_ORDER == LITTLE_ENDIAN 8802686Sksewell@umich.edu Fd.ud = Ft.ud<31:0> << 32 | 8812686Sksewell@umich.edu Fs.ud<63:32>; 8822686Sksewell@umich.edu #endif 8832686Sksewell@umich.edu } else { 8842686Sksewell@umich.edu Fd.ud = Fd.ud; 8852686Sksewell@umich.edu } 8862686Sksewell@umich.edu }}); 8872686Sksewell@umich.edu } 8882027SN/A 8892686Sksewell@umich.edu format FloatAccOp { 8902686Sksewell@umich.edu 0x4: decode FUNCTION_LO { 8912686Sksewell@umich.edu 0x0: madd_s({{ Fd.sf = (Fs.sf * Ft.sf) + Fr.sf; }}); 8922686Sksewell@umich.edu 0x1: madd_d({{ Fd.df = (Fs.df * Ft.df) + Fr.df; }}); 8932686Sksewell@umich.edu 0x6: madd_ps({{ 8942686Sksewell@umich.edu Fd1.sf = (Fs1.df * Ft1.df) + Fr1.df; 8952686Sksewell@umich.edu Fd2.sf = (Fs2.df * Ft2.df) + Fr2.df; 8962686Sksewell@umich.edu }}); 8972686Sksewell@umich.edu } 8982027SN/A 8992686Sksewell@umich.edu 0x5: decode FUNCTION_LO { 9002686Sksewell@umich.edu 0x0: msub_s({{ Fd.sf = (Fs.sf * Ft.sf) - Fr.sf; }}); 9012686Sksewell@umich.edu 0x1: msub_d({{ Fd.df = (Fs.df * Ft.df) - Fr.df; }}); 9022686Sksewell@umich.edu 0x6: msub_ps({{ 9032686Sksewell@umich.edu Fd1.sf = (Fs1.df * Ft1.df) - Fr1.df; 9042686Sksewell@umich.edu Fd2.sf = (Fs2.df * Ft2.df) - Fr2.df; 9052686Sksewell@umich.edu }}); 9062686Sksewell@umich.edu } 9072027SN/A 9082686Sksewell@umich.edu 0x6: decode FUNCTION_LO { 9092686Sksewell@umich.edu 0x0: nmadd_s({{ Fd.sf = (-1 * Fs.sf * Ft.sf) - Fr.sf; }}); 9102686Sksewell@umich.edu 0x1: nmadd_d({{ Fd.df = (-1 * Fs.df * Ft.df) + Fr.df; }}); 9112686Sksewell@umich.edu 0x6: nmadd_ps({{ 9122686Sksewell@umich.edu Fd1.sf = -((Fs1.df * Ft1.df) + Fr1.df); 9132686Sksewell@umich.edu Fd2.sf = -((Fs2.df * Ft2.df) + Fr2.df); 9142686Sksewell@umich.edu }}); 9152686Sksewell@umich.edu } 9162027SN/A 9172686Sksewell@umich.edu 0x7: decode FUNCTION_LO { 9182686Sksewell@umich.edu 0x0: nmsub_s({{ Fd.sf = (-1 * Fs.sf * Ft.sf) - Fr.sf; }}); 9192686Sksewell@umich.edu 0x1: nmsub_d({{ Fd.df = (-1 * Fs.df * Ft.df) - Fr.df; }}); 9202686Sksewell@umich.edu 0x6: nmsub_ps({{ 9212686Sksewell@umich.edu Fd1.sf = -((Fs1.df * Ft1.df) - Fr1.df); 9222686Sksewell@umich.edu Fd2.sf = -((Fs2.df * Ft2.df) - Fr2.df); 9232686Sksewell@umich.edu }}); 9242046SN/A } 9252686Sksewell@umich.edu 9262101SN/A } 9272043SN/A } 9282025SN/A 9292686Sksewell@umich.edu format Branch { 9302686Sksewell@umich.edu 0x4: beql({{ cond = (Rs.sw == Rt.sw); }}, Likely); 9312686Sksewell@umich.edu 0x5: bnel({{ cond = (Rs.sw != Rt.sw); }}, Likely); 9322686Sksewell@umich.edu 0x6: blezl({{ cond = (Rs.sw <= 0); }}, Likely); 9332686Sksewell@umich.edu 0x7: bgtzl({{ cond = (Rs.sw > 0); }}, Likely); 9342046SN/A } 9352084SN/A } 9362024SN/A 9372686Sksewell@umich.edu 0x3: decode OPCODE_LO { 9382043SN/A //Table A-5 MIPS32 SPECIAL2 Encoding of Function Field 9392043SN/A 0x4: decode FUNCTION_HI { 9402686Sksewell@umich.edu 0x0: decode FUNCTION_LO { 9412686Sksewell@umich.edu 0x2: IntOp::mul({{ int64_t temp1 = Rs.sd * Rt.sd; 9422686Sksewell@umich.edu Rd.sw = temp1<31:0> 9432686Sksewell@umich.edu }}); 9442027SN/A 9452686Sksewell@umich.edu format HiLoOp { 9462686Sksewell@umich.edu 0x0: madd({{ val = ((int64_t) HI << 32 | LO) + 9472686Sksewell@umich.edu (Rs.sd * Rt.sd); 9482686Sksewell@umich.edu }}); 9492686Sksewell@umich.edu 0x1: maddu({{ val = ((uint64_t) HI << 32 | LO) + 9502686Sksewell@umich.edu (Rs.ud * Rt.ud); 9512686Sksewell@umich.edu }}); 9522686Sksewell@umich.edu 0x4: msub({{ val = ((int64_t) HI << 32 | LO) - 9532686Sksewell@umich.edu (Rs.sd * Rt.sd); 9542686Sksewell@umich.edu }}); 9552686Sksewell@umich.edu 0x5: msubu({{ val = ((uint64_t) HI << 32 | LO) - 9562686Sksewell@umich.edu (Rs.ud * Rt.ud); 9572686Sksewell@umich.edu }}); 9582043SN/A } 9592043SN/A } 9602027SN/A 9612043SN/A 0x4: decode FUNCTION_LO { 9622101SN/A format BasicOp { 9632686Sksewell@umich.edu 0x0: clz({{ int cnt = 32; 9642686Sksewell@umich.edu for (int idx = 31; idx >= 0; idx--) { 9652686Sksewell@umich.edu if( Rs<idx:idx> == 1) { 9662686Sksewell@umich.edu cnt = 31 - idx; 9672686Sksewell@umich.edu break; 9682686Sksewell@umich.edu } 9692686Sksewell@umich.edu } 9702686Sksewell@umich.edu Rd.uw = cnt; 9712686Sksewell@umich.edu }}); 9722686Sksewell@umich.edu 0x1: clo({{ int cnt = 32; 9732686Sksewell@umich.edu for (int idx = 31; idx >= 0; idx--) { 9742686Sksewell@umich.edu if( Rs<idx:idx> == 0) { 9752686Sksewell@umich.edu cnt = 31 - idx; 9762686Sksewell@umich.edu break; 9772686Sksewell@umich.edu } 9782686Sksewell@umich.edu } 9792686Sksewell@umich.edu Rd.uw = cnt; 9802686Sksewell@umich.edu }}); 9812101SN/A } 9822043SN/A } 9832027SN/A 9842043SN/A 0x7: decode FUNCTION_LO { 9852686Sksewell@umich.edu 0x7: FailUnimpl::sdbbp(); 9862043SN/A } 9872043SN/A } 9882024SN/A 9892686Sksewell@umich.edu //Table A-6 MIPS32 SPECIAL3 Encoding of Function Field for Release 2 9902686Sksewell@umich.edu //of the Architecture 9912043SN/A 0x7: decode FUNCTION_HI { 9922101SN/A 0x0: decode FUNCTION_LO { 9932686Sksewell@umich.edu format BasicOp { 9942686Sksewell@umich.edu 0x1: ext({{ Rt.uw = bits(Rs.uw, MSB+LSB, LSB); }}); 9952686Sksewell@umich.edu 0x4: ins({{ Rt.uw = bits(Rt.uw, 31, MSB+1) << (MSB+1) | 9962686Sksewell@umich.edu bits(Rs.uw, MSB-LSB, 0) << LSB | 9972686Sksewell@umich.edu bits(Rt.uw, LSB-1, 0); 9982686Sksewell@umich.edu }}); 9992046SN/A } 10002101SN/A } 10012026SN/A 10022101SN/A 0x1: decode FUNCTION_LO { 10032686Sksewell@umich.edu format MipsMT { 10042084SN/A 0x0: fork(); 10052084SN/A 0x1: yield(); 10062061SN/A } 10072101SN/A } 10082061SN/A 10092101SN/A //Table A-10 MIPS32 BSHFL Encoding of sa Field 10102101SN/A 0x4: decode SA { 10112046SN/A format BasicOp { 10122686Sksewell@umich.edu 0x02: wsbh({{ Rd.uw = Rt.uw<23:16> << 24 | 10132686Sksewell@umich.edu Rt.uw<31:24> << 16 | 10142686Sksewell@umich.edu Rt.uw<7:0> << 8 | 10152686Sksewell@umich.edu Rt.uw<15:8>; 10162686Sksewell@umich.edu }}); 10172616SN/A 0x10: seb({{ Rd.sw = Rt.sw<7:0>}}); 10182616SN/A 0x18: seh({{ Rd.sw = Rt.sw<15:0>}}); 10192046SN/A } 10202101SN/A } 10212043SN/A 10222101SN/A 0x6: decode FUNCTION_LO { 10232686Sksewell@umich.edu 0x7: FailUnimpl::rdhwr(); 10242101SN/A } 10252043SN/A } 10262084SN/A } 10272024SN/A 10282686Sksewell@umich.edu 0x4: decode OPCODE_LO { 10292124SN/A format LoadMemory { 10302239SN/A 0x0: lb({{ Rt.sw = Mem.sb; }}); 10312239SN/A 0x1: lh({{ Rt.sw = Mem.sh; }}); 10322479SN/A 0x3: lw({{ Rt.sw = Mem.sw; }}); 10332239SN/A 0x4: lbu({{ Rt.uw = Mem.ub; }}); 10342239SN/A 0x5: lhu({{ Rt.uw = Mem.uh; }}); 10352686Sksewell@umich.edu } 10362495SN/A 10372686Sksewell@umich.edu format LoadUnalignedMemory { 10382686Sksewell@umich.edu 0x2: lwl({{ uint32_t mem_shift = 24 - (8 * byte_offset); 10392686Sksewell@umich.edu Rt.uw = mem_word << mem_shift | 10402686Sksewell@umich.edu Rt.uw & mask(mem_shift); 10412686Sksewell@umich.edu }}); 10422686Sksewell@umich.edu 0x6: lwr({{ uint32_t mem_shift = 8 * byte_offset; 10432686Sksewell@umich.edu Rt.uw = Rt.uw & (mask(mem_shift) << (32 - mem_shift)) | 10442686Sksewell@umich.edu mem_word >> mem_shift; 10452686Sksewell@umich.edu }}); 10462084SN/A } 10472084SN/A } 10482024SN/A 10492686Sksewell@umich.edu 0x5: decode OPCODE_LO { 10502124SN/A format StoreMemory { 10512124SN/A 0x0: sb({{ Mem.ub = Rt<7:0>; }}); 10522124SN/A 0x1: sh({{ Mem.uh = Rt<15:0>; }}); 10532479SN/A 0x3: sw({{ Mem.uw = Rt<31:0>; }}); 10542084SN/A } 10552024SN/A 10562686Sksewell@umich.edu format StoreUnalignedMemory { 10572686Sksewell@umich.edu 0x2: swl({{ uint32_t reg_shift = 24 - (8 * byte_offset); 10582686Sksewell@umich.edu uint32_t mem_shift = 32 - reg_shift; 10592686Sksewell@umich.edu mem_word = mem_word & (mask(reg_shift) << mem_shift) | 10602686Sksewell@umich.edu Rt.uw >> reg_shift; 10612686Sksewell@umich.edu }}); 10622686Sksewell@umich.edu 0x6: swr({{ uint32_t reg_shift = 8 * byte_offset; 10632686Sksewell@umich.edu mem_word = Rt.uw << reg_shift | 10642686Sksewell@umich.edu mem_word & (mask(reg_shift)); 10652686Sksewell@umich.edu }}); 10662084SN/A } 10672024SN/A 10682686Sksewell@umich.edu 0x7: FailUnimpl::cache(); 10692084SN/A } 10702024SN/A 10712686Sksewell@umich.edu 0x6: decode OPCODE_LO { 10722686Sksewell@umich.edu format LoadMemory { 10732686Sksewell@umich.edu 0x0: ll({{ Rt.uw = Mem.uw; }}, mem_flags=LOCKED); 10742686Sksewell@umich.edu 0x1: lwc1({{ Ft.uw = Mem.uw; }}); 10752573SN/A 0x5: ldc1({{ Ft.ud = Mem.ud; }}); 10762084SN/A } 10772686Sksewell@umich.edu 10782686Sksewell@umich.edu 0x3: Prefetch::pref(); 10792084SN/A } 10802024SN/A 10812239SN/A 10822686Sksewell@umich.edu 0x7: decode OPCODE_LO { 10832686Sksewell@umich.edu 0x0: StoreCond::sc({{ Mem.uw = Rt.uw;}}, 10842686Sksewell@umich.edu {{ uint64_t tmp = write_result; 10852686Sksewell@umich.edu Rt.uw = (tmp == 0 || tmp == 1) ? tmp : Rt.uw; 10862686Sksewell@umich.edu }}, mem_flags=LOCKED); 10872055SN/A 10882686Sksewell@umich.edu format StoreMemory { 10892573SN/A 0x1: swc1({{ Mem.uw = Ft.uw; }}); 10902573SN/A 0x5: sdc1({{ Mem.ud = Ft.ud; }}); 10912084SN/A } 10922027SN/A } 10932024SN/A} 10942022SN/A 10952027SN/A 1096