X-Git-Url: http://svarog.pmf.uns.ac.rs/gitweb/?p=mjc2wsl.git;a=blobdiff_plain;f=src%2Fmjc2wsl.java;h=16b0e3766a5c721e008097b7f223841b105fae4b;hp=c8da105e4bff4a081b92d20fd690f4a16f6fbc64;hb=29066990720e2feaa5ed90608a9a6a7ea983f7a7;hpb=16b6eee0dce46948aca7f014514d5cfc76b4774e diff --git a/src/mjc2wsl.java b/src/mjc2wsl.java index c8da105..16b0e37 100644 --- a/src/mjc2wsl.java +++ b/src/mjc2wsl.java @@ -109,12 +109,17 @@ public class mjc2wsl{ trap = 57; public String getStandardStart(){ + return getStandardStart(10); + } + + public String getStandardStart(int numWords){ StringBuilder ret = new StringBuilder( "C:\" This file automatically converted from microjava bytecode\";\n" +"C:\" with mjc2wsl v "+versionN+"\";\n"); ret.append("VAR < tempa := 0, tempb := 0, tempres :=0,\n\t"); ret.append("mjvm_locals := ARRAY(1,0), "); + ret.append("\n\tmjvm_statics := ARRAY("+numWords+",0), "); ret.append("\n mjvm_estack := < >, mjvm_mstack := < >, "); ret.append("\n mjvm_fp := 0, mjvm_sp := 0,"); ret.append("\n t_e_m_p := 0 > :"); @@ -206,6 +211,10 @@ public class mjc2wsl{ return "mjvm_locals[" + (i+1)+"]"; } + private String genStatic(int i){ + return "mjvm_statics[" + (i+1)+"]"; + } + /** * Creates a WSL comment with care to quote chars. */ @@ -244,6 +253,13 @@ public class mjc2wsl{ return res; } + private String cmdPopEStack() { + String res = "mjvm_estack := TAIL(mjvm_estack);"; + if (genPrintEStackOnChange) res +="PRINT(\"eStack\",mjvm_estack);"; + return res; + } + + private String getTopTwo(){ return cmdFromEStack("tempa") + "\n" + cmdFromEStack("tempb"); } @@ -293,7 +309,7 @@ public class mjc2wsl{ int numberOfWords = get4(); int mainAdr = get4(); - prl(getStandardStart()); + prl(getStandardStart(numberOfWords)); prl("SKIP;\n ACTIONS A_S_start:\n A_S_start == CALL a"+(14+mainAdr)+" END"); int op = get(); while (op >= 0) { @@ -329,8 +345,22 @@ public class mjc2wsl{ break; } - //TODO getstatic, putstatic + case getstatic:{ + prl(cmdToEStack(genStatic(get2()))); + break; + } + case putstatic: { + prl(cmdFromEStack(genStatic(get2()))); + break; + } //TODO getfield, putfield + case getfield: + case putfield:{ + prl(createComment("fields are not processed properly", C_ERR)); + message("fields are not processed properly", M_ERR); + get2(); + break; + } case const_: { prl(cmdToEStack(get4())); @@ -380,11 +410,35 @@ public class mjc2wsl{ break; } - //TODO neg, shl, shr, inc + case neg :{ + prl(getTop()); + prl(cmdToEStack("-tempa")); + break; + } + //TODO shl, shr + + case inc : { + int b1 = get(), b2 = get(); + prl(loc(b1)+" := " +loc(b1)+" + "+b2); + break; + } //TODO new_ newarray + case new_ : + get();//needs a short, but a byte will be taken bellow as well + case newarray :{ + prl(createComment("memory allocation not processed properly", C_ERR)); + message("memory allocation not processed properly", M_ERR); + get(); + break; + } //TODO aload, asstore, baload, bastore //TODO arraylength - //TODO pop, dup, dup2 + //TODO dup, dup2 + + case pop : { + prl(cmdPopEStack()); + break; + } case jmp: { prl("CALL a" + (counter + get2()) + ";");