ChangeLog 12.4 KB
Newer Older
1
2
3
4
5
6
7
8
9
10
11
12
2003-08-21  Benot Perrot  <benoit@lrde.epita.fr>

	Make the Cpu responsible of the execution of instructions ; 
	the VirtualMachine must be seen as a motherboard that could 
	support more than one Cpu.
	
	* src/vm/virtual_machine.cc: Move to...
	* src/vm/cpu.cc: here.
	* src/vm/Makefile.am: Propagate it.
	* src/vm/virtual_machine.hh: Move execution interface to...
	* src/vm/cpu.hh: here.

13
14
15
16
17
2003-08-20  Benot Perrot  <benoit@lrde.epita.fr>

	* dev/mipsy.xml: Add mul with immediate pseudo-instruction.
	* src/inst/program_builder.cc: Expand it.

Benoit Perrot's avatar
Benoit Perrot committed
18
19
20
21
22
2003-08-19  Benot Perrot  <benoit@lrde.epita.fr>

	* dev/mipsy-scanner-gen.py: Accept a quoted character as an integer 
	value.

Benoit Perrot's avatar
Benoit Perrot committed
23
24
25
26
27
28
2003-08-14  Benot Perrot  <benoit@lrde.epita.fr>

	* configure.ac, NEWS: 
	Release 0.4, bump to 0.5.
	* Makefile.am: Distribute bootstrap.	

29
30
2003-08-13  Benot Perrot  <benoit@lrde.epita.fr>

Benoit Perrot's avatar
Benoit Perrot committed
31
32
33
34
35
36
37
38
39
40
	* tests/good/check-good,
	* tests/lexical/check-lexical,
	* tests/runtime/check-runtime,
	* tests/solve/check-solve,
	* tests/syntax/check-syntax,
	* tests/unlimited/check-unlimited:
	Distribute sub scripts.
		
2003-08-13  Benot Perrot  <benoit@lrde.epita.fr>	

41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
	* src/vm/virtual_machine.cc (syscall): Look for $a0 as argument of 
	exit syscall.
	* tests/good/add-sub.s,
	* tests/good/and-or-nor-xor.s,
	* tests/good/exit.s,
	* tests/good/extended-euclide.s,
	* tests/good/gtcd.s,
	* tests/good/modular-exponent.s,
	* tests/good/neg.s,
	* tests/good/not.s,
	* tests/good/print.s,
	* tests/good/print_int.s,
	* tests/good/read_int.s,
	* tests/good/seq-sne.s,
	* tests/good/shift.s,
	* tests/runtime/neg.s,
	* tests/runtime/no-main.s,
	* tests/solve/undefined-labels.s,
	* tests/syntax/asciiz-wrong-param.s,
	* tests/syntax/too-many-operands.s,
	* tests/unlimited/simple-exp.s:
	Use exit(0).
	
Benoit Perrot's avatar
Benoit Perrot committed
64
65
66
67
2003-08-11  Benot Perrot  <benoit@lrde.epita.fr>

	* tests/Makefile.am: Distribute tests machinery.

Benoit Perrot's avatar
Benoit Perrot committed
68
	* tests/common.mk: Distribute variables and rules used by
Benoit Perrot's avatar
Benoit Perrot committed
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
	the test suite.
	* tests/generate-ref.mk: Distribute reference output files generators.
	* tests/mipsy-check: Distribute main test script.

	* tests/lexical/invalid-string-hexa.s,
	* tests/lexical/invalid-string-octal.s,
	* tests/lexical/unlimited-regs.s,
	* tests/lexical/unrecognized-escape.s,
	* tests/lexical/unterminated-string.s,
	* tests/lexical/Makefile.am:
	Distribute tests that fail at scan level.

	* tests/syntax/too-many-operands.s,
	* tests/syntax/asciiz-wrong-param.s,
	* tests/syntax/Makefile.am:
	Distribute tests that fail at parse level.

	* tests/solve/undefined-labels.s,
	* tests/solve/Makefile.am:
	Distribute tests that fail at solve-time.
Benoit Perrot's avatar
Benoit Perrot committed
89

Benoit Perrot's avatar
Benoit Perrot committed
90
91
92
93
	* tests/runtime/abs.s,
	* tests/runtime/neg.s,
	* tests/runtime/no-main.s,
	* tests/runtime/Makefile.am:
Benoit Perrot's avatar
Benoit Perrot committed
94
	Distribute tests that fail at run-time.
