git @ Cat's Eye Technologies Tamsin / 13a85f8
Compiler-in-Tamsin passes the Micro-Tamsin test suite! Cat's Eye Technologies 10 years ago
2 changed file(s) with 82 addition(s) and 39 deletion(s). Raw diff Collapse all Expand all
+79
-39
mains/compiler.tamsin less more
7979 prelude &
8080 tamsin_parser:find_module('main', Ms) → MainMod &
8181 get_prods(MainMod) → MMPs &
82 compile_all(program(Ms), MMPs) &
82 compile_all(program(Ms), nil, MMPs) &
8383 postlude &
8484 ''.
8585
9292 emitln('();') &
9393 emit_prototypes(MMPs).
9494
95 compile_all(P, nil) = 'ok'.
96 compile_all(P, list(H,T)) = compile_r(P, H) & compile_all(P, T).
97
98 compile_r(P, production(N, Bs)) =
95 compile_all(P, B, nil) = 'ok'.
96 compile_all(P, B, list(H,T)) = compile_r(P, B, H) & compile_all(P, B, T).
97
98 compile_r(P, B, production(N, Bs)) =
9999 emit('void prod_main_') &
100100 emit(N) &
101101 emitln('() {') &
102102 indent &
103 compile_all(P, Bs) &
104 outdent &
105 emitln('}').
106
107 compile_r(P, prodbranch(Fs, Ls, E)) =
103 compile_all(P, B, Bs) &
104 outdent &
105 emitln('}').
106
107 compile_r(P, B, prodbranch(Fs, Ls, E)) =
108108 emitln('/* formals and locals go here... */') &
109 compile_r(P, E).
110
111 compile_r(P, call(prodref('$', 'expect'), list(T, nil))) =
109 compile_r(P, prodbranch(Fs, Ls, E), E).
110
111 compile_r(P, B, call(prodref('$', 'expect'), list(T, nil))) =
112112 emit_term(T, 'temp') &
113113 emitln('tamsin_expect(scanner, temp);').
114114
115 compile_r(P, call(prodref('$', 'return'), list(T, nil))) =
115 compile_r(P, B, call(prodref('$', 'return'), list(T, nil))) =
116116 emit_term(T, 'temp') &
117117 emitln('result = temp;') &
118118 emitln('ok = 1;').
119119
120 compile_r(P, call(prodref('$', 'print'), list(T, nil))) =
120 compile_r(P, B, call(prodref('$', 'print'), list(T, nil))) =
121121 emit_term(T, 'temp') &
122122 emitln('result = temp;') &
123123 emitln('term_fput(result, stdout);') &
124124 emitln('fprintf(stdout, "\\n");') &
125125 emitln('ok = 1;').
126126
127 compile_r(P, call(prodref(M, N), A)) =
127 compile_r(P, B, call(prodref(M, N), A)) =
128128 emit('prod_main_') &
129129 emit(N) &
130130 emitln('();').
131131
132 compile_r(P, and(L, R)) =
133 compile_r(P, L) &
132 compile_r(P, B, and(L, R)) =
133 compile_r(P, B, L) &
134134 emitln('if (ok) {') &
135135 indent &
136 compile_r(P, R) &
137 outdent &
138 emitln('}').
139
140 compile_r(P, or(L, R)) =
136 compile_r(P, B, R) &
137 outdent &
138 emitln('}').
139
140 compile_r(P, B, or(L, R)) =
141141 emitln('{') &
142142 indent &
143 emit_decl_state &
144 emit_save_state &
145 compile_r(P, L) &
143 emit_decl_state(B) &
144 emit_save_state(B) &
145 compile_r(P, B, L) &
146146 emitln('if (!ok) {') &
147147 indent &
148 emit_restore_state &
149 compile_r(P, R) &
148 emit_restore_state(B) &
149 compile_r(P, B, R) &
150150 outdent &
151151 emitln('}') &
152152 outdent &
153153 emitln('}').
154 compile_r(P, send(R, V)) =
155 compile_r(P, R) &
154 compile_r(P, B, send(R, V)) =
155 compile_r(P, B, R) &
156156 emit(V) &
157157 emitln(' = result;').
158 compile_r(P, set(V, T)) =
158 compile_r(P, B, set(V, T)) =
159159 emit_term(T, 'temp') &
160160 emitln('result = temp;') &
161161 emit(V) &
162162 emitln(' = result;') &
163163 emitln('ok = 1;').
164 compile_r(P, while(R)) =
164 compile_r(P, B, while(R)) =
165165 emitln('{') &
166166 indent &
167 emit_decl_state &
167 emit_decl_state(B) &
168168 emit_term(atom(nil), 'successful_result') &
169169 emitln('ok = 1;') &
170170 emitln('while (ok) {') &
171171 indent &
172 emit_save_state &
173 compile_r(P, R) &
172 emit_save_state(B) &
173 compile_r(P, B, R) &
174174 emitln('if (ok) {') &
175175 indent &
176176 emitln('successful_result = result;') &
178178 emitln('}') &
179179 outdent &
180180 emitln('}') & # endwhile
181 emit_restore_state &
181 emit_restore_state(B) &
182182 emitln('result = successful_result;') &
183183 emitln('ok = 1;') &
184184 outdent &
185185 emitln('}').
186186
187 emit_decl_state = 'ok'.
188 emit_save_state = 'ok'.
189 emit_restore_state = 'ok'.
187
188
189 emit_decl_state(prodbranch(Fs, Ls, E)) =
190 emit_decl_state_locals(Ls) &
191 emitln('int position;') &
192 emitln('int reset_position;').
193
194 emit_decl_state_locals(nil) = 'ok'.
195 emit_decl_state_locals(list(H,T)) =
196 emit('struct term *save_') &
197 emit(H) &
198 emitln(';') &
199 emit_decl_state_locals(T).
200
201 emit_save_state(prodbranch(Fs, Ls, E)) =
202 emit_save_state_locals(Ls) &
203 emitln('position = scanner->position;') &
204 emitln('reset_position = scanner->reset_position;').
205
206 emit_save_state_locals(nil) = 'ok'.
207 emit_save_state_locals(list(H,T)) =
208 emit('save_') &
209 emit(H) &
210 emit(' = ') &
211 emit(H) &
212 emitln(';') &
213 emit_save_state_locals(T).
214
215 emit_restore_state(prodbranch(Fs, Ls, E)) =
216 emitln('scanner->position = position;') &
217 emitln('scanner->reset_position = reset_position;') &
218 emit_restore_state_locals(Ls).
219
220 emit_restore_state_locals(nil) = 'ok'.
221 emit_restore_state_locals(list(H,T)) =
222 emit(H) &
223 emit(' = ') &
224 emit('save_') &
225 emit(H) &
226 emitln(';') &
227 emit_restore_state_locals(T).
228
229
190230
191231 emit_term(variable(VN), N) =
192232 emit('struct term *') &
+3
-0
test.sh less more
2424 $0 compiler &&
2525 $0 compiled analyzer &&
2626 $0 micro &&
27 $0 tcompiler &&
2728 echo "All tests passed!"
2829 exit $?
2930 fi
3637 $0 compiled desugarer &&
3738 $0 compiled analyzer &&
3839 $0 micro &&
40 $0 tcompiler &&
3941 echo "All tests passed!"
4042 exit $?
4143 fi
5557 $0 compiled desugarer &&
5658 $0 compiled analyzer &&
5759 $0 micro &&
60 $0 tcompiler &&
5861 echo "All tests passed!"
5962 exit $?
6063 fi