ChangeLog 12.9 KB
Newer Older
Benoit Perrot's avatar
Benoit Perrot committed
1
2
3
4
5
2003-10-11  Benot Perrot  <benoit@lrde.epita.fr>

	* src/vm/cpu.hh, src/vm/virtual_machine.hh, src/vm/vm-tasks.cc:
	Make the CPU responsible of its instruction flow.

Benoit Perrot's avatar
Benoit Perrot committed
6
7
8
9
10
2003-10-11  Benot Perrot  <benoit@lrde.epita.fr>

	* src/vm/cpu.hh, src/vm/cpu.cc: Uniformize register accessors, 
	removing deprecated ones.

Benoit Perrot's avatar
Benoit Perrot committed
11
12
13
14
2003-09-08  Benot Perrot  <benoit@lrde.epita.fr>

	* src/vm/memory.hh: Increase default stack size to 512 Ko.

Benoit Perrot's avatar
Benoit Perrot committed
15
16
17
18
2003-09-04  Benot Perrot  <benoit@lrde.epita.fr>

	* Makefile.am: Do not distribute license.hh.

19
20
21
22
23
24
25
26
27
28
29
30
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.

31
32
33
34
35
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
36
37
38
39
40
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
41
42
43
44
45
46
2003-08-14  Benot Perrot  <benoit@lrde.epita.fr>

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

47
48
2003-08-13  Benot Perrot  <benoit@lrde.epita.fr>

Benoit Perrot's avatar
Benoit Perrot committed
49
50
51
52
53
54
55
56
57
58
	* 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>	

59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
	* 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
82
83
84
85
2003-08-11  Benot Perrot  <benoit@lrde.epita.fr>

	* tests/Makefile.am: Distribute tests machinery.

Benoit Perrot's avatar
Benoit Perrot committed
86
	* tests/common.mk: Distribute variables and rules used by
Benoit Perrot's avatar
Benoit Perrot committed
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
	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
107

Benoit Perrot's avatar
Benoit Perrot committed
108
109
110
111
	* tests/runtime/abs.s,
	* tests/runtime/neg.s,
	* tests/runtime/no-main.s,
	* tests/runtime/Makefile.am:
Benoit Perrot's avatar
Benoit Perrot committed
112
	Distribute tests that fail at run-time.
Benoit Perrot's avatar
Benoit Perrot committed
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132

	* 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
133

Benoit Perrot's avatar
Benoit Perrot committed
134
135
136
	* configure.ac, Makefile.am:
	Distribute tests suite.

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

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

142
143
144
145
146
147
148
149
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
150
151
152
153
154
2003-07-29  Benot Perrot  <benoit@lrde.epita.fr>

	* configure.ac:
	Bump to 0.4.

Benoit Perrot's avatar
Benoit Perrot committed
155
156
157
158
159
2003-07-29  Benot Perrot  <benoit@lrde.epita.fr>

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

Benoit Perrot's avatar
Benoit Perrot committed
160
161
162
163
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
164

165
166
167
168
169
170
171
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.

172
173
2003-07-29  Benot Perrot  <benoit@lrde.epita.fr>

Benoit Perrot's avatar
Benoit Perrot committed
174
	* src/task/task_register.hh (parse_args): Do not search beyond
175
176
	map's end.

Benoit Perrot's avatar
Benoit Perrot committed
177
178
179
180
2003-07-28  Benot Perrot  <benoit@lrde.epita.fr>

	* NEWS: Describe main version changes.

Benoit Perrot's avatar
Benoit Perrot committed
181
182
183
184
185
186
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.

187
188
189
190
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
191
192
193
194
195
196
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
197

Benoit Perrot's avatar
Benoit Perrot committed
198
199
	* TODO: Update.

200
201
202
203
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
204
	* src/inst/program_builder.cc,
205
	* dev/mipsy.xml, dev/mipsy-parser-gen.py, dev/mipsy-scanner-gen.py:
