![[BACK]](/cvsweb/icons/back.gif){kind=icon}
Return to mipsdecode.sml CVS log ![[TXT]](/cvsweb/icons/text.gif){kind=icon}
![[DIR]](/cvsweb/icons/dir.gif){kind=icon}
Up to [Research Unix] / researchv10no / cmd / sml / src / mips|
Return to mipsdecode.sml CVS log | Up to [Research Unix] / researchv10no / cmd / sml / src / mips |
1.1 root 1: (* Copyright 1989 by AT&T Bell Laboratories *)
2: structure MipsDecode = struct
3: val andb = Bits.andb
4: fun rshift(op1,amt) =
5: if amt<0 then Bits.lshift(op1,0-amt)
6: else Bits.rshift(op1,amt)
7: fun THEop'(A1,A2) = 0 + rshift(andb(A1,65535),10)
8: fun THErs(A1,A2) = 0 + rshift(andb(A1,1023),5)
9: fun THErt(A1,A2) = 0 + rshift(andb(A1,31),0)
10: fun THEimmed(A1,A2) = let val n = andb(rshift(A2,0),65535) + 0
11: in if n < 32768 then n else n - 65536
12: end
13: fun THEoffset(A1,A2) = let val n = andb(rshift(A2,0),65535) + 0
14: in if n < 32768 then n else n - 65536
15: end
16: fun THEbase(A1,A2) = 0 + rshift(andb(A1,1023),5)
17: fun THEtarget(A1,A2) = andb(rshift(A2,0),65535) + rshift(andb(A1,1023),~16)
18: fun THErd(A1,A2) = andb(rshift(A2,11),31) + 0
19: fun THEshamt(A1,A2) = andb(rshift(A2,6),31) + 0
20: fun THEfunct(A1,A2) = andb(rshift(A2,0),63) + 0
21: fun THEcond(A1,A2) = 0 + rshift(andb(A1,31),0)
22: fun THEft(A1,A2) = 0 + rshift(andb(A1,31),0)
23: fun THEfmt(A1,A2) = 0 + rshift(andb(A1,1023),5)
24: fun THEfs(A1,A2) = andb(rshift(A2,11),31) + 0
25: fun THEfd(A1,A2) = andb(rshift(A2,6),31) + 0
26: fun decode(A1,A2) = let
27: val rt = THErt(A1,A2)
28: val Srt = Integer.makestring rt
29: val base = THEbase(A1,A2)
30: val Sbase = Integer.makestring base
31: val immed = THEimmed(A1,A2)
32: val Simmed = Integer.makestring immed
33: val target = THEtarget(A1,A2)
34: val Starget = Integer.makestring target
35: val fd = THEfd(A1,A2)
36: val Sfd = Integer.makestring fd
37: val fmt = THEfmt(A1,A2)
38: val Sfmt = Integer.makestring fmt
39: val fs = THEfs(A1,A2)
40: val Sfs = Integer.makestring fs
41: val ft = THEft(A1,A2)
42: val Sft = Integer.makestring ft
43: val op' = THEop'(A1,A2)
44: val Sop' = Integer.makestring op'
45: val funct = THEfunct(A1,A2)
46: val Sfunct = Integer.makestring funct
47: val rd = THErd(A1,A2)
48: val Srd = Integer.makestring rd
49: val cond = THEcond(A1,A2)
50: val Scond = Integer.makestring cond
51: val shamt = THEshamt(A1,A2)
52: val Sshamt = Integer.makestring shamt
53: val offset = THEoffset(A1,A2)
54: val Soffset = Integer.makestring offset
55: val rs = THErs(A1,A2)
56: val Srs = Integer.makestring rs
57: val do_special =
58: (case funct of
59: 0 => "sll " ^ "rd = " ^ Srd ^ "," ^ "rt = " ^ Srt ^ "," ^ "shamt = " ^ Sshamt ^ "\n"
60: | 2 => "srl " ^ "rd = " ^ Srd ^ "," ^ "rt = " ^ Srt ^ "," ^ "shamt = " ^ Sshamt ^ "\n"
61: | 3 => "sra " ^ "rd = " ^ Srd ^ "," ^ "rt = " ^ Srt ^ "," ^ "shamt = " ^ Sshamt ^ "\n"
62: | 4 => "sllv " ^ "rd = " ^ Srd ^ "," ^ "rt = " ^ Srt ^ "," ^ "rs = " ^ Srs ^ "\n"
63: | 6 => "srlv " ^ "rd = " ^ Srd ^ "," ^ "rt = " ^ Srt ^ "," ^ "rs = " ^ Srs ^ "\n"
64: | 7 => "srav " ^ "rd = " ^ Srd ^ "," ^ "rt = " ^ Srt ^ "," ^ "rs = " ^ Srs ^ "\n"
65: | 8 => "jr " ^ "rs = " ^ Srs ^ "\n"
66: | 9 => "jalr " ^ "rs = " ^ Srs ^ "," ^ "rd = " ^ Srd ^ "\n"
67: | 12 => "syscall " ^ "\n"
68: | 13 => "break " ^ "\n"
69: | 16 => "mfhi " ^ "rd = " ^ Srd ^ "\n"
70: | 17 => "mthi " ^ "rs = " ^ Srs ^ "\n"
71: | 18 => "mflo " ^ "rd = " ^ Srd ^ "\n"
72: | 19 => "mtlo " ^ "rs = " ^ Srs ^ "\n"
73: | 24 => "mult " ^ "rs = " ^ Srs ^ "," ^ "rt = " ^ Srt ^ "\n"
74: | 25 => "multu " ^ "rs = " ^ Srs ^ "," ^ "rt = " ^ Srt ^ "\n"
75: | 26 => "div " ^ "rs = " ^ Srs ^ "," ^ "rt = " ^ Srt ^ "\n"
76: | 27 => "divu " ^ "rs = " ^ Srs ^ "," ^ "rt = " ^ Srt ^ "\n"
77: | 32 => "add " ^ "rd = " ^ Srd ^ "," ^ "rs = " ^ Srs ^ "," ^ "rt = " ^ Srt ^ "\n"
78: | 33 => "addu " ^ "rd = " ^ Srd ^ "," ^ "rs = " ^ Srs ^ "," ^ "rt = " ^ Srt ^ "\n"
79: | 34 => "sub " ^ "rd = " ^ Srd ^ "," ^ "rs = " ^ Srs ^ "," ^ "rt = " ^ Srt ^ "\n"
80: | 35 => "subu " ^ "rd = " ^ Srd ^ "," ^ "rs = " ^ Srs ^ "," ^ "rt = " ^ Srt ^ "\n"
81: | 36 => "and' " ^ "rd = " ^ Srd ^ "," ^ "rs = " ^ Srs ^ "," ^ "rt = " ^ Srt ^ "\n"
82: | 37 => "or " ^ "rd = " ^ Srd ^ "," ^ "rs = " ^ Srs ^ "," ^ "rt = " ^ Srt ^ "\n"
83: | 38 => "xor " ^ "rd = " ^ Srd ^ "," ^ "rs = " ^ Srs ^ "," ^ "rt = " ^ Srt ^ "\n"
84: | 39 => "nor " ^ "rd = " ^ Srd ^ "," ^ "rs = " ^ Srs ^ "," ^ "rt = " ^ Srt ^ "\n"
85: | 42 => "slt " ^ "rd = " ^ Srd ^ "," ^ "rs = " ^ Srs ^ "," ^ "rt = " ^ Srt ^ "\n"
86: | 43 => "sltu " ^ "rd = " ^ Srd ^ "," ^ "rs = " ^ Srs ^ "," ^ "rt = " ^ Srt ^ "\n"
87: | _ => "unknown special\n"
88: )
89: val do_bcond =
90: (case cond of
91: 0 => "bltz " ^ "rs = " ^ Srs ^ "," ^ "offset = " ^ Soffset ^ "\n"
92: | 1 => "bgez " ^ "rs = " ^ Srs ^ "," ^ "offset = " ^ Soffset ^ "\n"
93: | 16 => "bltzal " ^ "rs = " ^ Srs ^ "," ^ "offset = " ^ Soffset ^ "\n"
94: | 17 => "bgezal " ^ "rs = " ^ Srs ^ "," ^ "offset = " ^ Soffset ^ "\n"
95: | _ => "unknown bcond\n"
96: )
97: val do_cop1 =
98: (case funct of
99: 0 => "add_fmt " ^ "fmt = " ^ Sfmt ^ "," ^ "fd = " ^ Sfd ^ "," ^ "fs = " ^ Sfs ^ "," ^ "ft = " ^ Sft ^ "\n"
100: | 1 => "sub_fmt " ^ "fmt = " ^ Sfmt ^ "," ^ "fd = " ^ Sfd ^ "," ^ "fs = " ^ Sfs ^ "," ^ "ft = " ^ Sft ^ "\n"
101: | 2 => "mul_fmt " ^ "fmt = " ^ Sfmt ^ "," ^ "fd = " ^ Sfd ^ "," ^ "fs = " ^ Sfs ^ "," ^ "ft = " ^ Sft ^ "\n"
102: | 3 => "div_fmt " ^ "fmt = " ^ Sfmt ^ "," ^ "fd = " ^ Sfd ^ "," ^ "fs = " ^ Sfs ^ "," ^ "ft = " ^ Sft ^ "\n"
103: | 5 => "abs_fmt(??? unknown format???)\n"
104: | 6 => "mov_fmt(??? unknown format???)\n"
105: | 7 => "neg_fmt " ^ "fmt = " ^ Sfmt ^ "," ^ "fd = " ^ Sfd ^ "," ^ "fs = " ^ Sfs ^ "\n"
106: | 32 => "cvt_s(??? unknown format???)\n"
107: | 33 => "cvt_d(??? unknown format???)\n"
108: | 36 => "cvt_w(??? unknown format???)\n"
109: | 48 => "c_f(??? unknown format???)\n"
110: | 49 => "c_un(??? unknown format???)\n"
111: | 50 => "c_eq(??? unknown format???)\n"
112: | 51 => "c_ueq(??? unknown format???)\n"
113: | 52 => "c_olt(??? unknown format???)\n"
114: | 53 => "c_ult(??? unknown format???)\n"
115: | 54 => "c_ole(??? unknown format???)\n"
116: | 55 => "c_ule(??? unknown format???)\n"
117: | 56 => "c_sf(??? unknown format???)\n"
118: | 57 => "c_ngle(??? unknown format???)\n"
119: | 58 => "c_seq " ^ "fmt = " ^ Sfmt ^ "," ^ "fs = " ^ Sfs ^ "," ^ "ft = " ^ Sft ^ "\n"
120: | 59 => "c_ngl(??? unknown format???)\n"
121: | 60 => "c_lt " ^ "fmt = " ^ Sfmt ^ "," ^ "fs = " ^ Sfs ^ "," ^ "ft = " ^ Sft ^ "\n"
122: | 61 => "c_nge(??? unknown format???)\n"
123: | 62 => "c_le(??? unknown format???)\n"
124: | 63 => "c_ngt(??? unknown format???)\n"
125: | _ => "unknown cop1\n"
126: )
127: in
128: (case op' of
129: 0 => do_special
130: | 1 => do_bcond
131: | 2 => "j " ^ "target = " ^ Starget ^ "\n"
132: | 3 => "jal " ^ "target = " ^ Starget ^ "\n"
133: | 4 => "beq " ^ "rs = " ^ Srs ^ "," ^ "rt = " ^ Srt ^ "," ^ "offset = " ^ Soffset ^ "\n"
134: | 5 => "bne " ^ "rs = " ^ Srs ^ "," ^ "rt = " ^ Srt ^ "," ^ "offset = " ^ Soffset ^ "\n"
135: | 6 => "blez " ^ "rs = " ^ Srs ^ "," ^ "offset = " ^ Soffset ^ "\n"
136: | 7 => "bgtz " ^ "rs = " ^ Srs ^ "," ^ "offset = " ^ Soffset ^ "\n"
137: | 8 => "addi " ^ "rt = " ^ Srt ^ "," ^ "rs = " ^ Srs ^ "," ^ "immed = " ^ Simmed ^ "\n"
138: | 9 => "addiu " ^ "rt = " ^ Srt ^ "," ^ "rs = " ^ Srs ^ "," ^ "immed = " ^ Simmed ^ "\n"
139: | 10 => "slti " ^ "rt = " ^ Srt ^ "," ^ "rs = " ^ Srs ^ "," ^ "immed = " ^ Simmed ^ "\n"
140: | 11 => "sltiu " ^ "rt = " ^ Srt ^ "," ^ "rs = " ^ Srs ^ "," ^ "immed = " ^ Simmed ^ "\n"
141: | 12 => "andi " ^ "rt = " ^ Srt ^ "," ^ "rs = " ^ Srs ^ "," ^ "immed = " ^ Simmed ^ "\n"
142: | 13 => "ori " ^ "rt = " ^ Srt ^ "," ^ "rs = " ^ Srs ^ "," ^ "immed = " ^ Simmed ^ "\n"
143: | 14 => "xori " ^ "rt = " ^ Srt ^ "," ^ "rs = " ^ Srs ^ "," ^ "immed = " ^ Simmed ^ "\n"
144: | 15 => "lui " ^ "rt = " ^ Srt ^ "," ^ "immed = " ^ Simmed ^ "\n"
145: | 16 => "cop0(??? unknown format???)\n"
146: | 17 => do_cop1
147: | 18 => "cop2(??? unknown format???)\n"
148: | 19 => "cop3(??? unknown format???)\n"
149: | 32 => "lb " ^ "rt = " ^ Srt ^ "," ^ "offset = " ^ Soffset ^ "," ^ "base = " ^ Sbase ^ "\n"
150: | 33 => "lh " ^ "rt = " ^ Srt ^ "," ^ "offset = " ^ Soffset ^ "," ^ "base = " ^ Sbase ^ "\n"
151: | 34 => "lwl " ^ "rt = " ^ Srt ^ "," ^ "offset = " ^ Soffset ^ "," ^ "base = " ^ Sbase ^ "\n"
152: | 35 => "lw " ^ "rt = " ^ Srt ^ "," ^ "offset = " ^ Soffset ^ "," ^ "base = " ^ Sbase ^ "\n"
153: | 36 => "lbu " ^ "rt = " ^ Srt ^ "," ^ "offset = " ^ Soffset ^ "," ^ "base = " ^ Sbase ^ "\n"
154: | 37 => "lhu " ^ "rt = " ^ Srt ^ "," ^ "offset = " ^ Soffset ^ "," ^ "base = " ^ Sbase ^ "\n"
155: | 38 => "lwr " ^ "rt = " ^ Srt ^ "," ^ "offset = " ^ Soffset ^ "," ^ "base = " ^ Sbase ^ "\n"
156: | 40 => "sb " ^ "rt = " ^ Srt ^ "," ^ "offset = " ^ Soffset ^ "," ^ "base = " ^ Sbase ^ "\n"
157: | 41 => "sh " ^ "rt = " ^ Srt ^ "," ^ "offset = " ^ Soffset ^ "," ^ "base = " ^ Sbase ^ "\n"
158: | 42 => "swl " ^ "rt = " ^ Srt ^ "," ^ "offset = " ^ Soffset ^ "," ^ "base = " ^ Sbase ^ "\n"
159: | 43 => "sw " ^ "rt = " ^ Srt ^ "," ^ "offset = " ^ Soffset ^ "," ^ "base = " ^ Sbase ^ "\n"
160: | 46 => "swr " ^ "rt = " ^ Srt ^ "," ^ "offset = " ^ Soffset ^ "," ^ "base = " ^ Sbase ^ "\n"
161: | 48 => "lwc0(??? unknown format???)\n"
162: | 49 => "lwc1 " ^ "ft = " ^ Sft ^ "," ^ "offset = " ^ Soffset ^ "," ^ "base = " ^ Sbase ^ "\n"
163: | 50 => "lwc2(??? unknown format???)\n"
164: | 51 => "lwc3(??? unknown format???)\n"
165: | 56 => "swc0(??? unknown format???)\n"
166: | 57 => "swc1 " ^ "ft = " ^ Sft ^ "," ^ "offset = " ^ Soffset ^ "," ^ "base = " ^ Sbase ^ "\n"
167: | 58 => "swc2(??? unknown format???)\n"
168: | 59 => "swc3(??? unknown format???)\n"
169: | _ => "unknown opcode\n"
170: )
171: end
172: end (* Decode *)
This archive runs on limited infrastructure. Preserving old code on modern bandwidth. Automated agents are requested to crawl responsibly.