![[BACK]](/cvsweb/icons/back.gif){kind=icon}
Return to opcodes.awk 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 opcodes.awk CVS log | Up to [Research Unix] / researchv10no / cmd / sml / src / mips |
1.1 root 1: BEGIN {
2: print "structure Opcodes = struct"
3: print "val andb = Bits.andb"
4: print "fun lshift(op1,amt) = "
5: print " if amt<0 then Bits.rshift(op1,0-amt)"
6: print " else Bits.lshift(op1,amt)"
7: print "nonfix sub" # bug fixes; want [[sub]] to be a MIPS opcode
8: print "nonfix div" # bug fixes; want [[div]] to be a MIPS opcode
9:
10: decode = "mipsdecode.sml";
11: print "structure MipsDecode = struct" > decode
12: print "val andb = Bits.andb" > decode
13: print "fun rshift(op1,amt) = " > decode
14: print " if amt<0 then Bits.lshift(op1,0-amt)" > decode
15: print " else Bits.rshift(op1,amt)" > decode
16: OPCODE = 1 ; SPECIAL = 2 ; BCOND = 3 ; COP1 = 4
17: stderr="/dev/tty"
18: }
19: function mlnumber(n, s) {
20: if (n<0) s = sprintf("~%d", -n)
21: else s = sprintf("%d", n)
22: return s
23: }
24: function min(x,y){
25: if (x<y) return x
26: else return y
27: }
28: function function_definition(name, argc, i, temp) {
29: if (argc==0) {
30: temp = sprintf("val %s = ", name)
31: } else {
32: temp = sprintf( "fun %s(", name)
33: for (i=1; i< argc; i++) temp = sprintf("%sA%d,", temp,i)
34: temp = sprintf( "%sA%d) = ", temp, argc)
35: }
36: return temp
37: }
38: function insist_fields(n) {
39: if (NF != n) {
40: print "Must have", n, "fields on line",NR ":", $0 > stderr
41: return 0
42: } else {
43: return 1
44: }
45: }
46: NF == 1 && $1 == "opcode" {
47: startline = NR
48: opcodes = 1
49: next
50: }
51: NF == 1 && $1 == "special" {
52: startline = NR
53: specials = 1
54: next
55: }
56: NF == 1 && $1 == "bcond" {
57: startline = NR
58: bconds = 1
59: next
60: }
61: NF == 1 && $1 == "cop1" {
62: startline = NR
63: cop1s = 1
64: next
65: }
66: NF == 0 {opcodes = 0; specials = 0; bconds = 0; cop1s = 0
67: fields = 0
68: instructions= 0
69: }
70: opcodes || specials || bconds || cop1s {
71: if (!insist_fields(8)) next
72: type = OPCODE * opcodes + SPECIAL * specials + BCOND * bconds + COP1 * cop1s
73: major = NR - startline - 1 # major octal digit from row
74: for (i=1; i<= NF; i++) {
75: minor = i-1 # minor octal digit from column
76: code = minor + 8 * major
77: if ($i != "*") {
78: numberof[$i] = code
79: typeof[$i] = type
80: opcode[type,code] = $i
81: } else {
82: opcode[type,code] = "reserved"
83: }
84: }
85: }
86: NF == 1 && $1 == "fields" {
87: startline = NR
88: fields = 1
89: print "val S_fmt = 16+0"
90: print "val D_fmt = 16+1"
91: print "val W_fmt = 16+4"
92:
93: next
94: }
95: fields {
96: if (!insist_fields(3)) next
97: fieldname = $1; low = $2; high = $3
98: if (substr(fieldname,1,1)=="+") {
99: signed = 1
100: fieldname = substr(fieldname,2)
101: } else {
102: signed = 0
103: }
104: fieldnames[fieldname]= 1 # rememeber all the field names
105:
106: if (low >= 16) {
107: printf "%s", function_definition(fieldname "LO",1); print "0"
108: } else {
109: printf "%s", function_definition(fieldname "LO",1)
110: printf "andb(lshift(A1,%d),65535)\n", low
111: }
112: if (high < 16) {
113: printf "%s", function_definition(fieldname "HI",1); print "0"
114: } else {
115: printf "%s", function_definition(fieldname "HI",1)
116: printf "lshift(A1,%s)\n", mlnumber(low - 16)
117: }
118: printf "%s", function_definition("THE" fieldname,2) > decode
119: if (signed) printf "let val n = " > decode
120: if (low >= 16) {
121: printf "0" > decode
122: } else {
123: printf "andb(rshift(A2,%d),%d)", low,
124: (2**(min(15,high)-low+1)-1) > decode
125: }
126: printf " + " > decode
127: if (high < 16) {
128: printf "0\n" > decode
129: } else {
130: printf "rshift(andb(A1,%d),%s)\n", (2**(high-16+1)-1),
131: mlnumber(low - 16) > decode
132: }
133: if (signed) {
134: printf "in if n < %d then n else n - %d\nend\n",
135: 2**(high-low), 2**(high-low+1) > decode
136: }
137:
138:
139: }
140: NF == 1 && $1 == "instructions" {
141: startline = NR
142: instructions = 1
143: next
144: }
145: instructions && $0 !~ /^#/ {
146: opname = $1
147:
148: temp = "\"" opname " \""
149: for (i=2; i<=NF; i++) {
150: temp = sprintf( "%s ^ \"%s = \" ^ S%s", temp, $i, $i)
151: if (i<NF) temp = sprintf("%s ^ \",\" ", temp)
152: }
153: displayof[opname]=temp " ^ \"\\n\""
154:
155: ######## gsub("[^a-z']+"," ") ### ill-advised
156:
157: printf "%s", function_definition(opname, NF-1)
158: printf "(" # open parenthesis for pair
159: for (i=2; i<= NF; i++) {
160: if (!($i in fieldnames)) {
161: print "unknown field", $i, "on line", NR > stderr
162: next
163: }
164: printf "%sHI(A%d)+", $i, i-1
165: }
166: if (typeof[opname]==OPCODE) {
167: printf "op'HI(%d)", numberof[opname]
168: } else if (typeof[opname]==SPECIAL) {
169: printf "op'HI(%d)+", numberof["special"]
170: printf "functHI(%d)", numberof[opname]
171: } else if (typeof[opname]==BCOND) {
172: printf "op'HI(%d)+", numberof["bcond"]
173: printf "condHI(%d)", numberof[opname]
174: } else if (typeof[opname]==COP1) {
175: printf "op'HI(%d)+", numberof["cop1"]
176: printf "functHI(%d)", numberof[opname]
177: } else {
178: print "unknown opcode", opname, "on line", NR > stderr
179: next
180: }
181: printf ", "
182: for (i=2; i<= NF; i++) {
183: if (!($i in fieldnames)) {
184: print "unknown field", $i, "on line", NR > stderr
185: next
186: }
187: printf "%sLO(A%d)+", $i, i-1
188: }
189: if (typeof[opname]==OPCODE) {
190: printf "op'LO(%d)", numberof[opname]
191: } else if (typeof[opname]==SPECIAL) {
192: printf "op'LO(%d)+", numberof["special"]
193: printf "functLO(%d)", numberof[opname]
194: } else if (typeof[opname]==BCOND) {
195: printf "op'LO(%d)+", numberof["bcond"]
196: printf "condLO(%d)", numberof[opname]
197: } else if (typeof[opname]==COP1) {
198: printf "op'LO(%d)+", numberof["cop1"]
199: printf "functLO(%d)", numberof[opname]
200: } else {
201: print "unknown opcode", opname, "on line", NR > stderr
202: next
203: }
204: printf ")\n"
205: }
206:
207: END {
208: printf "%s", function_definition("decode",2) > decode
209: print "let" > decode
210: for (f in fieldnames) {
211: printf "val %s = THE%s(A1,A2)\n", f, f > decode
212: printf "val S%s = Integer.makestring %s\n", f, f > decode
213: }
214: print "val do_special =" > decode
215: print "(case funct of" > decode
216: for (code=0; code<256; code++) {
217: name = opcode[SPECIAL,code]
218: if (name != "" && name != "reserved") {
219: if (code!=0) printf " | " > decode # hack but it works
220: else printf " " > decode
221: disp = displayof[name]
222: if (disp=="") disp="\"" name "(??? unknown format???)\\n\""
223: printf "%d => %s\n", code, disp > decode
224: }
225: }
226: printf " | _ => \"unknown special\\n\"\n" > decode
227: print " ) " > decode
228: print "val do_bcond =" > decode
229: print "(case cond of" > decode
230: for (code=0; code<256; code++) {
231: name = opcode[BCOND,code]
232: if (name != "" && name != "reserved") {
233: if (code!=0) printf " | " > decode # hack but it works
234: else printf " " > decode
235: disp = displayof[name]
236: if (disp=="") disp="\"" name "(??? unknown format???)\\n\""
237: printf "%d => %s\n", code, disp > decode
238: }
239: }
240: printf " | _ => \"unknown bcond\\n\"\n" > decode
241: print " ) " > decode
242: print "val do_cop1 =" > decode
243: print "(case funct of" > decode
244: for (code=0; code<256; code++) {
245: name = opcode[COP1,code]
246: if (name != "" && name != "reserved") {
247: if (code!=0) printf " | " > decode # hack but it works
248: else printf " " > decode
249: disp = displayof[name]
250: if (disp=="") disp="\"" name "(??? unknown format???)\\n\""
251: printf "%d => %s\n", code, disp > decode
252: }
253: }
254: printf " | _ => \"unknown cop1\\n\"\n" > decode
255: print " ) " > decode
256: print "in" > decode
257: print "(case op' of" > decode
258: for (code=0; code<256; code++) {
259: name = opcode[OPCODE,code]
260: if (name=="special") {
261: if (code!=0) printf " | " > decode # hack but it works
262: else printf " " > decode
263: printf "%d => %s\n", code, "do_special" > decode
264: } else if (name=="bcond") {
265: if (code!=0) printf " | " > decode # hack but it works
266: else printf " " > decode
267: printf "%d => %s\n", code, "do_bcond" > decode
268: } else if (name=="cop1") {
269: if (code!=0) printf " | " > decode # hack but it works
270: else printf " " > decode
271: printf "%d => %s\n", code, "do_cop1" > decode
272: } else if (name != "" && name != "reserved") {
273: if (code!=0) printf " | " > decode # hack but it works
274: else printf " " > decode
275: disp = displayof[name]
276: if (disp=="") disp="\"" name "(??? unknown format???)\\n\""
277: printf "%d => %s\n", code, disp > decode
278: }
279: }
280: printf " | _ => \"unknown opcode\\n\"\n" > decode
281: print " ) " > decode
282: print "end" > decode
283: print "end (* Opcodes *)"
284: print "end (* Decode *)" > decode
285: }
This archive runs on limited infrastructure. Preserving old code on modern bandwidth. Automated agents are requested to crawl responsibly.