Benoit Perrot's avatar
Benoit Perrot committed
206
	Adjust.
207

208
209
210
211
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
212
213
214
215
2003-07-17  Benot Perrot  <benoit@lrde.epita.fr>

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

216
217
2003-07-17  Benot Perrot  <benoit@lrde.epita.fr>

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

221
222
223
224
2003-07-17  Benot Perrot  <benoit@lrde.epita.fr>

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

225
226
2003-07-17  Benot Perrot  <benoit@lrde.epita.fr>

227
228
229
230
231
	* 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
232

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

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

Benoit Perrot's avatar
Benoit Perrot committed
237
	* src/inst/section.hh,
Benoit Perrot's avatar
Benoit Perrot committed
238
	* src/inst/data_section.hh, src/inst/text_section.hh:
239
	Factor Section code.
Benoit Perrot's avatar
Benoit Perrot committed
240

241
242
2003-07-11  Benot Perrot  <benoit@lrde.epita.fr>

Benoit Perrot's avatar
Benoit Perrot committed
243
	* config/depcomp, config/install-sh, config/missing,
244
245
	* config/mkinstalldirs:
	Remove auto-generated files.
246

Benoit Perrot's avatar
Benoit Perrot committed
247
248
249
250
251
2003-07-11  Benot Perrot  <benoit@lrde.epita.fr>

	* configure.ac:
	Bump to 0.3.

252
253
254
255
256
2003-07-11  Benot Perrot  <benoit@lrde.epita.fr>

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

257
258
259
260
261
262
263
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.

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

Benoit Perrot's avatar
Benoit Perrot committed
266
	* dev/mipsy-scanner-gen.py,
267
268
269
270
271
	* src/inst/register.hh, src/vm/cpu.hh:
	Use a register vector for general purpose registers.
	* src/vm/virtual_machine.cc:
	Adjust.

272
273
274
275
276
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.

277
278
279
280
281
2003-07-07  Benot Perrot  <benoit@lrde.epita.fr>

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

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

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

286
287
288
289
290
291
292
293
294
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
295
296
297
2003-07-06  Benot Perrot  <benoit@lrde.epita.fr>

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

301
302
2003-07-05  Benot Perrot  <benoit@lrde.epita.fr>

Benoit Perrot's avatar
Benoit Perrot committed
303
	* dev/mipsy.xml,
304
305
306
307
308
309
	* 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.

310
311
312
313
314
315
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
316

317
318
319
320
321
322
323
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
324
	* src/vm/virtual_machine.cc,
325
	Adjust.
Benoit Perrot's avatar
Benoit Perrot committed
326

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

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

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

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

Benoit Perrot's avatar
Benoit Perrot committed
336
337
338
339
340
341
342
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
343

Benoit Perrot's avatar
Benoit Perrot committed
344
345
346
347
	* 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
348

Benoit Perrot's avatar
Benoit Perrot committed
349
350
351
352
353
354
355
356
357
358
359
360
361
362
363
364
365
366
367
368
369
370
371
372
373
374
375
376
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
377

Benoit Perrot's avatar
Benoit Perrot committed
378
379
380
381
382
383
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
384
385
386
387
388
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
389

Benoit Perrot's avatar
Benoit Perrot committed
390
391
	* README:
	Document it.
Benoit Perrot's avatar
Benoit Perrot committed
392

393
394
395
396
2003-06-29  Benot Perrot  <benoit@lrde.epita.fr>

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

398
399
	* vm/memory.hh: New.
	* vm/segment.hh: New.
Benoit Perrot's avatar
Benoit Perrot committed
400

401
402
403
404
405
406
407
408
	* 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
409

410
411
412
413
414
415
416
417
418
419
	* 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
420

421
422
423
424
425
426
427
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
428

429
430
431
432
433
434
435
436
437
438
	* 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
439

440
441
442
443
444
445
	* 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
446

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

449
450
451
452
453
454
455
456
457
458
459
460
461
462
463
464
	* 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.