decoder.isa revision 5091:662c1d7b4795
1// Copyright (c) 2006-2007 The Regents of The University of Michigan
2// All rights reserved.
3//
4// Redistribution and use in source and binary forms, with or without
5// modification, are permitted provided that the following conditions are
6// met: redistributions of source code must retain the above copyright
7// notice, this list of conditions and the following disclaimer;
8// redistributions in binary form must reproduce the above copyright
9// notice, this list of conditions and the following disclaimer in the
10// documentation and/or other materials provided with the distribution;
11// neither the name of the copyright holders nor the names of its
12// contributors may be used to endorse or promote products derived from
13// this software without specific prior written permission.
14//
15// THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS AND CONTRIBUTORS
16// "AS IS" AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT
17// LIMITED TO, THE IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR
18// A PARTICULAR PURPOSE ARE DISCLAIMED. IN NO EVENT SHALL THE COPYRIGHT
19// OWNER OR CONTRIBUTORS BE LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL,
20// SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING, BUT NOT
21// LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES; LOSS OF USE,
22// DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER CAUSED AND ON ANY
23// THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY, OR TORT
24// (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE
25// OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.
26//
27// Authors: Ali Saidi
28//          Gabe Black
29//          Steve Reinhardt
30
31////////////////////////////////////////////////////////////////////
32//
33// The actual decoder specification
34//
35
36decode OP default Unknown::unknown()
37{
38    0x0: decode OP2
39    {
40        //Throw an illegal instruction acception
41        0x0: Trap::illtrap({{fault = new IllegalInstruction;}});
42        format BranchN
43        {
44            //bpcc
45            0x1: decode COND2
46            {
47                //Branch Always
48                0x8: bpa(19, annul_code={{
49                                 NPC = xc->readPC() + disp;
50                                 NNPC = NPC + 4;
51                             }});
52                //Branch Never
53                0x0: bpn(19, {{;}},
54                             annul_code={{
55                                 NNPC = NPC + 8;
56                                 NPC = NPC + 4;
57                             }});
58                default: decode BPCC
59                {
60                    0x0: bpcci(19, test={{passesCondition(Ccr<3:0>, COND2)}});
61                    0x2: bpccx(19, test={{passesCondition(Ccr<7:4>, COND2)}});
62                }
63            }
64            //bicc
65            0x2: decode COND2
66            {
67                //Branch Always
68                0x8: ba(22, annul_code={{
69                                NPC = xc->readPC() + disp;
70                                NNPC = NPC + 4;
71                            }});
72                //Branch Never
73                0x0: bn(22, {{;}},
74                            annul_code={{
75                                NNPC = NPC + 8;
76                                NPC = NPC + 4;
77                            }});
78                default: bicc(22, test={{passesCondition(Ccr<3:0>, COND2)}});
79            }
80        }
81        0x3: decode RCOND2
82        {
83            format BranchSplit
84            {
85                0x1: bpreq(test={{Rs1.sdw == 0}});
86                0x2: bprle(test={{Rs1.sdw <= 0}});
87                0x3: bprl(test={{Rs1.sdw < 0}});
88                0x5: bprne(test={{Rs1.sdw != 0}});
89                0x6: bprg(test={{Rs1.sdw > 0}});
90                0x7: bprge(test={{Rs1.sdw >= 0}});
91            }
92        }
93        //SETHI (or NOP if rd == 0 and imm == 0)
94        0x4: SetHi::sethi({{Rd.udw = imm;}});
95        //fbpfcc
96        0x5: decode COND2 {
97            format BranchN {
98                //Branch Always
99                0x8: fbpa(22, annul_code={{
100                                  NPC = xc->readPC() + disp;
101                                  NNPC = NPC + 4;
102                              }});
103                //Branch Never
104                0x0: fbpn(22, {{;}},
105                             annul_code={{
106                                 NNPC = NPC + 8;
107                                 NPC = NPC + 4;
108                             }});
109                default: decode BPCC {
110                    0x0: fbpfcc0(19, test=
111                                 {{passesFpCondition(Fsr<11:10>, COND2)}});
112                    0x1: fbpfcc1(19, test=
113                                 {{passesFpCondition(Fsr<33:32>, COND2)}});
114                    0x2: fbpfcc2(19, test=
115                                 {{passesFpCondition(Fsr<35:34>, COND2)}});
116                    0x3: fbpfcc3(19, test=
117                                 {{passesFpCondition(Fsr<37:36>, COND2)}});
118                }
119            }
120        }
121        //fbfcc
122        0x6: decode COND2 {
123            format BranchN {
124                //Branch Always
125                0x8: fba(22, annul_code={{
126                                 NPC = xc->readPC() + disp;
127                                 NNPC = NPC + 4;
128                             }});
129                //Branch Never
130                0x0: fbn(22, {{;}},
131                             annul_code={{
132                                 NNPC = NPC + 8;
133                                 NPC = NPC + 4;
134                             }});
135                default: fbfcc(22, test=
136                               {{passesFpCondition(Fsr<11:10>, COND2)}});
137            }
138        }
139    }
140    0x1: BranchN::call(30, {{
141            if (Pstate<3:>)
142                R15 = (xc->readPC())<31:0>;
143            else
144                R15 = xc->readPC();
145            NNPC = R15 + disp;
146    }});
147    0x2: decode OP3 {
148        format IntOp {
149            0x00: add({{Rd = Rs1.sdw + Rs2_or_imm13;}});
150            0x01: and({{Rd = Rs1.sdw & Rs2_or_imm13;}});
151            0x02: or({{Rd = Rs1.sdw | Rs2_or_imm13;}});
152            0x03: xor({{Rd = Rs1.sdw ^ Rs2_or_imm13;}});
153            0x04: sub({{Rd = Rs1.sdw - Rs2_or_imm13;}});
154            0x05: andn({{Rd = Rs1.sdw & ~Rs2_or_imm13;}});
155            0x06: orn({{Rd = Rs1.sdw | ~Rs2_or_imm13;}});
156            0x07: xnor({{Rd = ~(Rs1.sdw ^ Rs2_or_imm13);}});
157            0x08: addc({{Rd = Rs1.sdw + Rs2_or_imm13 + Ccr<0:0>;}});
158            0x09: mulx({{Rd = Rs1.sdw * Rs2_or_imm13;}});
159            0x0A: umul({{
160                Rd = Rs1.udw<31:0> * Rs2_or_imm13<31:0>;
161                Y = Rd<63:32>;
162            }});
163            0x0B: smul({{
164                Rd.sdw = sext<32>(Rs1.sdw<31:0>) * sext<32>(Rs2_or_imm13<31:0>);
165                Y = Rd.sdw<63:32>;
166            }});
167            0x0C: subc({{Rd.sdw = Rs1.sdw + (~Rs2_or_imm13) + 1 - Ccr<0:0>}});
168            0x0D: udivx({{
169                if(Rs2_or_imm13 == 0) fault = new DivisionByZero;
170                else Rd.udw = Rs1.udw / Rs2_or_imm13;
171            }});
172            0x0E: udiv({{
173                if(Rs2_or_imm13 == 0) fault = new DivisionByZero;
174                else
175                {
176                    Rd.udw = ((Y << 32) | Rs1.udw<31:0>) / Rs2_or_imm13;
177                    if(Rd.udw >> 32 != 0)
178                        Rd.udw = 0xFFFFFFFF;
179                }
180            }});
181            0x0F: sdiv({{
182                if(Rs2_or_imm13.sdw == 0)
183                    fault = new DivisionByZero;
184                else
185                {
186                    Rd.udw = ((int64_t)((Y << 32) | Rs1.sdw<31:0>)) / Rs2_or_imm13.sdw;
187                    if((int64_t)Rd.udw >= std::numeric_limits<int32_t>::max())
188                        Rd.udw = 0x7FFFFFFF;
189                    else if((int64_t)Rd.udw <= std::numeric_limits<int32_t>::min())
190                        Rd.udw = ULL(0xFFFFFFFF80000000);
191                }
192            }});
193        }
194        format IntOpCc {
195            0x10: addcc({{
196                int64_t resTemp, val2 = Rs2_or_imm13;
197                Rd = resTemp = Rs1 + val2;}},
198                {{(Rs1<31:0> + val2<31:0>)<32:>}},
199                {{Rs1<31:> == val2<31:> && val2<31:> != resTemp<31:>}},
200                {{(Rs1<63:1> + val2<63:1> + (Rs1 & val2)<0:>)<63:>}},
201                {{Rs1<63:> == val2<63:> && val2<63:> != resTemp<63:>}}
202            );
203            0x11: IntOpCcRes::andcc({{Rd = Rs1 & Rs2_or_imm13;}});
204            0x12: IntOpCcRes::orcc({{Rd = Rs1 | Rs2_or_imm13;}});
205            0x13: IntOpCcRes::xorcc({{Rd = Rs1 ^ Rs2_or_imm13;}});
206            0x14: subcc({{
207                int64_t val2 = Rs2_or_imm13;
208                Rd = Rs1 - val2;}},
209                {{(~(Rs1<31:0> + (~val2)<31:0> + 1))<32:>}},
210                {{(Rs1<31:> != val2<31:>) && (Rs1<31:> != Rd<31:>)}},
211                {{(~(Rs1<63:1> + (~val2)<63:1> +
212                    (Rs1 | ~val2)<0:>))<63:>}},
213                {{Rs1<63:> != val2<63:> && Rs1<63:> != Rd<63:>}}
214            );
215            0x15: IntOpCcRes::andncc({{Rd = Rs1 & ~Rs2_or_imm13;}});
216            0x16: IntOpCcRes::orncc({{Rd = Rs1 | ~Rs2_or_imm13;}});
217            0x17: IntOpCcRes::xnorcc({{Rd = ~(Rs1 ^ Rs2_or_imm13);}});
218            0x18: addccc({{
219                int64_t resTemp, val2 = Rs2_or_imm13;
220                int64_t carryin = Ccr<0:0>;
221                Rd = resTemp = Rs1 + val2 + carryin;}},
222                {{(Rs1<31:0> + val2<31:0> + carryin)<32:>}},
223                {{Rs1<31:> == val2<31:> && val2<31:> != resTemp<31:>}},
224                {{((Rs1 & val2) | (~resTemp & (Rs1 | val2)))<63:>}},
225                {{Rs1<63:> == val2<63:> && val2<63:> != resTemp<63:>}}
226            );
227            0x1A: IntOpCcRes::umulcc({{
228                uint64_t resTemp;
229                Rd = resTemp = Rs1.udw<31:0> * Rs2_or_imm13.udw<31:0>;
230                Y = resTemp<63:32>;}});
231            0x1B: IntOpCcRes::smulcc({{
232                int64_t resTemp;
233                Rd = resTemp = sext<32>(Rs1.sdw<31:0>) * sext<32>(Rs2_or_imm13<31:0>);
234                Y = resTemp<63:32>;}});
235            0x1C: subccc({{
236                int64_t resTemp, val2 = Rs2_or_imm13;
237                int64_t carryin = Ccr<0:0>;
238                Rd = resTemp = Rs1 + ~val2 + 1 - carryin;}},
239                {{((~Rs1 & val2) | (resTemp & (~Rs1 | val2)))<31:>}},
240                {{Rs1<31:> != val2<31:> && Rs1<31:> != resTemp<31:>}},
241                {{((~Rs1 & val2) | (resTemp & (~Rs1 | val2)))<63:>}},
242                {{Rs1<63:> != val2<63:> && Rs1<63:> != resTemp<63:>}}
243            );
244            0x1D: IntOpCcRes::udivxcc({{
245                if(Rs2_or_imm13.udw == 0) fault = new DivisionByZero;
246                else Rd = Rs1.udw / Rs2_or_imm13.udw;}});
247            0x1E: udivcc({{
248                uint32_t resTemp, val2 = Rs2_or_imm13.udw;
249                int32_t overflow = 0;
250                if(val2 == 0) fault = new DivisionByZero;
251                else
252                {
253                    resTemp = (uint64_t)((Y << 32) | Rs1.udw<31:0>) / val2;
254                    overflow = (resTemp<63:32> != 0);
255                    if(overflow) Rd = resTemp = 0xFFFFFFFF;
256                    else Rd = resTemp;
257                } }},
258                {{0}},
259                {{overflow}},
260                {{0}},
261                {{0}}
262            );
263            0x1F: sdivcc({{
264                int64_t val2 = Rs2_or_imm13.sdw<31:0>;
265                bool overflow = false, underflow = false;
266                if(val2 == 0) fault = new DivisionByZero;
267                else
268                {
269                    Rd = (int64_t)((Y << 32) | Rs1.sdw<31:0>) / val2;
270                    overflow = ((int64_t)Rd >= std::numeric_limits<int32_t>::max());
271                    underflow = ((int64_t)Rd <= std::numeric_limits<int32_t>::min());
272                    if(overflow) Rd = 0x7FFFFFFF;
273                    else if(underflow) Rd = ULL(0xFFFFFFFF80000000);
274                } }},
275                {{0}},
276                {{overflow || underflow}},
277                {{0}},
278                {{0}}
279            );
280            0x20: taddcc({{
281                int64_t resTemp, val2 = Rs2_or_imm13;
282                Rd = resTemp = Rs1 + val2;
283                int32_t overflow = Rs1<1:0> || val2<1:0> || (Rs1<31:> == val2<31:> && val2<31:> != resTemp<31:>);}},
284                {{((Rs1<31:0> + val2<31:0>)<32:0>)}},
285                {{overflow}},
286                {{((Rs1 >> 1) + (val2 >> 1) + (Rs1 & val2 & 0x1))<63:>}},
287                {{Rs1<63:> == val2<63:> && val2<63:> != resTemp<63:>}}
288            );
289            0x21: tsubcc({{
290                int64_t resTemp, val2 = Rs2_or_imm13;
291                Rd = resTemp = Rs1 + val2;
292                int32_t overflow = Rs1<1:0> || val2<1:0> || (Rs1<31:> == val2<31:> && val2<31:> != resTemp<31:>);}},
293                {{(Rs1<31:0> + val2<31:0>)<32:0>}},
294                {{overflow}},
295                {{((Rs1 >> 1) + (val2 >> 1) + (Rs1 & val2 & 0x1))<63:>}},
296                {{Rs1<63:> == val2<63:> && val2<63:> != resTemp<63:>}}
297            );
298            0x22: taddcctv({{
299                int64_t val2 = Rs2_or_imm13;
300                Rd = Rs1 + val2;
301                int32_t overflow = Rs1<1:0> || val2<1:0> ||
302                        (Rs1<31:> == val2<31:> && val2<31:> != Rd<31:>);
303                if(overflow) fault = new TagOverflow;}},
304                {{((Rs1<31:0> + val2<31:0>)<32:0>)}},
305                {{overflow}},
306                {{((Rs1 >> 1) + (val2 >> 1) + (Rs1 & val2 & 0x1))<63:>}},
307                {{Rs1<63:> == val2<63:> && val2<63:> != Rd<63:>}}
308            );
309            0x23: tsubcctv({{
310                int64_t resTemp, val2 = Rs2_or_imm13;
311                Rd = resTemp = Rs1 + val2;
312                int32_t overflow = Rs1<1:0> || val2<1:0> || (Rs1<31:> == val2<31:> && val2<31:> != resTemp<31:>);
313                if(overflow) fault = new TagOverflow;}},
314                {{((Rs1<31:0> + val2<31:0>)<32:0>)}},
315                {{overflow}},
316                {{((Rs1 >> 1) + (val2 >> 1) + (Rs1 & val2 & 0x1))<63:>}},
317                {{Rs1<63:> == val2<63:> && val2<63:> != resTemp<63:>}}
318            );
319            0x24: mulscc({{
320                int32_t savedLSB = Rs1<0:>;
321
322                //Step 1
323                int64_t multiplicand = Rs2_or_imm13;
324                //Step 2
325                int32_t partialP = Rs1<31:1> |
326                    ((Ccr<3:3> ^ Ccr<1:1>) << 31);
327                //Step 3
328                int32_t added = Y<0:> ? multiplicand : 0;
329                Rd = partialP + added;
330                //Steps 4 & 5
331                Y = Y<31:1> | (savedLSB << 31);}},
332                {{((partialP<31:0> + added<31:0>)<32:0>)}},
333                {{partialP<31:> == added<31:> && added<31:> != Rd<31:>}},
334                {{((partialP >> 1) + (added >> 1) + (partialP & added & 0x1))<63:>}},
335                {{partialP<63:> == added<63:> && partialP<63:> != Rd<63:>}}
336            );
337        }
338        format IntOp
339        {
340            0x25: decode X {
341                0x0: sll({{Rd = Rs1 << (I ? SHCNT32 : Rs2<4:0>);}});
342                0x1: sllx({{Rd = Rs1 << (I ? SHCNT64 : Rs2<5:0>);}});
343            }
344            0x26: decode X {
345                0x0: srl({{Rd = Rs1.uw >> (I ? SHCNT32 : Rs2<4:0>);}});
346                0x1: srlx({{Rd = Rs1.udw >> (I ? SHCNT64 : Rs2<5:0>);}});
347            }
348            0x27: decode X {
349                0x0: sra({{Rd = Rs1.sw >> (I ? SHCNT32 : Rs2<4:0>);}});
350                0x1: srax({{Rd = Rs1.sdw >> (I ? SHCNT64 : Rs2<5:0>);}});
351            }
352            0x28: decode RS1 {
353                0x00: NoPriv::rdy({{Rd = Y<31:0>;}});
354                //1 should cause an illegal instruction exception
355                0x02: NoPriv::rdccr({{Rd = Ccr;}});
356                0x03: NoPriv::rdasi({{Rd = Asi;}});
357                0x04: PrivCheck::rdtick({{Rd = Tick;}}, {{Tick<63:>}});
358                0x05: NoPriv::rdpc({{
359                    if(Pstate<3:>)
360                        Rd = (xc->readPC())<31:0>;
361                    else
362                        Rd = xc->readPC();}});
363                0x06: NoPriv::rdfprs({{
364                    //Wait for all fpops to finish.
365                    Rd = Fprs;
366                }});
367                //7-14 should cause an illegal instruction exception
368                0x0F: decode I {
369                    0x0: Nop::stbar({{/*stuff*/}}, IsWriteBarrier, MemWriteOp);
370                    0x1: Nop::membar({{/*stuff*/}}, IsMemBarrier, MemReadOp);
371                }
372                0x10: Priv::rdpcr({{Rd = Pcr;}});
373                0x11: PrivCheck::rdpic({{Rd = Pic;}}, {{Pcr<0:>}});
374                //0x12 should cause an illegal instruction exception
375                0x13: NoPriv::rdgsr({{
376                       fault = checkFpEnableFault(xc);
377                       if (fault)
378                            return fault;
379                       Rd = Gsr;
380                }});
381                //0x14-0x15 should cause an illegal instruction exception
382                0x16: Priv::rdsoftint({{Rd = Softint;}});
383                0x17: Priv::rdtick_cmpr({{Rd = TickCmpr;}});
384                0x18: PrivCheck::rdstick({{Rd = Stick}}, {{Stick<63:>}});
385                0x19: Priv::rdstick_cmpr({{Rd = StickCmpr;}});
386                0x1A: Priv::rdstrand_sts_reg({{
387                    if(Pstate<2:> && !Hpstate<2:>)
388                        Rd = StrandStsReg<0:>;
389                    else
390                        Rd = StrandStsReg;
391                }});
392                //0x1A is supposed to be reserved, but it reads the strand
393                //status register.
394                //0x1B-0x1F should cause an illegal instruction exception
395            }
396            0x29: decode RS1 {
397                0x00: HPriv::rdhprhpstate({{Rd = Hpstate;}});
398                0x01: HPriv::rdhprhtstate({{
399                    if(Tl == 0)
400                        return new IllegalInstruction;
401                    Rd = Htstate;
402                }});
403                //0x02 should cause an illegal instruction exception
404                0x03: HPriv::rdhprhintp({{Rd = Hintp;}});
405                //0x04 should cause an illegal instruction exception
406                0x05: HPriv::rdhprhtba({{Rd = Htba;}});
407                0x06: HPriv::rdhprhver({{Rd = Hver;}});
408                //0x07-0x1E should cause an illegal instruction exception
409                0x1F: HPriv::rdhprhstick_cmpr({{Rd = HstickCmpr;}});
410            }
411            0x2A: decode RS1 {
412                0x00: Priv::rdprtpc({{
413                    if(Tl == 0)
414                        return new IllegalInstruction;
415                    Rd = Tpc;
416                }});
417                0x01: Priv::rdprtnpc({{
418                    if(Tl == 0)
419                        return new IllegalInstruction;
420                    Rd = Tnpc;
421                }});
422                0x02: Priv::rdprtstate({{
423                    if(Tl == 0)
424                        return new IllegalInstruction;
425                    Rd = Tstate;
426                }});
427                0x03: Priv::rdprtt({{
428                    if(Tl == 0)
429                        return new IllegalInstruction;
430                    Rd = Tt;
431                }});
432                0x04: Priv::rdprtick({{Rd = Tick;}});
433                0x05: Priv::rdprtba({{Rd = Tba;}});
434                0x06: Priv::rdprpstate({{Rd = Pstate;}});
435                0x07: Priv::rdprtl({{Rd = Tl;}});
436                0x08: Priv::rdprpil({{Rd = Pil;}});
437                0x09: Priv::rdprcwp({{Rd = Cwp;}});
438                0x0A: Priv::rdprcansave({{Rd = Cansave;}});
439                0x0B: Priv::rdprcanrestore({{Rd = Canrestore;}});
440                0x0C: Priv::rdprcleanwin({{Rd = Cleanwin;}});
441                0x0D: Priv::rdprotherwin({{Rd = Otherwin;}});
442                0x0E: Priv::rdprwstate({{Rd = Wstate;}});
443                //0x0F should cause an illegal instruction exception
444                0x10: Priv::rdprgl({{Rd = Gl;}});
445                //0x11-0x1F should cause an illegal instruction exception
446            }
447            0x2B: BasicOperate::flushw({{
448                if(NWindows - 2 - Cansave != 0)
449                {
450                    if(Otherwin)
451                        fault = new SpillNOther(4*Wstate<5:3>);
452                    else
453                        fault = new SpillNNormal(4*Wstate<2:0>);
454                }
455            }});
456            0x2C: decode MOVCC3
457            {
458                0x0: Trap::movccfcc({{fault = new FpDisabled;}});
459                0x1: decode CC
460                {
461                    0x0: movcci({{
462                        if(passesCondition(Ccr<3:0>, COND4))
463                            Rd = Rs2_or_imm11;
464                        else
465                            Rd = Rd;
466                    }});
467                    0x2: movccx({{
468                        if(passesCondition(Ccr<7:4>, COND4))
469                            Rd = Rs2_or_imm11;
470                        else
471                            Rd = Rd;
472                    }});
473                }
474            }
475            0x2D: sdivx({{
476                if(Rs2_or_imm13.sdw == 0) fault = new DivisionByZero;
477                else Rd.sdw = Rs1.sdw / Rs2_or_imm13.sdw;
478            }});
479            0x2E: Trap::popc({{fault = new IllegalInstruction;}});
480            0x2F: decode RCOND3
481            {
482                0x1: movreq({{Rd = (Rs1.sdw == 0) ? Rs2_or_imm10 : Rd;}});
483                0x2: movrle({{Rd = (Rs1.sdw <= 0) ? Rs2_or_imm10 : Rd;}});
484                0x3: movrl({{Rd = (Rs1.sdw < 0) ? Rs2_or_imm10 : Rd;}});
485                0x5: movrne({{Rd = (Rs1.sdw != 0) ? Rs2_or_imm10 : Rd;}});
486                0x6: movrg({{Rd = (Rs1.sdw > 0) ? Rs2_or_imm10 : Rd;}});
487                0x7: movrge({{Rd = (Rs1.sdw >= 0) ? Rs2_or_imm10 : Rd;}});
488            }
489            0x30: decode RD {
490                0x00: NoPriv::wry({{Y = (Rs1 ^ Rs2_or_imm13)<31:0>;}});
491                //0x01 should cause an illegal instruction exception
492                0x02: NoPriv::wrccr({{Ccr = Rs1 ^ Rs2_or_imm13;}});
493                0x03: NoPriv::wrasi({{Asi = Rs1 ^ Rs2_or_imm13;}});
494                //0x04-0x05 should cause an illegal instruction exception
495                0x06: NoPriv::wrfprs({{Fprs = Rs1 ^ Rs2_or_imm13;}});
496                //0x07-0x0E should cause an illegal instruction exception
497                0x0F: Trap::softreset({{fault = new SoftwareInitiatedReset;}});
498                0x10: Priv::wrpcr({{Pcr = Rs1 ^ Rs2_or_imm13;}});
499                0x11: PrivCheck::wrpic({{Pic = Rs1 ^ Rs2_or_imm13;}}, {{Pcr<0:>}});
500                //0x12 should cause an illegal instruction exception
501                0x13: NoPriv::wrgsr({{
502                    if(Fprs<2:> == 0 || Pstate<4:> == 0)
503                        return new FpDisabled;
504                    Gsr = Rs1 ^ Rs2_or_imm13;
505                }});
506                0x14: Priv::wrsoftint_set({{SoftintSet = Rs1 ^ Rs2_or_imm13;}});
507                0x15: Priv::wrsoftint_clr({{SoftintClr = Rs1 ^ Rs2_or_imm13;}});
508                0x16: Priv::wrsoftint({{Softint = Rs1 ^ Rs2_or_imm13;}});
509                0x17: Priv::wrtick_cmpr({{TickCmpr = Rs1 ^ Rs2_or_imm13;}});
510                0x18: NoPriv::wrstick({{
511                    if(!Hpstate<2:>)
512                        return new IllegalInstruction;
513                    Stick = Rs1 ^ Rs2_or_imm13;
514                }});
515                0x19: Priv::wrstick_cmpr({{StickCmpr = Rs1 ^ Rs2_or_imm13;}});
516                0x1A: Priv::wrstrand_sts_reg({{
517                        StrandStsReg = Rs1 ^ Rs2_or_imm13;
518                }});
519                //0x1A is supposed to be reserved, but it writes the strand
520                //status register.
521                //0x1B-0x1F should cause an illegal instruction exception
522            }
523            0x31: decode FCN {
524                0x0: Priv::saved({{
525                    assert(Cansave < NWindows - 2);
526                    assert(Otherwin || Canrestore);
527                    Cansave = Cansave + 1;
528                    if(Otherwin == 0)
529                        Canrestore = Canrestore - 1;
530                    else
531                        Otherwin = Otherwin - 1;
532                }});
533                0x1: Priv::restored({{
534                    assert(Cansave || Otherwin);
535                    assert(Canrestore < NWindows - 2);
536                    Canrestore = Canrestore + 1;
537                    if(Otherwin == 0)
538                        Cansave = Cansave - 1;
539                    else
540                        Otherwin = Otherwin - 1;
541
542                    if(Cleanwin < NWindows - 1)
543                        Cleanwin = Cleanwin + 1;
544                }});
545            }
546            0x32: decode RD {
547                0x00: Priv::wrprtpc({{
548                    if(Tl == 0)
549                        return new IllegalInstruction;
550                    else
551                        Tpc = Rs1 ^ Rs2_or_imm13;
552                }});
553                0x01: Priv::wrprtnpc({{
554                    if(Tl == 0)
555                        return new IllegalInstruction;
556                    else
557                        Tnpc = Rs1 ^ Rs2_or_imm13;
558                }});
559                0x02: Priv::wrprtstate({{
560                    if(Tl == 0)
561                        return new IllegalInstruction;
562                    else
563                        Tstate = Rs1 ^ Rs2_or_imm13;
564                }});
565                0x03: Priv::wrprtt({{
566                    if(Tl == 0)
567                        return new IllegalInstruction;
568                    else
569                        Tt = Rs1 ^ Rs2_or_imm13;
570                }});
571                0x04: HPriv::wrprtick({{Tick = Rs1 ^ Rs2_or_imm13;}});
572                0x05: Priv::wrprtba({{Tba = Rs1 ^ Rs2_or_imm13;}});
573                0x06: Priv::wrprpstate({{Pstate = Rs1 ^ Rs2_or_imm13;}});
574                0x07: Priv::wrprtl({{
575                    if(Pstate<2:> && !Hpstate<2:>)
576                        Tl = std::min<uint64_t>(Rs1 ^ Rs2_or_imm13, MaxPTL);
577                    else
578                        Tl = std::min<uint64_t>(Rs1 ^ Rs2_or_imm13, MaxTL);
579                }});
580                0x08: Priv::wrprpil({{Pil = Rs1 ^ Rs2_or_imm13;}});
581                0x09: Priv::wrprcwp({{Cwp = Rs1 ^ Rs2_or_imm13;}});
582                0x0A: Priv::wrprcansave({{Cansave = Rs1 ^ Rs2_or_imm13;}});
583                0x0B: Priv::wrprcanrestore({{Canrestore = Rs1 ^ Rs2_or_imm13;}});
584                0x0C: Priv::wrprcleanwin({{Cleanwin = Rs1 ^ Rs2_or_imm13;}});
585                0x0D: Priv::wrprotherwin({{Otherwin = Rs1 ^ Rs2_or_imm13;}});
586                0x0E: Priv::wrprwstate({{Wstate = Rs1 ^ Rs2_or_imm13;}});
587                //0x0F should cause an illegal instruction exception
588                0x10: Priv::wrprgl({{
589                    if(Pstate<2:> && !Hpstate<2:>)
590                        Gl = std::min<uint64_t>(Rs1 ^ Rs2_or_imm13, MaxPGL);
591                    else
592                        Gl = std::min<uint64_t>(Rs1 ^ Rs2_or_imm13, MaxGL);
593                }});
594                //0x11-0x1F should cause an illegal instruction exception
595            }
596            0x33: decode RD {
597                0x00: HPriv::wrhprhpstate({{Hpstate = Rs1 ^ Rs2_or_imm13;}});
598                0x01: HPriv::wrhprhtstate({{
599                    if(Tl == 0)
600                        return new IllegalInstruction;
601                    Htstate = Rs1 ^ Rs2_or_imm13;
602                }});
603                //0x02 should cause an illegal instruction exception
604                0x03: HPriv::wrhprhintp({{Hintp = Rs1 ^ Rs2_or_imm13;}});
605                //0x04 should cause an illegal instruction exception
606                0x05: HPriv::wrhprhtba({{Htba = Rs1 ^ Rs2_or_imm13;}});
607                //0x06-0x01D should cause an illegal instruction exception
608                0x1F: HPriv::wrhprhstick_cmpr({{HstickCmpr = Rs1 ^ Rs2_or_imm13;}});
609            }
610            0x34: decode OPF{
611                format FpBasic{
612                    0x01: fmovs({{
613                        Frds.uw = Frs2s.uw;
614                        //fsr.ftt = fsr.cexc = 0
615                        Fsr &= ~(7 << 14);
616                        Fsr &= ~(0x1F);
617                    }});
618                    0x02: fmovd({{
619                        Frd.udw = Frs2.udw;
620                        //fsr.ftt = fsr.cexc = 0
621                        Fsr &= ~(7 << 14);
622                        Fsr &= ~(0x1F);
623                    }});
624                    0x03: FpUnimpl::fmovq();
625                    0x05: fnegs({{
626                        Frds.uw = Frs2s.uw ^ (1UL << 31);
627                        //fsr.ftt = fsr.cexc = 0
628                        Fsr &= ~(7 << 14);
629                        Fsr &= ~(0x1F);
630                    }});
631                    0x06: fnegd({{
632                        Frd.udw = Frs2.udw ^ (1ULL << 63);
633                        //fsr.ftt = fsr.cexc = 0
634                        Fsr &= ~(7 << 14);
635                        Fsr &= ~(0x1F);
636                    }});
637                    0x07: FpUnimpl::fnegq();
638                    0x09: fabss({{
639                        Frds.uw = ((1UL << 31) - 1) & Frs2s.uw;
640                        //fsr.ftt = fsr.cexc = 0
641                        Fsr &= ~(7 << 14);
642                        Fsr &= ~(0x1F);
643                    }});
644                    0x0A: fabsd({{
645                        Frd.udw = ((1ULL << 63) - 1) & Frs2.udw;
646                        //fsr.ftt = fsr.cexc = 0
647                        Fsr &= ~(7 << 14);
648                        Fsr &= ~(0x1F);
649                    }});
650                    0x0B: FpUnimpl::fabsq();
651                    0x29: fsqrts({{Frds.sf = std::sqrt(Frs2s.sf);}});
652                    0x2A: fsqrtd({{Frd.df = std::sqrt(Frs2.df);}});
653                    0x2B: FpUnimpl::fsqrtq();
654                    0x41: fadds({{Frds.sf = Frs1s.sf + Frs2s.sf;}});
655                    0x42: faddd({{Frd.df = Frs1.df + Frs2.df;}});
656                    0x43: FpUnimpl::faddq();
657                    0x45: fsubs({{Frds.sf = Frs1s.sf - Frs2s.sf;}});
658                    0x46: fsubd({{Frd.df = Frs1.df - Frs2.df; }});
659                    0x47: FpUnimpl::fsubq();
660                    0x49: fmuls({{Frds.sf = Frs1s.sf * Frs2s.sf;}});
661                    0x4A: fmuld({{Frd.df = Frs1.df * Frs2.df;}});
662                    0x4B: FpUnimpl::fmulq();
663                    0x4D: fdivs({{Frds.sf = Frs1s.sf / Frs2s.sf;}});
664                    0x4E: fdivd({{Frd.df = Frs1.df / Frs2.df;}});
665                    0x4F: FpUnimpl::fdivq();
666                    0x69: fsmuld({{Frd.df = Frs1s.sf * Frs2s.sf;}});
667                    0x6E: FpUnimpl::fdmulq();
668                    0x81: fstox({{
669                            Frd.sdw = static_cast<int64_t>(Frs2s.sf);
670                    }});
671                    0x82: fdtox({{
672                            Frd.sdw = static_cast<int64_t>(Frs2.df);
673                    }});
674                    0x83: FpUnimpl::fqtox();
675                    0x84: fxtos({{
676                            Frds.sf = static_cast<float>(Frs2.sdw);
677                    }});
678                    0x88: fxtod({{
679                            Frd.df = static_cast<double>(Frs2.sdw);
680                    }});
681                    0x8C: FpUnimpl::fxtoq();
682                    0xC4: fitos({{
683                            Frds.sf = static_cast<float>(Frs2s.sw);
684                    }});
685                    0xC6: fdtos({{Frds.sf = Frs2.df;}});
686                    0xC7: FpUnimpl::fqtos();
687                    0xC8: fitod({{
688                            Frd.df = static_cast<double>(Frs2s.sw);
689                    }});
690                    0xC9: fstod({{Frd.df = Frs2s.sf;}});
691                    0xCB: FpUnimpl::fqtod();
692                    0xCC: FpUnimpl::fitoq();
693                    0xCD: FpUnimpl::fstoq();
694                    0xCE: FpUnimpl::fdtoq();
695                    0xD1: fstoi({{
696                            Frds.sw = static_cast<int32_t>(Frs2s.sf);
697                            float t = Frds.sw;
698                            if (t != Frs2s.sf)
699                               Fsr = insertBits(Fsr, 4,0, 0x01);
700                    }});
701                    0xD2: fdtoi({{
702                            Frds.sw = static_cast<int32_t>(Frs2.df);
703                            double t = Frds.sw;
704                            if (t != Frs2.df)
705                               Fsr = insertBits(Fsr, 4,0, 0x01);
706                    }});
707                    0xD3: FpUnimpl::fqtoi();
708                    default: FailUnimpl::fpop1();
709                }
710            }
711            0x35: decode OPF{
712                format FpBasic{
713                    0x01: fmovs_fcc0({{
714                        if(passesFpCondition(Fsr<11:10>, COND4))
715                            Frds = Frs2s;
716                        else
717                            Frds = Frds;
718                    }});
719                    0x02: fmovd_fcc0({{
720                        if(passesFpCondition(Fsr<11:10>, COND4))
721                            Frd = Frs2;
722                        else
723                            Frd = Frd;
724                    }});
725                    0x03: FpUnimpl::fmovq_fcc0();
726                    0x25: fmovrsz({{
727                        if(Rs1 == 0)
728                            Frds = Frs2s;
729                        else
730                            Frds = Frds;
731                    }});
732                    0x26: fmovrdz({{
733                        if(Rs1 == 0)
734                            Frd = Frs2;
735                        else
736                            Frd = Frd;
737                    }});
738                    0x27: FpUnimpl::fmovrqz();
739                    0x41: fmovs_fcc1({{
740                        if(passesFpCondition(Fsr<33:32>, COND4))
741                            Frds = Frs2s;
742                        else
743                            Frds = Frds;
744                    }});
745                    0x42: fmovd_fcc1({{
746                        if(passesFpCondition(Fsr<33:32>, COND4))
747                            Frd = Frs2;
748                        else
749                            Frd = Frd;
750                    }});
751                    0x43: FpUnimpl::fmovq_fcc1();
752                    0x45: fmovrslez({{
753                        if(Rs1 <= 0)
754                            Frds = Frs2s;
755                        else
756                            Frds = Frds;
757                    }});
758                    0x46: fmovrdlez({{
759                        if(Rs1 <= 0)
760                            Frd = Frs2;
761                        else
762                            Frd = Frd;
763                    }});
764                    0x47: FpUnimpl::fmovrqlez();
765                    0x51: fcmps({{
766                          uint8_t fcc;
767                          if(isnan(Frs1s) || isnan(Frs2s))
768                              fcc = 3;
769                          else if(Frs1s < Frs2s)
770                              fcc = 1;
771                          else if(Frs1s > Frs2s)
772                              fcc = 2;
773                          else
774                              fcc = 0;
775                          uint8_t firstbit = 10;
776                          if(FCMPCC)
777                              firstbit = FCMPCC * 2 + 30;
778                          Fsr = insertBits(Fsr, firstbit +1, firstbit, fcc);
779                    }});
780                    0x52: fcmpd({{
781                          uint8_t fcc;
782                          if(isnan(Frs1) || isnan(Frs2))
783                              fcc = 3;
784                          else if(Frs1 < Frs2)
785                              fcc = 1;
786                          else if(Frs1 > Frs2)
787                              fcc = 2;
788                          else
789                              fcc = 0;
790                          uint8_t firstbit = 10;
791                          if(FCMPCC)
792                              firstbit = FCMPCC * 2 + 30;
793                          Fsr = insertBits(Fsr, firstbit +1, firstbit, fcc);
794                    }});
795                    0x53: FpUnimpl::fcmpq();
796                    0x55: fcmpes({{
797                          uint8_t fcc = 0;
798                          if(isnan(Frs1s) || isnan(Frs2s))
799                              fault = new FpExceptionIEEE754;
800                          if(Frs1s < Frs2s)
801                              fcc = 1;
802                          else if(Frs1s > Frs2s)
803                              fcc = 2;
804                          uint8_t firstbit = 10;
805                          if(FCMPCC)
806                              firstbit = FCMPCC * 2 + 30;
807                          Fsr = insertBits(Fsr, firstbit +1, firstbit, fcc);
808                    }});
809                    0x56: fcmped({{
810                          uint8_t fcc = 0;
811                          if(isnan(Frs1) || isnan(Frs2))
812                              fault = new FpExceptionIEEE754;
813                          if(Frs1 < Frs2)
814                              fcc = 1;
815                          else if(Frs1 > Frs2)
816                              fcc = 2;
817                          uint8_t firstbit = 10;
818                          if(FCMPCC)
819                              firstbit = FCMPCC * 2 + 30;
820                          Fsr = insertBits(Fsr, firstbit +1, firstbit, fcc);
821                    }});
822                    0x57: FpUnimpl::fcmpeq();
823                    0x65: fmovrslz({{
824                        if(Rs1 < 0)
825                            Frds = Frs2s;
826                        else
827                            Frds = Frds;
828                    }});
829                    0x66: fmovrdlz({{
830                        if(Rs1 < 0)
831                            Frd = Frs2;
832                        else
833                            Frd = Frd;
834                    }});
835                    0x67: FpUnimpl::fmovrqlz();
836                    0x81: fmovs_fcc2({{
837                        if(passesFpCondition(Fsr<35:34>, COND4))
838                            Frds = Frs2s;
839                        else
840                            Frds = Frds;
841                    }});
842                    0x82: fmovd_fcc2({{
843                        if(passesFpCondition(Fsr<35:34>, COND4))
844                            Frd = Frs2;
845                        else
846                            Frd = Frd;
847                    }});
848                    0x83: FpUnimpl::fmovq_fcc2();
849                    0xA5: fmovrsnz({{
850                        if(Rs1 != 0)
851                            Frds = Frs2s;
852                        else
853                            Frds = Frds;
854                    }});
855                    0xA6: fmovrdnz({{
856                        if(Rs1 != 0)
857                            Frd = Frs2;
858                        else
859                            Frd = Frd;
860                    }});
861                    0xA7: FpUnimpl::fmovrqnz();
862                    0xC1: fmovs_fcc3({{
863                        if(passesFpCondition(Fsr<37:36>, COND4))
864                            Frds = Frs2s;
865                        else
866                            Frds = Frds;
867                    }});
868                    0xC2: fmovd_fcc3({{
869                        if(passesFpCondition(Fsr<37:36>, COND4))
870                            Frd = Frs2;
871                        else
872                            Frd = Frd;
873                    }});
874                    0xC3: FpUnimpl::fmovq_fcc3();
875                    0xC5: fmovrsgz({{
876                        if(Rs1 > 0)
877                            Frds = Frs2s;
878                        else
879                            Frds = Frds;
880                    }});
881                    0xC6: fmovrdgz({{
882                        if(Rs1 > 0)
883                            Frd = Frs2;
884                        else
885                            Frd = Frd;
886                    }});
887                    0xC7: FpUnimpl::fmovrqgz();
888                    0xE5: fmovrsgez({{
889                        if(Rs1 >= 0)
890                            Frds = Frs2s;
891                        else
892                            Frds = Frds;
893                    }});
894                    0xE6: fmovrdgez({{
895                        if(Rs1 >= 0)
896                            Frd = Frs2;
897                        else
898                            Frd = Frd;
899                    }});
900                    0xE7: FpUnimpl::fmovrqgez();
901                    0x101: fmovs_icc({{
902                        if(passesCondition(Ccr<3:0>, COND4))
903                            Frds = Frs2s;
904                        else
905                            Frds = Frds;
906                    }});
907                    0x102: fmovd_icc({{
908                        if(passesCondition(Ccr<3:0>, COND4))
909                            Frd = Frs2;
910                        else
911                            Frd = Frd;
912                    }});
913                    0x103: FpUnimpl::fmovq_icc();
914                    0x181: fmovs_xcc({{
915                        if(passesCondition(Ccr<7:4>, COND4))
916                            Frds = Frs2s;
917                        else
918                            Frds = Frds;
919                    }});
920                    0x182: fmovd_xcc({{
921                        if(passesCondition(Ccr<7:4>, COND4))
922                            Frd = Frs2;
923                        else
924                            Frd = Frd;
925                    }});
926                    0x183: FpUnimpl::fmovq_xcc();
927                    default: FailUnimpl::fpop2();
928                }
929            }
930            //This used to be just impdep1, but now it's a whole bunch
931            //of instructions
932            0x36: decode OPF{
933                0x00: FailUnimpl::edge8();
934                0x01: FailUnimpl::edge8n();
935                0x02: FailUnimpl::edge8l();
936                0x03: FailUnimpl::edge8ln();
937                0x04: FailUnimpl::edge16();
938                0x05: FailUnimpl::edge16n();
939                0x06: FailUnimpl::edge16l();
940                0x07: FailUnimpl::edge16ln();
941                0x08: FailUnimpl::edge32();
942                0x09: FailUnimpl::edge32n();
943                0x0A: FailUnimpl::edge32l();
944                0x0B: FailUnimpl::edge32ln();
945                0x10: FailUnimpl::array8();
946                0x12: FailUnimpl::array16();
947                0x14: FailUnimpl::array32();
948                0x18: BasicOperate::alignaddr({{
949                    uint64_t sum = Rs1 + Rs2;
950                    Rd = sum & ~7;
951                    Gsr = (Gsr & ~7) | (sum & 7);
952                }});
953                0x19: FailUnimpl::bmask();
954                0x1A: BasicOperate::alignaddresslittle({{
955                    uint64_t sum = Rs1 + Rs2;
956                    Rd = sum & ~7;
957                    Gsr = (Gsr & ~7) | ((~sum + 1) & 7);
958                }});
959                0x20: FailUnimpl::fcmple16();
960                0x22: FailUnimpl::fcmpne16();
961                0x24: FailUnimpl::fcmple32();
962                0x26: FailUnimpl::fcmpne32();
963                0x28: FailUnimpl::fcmpgt16();
964                0x2A: FailUnimpl::fcmpeq16();
965                0x2C: FailUnimpl::fcmpgt32();
966                0x2E: FailUnimpl::fcmpeq32();
967                0x31: FailUnimpl::fmul8x16();
968                0x33: FailUnimpl::fmul8x16au();
969                0x35: FailUnimpl::fmul8x16al();
970                0x36: FailUnimpl::fmul8sux16();
971                0x37: FailUnimpl::fmul8ulx16();
972                0x38: FailUnimpl::fmuld8sux16();
973                0x39: FailUnimpl::fmuld8ulx16();
974                0x3A: Trap::fpack32({{fault = new IllegalInstruction;}});
975                0x3B: Trap::fpack16({{fault = new IllegalInstruction;}});
976                0x3D: Trap::fpackfix({{fault = new IllegalInstruction;}});
977                0x3E: Trap::pdist({{fault = new IllegalInstruction;}});
978                0x48: BasicOperate::faligndata({{
979                        uint64_t msbX = Frs1.udw;
980                        uint64_t lsbX = Frs2.udw;
981                        //Some special cases need to be split out, first
982                        //because they're the most likely to be used, and
983                        //second because otherwise, we end up shifting by
984                        //greater than the width of the type being shifted,
985                        //namely 64, which produces undefined results according
986                        //to the C standard.
987                        switch(Gsr<2:0>)
988                        {
989                            case 0:
990                                Frd.udw = msbX;
991                                break;
992                            case 8:
993                                Frd.udw = lsbX;
994                                break;
995                            default:
996                                uint64_t msbShift = Gsr<2:0> * 8;
997                                uint64_t lsbShift = (8 - Gsr<2:0>) * 8;
998                                uint64_t msbMask = ((uint64_t)(-1)) >> msbShift;
999                                uint64_t lsbMask = ((uint64_t)(-1)) << lsbShift;
1000                                Frd.udw = ((msbX & msbMask) << msbShift) |
1001                                        ((lsbX & lsbMask) >> lsbShift);
1002                        }
1003                }});
1004                0x4B: Trap::fpmerge({{fault = new IllegalInstruction;}});
1005                0x4C: FailUnimpl::bshuffle();
1006                0x4D: FailUnimpl::fexpand();
1007                0x50: FailUnimpl::fpadd16();
1008                0x51: FailUnimpl::fpadd16s();
1009                0x52: FailUnimpl::fpadd32();
1010                0x53: FailUnimpl::fpadd32s();
1011                0x54: FailUnimpl::fpsub16();
1012                0x55: FailUnimpl::fpsub16s();
1013                0x56: FailUnimpl::fpsub32();
1014                0x57: FailUnimpl::fpsub32s();
1015                0x60: FpBasic::fzero({{Frd.df = 0;}});
1016                0x61: FpBasic::fzeros({{Frds.sf = 0;}});
1017                0x62: FailUnimpl::fnor();
1018                0x63: FailUnimpl::fnors();
1019                0x64: FailUnimpl::fandnot2();
1020                0x65: FailUnimpl::fandnot2s();
1021                0x66: FpBasic::fnot2({{
1022                        Frd.df = (double)(~((uint64_t)Frs2.df));
1023                }});
1024                0x67: FpBasic::fnot2s({{
1025                        Frds.sf = (float)(~((uint32_t)Frs2s.sf));
1026                }});
1027                0x68: FailUnimpl::fandnot1();
1028                0x69: FailUnimpl::fandnot1s();
1029                0x6A: FpBasic::fnot1({{
1030                        Frd.df = (double)(~((uint64_t)Frs1.df));
1031                }});
1032                0x6B: FpBasic::fnot1s({{
1033                        Frds.sf = (float)(~((uint32_t)Frs1s.sf));
1034                }});
1035                0x6C: FailUnimpl::fxor();
1036                0x6D: FailUnimpl::fxors();
1037                0x6E: FailUnimpl::fnand();
1038                0x6F: FailUnimpl::fnands();
1039                0x70: FailUnimpl::fand();
1040                0x71: FailUnimpl::fands();
1041                0x72: FailUnimpl::fxnor();
1042                0x73: FailUnimpl::fxnors();
1043                0x74: FpBasic::fsrc1({{Frd.udw = Frs1.udw;}});
1044                0x75: FpBasic::fsrc1s({{Frds.uw = Frs1s.uw;}});
1045                0x76: FailUnimpl::fornot2();
1046                0x77: FailUnimpl::fornot2s();
1047                0x78: FpBasic::fsrc2({{Frd.udw = Frs2.udw;}});
1048                0x79: FpBasic::fsrc2s({{Frds.uw = Frs2s.uw;}});
1049                0x7A: FailUnimpl::fornot1();
1050                0x7B: FailUnimpl::fornot1s();
1051                0x7C: FailUnimpl::for();
1052                0x7D: FailUnimpl::fors();
1053                0x7E: FpBasic::fone({{Frd.udw = std::numeric_limits<uint64_t>::max();}});
1054                0x7F: FpBasic::fones({{Frds.uw = std::numeric_limits<uint32_t>::max();}});
1055                0x80: Trap::shutdown({{fault = new IllegalInstruction;}});
1056                0x81: FailUnimpl::siam();
1057            }
1058            // M5 special opcodes use the reserved IMPDEP2A opcode space
1059            0x37: decode M5FUNC {
1060#if FULL_SYSTEM
1061                format BasicOperate {
1062                    // we have 7 bits of space here to play with...
1063                    0x21: m5exit({{PseudoInst::m5exit(xc->tcBase(), O0);
1064                                  }}, No_OpClass, IsNonSpeculative);
1065                    0x50: m5readfile({{
1066                                     O0 = PseudoInst::readfile(xc->tcBase(), O0, O1, O2);
1067                                     }}, IsNonSpeculative);
1068                    0x51: m5break({{PseudoInst::debugbreak(xc->tcBase());
1069                                  }}, IsNonSpeculative);
1070                    0x54: m5panic({{
1071                                  panic("M5 panic instruction called at pc=%#x.", xc->readPC());
1072                                  }}, No_OpClass, IsNonSpeculative);
1073                }
1074#endif
1075                default: Trap::impdep2({{fault = new IllegalInstruction;}});
1076            }
1077            0x38: Branch::jmpl({{
1078                Addr target = Rs1 + Rs2_or_imm13;
1079                if(target & 0x3)
1080                    fault = new MemAddressNotAligned;
1081                else
1082                {
1083                    if (Pstate<3:>)
1084                        Rd = (xc->readPC())<31:0>;
1085                    else
1086                        Rd = xc->readPC();
1087                    NNPC = target;
1088                }
1089            }});
1090            0x39: Branch::return({{
1091                Addr target = Rs1 + Rs2_or_imm13;
1092                if(fault == NoFault)
1093                {
1094                    //Check for fills which are higher priority than alignment
1095                    //faults.
1096                    if(Canrestore == 0)
1097                    {
1098                        if(Otherwin)
1099                            fault = new FillNOther(4*Wstate<5:3>);
1100                        else
1101                            fault = new FillNNormal(4*Wstate<2:0>);
1102                    }
1103                    //Check for alignment faults
1104                    else if(target & 0x3)
1105                        fault = new MemAddressNotAligned;
1106                    else
1107                    {
1108                        NNPC = target;
1109                        Cwp = (Cwp - 1 + NWindows) % NWindows;
1110                        Cansave = Cansave + 1;
1111                        Canrestore = Canrestore - 1;
1112                    }
1113                }
1114            }});
1115            0x3A: decode CC
1116            {
1117                0x0: Trap::tcci({{
1118                    if(passesCondition(Ccr<3:0>, COND2))
1119                    {
1120                        int lTrapNum = I ? (Rs1 + SW_TRAP) : (Rs1 + Rs2);
1121                        DPRINTF(Sparc, "The trap number is %d\n", lTrapNum);
1122                        fault = new TrapInstruction(lTrapNum);
1123                    }
1124                }}, IsSerializeAfter, IsNonSpeculative, IsSyscall);
1125                0x2: Trap::tccx({{
1126                    if(passesCondition(Ccr<7:4>, COND2))
1127                    {
1128                        int lTrapNum = I ? (Rs1 + SW_TRAP) : (Rs1 + Rs2);
1129                        DPRINTF(Sparc, "The trap number is %d\n", lTrapNum);
1130                        fault = new TrapInstruction(lTrapNum);
1131                    }
1132                }}, IsSerializeAfter, IsNonSpeculative, IsSyscall);
1133            }
1134            0x3B: Nop::flush({{/*Instruction memory flush*/}}, IsWriteBarrier,
1135                          MemWriteOp);
1136            0x3C: save({{
1137                if(Cansave == 0)
1138                {
1139                    if(Otherwin)
1140                        fault = new SpillNOther(4*Wstate<5:3>);
1141                    else
1142                        fault = new SpillNNormal(4*Wstate<2:0>);
1143                }
1144                else if(Cleanwin - Canrestore == 0)
1145                {
1146                    fault = new CleanWindow;
1147                }
1148                else
1149                {
1150                    Cwp = (Cwp + 1) % NWindows;
1151                    Rd_next = Rs1 + Rs2_or_imm13;
1152                    Cansave = Cansave - 1;
1153                    Canrestore = Canrestore + 1;
1154                }
1155            }});
1156            0x3D: restore({{
1157                if(Canrestore == 0)
1158                {
1159                    if(Otherwin)
1160                        fault = new FillNOther(4*Wstate<5:3>);
1161                    else
1162                        fault = new FillNNormal(4*Wstate<2:0>);
1163                }
1164                else
1165                {
1166                    Cwp = (Cwp - 1 + NWindows) % NWindows;
1167                    Rd_prev = Rs1 + Rs2_or_imm13;
1168                    Cansave = Cansave + 1;
1169                    Canrestore = Canrestore - 1;
1170                }
1171            }});
1172            0x3E: decode FCN {
1173                0x0: Priv::done({{
1174                    if(Tl == 0)
1175                        return new IllegalInstruction;
1176
1177                    Cwp = Tstate<4:0>;
1178                    Pstate = Tstate<20:8>;
1179                    Asi = Tstate<31:24>;
1180                    Ccr = Tstate<39:32>;
1181                    Gl = Tstate<42:40>;
1182                    Hpstate = Htstate;
1183                    NPC = Tnpc;
1184                    NNPC = Tnpc + 4;
1185                    Tl = Tl - 1;
1186                }});
1187                0x1: Priv::retry({{
1188                    if(Tl == 0)
1189                        return new IllegalInstruction;
1190                    Cwp = Tstate<4:0>;
1191                    Pstate = Tstate<20:8>;
1192                    Asi = Tstate<31:24>;
1193                    Ccr = Tstate<39:32>;
1194                    Gl = Tstate<42:40>;
1195                    Hpstate = Htstate;
1196                    NPC = Tpc;
1197                    NNPC = Tnpc;
1198                    Tl = Tl - 1;
1199                }});
1200            }
1201        }
1202    }
1203    0x3: decode OP3 {
1204        format Load {
1205            0x00: lduw({{Rd = Mem.uw;}});
1206            0x01: ldub({{Rd = Mem.ub;}});
1207            0x02: lduh({{Rd = Mem.uhw;}});
1208            0x03: ldtw({{
1209                        RdLow = (Mem.tuw).a;
1210                        RdHigh = (Mem.tuw).b;
1211            }});
1212        }
1213        format Store {
1214            0x04: stw({{Mem.uw = Rd.sw;}});
1215            0x05: stb({{Mem.ub = Rd.sb;}});
1216            0x06: sth({{Mem.uhw = Rd.shw;}});
1217            0x07: sttw({{
1218                      //This temporary needs to be here so that the parser
1219                      //will correctly identify this instruction as a store.
1220                      //It's probably either the parenthesis or referencing
1221                      //the member variable that throws confuses it.
1222                      Twin32_t temp;
1223                      temp.a = RdLow<31:0>;
1224                      temp.b = RdHigh<31:0>;
1225                      Mem.tuw = temp;
1226                  }});
1227        }
1228        format Load {
1229            0x08: ldsw({{Rd = (int32_t)Mem.sw;}});
1230            0x09: ldsb({{Rd = (int8_t)Mem.sb;}});
1231            0x0A: ldsh({{Rd = (int16_t)Mem.shw;}});
1232            0x0B: ldx({{Rd = (int64_t)Mem.sdw;}});
1233        }
1234        0x0D: Swap::ldstub({{Mem.ub = 0xFF;}},
1235                           {{
1236                               uint8_t tmp = mem_data;
1237                               Rd.ub = tmp;
1238                           }}, MEM_SWAP);
1239        0x0E: Store::stx({{Mem.udw = Rd}});
1240        0x0F: Swap::swap({{Mem.uw = Rd.uw}},
1241                         {{
1242                               uint32_t tmp = mem_data;
1243                               Rd.uw = tmp;
1244                         }}, MEM_SWAP);
1245        format LoadAlt {
1246            0x10: lduwa({{Rd = Mem.uw;}}, {{EXT_ASI}});
1247            0x11: lduba({{Rd = Mem.ub;}}, {{EXT_ASI}});
1248            0x12: lduha({{Rd = Mem.uhw;}}, {{EXT_ASI}});
1249            0x13: decode EXT_ASI {
1250                //ASI_LDTD_AIUP
1251                0x22: TwinLoad::ldtx_aiup(
1252                    {{RdLow.udw = (Mem.tudw).a;
1253                      RdHigh.udw = (Mem.tudw).b;}}, {{EXT_ASI}});
1254                //ASI_LDTD_AIUS
1255                0x23: TwinLoad::ldtx_aius(
1256                    {{RdLow.udw = (Mem.tudw).a;
1257                      RdHigh.udw = (Mem.tudw).b;}}, {{EXT_ASI}});
1258                //ASI_QUAD_LDD
1259                0x24: TwinLoad::ldtx_quad_ldd(
1260                    {{RdLow.udw = (Mem.tudw).a;
1261                      RdHigh.udw = (Mem.tudw).b;}}, {{EXT_ASI}});
1262                //ASI_LDTX_REAL
1263                0x26: TwinLoad::ldtx_real(
1264                    {{RdLow.udw = (Mem.tudw).a;
1265                      RdHigh.udw = (Mem.tudw).b;}}, {{EXT_ASI}});
1266                //ASI_LDTX_N
1267                0x27: TwinLoad::ldtx_n(
1268                    {{RdLow.udw = (Mem.tudw).a;
1269                      RdHigh.udw = (Mem.tudw).b;}}, {{EXT_ASI}});
1270                //ASI_LDTX_AIUP_L
1271                0x2A: TwinLoad::ldtx_aiup_l(
1272                    {{RdLow.udw = (Mem.tudw).a;
1273                      RdHigh.udw = (Mem.tudw).b;}}, {{EXT_ASI}});
1274                //ASI_LDTX_AIUS_L
1275                0x2B: TwinLoad::ldtx_aius_l(
1276                    {{RdLow.udw = (Mem.tudw).a;
1277                      RdHigh.udw = (Mem.tudw).b;}}, {{EXT_ASI}});
1278                //ASI_LDTX_L
1279                0x2C: TwinLoad::ldtx_l(
1280                    {{RdLow.udw = (Mem.tudw).a;
1281                      RdHigh.udw = (Mem.tudw).b;}}, {{EXT_ASI}});
1282                //ASI_LDTX_REAL_L
1283                0x2E: TwinLoad::ldtx_real_l(
1284                    {{RdLow.udw = (Mem.tudw).a;
1285                      RdHigh.udw = (Mem.tudw).b;}}, {{EXT_ASI}});
1286                //ASI_LDTX_N_L
1287                0x2F: TwinLoad::ldtx_n_l(
1288                    {{RdLow.udw = (Mem.tudw).a;
1289                      RdHigh.udw = (Mem.tudw).b;}}, {{EXT_ASI}});
1290                //ASI_LDTX_P
1291                0xE2: TwinLoad::ldtx_p(
1292                    {{RdLow.udw = (Mem.tudw).a;
1293                      RdHigh.udw = (Mem.tudw).b;}}, {{EXT_ASI}});
1294                //ASI_LDTX_S
1295                0xE3: TwinLoad::ldtx_s(
1296                    {{RdLow.udw = (Mem.tudw).a;
1297                      RdHigh.udw = (Mem.tudw).b;}}, {{EXT_ASI}});
1298                //ASI_LDTX_PL
1299                0xEA: TwinLoad::ldtx_pl(
1300                    {{RdLow.udw = (Mem.tudw).a;
1301                      RdHigh.udw = (Mem.tudw).b;}}, {{EXT_ASI}});
1302                //ASI_LDTX_SL
1303                0xEB: TwinLoad::ldtx_sl(
1304                    {{RdLow.udw = (Mem.tudw).a;
1305                      RdHigh.udw = (Mem.tudw).b;}}, {{EXT_ASI}});
1306                default: ldtwa({{
1307                        RdLow = (Mem.tuw).a;
1308                        RdHigh = (Mem.tuw).b;
1309                        }}, {{EXT_ASI}});
1310            }
1311        }
1312        format StoreAlt {
1313            0x14: stwa({{Mem.uw = Rd;}}, {{EXT_ASI}});
1314            0x15: stba({{Mem.ub = Rd;}}, {{EXT_ASI}});
1315            0x16: stha({{Mem.uhw = Rd;}}, {{EXT_ASI}});
1316            0x17: sttwa({{
1317                      //This temporary needs to be here so that the parser
1318                      //will correctly identify this instruction as a store.
1319                      //It's probably either the parenthesis or referencing
1320                      //the member variable that throws confuses it.
1321                      Twin32_t temp;
1322                      temp.a = RdLow<31:0>;
1323                      temp.b = RdHigh<31:0>;
1324                      Mem.tuw = temp;
1325                  }}, {{EXT_ASI}});
1326        }
1327        format LoadAlt {
1328            0x18: ldswa({{Rd = (int32_t)Mem.sw;}}, {{EXT_ASI}});
1329            0x19: ldsba({{Rd = (int8_t)Mem.sb;}}, {{EXT_ASI}});
1330            0x1A: ldsha({{Rd = (int16_t)Mem.shw;}}, {{EXT_ASI}});
1331            0x1B: ldxa({{Rd = (int64_t)Mem.sdw;}}, {{EXT_ASI}});
1332        }
1333        0x1D: SwapAlt::ldstuba({{Mem.ub = 0xFF;}},
1334                           {{
1335                               uint8_t tmp = mem_data;
1336                               Rd.ub = tmp;
1337                           }}, {{EXT_ASI}}, MEM_SWAP);
1338        0x1E: StoreAlt::stxa({{Mem.udw = Rd}}, {{EXT_ASI}});
1339        0x1F: SwapAlt::swapa({{Mem.uw = Rd.uw}},
1340                         {{
1341                               uint32_t tmp = mem_data;
1342                               Rd.uw = tmp;
1343                         }}, {{EXT_ASI}}, MEM_SWAP);
1344
1345        format Trap {
1346            0x20: Load::ldf({{Frds.uw = Mem.uw;}});
1347            0x21: decode RD {
1348                0x0: Load::ldfsr({{fault = checkFpEnableFault(xc);
1349                                     if (fault)
1350                                         return fault;
1351                                   Fsr = Mem.uw | Fsr<63:32>;}});
1352                0x1: Load::ldxfsr({{fault = checkFpEnableFault(xc);
1353                                     if (fault)
1354                                         return fault;
1355                                    Fsr = Mem.udw;}});
1356                default: FailUnimpl::ldfsrOther();
1357            }
1358            0x22: ldqf({{fault = new FpDisabled;}});
1359            0x23: Load::lddf({{Frd.udw = Mem.udw;}});
1360            0x24: Store::stf({{Mem.uw = Frds.uw;}});
1361            0x25: decode RD {
1362                0x0: Store::stfsr({{fault = checkFpEnableFault(xc);
1363                                     if (fault)
1364                                         return fault;
1365                                    Mem.uw = Fsr<31:0>;
1366                                    Fsr = insertBits(Fsr,16,14,0);}});
1367                0x1: Store::stxfsr({{fault = checkFpEnableFault(xc);
1368                                     if (fault)
1369                                         return fault;
1370                                     Mem.udw = Fsr;
1371                                     Fsr = insertBits(Fsr,16,14,0);}});
1372                default: FailUnimpl::stfsrOther();
1373            }
1374            0x26: stqf({{fault = new FpDisabled;}});
1375            0x27: Store::stdf({{Mem.udw = Frd.udw;}});
1376            0x2D: Nop::prefetch({{ }});
1377            0x30: LoadAlt::ldfa({{Frds.uw = Mem.uw;}}, {{EXT_ASI}});
1378            0x32: ldqfa({{fault = new FpDisabled;}});
1379            format LoadAlt {
1380                0x33: decode EXT_ASI {
1381                    //ASI_NUCLEUS
1382                    0x04: FailUnimpl::lddfa_n();
1383                    //ASI_NUCLEUS_LITTLE
1384                    0x0C: FailUnimpl::lddfa_nl();
1385                    //ASI_AS_IF_USER_PRIMARY
1386                    0x10: FailUnimpl::lddfa_aiup();
1387                    //ASI_AS_IF_USER_PRIMARY_LITTLE
1388                    0x18: FailUnimpl::lddfa_aiupl();
1389                    //ASI_AS_IF_USER_SECONDARY
1390                    0x11: FailUnimpl::lddfa_aius();
1391                    //ASI_AS_IF_USER_SECONDARY_LITTLE
1392                    0x19: FailUnimpl::lddfa_aiusl();
1393                    //ASI_REAL
1394                    0x14: FailUnimpl::lddfa_real();
1395                    //ASI_REAL_LITTLE
1396                    0x1C: FailUnimpl::lddfa_real_l();
1397                    //ASI_REAL_IO
1398                    0x15: FailUnimpl::lddfa_real_io();
1399                    //ASI_REAL_IO_LITTLE
1400                    0x1D: FailUnimpl::lddfa_real_io_l();
1401                    //ASI_PRIMARY
1402                    0x80: FailUnimpl::lddfa_p();
1403                    //ASI_PRIMARY_LITTLE
1404                    0x88: FailUnimpl::lddfa_pl();
1405                    //ASI_SECONDARY
1406                    0x81: FailUnimpl::lddfa_s();
1407                    //ASI_SECONDARY_LITTLE
1408                    0x89: FailUnimpl::lddfa_sl();
1409                    //ASI_PRIMARY_NO_FAULT
1410                    0x82: FailUnimpl::lddfa_pnf();
1411                    //ASI_PRIMARY_NO_FAULT_LITTLE
1412                    0x8A: FailUnimpl::lddfa_pnfl();
1413                    //ASI_SECONDARY_NO_FAULT
1414                    0x83: FailUnimpl::lddfa_snf();
1415                    //ASI_SECONDARY_NO_FAULT_LITTLE
1416                    0x8B: FailUnimpl::lddfa_snfl();
1417
1418                    format BlockLoad {
1419                        // LDBLOCKF
1420                        //ASI_BLOCK_AS_IF_USER_PRIMARY
1421                        0x16: FailUnimpl::ldblockf_aiup();
1422                        //ASI_BLOCK_AS_IF_USER_SECONDARY
1423                        0x17: FailUnimpl::ldblockf_aius();
1424                        //ASI_BLOCK_AS_IF_USER_PRIMARY_LITTLE
1425                        0x1E: FailUnimpl::ldblockf_aiupl();
1426                        //ASI_BLOCK_AS_IF_USER_SECONDARY_LITTLE
1427                        0x1F: FailUnimpl::ldblockf_aiusl();
1428                        //ASI_BLOCK_PRIMARY
1429                        0xF0: ldblockf_p({{Frd_N.udw = Mem.udw;}}, {{EXT_ASI}});
1430                        //ASI_BLOCK_SECONDARY
1431                        0xF1: FailUnimpl::ldblockf_s();
1432                        //ASI_BLOCK_PRIMARY_LITTLE
1433                        0xF8: FailUnimpl::ldblockf_pl();
1434                        //ASI_BLOCK_SECONDARY_LITTLE
1435                        0xF9: FailUnimpl::ldblockf_sl();
1436                    }
1437
1438                    //LDSHORTF
1439                    //ASI_FL8_PRIMARY
1440                    0xD0: FailUnimpl::ldshortf_8p();
1441                    //ASI_FL8_SECONDARY
1442                    0xD1: FailUnimpl::ldshortf_8s();
1443                    //ASI_FL8_PRIMARY_LITTLE
1444                    0xD8: FailUnimpl::ldshortf_8pl();
1445                    //ASI_FL8_SECONDARY_LITTLE
1446                    0xD9: FailUnimpl::ldshortf_8sl();
1447                    //ASI_FL16_PRIMARY
1448                    0xD2: FailUnimpl::ldshortf_16p();
1449                    //ASI_FL16_SECONDARY
1450                    0xD3: FailUnimpl::ldshortf_16s();
1451                    //ASI_FL16_PRIMARY_LITTLE
1452                    0xDA: FailUnimpl::ldshortf_16pl();
1453                    //ASI_FL16_SECONDARY_LITTLE
1454                    0xDB: FailUnimpl::ldshortf_16sl();
1455                    //Not an ASI which is legal with lddfa
1456                    default: Trap::lddfa_bad_asi(
1457                        {{fault = new DataAccessException;}});
1458                }
1459            }
1460            0x34: Store::stfa({{Mem.uw = Frds.uw;}});
1461            0x36: stqfa({{fault = new FpDisabled;}});
1462            format StoreAlt {
1463                0x37: decode EXT_ASI {
1464                    //ASI_NUCLEUS
1465                    0x04: FailUnimpl::stdfa_n();
1466                    //ASI_NUCLEUS_LITTLE
1467                    0x0C: FailUnimpl::stdfa_nl();
1468                    //ASI_AS_IF_USER_PRIMARY
1469                    0x10: FailUnimpl::stdfa_aiup();
1470                    //ASI_AS_IF_USER_PRIMARY_LITTLE
1471                    0x18: FailUnimpl::stdfa_aiupl();
1472                    //ASI_AS_IF_USER_SECONDARY
1473                    0x11: FailUnimpl::stdfa_aius();
1474                    //ASI_AS_IF_USER_SECONDARY_LITTLE
1475                    0x19: FailUnimpl::stdfa_aiusl();
1476                    //ASI_REAL
1477                    0x14: FailUnimpl::stdfa_real();
1478                    //ASI_REAL_LITTLE
1479                    0x1C: FailUnimpl::stdfa_real_l();
1480                    //ASI_REAL_IO
1481                    0x15: FailUnimpl::stdfa_real_io();
1482                    //ASI_REAL_IO_LITTLE
1483                    0x1D: FailUnimpl::stdfa_real_io_l();
1484                    //ASI_PRIMARY
1485                    0x80: FailUnimpl::stdfa_p();
1486                    //ASI_PRIMARY_LITTLE
1487                    0x88: FailUnimpl::stdfa_pl();
1488                    //ASI_SECONDARY
1489                    0x81: FailUnimpl::stdfa_s();
1490                    //ASI_SECONDARY_LITTLE
1491                    0x89: FailUnimpl::stdfa_sl();
1492                    //ASI_PRIMARY_NO_FAULT
1493                    0x82: FailUnimpl::stdfa_pnf();
1494                    //ASI_PRIMARY_NO_FAULT_LITTLE
1495                    0x8A: FailUnimpl::stdfa_pnfl();
1496                    //ASI_SECONDARY_NO_FAULT
1497                    0x83: FailUnimpl::stdfa_snf();
1498                    //ASI_SECONDARY_NO_FAULT_LITTLE
1499                    0x8B: FailUnimpl::stdfa_snfl();
1500
1501                    format BlockStore {
1502                        // STBLOCKF
1503                        //ASI_BLOCK_AS_IF_USER_PRIMARY
1504                        0x16: FailUnimpl::stblockf_aiup();
1505                        //ASI_BLOCK_AS_IF_USER_SECONDARY
1506                        0x17: FailUnimpl::stblockf_aius();
1507                        //ASI_BLOCK_AS_IF_USER_PRIMARY_LITTLE
1508                        0x1E: FailUnimpl::stblockf_aiupl();
1509                        //ASI_BLOCK_AS_IF_USER_SECONDARY_LITTLE
1510                        0x1F: FailUnimpl::stblockf_aiusl();
1511                        //ASI_BLOCK_PRIMARY
1512                        0xF0: stblockf_p({{Mem.udw = Frd_N.udw;}}, {{EXT_ASI}});
1513                        //ASI_BLOCK_SECONDARY
1514                        0xF1: FailUnimpl::stblockf_s();
1515                        //ASI_BLOCK_PRIMARY_LITTLE
1516                        0xF8: FailUnimpl::stblockf_pl();
1517                        //ASI_BLOCK_SECONDARY_LITTLE
1518                        0xF9: FailUnimpl::stblockf_sl();
1519                    }
1520
1521                    //STSHORTF
1522                    //ASI_FL8_PRIMARY
1523                    0xD0: FailUnimpl::stshortf_8p();
1524                    //ASI_FL8_SECONDARY
1525                    0xD1: FailUnimpl::stshortf_8s();
1526                    //ASI_FL8_PRIMARY_LITTLE
1527                    0xD8: FailUnimpl::stshortf_8pl();
1528                    //ASI_FL8_SECONDARY_LITTLE
1529                    0xD9: FailUnimpl::stshortf_8sl();
1530                    //ASI_FL16_PRIMARY
1531                    0xD2: FailUnimpl::stshortf_16p();
1532                    //ASI_FL16_SECONDARY
1533                    0xD3: FailUnimpl::stshortf_16s();
1534                    //ASI_FL16_PRIMARY_LITTLE
1535                    0xDA: FailUnimpl::stshortf_16pl();
1536                    //ASI_FL16_SECONDARY_LITTLE
1537                    0xDB: FailUnimpl::stshortf_16sl();
1538                    //Not an ASI which is legal with lddfa
1539                    default: Trap::stdfa_bad_asi(
1540                        {{fault = new DataAccessException;}});
1541                }
1542            }
1543            0x3C: CasAlt::casa({{
1544                               mem_data = htog(Rs2.uw);
1545                               Mem.uw = Rd.uw;}},
1546                         {{
1547                               uint32_t tmp = mem_data;
1548                               Rd.uw = tmp;
1549                         }}, {{EXT_ASI}}, MEM_SWAP_COND);
1550            0x3D: Nop::prefetcha({{ }});
1551            0x3E: CasAlt::casxa({{mem_data = gtoh(Rs2);
1552                                Mem.udw = Rd.udw; }},
1553                         {{ Rd.udw = mem_data; }}, {{EXT_ASI}}, MEM_SWAP_COND);
1554        }
1555    }
1556}
1557