Benoit Perrot's avatar
Benoit Perrot committed
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114

	* tests/unlimited/simple-exp.s,
	* tests/unlimited/Makefile.am:
	Distribute tests that use unlimited registers.

	* tests/good/add-sub.s,
	* tests/good/and-or-nor-xor.s,
	* tests/good/exit.s,
	* tests/good/extended-euclide.s,
	* tests/good/gtcd.s,
	* tests/good/modular-exponent.s,
	* tests/good/neg.s,
	* tests/good/not.s,
	* tests/good/print.s,
	* tests/good/print_int.s,
	* tests/good/read_int.s, tests/good/read_int.in,
	* tests/good/seq-sne.s,
	* tests/good/shift.s,
	* tests/good/Makefile.am:
	Distribute tests that execute normally.
Benoit Perrot's avatar
Benoit Perrot committed
115

Benoit Perrot's avatar
Benoit Perrot committed
116
117
118
	* configure.ac, Makefile.am:
	Distribute tests suite.

Benoit Perrot's avatar
Benoit Perrot committed
119
120
121
122
123
2003-07-29  Benot Perrot  <benoit@lrde.epita.fr>

	* dev/mipsy.xml, src/inst/program_builder.cc:
	Normalize move to addu.

124
125
126
127
128
129
130
131
2003-07-29  Benot Perrot  <benoit@lrde.epita.fr>

	* dev/mipsy-builder-gen.py,
	* src/parse/libparse.hh, src/parse/libparse.cc,
	* src/parse/parse-tasks.hh, src/parse/parse-tasks.cc:
	Fill delay slot of native branch instructions with NOP.
	* NEWS: Update.

Benoit Perrot's avatar
Benoit Perrot committed
132
133
134
135
136
2003-07-29  Benot Perrot  <benoit@lrde.epita.fr>

	* configure.ac:
	Bump to 0.4.

Benoit Perrot's avatar
Benoit Perrot committed
137
138
139
140
141
2003-07-29  Benot Perrot  <benoit@lrde.epita.fr>

	* src/task/task_register.cc:
	Fix usage display.

Benoit Perrot's avatar
Benoit Perrot committed
142
143
144
145
2003-07-29  Benot Perrot  <benoit@lrde.epita.fr>

	* dev/mipsy.xml, dev/mips.py:
	Specify instruction kind.
Benoit Perrot's avatar
Benoit Perrot committed
146

147
148
149
150
151
152
153
2003-07-29  Benot Perrot  <benoit@lrde.epita.fr>

	* dev/mipsy-scanner-gen.py,
	* src/parse/libparse.hh, src/parse/libparse.cc,
	* src/parse/parse-tasks.hh, src/parse/parse-tasks.cc:
	Make unlimited registers optional.

154
155
2003-07-29  Benot Perrot  <benoit@lrde.epita.fr>

Benoit Perrot's avatar
Benoit Perrot committed
156
	* src/task/task_register.hh (parse_args): Do not search beyond
157
158
	map's end.

Benoit Perrot's avatar
Benoit Perrot committed
159
160
161
162
2003-07-28  Benot Perrot  <benoit@lrde.epita.fr>

	* NEWS: Describe main version changes.

Benoit Perrot's avatar
Benoit Perrot committed
163
164
165
166
167
168
2003-07-27  Benot Perrot  <benoit@lrde.epita.fr>

	* src/task/task_register.hh, src/task/task_register.cc:
	Disambiguate uncomplete options. Clean usage display.
	* src/mipsy.cc: Launch "--execute" if no option is specified.

169
170
171
172
2003-07-26  Benot Perrot  <benoit@lrde.epita.fr>

	* dev/mipsy-mk-inst-gen.py: Distribute section.hh.

Benoit Perrot's avatar
Benoit Perrot committed
173
174
175
176
177
178
2003-07-20  Benot Perrot  <benoit@lrde.epita.fr>

	* src/vm/virtual_machine.hh, src/vm/virtual_machine.cc,
	* src/vm/vm-tasks.hh, src/vm/vm-tasks.cc:
	Check preservation of callee save registers on demand.
	* src/parse/parse-tasks.cc: Remove useless includes.
Benoit Perrot's avatar
Benoit Perrot committed
179

Benoit Perrot's avatar
Benoit Perrot committed
180
181
	* TODO: Update.

182
183
184
185
2003-07-18  Benot Perrot  <benoit@lrde.epita.fr>

	* src/inst/register.hh, src/vm/cpu.hh:
	Move general register indices from Register.hh into Cpu.
Benoit Perrot's avatar
Benoit Perrot committed
186
	* src/inst/program_builder.cc,
187
	* dev/mipsy.xml, dev/mipsy-parser-gen.py, dev/mipsy-scanner-gen.py:
