source: Deliverables/D2.3/8051-memoryspaces-branch/TODO @ 489

Last change on this file since 489 was 453, checked in by ayache, 9 years ago

Import of the Paris's sources.

File size: 1.9 KB
Line 
1*
2
3* Add a README in experiments/CCompiler, including where to find
4  licence information, software requirements: menhir, ocaml, CIL
5  (included in distribution)...  how to compile how to run and test
6
7* Put trace of development in a separate directory outside the
8  distribution.
9
10* In the sources in experiments/backend/src: put Annot_all (direct
11  approach) outside the distribution trace origin/licence of each file
12
13
14* It would be good to separate as much as possible the basic compiler
15  from the part which has to do with the annotations (labelling,
16  instrumentation, annotation, computation cost on the control flow
17  graph).  Parts that need to be kept in the same file should be
18  clearly marked.  Ideally, it should be possible to extract
19  quasi-automatically the distribution for the basic compiler.
20
21* Increase readability of source code. Currently there are too many
22  files.  For instance, create a directory for each intermediate
23  language and a separate directory for shared algorithms, memory
24  model.
25
26* Clarify what part of C is covered. Currently, wrt to CompCert we
27  have no floating point and no dynamic allocation of arrays. Moreover
28  starting from RTL_MIPS we do not cover all C data formats. Anything
29  else ?
30
31  => Currently, local arrays can be handled through allocation in the
32  heap.
33
34* Prepare battery of tests. Simple tests, CompCert tests, programs
35  generated by Lustre compiler. When looking at this tests, we should
36  identify the part of C that we definitely want to be able to compile.
37
38* In the commands, we could add the possibility to select the target
39  assembly language (currently only MIPS, but ARM7, 8051 in the
40  future).
41
42* Clarify parts of the compiler that are sensitive to retargetting.
43  For instance, what if we move to 8 bits integers (8051) ?
44  => Look into SDCC manual.
45
46* Possibility to define an interpreter for subset of ARM7, 8051 used
47  in the compilation. Necessity to fix simulators for ARM7, 8051.
Note: See TracBrowser for help on using the repository browser.