decoder.isa revision 5095:65cc3a615375
12810SN/A// Copyright (c) 2006-2007 The Regents of The University of Michigan
210693SMarco.Balboni@ARM.com// All rights reserved.
38856Sandreas.hansson@arm.com//
48856Sandreas.hansson@arm.com// Redistribution and use in source and binary forms, with or without
58856Sandreas.hansson@arm.com// modification, are permitted provided that the following conditions are
68856Sandreas.hansson@arm.com// met: redistributions of source code must retain the above copyright
78856Sandreas.hansson@arm.com// notice, this list of conditions and the following disclaimer;
88856Sandreas.hansson@arm.com// redistributions in binary form must reproduce the above copyright
98856Sandreas.hansson@arm.com// notice, this list of conditions and the following disclaimer in the
108856Sandreas.hansson@arm.com// documentation and/or other materials provided with the distribution;
118856Sandreas.hansson@arm.com// neither the name of the copyright holders nor the names of its
128856Sandreas.hansson@arm.com// contributors may be used to endorse or promote products derived from
138856Sandreas.hansson@arm.com// this software without specific prior written permission.
142810SN/A//
152810SN/A// THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS AND CONTRIBUTORS
162810SN/A// "AS IS" AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT
172810SN/A// LIMITED TO, THE IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR
182810SN/A// A PARTICULAR PURPOSE ARE DISCLAIMED. IN NO EVENT SHALL THE COPYRIGHT
192810SN/A// OWNER OR CONTRIBUTORS BE LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL,
202810SN/A// SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING, BUT NOT
212810SN/A// LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES; LOSS OF USE,
222810SN/A// DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER CAUSED AND ON ANY
232810SN/A// THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY, OR TORT
242810SN/A// (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE
252810SN/A// OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.
262810SN/A//
272810SN/A// Authors: Ali Saidi
282810SN/A//          Gabe Black
292810SN/A//          Steve Reinhardt
302810SN/A
312810SN/A////////////////////////////////////////////////////////////////////
322810SN/A//
332810SN/A// The actual decoder specification
342810SN/A//
352810SN/A
362810SN/Adecode OP default Unknown::unknown()
372810SN/A{
382810SN/A    0x0: decode OP2
392810SN/A    {
402810SN/A        //Throw an illegal instruction acception
414458SN/A        0x0: Trap::illtrap({{fault = new IllegalInstruction;}});
424458SN/A        format BranchN
432810SN/A        {
442810SN/A            //bpcc
452810SN/A            0x1: decode COND2
462810SN/A            {
472810SN/A                //Branch Always
482810SN/A                0x8: bpa(19, annul_code={{
492810SN/A                                 NPC = xc->readPC() + disp;
502810SN/A                                 NNPC = NPC + 4;
512810SN/A                             }});
522810SN/A                //Branch Never
537676Snate@binkert.org                0x0: bpn(19, {{;}},
547676Snate@binkert.org                             annul_code={{
557676Snate@binkert.org                                 NNPC = NPC + 8;
562810SN/A                                 NPC = NPC + 4;
572810SN/A                             }});
582825SN/A                default: decode BPCC
592810SN/A                {
602810SN/A                    0x0: bpcci(19, test={{passesCondition(Ccr<3:0>, COND2)}});
616215Snate@binkert.org                    0x2: bpccx(19, test={{passesCondition(Ccr<7:4>, COND2)}});
628232Snate@binkert.org                }
638232Snate@binkert.org            }
645338Sstever@gmail.com            //bicc
652810SN/A            0x2: decode COND2
662810SN/A            {
678914Sandreas.hansson@arm.com                //Branch Always
688229Snate@binkert.org                0x8: ba(22, annul_code={{
695034SN/A                                NPC = xc->readPC() + disp;
702811SN/A                                NNPC = NPC + 4;
718786Sgblack@eecs.umich.edu                            }});
724626SN/A                //Branch Never
738833Sdam.sunwoo@arm.com                0x0: bn(22, {{;}},
742810SN/A                            annul_code={{
753194SN/A                                NNPC = NPC + 8;
762810SN/A                                NPC = NPC + 4;
772810SN/A                            }});
782810SN/A                default: bicc(22, test={{passesCondition(Ccr<3:0>, COND2)}});
792810SN/A            }
802810SN/A        }
814628SN/A        0x3: decode RCOND2
824628SN/A        {
834628SN/A            format BranchSplit
844628SN/A            {
854628SN/A                0x1: bpreq(test={{Rs1.sdw == 0}});
864628SN/A                0x2: bprle(test={{Rs1.sdw <= 0}});
874628SN/A                0x3: bprl(test={{Rs1.sdw < 0}});
884628SN/A                0x5: bprne(test={{Rs1.sdw != 0}});
898737Skoansin.tan@gmail.com                0x6: bprg(test={{Rs1.sdw > 0}});
904628SN/A                0x7: bprge(test={{Rs1.sdw >= 0}});
914628SN/A            }
924628SN/A        }
934628SN/A        //SETHI (or NOP if rd == 0 and imm == 0)
944628SN/A        0x4: SetHi::sethi({{Rd.udw = imm;}});
954628SN/A        //fbpfcc
964628SN/A        0x5: decode COND2 {
974628SN/A            format BranchN {
984628SN/A                //Branch Always
994628SN/A                0x8: fbpa(22, annul_code={{
1004628SN/A                                  NPC = xc->readPC() + disp;
1014628SN/A                                  NNPC = NPC + 4;
1024628SN/A                              }});
1034628SN/A                //Branch Never
1044628SN/A                0x0: fbpn(22, {{;}},
1054628SN/A                             annul_code={{
1064628SN/A                                 NNPC = NPC + 8;
1074628SN/A                                 NPC = NPC + 4;
1084628SN/A                             }});
1094628SN/A                default: decode BPCC {
1108737Skoansin.tan@gmail.com                    0x0: fbpfcc0(19, test=
1114628SN/A                                 {{passesFpCondition(Fsr<11:10>, COND2)}});
1128856Sandreas.hansson@arm.com                    0x1: fbpfcc1(19, test=
1138856Sandreas.hansson@arm.com                                 {{passesFpCondition(Fsr<33:32>, COND2)}});
1148856Sandreas.hansson@arm.com                    0x2: fbpfcc2(19, test=
1158856Sandreas.hansson@arm.com                                 {{passesFpCondition(Fsr<35:34>, COND2)}});
1168856Sandreas.hansson@arm.com                    0x3: fbpfcc3(19, test=
1178856Sandreas.hansson@arm.com                                 {{passesFpCondition(Fsr<37:36>, COND2)}});
1188856Sandreas.hansson@arm.com                }
1198856Sandreas.hansson@arm.com            }
1208856Sandreas.hansson@arm.com        }
1218922Swilliam.wang@arm.com        //fbfcc
1222810SN/A        0x6: decode COND2 {
1238856Sandreas.hansson@arm.com            format BranchN {
1242844SN/A                //Branch Always
1258856Sandreas.hansson@arm.com                0x8: fba(22, annul_code={{
1268856Sandreas.hansson@arm.com                                 NPC = xc->readPC() + disp;
1278856Sandreas.hansson@arm.com                                 NNPC = NPC + 4;
12810713Sandreas.hansson@arm.com                             }});
1298856Sandreas.hansson@arm.com                //Branch Never
1308856Sandreas.hansson@arm.com                0x0: fbn(22, {{;}},
1318856Sandreas.hansson@arm.com                             annul_code={{
1328856Sandreas.hansson@arm.com                                 NNPC = NPC + 8;
13310713Sandreas.hansson@arm.com                                 NPC = NPC + 4;
1348856Sandreas.hansson@arm.com                             }});
1358856Sandreas.hansson@arm.com                default: fbfcc(22, test=
1363738SN/A                               {{passesFpCondition(Fsr<11:10>, COND2)}});
1374458SN/A            }
1388856Sandreas.hansson@arm.com        }
13910713Sandreas.hansson@arm.com    }
14010713Sandreas.hansson@arm.com    0x1: BranchN::call(30, {{
14110713Sandreas.hansson@arm.com            if (Pstate<3:>)
1428914Sandreas.hansson@arm.com                R15 = (xc->readPC())<31:0>;
1432810SN/A            else
1448856Sandreas.hansson@arm.com                R15 = xc->readPC();
1458856Sandreas.hansson@arm.com            NNPC = R15 + disp;
1468856Sandreas.hansson@arm.com    }});
1478914Sandreas.hansson@arm.com    0x2: decode OP3 {
1488856Sandreas.hansson@arm.com        format IntOp {
1498922Swilliam.wang@arm.com            0x00: add({{Rd = Rs1.sdw + Rs2_or_imm13;}});
1508856Sandreas.hansson@arm.com            0x01: and({{Rd = Rs1.sdw & Rs2_or_imm13;}});
1513013SN/A            0x02: or({{Rd = Rs1.sdw | Rs2_or_imm13;}});
1528856Sandreas.hansson@arm.com            0x03: xor({{Rd = Rs1.sdw ^ Rs2_or_imm13;}});
1538856Sandreas.hansson@arm.com            0x04: sub({{Rd = Rs1.sdw - Rs2_or_imm13;}});
1548856Sandreas.hansson@arm.com            0x05: andn({{Rd = Rs1.sdw & ~Rs2_or_imm13;}});
1558856Sandreas.hansson@arm.com            0x06: orn({{Rd = Rs1.sdw | ~Rs2_or_imm13;}});
1568856Sandreas.hansson@arm.com            0x07: xnor({{Rd = ~(Rs1.sdw ^ Rs2_or_imm13);}});
1578856Sandreas.hansson@arm.com            0x08: addc({{Rd = Rs1.sdw + Rs2_or_imm13 + Ccr<0:0>;}});
1588856Sandreas.hansson@arm.com            0x09: mulx({{Rd = Rs1.sdw * Rs2_or_imm13;}});
1598856Sandreas.hansson@arm.com            0x0A: umul({{
1608922Swilliam.wang@arm.com                Rd = Rs1.udw<31:0> * Rs2_or_imm13<31:0>;
1618856Sandreas.hansson@arm.com                Y = Rd<63:32>;
1625314SN/A            }});
1632811SN/A            0x0B: smul({{
1648856Sandreas.hansson@arm.com                Rd.sdw = sext<32>(Rs1.sdw<31:0>) * sext<32>(Rs2_or_imm13<31:0>);
1658856Sandreas.hansson@arm.com                Y = Rd.sdw<63:32>;
1662810SN/A            }});
1672810SN/A            0x0C: subc({{Rd.sdw = Rs1.sdw + (~Rs2_or_imm13) + 1 - Ccr<0:0>}});
1688856Sandreas.hansson@arm.com            0x0D: udivx({{
1692810SN/A                if(Rs2_or_imm13 == 0) fault = new DivisionByZero;
1702810SN/A                else Rd.udw = Rs1.udw / Rs2_or_imm13;
17110345SCurtis.Dunham@arm.com            }});
17210345SCurtis.Dunham@arm.com            0x0E: udiv({{
1738856Sandreas.hansson@arm.com                if(Rs2_or_imm13 == 0) fault = new DivisionByZero;
1748856Sandreas.hansson@arm.com                else
1758856Sandreas.hansson@arm.com                {
1768856Sandreas.hansson@arm.com                    Rd.udw = ((Y << 32) | Rs1.udw<31:0>) / Rs2_or_imm13;
1773606SN/A                    if(Rd.udw >> 32 != 0)
1788914Sandreas.hansson@arm.com                        Rd.udw = 0xFFFFFFFF;
17910713Sandreas.hansson@arm.com                }
1808914Sandreas.hansson@arm.com            }});
1812810SN/A            0x0F: sdiv({{
1822810SN/A                if(Rs2_or_imm13.sdw == 0)
1832897SN/A                    fault = new DivisionByZero;
1842897SN/A                else
1858856Sandreas.hansson@arm.com                {
1864458SN/A                    Rd.udw = ((int64_t)((Y << 32) | Rs1.sdw<31:0>)) / Rs2_or_imm13.sdw;
18710344Sandreas.hansson@arm.com                    if((int64_t)Rd.udw >= std::numeric_limits<int32_t>::max())
18810344Sandreas.hansson@arm.com                        Rd.udw = 0x7FFFFFFF;
18910344Sandreas.hansson@arm.com                    else if((int64_t)Rd.udw <= std::numeric_limits<int32_t>::min())
19010344Sandreas.hansson@arm.com                        Rd.udw = ULL(0xFFFFFFFF80000000);
1918856Sandreas.hansson@arm.com                }
1922811SN/A            }});
1932810SN/A        }
1948856Sandreas.hansson@arm.com        format IntOpCc {
1958856Sandreas.hansson@arm.com            0x10: addcc({{
1963338SN/A                    int64_t res, op1 = Rs1, op2 = Rs2_or_imm13;
1974626SN/A                    Rd = res = op1 + op2;
1984626SN/A                }});
1994626SN/A            0x11: IntOpCcRes::andcc({{Rd = Rs1 & Rs2_or_imm13;}});
2004626SN/A            0x12: IntOpCcRes::orcc({{Rd = Rs1 | Rs2_or_imm13;}});
2014626SN/A            0x13: IntOpCcRes::xorcc({{Rd = Rs1 ^ Rs2_or_imm13;}});
2024626SN/A            0x14: subcc({{
2034626SN/A                    int64_t res, op1 = Rs1, op2 = Rs2_or_imm13;
2044626SN/A                    Rd = res = op1 - op2;
20510693SMarco.Balboni@ARM.com                }}, sub=True);
20610693SMarco.Balboni@ARM.com            0x15: IntOpCcRes::andncc({{Rd = Rs1 & ~Rs2_or_imm13;}});
20710693SMarco.Balboni@ARM.com            0x16: IntOpCcRes::orncc({{Rd = Rs1 | ~Rs2_or_imm13;}});
20810693SMarco.Balboni@ARM.com            0x17: IntOpCcRes::xnorcc({{Rd = ~(Rs1 ^ Rs2_or_imm13);}});
20910693SMarco.Balboni@ARM.com            0x18: addccc({{
21010693SMarco.Balboni@ARM.com                    int64_t res, op1 = Rs1, op2 = Rs2_or_imm13;
21110693SMarco.Balboni@ARM.com                    Rd = res = op1 + op2 + Ccr<0:>;
21210693SMarco.Balboni@ARM.com                }});
21310693SMarco.Balboni@ARM.com            0x1A: IntOpCcRes::umulcc({{
21410693SMarco.Balboni@ARM.com                uint64_t resTemp;
21510693SMarco.Balboni@ARM.com                Rd = resTemp = Rs1.udw<31:0> * Rs2_or_imm13.udw<31:0>;
2164628SN/A                Y = resTemp<63:32>;}});
2174628SN/A            0x1B: IntOpCcRes::smulcc({{
2184628SN/A                int64_t resTemp;
2194666SN/A                Rd = resTemp = sext<32>(Rs1.sdw<31:0>) * sext<32>(Rs2_or_imm13<31:0>);
2204628SN/A                Y = resTemp<63:32>;}});
2214628SN/A            0x1C: subccc({{
2224628SN/A                    int64_t res, op1 = Rs1, op2 = Rs2_or_imm13;
2234628SN/A                    Rd = res = op1 - op2 - Ccr<0:>;
2244628SN/A                }}, sub=True);
2254628SN/A            0x1D: IntOpCcRes::udivxcc({{
2264628SN/A                if(Rs2_or_imm13.udw == 0) fault = new DivisionByZero;
2274628SN/A                else Rd = Rs1.udw / Rs2_or_imm13.udw;}});
2284628SN/A            0x1E: IntOpCcRes::udivcc({{
2294628SN/A                    uint32_t resTemp, val2 = Rs2_or_imm13.udw;
2304628SN/A                    int32_t overflow = 0;
2314628SN/A                    if(val2 == 0) fault = new DivisionByZero;
23210679Sandreas.hansson@arm.com                    else
2334628SN/A                    {
2344628SN/A                        resTemp = (uint64_t)((Y << 32) | Rs1.udw<31:0>) / val2;
2354628SN/A                        overflow = (resTemp<63:32> != 0);
23610679Sandreas.hansson@arm.com                        if(overflow) Rd = resTemp = 0xFFFFFFFF;
2374628SN/A                        else Rd = resTemp;
2384628SN/A                    }
2394628SN/A                }}, iv={{overflow}});
2404628SN/A            0x1F: IntOpCcRes::sdivcc({{
2414628SN/A                    int64_t val2 = Rs2_or_imm13.sdw<31:0>;
2429347SAndreas.Sandberg@arm.com                    bool overflow = false, underflow = false;
2439347SAndreas.Sandberg@arm.com                    if(val2 == 0) fault = new DivisionByZero;
2449347SAndreas.Sandberg@arm.com                    else
2459347SAndreas.Sandberg@arm.com                    {
2469347SAndreas.Sandberg@arm.com                        Rd = (int64_t)((Y << 32) | Rs1.sdw<31:0>) / val2;
2479347SAndreas.Sandberg@arm.com                        overflow = ((int64_t)Rd >= std::numeric_limits<int32_t>::max());
2489347SAndreas.Sandberg@arm.com                        underflow = ((int64_t)Rd <= std::numeric_limits<int32_t>::min());
2499347SAndreas.Sandberg@arm.com                        if(overflow) Rd = 0x7FFFFFFF;
2509347SAndreas.Sandberg@arm.com                        else if(underflow) Rd = ULL(0xFFFFFFFF80000000);
2519347SAndreas.Sandberg@arm.com                    }
2529347SAndreas.Sandberg@arm.com                }}, iv={{overflow || underflow}});
2539347SAndreas.Sandberg@arm.com            0x20: taddcc({{
2549347SAndreas.Sandberg@arm.com                    int64_t res, op1 = Rs1, op2 = Rs2_or_imm13;
2559347SAndreas.Sandberg@arm.com                    Rd = res = Rs1 + op2;
2569347SAndreas.Sandberg@arm.com                }}, iv={{
2579347SAndreas.Sandberg@arm.com                    (op1 & mask(2)) || (op2 & mask(2)) ||
2589347SAndreas.Sandberg@arm.com                    findOverflow(32, res, op1, op2)
2599347SAndreas.Sandberg@arm.com                }});
2609347SAndreas.Sandberg@arm.com            0x21: tsubcc({{
2614626SN/A                    int64_t res, op1 = Rs1, op2 = Rs2_or_imm13;
2626227Snate@binkert.org                    Rd = res = Rs1 - op2;
2634626SN/A                }}, iv={{
2644630SN/A                    (op1 & mask(2)) || (op2 & mask(2)) ||
26510693SMarco.Balboni@ARM.com                    findOverflow(32, res, op1, ~op2)
26610693SMarco.Balboni@ARM.com                }}, sub=True);
2674630SN/A            0x22: taddcctv({{
26810693SMarco.Balboni@ARM.com                    int64_t res, op1 = Rs1, op2 = Rs2_or_imm13;
2699263Smrinmoy.ghosh@arm.com                    Rd = res = op1 + op2;
2709263Smrinmoy.ghosh@arm.com                    bool overflow = (op1 & mask(2)) || (op2 & mask(2)) ||
27110693SMarco.Balboni@ARM.com                        findOverflow(32, res, op1, op2);
27210693SMarco.Balboni@ARM.com                    if(overflow) fault = new TagOverflow;
27310693SMarco.Balboni@ARM.com                }}, iv={{overflow}});
27410693SMarco.Balboni@ARM.com            0x23: tsubcctv({{
27510693SMarco.Balboni@ARM.com                    int64_t res, op1 = Rs1, op2 = Rs2_or_imm13;
27610693SMarco.Balboni@ARM.com                    Rd = res = op1 - op2;
27710693SMarco.Balboni@ARM.com                    bool overflow = (op1 & mask(2)) || (op2 & mask(2)) ||
27810693SMarco.Balboni@ARM.com                        findOverflow(32, res, op1, ~op2);
27910693SMarco.Balboni@ARM.com                    if(overflow) fault = new TagOverflow;
28010693SMarco.Balboni@ARM.com                }}, iv={{overflow}}, sub=True);
28110693SMarco.Balboni@ARM.com            0x24: mulscc({{
28210693SMarco.Balboni@ARM.com                    int32_t savedLSB = Rs1<0:>;
28310693SMarco.Balboni@ARM.com
2849263Smrinmoy.ghosh@arm.com                    //Step 1
2859288Sandreas.hansson@arm.com                    int64_t multiplicand = Rs2_or_imm13;
2864630SN/A                    //Step 2
2874626SN/A                    int32_t partialP = Rs1<31:1> |
2884626SN/A                        ((Ccr<3:3> ^ Ccr<1:1>) << 31);
2894626SN/A                    //Step 3
2906122SSteve.Reinhardt@amd.com                    int32_t added = Y<0:> ? multiplicand : 0;
2919529Sandreas.hansson@arm.com                    int64_t res, op1 = partialP, op2 = added;
2924626SN/A                    Rd = res = partialP + added;
2938134SAli.Saidi@ARM.com                    //Steps 4 & 5
2948134SAli.Saidi@ARM.com                    Y = Y<31:1> | (savedLSB << 31);
2958134SAli.Saidi@ARM.com                }});
2969529Sandreas.hansson@arm.com        }
2978134SAli.Saidi@ARM.com        format IntOp
2982810SN/A        {
2992810SN/A            0x25: decode X {
3002810SN/A                0x0: sll({{Rd = Rs1 << (I ? SHCNT32 : Rs2<4:0>);}});
3012810SN/A                0x1: sllx({{Rd = Rs1 << (I ? SHCNT64 : Rs2<5:0>);}});
3022810SN/A            }
3032810SN/A            0x26: decode X {
3046122SSteve.Reinhardt@amd.com                0x0: srl({{Rd = Rs1.uw >> (I ? SHCNT32 : Rs2<4:0>);}});
3056122SSteve.Reinhardt@amd.com                0x1: srlx({{Rd = Rs1.udw >> (I ? SHCNT64 : Rs2<5:0>);}});
3066122SSteve.Reinhardt@amd.com            }
3072810SN/A            0x27: decode X {
3089288Sandreas.hansson@arm.com                0x0: sra({{Rd = Rs1.sw >> (I ? SHCNT32 : Rs2<4:0>);}});
3092810SN/A                0x1: srax({{Rd = Rs1.sdw >> (I ? SHCNT64 : Rs2<5:0>);}});
3104626SN/A            }
3114626SN/A            0x28: decode RS1 {
3122810SN/A                0x00: NoPriv::rdy({{Rd = Y<31:0>;}});
3132810SN/A                //1 should cause an illegal instruction exception
3142810SN/A                0x02: NoPriv::rdccr({{Rd = Ccr;}});
3152810SN/A                0x03: NoPriv::rdasi({{Rd = Asi;}});
3166122SSteve.Reinhardt@amd.com                0x04: Priv::rdtick({{Rd = Tick;}}, {{Tick<63:>}});
3176122SSteve.Reinhardt@amd.com                0x05: NoPriv::rdpc({{
3186122SSteve.Reinhardt@amd.com                    if(Pstate<3:>)
3199529Sandreas.hansson@arm.com                        Rd = (xc->readPC())<31:0>;
3206122SSteve.Reinhardt@amd.com                    else
3218833Sdam.sunwoo@arm.com                        Rd = xc->readPC();}});
3228833Sdam.sunwoo@arm.com                0x06: NoPriv::rdfprs({{
3238833Sdam.sunwoo@arm.com                    //Wait for all fpops to finish.
3246978SLisa.Hsu@amd.com                    Rd = Fprs;
3252810SN/A                }});
3262810SN/A                //7-14 should cause an illegal instruction exception
3272810SN/A                0x0F: decode I {
3282810SN/A                    0x0: Nop::stbar({{/*stuff*/}}, IsWriteBarrier, MemWriteOp);
3292810SN/A                    0x1: Nop::membar({{/*stuff*/}}, IsMemBarrier, MemReadOp);
3302810SN/A                }
3312810SN/A                0x10: Priv::rdpcr({{Rd = Pcr;}});
3325999Snate@binkert.org                0x11: Priv::rdpic({{Rd = Pic;}}, {{Pcr<0:>}});
3332810SN/A                //0x12 should cause an illegal instruction exception
3342810SN/A                0x13: NoPriv::rdgsr({{
3352810SN/A                       fault = checkFpEnableFault(xc);
3362810SN/A                       if (fault)
3372810SN/A                            return fault;
3382810SN/A                       Rd = Gsr;
3395999Snate@binkert.org                }});
3402810SN/A                //0x14-0x15 should cause an illegal instruction exception
3412810SN/A                0x16: Priv::rdsoftint({{Rd = Softint;}});
3422810SN/A                0x17: Priv::rdtick_cmpr({{Rd = TickCmpr;}});
3432810SN/A                0x18: Priv::rdstick({{Rd = Stick}}, {{Stick<63:>}});
3442810SN/A                0x19: Priv::rdstick_cmpr({{Rd = StickCmpr;}});
3452810SN/A                0x1A: Priv::rdstrand_sts_reg({{
3462810SN/A                    if(Pstate<2:> && !Hpstate<2:>)
3472810SN/A                        Rd = StrandStsReg<0:>;
3482810SN/A                    else
3495999Snate@binkert.org                        Rd = StrandStsReg;
3502810SN/A                }});
3512810SN/A                //0x1A is supposed to be reserved, but it reads the strand
3522810SN/A                //status register.
3532810SN/A                //0x1B-0x1F should cause an illegal instruction exception
3542810SN/A            }
3552810SN/A            0x29: decode RS1 {
3564022SN/A                0x00: HPriv::rdhprhpstate({{Rd = Hpstate;}});
3572810SN/A                0x01: HPriv::rdhprhtstate({{Rd = Htstate;}}, checkTl=true);
3582810SN/A                //0x02 should cause an illegal instruction exception
3592810SN/A                0x03: HPriv::rdhprhintp({{Rd = Hintp;}});
3602810SN/A                //0x04 should cause an illegal instruction exception
3612810SN/A                0x05: HPriv::rdhprhtba({{Rd = Htba;}});
3622810SN/A                0x06: HPriv::rdhprhver({{Rd = Hver;}});
3634022SN/A                //0x07-0x1E should cause an illegal instruction exception
3642810SN/A                0x1F: HPriv::rdhprhstick_cmpr({{Rd = HstickCmpr;}});
3652810SN/A            }
3662810SN/A            0x2A: decode RS1 {
3672810SN/A                0x00: Priv::rdprtpc({{Rd = Tpc;}}, checkTl=true);
3682810SN/A                0x01: Priv::rdprtnpc({{Rd = Tnpc;}}, checkTl=true);
3692810SN/A                0x02: Priv::rdprtstate({{Rd = Tstate;}}, checkTl=true);
3704022SN/A                0x03: Priv::rdprtt({{Rd = Tt;}}, checkTl=true);
3712810SN/A                0x04: Priv::rdprtick({{Rd = Tick;}});
3722810SN/A                0x05: Priv::rdprtba({{Rd = Tba;}});
3732810SN/A                0x06: Priv::rdprpstate({{Rd = Pstate;}});
3742810SN/A                0x07: Priv::rdprtl({{Rd = Tl;}});
3752810SN/A                0x08: Priv::rdprpil({{Rd = Pil;}});
3762810SN/A                0x09: Priv::rdprcwp({{Rd = Cwp;}});
3775999Snate@binkert.org                0x0A: Priv::rdprcansave({{Rd = Cansave;}});
3782810SN/A                0x0B: Priv::rdprcanrestore({{Rd = Canrestore;}});
3795999Snate@binkert.org                0x0C: Priv::rdprcleanwin({{Rd = Cleanwin;}});
3802810SN/A                0x0D: Priv::rdprotherwin({{Rd = Otherwin;}});
3812810SN/A                0x0E: Priv::rdprwstate({{Rd = Wstate;}});
3822810SN/A                //0x0F should cause an illegal instruction exception
3832810SN/A                0x10: Priv::rdprgl({{Rd = Gl;}});
3842810SN/A                //0x11-0x1F should cause an illegal instruction exception
3855999Snate@binkert.org            }
3862810SN/A            0x2B: BasicOperate::flushw({{
3872810SN/A                if(NWindows - 2 - Cansave != 0)
3885999Snate@binkert.org                {
3892810SN/A                    if(Otherwin)
3904626SN/A                        fault = new SpillNOther(4*Wstate<5:3>);
3915999Snate@binkert.org                    else
3924626SN/A                        fault = new SpillNNormal(4*Wstate<2:0>);
3934626SN/A                }
3945999Snate@binkert.org            }});
3954626SN/A            0x2C: decode MOVCC3
3964626SN/A            {
3974626SN/A                0x0: Trap::movccfcc({{fault = new FpDisabled;}});
3984626SN/A                0x1: decode CC
3994626SN/A                {
4004626SN/A                    0x0: movcci({{
4015999Snate@binkert.org                        if(passesCondition(Ccr<3:0>, COND4))
4024626SN/A                            Rd = Rs2_or_imm11;
4034626SN/A                        else
4044626SN/A                            Rd = Rd;
4054626SN/A                    }});
4064626SN/A                    0x2: movccx({{
4074626SN/A                        if(passesCondition(Ccr<7:4>, COND4))
4085999Snate@binkert.org                            Rd = Rs2_or_imm11;
4094626SN/A                        else
4104626SN/A                            Rd = Rd;
4114626SN/A                    }});
4124626SN/A                }
4135999Snate@binkert.org            }
4144626SN/A            0x2D: sdivx({{
4154626SN/A                if(Rs2_or_imm13.sdw == 0) fault = new DivisionByZero;
4164626SN/A                else Rd.sdw = Rs1.sdw / Rs2_or_imm13.sdw;
4174626SN/A            }});
4184626SN/A            0x2E: Trap::popc({{fault = new IllegalInstruction;}});
4194626SN/A            0x2F: decode RCOND3
4205999Snate@binkert.org            {
4214626SN/A                0x1: movreq({{Rd = (Rs1.sdw == 0) ? Rs2_or_imm10 : Rd;}});
4224626SN/A                0x2: movrle({{Rd = (Rs1.sdw <= 0) ? Rs2_or_imm10 : Rd;}});
4234626SN/A                0x3: movrl({{Rd = (Rs1.sdw < 0) ? Rs2_or_imm10 : Rd;}});
4247461Snate@binkert.org                0x5: movrne({{Rd = (Rs1.sdw != 0) ? Rs2_or_imm10 : Rd;}});
4254626SN/A                0x6: movrg({{Rd = (Rs1.sdw > 0) ? Rs2_or_imm10 : Rd;}});
4264626SN/A                0x7: movrge({{Rd = (Rs1.sdw >= 0) ? Rs2_or_imm10 : Rd;}});
4274626SN/A            }
4284626SN/A            0x30: decode RD {
4294626SN/A                0x00: NoPriv::wry({{Y = (Rs1 ^ Rs2_or_imm13)<31:0>;}});
4304626SN/A                //0x01 should cause an illegal instruction exception
4317461Snate@binkert.org                0x02: NoPriv::wrccr({{Ccr = Rs1 ^ Rs2_or_imm13;}});
4324626SN/A                0x03: NoPriv::wrasi({{Asi = Rs1 ^ Rs2_or_imm13;}});
4334626SN/A                //0x04-0x05 should cause an illegal instruction exception
4344626SN/A                0x06: NoPriv::wrfprs({{Fprs = Rs1 ^ Rs2_or_imm13;}});
4354626SN/A                //0x07-0x0E should cause an illegal instruction exception
4364626SN/A                0x0F: Trap::softreset({{fault = new SoftwareInitiatedReset;}});
4374626SN/A                0x10: Priv::wrpcr({{Pcr = Rs1 ^ Rs2_or_imm13;}});
4384626SN/A                0x11: Priv::wrpic({{Pic = Rs1 ^ Rs2_or_imm13;}}, {{Pcr<0:>}});
4394626SN/A                //0x12 should cause an illegal instruction exception
4404626SN/A                0x13: NoPriv::wrgsr({{
4414626SN/A                    if(Fprs<2:> == 0 || Pstate<4:> == 0)
4424626SN/A                        return new FpDisabled;
4434626SN/A                    Gsr = Rs1 ^ Rs2_or_imm13;
4444626SN/A                }});
4454626SN/A                0x14: Priv::wrsoftint_set({{SoftintSet = Rs1 ^ Rs2_or_imm13;}});
4464626SN/A                0x15: Priv::wrsoftint_clr({{SoftintClr = Rs1 ^ Rs2_or_imm13;}});
4474626SN/A                0x16: Priv::wrsoftint({{Softint = Rs1 ^ Rs2_or_imm13;}});
4484626SN/A                0x17: Priv::wrtick_cmpr({{TickCmpr = Rs1 ^ Rs2_or_imm13;}});
4494626SN/A                0x18: NoPriv::wrstick({{
4504626SN/A                    if(!Hpstate<2:>)
4514626SN/A                        return new IllegalInstruction;
4524626SN/A                    Stick = Rs1 ^ Rs2_or_imm13;
4535999Snate@binkert.org                }});
4544626SN/A                0x19: Priv::wrstick_cmpr({{StickCmpr = Rs1 ^ Rs2_or_imm13;}});
4555999Snate@binkert.org                0x1A: Priv::wrstrand_sts_reg({{
4564626SN/A                        StrandStsReg = Rs1 ^ Rs2_or_imm13;
4575999Snate@binkert.org                }});
4584626SN/A                //0x1A is supposed to be reserved, but it writes the strand
4592810SN/A                //status register.
4602810SN/A                //0x1B-0x1F should cause an illegal instruction exception
4612810SN/A            }
4622810SN/A            0x31: decode FCN {
4632810SN/A                0x0: Priv::saved({{
4642810SN/A                    assert(Cansave < NWindows - 2);
4652810SN/A                    assert(Otherwin || Canrestore);
4662810SN/A                    Cansave = Cansave + 1;
4672810SN/A                    if(Otherwin == 0)
4682810SN/A                        Canrestore = Canrestore - 1;
4695034SN/A                    else
4705034SN/A                        Otherwin = Otherwin - 1;
4715034SN/A                }});
4723606SN/A                0x1: Priv::restored({{
4732858SN/A                    assert(Cansave || Otherwin);
4742858SN/A                    assert(Canrestore < NWindows - 2);
4759294Sandreas.hansson@arm.com                    Canrestore = Canrestore + 1;
4769294Sandreas.hansson@arm.com                    if(Otherwin == 0)
4779294Sandreas.hansson@arm.com                        Cansave = Cansave - 1;
4789294Sandreas.hansson@arm.com                    else
4798922Swilliam.wang@arm.com                        Otherwin = Otherwin - 1;
4802810SN/A
4812810SN/A                    if(Cleanwin < NWindows - 1)
4822810SN/A                        Cleanwin = Cleanwin + 1;
4832810SN/A                }});
4846227Snate@binkert.org            }
4856227Snate@binkert.org            0x32: decode RD {
4862810SN/A                0x00: Priv::wrprtpc(
4872810SN/A                              {{Tpc = Rs1 ^ Rs2_or_imm13;}}, checkTl=true);
4882810SN/A                0x01: Priv::wrprtnpc(
4892810SN/A                              {{Tnpc = Rs1 ^ Rs2_or_imm13;}}, checkTl=true);
4904626SN/A                0x02: Priv::wrprtstate(
4916666Ssteve.reinhardt@amd.com                              {{Tstate = Rs1 ^ Rs2_or_imm13;}}, checkTl=true);
4924626SN/A                0x03: Priv::wrprtt(
4934626SN/A                              {{Tt = Rs1 ^ Rs2_or_imm13;}}, checkTl=true);
4948883SAli.Saidi@ARM.com                0x04: HPriv::wrprtick({{Tick = Rs1 ^ Rs2_or_imm13;}});
4956122SSteve.Reinhardt@amd.com                0x05: Priv::wrprtba({{Tba = Rs1 ^ Rs2_or_imm13;}});
4964628SN/A                0x06: Priv::wrprpstate({{Pstate = Rs1 ^ Rs2_or_imm13;}});
4974628SN/A                0x07: Priv::wrprtl({{
4984902SN/A                    if(Pstate<2:> && !Hpstate<2:>)
4994628SN/A                        Tl = std::min<uint64_t>(Rs1 ^ Rs2_or_imm13, MaxPTL);
5004628SN/A                    else
5014628SN/A                        Tl = std::min<uint64_t>(Rs1 ^ Rs2_or_imm13, MaxTL);
5024628SN/A                }});
5034628SN/A                0x08: Priv::wrprpil({{Pil = Rs1 ^ Rs2_or_imm13;}});
5044902SN/A                0x09: Priv::wrprcwp({{Cwp = Rs1 ^ Rs2_or_imm13;}});
5054628SN/A                0x0A: Priv::wrprcansave({{Cansave = Rs1 ^ Rs2_or_imm13;}});
5064902SN/A                0x0B: Priv::wrprcanrestore({{Canrestore = Rs1 ^ Rs2_or_imm13;}});
5074902SN/A                0x0C: Priv::wrprcleanwin({{Cleanwin = Rs1 ^ Rs2_or_imm13;}});
5084902SN/A                0x0D: Priv::wrprotherwin({{Otherwin = Rs1 ^ Rs2_or_imm13;}});
5094628SN/A                0x0E: Priv::wrprwstate({{Wstate = Rs1 ^ Rs2_or_imm13;}});
5104628SN/A                //0x0F should cause an illegal instruction exception
5114628SN/A                0x10: Priv::wrprgl({{
5124902SN/A                    if(Pstate<2:> && !Hpstate<2:>)
5134902SN/A                        Gl = std::min<uint64_t>(Rs1 ^ Rs2_or_imm13, MaxPGL);
5144902SN/A                    else
5154902SN/A                        Gl = std::min<uint64_t>(Rs1 ^ Rs2_or_imm13, MaxGL);
5164902SN/A                }});
5174902SN/A                //0x11-0x1F should cause an illegal instruction exception
5184902SN/A            }
5194902SN/A            0x33: decode RD {
5204628SN/A                0x00: HPriv::wrhprhpstate({{Hpstate = Rs1 ^ Rs2_or_imm13;}});
5212810SN/A                0x01: HPriv::wrhprhtstate(
5222810SN/A                              {{Htstate = Rs1 ^ Rs2_or_imm13;}}, checkTl=true);
5232810SN/A                //0x02 should cause an illegal instruction exception
5249529Sandreas.hansson@arm.com                0x03: HPriv::wrhprhintp({{Hintp = Rs1 ^ Rs2_or_imm13;}});
5252810SN/A                //0x04 should cause an illegal instruction exception
5262810SN/A                0x05: HPriv::wrhprhtba({{Htba = Rs1 ^ Rs2_or_imm13;}});
5272810SN/A                //0x06-0x01D should cause an illegal instruction exception
5282810SN/A                0x1F: HPriv::wrhprhstick_cmpr({{HstickCmpr = Rs1 ^ Rs2_or_imm13;}});
5292810SN/A            }
5302810SN/A            0x34: decode OPF{
5312810SN/A                format FpBasic{
5322810SN/A                    0x01: fmovs({{Frds.uw = Frs2s.uw;}});
5332810SN/A                    0x02: fmovd({{Frd.udw = Frs2.udw;}});
5342810SN/A                    0x03: FpUnimpl::fmovq();
5352810SN/A                    0x05: fnegs({{Frds.uw = Frs2s.uw ^ (1UL << 31);}});
5362810SN/A                    0x06: fnegd({{Frd.udw = Frs2.udw ^ (1ULL << 63);}});
5372810SN/A                    0x07: FpUnimpl::fnegq();
5382810SN/A                    0x09: fabss({{Frds.uw = ((1UL << 31) - 1) & Frs2s.uw;}});
5399288Sandreas.hansson@arm.com                    0x0A: fabsd({{Frd.udw = ((1ULL << 63) - 1) & Frs2.udw;}});
5404630SN/A                    0x0B: FpUnimpl::fabsq();
5412810SN/A                    0x29: fsqrts({{Frds.sf = std::sqrt(Frs2s.sf);}});
5424630SN/A                    0x2A: fsqrtd({{Frd.df = std::sqrt(Frs2.df);}});
5434630SN/A                    0x2B: FpUnimpl::fsqrtq();
5442810SN/A                    0x41: fadds({{Frds.sf = Frs1s.sf + Frs2s.sf;}});
5452810SN/A                    0x42: faddd({{Frd.df = Frs1.df + Frs2.df;}});
5462810SN/A                    0x43: FpUnimpl::faddq();
5472810SN/A                    0x45: fsubs({{Frds.sf = Frs1s.sf - Frs2s.sf;}});
5482810SN/A                    0x46: fsubd({{Frd.df = Frs1.df - Frs2.df; }});
5492810SN/A                    0x47: FpUnimpl::fsubq();
5502810SN/A                    0x49: fmuls({{Frds.sf = Frs1s.sf * Frs2s.sf;}});
5512810SN/A                    0x4A: fmuld({{Frd.df = Frs1.df * Frs2.df;}});
5522810SN/A                    0x4B: FpUnimpl::fmulq();
5532810SN/A                    0x4D: fdivs({{Frds.sf = Frs1s.sf / Frs2s.sf;}});
5542810SN/A                    0x4E: fdivd({{Frd.df = Frs1.df / Frs2.df;}});
5552810SN/A                    0x4F: FpUnimpl::fdivq();
5564630SN/A                    0x69: fsmuld({{Frd.df = Frs1s.sf * Frs2s.sf;}});
5574630SN/A                    0x6E: FpUnimpl::fdmulq();
5584630SN/A                    0x81: fstox({{Frd.sdw = static_cast<int64_t>(Frs2s.sf);}});
5599288Sandreas.hansson@arm.com                    0x82: fdtox({{Frd.sdw = static_cast<int64_t>(Frs2.df);}});
5604630SN/A                    0x83: FpUnimpl::fqtox();
5612810SN/A                    0x84: fxtos({{Frds.sf = static_cast<float>(Frs2.sdw);}});
5622810SN/A                    0x88: fxtod({{Frd.df = static_cast<double>(Frs2.sdw);}});
5632810SN/A                    0x8C: FpUnimpl::fxtoq();
5642810SN/A                    0xC4: fitos({{Frds.sf = static_cast<float>(Frs2s.sw);}});
5652810SN/A                    0xC6: fdtos({{Frds.sf = Frs2.df;}});
5662810SN/A                    0xC7: FpUnimpl::fqtos();
5672810SN/A                    0xC8: fitod({{Frd.df = static_cast<double>(Frs2s.sw);}});
5682810SN/A                    0xC9: fstod({{Frd.df = Frs2s.sf;}});
5694458SN/A                    0xCB: FpUnimpl::fqtod();
5702810SN/A                    0xCC: FpUnimpl::fitoq();
5714458SN/A                    0xCD: FpUnimpl::fstoq();
5722810SN/A                    0xCE: FpUnimpl::fdtoq();
5732810SN/A                    0xD1: fstoi({{
5742810SN/A                            Frds.sw = static_cast<int32_t>(Frs2s.sf);
5752810SN/A                            float t = Frds.sw;
5762810SN/A                            if (t != Frs2s.sf)
5772810SN/A                               Fsr = insertBits(Fsr, 4,0, 0x01);
5784458SN/A                    }});
5792810SN/A                    0xD2: fdtoi({{
5805875Ssteve.reinhardt@amd.com                            Frds.sw = static_cast<int32_t>(Frs2.df);
5815875Ssteve.reinhardt@amd.com                            double t = Frds.sw;
5825875Ssteve.reinhardt@amd.com                            if (t != Frs2.df)
5835875Ssteve.reinhardt@amd.com                               Fsr = insertBits(Fsr, 4,0, 0x01);
5845875Ssteve.reinhardt@amd.com                    }});
5852811SN/A                    0xD3: FpUnimpl::fqtoi();
5863503SN/A                    default: FailUnimpl::fpop1();
5879342SAndreas.Sandberg@arm.com                }
5883503SN/A            }
58910028SGiacomo.Gabrielli@arm.com            0x35: decode OPF{
5904626SN/A                format FpBasic{
59110028SGiacomo.Gabrielli@arm.com                    0x01: fmovs_fcc0({{
5924626SN/A                        if(passesFpCondition(Fsr<11:10>, COND4))
5938833Sdam.sunwoo@arm.com                            Frds = Frs2s;
5943503SN/A                        else
5958833Sdam.sunwoo@arm.com                            Frds = Frds;
5968833Sdam.sunwoo@arm.com                    }});
59710020Smatt.horsnell@ARM.com                    0x02: fmovd_fcc0({{
5984626SN/A                        if(passesFpCondition(Fsr<11:10>, COND4))
5994626SN/A                            Frd = Frs2;
6004626SN/A                        else
6014626SN/A                            Frd = Frd;
6023503SN/A                    }});
6033503SN/A                    0x03: FpUnimpl::fmovq_fcc0();
6048833Sdam.sunwoo@arm.com                    0x25: fmovrsz({{
6056978SLisa.Hsu@amd.com                        if(Rs1 == 0)
6068833Sdam.sunwoo@arm.com                            Frds = Frs2s;
6078833Sdam.sunwoo@arm.com                        else
6086978SLisa.Hsu@amd.com                            Frds = Frds;
6096978SLisa.Hsu@amd.com                    }});
6103503SN/A                    0x26: fmovrdz({{
6112810SN/A                        if(Rs1 == 0)
6122810SN/A                            Frd = Frs2;
6132810SN/A                        else
614                            Frd = Frd;
615                    }});
616                    0x27: FpUnimpl::fmovrqz();
617                    0x41: fmovs_fcc1({{
618                        if(passesFpCondition(Fsr<33:32>, COND4))
619                            Frds = Frs2s;
620                        else
621                            Frds = Frds;
622                    }});
623                    0x42: fmovd_fcc1({{
624                        if(passesFpCondition(Fsr<33:32>, COND4))
625                            Frd = Frs2;
626                        else
627                            Frd = Frd;
628                    }});
629                    0x43: FpUnimpl::fmovq_fcc1();
630                    0x45: fmovrslez({{
631                        if(Rs1 <= 0)
632                            Frds = Frs2s;
633                        else
634                            Frds = Frds;
635                    }});
636                    0x46: fmovrdlez({{
637                        if(Rs1 <= 0)
638                            Frd = Frs2;
639                        else
640                            Frd = Frd;
641                    }});
642                    0x47: FpUnimpl::fmovrqlez();
643                    0x51: fcmps({{
644                          uint8_t fcc;
645                          if(isnan(Frs1s) || isnan(Frs2s))
646                              fcc = 3;
647                          else if(Frs1s < Frs2s)
648                              fcc = 1;
649                          else if(Frs1s > Frs2s)
650                              fcc = 2;
651                          else
652                              fcc = 0;
653                          uint8_t firstbit = 10;
654                          if(FCMPCC)
655                              firstbit = FCMPCC * 2 + 30;
656                          Fsr = insertBits(Fsr, firstbit +1, firstbit, fcc);
657                    }});
658                    0x52: fcmpd({{
659                          uint8_t fcc;
660                          if(isnan(Frs1) || isnan(Frs2))
661                              fcc = 3;
662                          else if(Frs1 < Frs2)
663                              fcc = 1;
664                          else if(Frs1 > Frs2)
665                              fcc = 2;
666                          else
667                              fcc = 0;
668                          uint8_t firstbit = 10;
669                          if(FCMPCC)
670                              firstbit = FCMPCC * 2 + 30;
671                          Fsr = insertBits(Fsr, firstbit +1, firstbit, fcc);
672                    }});
673                    0x53: FpUnimpl::fcmpq();
674                    0x55: fcmpes({{
675                          uint8_t fcc = 0;
676                          if(isnan(Frs1s) || isnan(Frs2s))
677                              fault = new FpExceptionIEEE754;
678                          if(Frs1s < Frs2s)
679                              fcc = 1;
680                          else if(Frs1s > Frs2s)
681                              fcc = 2;
682                          uint8_t firstbit = 10;
683                          if(FCMPCC)
684                              firstbit = FCMPCC * 2 + 30;
685                          Fsr = insertBits(Fsr, firstbit +1, firstbit, fcc);
686                    }});
687                    0x56: fcmped({{
688                          uint8_t fcc = 0;
689                          if(isnan(Frs1) || isnan(Frs2))
690                              fault = new FpExceptionIEEE754;
691                          if(Frs1 < Frs2)
692                              fcc = 1;
693                          else if(Frs1 > Frs2)
694                              fcc = 2;
695                          uint8_t firstbit = 10;
696                          if(FCMPCC)
697                              firstbit = FCMPCC * 2 + 30;
698                          Fsr = insertBits(Fsr, firstbit +1, firstbit, fcc);
699                    }});
700                    0x57: FpUnimpl::fcmpeq();
701                    0x65: fmovrslz({{
702                        if(Rs1 < 0)
703                            Frds = Frs2s;
704                        else
705                            Frds = Frds;
706                    }});
707                    0x66: fmovrdlz({{
708                        if(Rs1 < 0)
709                            Frd = Frs2;
710                        else
711                            Frd = Frd;
712                    }});
713                    0x67: FpUnimpl::fmovrqlz();
714                    0x81: fmovs_fcc2({{
715                        if(passesFpCondition(Fsr<35:34>, COND4))
716                            Frds = Frs2s;
717                        else
718                            Frds = Frds;
719                    }});
720                    0x82: fmovd_fcc2({{
721                        if(passesFpCondition(Fsr<35:34>, COND4))
722                            Frd = Frs2;
723                        else
724                            Frd = Frd;
725                    }});
726                    0x83: FpUnimpl::fmovq_fcc2();
727                    0xA5: fmovrsnz({{
728                        if(Rs1 != 0)
729                            Frds = Frs2s;
730                        else
731                            Frds = Frds;
732                    }});
733                    0xA6: fmovrdnz({{
734                        if(Rs1 != 0)
735                            Frd = Frs2;
736                        else
737                            Frd = Frd;
738                    }});
739                    0xA7: FpUnimpl::fmovrqnz();
740                    0xC1: fmovs_fcc3({{
741                        if(passesFpCondition(Fsr<37:36>, COND4))
742                            Frds = Frs2s;
743                        else
744                            Frds = Frds;
745                    }});
746                    0xC2: fmovd_fcc3({{
747                        if(passesFpCondition(Fsr<37:36>, COND4))
748                            Frd = Frs2;
749                        else
750                            Frd = Frd;
751                    }});
752                    0xC3: FpUnimpl::fmovq_fcc3();
753                    0xC5: fmovrsgz({{
754                        if(Rs1 > 0)
755                            Frds = Frs2s;
756                        else
757                            Frds = Frds;
758                    }});
759                    0xC6: fmovrdgz({{
760                        if(Rs1 > 0)
761                            Frd = Frs2;
762                        else
763                            Frd = Frd;
764                    }});
765                    0xC7: FpUnimpl::fmovrqgz();
766                    0xE5: fmovrsgez({{
767                        if(Rs1 >= 0)
768                            Frds = Frs2s;
769                        else
770                            Frds = Frds;
771                    }});
772                    0xE6: fmovrdgez({{
773                        if(Rs1 >= 0)
774                            Frd = Frs2;
775                        else
776                            Frd = Frd;
777                    }});
778                    0xE7: FpUnimpl::fmovrqgez();
779                    0x101: fmovs_icc({{
780                        if(passesCondition(Ccr<3:0>, COND4))
781                            Frds = Frs2s;
782                        else
783                            Frds = Frds;
784                    }});
785                    0x102: fmovd_icc({{
786                        if(passesCondition(Ccr<3:0>, COND4))
787                            Frd = Frs2;
788                        else
789                            Frd = Frd;
790                    }});
791                    0x103: FpUnimpl::fmovq_icc();
792                    0x181: fmovs_xcc({{
793                        if(passesCondition(Ccr<7:4>, COND4))
794                            Frds = Frs2s;
795                        else
796                            Frds = Frds;
797                    }});
798                    0x182: fmovd_xcc({{
799                        if(passesCondition(Ccr<7:4>, COND4))
800                            Frd = Frs2;
801                        else
802                            Frd = Frd;
803                    }});
804                    0x183: FpUnimpl::fmovq_xcc();
805                    default: FailUnimpl::fpop2();
806                }
807            }
808            //This used to be just impdep1, but now it's a whole bunch
809            //of instructions
810            0x36: decode OPF{
811                0x00: FailUnimpl::edge8();
812                0x01: FailUnimpl::edge8n();
813                0x02: FailUnimpl::edge8l();
814                0x03: FailUnimpl::edge8ln();
815                0x04: FailUnimpl::edge16();
816                0x05: FailUnimpl::edge16n();
817                0x06: FailUnimpl::edge16l();
818                0x07: FailUnimpl::edge16ln();
819                0x08: FailUnimpl::edge32();
820                0x09: FailUnimpl::edge32n();
821                0x0A: FailUnimpl::edge32l();
822                0x0B: FailUnimpl::edge32ln();
823                0x10: FailUnimpl::array8();
824                0x12: FailUnimpl::array16();
825                0x14: FailUnimpl::array32();
826                0x18: BasicOperate::alignaddr({{
827                    uint64_t sum = Rs1 + Rs2;
828                    Rd = sum & ~7;
829                    Gsr = (Gsr & ~7) | (sum & 7);
830                }});
831                0x19: FailUnimpl::bmask();
832                0x1A: BasicOperate::alignaddresslittle({{
833                    uint64_t sum = Rs1 + Rs2;
834                    Rd = sum & ~7;
835                    Gsr = (Gsr & ~7) | ((~sum + 1) & 7);
836                }});
837                0x20: FailUnimpl::fcmple16();
838                0x22: FailUnimpl::fcmpne16();
839                0x24: FailUnimpl::fcmple32();
840                0x26: FailUnimpl::fcmpne32();
841                0x28: FailUnimpl::fcmpgt16();
842                0x2A: FailUnimpl::fcmpeq16();
843                0x2C: FailUnimpl::fcmpgt32();
844                0x2E: FailUnimpl::fcmpeq32();
845                0x31: FailUnimpl::fmul8x16();
846                0x33: FailUnimpl::fmul8x16au();
847                0x35: FailUnimpl::fmul8x16al();
848                0x36: FailUnimpl::fmul8sux16();
849                0x37: FailUnimpl::fmul8ulx16();
850                0x38: FailUnimpl::fmuld8sux16();
851                0x39: FailUnimpl::fmuld8ulx16();
852                0x3A: Trap::fpack32({{fault = new IllegalInstruction;}});
853                0x3B: Trap::fpack16({{fault = new IllegalInstruction;}});
854                0x3D: Trap::fpackfix({{fault = new IllegalInstruction;}});
855                0x3E: Trap::pdist({{fault = new IllegalInstruction;}});
856                0x48: BasicOperate::faligndata({{
857                        uint64_t msbX = Frs1.udw;
858                        uint64_t lsbX = Frs2.udw;
859                        //Some special cases need to be split out, first
860                        //because they're the most likely to be used, and
861                        //second because otherwise, we end up shifting by
862                        //greater than the width of the type being shifted,
863                        //namely 64, which produces undefined results according
864                        //to the C standard.
865                        switch(Gsr<2:0>)
866                        {
867                            case 0:
868                                Frd.udw = msbX;
869                                break;
870                            case 8:
871                                Frd.udw = lsbX;
872                                break;
873                            default:
874                                uint64_t msbShift = Gsr<2:0> * 8;
875                                uint64_t lsbShift = (8 - Gsr<2:0>) * 8;
876                                uint64_t msbMask = ((uint64_t)(-1)) >> msbShift;
877                                uint64_t lsbMask = ((uint64_t)(-1)) << lsbShift;
878                                Frd.udw = ((msbX & msbMask) << msbShift) |
879                                        ((lsbX & lsbMask) >> lsbShift);
880                        }
881                }});
882                0x4B: Trap::fpmerge({{fault = new IllegalInstruction;}});
883                0x4C: FailUnimpl::bshuffle();
884                0x4D: FailUnimpl::fexpand();
885                0x50: FailUnimpl::fpadd16();
886                0x51: FailUnimpl::fpadd16s();
887                0x52: FailUnimpl::fpadd32();
888                0x53: FailUnimpl::fpadd32s();
889                0x54: FailUnimpl::fpsub16();
890                0x55: FailUnimpl::fpsub16s();
891                0x56: FailUnimpl::fpsub32();
892                0x57: FailUnimpl::fpsub32s();
893                0x60: FpBasic::fzero({{Frd.df = 0;}});
894                0x61: FpBasic::fzeros({{Frds.sf = 0;}});
895                0x62: FailUnimpl::fnor();
896                0x63: FailUnimpl::fnors();
897                0x64: FailUnimpl::fandnot2();
898                0x65: FailUnimpl::fandnot2s();
899                0x66: FpBasic::fnot2({{
900                        Frd.df = (double)(~((uint64_t)Frs2.df));
901                }});
902                0x67: FpBasic::fnot2s({{
903                        Frds.sf = (float)(~((uint32_t)Frs2s.sf));
904                }});
905                0x68: FailUnimpl::fandnot1();
906                0x69: FailUnimpl::fandnot1s();
907                0x6A: FpBasic::fnot1({{
908                        Frd.df = (double)(~((uint64_t)Frs1.df));
909                }});
910                0x6B: FpBasic::fnot1s({{
911                        Frds.sf = (float)(~((uint32_t)Frs1s.sf));
912                }});
913                0x6C: FailUnimpl::fxor();
914                0x6D: FailUnimpl::fxors();
915                0x6E: FailUnimpl::fnand();
916                0x6F: FailUnimpl::fnands();
917                0x70: FailUnimpl::fand();
918                0x71: FailUnimpl::fands();
919                0x72: FailUnimpl::fxnor();
920                0x73: FailUnimpl::fxnors();
921                0x74: FpBasic::fsrc1({{Frd.udw = Frs1.udw;}});
922                0x75: FpBasic::fsrc1s({{Frds.uw = Frs1s.uw;}});
923                0x76: FailUnimpl::fornot2();
924                0x77: FailUnimpl::fornot2s();
925                0x78: FpBasic::fsrc2({{Frd.udw = Frs2.udw;}});
926                0x79: FpBasic::fsrc2s({{Frds.uw = Frs2s.uw;}});
927                0x7A: FailUnimpl::fornot1();
928                0x7B: FailUnimpl::fornot1s();
929                0x7C: FailUnimpl::for();
930                0x7D: FailUnimpl::fors();
931                0x7E: FpBasic::fone({{Frd.udw = std::numeric_limits<uint64_t>::max();}});
932                0x7F: FpBasic::fones({{Frds.uw = std::numeric_limits<uint32_t>::max();}});
933                0x80: Trap::shutdown({{fault = new IllegalInstruction;}});
934                0x81: FailUnimpl::siam();
935            }
936            // M5 special opcodes use the reserved IMPDEP2A opcode space
937            0x37: decode M5FUNC {
938#if FULL_SYSTEM
939                format BasicOperate {
940                    // we have 7 bits of space here to play with...
941                    0x21: m5exit({{PseudoInst::m5exit(xc->tcBase(), O0);
942                                  }}, No_OpClass, IsNonSpeculative);
943                    0x50: m5readfile({{
944                                     O0 = PseudoInst::readfile(xc->tcBase(), O0, O1, O2);
945                                     }}, IsNonSpeculative);
946                    0x51: m5break({{PseudoInst::debugbreak(xc->tcBase());
947                                  }}, IsNonSpeculative);
948                    0x54: m5panic({{
949                                  panic("M5 panic instruction called at pc=%#x.", xc->readPC());
950                                  }}, No_OpClass, IsNonSpeculative);
951                }
952#endif
953                default: Trap::impdep2({{fault = new IllegalInstruction;}});
954            }
955            0x38: Branch::jmpl({{
956                Addr target = Rs1 + Rs2_or_imm13;
957                if(target & 0x3)
958                    fault = new MemAddressNotAligned;
959                else
960                {
961                    if (Pstate<3:>)
962                        Rd = (xc->readPC())<31:0>;
963                    else
964                        Rd = xc->readPC();
965                    NNPC = target;
966                }
967            }});
968            0x39: Branch::return({{
969                Addr target = Rs1 + Rs2_or_imm13;
970                if(fault == NoFault)
971                {
972                    //Check for fills which are higher priority than alignment
973                    //faults.
974                    if(Canrestore == 0)
975                    {
976                        if(Otherwin)
977                            fault = new FillNOther(4*Wstate<5:3>);
978                        else
979                            fault = new FillNNormal(4*Wstate<2:0>);
980                    }
981                    //Check for alignment faults
982                    else if(target & 0x3)
983                        fault = new MemAddressNotAligned;
984                    else
985                    {
986                        NNPC = target;
987                        Cwp = (Cwp - 1 + NWindows) % NWindows;
988                        Cansave = Cansave + 1;
989                        Canrestore = Canrestore - 1;
990                    }
991                }
992            }});
993            0x3A: decode CC
994            {
995                0x0: Trap::tcci({{
996                    if(passesCondition(Ccr<3:0>, COND2))
997                    {
998                        int lTrapNum = I ? (Rs1 + SW_TRAP) : (Rs1 + Rs2);
999                        DPRINTF(Sparc, "The trap number is %d\n", lTrapNum);
1000                        fault = new TrapInstruction(lTrapNum);
1001                    }
1002                }}, IsSerializeAfter, IsNonSpeculative, IsSyscall);
1003                0x2: Trap::tccx({{
1004                    if(passesCondition(Ccr<7:4>, COND2))
1005                    {
1006                        int lTrapNum = I ? (Rs1 + SW_TRAP) : (Rs1 + Rs2);
1007                        DPRINTF(Sparc, "The trap number is %d\n", lTrapNum);
1008                        fault = new TrapInstruction(lTrapNum);
1009                    }
1010                }}, IsSerializeAfter, IsNonSpeculative, IsSyscall);
1011            }
1012            0x3B: Nop::flush({{/*Instruction memory flush*/}}, IsWriteBarrier,
1013                          MemWriteOp);
1014            0x3C: save({{
1015                if(Cansave == 0)
1016                {
1017                    if(Otherwin)
1018                        fault = new SpillNOther(4*Wstate<5:3>);
1019                    else
1020                        fault = new SpillNNormal(4*Wstate<2:0>);
1021                }
1022                else if(Cleanwin - Canrestore == 0)
1023                {
1024                    fault = new CleanWindow;
1025                }
1026                else
1027                {
1028                    Cwp = (Cwp + 1) % NWindows;
1029                    Rd_next = Rs1 + Rs2_or_imm13;
1030                    Cansave = Cansave - 1;
1031                    Canrestore = Canrestore + 1;
1032                }
1033            }});
1034            0x3D: restore({{
1035                if(Canrestore == 0)
1036                {
1037                    if(Otherwin)
1038                        fault = new FillNOther(4*Wstate<5:3>);
1039                    else
1040                        fault = new FillNNormal(4*Wstate<2:0>);
1041                }
1042                else
1043                {
1044                    Cwp = (Cwp - 1 + NWindows) % NWindows;
1045                    Rd_prev = Rs1 + Rs2_or_imm13;
1046                    Cansave = Cansave + 1;
1047                    Canrestore = Canrestore - 1;
1048                }
1049            }});
1050            0x3E: decode FCN {
1051                0x0: Priv::done({{
1052                    Cwp = Tstate<4:0>;
1053                    Pstate = Tstate<20:8>;
1054                    Asi = Tstate<31:24>;
1055                    Ccr = Tstate<39:32>;
1056                    Gl = Tstate<42:40>;
1057                    Hpstate = Htstate;
1058                    NPC = Tnpc;
1059                    NNPC = Tnpc + 4;
1060                    Tl = Tl - 1;
1061                }}, checkTl=true);
1062                0x1: Priv::retry({{
1063                    Cwp = Tstate<4:0>;
1064                    Pstate = Tstate<20:8>;
1065                    Asi = Tstate<31:24>;
1066                    Ccr = Tstate<39:32>;
1067                    Gl = Tstate<42:40>;
1068                    Hpstate = Htstate;
1069                    NPC = Tpc;
1070                    NNPC = Tnpc;
1071                    Tl = Tl - 1;
1072                }}, checkTl=true);
1073            }
1074        }
1075    }
1076    0x3: decode OP3 {
1077        format Load {
1078            0x00: lduw({{Rd = Mem.uw;}});
1079            0x01: ldub({{Rd = Mem.ub;}});
1080            0x02: lduh({{Rd = Mem.uhw;}});
1081            0x03: ldtw({{
1082                        RdLow = (Mem.tuw).a;
1083                        RdHigh = (Mem.tuw).b;
1084            }});
1085        }
1086        format Store {
1087            0x04: stw({{Mem.uw = Rd.sw;}});
1088            0x05: stb({{Mem.ub = Rd.sb;}});
1089            0x06: sth({{Mem.uhw = Rd.shw;}});
1090            0x07: sttw({{
1091                      //This temporary needs to be here so that the parser
1092                      //will correctly identify this instruction as a store.
1093                      //It's probably either the parenthesis or referencing
1094                      //the member variable that throws confuses it.
1095                      Twin32_t temp;
1096                      temp.a = RdLow<31:0>;
1097                      temp.b = RdHigh<31:0>;
1098                      Mem.tuw = temp;
1099                  }});
1100        }
1101        format Load {
1102            0x08: ldsw({{Rd = (int32_t)Mem.sw;}});
1103            0x09: ldsb({{Rd = (int8_t)Mem.sb;}});
1104            0x0A: ldsh({{Rd = (int16_t)Mem.shw;}});
1105            0x0B: ldx({{Rd = (int64_t)Mem.sdw;}});
1106        }
1107        0x0D: Swap::ldstub({{Mem.ub = 0xFF;}},
1108                           {{
1109                               uint8_t tmp = mem_data;
1110                               Rd.ub = tmp;
1111                           }}, MEM_SWAP);
1112        0x0E: Store::stx({{Mem.udw = Rd}});
1113        0x0F: Swap::swap({{Mem.uw = Rd.uw}},
1114                         {{
1115                               uint32_t tmp = mem_data;
1116                               Rd.uw = tmp;
1117                         }}, MEM_SWAP);
1118        format LoadAlt {
1119            0x10: lduwa({{Rd = Mem.uw;}}, {{EXT_ASI}});
1120            0x11: lduba({{Rd = Mem.ub;}}, {{EXT_ASI}});
1121            0x12: lduha({{Rd = Mem.uhw;}}, {{EXT_ASI}});
1122            0x13: decode EXT_ASI {
1123                //ASI_LDTD_AIUP
1124                0x22: TwinLoad::ldtx_aiup(
1125                    {{RdLow.udw = (Mem.tudw).a;
1126                      RdHigh.udw = (Mem.tudw).b;}}, {{EXT_ASI}});
1127                //ASI_LDTD_AIUS
1128                0x23: TwinLoad::ldtx_aius(
1129                    {{RdLow.udw = (Mem.tudw).a;
1130                      RdHigh.udw = (Mem.tudw).b;}}, {{EXT_ASI}});
1131                //ASI_QUAD_LDD
1132                0x24: TwinLoad::ldtx_quad_ldd(
1133                    {{RdLow.udw = (Mem.tudw).a;
1134                      RdHigh.udw = (Mem.tudw).b;}}, {{EXT_ASI}});
1135                //ASI_LDTX_REAL
1136                0x26: TwinLoad::ldtx_real(
1137                    {{RdLow.udw = (Mem.tudw).a;
1138                      RdHigh.udw = (Mem.tudw).b;}}, {{EXT_ASI}});
1139                //ASI_LDTX_N
1140                0x27: TwinLoad::ldtx_n(
1141                    {{RdLow.udw = (Mem.tudw).a;
1142                      RdHigh.udw = (Mem.tudw).b;}}, {{EXT_ASI}});
1143                //ASI_LDTX_AIUP_L
1144                0x2A: TwinLoad::ldtx_aiup_l(
1145                    {{RdLow.udw = (Mem.tudw).a;
1146                      RdHigh.udw = (Mem.tudw).b;}}, {{EXT_ASI}});
1147                //ASI_LDTX_AIUS_L
1148                0x2B: TwinLoad::ldtx_aius_l(
1149                    {{RdLow.udw = (Mem.tudw).a;
1150                      RdHigh.udw = (Mem.tudw).b;}}, {{EXT_ASI}});
1151                //ASI_LDTX_L
1152                0x2C: TwinLoad::ldtx_l(
1153                    {{RdLow.udw = (Mem.tudw).a;
1154                      RdHigh.udw = (Mem.tudw).b;}}, {{EXT_ASI}});
1155                //ASI_LDTX_REAL_L
1156                0x2E: TwinLoad::ldtx_real_l(
1157                    {{RdLow.udw = (Mem.tudw).a;
1158                      RdHigh.udw = (Mem.tudw).b;}}, {{EXT_ASI}});
1159                //ASI_LDTX_N_L
1160                0x2F: TwinLoad::ldtx_n_l(
1161                    {{RdLow.udw = (Mem.tudw).a;
1162                      RdHigh.udw = (Mem.tudw).b;}}, {{EXT_ASI}});
1163                //ASI_LDTX_P
1164                0xE2: TwinLoad::ldtx_p(
1165                    {{RdLow.udw = (Mem.tudw).a;
1166                      RdHigh.udw = (Mem.tudw).b;}}, {{EXT_ASI}});
1167                //ASI_LDTX_S
1168                0xE3: TwinLoad::ldtx_s(
1169                    {{RdLow.udw = (Mem.tudw).a;
1170                      RdHigh.udw = (Mem.tudw).b;}}, {{EXT_ASI}});
1171                //ASI_LDTX_PL
1172                0xEA: TwinLoad::ldtx_pl(
1173                    {{RdLow.udw = (Mem.tudw).a;
1174                      RdHigh.udw = (Mem.tudw).b;}}, {{EXT_ASI}});
1175                //ASI_LDTX_SL
1176                0xEB: TwinLoad::ldtx_sl(
1177                    {{RdLow.udw = (Mem.tudw).a;
1178                      RdHigh.udw = (Mem.tudw).b;}}, {{EXT_ASI}});
1179                default: ldtwa({{
1180                        RdLow = (Mem.tuw).a;
1181                        RdHigh = (Mem.tuw).b;
1182                        }}, {{EXT_ASI}});
1183            }
1184        }
1185        format StoreAlt {
1186            0x14: stwa({{Mem.uw = Rd;}}, {{EXT_ASI}});
1187            0x15: stba({{Mem.ub = Rd;}}, {{EXT_ASI}});
1188            0x16: stha({{Mem.uhw = Rd;}}, {{EXT_ASI}});
1189            0x17: sttwa({{
1190                      //This temporary needs to be here so that the parser
1191                      //will correctly identify this instruction as a store.
1192                      //It's probably either the parenthesis or referencing
1193                      //the member variable that throws confuses it.
1194                      Twin32_t temp;
1195                      temp.a = RdLow<31:0>;
1196                      temp.b = RdHigh<31:0>;
1197                      Mem.tuw = temp;
1198                  }}, {{EXT_ASI}});
1199        }
1200        format LoadAlt {
1201            0x18: ldswa({{Rd = (int32_t)Mem.sw;}}, {{EXT_ASI}});
1202            0x19: ldsba({{Rd = (int8_t)Mem.sb;}}, {{EXT_ASI}});
1203            0x1A: ldsha({{Rd = (int16_t)Mem.shw;}}, {{EXT_ASI}});
1204            0x1B: ldxa({{Rd = (int64_t)Mem.sdw;}}, {{EXT_ASI}});
1205        }
1206        0x1D: SwapAlt::ldstuba({{Mem.ub = 0xFF;}},
1207                           {{
1208                               uint8_t tmp = mem_data;
1209                               Rd.ub = tmp;
1210                           }}, {{EXT_ASI}}, MEM_SWAP);
1211        0x1E: StoreAlt::stxa({{Mem.udw = Rd}}, {{EXT_ASI}});
1212        0x1F: SwapAlt::swapa({{Mem.uw = Rd.uw}},
1213                         {{
1214                               uint32_t tmp = mem_data;
1215                               Rd.uw = tmp;
1216                         }}, {{EXT_ASI}}, MEM_SWAP);
1217
1218        format Trap {
1219            0x20: Load::ldf({{Frds.uw = Mem.uw;}});
1220            0x21: decode RD {
1221                0x0: Load::ldfsr({{fault = checkFpEnableFault(xc);
1222                                     if (fault)
1223                                         return fault;
1224                                   Fsr = Mem.uw | Fsr<63:32>;}});
1225                0x1: Load::ldxfsr({{fault = checkFpEnableFault(xc);
1226                                     if (fault)
1227                                         return fault;
1228                                    Fsr = Mem.udw;}});
1229                default: FailUnimpl::ldfsrOther();
1230            }
1231            0x22: ldqf({{fault = new FpDisabled;}});
1232            0x23: Load::lddf({{Frd.udw = Mem.udw;}});
1233            0x24: Store::stf({{Mem.uw = Frds.uw;}});
1234            0x25: decode RD {
1235                0x0: Store::stfsr({{fault = checkFpEnableFault(xc);
1236                                     if (fault)
1237                                         return fault;
1238                                    Mem.uw = Fsr<31:0>;
1239                                    Fsr = insertBits(Fsr,16,14,0);}});
1240                0x1: Store::stxfsr({{fault = checkFpEnableFault(xc);
1241                                     if (fault)
1242                                         return fault;
1243                                     Mem.udw = Fsr;
1244                                     Fsr = insertBits(Fsr,16,14,0);}});
1245                default: FailUnimpl::stfsrOther();
1246            }
1247            0x26: stqf({{fault = new FpDisabled;}});
1248            0x27: Store::stdf({{Mem.udw = Frd.udw;}});
1249            0x2D: Nop::prefetch({{ }});
1250            0x30: LoadAlt::ldfa({{Frds.uw = Mem.uw;}}, {{EXT_ASI}});
1251            0x32: ldqfa({{fault = new FpDisabled;}});
1252            format LoadAlt {
1253                0x33: decode EXT_ASI {
1254                    //ASI_NUCLEUS
1255                    0x04: FailUnimpl::lddfa_n();
1256                    //ASI_NUCLEUS_LITTLE
1257                    0x0C: FailUnimpl::lddfa_nl();
1258                    //ASI_AS_IF_USER_PRIMARY
1259                    0x10: FailUnimpl::lddfa_aiup();
1260                    //ASI_AS_IF_USER_PRIMARY_LITTLE
1261                    0x18: FailUnimpl::lddfa_aiupl();
1262                    //ASI_AS_IF_USER_SECONDARY
1263                    0x11: FailUnimpl::lddfa_aius();
1264                    //ASI_AS_IF_USER_SECONDARY_LITTLE
1265                    0x19: FailUnimpl::lddfa_aiusl();
1266                    //ASI_REAL
1267                    0x14: FailUnimpl::lddfa_real();
1268                    //ASI_REAL_LITTLE
1269                    0x1C: FailUnimpl::lddfa_real_l();
1270                    //ASI_REAL_IO
1271                    0x15: FailUnimpl::lddfa_real_io();
1272                    //ASI_REAL_IO_LITTLE
1273                    0x1D: FailUnimpl::lddfa_real_io_l();
1274                    //ASI_PRIMARY
1275                    0x80: FailUnimpl::lddfa_p();
1276                    //ASI_PRIMARY_LITTLE
1277                    0x88: FailUnimpl::lddfa_pl();
1278                    //ASI_SECONDARY
1279                    0x81: FailUnimpl::lddfa_s();
1280                    //ASI_SECONDARY_LITTLE
1281                    0x89: FailUnimpl::lddfa_sl();
1282                    //ASI_PRIMARY_NO_FAULT
1283                    0x82: FailUnimpl::lddfa_pnf();
1284                    //ASI_PRIMARY_NO_FAULT_LITTLE
1285                    0x8A: FailUnimpl::lddfa_pnfl();
1286                    //ASI_SECONDARY_NO_FAULT
1287                    0x83: FailUnimpl::lddfa_snf();
1288                    //ASI_SECONDARY_NO_FAULT_LITTLE
1289                    0x8B: FailUnimpl::lddfa_snfl();
1290
1291                    format BlockLoad {
1292                        // LDBLOCKF
1293                        //ASI_BLOCK_AS_IF_USER_PRIMARY
1294                        0x16: FailUnimpl::ldblockf_aiup();
1295                        //ASI_BLOCK_AS_IF_USER_SECONDARY
1296                        0x17: FailUnimpl::ldblockf_aius();
1297                        //ASI_BLOCK_AS_IF_USER_PRIMARY_LITTLE
1298                        0x1E: FailUnimpl::ldblockf_aiupl();
1299                        //ASI_BLOCK_AS_IF_USER_SECONDARY_LITTLE
1300                        0x1F: FailUnimpl::ldblockf_aiusl();
1301                        //ASI_BLOCK_PRIMARY
1302                        0xF0: ldblockf_p({{Frd_N.udw = Mem.udw;}}, {{EXT_ASI}});
1303                        //ASI_BLOCK_SECONDARY
1304                        0xF1: FailUnimpl::ldblockf_s();
1305                        //ASI_BLOCK_PRIMARY_LITTLE
1306                        0xF8: FailUnimpl::ldblockf_pl();
1307                        //ASI_BLOCK_SECONDARY_LITTLE
1308                        0xF9: FailUnimpl::ldblockf_sl();
1309                    }
1310
1311                    //LDSHORTF
1312                    //ASI_FL8_PRIMARY
1313                    0xD0: FailUnimpl::ldshortf_8p();
1314                    //ASI_FL8_SECONDARY
1315                    0xD1: FailUnimpl::ldshortf_8s();
1316                    //ASI_FL8_PRIMARY_LITTLE
1317                    0xD8: FailUnimpl::ldshortf_8pl();
1318                    //ASI_FL8_SECONDARY_LITTLE
1319                    0xD9: FailUnimpl::ldshortf_8sl();
1320                    //ASI_FL16_PRIMARY
1321                    0xD2: FailUnimpl::ldshortf_16p();
1322                    //ASI_FL16_SECONDARY
1323                    0xD3: FailUnimpl::ldshortf_16s();
1324                    //ASI_FL16_PRIMARY_LITTLE
1325                    0xDA: FailUnimpl::ldshortf_16pl();
1326                    //ASI_FL16_SECONDARY_LITTLE
1327                    0xDB: FailUnimpl::ldshortf_16sl();
1328                    //Not an ASI which is legal with lddfa
1329                    default: Trap::lddfa_bad_asi(
1330                        {{fault = new DataAccessException;}});
1331                }
1332            }
1333            0x34: Store::stfa({{Mem.uw = Frds.uw;}});
1334            0x36: stqfa({{fault = new FpDisabled;}});
1335            format StoreAlt {
1336                0x37: decode EXT_ASI {
1337                    //ASI_NUCLEUS
1338                    0x04: FailUnimpl::stdfa_n();
1339                    //ASI_NUCLEUS_LITTLE
1340                    0x0C: FailUnimpl::stdfa_nl();
1341                    //ASI_AS_IF_USER_PRIMARY
1342                    0x10: FailUnimpl::stdfa_aiup();
1343                    //ASI_AS_IF_USER_PRIMARY_LITTLE
1344                    0x18: FailUnimpl::stdfa_aiupl();
1345                    //ASI_AS_IF_USER_SECONDARY
1346                    0x11: FailUnimpl::stdfa_aius();
1347                    //ASI_AS_IF_USER_SECONDARY_LITTLE
1348                    0x19: FailUnimpl::stdfa_aiusl();
1349                    //ASI_REAL
1350                    0x14: FailUnimpl::stdfa_real();
1351                    //ASI_REAL_LITTLE
1352                    0x1C: FailUnimpl::stdfa_real_l();
1353                    //ASI_REAL_IO
1354                    0x15: FailUnimpl::stdfa_real_io();
1355                    //ASI_REAL_IO_LITTLE
1356                    0x1D: FailUnimpl::stdfa_real_io_l();
1357                    //ASI_PRIMARY
1358                    0x80: FailUnimpl::stdfa_p();
1359                    //ASI_PRIMARY_LITTLE
1360                    0x88: FailUnimpl::stdfa_pl();
1361                    //ASI_SECONDARY
1362                    0x81: FailUnimpl::stdfa_s();
1363                    //ASI_SECONDARY_LITTLE
1364                    0x89: FailUnimpl::stdfa_sl();
1365                    //ASI_PRIMARY_NO_FAULT
1366                    0x82: FailUnimpl::stdfa_pnf();
1367                    //ASI_PRIMARY_NO_FAULT_LITTLE
1368                    0x8A: FailUnimpl::stdfa_pnfl();
1369                    //ASI_SECONDARY_NO_FAULT
1370                    0x83: FailUnimpl::stdfa_snf();
1371                    //ASI_SECONDARY_NO_FAULT_LITTLE
1372                    0x8B: FailUnimpl::stdfa_snfl();
1373
1374                    format BlockStore {
1375                        // STBLOCKF
1376                        //ASI_BLOCK_AS_IF_USER_PRIMARY
1377                        0x16: FailUnimpl::stblockf_aiup();
1378                        //ASI_BLOCK_AS_IF_USER_SECONDARY
1379                        0x17: FailUnimpl::stblockf_aius();
1380                        //ASI_BLOCK_AS_IF_USER_PRIMARY_LITTLE
1381                        0x1E: FailUnimpl::stblockf_aiupl();
1382                        //ASI_BLOCK_AS_IF_USER_SECONDARY_LITTLE
1383                        0x1F: FailUnimpl::stblockf_aiusl();
1384                        //ASI_BLOCK_PRIMARY
1385                        0xF0: stblockf_p({{Mem.udw = Frd_N.udw;}}, {{EXT_ASI}});
1386                        //ASI_BLOCK_SECONDARY
1387                        0xF1: FailUnimpl::stblockf_s();
1388                        //ASI_BLOCK_PRIMARY_LITTLE
1389                        0xF8: FailUnimpl::stblockf_pl();
1390                        //ASI_BLOCK_SECONDARY_LITTLE
1391                        0xF9: FailUnimpl::stblockf_sl();
1392                    }
1393
1394                    //STSHORTF
1395                    //ASI_FL8_PRIMARY
1396                    0xD0: FailUnimpl::stshortf_8p();
1397                    //ASI_FL8_SECONDARY
1398                    0xD1: FailUnimpl::stshortf_8s();
1399                    //ASI_FL8_PRIMARY_LITTLE
1400                    0xD8: FailUnimpl::stshortf_8pl();
1401                    //ASI_FL8_SECONDARY_LITTLE
1402                    0xD9: FailUnimpl::stshortf_8sl();
1403                    //ASI_FL16_PRIMARY
1404                    0xD2: FailUnimpl::stshortf_16p();
1405                    //ASI_FL16_SECONDARY
1406                    0xD3: FailUnimpl::stshortf_16s();
1407                    //ASI_FL16_PRIMARY_LITTLE
1408                    0xDA: FailUnimpl::stshortf_16pl();
1409                    //ASI_FL16_SECONDARY_LITTLE
1410                    0xDB: FailUnimpl::stshortf_16sl();
1411                    //Not an ASI which is legal with lddfa
1412                    default: Trap::stdfa_bad_asi(
1413                        {{fault = new DataAccessException;}});
1414                }
1415            }
1416            0x3C: CasAlt::casa({{
1417                               mem_data = htog(Rs2.uw);
1418                               Mem.uw = Rd.uw;}},
1419                         {{
1420                               uint32_t tmp = mem_data;
1421                               Rd.uw = tmp;
1422                         }}, {{EXT_ASI}}, MEM_SWAP_COND);
1423            0x3D: Nop::prefetcha({{ }});
1424            0x3E: CasAlt::casxa({{mem_data = gtoh(Rs2);
1425                                Mem.udw = Rd.udw; }},
1426                         {{ Rd.udw = mem_data; }}, {{EXT_ASI}}, MEM_SWAP_COND);
1427        }
1428    }
1429}
1430