Benoit Perrot's avatar
Benoit Perrot committed
188
	Adjust.
189

190
191
192
193
2003-07-18  Benot Perrot  <benoit@lrde.epita.fr>

	* src/vm/cpu.hh: Add a checker for unlimited register existence.

Benoit Perrot's avatar
Benoit Perrot committed
194
195
196
197
2003-07-17  Benot Perrot  <benoit@lrde.epita.fr>

	* src/vm/memory.hh: stack_size is an argument of Memory constructor.

198
199
2003-07-17  Benot Perrot  <benoit@lrde.epita.fr>

Benoit Perrot's avatar
Benoit Perrot committed
200
	* src/vm/virtual_machine.hh: (step) Return a boolean that
201
202
	indicates the end of the execution.

203
204
205
206
2003-07-17  Benot Perrot  <benoit@lrde.epita.fr>

	* src/vm/memory.hh: Add accessors for heap and stack sizes.

207
208
2003-07-17  Benot Perrot  <benoit@lrde.epita.fr>

209
210
211
212
213
	* src/inst/section.hh: Export types.
	* src/vm/virtual_machine.cc, src/vm/virtual_machine.hh:
	Use variable input and output streams.

2003-07-17  Benot Perrot  <benoit@lrde.epita.fr>
Benoit Perrot's avatar
Benoit Perrot committed
214

215
216
	* src/inst/section.hh: Add a const accessor to Section's labels.

Benoit Perrot's avatar
Benoit Perrot committed
217
218
2003-07-12  Benot Perrot  <benoit@lrde.epita.fr>

Benoit Perrot's avatar
Benoit Perrot committed
219
	* src/inst/section.hh,
Benoit Perrot's avatar
Benoit Perrot committed
220
	* src/inst/data_section.hh, src/inst/text_section.hh:
221
	Factor Section code.
Benoit Perrot's avatar
Benoit Perrot committed
222

223
224
2003-07-11  Benot Perrot  <benoit@lrde.epita.fr>

Benoit Perrot's avatar
Benoit Perrot committed
225
	* config/depcomp, config/install-sh, config/missing,
226
227
	* config/mkinstalldirs:
	Remove auto-generated files.
228

Benoit Perrot's avatar
Benoit Perrot committed
229
230
231
232
233
2003-07-11  Benot Perrot  <benoit@lrde.epita.fr>

	* configure.ac:
	Bump to 0.3.

234
235
236
237
238
2003-07-11  Benot Perrot  <benoit@lrde.epita.fr>

	* src/vm/virtual_machine.cc:
	Set exit_status to exit_runtime when an exception occurs.

239
240
241
242
243
244
245
2003-07-11  Benot Perrot  <benoit@lrde.epita.fr>

	* src/vm/virtual_machine.hh, src/vm/virtual_machine.cc:
	Define and use a step of execution.
	* src/common.hh, src/vm/vm-tasks.cc:
	Adjust.

246
247
2003-07-11  Benot Perrot  <benoit@lrde.epita.fr>

Benoit Perrot's avatar
Benoit Perrot committed
248
	* dev/mipsy-scanner-gen.py,
249
250
251
252
253
	* src/inst/register.hh, src/vm/cpu.hh:
	Use a register vector for general purpose registers.
	* src/vm/virtual_machine.cc:
	Adjust.

254
255
256
257
258
2003-07-10  Benot Perrot  <benoit@lrde.epita.fr>

	* dev/mipsy.xml, src/inst/program_solver.hh, src/vm/virtual_machine.hh:
	Normalize nop to sll zero, zero, 0.

259
260
261
262
263
2003-07-07  Benot Perrot  <benoit@lrde.epita.fr>

	* bootstrap, dev/mipsy-mk-inst-gen.py:
	Generate src/inst/Makefile.am at bootstrap.

264
265
266
267
2003-07-07  Benot Perrot  <benoit@lrde.epita.fr>

	* src/task/task.hh: Remove useless ";" at end of macro definitions.

268
269
270
271
272
273
274
275
276
2003-07-07  Benot Perrot  <benoit@lrde.epita.fr>

	* dev/mipsy.xml,
	* src/inst/program_builder.cc,
	* src/inst/program_solver.hh,
	* src/vm/cpu.hh,
	* src/vm/virtual_machine.hh, src/vm/virtual_machine.cc:
	Use HI and LO register to execute div, divu, rem, remu.

Benoit Perrot's avatar
Benoit Perrot committed
277
278
279
2003-07-06  Benot Perrot  <benoit@lrde.epita.fr>

	* src/vm/virtual_machine.cc:
