gitweb on Svarog

projekti pod git sistemom za održavanje verzija -- projects under the git version control system
projects / mjc2wsl.git / blob
? search:


917978c8638ab26c787891b2b378ed579594e9a8
[mjc2wsl.git] / src / mjc2wsl.java
1 import java.io.*;
2 import java.util.*;
3
4 /**
5 * This program converts file from compiled MicroJava bytecode to WSL language
6 * which is a part of the FermaT Transformation system. MicroJava is a subset
7 * used in Compiler Construction courses by Hanspeter Moessenboeck, not
8 * "Java ME".
9 *
10 * @author Doni Pracner, http://perun.dmi.rs/pracner http://quemaster.com
11 */
12 public class mjc2wsl{
13 public static String versionN = "0.1.4";
14
15 public static final int M_ERR = 2, M_WAR = 1, M_DEB = 0;
16
17 private int printLevel = M_ERR;
18
19 private int[] messageCounters = new int[M_ERR+1];
20
21 private void message(String mes, int level){
22 if (level>=printLevel)
23 System.out.println(mes);
24 messageCounters[level]++;
25 }
26
27 private void printMessageCounters(){
28 printMessageCounters(System.out);
29 }
30
31 private void printMessageCounters(PrintStream out){
32 out.println("total errors:"+messageCounters[M_ERR]+" warnings:"+messageCounters[M_WAR]);
33 }
34
35 /** Constant used for marking a regular comment from the original file */
36 public static final char C_REG = ' ';
37 /**
38 * Constant used for marking when original code is inserted in the file,
39 * next to the translations
40 */
41 public static final char C_OC = '#';
42 /** Constant used for marking special messages from the translator */
43 public static final char C_SPEC = '&';
44 /** Constant used for marking error messages from the translator */
45 public static final char C_ERR = '!';
46
47 /** instruction code in MicroJava bytecode. */
48 public static final int
49 load = 1,
50 load_0 = 2,
51 load_1 = 3,
52 load_2 = 4,
53 load_3 = 5,
54 store = 6,
55 store_0 = 7,
56 store_1 = 8,
57 store_2 = 9,
58 store_3 = 10,
59 getstatic = 11,
60 putstatic = 12,
61 getfield = 13,
62 putfield = 14,
63 const_0 = 15,
64 const_1 = 16,
65 const_2 = 17,
66 const_3 = 18,
67 const_4 = 19,
68 const_5 = 20,
69 const_m1 = 21,
70 const_ = 22,
71 add = 23,
72 sub = 24,
73 mul = 25,
74 div = 26,
75 rem = 27,
76 neg = 28,
77 shl = 29,
78 shr = 30,
79 inc = 31,
80 new_ = 32,
81 newarray = 33,
82 aload = 34,
83 astore = 35,
84 baload = 36,
85 bastore = 37,
86 arraylength = 38,
87 pop = 39,
88 dup = 40,
89 dup2 = 41,
90 jmp = 42,
91 jeq = 43,
92 jne = 44,
93 jlt = 45,
94 jle = 46,
95 jgt = 47,
96 jge = 48,
97 call = 49,
98 return_ = 50,
99 enter = 51,
100 exit = 52,
101 read = 53,
102 print = 54,
103 bread = 55,
104 bprint = 56,
105 trap = 57;
106
107 public String getStandardStart(){
108 StringBuilder ret = new StringBuilder(
109 "C:\" This file automatically converted from microjava bytecode\";\n"
110 +"C:\" with mjc2wsl v "+versionN+"\";\n");
111
112 ret.append("VAR < tempa := 0, tempb := 0, tempres :=0,\n\t");
113 for (int i = 0; i <= 3; i++)
114 ret.append("mjvm_loc" + i + " := 0, ");
115 ret.append("\n mjvm_estack := < >, mjvm_mstack := < >, ");
116 ret.append("\n mjvm_fp := 0, mjvm_sp := 0,");
117 ret.append("\n t_e_m_p := 0 > :");
118
119 return ret.toString();
120 }
121
122 public String getStandardEnd(){
123 return "SKIP\nENDVAR";
124 }
125
126 private boolean originalInComments = false;
127
128 private HashMap<Integer,String> opMap = null;
129
130 private String opCodeFile = "mj-bytecodes.properties";
131
132 private HashMap<Integer,String> getOpMap() {
133 if (opMap==null) {
134 opMap = new HashMap<Integer, String> (60, 0.98f);
135 try{
136 BufferedReader in = new BufferedReader(
137 new InputStreamReader(getClass().getResourceAsStream(opCodeFile)));
138 String str = in.readLine();
139 while (str != null) {
140 String[] ss = str.split("=");
141 opMap.put(Integer.parseInt(ss[0]),ss[1]);
142 str = in.readLine();
143 }
144 in.close();
145 }catch (Exception ex) {
146 ex.printStackTrace();
147 }
148 }
149 return opMap;
150 }
151
152 public String getOpString(int op) {
153 return getOpMap().get(op);
154 }
155
156 public String describeOpCode(int op) {
157 return op + " (" + getOpString(op) + ")";
158 }
159
160 private InputStream mainIn;
161 private PrintWriter out = null;
162 private int counter = -1;
163
164 private void pr(int i){
165 out.print(i);
166 }
167
168 private void pr(char i){
169 out.print(i);
170 }
171
172 private void pr(String i){
173 out.print(i);
174 }
175
176 private void prl(String i){
177 out.println(i);
178 }
179
180 private int get() {
181 int res = -1;
182 try {
183 res = mainIn.read();
184 if (res >= 0)
185 res = res << 24 >>> 24;
186 } catch (IOException ex) {
187 ex.printStackTrace();
188 }
189 counter++;
190 return res;
191 }
192
193 private int get2() {
194 return (get() * 256 + get()) << 16 >> 16;
195 }
196
197 private int get4() {
198 return (get2() << 16) + (get2() << 16 >>> 16);
199 }
200
201 private String loc(int i){
202 return "mjvm_loc" + i;
203 }
204
205 /**
206 * Creates a WSL comment with care to quote chars.
207 */
208 public static String createComment(String str){
209 return createComment(str, C_REG);
210 }
211
212 /**
213 * Creates a WSL comment with care to quote chars, of the
214 * given type. Types are given as char constants. They can be
215 * default comments, comments that contain the original code
216 * in them, or additional comments regarding the translation
217 * process.
218 */
219 public static String createComment(String str, char type) {
220 return "C:\"" + type + str.replace("\"", "''") + "\";";
221 }
222
223 //Expression stack
224
225 private String cmdToEStack(int i) {
226 return "mjvm_estack := <" + i + " > ++ mjvm_estack;";
227 }
228
229 private String cmdToEStack(String i) {
230 return "mjvm_estack := <" + i + " > ++ mjvm_estack;";
231 }
232
233 private String cmdFromEStack(String st) {
234 return st + " := HEAD(mjvm_estack); mjvm_estack := TAIL(mjvm_estack);";
235 }
236
237 private String getTopTwo(){
238 return cmdFromEStack("tempa") + "\n" + cmdFromEStack("tempb");
239 }
240
241 private String getTop() {
242 return cmdFromEStack("tempa");
243 }
244
245 //Method stack
246
247 private String cmdToMStack(int i) {
248 return "mjvm_mstack := <" + i + " > ++ mjvm_mstack;";
249 }
250
251 private String cmdToMStack(String i) {
252 return "mjvm_mstack := <" + i + " > ++ mjvm_mstack;";
253 }
254
255 private String cmdFromMStack(String st) {
256 return st + " := HEAD(mjvm_mstack); mjvm_mstack := TAIL(mjvm_mstack);";
257 }
258
259 private String getRelationFor(int opcode) throws Exception {
260 switch (opcode) {
261 case jeq: return "=";
262 case jne: return "<>";
263 case jlt: return "<";
264 case jle: return "<=";
265 case jgt: return ">";
266 case jge: return ">=";
267 }
268 throw new Exception("Wrong opcode for a relation");
269 }
270
271 public void convertStream(InputStream ins) throws Exception{
272 mainIn = ins;
273 //process start
274 byte m = (byte) get();
275 byte j = (byte) get();
276 if (m!='M' || j !='J')
277 throw new Exception("Wrong start of bytecode file");
278 int codesize = get4();
279 int numberOfWords = get4();
280 int mainAdr = get4();
281
282 prl(getStandardStart());
283 prl("SKIP;\n ACTIONS A_S_start:\n A_S_start == CALL a"+(14+mainAdr)+" END");
284 int op = get();
285 while (op >= 0) {
286 if (originalInComments)
287 prl(createComment(describeOpCode(op), C_OC));
288 prl("a" + counter + " == ");
289 switch (op) {
290 case load: {
291 prl(cmdToEStack(loc(get())));
292 break;
293 }
294 case load_0:
295 case load_1:
296 case load_2:
297 case load_3: {
298 prl(cmdToEStack(loc(op - load_0)));
299 break;
300 }
301 case store: {
302 prl(cmdFromEStack(loc(get())));
303 break;
304 }
305 case store_0:
306 case store_1:
307 case store_2:
308 case store_3: {
309 prl(cmdFromEStack(loc(op - store_0)));
310 break;
311 }
312
313 //TODO getstatic, putstatic
314 //TODO getfield, putfield
315
316 case const_: {
317 prl(cmdToEStack(get4()));
318 break;
319 }
320
321 case const_0:
322 case const_1:
323 case const_2:
324 case const_3:
325 case const_4:
326 case const_5: {
327 prl(cmdToEStack(op - const_0));
328 break;
329 }
330
331 case add: {
332 prl(getTopTwo());
333 prl("tempres := tempb + tempa;");
334 prl(cmdToEStack("tempres"));
335 break;
336 }
337 case sub: {
338 prl(getTopTwo());
339 prl("tempres := tempb - tempa;");
340 prl(cmdToEStack("tempres"));
341 break;
342 }
343 case mul: {
344 prl(getTopTwo());
345 prl("tempres := tempb * tempa;");
346 prl(cmdToEStack("tempres"));
347 break;
348 }
349 case div: {
350 prl(getTopTwo());
351 prl("IF tempa = 0 THEN ERROR(\"division by zero\") FI;");
352 prl("tempres := tempb DIV tempa;");
353 prl(cmdToEStack("tempres"));
354 break;
355 }
356 case rem: {
357 prl(getTopTwo());
358 prl("IF tempa = 0 THEN ERROR(\"division by zero\") FI;");
359 prl("tempres := tempb MOD tempa;");
360 prl(cmdToEStack("tempres"));
361 break;
362 }
363
364 //TODO neg, shl, shr, inc
365 //TODO new_ newarray
366 //TODO aload, asstore, baload, bastore
367 //TODO arraylength
368 //TODO pop, dup, dup2
369
370 case jmp: {
371 prl("CALL a" + (counter + get2()) + ";");
372 break;
373 }
374
375 case jeq:
376 case jne:
377 case jlt:
378 case jle:
379 case jgt:
380 case jge: {
381 prl(getTopTwo());
382 prl("IF tempb "+ getRelationFor(op)
383 +" tempa THEN CALL a" + (counter + get2())
384 + " FI;");
385 break;
386 }
387
388 case call: {
389 prl(cmdToMStack(counter+2));
390 prl("CALL a" + (counter + get2()) + ";");
391 break;
392 }
393
394 case return_: {
395 prl("IF EMPTY?(mjvm_mstack) THEN CALL Z ELSE");
396 //else we let things return
397 prl(cmdFromMStack("tempa"));
398 prl("SKIP FI");
399 prl("END b"+counter+" ==");
400 break;
401 }
402 case enter: {
403 prl(createComment("enter not fully procesed yet"));
404 message("enter not fully procesed yet", M_WAR);
405 get();
406 get();
407 break;
408 }
409 case exit: {
410 prl(createComment("exit not fully procesed yet"));
411 message("exit not fully procesed yet", M_WAR);
412 break;
413 }
414
415 //TODO read, print
416 case read: {
417 prl("tempa := @String_To_Num(@Read_Line(Standard_Input_Port));");
418 prl(cmdToEStack("tempa"));
419 break;
420 }
421
422 // the prints
423 case bprint: {
424 prl(getTopTwo());
425 prl("PRINT(tempb);");
426 break;
427 }
428 case print: {
429 // TODO need to make it a char
430 prl(getTopTwo());
431 prl("PRINT(tempb);");
432 break;
433 }
434
435 case trap: {
436 // TODO finish trap
437 prl(createComment("trap not fully procesed yet"));
438 message("trap not fully procesed yet", M_WAR);
439 get();
440 break;
441 }
442
443
444 default:
445 prl(createComment("unknown op error: " + op, C_ERR));
446 message("unknown op error: "+ op, M_ERR);
447 break;
448 }
449
450 op = get();
451 if (op >= 0)
452 prl("CALL a" + counter + " END");
453 }
454 prl("CALL Z;\nSKIP END\nENDACTIONS;\n");
455 prl(getStandardEnd());
456
457 }
458
459 public void convertFile(File f) {
460 try {
461 convertStream(new FileInputStream(f));
462 } catch (Exception ex) {
463 ex.printStackTrace();
464 }
465 }
466
467 public void printHelp() {
468 System.out.println("MicroJava bytecode to WSL converter. v " + versionN
469 + ", by Doni Pracner");
470 System.out.println("usage:\n\t {options} mjc2wsl filename [outfile]");
471 System.out.println("options:\n\t--screen print output to screen");
472 System.out.println("\t-o --oc[+-] include original code in comments");
473 System.out.println("\t-v verbose, print warning messages");
474 System.out.println("\t-q don't print even the error messages");
475 System.out.println("\t-d print detailed debug messages");
476 }
477
478 public String makeDefaultOutName(String inname){
479 String rez = inname;
480 if (inname.endsWith(".obj"))
481 rez = rez.substring(0, rez.length() - 4);
482 return rez + ".wsl";
483 }
484
485 public void run(String[] args) {
486 if (args.length == 0) {
487 printHelp();
488 } else {
489 int i = 0;
490 while (i < args.length && args[i].charAt(0) == '-') {
491 if (args[i].compareTo("-h") == 0) {
492 printHelp();
493 return;
494 } else if (args[i].compareTo("-o") == 0
495 || args[i].startsWith("--oc")) {
496 if (args[i].length() == 2)
497 originalInComments = true;
498 else if (args[i].length() == 5)
499 originalInComments = args[i].charAt(4) == '+';
500 else
501 originalInComments = true;
502 } else if (args[i].startsWith("--screen")) {
503 out = new PrintWriter(System.out);
504 } else if (args[i].compareTo("-d") == 0) {
505 printLevel = M_DEB;//print debug info
506 } else if (args[i].compareTo("-v") == 0) {
507 printLevel = M_WAR;//print warnings
508 } else if (args[i].compareTo("-q") == 0) {
509 printLevel = M_ERR+1;//no printing
510 }
511 i++;
512 }
513
514 if (i >= args.length) {
515 System.out.println("no filename supplied");
516 System.exit(2);
517 }
518 File f = new File(args[i]);
519
520 if (i + 1 < args.length) {
521 try {
522 out = new PrintWriter(args[i + 1]);
523 } catch (Exception e) {
524 System.err.println("error in opening out file:");
525 e.printStackTrace();
526 }
527 }
528 if (out == null) {
529 // if not set to screen, or a file, make a default filename
530 try {
531 out = new PrintWriter(makeDefaultOutName(args[i]));
532 } catch (Exception e) {
533 System.err.println("error in opening out file:");
534 e.printStackTrace();
535 }
536 }
537 if (f.exists()) {
538 Calendar now = Calendar.getInstance();
539 convertFile(f);
540 long mili = Calendar.getInstance().getTimeInMillis()
541 - now.getTimeInMillis();
542 System.out.println("conversion time:" + mili + " ms");
543 printMessageCounters();
544 out.close();
545 } else
546 System.out.println("file does not exist");
547 }
548 }
549
550 public static void main(String[] args) {
551 new mjc2wsl().run(args);
552 }
553 }
MicroJava ByteCode to WSL tool
Svarog.pmf.uns.ac.rs/gitweb maintanance Doni Pracner