source: Deliverables/D2.3/8051-memoryspaces-branch/README @ 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: 2.6 KB
Line 
1 Description
2-------------
3
4  This is an experimental annotating C compiler that was built upon
5  the CIL parser[1], Xavier Leroy's translation from C to Clight, and
6  an existing back-end compiler for a register transfer language to a
7  subset of the MIPS assembly language[2].
8
9  We wrote 3 compiler passes: one from Clight to Cminor, another from
10  Cminor to an abstract register transfer language (RTLabs), and a
11  last one from RTLabs to an RTL that uses MIPS instructions. We
12  extended interpreters for the intermediate languages to output a
13  list of labels which denote key control points of the program that
14  have been crossed during the interpretation. These labels are the
15  places where the code can be instrumented to obtain a precise cost
16  annotation. Thus, in that experiment, the annotation function is the
17  composition of a labelling function followed by an instrumentation
18  function.
19
20  The architecture of the compiler is described in full details in the
21  documentation of this development, which can be found in this source
22  tree at doc/html/index.html.
23
24[1] http://cil-parser.sourceforge.net/
25[2] http://www.enseignement.polytechnique.fr/informatique/INF564/petit.tar.gz
26
27 Licence
28---------
29
30  This piece of code must not be distributed. It is addressed to the
31  CerCo partners only.
32
33 Requirements
34--------------
35
36  - ocaml    (>= 3.11)
37  - menhir   (>= 20090505)
38  - CIL      (included in the distribution)
39  - GNU Make (>= 3.8)
40  - gcc
41
42 Compilation
43-------------
44
45  You can compile this compiler using the following command:
46
47  % make
48 
49  (assuming that you are located at the root of the source tree)
50
51
52 Installation
53--------------
54
55  To install the compiler in your favorite system hierarchy, use:
56
57  % PREFIX=your-directory make install
58
59  The executable "acc" will be installed in the subdirectory "bin/" of
60  "your-directory".
61
62 Usage
63-------
64
65Usage: acc.native [options] file...
66  -s              Choose the source language between:
67                  Clight, Cminor
68                  [default is C]
69  -l              Choose the target language between:
70                  Clight, Cminor, RTLabs, RTL, ERTL, LTL, LIN, ASM
71                  [default is ASM]
72  -i              Interpret the compiled code.
73  -no-annotation  Deactivate source code annotation.
74  -d              Debugging mode.
75  -a              Annotate the compiled code.
76  -help           Display this list of options
77  --help          Display this list of options
78
79 Test-suite
80------------
81
82  You can optionnally check that compilation went well by confronting
83  the freshly built compiler to our test-suite. At the root of the
84  source tree, use:
85
86  % make check
Note: See TracBrowser for help on using the repository browser.