source: Deliverables/D2.2/8051/doc/src/main @ 486

Last change on this file since 486 was 486, checked in by ayache, 8 years ago

Deliverable D2.2

File size: 1.2 KB
Line 
1{2 Driver}
2
3{!modules: Acc Checker Languages Options AnnotationOptions}
4
5{2 Cminor}
6
7{!modules: Cminor CminorAnnotator CminorInterpret CminorLabelling
8  CminorPrinter CminorToRTLabs
9}
10
11{2 Clight}
12
13{!modules: Clight ClightAnnotator ClightInterpret ClightLabelling
14  ClightParser ClightPrinter ClightToCminor
15}
16
17{2 RTLabs}
18
19{!modules: RTLabs RTLabsInterpret RTLabsPrinter RTLabsToRTL}
20
21{2 RTL}
22
23{!modules: RTL RTLInterpret RTLPrinter RTLToERTLI RTLToERTL}
24
25{2 ERTL}
26
27{!modules: ERTL ERTLInterpret Spill Coloring ERTLPrinter
28  ERTLToLTLI ERTLToLTL Liveness Uses Zero
29}
30
31{2 LTL}
32
33{!modules: LTL LTLInterpret LTLPrinter LTLToLINI LTLToLIN}
34
35{2 LIN}
36
37{!modules: LIN LINInterpret LINPrinter LINToASM Branch}
38
39{2 ASM}
40
41{!modules: ASM ASMInterpret ASMCompute_costs ASMPrinter
42  MIPSInterpret MIPS MIPSOps PrintOps}
43
44{2 Language-independent modules}
45
46{!modules: AST Atom AtomSig CostLabel Label Memory
47  Primitive PrintPrimitive Register Value Build
48}
49
50{2 General utilities}
51
52{!modules: OptionsParsing Position Misc Error
53  Error Fix Integer Interference Misc MiscPottier MyMap
54  Option Position PrintCFG Print PrintPottier PrioritySet SetMap
55  StringSig StringTools SyntacticAnalysis UnionFind
56}
Note: See TracBrowser for help on using the repository browser.