Benoit Perrot's avatar
Benoit Perrot committed
280
	read_string stops after an OEF or a newline; if a newline is read,
Benoit Perrot's avatar
Benoit Perrot committed
281
282
	it is stored into the buffer.

283
284
2003-07-05  Benot Perrot  <benoit@lrde.epita.fr>

Benoit Perrot's avatar
Benoit Perrot committed
285
	* dev/mipsy.xml,
286
287
288
289
290
291
	* src/inst/program_builder.cc, src/inst/program_solver.hh,
	* src/vm/virtual_machine.hh, src/vm/virtual_machine.cc:
	Support more comparison instructions.
	Implement shift (logical and arithmetical) and rotate.
	Add some syntaxes to branch instructions.

292
293
294
295
296
297
2003-06-29  Benot Perrot  <benoit@lrde.epita.fr>

	* dev/mipsy.xml, src/inst/program_builder.cc:
	Use gcc's expansion of complex and pseudo instructions.
	* src/vm/virtual_machine.cc:
	Check overflow in Sub.
Benoit Perrot's avatar
Benoit Perrot committed
298

299
300
301
302
303
304
305
2003-06-29  Benot Perrot  <benoit@lrde.epita.fr>

	* dev/mipsy-parser-gen.py:
	Allow expression for destination of branch instructions.
	* dev/mipsy-inst-gen.py:
	Generate an Exp& variable for a label.
	* src/inst/program_builder.cc, src/inst/program_solver.hh,
Benoit Perrot's avatar
Benoit Perrot committed
306
	* src/vm/virtual_machine.cc,
307
	Adjust.
Benoit Perrot's avatar
Benoit Perrot committed
308

Benoit Perrot's avatar
Benoit Perrot committed
309
2003-06-29  Benot Perrot  <benoit@lrde.epita.fr>
Benoit Perrot's avatar
Benoit Perrot committed
310

Benoit Perrot's avatar
Benoit Perrot committed
311
	* doc/mipsy.texi: Add some comments on internal.
Benoit Perrot's avatar
Benoit Perrot committed
312

Benoit Perrot's avatar
Benoit Perrot committed
313
314
2003-06-29  Benot Perrot  <benoit@lrde.epita.fr>

Benoit Perrot's avatar
Benoit Perrot committed
315
	* src/vm/virtual_machine.hh: Display a dedicated error message
Benoit Perrot's avatar
Benoit Perrot committed
316
317
	when the main label can not be found.

Benoit Perrot's avatar
Benoit Perrot committed
318
319
320
321
322
323
324
2003-06-29  Benot Perrot  <benoit@lrde.epita.fr>

	* dev/mipsy.xml, dev/mipsy.py:
	Allow level of instruction override in syntax.
	Rename "neg" as "negu".
	* dev/mipsy-builder-gen.py:
	Adjust.
Benoit Perrot's avatar
Benoit Perrot committed
325

Benoit Perrot's avatar
Benoit Perrot committed
326
327
328
329
	* src/inst/program_builder.cc:
	Support more syntaxes on branch instructions, support neg.
	* src/vm/virtual_machine.cc:
	Adjust overflow detection.
Benoit Perrot's avatar
Benoit Perrot committed
330

Benoit Perrot's avatar
Benoit Perrot committed
331
332
333
334
335
336
337
338
339
340
341
342
343
344
345
346
347
348
349
350
351
352
353
354
355
356
357
358
2003-06-29  Benot Perrot  <benoit@lrde.epita.fr>

	* dev/mipsy-parser-gen.py, dev/mipsy-scanner-gen.py,
	* dev/mipsy-builder-gen.py, dev/mipsy.py, dev/mipsy.xml
	* src/common.hh, src/modules.hh,
	* src/mipsy-tasks.hh, src/mipsy-tasks.cc, src/mipsy.cc,
	* src/inst/data_section.hh,
	* src/inst/exp-visitor.hh,
	* src/inst/exp.hh,
	* src/inst/inst.hh,
	* src/inst/program.hh,
	* src/inst/program_builder.cc,
	* src/inst/program_solver.hh,
	* src/inst/register.hh,
	* src/inst/text_section.hh,
	* src/parse/asm-scan.hh,
	* src/parse/libparse.hh, src/parse/libparse.hh,
	* src/parse/parse-tasks.hh, src/parse/parse-tasks.cc,
	* src/task/task-tasks.hh, src/task/task-tasks.cc,
	* src/task/task.cc, src/task/task.hh,
	* src/task/task_register.hh, src/task/task_register.cc,
	* src/vm/cpu.hh,
	* src/vm/memory.hh,
	* src/vm/segment.hh,
	* src/vm/table.hh,
	* src/vm/virtual_machine.hh, src/vm/virtual_machine.cc,
	* src/vm/vm-tasks.hh, src/vm/vm-tasks.cc:
	Add license.
