3 // Simulator definition for the MIPS DSP REV 2 ASE.
4 // Copyright (C) 2007, 2010, 2012 Free Software Foundation, Inc.
5 // Contributed by MIPS Technologies, Inc.
8 // This file is part of GDB, the GNU debugger.
10 // This program is free software; you can redistribute it and/or modify
11 // it under the terms of the GNU General Public License as published by
12 // the Free Software Foundation; either version 3 of the License, or
13 // (at your option) any later version.
15 // This program is distributed in the hope that it will be useful,
16 // but WITHOUT ANY WARRANTY; without even the implied warranty of
17 // MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
18 // GNU General Public License for more details.
20 // You should have received a copy of the GNU General Public License
21 // along with this program. If not, see <http://www.gnu.org/licenses/>.
24 // op: 0 = ADD, 1 = SUB
25 // sat: 0 = no saturation, 1 = saturation
26 :function:::void:do_u_ph_op:int rd, int rs, int rt, int op, int sat
31 unsigned32 v1 = GPR[rs];
32 unsigned32 v2 = GPR[rt];
33 unsigned32 result = 0;
34 for (i = 0; i < 32; i += 16, v1 >>= 16, v2 >>= 16)
36 h1 = (unsigned16)(v1 & 0xffff);
37 h2 = (unsigned16)(v2 & 0xffff);
39 h0 = (unsigned32)h1 + (unsigned32)h2;
41 h0 = (unsigned32)h1 - (unsigned32)h2;
42 if (op == 0 && (h0 > (unsigned32)0x0000ffff)) // ADD SAT
44 DSPCR |= DSPCR_OUFLAG4;
48 else if (op == 1 && h1 < h2) // SUB SAT
50 DSPCR |= DSPCR_OUFLAG4;
54 result |= ((unsigned32)((unsigned16)h0) << i);
56 GPR[rd] = EXTEND32 (result);
59 // op: 0 = ADD, 1 = SUB
60 // round: 0 = no rounding, 1 = rounding
61 :function:::void:do_uh_qb_op:int rd, int rs, int rt, int op, int round
66 unsigned32 v1 = GPR[rs];
67 unsigned32 v2 = GPR[rt];
68 unsigned32 result = 0;
69 for (i = 0; i < 32; i += 8, v1 >>= 8, v2 >>= 8)
71 h1 = (unsigned8)(v1 & 0xff);
72 h2 = (unsigned8)(v2 & 0xff);
74 h0 = (unsigned32)h1 + (unsigned32)h2;
76 h0 = (unsigned32)h1 - (unsigned32)h2;
81 result |= ((unsigned32)((unsigned8)h0) << i);
83 GPR[rd] = EXTEND32 (result);
86 // op: 0 = EQ, 1 = LT, 2 = LE
87 :function:::void:do_qb_cmpgdu:int rd, int rs, int rt, int op
90 unsigned32 v1 = GPR[rs];
91 unsigned32 v2 = GPR[rt];
93 unsigned32 result = 0;
95 for (i = 0, j = 0; i < 32; i += 8, j++, v1 >>= 8, v2 >>= 8)
97 h1 = (unsigned8)(v1 & 0xff);
98 h2 = (unsigned8)(v2 & 0xff);
99 mask = ~(1 << (DSPCR_CCOND_SHIFT + j));
103 result |= ((h1 == h2) << j);
104 DSPCR |= ((h1 == h2) << (DSPCR_CCOND_SHIFT + j));
106 else if (op == 1) // LT
108 result |= ((h1 < h2) << j);
109 DSPCR |= ((h1 < h2) << (DSPCR_CCOND_SHIFT + j));
113 result |= ((h1 <= h2) << j);
114 DSPCR |= ((h1 <= h2) << (DSPCR_CCOND_SHIFT + j));
117 GPR[rd] = EXTEND32 (result);
120 // op: 0 = DPA 1 = DPS
121 :function:::void:do_w_ph_dot_product:int ac, int rs, int rt, int op
124 unsigned32 v1 = GPR[rs];
125 unsigned32 v2 = GPR[rt];
128 unsigned32 lo = DSPLO(ac);
129 unsigned32 hi = DSPHI(ac);
130 signed64 prod = (signed64)((((unsigned64)hi) << 32) + (unsigned64)lo);
131 for (i = 0; i < 32; i += 16, v1 >>= 16, v2 >>= 16)
133 h1 = (signed16)(v1 & 0xffff);
134 h2 = (signed16)(v2 & 0xffff);
135 result = (signed32)h1 * (signed32)h2;
137 prod += (signed64)result;
139 prod -= (signed64)result;
141 DSPLO(ac) = EXTEND32 (prod);
142 DSPHI(ac) = EXTEND32 (prod >> 32);
145 // round: 0 = no rounding, 1 = rounding
146 :function:::void:do_w_mulq:int rd, int rs, int rt, int round
148 unsigned32 v1 = GPR[rs];
149 unsigned32 v2 = GPR[rt];
155 if (w1 == (signed32) 0x80000000 && w2 == (signed32) 0x80000000)
157 DSPCR |= DSPCR_OUFLAG5;
162 prod = ((signed64) w1 * (signed64) w2) << 1;
164 prod += 0x0000000080000000LL;
167 result = (unsigned32) prod;
168 GPR[rd] = EXTEND32 (result);
171 // round: 0 = no rounding, 1 = rounding
172 :function:::void:do_precr_sra:int rt, int rs, int sa, int round
174 unsigned32 v1 = GPR[rt];
175 unsigned32 v2 = GPR[rs];
176 signed32 w1 = (signed32) v1;
177 signed32 w2 = (signed32) v2;
181 if (round == 1 && (w1 & (1 << (sa - 1))))
186 if (round == 1 && (w2 & (1 << (sa - 1))))
191 result = (w1 << 16) | (w2 & 0xffff);
192 GPR[rt] = EXTEND32 (result);
195 // round: 0 = no rounding, 1 = rounding
196 :function:::void:do_qb_shra:int rd, int rt, int shift, int round
200 unsigned32 v1 = GPR[rt];
201 unsigned32 result = 0;
202 for (i = 0; i < 32; i += 8, v1 >>= 8)
204 q0 = (signed8)(v1 & 0xff);
207 if (round == 1 && (q0 & (1 << (shift - 1))))
208 q0 = (q0 >> shift) + 1;
212 result |= ((unsigned32)((unsigned8)q0) << i);
214 GPR[rd] = EXTEND32 (result);
217 :function:::void:do_ph_shrl:int rd, int rt, int shift
221 unsigned32 v1 = GPR[rt];
222 unsigned32 result = 0;
223 for (i = 0; i < 32; i += 16, v1 >>= 16)
225 h0 = (unsigned16)(v1 & 0xffff);
227 result |= ((unsigned32)h0 << i);
229 GPR[rd] = EXTEND32 (result);
232 // op: 0 = ADD, 1 = SUB
233 // round: 0 = no rounding, 1 = rounding
234 :function:::void:do_qh_ph_op:int rd, int rs, int rt, int op, int round
239 unsigned32 v1 = GPR[rs];
240 unsigned32 v2 = GPR[rt];
241 unsigned32 result = 0;
242 for (i = 0; i < 32; i += 16, v1 >>= 16, v2 >>= 16)
244 h1 = (signed16)(v1 & 0xffff);
245 h2 = (signed16)(v2 & 0xffff);
247 h0 = (signed32)h1 + (signed32)h2;
249 h0 = (signed32)h1 - (signed32)h2;
254 result |= ((unsigned32)((unsigned16)h0) << i);
256 GPR[rd] = EXTEND32 (result);
259 // op: 0 = ADD, 1 = SUB
260 // round: 0 = no rounding, 1 = rounding
261 :function:::void:do_qh_w_op:int rd, int rs, int rt, int op, int round
265 signed32 v1 = (signed32)GPR[rs];
266 signed32 v2 = (signed32)GPR[rt];
268 v0 = (signed64)v1 + (signed64)v2;
270 v0 = (signed64)v1 - (signed64)v2;
275 GPR[rd] = EXTEND32 (v0);
278 // op: 0 = DPAX, 1 = DPSX
279 :function:::void:do_x_w_ph_dot_product:int ac, int rs, int rt, int op
282 unsigned32 v1 = GPR[rs];
283 unsigned32 v2 = GPR[rt];
286 unsigned32 lo = DSPLO(ac);
287 unsigned32 hi = DSPHI(ac);
288 signed64 prod = (signed64)((((unsigned64)hi) << 32) + (unsigned64)lo);
289 for (i = 0; i < 32; i += 16, v1 >>= 16, v2 <<= 16)
291 h1 = (signed16)(v1 & 0xffff);
292 h2 = (signed16)((v2 & 0xffff0000) >> 16);
293 result = (signed32)h1 * (signed32)h2;
295 prod += (signed64)result;
297 prod -= (signed64)result;
299 DSPLO(ac) = EXTEND32 (prod);
300 DSPHI(ac) = EXTEND32 (prod >> 32);
303 // op: 0 = DPAQX, 1 = DPSQX
304 // sat: 0 = no saturation, 1 = saturation of the accumulator
305 :function:::void:do_qx_w_ph_dot_product:int ac, int rs, int rt, int op, int sat
308 unsigned32 v1 = GPR[rs];
309 unsigned32 v2 = GPR[rt];
312 unsigned32 lo = DSPLO(ac);
313 unsigned32 hi = DSPHI(ac);
314 signed64 prod = (signed64)((((unsigned64)hi) << 32) + (unsigned64)lo);
316 for (i = 0; i < 32; i += 16, v1 >>= 16, v2 <<= 16)
318 h1 = (signed16)(v1 & 0xffff);
319 h2 = (signed16)((v2 & 0xffff0000) >> 16);
320 if (h1 == (signed16)0x8000 && h2 == (signed16)0x8000)
322 DSPCR |= (1 << (DSPCR_OUFLAG_SHIFT + ac));
326 result = ((signed32)h1 * (signed32)h2) << 1;
327 if (op == 0) // DPAQX
328 prod += (signed64)result;
330 prod -= (signed64)result;
332 // Saturation on the accumulator.
335 max = (signed64) 0x7fffffffLL;
336 min = (signed64) 0xffffffff80000000LL;
339 DSPCR |= (1 << (DSPCR_OUFLAG_SHIFT + ac));
344 DSPCR |= (1 << (DSPCR_OUFLAG_SHIFT + ac));
348 DSPLO(ac) = EXTEND32 (prod);
349 DSPHI(ac) = EXTEND32 (prod >> 32);
352 011111,00000,5.RT,5.RD,00001,010010:SPECIAL3:32::ABSQ_S.QB
353 "absq_s.qb r<RD>, r<RT>"
358 unsigned32 v1 = GPR[RT];
359 unsigned32 result = 0;
360 for (i = 0; i < 32; i += 8, v1 >>= 8)
362 q0 = (signed8)(v1 & 0xff);
363 if (q0 == (signed8)0x80)
365 DSPCR |= DSPCR_OUFLAG4;
370 result |= ((unsigned32)((unsigned8)q0) << i);
372 GPR[RD] = EXTEND32 (result);
375 011111,5.RS,5.RT,5.RD,01000,010000:SPECIAL3:32::ADDU.PH
376 "addu.ph r<RD>, r<RS>, r<RT>"
379 do_u_ph_op (SD_, RD, RS, RT, 0, 0);
382 011111,5.RS,5.RT,5.RD,01100,010000:SPECIAL3:32::ADDU_S.PH
383 "addu_s.ph r<RD>, r<RS>, r<RT>"
386 do_u_ph_op (SD_, RD, RS, RT, 0, 1);
389 011111,5.RS,5.RT,5.RD,00000,011000:SPECIAL3:32::ADDUH.QB
390 "adduh.qb r<RD>, r<RS>, r<RT>"
393 do_uh_qb_op (SD_, RD, RS, RT, 0, 0);
396 011111,5.RS,5.RT,5.RD,00010,011000:SPECIAL3:32::ADDUH_R.QB
397 "adduh_r.qb r<RD>, r<RS>, r<RT>"
400 do_uh_qb_op (SD_, RD, RS, RT, 0, 1);
403 011111,5.RS,5.RT,5.SA,00000,110001:SPECIAL3:32::APPEND
404 "append r<RT>, r<RS>, <SA>"
407 unsigned32 v0 = GPR[RS];
408 unsigned32 v1 = GPR[RT];
410 unsigned32 mask = (1 << SA) - 1;
411 result = (v1 << SA) | (v0 & mask);
412 GPR[RT] = EXTEND32 (result);
415 011111,5.RS,5.RT,000,2.BP,10000,110001:SPECIAL3:32::BALIGN
416 "balign r<RT>, r<RS>, <BP>"
419 unsigned32 v0 = GPR[RS];
420 unsigned32 v1 = GPR[RT];
425 result = (v1 << 8 * BP) | (v0 >> 8 * (4 - BP));
426 GPR[RT] = EXTEND32 (result);
429 011111,5.RS,5.RT,5.RD,11000,010001:SPECIAL3:32::CMPGDU.EQ.QB
430 "cmpgdu.eq.qb r<RD>, r<RS>, r<RT>"
433 do_qb_cmpgdu (SD_, RD, RS, RT, 0);
436 011111,5.RS,5.RT,5.RD,11001,010001:SPECIAL3:32::CMPGDU.LT.QB
437 "cmpgdu.lt.qb r<RD>, r<RS>, r<RT>"
440 do_qb_cmpgdu (SD_, RD, RS, RT, 1);
443 011111,5.RS,5.RT,5.RD,11010,010001:SPECIAL3:32::CMPGDU.LE.QB
444 "cmpgdu.le.qb r<RD>, r<RS>, r<RT>"
447 do_qb_cmpgdu (SD_, RD, RS, RT, 2);
450 011111,5.RS,5.RT,000,2.AC,00000,110000:SPECIAL3:32::DPA.W.PH
451 "dpa.w.ph ac<AC>, r<RS>, r<RT>"
454 do_w_ph_dot_product (SD_, AC, RS, RT, 0);
457 011111,5.RS,5.RT,000,2.AC,00001,110000:SPECIAL3:32::DPS.W.PH
458 "dps.w.ph ac<AC>, r<RS>, r<RT>"
461 do_w_ph_dot_product (SD_, AC, RS, RT, 1);
464 011111,5.RS,5.RT,5.RD,01100,011000:SPECIAL3:32::MUL.PH
465 "mul.ph r<RD>, r<RS>, r<RT>"
468 do_ph_op (SD_, RD, RS, RT, 2, 0);
471 011111,5.RS,5.RT,5.RD,01110,011000:SPECIAL3:32::MUL_S.PH
472 "mul_s.ph r<RD>, r<RS>, r<RT>"
475 do_ph_op (SD_, RD, RS, RT, 2, 1);
478 011111,5.RS,5.RT,5.RD,10111,011000:SPECIAL3:32::MULQ_RS.W
479 "mulq_rs.w r<RD>, r<RS>, r<RT>"
482 do_w_mulq (SD_, RD, RS, RT, 1);
485 011111,5.RS,5.RT,5.RD,11110,010000:SPECIAL3:32::MULQ_S.PH
486 "mulq_s.ph r<RD>, r<RS>, r<RT>"
489 do_ph_mulq (SD_, RD, RS, RT, 0);
492 011111,5.RS,5.RT,5.RD,10110,011000:SPECIAL3:32::MULQ_S.W
493 "mulq_s.w r<RD>, r<RS>, r<RT>"
496 do_w_mulq (SD_, RD, RS, RT, 0);
499 011111,5.RS,5.RT,000,2.AC,00010,110000:SPECIAL3:32::MULSA.W.PH
500 "mulsa.w.ph ac<AC>, r<RS>, r<RT>"
504 unsigned32 v1 = GPR[RS];
505 unsigned32 v2 = GPR[RT];
508 unsigned32 lo = DSPLO(AC);
509 unsigned32 hi = DSPHI(AC);
510 signed64 prod = (signed64)((((unsigned64)hi) << 32) + (unsigned64)lo);
511 for (i = 0; i < 32; i += 16, v1 >>= 16, v2 >>= 16)
513 h1 = (signed16)(v1 & 0xffff);
514 h2 = (signed16)(v2 & 0xffff);
515 result = (signed32)h1 * (signed32)h2;
518 prod -= (signed64) result;
520 prod += (signed64) result;
522 DSPLO(AC) = EXTEND32 (prod);
523 DSPHI(AC) = EXTEND32 (prod >> 32);
526 011111,5.RS,5.RT,5.RD,01101,010001:SPECIAL3:32::PRECR.QB.PH
527 "precr.qb.ph r<RD>, r<RS>, r<RT>"
530 unsigned32 v1 = GPR[RS];
531 unsigned32 v2 = GPR[RT];
532 unsigned32 tempu = (v1 & 0xff0000) >> 16;
533 unsigned32 tempv = (v1 & 0xff);
534 unsigned32 tempw = (v2 & 0xff0000) >> 16;
535 unsigned32 tempx = (v2 & 0xff);
536 GPR[RD] = EXTEND32 ((tempu << 24) | (tempv << 16) | (tempw << 8) | tempx);
539 011111,5.RS,5.RT,5.SA,11110,010001:SPECIAL3:32::PRECR_SRA.PH.W
540 "precr_sra.ph.w r<RT>, r<RS>, <SA>"
543 do_precr_sra (SD_, RT, RS, SA, 0);
546 011111,5.RS,5.RT,5.SA,11111,010001:SPECIAL3:32::PRECR_SRA_R.PH.W
547 "precr_sra_r.ph.w r<RT>, r<RS>, <SA>"
550 do_precr_sra (SD_, RT, RS, SA, 1);
553 011111,5.RS,5.RT,5.SA,00001,110001:SPECIAL3:32::PREPEND
554 "prepend r<RT>, r<RS>, <SA>"
557 unsigned32 v0 = GPR[RS];
558 unsigned32 v1 = GPR[RT];
563 result = (v0 << (32 - SA)) | (v1 >> SA);
564 GPR[RT] = EXTEND32 (result);
567 011111,00,3.SHIFT3,5.RT,5.RD,00100,010011:SPECIAL3:32::SHRA.QB
568 "shra.qb r<RD>, r<RT>, <SHIFT3>"
571 do_qb_shra (SD_, RD, RT, SHIFT3, 0);
574 011111,00,3.SHIFT3,5.RT,5.RD,00101,010011:SPECIAL3:32::SHRA_R.QB
575 "shra_r.qb r<RD>, r<RT>, <SHIFT3>"
578 do_qb_shra (SD_, RD, RT, SHIFT3, 1);
581 011111,5.RS,5.RT,5.RD,00110,010011:SPECIAL3:32::SHRAV.QB
582 "shrav.qb r<RD>, r<RT>, r<RS>"
585 unsigned32 shift = GPR[RS] & 0x7;
586 do_qb_shra (SD_, RD, RT, shift, 0);
589 011111,5.RS,5.RT,5.RD,00111,010011:SPECIAL3:32::SHRAV_R.QB
590 "shrav_r.qb r<RD>, r<RT>, r<RS>"
593 unsigned32 shift = GPR[RS] & 0x7;
594 do_qb_shra (SD_, RD, RT, shift, 1);
597 011111,0,4.SHIFT4,5.RT,5.RD,11001,010011:SPECIAL3:32::SHRL.PH
598 "shrl.ph r<RD>, r<RT>, <SHIFT4>"
601 do_ph_shrl (SD_, RD, RT, SHIFT4);
604 011111,5.RS,5.RT,5.RD,11011,010011:SPECIAL3:32::SHRLV.PH
605 "shrlv.ph r<RD>, r<RT>, r<RS>"
608 unsigned32 shift = GPR[RS] & 0xf;
609 do_ph_shrl (SD_, RD, RT, shift);
612 011111,5.RS,5.RT,5.RD,01001,010000:SPECIAL3:32::SUBU.PH
613 "subu.ph r<RD>, r<RS>, r<RT>"
616 do_u_ph_op (SD_, RD, RS, RT, 1, 0);
619 011111,5.RS,5.RT,5.RD,01101,010000:SPECIAL3:32::SUBU_S.PH
620 "subu_s.ph r<RD>, r<RS>, r<RT>"
623 do_u_ph_op (SD_, RD, RS, RT, 1, 1);
626 011111,5.RS,5.RT,5.RD,00001,011000:SPECIAL3:32::SUBUH.QB
627 "subuh.qb r<RD>, r<RS>, r<RT>"
630 do_uh_qb_op (SD_, RD, RS, RT, 1, 0);
633 011111,5.RS,5.RT,5.RD,00011,011000:SPECIAL3:32::SUBUH_R.QB
634 "subuh_r.qb r<RD>, r<RS>, r<RT>"
637 do_uh_qb_op (SD_, RD, RS, RT, 1, 1);
640 011111,5.RS,5.RT,5.RD,01000,011000:SPECIAL3:32::ADDQH.PH
641 "addqh.ph r<RD>, r<RS>, r<RT>"
644 do_qh_ph_op (SD_, RD, RS, RT, 0, 0);
647 011111,5.RS,5.RT,5.RD,01010,011000:SPECIAL3:32::ADDQH_R.PH
648 "addqh_r.ph r<RD>, r<RS>, r<RT>"
651 do_qh_ph_op (SD_, RD, RS, RT, 0, 1);
654 011111,5.RS,5.RT,5.RD,10000,011000:SPECIAL3:32::ADDQH.W
655 "addqh.w r<RD>, r<RS>, r<RT>"
658 do_qh_w_op (SD_, RD, RS, RT, 0, 0);
661 011111,5.RS,5.RT,5.RD,10010,011000:SPECIAL3:32::ADDQH_R.W
662 "addqh_r.w r<RD>, r<RS>, r<RT>"
665 do_qh_w_op (SD_, RD, RS, RT, 0, 1);
668 011111,5.RS,5.RT,5.RD,01001,011000:SPECIAL3:32::SUBQH.PH
669 "subqh.ph r<RD>, r<RS>, r<RT>"
672 do_qh_ph_op (SD_, RD, RS, RT, 1, 0);
675 011111,5.RS,5.RT,5.RD,01011,011000:SPECIAL3:32::SUBQH_R.PH
676 "subqh_r.ph r<RD>, r<RS>, r<RT>"
679 do_qh_ph_op (SD_, RD, RS, RT, 1, 1);
682 011111,5.RS,5.RT,5.RD,10001,011000:SPECIAL3:32::SUBQH.W
683 "subqh.w r<RD>, r<RS>, r<RT>"
686 do_qh_w_op (SD_, RD, RS, RT, 1, 0);
689 011111,5.RS,5.RT,5.RD,10011,011000:SPECIAL3:32::SUBQH_R.W
690 "subqh_r.w r<RD>, r<RS>, r<RT>"
693 do_qh_w_op (SD_, RD, RS, RT, 1, 1);
696 011111,5.RS,5.RT,000,2.AC,01000,110000:SPECIAL3:32::DPAX.W.PH
697 "dpax.w.ph ac<AC>, r<RS>, r<RT>"
700 do_x_w_ph_dot_product (SD_, AC, RS, RT, 0);
703 011111,5.RS,5.RT,000,2.AC,01001,110000:SPECIAL3:32::DPSX.W.PH
704 "dpsx.w.ph ac<AC>, r<RS>, r<RT>"
707 do_x_w_ph_dot_product (SD_, AC, RS, RT, 1);
710 011111,5.RS,5.RT,000,2.AC,11000,110000:SPECIAL3:32::DPAQX_S.W.PH
711 "dpaqx_s.w.ph ac<AC>, r<RS>, r<RT>"
714 do_qx_w_ph_dot_product (SD_, AC, RS, RT, 0, 0);
717 011111,5.RS,5.RT,000,2.AC,11010,110000:SPECIAL3:32::DPAQX_SA.W.PH
718 "dpaqx_sa.w.ph ac<AC>, r<RS>, r<RT>"
721 do_qx_w_ph_dot_product (SD_, AC, RS, RT, 0, 1);
724 011111,5.RS,5.RT,000,2.AC,11001,110000:SPECIAL3:32::DPSQX_S.W.PH
725 "dpsqx_s.w.ph ac<AC>, r<RS>, r<RT>"
728 do_qx_w_ph_dot_product (SD_, AC, RS, RT, 1, 0);
731 011111,5.RS,5.RT,000,2.AC,11011,110000:SPECIAL3:32::DPSQX_SA.W.PH
732 "dpsqx_sa.w.ph ac<AC>, r<RS>, r<RT>"
735 do_qx_w_ph_dot_product (SD_, AC, RS, RT, 1, 1);