323
Christian Urban <christian dot urban at kcl dot ac dot uk>
diff
changeset
|
1 |
// A Small Compiler for the WHILE Language
|
72
Christian Urban <christian dot urban at kcl dot ac dot uk>
diff
changeset
|
2 |
//
|
69
Christian Urban <christian dot urban at kcl dot ac dot uk>
diff
changeset
|
3 |
|
Christian Urban <christian dot urban at kcl dot ac dot uk>
diff
changeset
|
4 |
// the abstract syntax trees
|
Christian Urban <christian dot urban at kcl dot ac dot uk>
diff
changeset
|
5 |
abstract class Stmt
|
Christian Urban <christian dot urban at kcl dot ac dot uk>
diff
changeset
|
6 |
abstract class AExp
|
Christian Urban <christian dot urban at kcl dot ac dot uk>
diff
changeset
|
7 |
abstract class BExp
|
Christian Urban <christian dot urban at kcl dot ac dot uk>
diff
changeset
|
8 |
type Block = List[Stmt]
|
323
Christian Urban <christian dot urban at kcl dot ac dot uk>
diff
changeset
|
9 |
|
Christian Urban <christian dot urban at kcl dot ac dot uk>
diff
changeset
|
10 |
// statements
|
69
Christian Urban <christian dot urban at kcl dot ac dot uk>
diff
changeset
|
11 |
case object Skip extends Stmt
|
Christian Urban <christian dot urban at kcl dot ac dot uk>
diff
changeset
|
12 |
case class If(a: BExp, bl1: Block, bl2: Block) extends Stmt
|
Christian Urban <christian dot urban at kcl dot ac dot uk>
diff
changeset
|
13 |
case class While(b: BExp, bl: Block) extends Stmt
|
Christian Urban <christian dot urban at kcl dot ac dot uk>
diff
changeset
|
14 |
case class Assign(s: String, a: AExp) extends Stmt
|
76
Christian Urban <christian dot urban at kcl dot ac dot uk>
diff
changeset
|
15 |
case class Write(s: String) extends Stmt
|
323
Christian Urban <christian dot urban at kcl dot ac dot uk>
diff
changeset
|
16 |
case class Read(s: String) extends Stmt
|
70
Christian Urban <christian dot urban at kcl dot ac dot uk>
diff
changeset
|
17 |
|
323
Christian Urban <christian dot urban at kcl dot ac dot uk>
diff
changeset
|
18 |
// arithmetic expressions
|
69
Christian Urban <christian dot urban at kcl dot ac dot uk>
diff
changeset
|
19 |
case class Var(s: String) extends AExp
|
Christian Urban <christian dot urban at kcl dot ac dot uk>
diff
changeset
|
20 |
case class Num(i: Int) extends AExp
|
Christian Urban <christian dot urban at kcl dot ac dot uk>
diff
changeset
|
21 |
case class Aop(o: String, a1: AExp, a2: AExp) extends AExp
|
70
Christian Urban <christian dot urban at kcl dot ac dot uk>
diff
changeset
|
22 |
|
323
Christian Urban <christian dot urban at kcl dot ac dot uk>
diff
changeset
|
23 |
// boolean expressions
|
69
Christian Urban <christian dot urban at kcl dot ac dot uk>
diff
changeset
|
24 |
case object True extends BExp
|
Christian Urban <christian dot urban at kcl dot ac dot uk>
diff
changeset
|
25 |
case object False extends BExp
|
323
Christian Urban <christian dot urban at kcl dot ac dot uk>
diff
changeset
|
26 |
case class Bop(o: String, a1: AExp, a2: AExp) extends BExp
|
66
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff
changeset
|
27 |
|
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff
changeset
|
28 |
|
323
Christian Urban <christian dot urban at kcl dot ac dot uk>
diff
changeset
|
29 |
// compiler headers needed for the JVM
|
Christian Urban <christian dot urban at kcl dot ac dot uk>
diff
changeset
|
30 |
// (contains an init method, as well as methods for read and write)
|
76
Christian Urban <christian dot urban at kcl dot ac dot uk>
diff
changeset
|
31 |
val beginning = """
|
80
Christian Urban <christian dot urban at kcl dot ac dot uk>
diff
changeset
|
32 |
.class public XXX.XXX
|
76
Christian Urban <christian dot urban at kcl dot ac dot uk>
diff
changeset
|
33 |
.super java/lang/Object
|
Christian Urban <christian dot urban at kcl dot ac dot uk>
diff
changeset
|
34 |
|
Christian Urban <christian dot urban at kcl dot ac dot uk>
diff
changeset
|
35 |
.method public <init>()V
|
Christian Urban <christian dot urban at kcl dot ac dot uk>
diff
changeset
|
36 |
aload_0
|
Christian Urban <christian dot urban at kcl dot ac dot uk>
diff
changeset
|
37 |
invokenonvirtual java/lang/Object/<init>()V
|
Christian Urban <christian dot urban at kcl dot ac dot uk>
diff
changeset
|
38 |
return
|
Christian Urban <christian dot urban at kcl dot ac dot uk>
diff
changeset
|
39 |
.end method
|
Christian Urban <christian dot urban at kcl dot ac dot uk>
diff
changeset
|
40 |
|
Christian Urban <christian dot urban at kcl dot ac dot uk>
diff
changeset
|
41 |
.method public static write(I)V
|
Christian Urban <christian dot urban at kcl dot ac dot uk>
diff
changeset
|
42 |
.limit locals 5
|
Christian Urban <christian dot urban at kcl dot ac dot uk>
diff
changeset
|
43 |
.limit stack 5
|
Christian Urban <christian dot urban at kcl dot ac dot uk>
diff
changeset
|
44 |
iload 0
|
Christian Urban <christian dot urban at kcl dot ac dot uk>
diff
changeset
|
45 |
getstatic java/lang/System/out Ljava/io/PrintStream;
|
Christian Urban <christian dot urban at kcl dot ac dot uk>
diff
changeset
|
46 |
swap
|
Christian Urban <christian dot urban at kcl dot ac dot uk>
diff
changeset
|
47 |
invokevirtual java/io/PrintStream/println(I)V
|
Christian Urban <christian dot urban at kcl dot ac dot uk>
diff
changeset
|
48 |
return
|
Christian Urban <christian dot urban at kcl dot ac dot uk>
diff
changeset
|
49 |
.end method
|
69
Christian Urban <christian dot urban at kcl dot ac dot uk>
diff
changeset
|
50 |
|
323
Christian Urban <christian dot urban at kcl dot ac dot uk>
diff
changeset
|
51 |
.method public static read()I
|
Christian Urban <christian dot urban at kcl dot ac dot uk>
diff
changeset
|
52 |
.limit locals 10
|
Christian Urban <christian dot urban at kcl dot ac dot uk>
diff
changeset
|
53 |
.limit stack 10
|
Christian Urban <christian dot urban at kcl dot ac dot uk>
diff
changeset
|
54 |
|
Christian Urban <christian dot urban at kcl dot ac dot uk>
diff
changeset
|
55 |
ldc 0
|
Christian Urban <christian dot urban at kcl dot ac dot uk>
diff
changeset
|
56 |
istore 1 ; this will hold our final integer
|
Christian Urban <christian dot urban at kcl dot ac dot uk>
diff
changeset
|
57 |
Label1:
|
Christian Urban <christian dot urban at kcl dot ac dot uk>
diff
changeset
|
58 |
getstatic java/lang/System/in Ljava/io/InputStream;
|
Christian Urban <christian dot urban at kcl dot ac dot uk>
diff
changeset
|
59 |
invokevirtual java/io/InputStream/read()I
|
Christian Urban <christian dot urban at kcl dot ac dot uk>
diff
changeset
|
60 |
istore 2
|
Christian Urban <christian dot urban at kcl dot ac dot uk>
diff
changeset
|
61 |
iload 2
|
Christian Urban <christian dot urban at kcl dot ac dot uk>
diff
changeset
|
62 |
ldc 10 ; the newline delimiter
|
Christian Urban <christian dot urban at kcl dot ac dot uk>
diff
changeset
|
63 |
isub
|
Christian Urban <christian dot urban at kcl dot ac dot uk>
diff
changeset
|
64 |
ifeq Label2
|
Christian Urban <christian dot urban at kcl dot ac dot uk>
diff
changeset
|
65 |
iload 2
|
Christian Urban <christian dot urban at kcl dot ac dot uk>
diff
changeset
|
66 |
ldc 32 ; the space delimiter
|
Christian Urban <christian dot urban at kcl dot ac dot uk>
diff
changeset
|
67 |
isub
|
Christian Urban <christian dot urban at kcl dot ac dot uk>
diff
changeset
|
68 |
ifeq Label2
|
Christian Urban <christian dot urban at kcl dot ac dot uk>
diff
changeset
|
69 |
|
Christian Urban <christian dot urban at kcl dot ac dot uk>
diff
changeset
|
70 |
iload 2
|
Christian Urban <christian dot urban at kcl dot ac dot uk>
diff
changeset
|
71 |
ldc 48 ; we have our digit in ASCII, have to subtract it from 48
|
Christian Urban <christian dot urban at kcl dot ac dot uk>
diff
changeset
|
72 |
isub
|
Christian Urban <christian dot urban at kcl dot ac dot uk>
diff
changeset
|
73 |
ldc 10
|
Christian Urban <christian dot urban at kcl dot ac dot uk>
diff
changeset
|
74 |
iload 1
|
Christian Urban <christian dot urban at kcl dot ac dot uk>
diff
changeset
|
75 |
imul
|
Christian Urban <christian dot urban at kcl dot ac dot uk>
diff
changeset
|
76 |
iadd
|
Christian Urban <christian dot urban at kcl dot ac dot uk>
diff
changeset
|
77 |
istore 1
|
Christian Urban <christian dot urban at kcl dot ac dot uk>
diff
changeset
|
78 |
goto Label1
|
Christian Urban <christian dot urban at kcl dot ac dot uk>
diff
changeset
|
79 |
Label2:
|
Christian Urban <christian dot urban at kcl dot ac dot uk>
diff
changeset
|
80 |
;when we come here we have our integer computed in local variable 1
|
Christian Urban <christian dot urban at kcl dot ac dot uk>
diff
changeset
|
81 |
iload 1
|
Christian Urban <christian dot urban at kcl dot ac dot uk>
diff
changeset
|
82 |
ireturn
|
Christian Urban <christian dot urban at kcl dot ac dot uk>
diff
changeset
|
83 |
.end method
|
76
Christian Urban <christian dot urban at kcl dot ac dot uk>
diff
changeset
|
84 |
|
Christian Urban <christian dot urban at kcl dot ac dot uk>
diff
changeset
|
85 |
.method public static main([Ljava/lang/String;)V
|
Christian Urban <christian dot urban at kcl dot ac dot uk>
diff
changeset
|
86 |
.limit locals 200
|
Christian Urban <christian dot urban at kcl dot ac dot uk>
diff
changeset
|
87 |
.limit stack 200
|
Christian Urban <christian dot urban at kcl dot ac dot uk>
diff
changeset
|
88 |
|
Christian Urban <christian dot urban at kcl dot ac dot uk>
diff
changeset
|
89 |
"""
|
Christian Urban <christian dot urban at kcl dot ac dot uk>
diff
changeset
|
90 |
|
Christian Urban <christian dot urban at kcl dot ac dot uk>
diff
changeset
|
91 |
val ending = """
|
Christian Urban <christian dot urban at kcl dot ac dot uk>
diff
changeset
|
92 |
|
Christian Urban <christian dot urban at kcl dot ac dot uk>
diff
changeset
|
93 |
return
|
Christian Urban <christian dot urban at kcl dot ac dot uk>
diff
changeset
|
94 |
|
Christian Urban <christian dot urban at kcl dot ac dot uk>
diff
changeset
|
95 |
.end method
|
Christian Urban <christian dot urban at kcl dot ac dot uk>
diff
changeset
|
96 |
"""
|
Christian Urban <christian dot urban at kcl dot ac dot uk>
diff
changeset
|
97 |
|
Christian Urban <christian dot urban at kcl dot ac dot uk>
diff
changeset
|
98 |
// for generating new labels
|
Christian Urban <christian dot urban at kcl dot ac dot uk>
diff
changeset
|
99 |
var counter = -1
|
Christian Urban <christian dot urban at kcl dot ac dot uk>
diff
changeset
|
100 |
|
Christian Urban <christian dot urban at kcl dot ac dot uk>
diff
changeset
|
101 |
def Fresh(x: String) = {
|
Christian Urban <christian dot urban at kcl dot ac dot uk>
diff
changeset
|
102 |
counter += 1
|
Christian Urban <christian dot urban at kcl dot ac dot uk>
diff
changeset
|
103 |
x ++ "_" ++ counter.toString()
|
66
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff
changeset
|
104 |
}
|
69
Christian Urban <christian dot urban at kcl dot ac dot uk>
diff
changeset
|
105 |
|
323
Christian Urban <christian dot urban at kcl dot ac dot uk>
diff
changeset
|
106 |
// environments and instructions
|
76
Christian Urban <christian dot urban at kcl dot ac dot uk>
diff
changeset
|
107 |
type Env = Map[String, String]
|
Christian Urban <christian dot urban at kcl dot ac dot uk>
diff
changeset
|
108 |
type Instrs = List[String]
|
Christian Urban <christian dot urban at kcl dot ac dot uk>
diff
changeset
|
109 |
|
323
Christian Urban <christian dot urban at kcl dot ac dot uk>
diff
changeset
|
110 |
// arithmetic expression compilation
|
76
Christian Urban <christian dot urban at kcl dot ac dot uk>
diff
changeset
|
111 |
def compile_aexp(a: AExp, env : Env) : Instrs = a match {
|
Christian Urban <christian dot urban at kcl dot ac dot uk>
diff
changeset
|
112 |
case Num(i) => List("ldc " + i.toString + "\n")
|
Christian Urban <christian dot urban at kcl dot ac dot uk>
diff
changeset
|
113 |
case Var(s) => List("iload " + env(s) + "\n")
|
Christian Urban <christian dot urban at kcl dot ac dot uk>
diff
changeset
|
114 |
case Aop("+", a1, a2) => compile_aexp(a1, env) ++ compile_aexp(a2, env) ++ List("iadd\n")
|
Christian Urban <christian dot urban at kcl dot ac dot uk>
diff
changeset
|
115 |
case Aop("-", a1, a2) => compile_aexp(a1, env) ++ compile_aexp(a2, env) ++ List("isub\n")
|
Christian Urban <christian dot urban at kcl dot ac dot uk>
diff
changeset
|
116 |
case Aop("*", a1, a2) => compile_aexp(a1, env) ++ compile_aexp(a2, env) ++ List("imul\n")
|
69
Christian Urban <christian dot urban at kcl dot ac dot uk>
diff
changeset
|
117 |
}
|
Christian Urban <christian dot urban at kcl dot ac dot uk>
diff
changeset
|
118 |
|
323
Christian Urban <christian dot urban at kcl dot ac dot uk>
diff
changeset
|
119 |
// boolean expression compilation
|
76
Christian Urban <christian dot urban at kcl dot ac dot uk>
diff
changeset
|
120 |
def compile_bexp(b: BExp, env : Env, jmp: String) : Instrs = b match {
|
Christian Urban <christian dot urban at kcl dot ac dot uk>
diff
changeset
|
121 |
case True => Nil
|
Christian Urban <christian dot urban at kcl dot ac dot uk>
diff
changeset
|
122 |
case False => List("goto " + jmp + "\n")
|
323
Christian Urban <christian dot urban at kcl dot ac dot uk>
diff
changeset
|
123 |
case Bop("=", a1, a2) =>
|
76
Christian Urban <christian dot urban at kcl dot ac dot uk>
diff
changeset
|
124 |
compile_aexp(a1, env) ++ compile_aexp(a2, env) ++ List("if_icmpne " + jmp + "\n")
|
323
Christian Urban <christian dot urban at kcl dot ac dot uk>
diff
changeset
|
125 |
case Bop("!=", a1, a2) =>
|
76
Christian Urban <christian dot urban at kcl dot ac dot uk>
diff
changeset
|
126 |
compile_aexp(a1, env) ++ compile_aexp(a2, env) ++ List("if_icmpeq " + jmp + "\n")
|
323
Christian Urban <christian dot urban at kcl dot ac dot uk>
diff
changeset
|
127 |
case Bop("<", a1, a2) =>
|
76
Christian Urban <christian dot urban at kcl dot ac dot uk>
diff
changeset
|
128 |
compile_aexp(a1, env) ++ compile_aexp(a2, env) ++ List("if_icmpge " + jmp + "\n")
|
69
Christian Urban <christian dot urban at kcl dot ac dot uk>
diff
changeset
|
129 |
}
|
Christian Urban <christian dot urban at kcl dot ac dot uk>
diff
changeset
|
130 |
|
323
Christian Urban <christian dot urban at kcl dot ac dot uk>
diff
changeset
|
131 |
// statement compilation
|
76
Christian Urban <christian dot urban at kcl dot ac dot uk>
diff
changeset
|
132 |
def compile_stmt(s: Stmt, env: Env) : (Instrs, Env) = s match {
|
Christian Urban <christian dot urban at kcl dot ac dot uk>
diff
changeset
|
133 |
case Skip => (Nil, env)
|
Christian Urban <christian dot urban at kcl dot ac dot uk>
diff
changeset
|
134 |
case Assign(x, a) => {
|
Christian Urban <christian dot urban at kcl dot ac dot uk>
diff
changeset
|
135 |
val index = if (env.isDefinedAt(x)) env(x) else env.keys.size.toString
|
Christian Urban <christian dot urban at kcl dot ac dot uk>
diff
changeset
|
136 |
(compile_aexp(a, env) ++
|
Christian Urban <christian dot urban at kcl dot ac dot uk>
diff
changeset
|
137 |
List("istore " + index + "\n"), env + (x -> index))
|
Christian Urban <christian dot urban at kcl dot ac dot uk>
diff
changeset
|
138 |
}
|
Christian Urban <christian dot urban at kcl dot ac dot uk>
diff
changeset
|
139 |
case If(b, bl1, bl2) => {
|
Christian Urban <christian dot urban at kcl dot ac dot uk>
diff
changeset
|
140 |
val if_else = Fresh("If_else")
|
Christian Urban <christian dot urban at kcl dot ac dot uk>
diff
changeset
|
141 |
val if_end = Fresh("If_end")
|
323
Christian Urban <christian dot urban at kcl dot ac dot uk>
diff
changeset
|
142 |
val (instrs1, env1) = compile_block(bl1, env)
|
Christian Urban <christian dot urban at kcl dot ac dot uk>
diff
changeset
|
143 |
val (instrs2, env2) = compile_block(bl2, env1)
|
76
Christian Urban <christian dot urban at kcl dot ac dot uk>
diff
changeset
|
144 |
(compile_bexp(b, env, if_else) ++
|
Christian Urban <christian dot urban at kcl dot ac dot uk>
diff
changeset
|
145 |
instrs1 ++
|
Christian Urban <christian dot urban at kcl dot ac dot uk>
diff
changeset
|
146 |
List("goto " + if_end + "\n") ++
|
Christian Urban <christian dot urban at kcl dot ac dot uk>
diff
changeset
|
147 |
List("\n" + if_else + ":\n\n") ++
|
Christian Urban <christian dot urban at kcl dot ac dot uk>
diff
changeset
|
148 |
instrs2 ++
|
Christian Urban <christian dot urban at kcl dot ac dot uk>
diff
changeset
|
149 |
List("\n" + if_end + ":\n\n"), env2)
|
Christian Urban <christian dot urban at kcl dot ac dot uk>
diff
changeset
|
150 |
}
|
Christian Urban <christian dot urban at kcl dot ac dot uk>
diff
changeset
|
151 |
case While(b, bl) => {
|
Christian Urban <christian dot urban at kcl dot ac dot uk>
diff
changeset
|
152 |
val loop_begin = Fresh("Loop_begin")
|
Christian Urban <christian dot urban at kcl dot ac dot uk>
diff
changeset
|
153 |
val loop_end = Fresh("Loop_end")
|
323
Christian Urban <christian dot urban at kcl dot ac dot uk>
diff
changeset
|
154 |
val (instrs1, env1) = compile_block(bl, env)
|
76
Christian Urban <christian dot urban at kcl dot ac dot uk>
diff
changeset
|
155 |
(List("\n" + loop_begin + ":\n\n") ++
|
Christian Urban <christian dot urban at kcl dot ac dot uk>
diff
changeset
|
156 |
compile_bexp(b, env, loop_end) ++
|
Christian Urban <christian dot urban at kcl dot ac dot uk>
diff
changeset
|
157 |
instrs1 ++
|
Christian Urban <christian dot urban at kcl dot ac dot uk>
diff
changeset
|
158 |
List("goto " + loop_begin + "\n") ++
|
Christian Urban <christian dot urban at kcl dot ac dot uk>
diff
changeset
|
159 |
List("\n" + loop_end + ":\n\n"), env1)
|
Christian Urban <christian dot urban at kcl dot ac dot uk>
diff
changeset
|
160 |
}
|
Christian Urban <christian dot urban at kcl dot ac dot uk>
diff
changeset
|
161 |
case Write(x) =>
|
80
Christian Urban <christian dot urban at kcl dot ac dot uk>
diff
changeset
|
162 |
(List("iload " + env(x) + "\n" + "invokestatic XXX/XXX/write(I)V\n"), env)
|
323
Christian Urban <christian dot urban at kcl dot ac dot uk>
diff
changeset
|
163 |
case Read(x) => {
|
Christian Urban <christian dot urban at kcl dot ac dot uk>
diff
changeset
|
164 |
val index = if (env.isDefinedAt(x)) env(x) else env.keys.size.toString
|
Christian Urban <christian dot urban at kcl dot ac dot uk>
diff
changeset
|
165 |
(List("invokestatic XXX/XXX/read()I\n" +
|
Christian Urban <christian dot urban at kcl dot ac dot uk>
diff
changeset
|
166 |
"istore " + index + "\n"), env + (x -> index))
|
Christian Urban <christian dot urban at kcl dot ac dot uk>
diff
changeset
|
167 |
}
|
69
Christian Urban <christian dot urban at kcl dot ac dot uk>
diff
changeset
|
168 |
}
|
Christian Urban <christian dot urban at kcl dot ac dot uk>
diff
changeset
|
169 |
|
323
Christian Urban <christian dot urban at kcl dot ac dot uk>
diff
changeset
|
170 |
// compilation of a block (i.e. list of instructions)
|
Christian Urban <christian dot urban at kcl dot ac dot uk>
diff
changeset
|
171 |
def compile_block(bl: Block, env: Env) : (Instrs, Env) = bl match {
|
76
Christian Urban <christian dot urban at kcl dot ac dot uk>
diff
changeset
|
172 |
case Nil => (Nil, env)
|
Christian Urban <christian dot urban at kcl dot ac dot uk>
diff
changeset
|
173 |
case s::bl => {
|
Christian Urban <christian dot urban at kcl dot ac dot uk>
diff
changeset
|
174 |
val (instrs1, env1) = compile_stmt(s, env)
|
323
Christian Urban <christian dot urban at kcl dot ac dot uk>
diff
changeset
|
175 |
val (instrs2, env2) = compile_block(bl, env1)
|
76
Christian Urban <christian dot urban at kcl dot ac dot uk>
diff
changeset
|
176 |
(instrs1 ++ instrs2, env2)
|
Christian Urban <christian dot urban at kcl dot ac dot uk>
diff
changeset
|
177 |
}
|
Christian Urban <christian dot urban at kcl dot ac dot uk>
diff
changeset
|
178 |
}
|
Christian Urban <christian dot urban at kcl dot ac dot uk>
diff
changeset
|
179 |
|
323
Christian Urban <christian dot urban at kcl dot ac dot uk>
diff
changeset
|
180 |
// main compilation function for blocks
|
Christian Urban <christian dot urban at kcl dot ac dot uk>
diff
changeset
|
181 |
def compile(bl: Block, class_name: String) : String = {
|
Christian Urban <christian dot urban at kcl dot ac dot uk>
diff
changeset
|
182 |
val instructions = compile_block(bl, Map.empty)._1
|
80
Christian Urban <christian dot urban at kcl dot ac dot uk>
diff
changeset
|
183 |
(beginning ++ instructions.mkString ++ ending).replaceAllLiterally("XXX", class_name)
|
76
Christian Urban <christian dot urban at kcl dot ac dot uk>
diff
changeset
|
184 |
}
|
Christian Urban <christian dot urban at kcl dot ac dot uk>
diff
changeset
|
185 |
|
Christian Urban <christian dot urban at kcl dot ac dot uk>
diff
changeset
|
186 |
|
323
Christian Urban <christian dot urban at kcl dot ac dot uk>
diff
changeset
|
187 |
// Fibonacci numbers as a test-case
|
Christian Urban <christian dot urban at kcl dot ac dot uk>
diff
changeset
|
188 |
val fib_test =
|
Christian Urban <christian dot urban at kcl dot ac dot uk>
diff
changeset
|
189 |
List(Read("n"), // read n;
|
Christian Urban <christian dot urban at kcl dot ac dot uk>
diff
changeset
|
190 |
Assign("minus1",Num(0)), // minus1 := 0;
|
Christian Urban <christian dot urban at kcl dot ac dot uk>
diff
changeset
|
191 |
Assign("minus2",Num(1)), // minus2 := 1;
|
Christian Urban <christian dot urban at kcl dot ac dot uk>
diff
changeset
|
192 |
Assign("temp",Num(0)), // temp := 0;
|
Christian Urban <christian dot urban at kcl dot ac dot uk>
diff
changeset
|
193 |
While(Bop("<",Num(0),Var("n")), // while n > 0 do {
|
Christian Urban <christian dot urban at kcl dot ac dot uk>
diff
changeset
|
194 |
List(Assign("temp",Var("minus2")), // temp := minus2;
|
Christian Urban <christian dot urban at kcl dot ac dot uk>
diff
changeset
|
195 |
Assign("minus2",Aop("+",Var("minus1"),Var("minus2"))), // minus2 := minus1 + minus2;
|
Christian Urban <christian dot urban at kcl dot ac dot uk>
diff
changeset
|
196 |
Assign("minus1",Var("temp")), // minus1 := temp;
|
Christian Urban <christian dot urban at kcl dot ac dot uk>
diff
changeset
|
197 |
Assign("n",Aop("-",Var("n"),Num(1))))), // n := n - 1 };
|
Christian Urban <christian dot urban at kcl dot ac dot uk>
diff
changeset
|
198 |
Write("minus1")) // write minus1
|
80
Christian Urban <christian dot urban at kcl dot ac dot uk>
diff
changeset
|
199 |
|
Christian Urban <christian dot urban at kcl dot ac dot uk>
diff
changeset
|
200 |
|
75
Christian Urban <christian dot urban at kcl dot ac dot uk>
diff
changeset
|
201 |
|
323
Christian Urban <christian dot urban at kcl dot ac dot uk>
diff
changeset
|
202 |
// prints out the JVM-assembly program
|
80
Christian Urban <christian dot urban at kcl dot ac dot uk>
diff
changeset
|
203 |
|
323
Christian Urban <christian dot urban at kcl dot ac dot uk>
diff
changeset
|
204 |
println(compile(fib_test, "fib"))
|
80
Christian Urban <christian dot urban at kcl dot ac dot uk>
diff
changeset
|
205 |
|
323
Christian Urban <christian dot urban at kcl dot ac dot uk>
diff
changeset
|
206 |
// can be assembled with
|
Christian Urban <christian dot urban at kcl dot ac dot uk>
diff
changeset
|
207 |
//
|
Christian Urban <christian dot urban at kcl dot ac dot uk>
diff
changeset
|
208 |
// java -jar jvm/jasmin-2.4/jasmin.jar fib.j
|
80
Christian Urban <christian dot urban at kcl dot ac dot uk>
diff
changeset
|
209 |
//
|
323
Christian Urban <christian dot urban at kcl dot ac dot uk>
diff
changeset
|
210 |
// and started with
|
Christian Urban <christian dot urban at kcl dot ac dot uk>
diff
changeset
|
211 |
//
|
Christian Urban <christian dot urban at kcl dot ac dot uk>
diff
changeset
|
212 |
// java fib/fib
|
76
Christian Urban <christian dot urban at kcl dot ac dot uk>
diff
changeset
|
213 |
|
Christian Urban <christian dot urban at kcl dot ac dot uk>
diff
changeset
|
214 |
|
Christian Urban <christian dot urban at kcl dot ac dot uk>
diff
changeset
|
215 |
|
Christian Urban <christian dot urban at kcl dot ac dot uk>
diff
changeset
|
216 |
|
Christian Urban <christian dot urban at kcl dot ac dot uk>
diff
changeset
|
217 |
|