Benoit Perrot's avatar
Benoit Perrot committed
359

Benoit Perrot's avatar
Benoit Perrot committed
360
361
362
363
364
365
2003-06-29  Benot Perrot  <benoit@lrde.epita.fr>

	* doc/mipsy.texi, doc/fdl.texi, doc/Makefile.am,
	* configure.ac:
	Begin documentation effort.

Benoit Perrot's avatar
Benoit Perrot committed
366
367
368
369
370
2003-06-29  Benot Perrot  <benoit@lrde.epita.fr>

	* Makefile.am, src/Makefile.am, src/misc/Makefile.am,
	* src/parse/Makefile.am, src/task/Makefile.am, src/vm/Makefile.am:
	Support automatic generation.
Benoit Perrot's avatar
Benoit Perrot committed
371

Benoit Perrot's avatar
Benoit Perrot committed
372
373
	* README:
	Document it.
Benoit Perrot's avatar
Benoit Perrot committed
374

375
376
377
378
2003-06-29  Benot Perrot  <benoit@lrde.epita.fr>

	* vm/table.hh, cpu.hh:
	Allow unlimited registers.
Benoit Perrot's avatar
Benoit Perrot committed
379

380
381
	* vm/memory.hh: New.
	* vm/segment.hh: New.
Benoit Perrot's avatar
Benoit Perrot committed
382

383
384
385
386
387
388
389
390
	* vm/virtual_machine.{hh, cc}: Implement instructions.

2003-06-29  Benot Perrot  <benoit@lrde.epita.fr>

	* dev/mipsy-builder-gen.py:
	Use MIPS instruction set to generate ProgramBuilder.
	* src/inst/program_builder.cc:
	Implement complex opcodes expansion.
Benoit Perrot's avatar
Benoit Perrot committed
391

392
393
394
395
396
397
398
399
400
401
	* dev/mipsy-parser-gen.py:
	Use ProgramBuilder.

2003-06-28  Benot Perrot  <benoit@lrde.epita.fr>

	* src/inst/{data, text}_section.hh: New.
	* src/inst/program.hh: New.

	* src/inst/visitor.hh: New.
	* src/inst/program_solver.hh: New.
Benoit Perrot's avatar
Benoit Perrot committed
402

403
404
405
406
407
408
409
2003-06-28  Benot Perrot  <benoit@lrde.epita.fr>

	* src/inst/inst.hh: New.
	* dev/mipsy-inst-gen.py:
	Use MIPS instruction set to generate Inst class declarations.

2003-06-28  Benot Perrot  <benoit@lrde.epita.fr>
Benoit Perrot's avatar
Benoit Perrot committed
410

411
412
413
414
415
416
417
418
419
420
	* src/inst/register.hh: New.
	* src/inst/Makefile.am, src/Makefile.am
	Distribute and compile 'inst' module.
	* src/inst/label.{hh, cc}: New.
	* src/inst/Makefile.am, src/Makefile.am:
	Distribute and compile labels.
	* src/parse/asm-{scan.ll, parse.yy}:
	Use labels and registers.

2003-06-27  Benot Perrot  <benoit@lrde.epita.fr>
Benoit Perrot's avatar
Benoit Perrot committed
421

422
423
424
425
426
427
	* src/misc/:
	Add miscellaneous helpers.
	* src/misc/Makefile.am, src/Makefile.am:
	Distribute and compile 'misc' module.
	* src/parse/asm-{scan.ll, parse.yy}:
	Use misc helpers.
Benoit Perrot's avatar
Benoit Perrot committed
428

429
2003-06-27  Benot Perrot  <benoit@lrde.epita.fr>
Benoit Perrot's avatar
Benoit Perrot committed
430

431
432
433
434
435
436
437
438
439
440
441
442
443
444
445
446
	* dev/mipsy.xml:
	Add MIPS instruction set xml file.
	* dev/mipsy.py:
	Add MIPS instruction set xml parser.
	* dev/mipsy-{scanner, parser}-gen.py:
	Use MIPS instruction set to generate flex and bison files.
	* src/parse/Makefile.am, src/Makefile.am:
	Distribute and compile 'parse' module.

2003-06-27  Benot Perrot  <benoit@lrde.epita.fr>

	* ./, ./dev/, ./src/, ./src/parse/:
	Create development tree.
	* ./config/, configure.ac, Makefile.am:
	Use autotools.
	* src/mipsy.cc: Add dummy driver.