gitweb on Svarog

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


dafe6e441026954abe0e8b4c6271f5884e810b87
[mjc2wsl.git] / 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 private boolean genPauseAfterEachAddress=false,
36 genPrintForEachAddress = false,
37 genPrintEStackOnChange = false;
38
39 /** Constant used for marking a regular comment from the original file */
40 public static final char C_REG = ' ';
41 /**
42 * Constant used for marking when original code is inserted in the file,
43 * next to the translations
44 */
45 public static final char C_OC = '#';
46 /** Constant used for marking special messages from the translator */
47 public static final char C_SPEC = '&';
48 /** Constant used for marking error messages from the translator */
49 public static final char C_ERR = '!';
50
51 /** instruction code in MicroJava bytecode. */
52 public static final int
53 load = 1,
54 load_0 = 2,
55 load_1 = 3,
56 load_2 = 4,
57 load_3 = 5,
58 store = 6,
59 store_0 = 7,
60 store_1 = 8,
61 store_2 = 9,
62 store_3 = 10,
63 getstatic = 11,
64 putstatic = 12,
65 getfield = 13,
66 putfield = 14,
67 const_0 = 15,
68 const_1 = 16,
69 const_2 = 17,
70 const_3 = 18,
71 const_4 = 19,
72 const_5 = 20,
73 const_m1 = 21,
74 const_ = 22,
75 add = 23,
76 sub = 24,
77 mul = 25,
78 div = 26,
79 rem = 27,
80 neg = 28,
81 shl = 29,
82 shr = 30,
83 inc = 31,
84 new_ = 32,
85 newarray = 33,
86 aload = 34,
87 astore = 35,
88 baload = 36,
89 bastore = 37,
90 arraylength = 38,
91 pop = 39,
92 dup = 40,
93 dup2 = 41,
94 jmp = 42,
95 jeq = 43,
96 jne = 44,
97 jlt = 45,
98 jle = 46,
99 jgt = 47,
100 jge = 48,
101 call = 49,
102 return_ = 50,
103 enter = 51,
104 exit = 52,
105 read = 53,
106 print = 54,
107 bread = 55,
108 bprint = 56,
109 trap = 57;
110
111 public String createStandardStart(){
112 return createStandardStart(10);
113 }
114
115 public String createStandardStart(int numWords){
116 StringBuilder ret = new StringBuilder(
117 "C:\" This file automatically converted from microjava bytecode\";\n"
118 +"C:\" with mjc2wsl v "+versionN+"\";\n");
119
120 ret.append("VAR < tempa := 0, tempb := 0, tempres :=0,\n\t");
121 ret.append("mjvm_locals := ARRAY(1,0), ");
122 ret.append("\n\tmjvm_statics := ARRAY("+numWords+",0), ");
123 ret.append("\n\tmjvm_arrays := < >, ");
124 ret.append("\n\tmjvm_objects := < >, ");
125 ret.append("\n mjvm_estack := < >, mjvm_mstack := < >, ");
126 ret.append("\n mjvm_fp := 0, mjvm_sp := 0,");
127 ret.append("\n t_e_m_p := 0 > :");
128
129 return ret.toString();
130 }
131
132 public String createStandardEnd(){
133 return "SKIP\nENDVAR";
134 }
135
136 private boolean originalInComments = false;
137
138 private HashMap<Integer,String> opMap = null;
139
140 private String opCodeFile = "mj-bytecodes.properties";
141
142 private HashMap<Integer, String> getOpMap() {
143 if (opMap == null) {
144 opMap = new HashMap<Integer, String>(60, 0.98f);
145 try {
146 BufferedReader in = new BufferedReader(new InputStreamReader(
147 getClass().getResourceAsStream(opCodeFile)));
148 String str = in.readLine();
149 while (str != null) {
150 String[] ss = str.split("=");
151 opMap.put(Integer.parseInt(ss[0]), ss[1]);
152 str = in.readLine();
153 }
154 in.close();
155 } catch (Exception ex) {
156 ex.printStackTrace();
157 }
158 }
159 return opMap;
160 }
161
162 public String getOpString(int op) {
163 return getOpMap().get(op);
164 }
165
166 public String describeOpCode(int op) {
167 return op + " (" + getOpString(op) + ")";
168 }
169
170 private InputStream mainIn;
171 private PrintWriter out = null;
172 private int counter = -1;
173
174 private void pr(int i){
175 out.print(i);
176 }
177
178 private void pr(char i){
179 out.print(i);
180 }
181
182 private void pr(String i){
183 out.print(i);
184 }
185
186 private void prl(String i){
187 out.println(i);
188 }
189
190 private int get() {
191 int res = -1;
192 try {
193 res = mainIn.read();
194 if (res >= 0)
195 res = res << 24 >>> 24;
196 } catch (IOException ex) {
197 ex.printStackTrace();
198 }
199 counter++;
200 return res;
201 }
202
203 private int get2() {
204 return (get() * 256 + get()) << 16 >> 16;
205 }
206
207 private int get4() {
208 return (get2() << 16) + (get2() << 16 >>> 16);
209 }
210
211 private String createLocal(int i) {
212 // arrays start at 1 in WSL, so we need an offset
213 return "mjvm_locals[" + (i + 1) + "]";
214 }
215
216 private String createStatic(int i) {
217 return "mjvm_statics[" + (i + 1) + "]";
218 }
219
220 private String createArray(int i) {
221 return "mjvm_arrays[" + i + "]";
222 }
223
224 private String createArray(String i) {
225 return "mjvm_arrays[" + i + "]";
226 }
227
228 private String createObject(String i) {
229 return "mjvm_objects[" + i + "]";
230 }
231
232 /**
233 * Creates a WSL comment with care to quote chars.
234 */
235 public static String createComment(String str){
236 return createComment(str, C_REG);
237 }
238
239 /**
240 * Creates a WSL comment with care to quote chars, of the
241 * given type. Types are given as char constants. They can be
242 * default comments, comments that contain the original code
243 * in them, or additional comments regarding the translation
244 * process.
245 */
246 public static String createComment(String str, char type) {
247 return "C:\"" + type + str.replace("\"", "''") + "\";";
248 }
249
250 //Expression stack
251
252 private String createToEStack(int i) {
253 String res = "mjvm_estack := <" + i + " > ++ mjvm_estack;";
254 if (genPrintEStackOnChange)
255 res += "PRINT(\"eStack\",mjvm_estack);";
256 return res;
257 }
258
259 private String createToEStack(String i) {
260 String res = "mjvm_estack := <" + i + " > ++ mjvm_estack;";
261 if (genPrintEStackOnChange)
262 res += "PRINT(\"eStack\",mjvm_estack);";
263 return res;
264 }
265
266 private String createFromEStack(String st) {
267 String res = st
268 + " := HEAD(mjvm_estack); mjvm_estack := TAIL(mjvm_estack);";
269 if (genPrintEStackOnChange)
270 res += "PRINT(\"eStack\",mjvm_estack);";
271 return res;
272 }
273
274 private String createPopEStack() {
275 String res = "mjvm_estack := TAIL(mjvm_estack);";
276 if (genPrintEStackOnChange)
277 res += "PRINT(\"eStack\",mjvm_estack);";
278 return res;
279 }
280
281 private String createTopTwoEStack() {
282 return createFromEStack("tempa") + "\n" + createFromEStack("tempb");
283 }
284
285 private String createTopEStack() {
286 return createFromEStack("tempa");
287 }
288
289 //Method stack
290
291 private String createToMStack(int i) {
292 return "mjvm_mstack := <" + i + " > ++ mjvm_mstack;";
293 }
294
295 private String createToMStack(String i) {
296 return "mjvm_mstack := <" + i + " > ++ mjvm_mstack;";
297 }
298
299 private String createFromMStack(String st) {
300 return st + " := HEAD(mjvm_mstack); mjvm_mstack := TAIL(mjvm_mstack);";
301 }
302
303 private String getRelationFor(int opcode) throws Exception {
304 switch (opcode) {
305 case jeq: return "=";
306 case jne: return "<>";
307 case jlt: return "<";
308 case jle: return "<=";
309 case jgt: return ">";
310 case jge: return ">=";
311 }
312 throw new Exception("Wrong opcode for a relation");
313 }
314
315 private boolean isJumpCode(int opcode) {
316 return (opcode >= jmp) && (opcode <= jge);
317 }
318
319 public void convertStream(InputStream ins) throws Exception{
320 mainIn = ins;
321 //process start
322 byte m = (byte) get();
323 byte j = (byte) get();
324 if (m!='M' || j !='J')
325 throw new Exception("Wrong start of bytecode file");
326 int codesize = get4();
327 int numberOfWords = get4();
328 int mainAdr = get4();
329
330 prl(createStandardStart(numberOfWords));
331 prl("SKIP;\n ACTIONS A_S_start:\n A_S_start == CALL a" + (14 + mainAdr)
332 + " END");
333 int op = get();
334 while (op >= 0) {
335 if (originalInComments)
336 prl(createComment(describeOpCode(op), C_OC));
337 prl("a" + counter + " == ");
338 if (genPrintForEachAddress) {
339 prl("PRINT(\"a" + counter + "\");");
340 if (genPauseAfterEachAddress)
341 prl("debug_disposable_string := @Read_Line(Standard_Input_Port);");
342 }
343 switch (op) {
344 case load: {
345 prl(createToEStack(createLocal(get())));
346 break;
347 }
348 case load_0:
349 case load_1:
350 case load_2:
351 case load_3: {
352 prl(createToEStack(createLocal(op - load_0)));
353 break;
354 }
355 case store: {
356 prl(createFromEStack(createLocal(get())));
357 break;
358 }
359 case store_0:
360 case store_1:
361 case store_2:
362 case store_3: {
363 prl(createFromEStack(createLocal(op - store_0)));
364 break;
365 }
366
367 case getstatic: {
368 prl(createToEStack(createStatic(get2())));
369 break;
370 }
371 case putstatic: {
372 prl(createFromEStack(createStatic(get2())));
373 break;
374 }
375
376 case getfield: {
377 int f = get2();
378 prl(createTopEStack());
379 prl(createToEStack(createObject("tempa") + "[" + (f + 1) + "]"));
380 break;
381 }
382 case putfield: {
383 int f = get2();
384 // we need to use a temparray as a pointer, WSL
385 // otherwise tries to access it as a list of lists and fails
386 prl(createTopTwoEStack());
387 prl("VAR < tempArray := " + createObject("tempb") + " > :");
388 prl("tempArray[" + (f + 1) + "]:=tempa ENDVAR;");
389 break;
390 }
391
392 case const_: {
393 prl(createToEStack(get4()));
394 break;
395 }
396
397 case const_0:
398 case const_1:
399 case const_2:
400 case const_3:
401 case const_4:
402 case const_5: {
403 prl(createToEStack(op - const_0));
404 break;
405 }
406
407 case add: {
408 prl(createTopTwoEStack());
409 prl("tempres := tempb + tempa;");
410 prl(createToEStack("tempres"));
411 break;
412 }
413 case sub: {
414 prl(createTopTwoEStack());
415 prl("tempres := tempb - tempa;");
416 prl(createToEStack("tempres"));
417 break;
418 }
419 case mul: {
420 prl(createTopTwoEStack());
421 prl("tempres := tempb * tempa;");
422 prl(createToEStack("tempres"));
423 break;
424 }
425 case div: {
426 prl(createTopTwoEStack());
427 prl("IF tempa = 0 THEN ERROR(\"division by zero\") FI;");
428 prl("tempres := tempb DIV tempa;");
429 prl(createToEStack("tempres"));
430 break;
431 }
432 case rem: {
433 prl(createTopTwoEStack());
434 prl("IF tempa = 0 THEN ERROR(\"division by zero\") FI;");
435 prl("tempres := tempb MOD tempa;");
436 prl(createToEStack("tempres"));
437 break;
438 }
439
440 case neg: {
441 prl(createTopEStack());
442 prl(createToEStack("-tempa"));
443 break;
444 }
445
446 case shl: {
447 prl(createTopTwoEStack());
448 prl("VAR <tempres :=tempb, i:=1 >:");
449 prl("\tFOR i:=1 TO tempa STEP 1 DO tempres := tempres * 2 OD;");
450 prl(createToEStack("tempres"));
451 prl("ENDVAR;");
452 break;
453 }
454 case shr: {
455 prl(createTopTwoEStack());
456 prl("VAR <tempres :=tempb, i:=1 >:");
457 prl("\tFOR i:=1 TO tempa STEP 1 DO tempres := tempres DIV 2 OD;");
458 prl(createToEStack("tempres"));
459 prl("ENDVAR;");
460 break;
461 }
462
463 case inc: {
464 int b1 = get(), b2 = get();
465 prl(createLocal(b1) + " := " + createLocal(b1) + " + " + b2 + ";");
466 break;
467 }
468
469 case new_: {
470 int size = get2();
471 // TODO maybe objects and arrays should be in the same list?
472 prl("mjvm_objects := mjvm_objects ++ < ARRAY(" + size
473 + ",0) >;");
474 prl(createToEStack("LENGTH(mjvm_objects)"));
475 break;
476 }
477 case newarray: {
478 get();// 0 - bytes, 1 - words; ignore for now
479 // TODO take into consideration 0/1
480 prl(createTopEStack());
481 prl("mjvm_arrays := mjvm_arrays ++ < ARRAY(tempa,0) >;");
482 prl(createToEStack("LENGTH(mjvm_arrays)"));
483 break;
484 }
485
486 case aload:
487 case baload: {
488 prl(createTopTwoEStack());
489 prl(createToEStack(createArray("tempb") + "[tempa+1]"));
490 break;
491 }
492 case astore:
493 case bastore: {
494 prl(createFromEStack("tempres"));
495 prl(createTopTwoEStack());
496 // we need to use a temparray as a pointer, WSL
497 // otherwise tries to access it as a list of lists and fails
498 prl("VAR < tempArray := " + createArray("tempb") + " > :");
499 prl("tempArray[tempa+1]:=tempres ENDVAR;");
500 break;
501 }
502 case arraylength: {
503 prl(createTopEStack());
504 // TODO make an array length function of some sort!
505 prl(createComment(
506 "array length not known - LENGTH not aplicable to arrays",
507 C_ERR));
508 message("array length not known - LENGTH not aplicable to arrays",
509 M_ERR);
510 prl(createComment("put 1 on the stack for consistency", C_SPEC));
511 prl(createToEStack(1));
512 break;
513 }
514
515 case dup: {
516 prl(createTopEStack());
517 prl(createToEStack("tempa"));
518 prl(createToEStack("tempa"));
519 break;
520 }
521 case dup2: {
522 prl(createTopTwoEStack());
523 prl(createToEStack("tempb"));
524 prl(createToEStack("tempa"));
525 prl(createToEStack("tempb"));
526 prl(createToEStack("tempa"));
527 break;
528 }
529
530 case pop: {
531 prl(createPopEStack());
532 break;
533 }
534
535 case jmp: {
536 prl("CALL a" + (counter + get2()) + ";");
537 break;
538 }
539
540 case jeq:
541 case jne:
542 case jlt:
543 case jle:
544 case jgt:
545 case jge: {
546 prl(createTopTwoEStack());
547 prl("IF tempb " + getRelationFor(op) + " tempa THEN CALL a"
548 + (counter + get2()) + " ELSE CALL a" + (counter + 1)
549 + " FI;");
550 break;
551 }
552
553 case call: {
554 prl("CALL a" + (counter + get2()) + ";");
555 break;
556 }
557
558 case return_: {
559 // we let the actions return
560 // there is nothing to clean up
561 prl("SKIP END b" + counter + " ==");
562 break;
563 }
564 case enter: {
565 int parameters = get();
566
567 int locals = get();
568 prl(createToMStack("mjvm_locals"));
569 prl("mjvm_locals := ARRAY(" + locals + ",0);");
570 for (int i = parameters - 1; i >= 0; i--)
571 prl(createFromEStack(createLocal(i)));
572 break;
573 }
574 case exit: {
575 prl(createFromMStack("mjvm_locals"));
576 break;
577 }
578
579 // read, print
580 case bread: {
581 // TODO make it a char for read
582 message("char is read like a number", M_WAR);
583 prl(createComment("char is read like a number", C_SPEC));
584 }
585 case read: {
586 prl("tempa := @String_To_Num(@Read_Line(Standard_Input_Port));");
587 prl(createToEStack("tempa"));
588 break;
589 }
590
591 // the prints
592 case bprint: {
593 // TODO need to make it a char on print
594 message("chars will be printed as number codes", M_WAR);
595 prl(createComment("char will be printed as a number code",
596 C_SPEC));
597 }
598 case print: {
599 // TODO printing numbers needs different lengths of spacing
600 prl(createTopTwoEStack());
601 pr(createComment("print spacing", C_SPEC));
602 prl("IF tempa>1 THEN FOR i:=2 TO tempa STEP 1 DO PRINFLUSH(\" \") OD FI;");
603 prl("PRINFLUSH(tempb);");
604 break;
605 }
606
607 case trap: {
608 prl("ERROR(\"Runtime error: trap(" + get() + ")\");");
609 break;
610 }
611
612 default:
613 prl(createComment("unknown op error: " + op, C_ERR));
614 message("unknown op error: " + op, M_ERR);
615 break;
616 }
617
618 boolean wasJump = isJumpCode(op);
619 op = get();
620 if (op >= 0)
621 if (wasJump)
622 prl("SKIP END");
623 else
624 prl("CALL a" + counter + " END");
625 }
626 prl("CALL Z;\nSKIP END\nENDACTIONS;\n");
627 prl(createStandardEnd());
628 }
629
630 public void convertFile(File f) {
631 try {
632 convertStream(new FileInputStream(f));
633 } catch (Exception ex) {
634 ex.printStackTrace();
635 }
636 }
637
638 public void printHelp() {
639 System.out.println("MicroJava bytecode to WSL converter. v " + versionN
640 + ", by Doni Pracner");
641 System.out.println("usage:\n\t mjc2wsl {options} filename [outfile]");
642 System.out.println("options:\n\t--screen print output to screen");
643 System.out.println("\t-o --oc[+-] include original code in comments");
644 System.out.println("\t-v verbose, print warning messages");
645 System.out.println("\t-q don't print even the error messages");
646 System.out.println("\t-d print detailed debug messages");
647 }
648
649 public String makeDefaultOutName(String inname){
650 String rez = inname;
651 if (inname.endsWith(".obj"))
652 rez = rez.substring(0, rez.length() - 4);
653 return rez + ".wsl";
654 }
655
656 public void run(String[] args) {
657 if (args.length == 0) {
658 printHelp();
659 } else {
660 int i = 0;
661 while (i < args.length && args[i].charAt(0) == '-') {
662 if (args[i].compareTo("-h") == 0) {
663 printHelp();
664 return;
665 } else if (args[i].compareTo("-o") == 0
666 || args[i].startsWith("--oc")) {
667 if (args[i].length() == 2)
668 originalInComments = true;
669 else if (args[i].length() == 5)
670 originalInComments = args[i].charAt(4) == '+';
671 else
672 originalInComments = true;
673 } else if (args[i].compareTo("--screen") == 0) {
674 out = new PrintWriter(System.out);
675 } else if (args[i].compareTo("-d") == 0) {
676 printLevel = M_DEB;// print debug info
677 } else if (args[i].compareTo("-v") == 0) {
678 printLevel = M_WAR;// print warnings
679 } else if (args[i].compareTo("-q") == 0) {
680 printLevel = M_ERR + 1;// no printing
681 } else if (args[i].compareToIgnoreCase("--genEStackPrint") == 0) {
682 genPrintEStackOnChange = true;
683 } else if (args[i].compareToIgnoreCase("--genAddrPause") == 0) {
684 genPauseAfterEachAddress = true;
685 } else if (args[i].compareToIgnoreCase("--genAddrPrint") == 0) {
686 genPrintForEachAddress = true;
687 } else if (args[i].compareToIgnoreCase("--genAddr") == 0) {
688 genPrintForEachAddress = true;
689 genPauseAfterEachAddress = true;
690 } else if (args[i].compareToIgnoreCase("--genAll") == 0) {
691 genPrintEStackOnChange = true;
692 genPrintForEachAddress = true;
693 genPauseAfterEachAddress = true;
694 }
695 i++;
696 }
697
698 if (i >= args.length) {
699 System.out.println("no filename supplied");
700 System.exit(2);
701 }
702 File f = new File(args[i]);
703
704 if (i + 1 < args.length) {
705 try {
706 out = new PrintWriter(args[i + 1]);
707 } catch (Exception e) {
708 System.err.println("error in opening out file:");
709 e.printStackTrace();
710 }
711 }
712 if (out == null) {
713 // if not set to screen, or a file, make a default filename
714 try {
715 out = new PrintWriter(makeDefaultOutName(args[i]));
716 } catch (Exception e) {
717 System.err.println("error in opening out file:");
718 e.printStackTrace();
719 }
720 }
721 if (f.exists()) {
722 Calendar now = Calendar.getInstance();
723 convertFile(f);
724 long mili = Calendar.getInstance().getTimeInMillis()
725 - now.getTimeInMillis();
726 System.out.println("conversion time:" + mili + " ms");
727 printMessageCounters();
728 out.close();
729 } else
730 System.out.println("file does not exist");
731 }
732 }
733
734 public static void main(String[] args) {
735 new mjc2wsl().run(args);
736 }
737 }
MicroJava ByteCode to WSL tool
Svarog.pmf.uns.ac.rs/gitweb maintanance Doni Pracner