decoder.isa (3941:127f839a18c1) decoder.isa (3949:b6664282d899)
1// Copyright (c) 2006-2007 The Regents of The University of Michigan
1// Copyright (c) 2006 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: decode A
49 {
50 0x0: bpa(19, {{
51 NNPC = xc->readPC() + disp;
52 }});
53 0x1: bpa(19, {{
54 NPC = xc->readPC() + disp;
55 NNPC = NPC + 4;
56 }}, ',a');
57 }
58 //Branch Never
59 0x0: decode A
60 {
61 0x0: bpn(19, {{
62 NNPC = NNPC;//Don't do anything
63 }});
64 0x1: bpn(19, {{
65 NPC = xc->readNextPC() + 4;
66 NNPC = NPC + 4;
67 }}, ',a');
68 }
69 default: decode BPCC
70 {
71 0x0: bpcci(19, {{
72 if(passesCondition(Ccr<3:0>, COND2))
73 NNPC = xc->readPC() + disp;
74 else
75 handle_annul
76 }});
77 0x2: bpccx(19, {{
78 if(passesCondition(Ccr<7:4>, COND2))
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: decode A
49 {
50 0x0: bpa(19, {{
51 NNPC = xc->readPC() + disp;
52 }});
53 0x1: bpa(19, {{
54 NPC = xc->readPC() + disp;
55 NNPC = NPC + 4;
56 }}, ',a');
57 }
58 //Branch Never
59 0x0: decode A
60 {
61 0x0: bpn(19, {{
62 NNPC = NNPC;//Don't do anything
63 }});
64 0x1: bpn(19, {{
65 NPC = xc->readNextPC() + 4;
66 NNPC = NPC + 4;
67 }}, ',a');
68 }
69 default: decode BPCC
70 {
71 0x0: bpcci(19, {{
72 if(passesCondition(Ccr<3:0>, COND2))
73 NNPC = xc->readPC() + disp;
74 else
75 handle_annul
76 }});
77 0x2: bpccx(19, {{
78 if(passesCondition(Ccr<7:4>, COND2))
79 {
80 //warn("Took branch!\n");
79 NNPC = xc->readPC() + disp;
81 NNPC = xc->readPC() + disp;
82 }
80 else
83 else
84 {
85 //warn("Didn't take branch!\n");
81 handle_annul
86 handle_annul
87 }
82 }});
83 }
84 }
85 //bicc
86 0x2: decode COND2
87 {
88 //Branch Always
89 0x8: decode A
90 {
91 0x0: ba(22, {{
92 NNPC = xc->readPC() + disp;
93 }});
94 0x1: ba(22, {{
95 NPC = xc->readPC() + disp;
96 NNPC = NPC + 4;
97 }}, ',a');
98 }
99 //Branch Never
100 0x0: decode A
101 {
102 0x0: bn(22, {{
103 NNPC = NNPC;//Don't do anything
104 }});
105 0x1: bn(22, {{
106 NPC = xc->readNextPC() + 4;
107 NNPC = NPC + 4;
108 }}, ',a');
109 }
110 default: bicc(22, {{
111 if(passesCondition(Ccr<3:0>, COND2))
112 NNPC = xc->readPC() + disp;
113 else
114 handle_annul
115 }});
116 }
117 }
118 0x3: decode RCOND2
119 {
120 format BranchSplit
121 {
122 0x1: bpreq({{
123 if(Rs1.sdw == 0)
124 NNPC = xc->readPC() + disp;
125 else
126 handle_annul
127 }});
128 0x2: bprle({{
129 if(Rs1.sdw <= 0)
130 NNPC = xc->readPC() + disp;
131 else
132 handle_annul
133 }});
134 0x3: bprl({{
135 if(Rs1.sdw < 0)
136 NNPC = xc->readPC() + disp;
137 else
138 handle_annul
139 }});
140 0x5: bprne({{
141 if(Rs1.sdw != 0)
142 NNPC = xc->readPC() + disp;
143 else
144 handle_annul
145 }});
146 0x6: bprg({{
147 if(Rs1.sdw > 0)
148 NNPC = xc->readPC() + disp;
149 else
150 handle_annul
151 }});
152 0x7: bprge({{
153 if(Rs1.sdw >= 0)
154 NNPC = xc->readPC() + disp;
155 else
156 handle_annul
157 }});
158 }
159 }
160 //SETHI (or NOP if rd == 0 and imm == 0)
161 0x4: SetHi::sethi({{Rd.udw = imm;}});
88 }});
89 }
90 }
91 //bicc
92 0x2: decode COND2
93 {
94 //Branch Always
95 0x8: decode A
96 {
97 0x0: ba(22, {{
98 NNPC = xc->readPC() + disp;
99 }});
100 0x1: ba(22, {{
101 NPC = xc->readPC() + disp;
102 NNPC = NPC + 4;
103 }}, ',a');
104 }
105 //Branch Never
106 0x0: decode A
107 {
108 0x0: bn(22, {{
109 NNPC = NNPC;//Don't do anything
110 }});
111 0x1: bn(22, {{
112 NPC = xc->readNextPC() + 4;
113 NNPC = NPC + 4;
114 }}, ',a');
115 }
116 default: bicc(22, {{
117 if(passesCondition(Ccr<3:0>, COND2))
118 NNPC = xc->readPC() + disp;
119 else
120 handle_annul
121 }});
122 }
123 }
124 0x3: decode RCOND2
125 {
126 format BranchSplit
127 {
128 0x1: bpreq({{
129 if(Rs1.sdw == 0)
130 NNPC = xc->readPC() + disp;
131 else
132 handle_annul
133 }});
134 0x2: bprle({{
135 if(Rs1.sdw <= 0)
136 NNPC = xc->readPC() + disp;
137 else
138 handle_annul
139 }});
140 0x3: bprl({{
141 if(Rs1.sdw < 0)
142 NNPC = xc->readPC() + disp;
143 else
144 handle_annul
145 }});
146 0x5: bprne({{
147 if(Rs1.sdw != 0)
148 NNPC = xc->readPC() + disp;
149 else
150 handle_annul
151 }});
152 0x6: bprg({{
153 if(Rs1.sdw > 0)
154 NNPC = xc->readPC() + disp;
155 else
156 handle_annul
157 }});
158 0x7: bprge({{
159 if(Rs1.sdw >= 0)
160 NNPC = xc->readPC() + disp;
161 else
162 handle_annul
163 }});
164 }
165 }
166 //SETHI (or NOP if rd == 0 and imm == 0)
167 0x4: SetHi::sethi({{Rd.udw = imm;}});
162 0x5: FailUnimpl::fbpfcc();
163 0x6: FailUnimpl::fbfcc();
168 0x5: Trap::fbpfcc({{fault = new FpDisabled;}});
169 0x6: Trap::fbfcc({{fault = new FpDisabled;}});
164 }
165 0x1: BranchN::call(30, {{
170 }
171 0x1: BranchN::call(30, {{
166 if (Pstate<3:>)
167 R15 = (xc->readPC())<31:0>;
168 else
169 R15 = xc->readPC();
172 R15 = xc->readPC();
170 NNPC = R15 + disp;
171 }});
172 0x2: decode OP3 {
173 format IntOp {
174 0x00: add({{Rd = Rs1.sdw + Rs2_or_imm13;}});
175 0x01: and({{Rd = Rs1.sdw & Rs2_or_imm13;}});
176 0x02: or({{Rd = Rs1.sdw | Rs2_or_imm13;}});
177 0x03: xor({{Rd = Rs1.sdw ^ Rs2_or_imm13;}});
178 0x04: sub({{Rd = Rs1.sdw - Rs2_or_imm13;}});
179 0x05: andn({{Rd = Rs1.sdw & ~Rs2_or_imm13;}});
180 0x06: orn({{Rd = Rs1.sdw | ~Rs2_or_imm13;}});
181 0x07: xnor({{Rd = ~(Rs1.sdw ^ Rs2_or_imm13);}});
182 0x08: addc({{Rd = Rs1.sdw + Rs2_or_imm13 + Ccr<0:0>;}});
183 0x09: mulx({{Rd = Rs1.sdw * Rs2_or_imm13;}});
184 0x0A: umul({{
185 Rd = Rs1.udw<31:0> * Rs2_or_imm13<31:0>;
186 Y = Rd<63:32>;
187 }});
188 0x0B: smul({{
173 NNPC = R15 + disp;
174 }});
175 0x2: decode OP3 {
176 format IntOp {
177 0x00: add({{Rd = Rs1.sdw + Rs2_or_imm13;}});
178 0x01: and({{Rd = Rs1.sdw & Rs2_or_imm13;}});
179 0x02: or({{Rd = Rs1.sdw | Rs2_or_imm13;}});
180 0x03: xor({{Rd = Rs1.sdw ^ Rs2_or_imm13;}});
181 0x04: sub({{Rd = Rs1.sdw - Rs2_or_imm13;}});
182 0x05: andn({{Rd = Rs1.sdw & ~Rs2_or_imm13;}});
183 0x06: orn({{Rd = Rs1.sdw | ~Rs2_or_imm13;}});
184 0x07: xnor({{Rd = ~(Rs1.sdw ^ Rs2_or_imm13);}});
185 0x08: addc({{Rd = Rs1.sdw + Rs2_or_imm13 + Ccr<0:0>;}});
186 0x09: mulx({{Rd = Rs1.sdw * Rs2_or_imm13;}});
187 0x0A: umul({{
188 Rd = Rs1.udw<31:0> * Rs2_or_imm13<31:0>;
189 Y = Rd<63:32>;
190 }});
191 0x0B: smul({{
189 Rd.sdw = sext<32>(Rs1.sdw<31:0>) * sext<32>(Rs2_or_imm13<31:0>);
190 Y = Rd.sdw<63:32>;
192 Rd.sdw = Rs1.sdw<31:0> * Rs2_or_imm13<31:0>;
193 Y = Rd.sdw;
191 }});
192 0x0C: subc({{Rd.sdw = Rs1.sdw + (~Rs2_or_imm13) + 1 - Ccr<0:0>}});
193 0x0D: udivx({{
194 if(Rs2_or_imm13 == 0) fault = new DivisionByZero;
195 else Rd.udw = Rs1.udw / Rs2_or_imm13;
196 }});
197 0x0E: udiv({{
198 if(Rs2_or_imm13 == 0) fault = new DivisionByZero;
199 else
200 {
201 Rd.udw = ((Y << 32) | Rs1.udw<31:0>) / Rs2_or_imm13;
202 if(Rd.udw >> 32 != 0)
203 Rd.udw = 0xFFFFFFFF;
204 }
205 }});
206 0x0F: sdiv({{
207 if(Rs2_or_imm13.sdw == 0)
208 fault = new DivisionByZero;
209 else
210 {
211 Rd.udw = ((int64_t)((Y << 32) | Rs1.sdw<31:0>)) / Rs2_or_imm13.sdw;
194 }});
195 0x0C: subc({{Rd.sdw = Rs1.sdw + (~Rs2_or_imm13) + 1 - Ccr<0:0>}});
196 0x0D: udivx({{
197 if(Rs2_or_imm13 == 0) fault = new DivisionByZero;
198 else Rd.udw = Rs1.udw / Rs2_or_imm13;
199 }});
200 0x0E: udiv({{
201 if(Rs2_or_imm13 == 0) fault = new DivisionByZero;
202 else
203 {
204 Rd.udw = ((Y << 32) | Rs1.udw<31:0>) / Rs2_or_imm13;
205 if(Rd.udw >> 32 != 0)
206 Rd.udw = 0xFFFFFFFF;
207 }
208 }});
209 0x0F: sdiv({{
210 if(Rs2_or_imm13.sdw == 0)
211 fault = new DivisionByZero;
212 else
213 {
214 Rd.udw = ((int64_t)((Y << 32) | Rs1.sdw<31:0>)) / Rs2_or_imm13.sdw;
212 if((int64_t)Rd.udw >= std::numeric_limits<int32_t>::max())
215 if(Rd.udw<63:31> != 0)
213 Rd.udw = 0x7FFFFFFF;
216 Rd.udw = 0x7FFFFFFF;
214 else if((int64_t)Rd.udw <= std::numeric_limits<int32_t>::min())
215 Rd.udw = ULL(0xFFFFFFFF80000000);
217 else if(Rd.udw<63:> && Rd.udw<62:31> != 0xFFFFFFFF)
218 Rd.udw = 0xFFFFFFFF80000000ULL;
216 }
217 }});
218 }
219 format IntOpCc {
220 0x10: addcc({{
221 int64_t resTemp, val2 = Rs2_or_imm13;
222 Rd = resTemp = Rs1 + val2;}},
223 {{(Rs1<31:0> + val2<31:0>)<32:>}},
224 {{Rs1<31:> == val2<31:> && val2<31:> != resTemp<31:>}},
225 {{(Rs1<63:1> + val2<63:1> + (Rs1 & val2)<0:>)<63:>}},
226 {{Rs1<63:> == val2<63:> && val2<63:> != resTemp<63:>}}
227 );
228 0x11: IntOpCcRes::andcc({{Rd = Rs1 & Rs2_or_imm13;}});
229 0x12: IntOpCcRes::orcc({{Rd = Rs1 | Rs2_or_imm13;}});
230 0x13: IntOpCcRes::xorcc({{Rd = Rs1 ^ Rs2_or_imm13;}});
231 0x14: subcc({{
232 int64_t val2 = Rs2_or_imm13;
233 Rd = Rs1 - val2;}},
234 {{(~(Rs1<31:0> + (~val2)<31:0> + 1))<32:>}},
235 {{(Rs1<31:> != val2<31:>) && (Rs1<31:> != Rd<31:>)}},
236 {{(~(Rs1<63:1> + (~val2)<63:1> +
237 (Rs1 | ~val2)<0:>))<63:>}},
238 {{Rs1<63:> != val2<63:> && Rs1<63:> != Rd<63:>}}
239 );
240 0x15: IntOpCcRes::andncc({{Rd = Rs1 & ~Rs2_or_imm13;}});
241 0x16: IntOpCcRes::orncc({{Rd = Rs1 | ~Rs2_or_imm13;}});
242 0x17: IntOpCcRes::xnorcc({{Rd = ~(Rs1 ^ Rs2_or_imm13);}});
243 0x18: addccc({{
244 int64_t resTemp, val2 = Rs2_or_imm13;
245 int64_t carryin = Ccr<0:0>;
246 Rd = resTemp = Rs1 + val2 + carryin;}},
247 {{(Rs1<31:0> + val2<31:0> + carryin)<32:>}},
248 {{Rs1<31:> == val2<31:> && val2<31:> != resTemp<31:>}},
219 }
220 }});
221 }
222 format IntOpCc {
223 0x10: addcc({{
224 int64_t resTemp, val2 = Rs2_or_imm13;
225 Rd = resTemp = Rs1 + val2;}},
226 {{(Rs1<31:0> + val2<31:0>)<32:>}},
227 {{Rs1<31:> == val2<31:> && val2<31:> != resTemp<31:>}},
228 {{(Rs1<63:1> + val2<63:1> + (Rs1 & val2)<0:>)<63:>}},
229 {{Rs1<63:> == val2<63:> && val2<63:> != resTemp<63:>}}
230 );
231 0x11: IntOpCcRes::andcc({{Rd = Rs1 & Rs2_or_imm13;}});
232 0x12: IntOpCcRes::orcc({{Rd = Rs1 | Rs2_or_imm13;}});
233 0x13: IntOpCcRes::xorcc({{Rd = Rs1 ^ Rs2_or_imm13;}});
234 0x14: subcc({{
235 int64_t val2 = Rs2_or_imm13;
236 Rd = Rs1 - val2;}},
237 {{(~(Rs1<31:0> + (~val2)<31:0> + 1))<32:>}},
238 {{(Rs1<31:> != val2<31:>) && (Rs1<31:> != Rd<31:>)}},
239 {{(~(Rs1<63:1> + (~val2)<63:1> +
240 (Rs1 | ~val2)<0:>))<63:>}},
241 {{Rs1<63:> != val2<63:> && Rs1<63:> != Rd<63:>}}
242 );
243 0x15: IntOpCcRes::andncc({{Rd = Rs1 & ~Rs2_or_imm13;}});
244 0x16: IntOpCcRes::orncc({{Rd = Rs1 | ~Rs2_or_imm13;}});
245 0x17: IntOpCcRes::xnorcc({{Rd = ~(Rs1 ^ Rs2_or_imm13);}});
246 0x18: addccc({{
247 int64_t resTemp, val2 = Rs2_or_imm13;
248 int64_t carryin = Ccr<0:0>;
249 Rd = resTemp = Rs1 + val2 + carryin;}},
250 {{(Rs1<31:0> + val2<31:0> + carryin)<32:>}},
251 {{Rs1<31:> == val2<31:> && val2<31:> != resTemp<31:>}},
249 {{((Rs1 & val2) | (~resTemp & (Rs1 | val2)))<63:>}},
252 {{(Rs1<63:1> + val2<63:1> +
253 ((Rs1 & val2) | (carryin & (Rs1 | val2)))<0:>)<63:>}},
250 {{Rs1<63:> == val2<63:> && val2<63:> != resTemp<63:>}}
251 );
254 {{Rs1<63:> == val2<63:> && val2<63:> != resTemp<63:>}}
255 );
252 0x1A: umulcc({{
256 0x1A: IntOpCcRes::umulcc({{
253 uint64_t resTemp;
254 Rd = resTemp = Rs1.udw<31:0> * Rs2_or_imm13.udw<31:0>;
257 uint64_t resTemp;
258 Rd = resTemp = Rs1.udw<31:0> * Rs2_or_imm13.udw<31:0>;
255 Y = resTemp<63:32>;}},
256 {{0}},{{0}},{{0}},{{0}});
257 0x1B: smulcc({{
259 Y = resTemp<63:32>;}});
260 0x1B: IntOpCcRes::smulcc({{
258 int64_t resTemp;
261 int64_t resTemp;
259 Rd = resTemp = sext<32>(Rs1.sdw<31:0>) * sext<32>(Rs2_or_imm13<31:0>);
260 Y = resTemp<63:32>;}},
261 {{0}},{{0}},{{0}},{{0}});
262 Rd = resTemp = Rs1.sdw<31:0> * Rs2_or_imm13.sdw<31:0>;
263 Y = resTemp<63:32>;}});
262 0x1C: subccc({{
263 int64_t resTemp, val2 = Rs2_or_imm13;
264 int64_t carryin = Ccr<0:0>;
265 Rd = resTemp = Rs1 + ~val2 + 1 - carryin;}},
264 0x1C: subccc({{
265 int64_t resTemp, val2 = Rs2_or_imm13;
266 int64_t carryin = Ccr<0:0>;
267 Rd = resTemp = Rs1 + ~val2 + 1 - carryin;}},
266 {{((~Rs1 & val2) | (resTemp & (~Rs1 | val2)))<31:>}},
268 {{(~((Rs1<31:0> + (~(val2 + carryin))<31:0> + 1))<32:>)}},
267 {{Rs1<31:> != val2<31:> && Rs1<31:> != resTemp<31:>}},
269 {{Rs1<31:> != val2<31:> && Rs1<31:> != resTemp<31:>}},
268 {{((~Rs1 & val2) | (resTemp & (~Rs1 | val2)))<63:>}},
270 {{(~((Rs1<63:1> + (~(val2 + carryin))<63:1>) + (Rs1<0:> + (~(val2+carryin))<0:> + 1)<63:1>))<63:>}},
269 {{Rs1<63:> != val2<63:> && Rs1<63:> != resTemp<63:>}}
270 );
271 {{Rs1<63:> != val2<63:> && Rs1<63:> != resTemp<63:>}}
272 );
271 0x1D: udivxcc({{
273 0x1D: IntOpCcRes::udivxcc({{
272 if(Rs2_or_imm13.udw == 0) fault = new DivisionByZero;
274 if(Rs2_or_imm13.udw == 0) fault = new DivisionByZero;
273 else Rd = Rs1.udw / Rs2_or_imm13.udw;}}
274 ,{{0}},{{0}},{{0}},{{0}});
275 else Rd = Rs1.udw / Rs2_or_imm13.udw;}});
275 0x1E: udivcc({{
276 uint32_t resTemp, val2 = Rs2_or_imm13.udw;
277 int32_t overflow = 0;
278 if(val2 == 0) fault = new DivisionByZero;
279 else
280 {
281 resTemp = (uint64_t)((Y << 32) | Rs1.udw<31:0>) / val2;
282 overflow = (resTemp<63:32> != 0);
283 if(overflow) Rd = resTemp = 0xFFFFFFFF;
284 else Rd = resTemp;
285 } }},
286 {{0}},
287 {{overflow}},
288 {{0}},
289 {{0}}
290 );
291 0x1F: sdivcc({{
292 int64_t val2 = Rs2_or_imm13.sdw<31:0>;
293 bool overflow = false, underflow = false;
294 if(val2 == 0) fault = new DivisionByZero;
295 else
296 {
297 Rd = (int64_t)((Y << 32) | Rs1.sdw<31:0>) / val2;
276 0x1E: udivcc({{
277 uint32_t resTemp, val2 = Rs2_or_imm13.udw;
278 int32_t overflow = 0;
279 if(val2 == 0) fault = new DivisionByZero;
280 else
281 {
282 resTemp = (uint64_t)((Y << 32) | Rs1.udw<31:0>) / val2;
283 overflow = (resTemp<63:32> != 0);
284 if(overflow) Rd = resTemp = 0xFFFFFFFF;
285 else Rd = resTemp;
286 } }},
287 {{0}},
288 {{overflow}},
289 {{0}},
290 {{0}}
291 );
292 0x1F: sdivcc({{
293 int64_t val2 = Rs2_or_imm13.sdw<31:0>;
294 bool overflow = false, underflow = false;
295 if(val2 == 0) fault = new DivisionByZero;
296 else
297 {
298 Rd = (int64_t)((Y << 32) | Rs1.sdw<31:0>) / val2;
298 overflow = ((int64_t)Rd >= std::numeric_limits<int32_t>::max());
299 underflow = ((int64_t)Rd <= std::numeric_limits<int32_t>::min());
299 overflow = (Rd<63:31> != 0);
300 underflow = (Rd<63:> && Rd<62:31> != 0xFFFFFFFF);
300 if(overflow) Rd = 0x7FFFFFFF;
301 if(overflow) Rd = 0x7FFFFFFF;
301 else if(underflow) Rd = ULL(0xFFFFFFFF80000000);
302 else if(underflow) Rd = 0xFFFFFFFF80000000ULL;
302 } }},
303 {{0}},
304 {{overflow || underflow}},
305 {{0}},
306 {{0}}
307 );
308 0x20: taddcc({{
309 int64_t resTemp, val2 = Rs2_or_imm13;
310 Rd = resTemp = Rs1 + val2;
311 int32_t overflow = Rs1<1:0> || val2<1:0> || (Rs1<31:> == val2<31:> && val2<31:> != resTemp<31:>);}},
312 {{((Rs1<31:0> + val2<31:0>)<32:0>)}},
313 {{overflow}},
314 {{((Rs1 >> 1) + (val2 >> 1) + (Rs1 & val2 & 0x1))<63:>}},
315 {{Rs1<63:> == val2<63:> && val2<63:> != resTemp<63:>}}
316 );
317 0x21: tsubcc({{
318 int64_t resTemp, val2 = Rs2_or_imm13;
319 Rd = resTemp = Rs1 + val2;
320 int32_t overflow = Rs1<1:0> || val2<1:0> || (Rs1<31:> == val2<31:> && val2<31:> != resTemp<31:>);}},
321 {{(Rs1<31:0> + val2<31:0>)<32:0>}},
322 {{overflow}},
323 {{((Rs1 >> 1) + (val2 >> 1) + (Rs1 & val2 & 0x1))<63:>}},
324 {{Rs1<63:> == val2<63:> && val2<63:> != resTemp<63:>}}
325 );
326 0x22: taddcctv({{
327 int64_t val2 = Rs2_or_imm13;
328 Rd = Rs1 + val2;
329 int32_t overflow = Rs1<1:0> || val2<1:0> ||
330 (Rs1<31:> == val2<31:> && val2<31:> != Rd<31:>);
331 if(overflow) fault = new TagOverflow;}},
332 {{((Rs1<31:0> + val2<31:0>)<32:0>)}},
333 {{overflow}},
334 {{((Rs1 >> 1) + (val2 >> 1) + (Rs1 & val2 & 0x1))<63:>}},
335 {{Rs1<63:> == val2<63:> && val2<63:> != Rd<63:>}}
336 );
337 0x23: tsubcctv({{
338 int64_t resTemp, val2 = Rs2_or_imm13;
339 Rd = resTemp = Rs1 + val2;
340 int32_t overflow = Rs1<1:0> || val2<1:0> || (Rs1<31:> == val2<31:> && val2<31:> != resTemp<31:>);
341 if(overflow) fault = new TagOverflow;}},
342 {{((Rs1<31:0> + val2<31:0>)<32:0>)}},
343 {{overflow}},
344 {{((Rs1 >> 1) + (val2 >> 1) + (Rs1 & val2 & 0x1))<63:>}},
345 {{Rs1<63:> == val2<63:> && val2<63:> != resTemp<63:>}}
346 );
347 0x24: mulscc({{
348 int64_t resTemp, multiplicand = Rs2_or_imm13;
349 int32_t multiplier = Rs1<31:0>;
350 int32_t savedLSB = Rs1<0:>;
351 multiplier = multiplier<31:1> |
352 ((Ccr<3:3> ^ Ccr<1:1>) << 32);
353 if(!Y<0:>)
354 multiplicand = 0;
355 Rd = resTemp = multiplicand + multiplier;
356 Y = Y<31:1> | (savedLSB << 31);}},
357 {{((multiplicand<31:0> + multiplier<31:0>)<32:0>)}},
358 {{multiplicand<31:> == multiplier<31:> && multiplier<31:> != resTemp<31:>}},
359 {{((multiplicand >> 1) + (multiplier >> 1) + (multiplicand & multiplier & 0x1))<63:>}},
360 {{multiplicand<63:> == multiplier<63:> && multiplier<63:> != resTemp<63:>}}
361 );
362 }
363 format IntOp
364 {
365 0x25: decode X {
366 0x0: sll({{Rd = Rs1 << (I ? SHCNT32 : Rs2<4:0>);}});
367 0x1: sllx({{Rd = Rs1 << (I ? SHCNT64 : Rs2<5:0>);}});
368 }
369 0x26: decode X {
370 0x0: srl({{Rd = Rs1.uw >> (I ? SHCNT32 : Rs2<4:0>);}});
371 0x1: srlx({{Rd = Rs1.udw >> (I ? SHCNT64 : Rs2<5:0>);}});
372 }
373 0x27: decode X {
374 0x0: sra({{Rd = Rs1.sw >> (I ? SHCNT32 : Rs2<4:0>);}});
375 0x1: srax({{Rd = Rs1.sdw >> (I ? SHCNT64 : Rs2<5:0>);}});
376 }
377 0x28: decode RS1 {
303 } }},
304 {{0}},
305 {{overflow || underflow}},
306 {{0}},
307 {{0}}
308 );
309 0x20: taddcc({{
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 {{((Rs1<31:0> + val2<31:0>)<32:0>)}},
314 {{overflow}},
315 {{((Rs1 >> 1) + (val2 >> 1) + (Rs1 & val2 & 0x1))<63:>}},
316 {{Rs1<63:> == val2<63:> && val2<63:> != resTemp<63:>}}
317 );
318 0x21: tsubcc({{
319 int64_t resTemp, val2 = Rs2_or_imm13;
320 Rd = resTemp = Rs1 + val2;
321 int32_t overflow = Rs1<1:0> || val2<1:0> || (Rs1<31:> == val2<31:> && val2<31:> != resTemp<31:>);}},
322 {{(Rs1<31:0> + val2<31:0>)<32:0>}},
323 {{overflow}},
324 {{((Rs1 >> 1) + (val2 >> 1) + (Rs1 & val2 & 0x1))<63:>}},
325 {{Rs1<63:> == val2<63:> && val2<63:> != resTemp<63:>}}
326 );
327 0x22: taddcctv({{
328 int64_t val2 = Rs2_or_imm13;
329 Rd = Rs1 + val2;
330 int32_t overflow = Rs1<1:0> || val2<1:0> ||
331 (Rs1<31:> == val2<31:> && val2<31:> != Rd<31:>);
332 if(overflow) fault = new TagOverflow;}},
333 {{((Rs1<31:0> + val2<31:0>)<32:0>)}},
334 {{overflow}},
335 {{((Rs1 >> 1) + (val2 >> 1) + (Rs1 & val2 & 0x1))<63:>}},
336 {{Rs1<63:> == val2<63:> && val2<63:> != Rd<63:>}}
337 );
338 0x23: tsubcctv({{
339 int64_t resTemp, val2 = Rs2_or_imm13;
340 Rd = resTemp = Rs1 + val2;
341 int32_t overflow = Rs1<1:0> || val2<1:0> || (Rs1<31:> == val2<31:> && val2<31:> != resTemp<31:>);
342 if(overflow) fault = new TagOverflow;}},
343 {{((Rs1<31:0> + val2<31:0>)<32:0>)}},
344 {{overflow}},
345 {{((Rs1 >> 1) + (val2 >> 1) + (Rs1 & val2 & 0x1))<63:>}},
346 {{Rs1<63:> == val2<63:> && val2<63:> != resTemp<63:>}}
347 );
348 0x24: mulscc({{
349 int64_t resTemp, multiplicand = Rs2_or_imm13;
350 int32_t multiplier = Rs1<31:0>;
351 int32_t savedLSB = Rs1<0:>;
352 multiplier = multiplier<31:1> |
353 ((Ccr<3:3> ^ Ccr<1:1>) << 32);
354 if(!Y<0:>)
355 multiplicand = 0;
356 Rd = resTemp = multiplicand + multiplier;
357 Y = Y<31:1> | (savedLSB << 31);}},
358 {{((multiplicand<31:0> + multiplier<31:0>)<32:0>)}},
359 {{multiplicand<31:> == multiplier<31:> && multiplier<31:> != resTemp<31:>}},
360 {{((multiplicand >> 1) + (multiplier >> 1) + (multiplicand & multiplier & 0x1))<63:>}},
361 {{multiplicand<63:> == multiplier<63:> && multiplier<63:> != resTemp<63:>}}
362 );
363 }
364 format IntOp
365 {
366 0x25: decode X {
367 0x0: sll({{Rd = Rs1 << (I ? SHCNT32 : Rs2<4:0>);}});
368 0x1: sllx({{Rd = Rs1 << (I ? SHCNT64 : Rs2<5:0>);}});
369 }
370 0x26: decode X {
371 0x0: srl({{Rd = Rs1.uw >> (I ? SHCNT32 : Rs2<4:0>);}});
372 0x1: srlx({{Rd = Rs1.udw >> (I ? SHCNT64 : Rs2<5:0>);}});
373 }
374 0x27: decode X {
375 0x0: sra({{Rd = Rs1.sw >> (I ? SHCNT32 : Rs2<4:0>);}});
376 0x1: srax({{Rd = Rs1.sdw >> (I ? SHCNT64 : Rs2<5:0>);}});
377 }
378 0x28: decode RS1 {
378 0x00: NoPriv::rdy({{Rd = Y<31:0>;}});
379 0x00: NoPriv::rdy({{Rd = Y;}});
379 //1 should cause an illegal instruction exception
380 0x02: NoPriv::rdccr({{Rd = Ccr;}});
381 0x03: NoPriv::rdasi({{Rd = Asi;}});
382 0x04: PrivCheck::rdtick({{Rd = Tick;}}, {{Tick<63:>}});
383 0x05: NoPriv::rdpc({{
384 if(Pstate<3:>)
385 Rd = (xc->readPC())<31:0>;
386 else
387 Rd = xc->readPC();}});
388 0x06: NoPriv::rdfprs({{
389 //Wait for all fpops to finish.
390 Rd = Fprs;
391 }});
392 //7-14 should cause an illegal instruction exception
393 0x0F: decode I {
394 0x0: Nop::stbar({{/*stuff*/}});
395 0x1: Nop::membar({{/*stuff*/}});
396 }
397 0x10: Priv::rdpcr({{Rd = Pcr;}});
398 0x11: PrivCheck::rdpic({{Rd = Pic;}}, {{Pcr<0:>}});
399 //0x12 should cause an illegal instruction exception
400 0x13: NoPriv::rdgsr({{
401 if(Fprs<2:> == 0 || Pstate<4:> == 0)
402 Rd = Gsr;
403 else
404 fault = new FpDisabled;
405 }});
406 //0x14-0x15 should cause an illegal instruction exception
407 0x16: Priv::rdsoftint({{Rd = Softint;}});
408 0x17: Priv::rdtick_cmpr({{Rd = TickCmpr;}});
409 0x18: PrivCheck::rdstick({{Rd = Stick}}, {{Stick<63:>}});
410 0x19: Priv::rdstick_cmpr({{Rd = StickCmpr;}});
411 0x1A: Priv::rdstrand_sts_reg({{
412 if(Pstate<2:> && !Hpstate<2:>)
413 Rd = StrandStsReg<0:>;
414 else
415 Rd = StrandStsReg;
416 }});
417 //0x1A is supposed to be reserved, but it reads the strand
418 //status register.
419 //0x1B-0x1F should cause an illegal instruction exception
420 }
421 0x29: decode RS1 {
422 0x00: HPriv::rdhprhpstate({{Rd = Hpstate;}});
423 0x01: HPriv::rdhprhtstate({{
424 if(Tl == 0)
425 return new IllegalInstruction;
426 Rd = Htstate;
427 }});
428 //0x02 should cause an illegal instruction exception
429 0x03: HPriv::rdhprhintp({{Rd = Hintp;}});
430 //0x04 should cause an illegal instruction exception
431 0x05: HPriv::rdhprhtba({{Rd = Htba;}});
432 0x06: HPriv::rdhprhver({{Rd = Hver;}});
433 //0x07-0x1E should cause an illegal instruction exception
434 0x1F: HPriv::rdhprhstick_cmpr({{Rd = HstickCmpr;}});
435 }
436 0x2A: decode RS1 {
437 0x00: Priv::rdprtpc({{
438 if(Tl == 0)
439 return new IllegalInstruction;
440 Rd = Tpc;
441 }});
442 0x01: Priv::rdprtnpc({{
443 if(Tl == 0)
444 return new IllegalInstruction;
445 Rd = Tnpc;
446 }});
447 0x02: Priv::rdprtstate({{
448 if(Tl == 0)
449 return new IllegalInstruction;
450 Rd = Tstate;
451 }});
452 0x03: Priv::rdprtt({{
453 if(Tl == 0)
454 return new IllegalInstruction;
455 Rd = Tt;
456 }});
457 0x04: Priv::rdprtick({{Rd = Tick;}});
458 0x05: Priv::rdprtba({{Rd = Tba;}});
459 0x06: Priv::rdprpstate({{Rd = Pstate;}});
460 0x07: Priv::rdprtl({{Rd = Tl;}});
461 0x08: Priv::rdprpil({{Rd = Pil;}});
462 0x09: Priv::rdprcwp({{Rd = Cwp;}});
463 0x0A: Priv::rdprcansave({{Rd = Cansave;}});
464 0x0B: Priv::rdprcanrestore({{Rd = Canrestore;}});
465 0x0C: Priv::rdprcleanwin({{Rd = Cleanwin;}});
466 0x0D: Priv::rdprotherwin({{Rd = Otherwin;}});
467 0x0E: Priv::rdprwstate({{Rd = Wstate;}});
468 //0x0F should cause an illegal instruction exception
469 0x10: Priv::rdprgl({{Rd = Gl;}});
470 //0x11-0x1F should cause an illegal instruction exception
471 }
472 0x2B: BasicOperate::flushw({{
380 //1 should cause an illegal instruction exception
381 0x02: NoPriv::rdccr({{Rd = Ccr;}});
382 0x03: NoPriv::rdasi({{Rd = Asi;}});
383 0x04: PrivCheck::rdtick({{Rd = Tick;}}, {{Tick<63:>}});
384 0x05: NoPriv::rdpc({{
385 if(Pstate<3:>)
386 Rd = (xc->readPC())<31:0>;
387 else
388 Rd = xc->readPC();}});
389 0x06: NoPriv::rdfprs({{
390 //Wait for all fpops to finish.
391 Rd = Fprs;
392 }});
393 //7-14 should cause an illegal instruction exception
394 0x0F: decode I {
395 0x0: Nop::stbar({{/*stuff*/}});
396 0x1: Nop::membar({{/*stuff*/}});
397 }
398 0x10: Priv::rdpcr({{Rd = Pcr;}});
399 0x11: PrivCheck::rdpic({{Rd = Pic;}}, {{Pcr<0:>}});
400 //0x12 should cause an illegal instruction exception
401 0x13: NoPriv::rdgsr({{
402 if(Fprs<2:> == 0 || Pstate<4:> == 0)
403 Rd = Gsr;
404 else
405 fault = new FpDisabled;
406 }});
407 //0x14-0x15 should cause an illegal instruction exception
408 0x16: Priv::rdsoftint({{Rd = Softint;}});
409 0x17: Priv::rdtick_cmpr({{Rd = TickCmpr;}});
410 0x18: PrivCheck::rdstick({{Rd = Stick}}, {{Stick<63:>}});
411 0x19: Priv::rdstick_cmpr({{Rd = StickCmpr;}});
412 0x1A: Priv::rdstrand_sts_reg({{
413 if(Pstate<2:> && !Hpstate<2:>)
414 Rd = StrandStsReg<0:>;
415 else
416 Rd = StrandStsReg;
417 }});
418 //0x1A is supposed to be reserved, but it reads the strand
419 //status register.
420 //0x1B-0x1F should cause an illegal instruction exception
421 }
422 0x29: decode RS1 {
423 0x00: HPriv::rdhprhpstate({{Rd = Hpstate;}});
424 0x01: HPriv::rdhprhtstate({{
425 if(Tl == 0)
426 return new IllegalInstruction;
427 Rd = Htstate;
428 }});
429 //0x02 should cause an illegal instruction exception
430 0x03: HPriv::rdhprhintp({{Rd = Hintp;}});
431 //0x04 should cause an illegal instruction exception
432 0x05: HPriv::rdhprhtba({{Rd = Htba;}});
433 0x06: HPriv::rdhprhver({{Rd = Hver;}});
434 //0x07-0x1E should cause an illegal instruction exception
435 0x1F: HPriv::rdhprhstick_cmpr({{Rd = HstickCmpr;}});
436 }
437 0x2A: decode RS1 {
438 0x00: Priv::rdprtpc({{
439 if(Tl == 0)
440 return new IllegalInstruction;
441 Rd = Tpc;
442 }});
443 0x01: Priv::rdprtnpc({{
444 if(Tl == 0)
445 return new IllegalInstruction;
446 Rd = Tnpc;
447 }});
448 0x02: Priv::rdprtstate({{
449 if(Tl == 0)
450 return new IllegalInstruction;
451 Rd = Tstate;
452 }});
453 0x03: Priv::rdprtt({{
454 if(Tl == 0)
455 return new IllegalInstruction;
456 Rd = Tt;
457 }});
458 0x04: Priv::rdprtick({{Rd = Tick;}});
459 0x05: Priv::rdprtba({{Rd = Tba;}});
460 0x06: Priv::rdprpstate({{Rd = Pstate;}});
461 0x07: Priv::rdprtl({{Rd = Tl;}});
462 0x08: Priv::rdprpil({{Rd = Pil;}});
463 0x09: Priv::rdprcwp({{Rd = Cwp;}});
464 0x0A: Priv::rdprcansave({{Rd = Cansave;}});
465 0x0B: Priv::rdprcanrestore({{Rd = Canrestore;}});
466 0x0C: Priv::rdprcleanwin({{Rd = Cleanwin;}});
467 0x0D: Priv::rdprotherwin({{Rd = Otherwin;}});
468 0x0E: Priv::rdprwstate({{Rd = Wstate;}});
469 //0x0F should cause an illegal instruction exception
470 0x10: Priv::rdprgl({{Rd = Gl;}});
471 //0x11-0x1F should cause an illegal instruction exception
472 }
473 0x2B: BasicOperate::flushw({{
473 if(NWindows - 2 - Cansave != 0)
474 if(NWindows - 2 - Cansave == 0)
474 {
475 if(Otherwin)
475 {
476 if(Otherwin)
476 fault = new SpillNOther(4*Wstate<5:3>);
477 fault = new SpillNOther(Wstate<5:3>);
477 else
478 else
478 fault = new SpillNNormal(4*Wstate<2:0>);
479 fault = new SpillNNormal(Wstate<2:0>);
479 }
480 }});
481 0x2C: decode MOVCC3
482 {
483 0x0: Trap::movccfcc({{fault = new FpDisabled;}});
484 0x1: decode CC
485 {
486 0x0: movcci({{
487 if(passesCondition(Ccr<3:0>, COND4))
488 Rd = Rs2_or_imm11;
489 else
490 Rd = Rd;
491 }});
492 0x2: movccx({{
493 if(passesCondition(Ccr<7:4>, COND4))
494 Rd = Rs2_or_imm11;
495 else
496 Rd = Rd;
497 }});
498 }
499 }
500 0x2D: sdivx({{
501 if(Rs2_or_imm13.sdw == 0) fault = new DivisionByZero;
502 else Rd.sdw = Rs1.sdw / Rs2_or_imm13.sdw;
503 }});
480 }
481 }});
482 0x2C: decode MOVCC3
483 {
484 0x0: Trap::movccfcc({{fault = new FpDisabled;}});
485 0x1: decode CC
486 {
487 0x0: movcci({{
488 if(passesCondition(Ccr<3:0>, COND4))
489 Rd = Rs2_or_imm11;
490 else
491 Rd = Rd;
492 }});
493 0x2: movccx({{
494 if(passesCondition(Ccr<7:4>, COND4))
495 Rd = Rs2_or_imm11;
496 else
497 Rd = Rd;
498 }});
499 }
500 }
501 0x2D: sdivx({{
502 if(Rs2_or_imm13.sdw == 0) fault = new DivisionByZero;
503 else Rd.sdw = Rs1.sdw / Rs2_or_imm13.sdw;
504 }});
504 0x2E: Trap::popc({{fault = new IllegalInstruction;}});
505 0x2E: decode RS1 {
506 0x0: IntOp::popc({{
507 int64_t count = 0;
508 uint64_t temp = Rs2_or_imm13;
509 //Count the 1s in the front 4bits until none are left
510 uint8_t oneBits[] = {0,1,1,2,1,2,2,3,1,2,2,3,2,3,3,4};
511 while(temp)
512 {
513 count += oneBits[temp & 0xF];
514 temp = temp >> 4;
515 }
516 Rd = count;
517 }});
518 }
505 0x2F: decode RCOND3
506 {
507 0x1: movreq({{Rd = (Rs1.sdw == 0) ? Rs2_or_imm10 : Rd;}});
508 0x2: movrle({{Rd = (Rs1.sdw <= 0) ? Rs2_or_imm10 : Rd;}});
509 0x3: movrl({{Rd = (Rs1.sdw < 0) ? Rs2_or_imm10 : Rd;}});
510 0x5: movrne({{Rd = (Rs1.sdw != 0) ? Rs2_or_imm10 : Rd;}});
511 0x6: movrg({{Rd = (Rs1.sdw > 0) ? Rs2_or_imm10 : Rd;}});
512 0x7: movrge({{Rd = (Rs1.sdw >= 0) ? Rs2_or_imm10 : Rd;}});
513 }
514 0x30: decode RD {
519 0x2F: decode RCOND3
520 {
521 0x1: movreq({{Rd = (Rs1.sdw == 0) ? Rs2_or_imm10 : Rd;}});
522 0x2: movrle({{Rd = (Rs1.sdw <= 0) ? Rs2_or_imm10 : Rd;}});
523 0x3: movrl({{Rd = (Rs1.sdw < 0) ? Rs2_or_imm10 : Rd;}});
524 0x5: movrne({{Rd = (Rs1.sdw != 0) ? Rs2_or_imm10 : Rd;}});
525 0x6: movrg({{Rd = (Rs1.sdw > 0) ? Rs2_or_imm10 : Rd;}});
526 0x7: movrge({{Rd = (Rs1.sdw >= 0) ? Rs2_or_imm10 : Rd;}});
527 }
528 0x30: decode RD {
515 0x00: NoPriv::wry({{Y = (Rs1 ^ Rs2_or_imm13)<31:0>;}});
529 0x00: NoPriv::wry({{Y = Rs1 ^ Rs2_or_imm13;}});
516 //0x01 should cause an illegal instruction exception
517 0x02: NoPriv::wrccr({{Ccr = Rs1 ^ Rs2_or_imm13;}});
518 0x03: NoPriv::wrasi({{Asi = Rs1 ^ Rs2_or_imm13;}});
519 //0x04-0x05 should cause an illegal instruction exception
520 0x06: NoPriv::wrfprs({{Fprs = Rs1 ^ Rs2_or_imm13;}});
521 //0x07-0x0E should cause an illegal instruction exception
522 0x0F: Trap::softreset({{fault = new SoftwareInitiatedReset;}});
523 0x10: Priv::wrpcr({{Pcr = Rs1 ^ Rs2_or_imm13;}});
524 0x11: PrivCheck::wrpic({{Pic = Rs1 ^ Rs2_or_imm13;}}, {{Pcr<0:>}});
525 //0x12 should cause an illegal instruction exception
526 0x13: NoPriv::wrgsr({{
527 if(Fprs<2:> == 0 || Pstate<4:> == 0)
528 return new FpDisabled;
529 Gsr = Rs1 ^ Rs2_or_imm13;
530 }});
531 0x14: Priv::wrsoftint_set({{SoftintSet = Rs1 ^ Rs2_or_imm13;}});
532 0x15: Priv::wrsoftint_clr({{SoftintClr = Rs1 ^ Rs2_or_imm13;}});
533 0x16: Priv::wrsoftint({{Softint = Rs1 ^ Rs2_or_imm13;}});
534 0x17: Priv::wrtick_cmpr({{TickCmpr = Rs1 ^ Rs2_or_imm13;}});
535 0x18: NoPriv::wrstick({{
536 if(!Hpstate<2:>)
537 return new IllegalInstruction;
538 Stick = Rs1 ^ Rs2_or_imm13;
539 }});
540 0x19: Priv::wrstick_cmpr({{StickCmpr = Rs1 ^ Rs2_or_imm13;}});
541 0x1A: Priv::wrstrand_sts_reg({{
542 if(Pstate<2:> && !Hpstate<2:>)
543 StrandStsReg = StrandStsReg<63:1> |
544 (Rs1 ^ Rs2_or_imm13)<0:>;
545 else
546 StrandStsReg = Rs1 ^ Rs2_or_imm13;
547 }});
548 //0x1A is supposed to be reserved, but it writes the strand
549 //status register.
550 //0x1B-0x1F should cause an illegal instruction exception
551 }
552 0x31: decode FCN {
553 0x0: Priv::saved({{
554 assert(Cansave < NWindows - 2);
555 assert(Otherwin || Canrestore);
556 Cansave = Cansave + 1;
557 if(Otherwin == 0)
558 Canrestore = Canrestore - 1;
559 else
560 Otherwin = Otherwin - 1;
561 }});
562 0x1: Priv::restored({{
563 assert(Cansave || Otherwin);
564 assert(Canrestore < NWindows - 2);
565 Canrestore = Canrestore + 1;
566 if(Otherwin == 0)
567 Cansave = Cansave - 1;
568 else
569 Otherwin = Otherwin - 1;
530 //0x01 should cause an illegal instruction exception
531 0x02: NoPriv::wrccr({{Ccr = Rs1 ^ Rs2_or_imm13;}});
532 0x03: NoPriv::wrasi({{Asi = Rs1 ^ Rs2_or_imm13;}});
533 //0x04-0x05 should cause an illegal instruction exception
534 0x06: NoPriv::wrfprs({{Fprs = Rs1 ^ Rs2_or_imm13;}});
535 //0x07-0x0E should cause an illegal instruction exception
536 0x0F: Trap::softreset({{fault = new SoftwareInitiatedReset;}});
537 0x10: Priv::wrpcr({{Pcr = Rs1 ^ Rs2_or_imm13;}});
538 0x11: PrivCheck::wrpic({{Pic = Rs1 ^ Rs2_or_imm13;}}, {{Pcr<0:>}});
539 //0x12 should cause an illegal instruction exception
540 0x13: NoPriv::wrgsr({{
541 if(Fprs<2:> == 0 || Pstate<4:> == 0)
542 return new FpDisabled;
543 Gsr = Rs1 ^ Rs2_or_imm13;
544 }});
545 0x14: Priv::wrsoftint_set({{SoftintSet = Rs1 ^ Rs2_or_imm13;}});
546 0x15: Priv::wrsoftint_clr({{SoftintClr = Rs1 ^ Rs2_or_imm13;}});
547 0x16: Priv::wrsoftint({{Softint = Rs1 ^ Rs2_or_imm13;}});
548 0x17: Priv::wrtick_cmpr({{TickCmpr = Rs1 ^ Rs2_or_imm13;}});
549 0x18: NoPriv::wrstick({{
550 if(!Hpstate<2:>)
551 return new IllegalInstruction;
552 Stick = Rs1 ^ Rs2_or_imm13;
553 }});
554 0x19: Priv::wrstick_cmpr({{StickCmpr = Rs1 ^ Rs2_or_imm13;}});
555 0x1A: Priv::wrstrand_sts_reg({{
556 if(Pstate<2:> && !Hpstate<2:>)
557 StrandStsReg = StrandStsReg<63:1> |
558 (Rs1 ^ Rs2_or_imm13)<0:>;
559 else
560 StrandStsReg = Rs1 ^ Rs2_or_imm13;
561 }});
562 //0x1A is supposed to be reserved, but it writes the strand
563 //status register.
564 //0x1B-0x1F should cause an illegal instruction exception
565 }
566 0x31: decode FCN {
567 0x0: Priv::saved({{
568 assert(Cansave < NWindows - 2);
569 assert(Otherwin || Canrestore);
570 Cansave = Cansave + 1;
571 if(Otherwin == 0)
572 Canrestore = Canrestore - 1;
573 else
574 Otherwin = Otherwin - 1;
575 }});
576 0x1: Priv::restored({{
577 assert(Cansave || Otherwin);
578 assert(Canrestore < NWindows - 2);
579 Canrestore = Canrestore + 1;
580 if(Otherwin == 0)
581 Cansave = Cansave - 1;
582 else
583 Otherwin = Otherwin - 1;
570
571 if(Cleanwin < NWindows - 1)
572 Cleanwin = Cleanwin + 1;
573 }});
574 }
575 0x32: decode RD {
576 0x00: Priv::wrprtpc({{
577 if(Tl == 0)
578 return new IllegalInstruction;
579 else
580 Tpc = Rs1 ^ Rs2_or_imm13;
581 }});
582 0x01: Priv::wrprtnpc({{
583 if(Tl == 0)
584 return new IllegalInstruction;
585 else
586 Tnpc = Rs1 ^ Rs2_or_imm13;
587 }});
588 0x02: Priv::wrprtstate({{
589 if(Tl == 0)
590 return new IllegalInstruction;
591 else
592 Tstate = Rs1 ^ Rs2_or_imm13;
593 }});
594 0x03: Priv::wrprtt({{
595 if(Tl == 0)
596 return new IllegalInstruction;
597 else
598 Tt = Rs1 ^ Rs2_or_imm13;
599 }});
600 0x04: HPriv::wrprtick({{Tick = Rs1 ^ Rs2_or_imm13;}});
601 0x05: Priv::wrprtba({{Tba = Rs1 ^ Rs2_or_imm13;}});
602 0x06: Priv::wrprpstate({{Pstate = Rs1 ^ Rs2_or_imm13;}});
603 0x07: Priv::wrprtl({{
604 if(Pstate<2:> && !Hpstate<2:>)
605 Tl = std::min<uint64_t>(Rs1 ^ Rs2_or_imm13, MaxPTL);
606 else
607 Tl = std::min<uint64_t>(Rs1 ^ Rs2_or_imm13, MaxTL);
608 }});
609 0x08: Priv::wrprpil({{Pil = Rs1 ^ Rs2_or_imm13;}});
610 0x09: Priv::wrprcwp({{Cwp = Rs1 ^ Rs2_or_imm13;}});
611 0x0A: Priv::wrprcansave({{Cansave = Rs1 ^ Rs2_or_imm13;}});
612 0x0B: Priv::wrprcanrestore({{Canrestore = Rs1 ^ Rs2_or_imm13;}});
613 0x0C: Priv::wrprcleanwin({{Cleanwin = Rs1 ^ Rs2_or_imm13;}});
614 0x0D: Priv::wrprotherwin({{Otherwin = Rs1 ^ Rs2_or_imm13;}});
615 0x0E: Priv::wrprwstate({{Wstate = Rs1 ^ Rs2_or_imm13;}});
616 //0x0F should cause an illegal instruction exception
617 0x10: Priv::wrprgl({{
618 if(Pstate<2:> && !Hpstate<2:>)
619 Gl = std::min<uint64_t>(Rs1 ^ Rs2_or_imm13, MaxPGL);
620 else
621 Gl = std::min<uint64_t>(Rs1 ^ Rs2_or_imm13, MaxGL);
622 }});
623 //0x11-0x1F should cause an illegal instruction exception
624 }
625 0x33: decode RD {
626 0x00: HPriv::wrhprhpstate({{Hpstate = Rs1 ^ Rs2_or_imm13;}});
627 0x01: HPriv::wrhprhtstate({{
628 if(Tl == 0)
629 return new IllegalInstruction;
630 Htstate = Rs1 ^ Rs2_or_imm13;
631 }});
632 //0x02 should cause an illegal instruction exception
633 0x03: HPriv::wrhprhintp({{Hintp = Rs1 ^ Rs2_or_imm13;}});
634 //0x04 should cause an illegal instruction exception
635 0x05: HPriv::wrhprhtba({{Htba = Rs1 ^ Rs2_or_imm13;}});
636 //0x06-0x01D should cause an illegal instruction exception
637 0x1F: HPriv::wrhprhstick_cmpr({{HstickCmpr = Rs1 ^ Rs2_or_imm13;}});
638 }
639 0x34: decode OPF{
640 format BasicOperate{
641 0x01: fmovs({{
642 Frds.uw = Frs2s.uw;
643 //fsr.ftt = fsr.cexc = 0
644 Fsr &= ~(7 << 14);
645 Fsr &= ~(0x1F);
646 }});
647 0x02: fmovd({{
648 Frd.udw = Frs2.udw;
649 //fsr.ftt = fsr.cexc = 0
650 Fsr &= ~(7 << 14);
651 Fsr &= ~(0x1F);
652 }});
584 }});
585 }
586 0x32: decode RD {
587 0x00: Priv::wrprtpc({{
588 if(Tl == 0)
589 return new IllegalInstruction;
590 else
591 Tpc = Rs1 ^ Rs2_or_imm13;
592 }});
593 0x01: Priv::wrprtnpc({{
594 if(Tl == 0)
595 return new IllegalInstruction;
596 else
597 Tnpc = Rs1 ^ Rs2_or_imm13;
598 }});
599 0x02: Priv::wrprtstate({{
600 if(Tl == 0)
601 return new IllegalInstruction;
602 else
603 Tstate = Rs1 ^ Rs2_or_imm13;
604 }});
605 0x03: Priv::wrprtt({{
606 if(Tl == 0)
607 return new IllegalInstruction;
608 else
609 Tt = Rs1 ^ Rs2_or_imm13;
610 }});
611 0x04: HPriv::wrprtick({{Tick = Rs1 ^ Rs2_or_imm13;}});
612 0x05: Priv::wrprtba({{Tba = Rs1 ^ Rs2_or_imm13;}});
613 0x06: Priv::wrprpstate({{Pstate = Rs1 ^ Rs2_or_imm13;}});
614 0x07: Priv::wrprtl({{
615 if(Pstate<2:> && !Hpstate<2:>)
616 Tl = std::min<uint64_t>(Rs1 ^ Rs2_or_imm13, MaxPTL);
617 else
618 Tl = std::min<uint64_t>(Rs1 ^ Rs2_or_imm13, MaxTL);
619 }});
620 0x08: Priv::wrprpil({{Pil = Rs1 ^ Rs2_or_imm13;}});
621 0x09: Priv::wrprcwp({{Cwp = Rs1 ^ Rs2_or_imm13;}});
622 0x0A: Priv::wrprcansave({{Cansave = Rs1 ^ Rs2_or_imm13;}});
623 0x0B: Priv::wrprcanrestore({{Canrestore = Rs1 ^ Rs2_or_imm13;}});
624 0x0C: Priv::wrprcleanwin({{Cleanwin = Rs1 ^ Rs2_or_imm13;}});
625 0x0D: Priv::wrprotherwin({{Otherwin = Rs1 ^ Rs2_or_imm13;}});
626 0x0E: Priv::wrprwstate({{Wstate = Rs1 ^ Rs2_or_imm13;}});
627 //0x0F should cause an illegal instruction exception
628 0x10: Priv::wrprgl({{
629 if(Pstate<2:> && !Hpstate<2:>)
630 Gl = std::min<uint64_t>(Rs1 ^ Rs2_or_imm13, MaxPGL);
631 else
632 Gl = std::min<uint64_t>(Rs1 ^ Rs2_or_imm13, MaxGL);
633 }});
634 //0x11-0x1F should cause an illegal instruction exception
635 }
636 0x33: decode RD {
637 0x00: HPriv::wrhprhpstate({{Hpstate = Rs1 ^ Rs2_or_imm13;}});
638 0x01: HPriv::wrhprhtstate({{
639 if(Tl == 0)
640 return new IllegalInstruction;
641 Htstate = Rs1 ^ Rs2_or_imm13;
642 }});
643 //0x02 should cause an illegal instruction exception
644 0x03: HPriv::wrhprhintp({{Hintp = Rs1 ^ Rs2_or_imm13;}});
645 //0x04 should cause an illegal instruction exception
646 0x05: HPriv::wrhprhtba({{Htba = Rs1 ^ Rs2_or_imm13;}});
647 //0x06-0x01D should cause an illegal instruction exception
648 0x1F: HPriv::wrhprhstick_cmpr({{HstickCmpr = Rs1 ^ Rs2_or_imm13;}});
649 }
650 0x34: decode OPF{
651 format BasicOperate{
652 0x01: fmovs({{
653 Frds.uw = Frs2s.uw;
654 //fsr.ftt = fsr.cexc = 0
655 Fsr &= ~(7 << 14);
656 Fsr &= ~(0x1F);
657 }});
658 0x02: fmovd({{
659 Frd.udw = Frs2.udw;
660 //fsr.ftt = fsr.cexc = 0
661 Fsr &= ~(7 << 14);
662 Fsr &= ~(0x1F);
663 }});
653 0x03: Trap::fmovq({{fault = new FpExceptionOther;}}); //unimp fpop
664 0x03: Trap::fmovq({{fault = new FpDisabled;}});
654 0x05: fnegs({{
655 Frds.uw = Frs2s.uw ^ (1UL << 31);
656 //fsr.ftt = fsr.cexc = 0
657 Fsr &= ~(7 << 14);
658 Fsr &= ~(0x1F);
659 }});
660 0x06: fnegd({{
661 Frd.udw = Frs2.udw ^ (1ULL << 63);
662 //fsr.ftt = fsr.cexc = 0
663 Fsr &= ~(7 << 14);
664 Fsr &= ~(0x1F);
665 }});
665 0x05: fnegs({{
666 Frds.uw = Frs2s.uw ^ (1UL << 31);
667 //fsr.ftt = fsr.cexc = 0
668 Fsr &= ~(7 << 14);
669 Fsr &= ~(0x1F);
670 }});
671 0x06: fnegd({{
672 Frd.udw = Frs2.udw ^ (1ULL << 63);
673 //fsr.ftt = fsr.cexc = 0
674 Fsr &= ~(7 << 14);
675 Fsr &= ~(0x1F);
676 }});
666 0x07: Trap::fnegq({{fault = new FpExceptionOther;}}); //fpop unimp
677 0x07: Trap::fnegq({{fault = new FpDisabled;}});
667 0x09: fabss({{
668 Frds.uw = ((1UL << 31) - 1) & Frs2s.uw;
669 //fsr.ftt = fsr.cexc = 0
670 Fsr &= ~(7 << 14);
671 Fsr &= ~(0x1F);
672 }});
673 0x0A: fabsd({{
674 Frd.udw = ((1ULL << 63) - 1) & Frs2.udw;
675 //fsr.ftt = fsr.cexc = 0
676 Fsr &= ~(7 << 14);
677 Fsr &= ~(0x1F);
678 }});
678 0x09: fabss({{
679 Frds.uw = ((1UL << 31) - 1) & Frs2s.uw;
680 //fsr.ftt = fsr.cexc = 0
681 Fsr &= ~(7 << 14);
682 Fsr &= ~(0x1F);
683 }});
684 0x0A: fabsd({{
685 Frd.udw = ((1ULL << 63) - 1) & Frs2.udw;
686 //fsr.ftt = fsr.cexc = 0
687 Fsr &= ~(7 << 14);
688 Fsr &= ~(0x1F);
689 }});
679 0x0B: Trap::fabsq({{fault = new FpExceptionOther;}}); //fpop unimp
680 0x29: fsqrts({{Frds.sf = std::sqrt(Frs2s.sf);}});
681 0x2A: fsqrtd({{Frd.df = std::sqrt(Frs2.df);}});
682 0x2B: Trap::fsqrtq({{fault = new FpExceptionOther;}}); //unimp fpop
690 0x0B: Trap::fabsq({{fault = new FpDisabled;}});
691 0x29: fsqrts({{Frds.sf = sqrt(Frs2s.sf);}});
692 0x2A: fsqrtd({{Frd.df = sqrt(Frs2.df);}});
693 0x2B: Trap::fsqrtq({{fault = new FpDisabled;}});
683 0x41: fadds({{Frds.sf = Frs1s.sf + Frs2s.sf;}});
684 0x42: faddd({{Frd.df = Frs1.df + Frs2.df;}});
694 0x41: fadds({{Frds.sf = Frs1s.sf + Frs2s.sf;}});
695 0x42: faddd({{Frd.df = Frs1.df + Frs2.df;}});
685 0x43: Trap::faddq({{fault = new FpExceptionOther;}}); //unimp fpop
696 0x43: Trap::faddq({{fault = new FpDisabled;}});
686 0x45: fsubs({{Frds.sf = Frs1s.sf - Frs2s.sf;}});
687 0x46: fsubd({{Frd.df = Frs1.df - Frs2.df;}});
697 0x45: fsubs({{Frds.sf = Frs1s.sf - Frs2s.sf;}});
698 0x46: fsubd({{Frd.df = Frs1.df - Frs2.df;}});
688 0x47: Trap::fsubq({{fault = new FpExceptionOther;}}); //unimp fpop
699 0x47: Trap::fsubq({{fault = new FpDisabled;}});
689 0x49: fmuls({{Frds.sf = Frs1s.sf * Frs2s.sf;}});
690 0x4A: fmuld({{Frd.df = Frs1.df * Frs2.df;}});
700 0x49: fmuls({{Frds.sf = Frs1s.sf * Frs2s.sf;}});
701 0x4A: fmuld({{Frd.df = Frs1.df * Frs2.df;}});
691 0x4B: Trap::fmulq({{fault = new FpExceptionOther;}}); //unimp fpop
702 0x4B: Trap::fmulq({{fault = new FpDisabled;}});
692 0x4D: fdivs({{Frds.sf = Frs1s.sf / Frs2s.sf;}});
693 0x4E: fdivd({{Frd.df = Frs1.df / Frs2.df;}});
703 0x4D: fdivs({{Frds.sf = Frs1s.sf / Frs2s.sf;}});
704 0x4E: fdivd({{Frd.df = Frs1.df / Frs2.df;}});
694 0x4F: Trap::fdivq({{fault = new FpExceptionOther;}}); //unimp fpop
705 0x4F: Trap::fdivq({{fault = new FpDisabled;}});
695 0x69: fsmuld({{Frd.df = Frs1s.sf * Frs2s.sf;}});
706 0x69: fsmuld({{Frd.df = Frs1s.sf * Frs2s.sf;}});
696 0x6E: Trap::fdmulq({{fault = new FpExceptionOther;}}); //unimp fpop
707 0x6E: Trap::fdmulq({{fault = new FpDisabled;}});
697 0x81: fstox({{
698 Frd.df = (double)static_cast<int64_t>(Frs2s.sf);
699 }});
700 0x82: fdtox({{
701 Frd.df = (double)static_cast<int64_t>(Frs2.df);
702 }});
708 0x81: fstox({{
709 Frd.df = (double)static_cast<int64_t>(Frs2s.sf);
710 }});
711 0x82: fdtox({{
712 Frd.df = (double)static_cast<int64_t>(Frs2.df);
713 }});
703 0x83: Trap::fqtox({{fault = new FpExceptionOther;}}); //unimp fpop
714 0x83: Trap::fqtox({{fault = new FpDisabled;}});
704 0x84: fxtos({{
705 Frds.sf = static_cast<float>((int64_t)Frs2.df);
706 }});
707 0x88: fxtod({{
708 Frd.df = static_cast<double>((int64_t)Frs2.df);
709 }});
715 0x84: fxtos({{
716 Frds.sf = static_cast<float>((int64_t)Frs2.df);
717 }});
718 0x88: fxtod({{
719 Frd.df = static_cast<double>((int64_t)Frs2.df);
720 }});
710 0x8C: Trap::fxtoq({{fault = new FpExceptionOther;}}); //unimp fpop
721 0x8C: Trap::fxtoq({{fault = new FpDisabled;}});
711 0xC4: fitos({{
712 Frds.sf = static_cast<float>((int32_t)Frs2s.sf);
713 }});
714 0xC6: fdtos({{Frds.sf = Frs2.df;}});
722 0xC4: fitos({{
723 Frds.sf = static_cast<float>((int32_t)Frs2s.sf);
724 }});
725 0xC6: fdtos({{Frds.sf = Frs2.df;}});
715 0xC7: Trap::fqtos({{fault = new FpExceptionOther;}}); //unimp fpop
726 0xC7: Trap::fqtos({{fault = new FpDisabled;}});
716 0xC8: fitod({{
717 Frd.df = static_cast<double>((int32_t)Frs2s.sf);
718 }});
719 0xC9: fstod({{Frd.df = Frs2s.sf;}});
727 0xC8: fitod({{
728 Frd.df = static_cast<double>((int32_t)Frs2s.sf);
729 }});
730 0xC9: fstod({{Frd.df = Frs2s.sf;}});
720 0xCB: Trap::fqtod({{fault = new FpExceptionOther;}}); // unimp fpop
721 0xCC: Trap::fitoq({{fault = new FpExceptionOther;}}); // unimp fpop
722 0xCD: Trap::fstoq({{fault = new FpExceptionOther;}}); // unimp fpop
723 0xCE: Trap::fdtoq({{fault = new FpExceptionOther;}}); // unimp fpop
731 0xCB: Trap::fqtod({{fault = new FpDisabled;}});
732 0xCC: Trap::fitoq({{fault = new FpDisabled;}});
733 0xCD: Trap::fstoq({{fault = new FpDisabled;}});
734 0xCE: Trap::fdtoq({{fault = new FpDisabled;}});
724 0xD1: fstoi({{
725 Frds.sf = (float)static_cast<int32_t>(Frs2s.sf);
726 }});
727 0xD2: fdtoi({{
728 Frds.sf = (float)static_cast<int32_t>(Frs2.df);
729 }});
735 0xD1: fstoi({{
736 Frds.sf = (float)static_cast<int32_t>(Frs2s.sf);
737 }});
738 0xD2: fdtoi({{
739 Frds.sf = (float)static_cast<int32_t>(Frs2.df);
740 }});
730 0xD3: Trap::fqtoi({{fault = new FpExceptionOther;}}); // unimp fpop
731 default: FailUnimpl::fpop1();
741 0xD3: Trap::fqtoi({{fault = new FpDisabled;}});
742 default: Trap::fpop1({{fault = new FpDisabled;}});
732 }
733 }
734 0x35: Trap::fpop2({{fault = new FpDisabled;}});
735 //This used to be just impdep1, but now it's a whole bunch
736 //of instructions
737 0x36: decode OPF{
743 }
744 }
745 0x35: Trap::fpop2({{fault = new FpDisabled;}});
746 //This used to be just impdep1, but now it's a whole bunch
747 //of instructions
748 0x36: decode OPF{
738 0x00: FailUnimpl::edge8();
739 0x01: FailUnimpl::edge8n();
740 0x02: FailUnimpl::edge8l();
741 0x03: FailUnimpl::edge8ln();
742 0x04: FailUnimpl::edge16();
743 0x05: FailUnimpl::edge16n();
744 0x06: FailUnimpl::edge16l();
745 0x07: FailUnimpl::edge16ln();
746 0x08: FailUnimpl::edge32();
747 0x09: FailUnimpl::edge32n();
748 0x0A: FailUnimpl::edge32l();
749 0x0B: FailUnimpl::edge32ln();
750 0x10: FailUnimpl::array8();
751 0x12: FailUnimpl::array16();
752 0x14: FailUnimpl::array32();
749 0x00: Trap::edge8({{fault = new IllegalInstruction;}});
750 0x01: Trap::edge8n({{fault = new IllegalInstruction;}});
751 0x02: Trap::edge8l({{fault = new IllegalInstruction;}});
752 0x03: Trap::edge8ln({{fault = new IllegalInstruction;}});
753 0x04: Trap::edge16({{fault = new IllegalInstruction;}});
754 0x05: Trap::edge16n({{fault = new IllegalInstruction;}});
755 0x06: Trap::edge16l({{fault = new IllegalInstruction;}});
756 0x07: Trap::edge16ln({{fault = new IllegalInstruction;}});
757 0x08: Trap::edge32({{fault = new IllegalInstruction;}});
758 0x09: Trap::edge32n({{fault = new IllegalInstruction;}});
759 0x0A: Trap::edge32l({{fault = new IllegalInstruction;}});
760 0x0B: Trap::edge32ln({{fault = new IllegalInstruction;}});
761 0x10: Trap::array8({{fault = new IllegalInstruction;}});
762 0x12: Trap::array16({{fault = new IllegalInstruction;}});
763 0x14: Trap::array32({{fault = new IllegalInstruction;}});
753 0x18: BasicOperate::alignaddr({{
754 uint64_t sum = Rs1 + Rs2;
755 Rd = sum & ~7;
756 Gsr = (Gsr & ~7) | (sum & 7);
757 }});
764 0x18: BasicOperate::alignaddr({{
765 uint64_t sum = Rs1 + Rs2;
766 Rd = sum & ~7;
767 Gsr = (Gsr & ~7) | (sum & 7);
768 }});
758 0x19: FailUnimpl::bmask();
769 0x19: Trap::bmask({{fault = new IllegalInstruction;}});
759 0x1A: BasicOperate::alignaddresslittle({{
760 uint64_t sum = Rs1 + Rs2;
761 Rd = sum & ~7;
762 Gsr = (Gsr & ~7) | ((~sum + 1) & 7);
763 }});
770 0x1A: BasicOperate::alignaddresslittle({{
771 uint64_t sum = Rs1 + Rs2;
772 Rd = sum & ~7;
773 Gsr = (Gsr & ~7) | ((~sum + 1) & 7);
774 }});
764 0x20: FailUnimpl::fcmple16();
765 0x22: FailUnimpl::fcmpne16();
766 0x24: FailUnimpl::fcmple32();
767 0x26: FailUnimpl::fcmpne32();
768 0x28: FailUnimpl::fcmpgt16();
769 0x2A: FailUnimpl::fcmpeq16();
770 0x2C: FailUnimpl::fcmpgt32();
771 0x2E: FailUnimpl::fcmpeq32();
772 0x31: FailUnimpl::fmul8x16();
773 0x33: FailUnimpl::fmul8x16au();
774 0x35: FailUnimpl::fmul8x16al();
775 0x36: FailUnimpl::fmul8sux16();
776 0x37: FailUnimpl::fmul8ulx16();
777 0x38: FailUnimpl::fmuld8sux16();
778 0x39: FailUnimpl::fmuld8ulx16();
775 0x20: Trap::fcmple16({{fault = new IllegalInstruction;}});
776 0x22: Trap::fcmpne16({{fault = new IllegalInstruction;}});
777 0x24: Trap::fcmple32({{fault = new IllegalInstruction;}});
778 0x26: Trap::fcmpne32({{fault = new IllegalInstruction;}});
779 0x28: Trap::fcmpgt16({{fault = new IllegalInstruction;}});
780 0x2A: Trap::fcmpeq16({{fault = new IllegalInstruction;}});
781 0x2C: Trap::fcmpgt32({{fault = new IllegalInstruction;}});
782 0x2E: Trap::fcmpeq32({{fault = new IllegalInstruction;}});
783 0x31: Trap::fmul8x16({{fault = new IllegalInstruction;}});
784 0x33: Trap::fmul8x16au({{fault = new IllegalInstruction;}});
785 0x35: Trap::fmul8x16al({{fault = new IllegalInstruction;}});
786 0x36: Trap::fmul8sux16({{fault = new IllegalInstruction;}});
787 0x37: Trap::fmul8ulx16({{fault = new IllegalInstruction;}});
788 0x38: Trap::fmuld8sux16({{fault = new IllegalInstruction;}});
789 0x39: Trap::fmuld8ulx16({{fault = new IllegalInstruction;}});
779 0x3A: Trap::fpack32({{fault = new IllegalInstruction;}});
780 0x3B: Trap::fpack16({{fault = new IllegalInstruction;}});
781 0x3D: Trap::fpackfix({{fault = new IllegalInstruction;}});
782 0x3E: Trap::pdist({{fault = new IllegalInstruction;}});
783 0x48: BasicOperate::faligndata({{
784 uint64_t msbX = Frs1.udw;
785 uint64_t lsbX = Frs2.udw;
786 //Some special cases need to be split out, first
787 //because they're the most likely to be used, and
788 //second because otherwise, we end up shifting by
789 //greater than the width of the type being shifted,
790 //namely 64, which produces undefined results according
791 //to the C standard.
792 switch(Gsr<2:0>)
793 {
794 case 0:
795 Frd.udw = msbX;
796 break;
797 case 8:
798 Frd.udw = lsbX;
799 break;
800 default:
801 uint64_t msbShift = Gsr<2:0> * 8;
802 uint64_t lsbShift = (8 - Gsr<2:0>) * 8;
803 uint64_t msbMask = ((uint64_t)(-1)) >> msbShift;
804 uint64_t lsbMask = ((uint64_t)(-1)) << lsbShift;
805 Frd.udw = ((msbX & msbMask) << msbShift) |
806 ((lsbX & lsbMask) >> lsbShift);
807 }
808 }});
809 0x4B: Trap::fpmerge({{fault = new IllegalInstruction;}});
790 0x3A: Trap::fpack32({{fault = new IllegalInstruction;}});
791 0x3B: Trap::fpack16({{fault = new IllegalInstruction;}});
792 0x3D: Trap::fpackfix({{fault = new IllegalInstruction;}});
793 0x3E: Trap::pdist({{fault = new IllegalInstruction;}});
794 0x48: BasicOperate::faligndata({{
795 uint64_t msbX = Frs1.udw;
796 uint64_t lsbX = Frs2.udw;
797 //Some special cases need to be split out, first
798 //because they're the most likely to be used, and
799 //second because otherwise, we end up shifting by
800 //greater than the width of the type being shifted,
801 //namely 64, which produces undefined results according
802 //to the C standard.
803 switch(Gsr<2:0>)
804 {
805 case 0:
806 Frd.udw = msbX;
807 break;
808 case 8:
809 Frd.udw = lsbX;
810 break;
811 default:
812 uint64_t msbShift = Gsr<2:0> * 8;
813 uint64_t lsbShift = (8 - Gsr<2:0>) * 8;
814 uint64_t msbMask = ((uint64_t)(-1)) >> msbShift;
815 uint64_t lsbMask = ((uint64_t)(-1)) << lsbShift;
816 Frd.udw = ((msbX & msbMask) << msbShift) |
817 ((lsbX & lsbMask) >> lsbShift);
818 }
819 }});
820 0x4B: Trap::fpmerge({{fault = new IllegalInstruction;}});
810 0x4C: FailUnimpl::bshuffle();
811 0x4D: FailUnimpl::fexpand();
812 0x50: FailUnimpl::fpadd16();
813 0x51: FailUnimpl::fpadd16s();
814 0x52: FailUnimpl::fpadd32();
815 0x53: FailUnimpl::fpadd32s();
816 0x54: FailUnimpl::fpsub16();
817 0x55: FailUnimpl::fpsub16s();
818 0x56: FailUnimpl::fpsub32();
819 0x57: FailUnimpl::fpsub32s();
821 0x4C: Trap::bshuffle({{fault = new IllegalInstruction;}});
822 0x4D: Trap::fexpand({{fault = new IllegalInstruction;}});
823 0x50: Trap::fpadd16({{fault = new IllegalInstruction;}});
824 0x51: Trap::fpadd16s({{fault = new IllegalInstruction;}});
825 0x52: Trap::fpadd32({{fault = new IllegalInstruction;}});
826 0x53: Trap::fpadd32s({{fault = new IllegalInstruction;}});
827 0x54: Trap::fpsub16({{fault = new IllegalInstruction;}});
828 0x55: Trap::fpsub16s({{fault = new IllegalInstruction;}});
829 0x56: Trap::fpsub32({{fault = new IllegalInstruction;}});
830 0x57: Trap::fpsub32s({{fault = new IllegalInstruction;}});
820 0x60: BasicOperate::fzero({{Frd.df = 0;}});
821 0x61: BasicOperate::fzeros({{Frds.sf = 0;}});
831 0x60: BasicOperate::fzero({{Frd.df = 0;}});
832 0x61: BasicOperate::fzeros({{Frds.sf = 0;}});
822 0x62: FailUnimpl::fnor();
823 0x63: FailUnimpl::fnors();
824 0x64: FailUnimpl::fandnot2();
825 0x65: FailUnimpl::fandnot2s();
833 0x62: Trap::fnor({{fault = new IllegalInstruction;}});
834 0x63: Trap::fnors({{fault = new IllegalInstruction;}});
835 0x64: Trap::fandnot2({{fault = new IllegalInstruction;}});
836 0x65: Trap::fandnot2s({{fault = new IllegalInstruction;}});
826 0x66: BasicOperate::fnot2({{
827 Frd.df = (double)(~((uint64_t)Frs2.df));
828 }});
829 0x67: BasicOperate::fnot2s({{
830 Frds.sf = (float)(~((uint32_t)Frs2s.sf));
831 }});
837 0x66: BasicOperate::fnot2({{
838 Frd.df = (double)(~((uint64_t)Frs2.df));
839 }});
840 0x67: BasicOperate::fnot2s({{
841 Frds.sf = (float)(~((uint32_t)Frs2s.sf));
842 }});
832 0x68: FailUnimpl::fandnot1();
833 0x69: FailUnimpl::fandnot1s();
843 0x68: Trap::fandnot1({{fault = new IllegalInstruction;}});
844 0x69: Trap::fandnot1s({{fault = new IllegalInstruction;}});
834 0x6A: BasicOperate::fnot1({{
835 Frd.df = (double)(~((uint64_t)Frs1.df));
836 }});
837 0x6B: BasicOperate::fnot1s({{
838 Frds.sf = (float)(~((uint32_t)Frs1s.sf));
839 }});
845 0x6A: BasicOperate::fnot1({{
846 Frd.df = (double)(~((uint64_t)Frs1.df));
847 }});
848 0x6B: BasicOperate::fnot1s({{
849 Frds.sf = (float)(~((uint32_t)Frs1s.sf));
850 }});
840 0x6C: FailUnimpl::fxor();
841 0x6D: FailUnimpl::fxors();
842 0x6E: FailUnimpl::fnand();
843 0x6F: FailUnimpl::fnands();
844 0x70: FailUnimpl::fand();
845 0x71: FailUnimpl::fands();
846 0x72: FailUnimpl::fxnor();
847 0x73: FailUnimpl::fxnors();
851 0x6C: Trap::fxor({{fault = new IllegalInstruction;}});
852 0x6D: Trap::fxors({{fault = new IllegalInstruction;}});
853 0x6E: Trap::fnand({{fault = new IllegalInstruction;}});
854 0x6F: Trap::fnands({{fault = new IllegalInstruction;}});
855 0x70: Trap::fand({{fault = new IllegalInstruction;}});
856 0x71: Trap::fands({{fault = new IllegalInstruction;}});
857 0x72: Trap::fxnor({{fault = new IllegalInstruction;}});
858 0x73: Trap::fxnors({{fault = new IllegalInstruction;}});
848 0x74: BasicOperate::fsrc1({{Frd.udw = Frs1.udw;}});
859 0x74: BasicOperate::fsrc1({{Frd.udw = Frs1.udw;}});
849 0x75: BasicOperate::fsrc1s({{Frds.uw = Frs1s.uw;}});
850 0x76: FailUnimpl::fornot2();
851 0x77: FailUnimpl::fornot2s();
860 0x75: BasicOperate::fsrc1s({{Frd.uw = Frs1.uw;}});
861 0x76: Trap::fornot2({{fault = new IllegalInstruction;}});
862 0x77: Trap::fornot2s({{fault = new IllegalInstruction;}});
852 0x78: BasicOperate::fsrc2({{Frd.udw = Frs2.udw;}});
863 0x78: BasicOperate::fsrc2({{Frd.udw = Frs2.udw;}});
853 0x79: BasicOperate::fsrc2s({{Frds.uw = Frs2s.uw;}});
854 0x7A: FailUnimpl::fornot1();
855 0x7B: FailUnimpl::fornot1s();
856 0x7C: FailUnimpl::for();
857 0x7D: FailUnimpl::fors();
858 0x7E: BasicOperate::fone({{Frd.udw = std::numeric_limits<uint64_t>::max();}});
859 0x7F: BasicOperate::fones({{Frds.uw = std::numeric_limits<uint32_t>::max();}});
864 0x79: BasicOperate::fsrc2s({{Frd.uw = Frs2.uw;}});
865 0x7A: Trap::fornot1({{fault = new IllegalInstruction;}});
866 0x7B: Trap::fornot1s({{fault = new IllegalInstruction;}});
867 0x7C: Trap::for({{fault = new IllegalInstruction;}});
868 0x7D: Trap::fors({{fault = new IllegalInstruction;}});
869 0x7E: Trap::fone({{fault = new IllegalInstruction;}});
870 0x7F: Trap::fones({{fault = new IllegalInstruction;}});
860 0x80: Trap::shutdown({{fault = new IllegalInstruction;}});
871 0x80: Trap::shutdown({{fault = new IllegalInstruction;}});
861 0x81: FailUnimpl::siam();
872 0x81: Trap::siam({{fault = new IllegalInstruction;}});
862 }
863 0x37: Trap::impdep2({{fault = new IllegalInstruction;}});
864 0x38: Branch::jmpl({{
865 Addr target = Rs1 + Rs2_or_imm13;
866 if(target & 0x3)
867 fault = new MemAddressNotAligned;
868 else
869 {
873 }
874 0x37: Trap::impdep2({{fault = new IllegalInstruction;}});
875 0x38: Branch::jmpl({{
876 Addr target = Rs1 + Rs2_or_imm13;
877 if(target & 0x3)
878 fault = new MemAddressNotAligned;
879 else
880 {
870 if (Pstate<3:>)
871 Rd = (xc->readPC())<31:0>;
872 else
873 Rd = xc->readPC();
881 Rd = xc->readPC();
874 NNPC = target;
875 }
876 }});
877 0x39: Branch::return({{
882 NNPC = target;
883 }
884 }});
885 0x39: Branch::return({{
878 //If both MemAddressNotAligned and
879 //a fill trap happen, it's not clear
880 //which one should be returned.
881 Addr target = Rs1 + Rs2_or_imm13;
886 Addr target = Rs1 + Rs2_or_imm13;
882 if(target & 0x3)
883 fault = new MemAddressNotAligned;
884 else
885 NNPC = target;
886 if(fault == NoFault)
887 {
887 if(fault == NoFault)
888 {
889 //Check for fills which are higher priority than alignment
890 //faults.
888 if(Canrestore == 0)
889 {
890 if(Otherwin)
891 if(Canrestore == 0)
892 {
893 if(Otherwin)
891 fault = new FillNOther(4*Wstate<5:3>);
894 fault = new FillNOther(Wstate<5:3>);
892 else
895 else
893 fault = new FillNNormal(4*Wstate<2:0>);
896 fault = new FillNNormal(Wstate<2:0>);
894 }
897 }
898 //Check for alignment faults
899 else if(target & 0x3)
900 fault = new MemAddressNotAligned;
895 else
896 {
901 else
902 {
897 //CWP should be set directly so that it always happens
898 //Also, this will allow writing to the new window and
899 //reading from the old one
903 NNPC = target;
900 Cwp = (Cwp - 1 + NWindows) % NWindows;
901 Cansave = Cansave + 1;
902 Canrestore = Canrestore - 1;
904 Cwp = (Cwp - 1 + NWindows) % NWindows;
905 Cansave = Cansave + 1;
906 Canrestore = Canrestore - 1;
903 //This is here to make sure the CWP is written
904 //no matter what. This ensures that the results
905 //are written in the new window as well.
906 xc->setMiscRegWithEffect(MISCREG_CWP, Cwp);
907 }
908 }
909 }});
910 0x3A: decode CC
911 {
912 0x0: Trap::tcci({{
913 if(passesCondition(Ccr<3:0>, COND2))
914 {
915#if FULL_SYSTEM
916 int lTrapNum = I ? (Rs1 + SW_TRAP) : (Rs1 + Rs2);
917 DPRINTF(Sparc, "The trap number is %d\n", lTrapNum);
918 fault = new TrapInstruction(lTrapNum);
919#else
920 DPRINTF(Sparc, "The syscall number is %d\n", R1);
921 xc->syscall(R1);
922#endif
923 }
907 }
908 }
909 }});
910 0x3A: decode CC
911 {
912 0x0: Trap::tcci({{
913 if(passesCondition(Ccr<3:0>, COND2))
914 {
915#if FULL_SYSTEM
916 int lTrapNum = I ? (Rs1 + SW_TRAP) : (Rs1 + Rs2);
917 DPRINTF(Sparc, "The trap number is %d\n", lTrapNum);
918 fault = new TrapInstruction(lTrapNum);
919#else
920 DPRINTF(Sparc, "The syscall number is %d\n", R1);
921 xc->syscall(R1);
922#endif
923 }
924 }});
924 }}, IsSerializeAfter, IsNonSpeculative);
925 0x2: Trap::tccx({{
926 if(passesCondition(Ccr<7:4>, COND2))
927 {
928#if FULL_SYSTEM
929 int lTrapNum = I ? (Rs1 + SW_TRAP) : (Rs1 + Rs2);
930 DPRINTF(Sparc, "The trap number is %d\n", lTrapNum);
931 fault = new TrapInstruction(lTrapNum);
932#else
933 DPRINTF(Sparc, "The syscall number is %d\n", R1);
934 xc->syscall(R1);
935#endif
936 }
925 0x2: Trap::tccx({{
926 if(passesCondition(Ccr<7:4>, COND2))
927 {
928#if FULL_SYSTEM
929 int lTrapNum = I ? (Rs1 + SW_TRAP) : (Rs1 + Rs2);
930 DPRINTF(Sparc, "The trap number is %d\n", lTrapNum);
931 fault = new TrapInstruction(lTrapNum);
932#else
933 DPRINTF(Sparc, "The syscall number is %d\n", R1);
934 xc->syscall(R1);
935#endif
936 }
937 }});
937 }}, IsSerializeAfter, IsNonSpeculative);
938 }
939 0x3B: Nop::flush({{/*Instruction memory flush*/}});
940 0x3C: save({{
938 }
939 0x3B: Nop::flush({{/*Instruction memory flush*/}});
940 0x3C: save({{
941 //CWP should be set directly so that it always happens
942 //Also, this will allow writing to the new window and
943 //reading from the old one
944 if(Cansave == 0)
945 {
946 if(Otherwin)
941 if(Cansave == 0)
942 {
943 if(Otherwin)
947 fault = new SpillNOther(4*Wstate<5:3>);
944 fault = new SpillNOther(Wstate<5:3>);
948 else
945 else
949 fault = new SpillNNormal(4*Wstate<2:0>);
950 //Cwp = (Cwp + 2) % NWindows;
946 fault = new SpillNNormal(Wstate<2:0>);
951 }
952 else if(Cleanwin - Canrestore == 0)
953 {
947 }
948 else if(Cleanwin - Canrestore == 0)
949 {
954 //Cwp = (Cwp + 1) % NWindows;
955 fault = new CleanWindow;
956 }
957 else
958 {
959 Cwp = (Cwp + 1) % NWindows;
950 fault = new CleanWindow;
951 }
952 else
953 {
954 Cwp = (Cwp + 1) % NWindows;
960 Rd = Rs1 + Rs2_or_imm13;
955 Rd_next = Rs1 + Rs2_or_imm13;
961 Cansave = Cansave - 1;
962 Canrestore = Canrestore + 1;
956 Cansave = Cansave - 1;
957 Canrestore = Canrestore + 1;
963 //This is here to make sure the CWP is written
964 //no matter what. This ensures that the results
965 //are written in the new window as well.
966 xc->setMiscRegWithEffect(MISCREG_CWP, Cwp);
967 }
968 }});
969 0x3D: restore({{
970 if(Canrestore == 0)
971 {
972 if(Otherwin)
958 }
959 }});
960 0x3D: restore({{
961 if(Canrestore == 0)
962 {
963 if(Otherwin)
973 fault = new FillNOther(4*Wstate<5:3>);
964 fault = new FillNOther(Wstate<5:3>);
974 else
965 else
975 fault = new FillNNormal(4*Wstate<2:0>);
966 fault = new FillNNormal(Wstate<2:0>);
976 }
977 else
978 {
967 }
968 else
969 {
979 //CWP should be set directly so that it always happens
980 //Also, this will allow writing to the new window and
981 //reading from the old one
982 Cwp = (Cwp - 1 + NWindows) % NWindows;
970 Cwp = (Cwp - 1 + NWindows) % NWindows;
983 Rd = Rs1 + Rs2_or_imm13;
971 Rd_prev = Rs1 + Rs2_or_imm13;
984 Cansave = Cansave + 1;
985 Canrestore = Canrestore - 1;
972 Cansave = Cansave + 1;
973 Canrestore = Canrestore - 1;
986 //This is here to make sure the CWP is written
987 //no matter what. This ensures that the results
988 //are written in the new window as well.
989 xc->setMiscRegWithEffect(MISCREG_CWP, Cwp);
990 }
991 }});
992 0x3E: decode FCN {
993 0x0: Priv::done({{
994 if(Tl == 0)
995 return new IllegalInstruction;
996
997 Cwp = Tstate<4:0>;
998 Pstate = Tstate<20:8>;
999 Asi = Tstate<31:24>;
1000 Ccr = Tstate<39:32>;
1001 Gl = Tstate<42:40>;
1002 Hpstate = Htstate;
1003 NPC = Tnpc;
1004 NNPC = Tnpc + 4;
1005 Tl = Tl - 1;
1006 }});
1007 0x1: Priv::retry({{
1008 if(Tl == 0)
1009 return new IllegalInstruction;
1010 Cwp = Tstate<4:0>;
1011 Pstate = Tstate<20:8>;
1012 Asi = Tstate<31:24>;
1013 Ccr = Tstate<39:32>;
1014 Gl = Tstate<42:40>;
1015 Hpstate = Htstate;
1016 NPC = Tpc;
1017 NNPC = Tnpc;
1018 Tl = Tl - 1;
1019 }});
1020 }
1021 }
1022 }
1023 0x3: decode OP3 {
1024 format Load {
1025 0x00: lduw({{Rd = Mem.uw;}});
1026 0x01: ldub({{Rd = Mem.ub;}});
1027 0x02: lduh({{Rd = Mem.uhw;}});
974 }
975 }});
976 0x3E: decode FCN {
977 0x0: Priv::done({{
978 if(Tl == 0)
979 return new IllegalInstruction;
980
981 Cwp = Tstate<4:0>;
982 Pstate = Tstate<20:8>;
983 Asi = Tstate<31:24>;
984 Ccr = Tstate<39:32>;
985 Gl = Tstate<42:40>;
986 Hpstate = Htstate;
987 NPC = Tnpc;
988 NNPC = Tnpc + 4;
989 Tl = Tl - 1;
990 }});
991 0x1: Priv::retry({{
992 if(Tl == 0)
993 return new IllegalInstruction;
994 Cwp = Tstate<4:0>;
995 Pstate = Tstate<20:8>;
996 Asi = Tstate<31:24>;
997 Ccr = Tstate<39:32>;
998 Gl = Tstate<42:40>;
999 Hpstate = Htstate;
1000 NPC = Tpc;
1001 NNPC = Tnpc;
1002 Tl = Tl - 1;
1003 }});
1004 }
1005 }
1006 }
1007 0x3: decode OP3 {
1008 format Load {
1009 0x00: lduw({{Rd = Mem.uw;}});
1010 0x01: ldub({{Rd = Mem.ub;}});
1011 0x02: lduh({{Rd = Mem.uhw;}});
1028 0x03: ldtw({{
1012 0x03: ldd({{
1029 uint64_t val = Mem.udw;
1030 RdLow = val<31:0>;
1031 RdHigh = val<63:32>;
1032 }});
1033 }
1034 format Store {
1035 0x04: stw({{Mem.uw = Rd.sw;}});
1036 0x05: stb({{Mem.ub = Rd.sb;}});
1037 0x06: sth({{Mem.uhw = Rd.shw;}});
1013 uint64_t val = Mem.udw;
1014 RdLow = val<31:0>;
1015 RdHigh = val<63:32>;
1016 }});
1017 }
1018 format Store {
1019 0x04: stw({{Mem.uw = Rd.sw;}});
1020 0x05: stb({{Mem.ub = Rd.sb;}});
1021 0x06: sth({{Mem.uhw = Rd.shw;}});
1038 0x07: sttw({{Mem.udw = RdLow<31:0> | (RdHigh<31:0> << 32);}});
1022 0x07: std({{Mem.udw = RdLow<31:0> | (RdHigh<31:0> << 32);}});
1039 }
1040 format Load {
1041 0x08: ldsw({{Rd = (int32_t)Mem.sw;}});
1042 0x09: ldsb({{Rd = (int8_t)Mem.sb;}});
1043 0x0A: ldsh({{Rd = (int16_t)Mem.shw;}});
1044 0x0B: ldx({{Rd = (int64_t)Mem.sdw;}});
1045 }
1046 0x0D: LoadStore::ldstub(
1023 }
1024 format Load {
1025 0x08: ldsw({{Rd = (int32_t)Mem.sw;}});
1026 0x09: ldsb({{Rd = (int8_t)Mem.sb;}});
1027 0x0A: ldsh({{Rd = (int16_t)Mem.shw;}});
1028 0x0B: ldx({{Rd = (int64_t)Mem.sdw;}});
1029 }
1030 0x0D: LoadStore::ldstub(
1047 {{uReg0 = Mem.ub;}},
1048 {{Rd.ub = uReg0;
1049 Mem.ub = 0xFF;}});
1031 {{Rd = Mem.ub;}},
1032 {{Mem.ub = 0xFF;}});
1050 0x0E: Store::stx({{Mem.udw = Rd}});
1051 0x0F: LoadStore::swap(
1033 0x0E: Store::stx({{Mem.udw = Rd}});
1034 0x0F: LoadStore::swap(
1052 {{ uReg0 = Mem.uw}},
1053 {{ Mem.uw = Rd.uw;
1054 Rd.uw = uReg0;}});
1035 {{uReg0 = Rd.uw;
1036 Rd.uw = Mem.uw;}},
1037 {{Mem.uw = uReg0;}});
1055 format LoadAlt {
1056 0x10: lduwa({{Rd = Mem.uw;}}, {{EXT_ASI}});
1057 0x11: lduba({{Rd = Mem.ub;}}, {{EXT_ASI}});
1058 0x12: lduha({{Rd = Mem.uhw;}}, {{EXT_ASI}});
1038 format LoadAlt {
1039 0x10: lduwa({{Rd = Mem.uw;}}, {{EXT_ASI}});
1040 0x11: lduba({{Rd = Mem.ub;}}, {{EXT_ASI}});
1041 0x12: lduha({{Rd = Mem.uhw;}}, {{EXT_ASI}});
1059 0x13: decode EXT_ASI {
1060 //ASI_LDTD_AIUP
1061 0x22: TwinLoad::ldtx_aiup(
1062 {{RdTwin.udw = Mem.udw;}}, {{EXT_ASI}});
1063 //ASI_LDTD_AIUS
1064 0x23: TwinLoad::ldtx_aius(
1065 {{RdTwin.udw = Mem.udw;}}, {{EXT_ASI}});
1066 //ASI_QUAD_LDD
1067 0x24: TwinLoad::ldtx_quad_ldd(
1068 {{RdTwin.udw = Mem.udw;}}, {{EXT_ASI}});
1069 //ASI_LDTX_REAL
1070 0x26: TwinLoad::ldtx_real(
1071 {{RdTwin.udw = Mem.udw;}}, {{EXT_ASI}});
1072 //ASI_LDTX_N
1073 0x27: TwinLoad::ldtx_n(
1074 {{RdTwin.udw = Mem.udw;}}, {{EXT_ASI}});
1075 //ASI_LDTX_L
1076 0x2C: TwinLoad::ldtx_l(
1077 {{RdTwin.udw = Mem.udw;}}, {{EXT_ASI}});
1078 //ASI_LDTX_REAL_L
1079 0x2E: TwinLoad::ldtx_real_l(
1080 {{RdTwin.udw = Mem.udw;}}, {{EXT_ASI}});
1081 //ASI_LDTX_N_L
1082 0x2F: TwinLoad::ldtx_n_l(
1083 {{RdTwin.udw = Mem.udw;}}, {{EXT_ASI}});
1084 //ASI_LDTX_P
1085 0xE2: TwinLoad::ldtx_p(
1086 {{RdTwin.udw = Mem.udw;}}, {{EXT_ASI}});
1087 //ASI_LDTX_S
1088 0xE3: TwinLoad::ldtx_s(
1089 {{RdTwin.udw = Mem.udw;}}, {{EXT_ASI}});
1090 default: ldtwa({{
1091 uint64_t val = Mem.udw;
1092 RdLow = val<31:0>;
1093 RdHigh = val<63:32>;
1094 }}, {{EXT_ASI}});
1095 }
1042 0x13: ldda({{
1043 uint64_t val = Mem.udw;
1044 RdLow = val<31:0>;
1045 RdHigh = val<63:32>;
1046 }}, {{EXT_ASI}});
1096 }
1097 format StoreAlt {
1098 0x14: stwa({{Mem.uw = Rd;}}, {{EXT_ASI}});
1099 0x15: stba({{Mem.ub = Rd;}}, {{EXT_ASI}});
1100 0x16: stha({{Mem.uhw = Rd;}}, {{EXT_ASI}});
1047 }
1048 format StoreAlt {
1049 0x14: stwa({{Mem.uw = Rd;}}, {{EXT_ASI}});
1050 0x15: stba({{Mem.ub = Rd;}}, {{EXT_ASI}});
1051 0x16: stha({{Mem.uhw = Rd;}}, {{EXT_ASI}});
1101 0x17: sttwa({{Mem.udw = RdLow<31:0> | RdHigh<31:0> << 32;}}, {{EXT_ASI}});
1052 0x17: stda({{Mem.udw = RdLow<31:0> | RdHigh<31:0> << 32;}}, {{EXT_ASI}});
1102 }
1103 format LoadAlt {
1104 0x18: ldswa({{Rd = (int32_t)Mem.sw;}}, {{EXT_ASI}});
1105 0x19: ldsba({{Rd = (int8_t)Mem.sb;}}, {{EXT_ASI}});
1106 0x1A: ldsha({{Rd = (int16_t)Mem.shw;}}, {{EXT_ASI}});
1107 0x1B: ldxa({{Rd = (int64_t)Mem.sdw;}}, {{EXT_ASI}});
1108 }
1109 0x1D: LoadStoreAlt::ldstuba(
1053 }
1054 format LoadAlt {
1055 0x18: ldswa({{Rd = (int32_t)Mem.sw;}}, {{EXT_ASI}});
1056 0x19: ldsba({{Rd = (int8_t)Mem.sb;}}, {{EXT_ASI}});
1057 0x1A: ldsha({{Rd = (int16_t)Mem.shw;}}, {{EXT_ASI}});
1058 0x1B: ldxa({{Rd = (int64_t)Mem.sdw;}}, {{EXT_ASI}});
1059 }
1060 0x1D: LoadStoreAlt::ldstuba(
1110 {{uReg0 = Mem.ub;}},
1111 {{Rd.ub = uReg0;
1112 Mem.ub = 0xFF;}}, {{EXT_ASI}});
1061 {{Rd = Mem.ub;}},
1062 {{Mem.ub = 0xFF}}, {{EXT_ASI}});
1113 0x1E: StoreAlt::stxa({{Mem.udw = Rd}}, {{EXT_ASI}});
1114 0x1F: LoadStoreAlt::swapa(
1063 0x1E: StoreAlt::stxa({{Mem.udw = Rd}}, {{EXT_ASI}});
1064 0x1F: LoadStoreAlt::swapa(
1115 {{ uReg0 = Mem.uw}},
1116 {{ Mem.uw = Rd.uw;
1117 Rd.uw = uReg0;}}, {{EXT_ASI}});
1065 {{uReg0 = Rd.uw;
1066 Rd.uw = Mem.uw;}},
1067 {{Mem.uw = uReg0;}}, {{EXT_ASI}});
1118 format Trap {
1068 format Trap {
1119 0x20: Load::ldf({{Frds.uw = Mem.uw;}});
1069 0x20: Load::ldf({{Frd.uw = Mem.uw;}});
1120 0x21: decode X {
1121 0x0: Load::ldfsr({{Fsr = Mem.uw | Fsr<63:32>;}});
1122 0x1: Load::ldxfsr({{Fsr = Mem.udw;}});
1123 }
1124 0x22: ldqf({{fault = new FpDisabled;}});
1125 0x23: Load::lddf({{Frd.udw = Mem.udw;}});
1070 0x21: decode X {
1071 0x0: Load::ldfsr({{Fsr = Mem.uw | Fsr<63:32>;}});
1072 0x1: Load::ldxfsr({{Fsr = Mem.udw;}});
1073 }
1074 0x22: ldqf({{fault = new FpDisabled;}});
1075 0x23: Load::lddf({{Frd.udw = Mem.udw;}});
1126 0x24: Store::stf({{Mem.uw = Frds.uw;}});
1076 0x24: Store::stf({{Mem.uw = Frd.uw;}});
1127 0x25: decode X {
1128 0x0: Store::stfsr({{Mem.uw = Fsr<31:0>;}});
1129 0x1: Store::stxfsr({{Mem.udw = Fsr;}});
1130 }
1131 0x26: stqf({{fault = new FpDisabled;}});
1132 0x27: Store::stdf({{Mem.udw = Frd.udw;}});
1133 0x2D: Nop::prefetch({{ }});
1077 0x25: decode X {
1078 0x0: Store::stfsr({{Mem.uw = Fsr<31:0>;}});
1079 0x1: Store::stxfsr({{Mem.udw = Fsr;}});
1080 }
1081 0x26: stqf({{fault = new FpDisabled;}});
1082 0x27: Store::stdf({{Mem.udw = Frd.udw;}});
1083 0x2D: Nop::prefetch({{ }});
1134 0x30: LoadAlt::ldfa({{Frds.uw = Mem.uw;}}, {{EXT_ASI}});
1084 0x30: LoadAlt::ldfa({{Frd.uw = Mem.uw;}}, {{EXT_ASI}});
1135 0x32: ldqfa({{fault = new FpDisabled;}});
1136 format LoadAlt {
1137 0x33: decode EXT_ASI {
1138 //ASI_NUCLEUS
1139 0x04: FailUnimpl::lddfa_n();
1140 //ASI_NUCLEUS_LITTLE
1141 0x0C: FailUnimpl::lddfa_nl();
1142 //ASI_AS_IF_USER_PRIMARY
1143 0x10: FailUnimpl::lddfa_aiup();
1144 //ASI_AS_IF_USER_PRIMARY_LITTLE
1145 0x18: FailUnimpl::lddfa_aiupl();
1146 //ASI_AS_IF_USER_SECONDARY
1147 0x11: FailUnimpl::lddfa_aius();
1148 //ASI_AS_IF_USER_SECONDARY_LITTLE
1149 0x19: FailUnimpl::lddfa_aiusl();
1150 //ASI_REAL
1151 0x14: FailUnimpl::lddfa_real();
1152 //ASI_REAL_LITTLE
1153 0x1C: FailUnimpl::lddfa_real_l();
1154 //ASI_REAL_IO
1155 0x15: FailUnimpl::lddfa_real_io();
1156 //ASI_REAL_IO_LITTLE
1157 0x1D: FailUnimpl::lddfa_real_io_l();
1158 //ASI_PRIMARY
1159 0x80: FailUnimpl::lddfa_p();
1160 //ASI_PRIMARY_LITTLE
1161 0x88: FailUnimpl::lddfa_pl();
1162 //ASI_SECONDARY
1163 0x81: FailUnimpl::lddfa_s();
1164 //ASI_SECONDARY_LITTLE
1165 0x89: FailUnimpl::lddfa_sl();
1166 //ASI_PRIMARY_NO_FAULT
1167 0x82: FailUnimpl::lddfa_pnf();
1168 //ASI_PRIMARY_NO_FAULT_LITTLE
1169 0x8A: FailUnimpl::lddfa_pnfl();
1170 //ASI_SECONDARY_NO_FAULT
1171 0x83: FailUnimpl::lddfa_snf();
1172 //ASI_SECONDARY_NO_FAULT_LITTLE
1173 0x8B: FailUnimpl::lddfa_snfl();
1174
1175 format BlockLoad {
1176 // LDBLOCKF
1177 //ASI_BLOCK_AS_IF_USER_PRIMARY
1178 0x16: FailUnimpl::ldblockf_aiup();
1179 //ASI_BLOCK_AS_IF_USER_SECONDARY
1180 0x17: FailUnimpl::ldblockf_aius();
1181 //ASI_BLOCK_AS_IF_USER_PRIMARY_LITTLE
1182 0x1E: FailUnimpl::ldblockf_aiupl();
1183 //ASI_BLOCK_AS_IF_USER_SECONDARY_LITTLE
1184 0x1F: FailUnimpl::ldblockf_aiusl();
1185 //ASI_BLOCK_PRIMARY
1186 0xF0: ldblockf_p({{Frd_N.udw = Mem.udw;}}, {{EXT_ASI}});
1187 //ASI_BLOCK_SECONDARY
1188 0xF1: FailUnimpl::ldblockf_s();
1189 //ASI_BLOCK_PRIMARY_LITTLE
1190 0xF8: FailUnimpl::ldblockf_pl();
1191 //ASI_BLOCK_SECONDARY_LITTLE
1192 0xF9: FailUnimpl::ldblockf_sl();
1193 }
1194
1195 //LDSHORTF
1196 //ASI_FL8_PRIMARY
1197 0xD0: FailUnimpl::ldshortf_8p();
1198 //ASI_FL8_SECONDARY
1199 0xD1: FailUnimpl::ldshortf_8s();
1200 //ASI_FL8_PRIMARY_LITTLE
1201 0xD8: FailUnimpl::ldshortf_8pl();
1202 //ASI_FL8_SECONDARY_LITTLE
1203 0xD9: FailUnimpl::ldshortf_8sl();
1204 //ASI_FL16_PRIMARY
1205 0xD2: FailUnimpl::ldshortf_16p();
1206 //ASI_FL16_SECONDARY
1207 0xD3: FailUnimpl::ldshortf_16s();
1208 //ASI_FL16_PRIMARY_LITTLE
1209 0xDA: FailUnimpl::ldshortf_16pl();
1210 //ASI_FL16_SECONDARY_LITTLE
1211 0xDB: FailUnimpl::ldshortf_16sl();
1212 //Not an ASI which is legal with lddfa
1213 default: Trap::lddfa_bad_asi(
1214 {{fault = new DataAccessException;}});
1215 }
1216 }
1085 0x32: ldqfa({{fault = new FpDisabled;}});
1086 format LoadAlt {
1087 0x33: decode EXT_ASI {
1088 //ASI_NUCLEUS
1089 0x04: FailUnimpl::lddfa_n();
1090 //ASI_NUCLEUS_LITTLE
1091 0x0C: FailUnimpl::lddfa_nl();
1092 //ASI_AS_IF_USER_PRIMARY
1093 0x10: FailUnimpl::lddfa_aiup();
1094 //ASI_AS_IF_USER_PRIMARY_LITTLE
1095 0x18: FailUnimpl::lddfa_aiupl();
1096 //ASI_AS_IF_USER_SECONDARY
1097 0x11: FailUnimpl::lddfa_aius();
1098 //ASI_AS_IF_USER_SECONDARY_LITTLE
1099 0x19: FailUnimpl::lddfa_aiusl();
1100 //ASI_REAL
1101 0x14: FailUnimpl::lddfa_real();
1102 //ASI_REAL_LITTLE
1103 0x1C: FailUnimpl::lddfa_real_l();
1104 //ASI_REAL_IO
1105 0x15: FailUnimpl::lddfa_real_io();
1106 //ASI_REAL_IO_LITTLE
1107 0x1D: FailUnimpl::lddfa_real_io_l();
1108 //ASI_PRIMARY
1109 0x80: FailUnimpl::lddfa_p();
1110 //ASI_PRIMARY_LITTLE
1111 0x88: FailUnimpl::lddfa_pl();
1112 //ASI_SECONDARY
1113 0x81: FailUnimpl::lddfa_s();
1114 //ASI_SECONDARY_LITTLE
1115 0x89: FailUnimpl::lddfa_sl();
1116 //ASI_PRIMARY_NO_FAULT
1117 0x82: FailUnimpl::lddfa_pnf();
1118 //ASI_PRIMARY_NO_FAULT_LITTLE
1119 0x8A: FailUnimpl::lddfa_pnfl();
1120 //ASI_SECONDARY_NO_FAULT
1121 0x83: FailUnimpl::lddfa_snf();
1122 //ASI_SECONDARY_NO_FAULT_LITTLE
1123 0x8B: FailUnimpl::lddfa_snfl();
1124
1125 format BlockLoad {
1126 // LDBLOCKF
1127 //ASI_BLOCK_AS_IF_USER_PRIMARY
1128 0x16: FailUnimpl::ldblockf_aiup();
1129 //ASI_BLOCK_AS_IF_USER_SECONDARY
1130 0x17: FailUnimpl::ldblockf_aius();
1131 //ASI_BLOCK_AS_IF_USER_PRIMARY_LITTLE
1132 0x1E: FailUnimpl::ldblockf_aiupl();
1133 //ASI_BLOCK_AS_IF_USER_SECONDARY_LITTLE
1134 0x1F: FailUnimpl::ldblockf_aiusl();
1135 //ASI_BLOCK_PRIMARY
1136 0xF0: ldblockf_p({{Frd_N.udw = Mem.udw;}}, {{EXT_ASI}});
1137 //ASI_BLOCK_SECONDARY
1138 0xF1: FailUnimpl::ldblockf_s();
1139 //ASI_BLOCK_PRIMARY_LITTLE
1140 0xF8: FailUnimpl::ldblockf_pl();
1141 //ASI_BLOCK_SECONDARY_LITTLE
1142 0xF9: FailUnimpl::ldblockf_sl();
1143 }
1144
1145 //LDSHORTF
1146 //ASI_FL8_PRIMARY
1147 0xD0: FailUnimpl::ldshortf_8p();
1148 //ASI_FL8_SECONDARY
1149 0xD1: FailUnimpl::ldshortf_8s();
1150 //ASI_FL8_PRIMARY_LITTLE
1151 0xD8: FailUnimpl::ldshortf_8pl();
1152 //ASI_FL8_SECONDARY_LITTLE
1153 0xD9: FailUnimpl::ldshortf_8sl();
1154 //ASI_FL16_PRIMARY
1155 0xD2: FailUnimpl::ldshortf_16p();
1156 //ASI_FL16_SECONDARY
1157 0xD3: FailUnimpl::ldshortf_16s();
1158 //ASI_FL16_PRIMARY_LITTLE
1159 0xDA: FailUnimpl::ldshortf_16pl();
1160 //ASI_FL16_SECONDARY_LITTLE
1161 0xDB: FailUnimpl::ldshortf_16sl();
1162 //Not an ASI which is legal with lddfa
1163 default: Trap::lddfa_bad_asi(
1164 {{fault = new DataAccessException;}});
1165 }
1166 }
1217 0x34: Store::stfa({{Mem.uw = Frds.uw;}});
1167 0x34: Store::stfa({{Mem.uw = Frd.uw;}});
1218 0x36: stqfa({{fault = new FpDisabled;}});
1219 format StoreAlt {
1220 0x37: decode EXT_ASI {
1221 //ASI_NUCLEUS
1222 0x04: FailUnimpl::stdfa_n();
1223 //ASI_NUCLEUS_LITTLE
1224 0x0C: FailUnimpl::stdfa_nl();
1225 //ASI_AS_IF_USER_PRIMARY
1226 0x10: FailUnimpl::stdfa_aiup();
1227 //ASI_AS_IF_USER_PRIMARY_LITTLE
1228 0x18: FailUnimpl::stdfa_aiupl();
1229 //ASI_AS_IF_USER_SECONDARY
1230 0x11: FailUnimpl::stdfa_aius();
1231 //ASI_AS_IF_USER_SECONDARY_LITTLE
1232 0x19: FailUnimpl::stdfa_aiusl();
1233 //ASI_REAL
1234 0x14: FailUnimpl::stdfa_real();
1235 //ASI_REAL_LITTLE
1236 0x1C: FailUnimpl::stdfa_real_l();
1237 //ASI_REAL_IO
1238 0x15: FailUnimpl::stdfa_real_io();
1239 //ASI_REAL_IO_LITTLE
1240 0x1D: FailUnimpl::stdfa_real_io_l();
1241 //ASI_PRIMARY
1242 0x80: FailUnimpl::stdfa_p();
1243 //ASI_PRIMARY_LITTLE
1244 0x88: FailUnimpl::stdfa_pl();
1245 //ASI_SECONDARY
1246 0x81: FailUnimpl::stdfa_s();
1247 //ASI_SECONDARY_LITTLE
1248 0x89: FailUnimpl::stdfa_sl();
1249 //ASI_PRIMARY_NO_FAULT
1250 0x82: FailUnimpl::stdfa_pnf();
1251 //ASI_PRIMARY_NO_FAULT_LITTLE
1252 0x8A: FailUnimpl::stdfa_pnfl();
1253 //ASI_SECONDARY_NO_FAULT
1254 0x83: FailUnimpl::stdfa_snf();
1255 //ASI_SECONDARY_NO_FAULT_LITTLE
1256 0x8B: FailUnimpl::stdfa_snfl();
1257
1258 format BlockStore {
1259 // STBLOCKF
1260 //ASI_BLOCK_AS_IF_USER_PRIMARY
1261 0x16: FailUnimpl::stblockf_aiup();
1262 //ASI_BLOCK_AS_IF_USER_SECONDARY
1263 0x17: FailUnimpl::stblockf_aius();
1264 //ASI_BLOCK_AS_IF_USER_PRIMARY_LITTLE
1265 0x1E: FailUnimpl::stblockf_aiupl();
1266 //ASI_BLOCK_AS_IF_USER_SECONDARY_LITTLE
1267 0x1F: FailUnimpl::stblockf_aiusl();
1268 //ASI_BLOCK_PRIMARY
1269 0xF0: stblockf_p({{Mem.udw = Frd_N.udw;}}, {{EXT_ASI}});
1270 //ASI_BLOCK_SECONDARY
1271 0xF1: FailUnimpl::stblockf_s();
1272 //ASI_BLOCK_PRIMARY_LITTLE
1273 0xF8: FailUnimpl::stblockf_pl();
1274 //ASI_BLOCK_SECONDARY_LITTLE
1275 0xF9: FailUnimpl::stblockf_sl();
1276 }
1277
1278 //STSHORTF
1279 //ASI_FL8_PRIMARY
1280 0xD0: FailUnimpl::stshortf_8p();
1281 //ASI_FL8_SECONDARY
1282 0xD1: FailUnimpl::stshortf_8s();
1283 //ASI_FL8_PRIMARY_LITTLE
1284 0xD8: FailUnimpl::stshortf_8pl();
1285 //ASI_FL8_SECONDARY_LITTLE
1286 0xD9: FailUnimpl::stshortf_8sl();
1287 //ASI_FL16_PRIMARY
1288 0xD2: FailUnimpl::stshortf_16p();
1289 //ASI_FL16_SECONDARY
1290 0xD3: FailUnimpl::stshortf_16s();
1291 //ASI_FL16_PRIMARY_LITTLE
1292 0xDA: FailUnimpl::stshortf_16pl();
1293 //ASI_FL16_SECONDARY_LITTLE
1294 0xDB: FailUnimpl::stshortf_16sl();
1295 //Not an ASI which is legal with lddfa
1296 default: Trap::stdfa_bad_asi(
1297 {{fault = new DataAccessException;}});
1298 }
1299 }
1300 0x3C: Cas::casa(
1301 {{uReg0 = Mem.uw;}},
1302 {{if(Rs2.uw == uReg0)
1303 Mem.uw = Rd.uw;
1304 else
1305 storeCond = false;
1306 Rd.uw = uReg0;}}, {{EXT_ASI}});
1307 0x3D: Nop::prefetcha({{ }});
1308 0x3E: Cas::casxa(
1309 {{uReg0 = Mem.udw;}},
1310 {{if(Rs2 == uReg0)
1311 Mem.udw = Rd;
1312 else
1313 storeCond = false;
1314 Rd = uReg0;}}, {{EXT_ASI}});
1315 }
1316 }
1317}
1168 0x36: stqfa({{fault = new FpDisabled;}});
1169 format StoreAlt {
1170 0x37: decode EXT_ASI {
1171 //ASI_NUCLEUS
1172 0x04: FailUnimpl::stdfa_n();
1173 //ASI_NUCLEUS_LITTLE
1174 0x0C: FailUnimpl::stdfa_nl();
1175 //ASI_AS_IF_USER_PRIMARY
1176 0x10: FailUnimpl::stdfa_aiup();
1177 //ASI_AS_IF_USER_PRIMARY_LITTLE
1178 0x18: FailUnimpl::stdfa_aiupl();
1179 //ASI_AS_IF_USER_SECONDARY
1180 0x11: FailUnimpl::stdfa_aius();
1181 //ASI_AS_IF_USER_SECONDARY_LITTLE
1182 0x19: FailUnimpl::stdfa_aiusl();
1183 //ASI_REAL
1184 0x14: FailUnimpl::stdfa_real();
1185 //ASI_REAL_LITTLE
1186 0x1C: FailUnimpl::stdfa_real_l();
1187 //ASI_REAL_IO
1188 0x15: FailUnimpl::stdfa_real_io();
1189 //ASI_REAL_IO_LITTLE
1190 0x1D: FailUnimpl::stdfa_real_io_l();
1191 //ASI_PRIMARY
1192 0x80: FailUnimpl::stdfa_p();
1193 //ASI_PRIMARY_LITTLE
1194 0x88: FailUnimpl::stdfa_pl();
1195 //ASI_SECONDARY
1196 0x81: FailUnimpl::stdfa_s();
1197 //ASI_SECONDARY_LITTLE
1198 0x89: FailUnimpl::stdfa_sl();
1199 //ASI_PRIMARY_NO_FAULT
1200 0x82: FailUnimpl::stdfa_pnf();
1201 //ASI_PRIMARY_NO_FAULT_LITTLE
1202 0x8A: FailUnimpl::stdfa_pnfl();
1203 //ASI_SECONDARY_NO_FAULT
1204 0x83: FailUnimpl::stdfa_snf();
1205 //ASI_SECONDARY_NO_FAULT_LITTLE
1206 0x8B: FailUnimpl::stdfa_snfl();
1207
1208 format BlockStore {
1209 // STBLOCKF
1210 //ASI_BLOCK_AS_IF_USER_PRIMARY
1211 0x16: FailUnimpl::stblockf_aiup();
1212 //ASI_BLOCK_AS_IF_USER_SECONDARY
1213 0x17: FailUnimpl::stblockf_aius();
1214 //ASI_BLOCK_AS_IF_USER_PRIMARY_LITTLE
1215 0x1E: FailUnimpl::stblockf_aiupl();
1216 //ASI_BLOCK_AS_IF_USER_SECONDARY_LITTLE
1217 0x1F: FailUnimpl::stblockf_aiusl();
1218 //ASI_BLOCK_PRIMARY
1219 0xF0: stblockf_p({{Mem.udw = Frd_N.udw;}}, {{EXT_ASI}});
1220 //ASI_BLOCK_SECONDARY
1221 0xF1: FailUnimpl::stblockf_s();
1222 //ASI_BLOCK_PRIMARY_LITTLE
1223 0xF8: FailUnimpl::stblockf_pl();
1224 //ASI_BLOCK_SECONDARY_LITTLE
1225 0xF9: FailUnimpl::stblockf_sl();
1226 }
1227
1228 //STSHORTF
1229 //ASI_FL8_PRIMARY
1230 0xD0: FailUnimpl::stshortf_8p();
1231 //ASI_FL8_SECONDARY
1232 0xD1: FailUnimpl::stshortf_8s();
1233 //ASI_FL8_PRIMARY_LITTLE
1234 0xD8: FailUnimpl::stshortf_8pl();
1235 //ASI_FL8_SECONDARY_LITTLE
1236 0xD9: FailUnimpl::stshortf_8sl();
1237 //ASI_FL16_PRIMARY
1238 0xD2: FailUnimpl::stshortf_16p();
1239 //ASI_FL16_SECONDARY
1240 0xD3: FailUnimpl::stshortf_16s();
1241 //ASI_FL16_PRIMARY_LITTLE
1242 0xDA: FailUnimpl::stshortf_16pl();
1243 //ASI_FL16_SECONDARY_LITTLE
1244 0xDB: FailUnimpl::stshortf_16sl();
1245 //Not an ASI which is legal with lddfa
1246 default: Trap::stdfa_bad_asi(
1247 {{fault = new DataAccessException;}});
1248 }
1249 }
1250 0x3C: Cas::casa(
1251 {{uReg0 = Mem.uw;}},
1252 {{if(Rs2.uw == uReg0)
1253 Mem.uw = Rd.uw;
1254 else
1255 storeCond = false;
1256 Rd.uw = uReg0;}}, {{EXT_ASI}});
1257 0x3D: Nop::prefetcha({{ }});
1258 0x3E: Cas::casxa(
1259 {{uReg0 = Mem.udw;}},
1260 {{if(Rs2 == uReg0)
1261 Mem.udw = Rd;
1262 else
1263 storeCond = false;
1264 Rd = uReg0;}}, {{EXT_ASI}});
1265 }
1266 }
1267}