Mercurial > projects > dang
annotate dang/compiler.d @ 56:4ae365eff712 new_gen
Now return types works for structs... Also, simplyfing in AST have been startet - but still messy. This update is a little messy...
author | Anders Johnsen <skabet@gmail.com> |
---|---|
date | Mon, 28 Apr 2008 21:40:00 +0200 |
parents | c96cdcbdb9d6 |
children | 2451f0904bf6 |
rev | line source |
---|---|
1 | 1 module dang.compiler; |
2 | |
3 import tango.io.Stdout, | |
4 tango.core.Signal, | |
5 tango.io.FilePath; | |
6 | |
7 import lexer.Lexer, | |
8 parser.Parser; | |
9 | |
10 import misc.DataSource; | |
11 | |
12 import ast.Decl; | |
13 | |
14 import tools.AstPrinter, | |
15 tools.DotPrinter; | |
16 | |
51
c96cdcbdb9d6
Rearranged some stuff, and renamed LLVMGen -> CodeGen
Anders Halager <halager@gmail.com>
parents:
50
diff
changeset
|
17 import gen.CodeGen; |
1 | 18 |
13
e5caf9971207
Checking for types and identifiers. TODO: Make each varDecl create a new scope
johnsen@johnsen-desktop
parents:
1
diff
changeset
|
19 import sema.Visitor, |
51
c96cdcbdb9d6
Rearranged some stuff, and renamed LLVMGen -> CodeGen
Anders Halager <halager@gmail.com>
parents:
50
diff
changeset
|
20 sema.AstAction, |
13
e5caf9971207
Checking for types and identifiers. TODO: Make each varDecl create a new scope
johnsen@johnsen-desktop
parents:
1
diff
changeset
|
21 sema.SymbolTableBuilder, |
e5caf9971207
Checking for types and identifiers. TODO: Make each varDecl create a new scope
johnsen@johnsen-desktop
parents:
1
diff
changeset
|
22 sema.Declarations; |
1 | 23 |
24 import dang.OptParse; | |
25 | |
26 void checkFiles(char[][] *files) | |
27 { | |
28 bool error = false; | |
29 | |
30 char[][] validFiles; | |
31 | |
32 foreach(file ; *files) | |
33 { | |
34 auto path = new FilePath(file); | |
35 | |
36 if(!path.exists) | |
37 { | |
38 Stdout("File '"~file~"' does not exists").newline; | |
39 error = true; | |
40 | |
41 continue; | |
42 } | |
43 | |
44 bool fileInStack = false; | |
45 foreach(vFile ; validFiles) | |
46 if(vFile == file) | |
47 fileInStack = true; | |
48 | |
49 if(fileInStack) | |
50 continue; | |
51 | |
52 validFiles ~= file; | |
53 } | |
54 | |
55 *files = validFiles; | |
56 | |
57 if(error) | |
58 throw new Exception("Some file(s) did not exist"); | |
59 } | |
60 void main(char[][] args) | |
61 { | |
62 char[][] filesToHandle; | |
63 | |
64 Signal!(char[][]*) preStart; | |
65 | |
66 Signal!(char[]) preLex; | |
67 Signal!(Lexer) postLex; | |
68 | |
69 Signal!(Lexer) preParse; | |
70 Signal!(Decl[], DataSource) postParse; | |
71 | |
72 preStart.attach(&checkFiles); | |
73 | |
74 auto argParse = new OptionParser; | |
75 | |
40
9fb190ad81a4
Added -O and --inline args to Dang.
Anders Johnsen <skabet@gmail.com>
parents:
22
diff
changeset
|
76 bool optimize = false; |
9fb190ad81a4
Added -O and --inline args to Dang.
Anders Johnsen <skabet@gmail.com>
parents:
22
diff
changeset
|
77 bool inline = false; |
9fb190ad81a4
Added -O and --inline args to Dang.
Anders Johnsen <skabet@gmail.com>
parents:
22
diff
changeset
|
78 |
1 | 79 argParse.addOption( |
80 ["-h", "--help"],{ | |
81 argParse.helpText(); | |
82 return; | |
83 } | |
84 ).help("Show this help message"); | |
85 | |
86 argParse.addOption( | |
87 ["--ast-dump-dot"], { | |
88 postParse.attach( | |
89 (Decl[] decls, DataSource src) { | |
90 auto print = new DotPrinter(); | |
91 print.print(decls); | |
92 }); | |
93 } | |
94 ).help("Output the AST as dot-graphicz"); | |
95 | |
96 argParse.addOption( | |
97 ["--ast-dump-code"], { | |
98 postParse.attach( | |
99 (Decl[] decls, DataSource src) { | |
100 auto print = new AstPrinter(src); | |
101 print.print(decls); | |
102 }); | |
103 } | |
104 ).help("Output the AST as dot-graphicz"); | |
105 | |
106 argParse.addOption( | |
107 ["--gen-llvm"], { | |
40
9fb190ad81a4
Added -O and --inline args to Dang.
Anders Johnsen <skabet@gmail.com>
parents:
22
diff
changeset
|
108 /* postParse.attach( |
1 | 109 (Decl[] decls, DataSource src) { |
51
c96cdcbdb9d6
Rearranged some stuff, and renamed LLVMGen -> CodeGen
Anders Halager <halager@gmail.com>
parents:
50
diff
changeset
|
110 auto llvmGen = new CodeGen(); |
1 | 111 llvmGen.gen(decls); |
40
9fb190ad81a4
Added -O and --inline args to Dang.
Anders Johnsen <skabet@gmail.com>
parents:
22
diff
changeset
|
112 }); */ |
9fb190ad81a4
Added -O and --inline args to Dang.
Anders Johnsen <skabet@gmail.com>
parents:
22
diff
changeset
|
113 } |
9fb190ad81a4
Added -O and --inline args to Dang.
Anders Johnsen <skabet@gmail.com>
parents:
22
diff
changeset
|
114 ).help("Compile to LLVM code (default)"); |
9fb190ad81a4
Added -O and --inline args to Dang.
Anders Johnsen <skabet@gmail.com>
parents:
22
diff
changeset
|
115 |
9fb190ad81a4
Added -O and --inline args to Dang.
Anders Johnsen <skabet@gmail.com>
parents:
22
diff
changeset
|
116 argParse.addOption( |
9fb190ad81a4
Added -O and --inline args to Dang.
Anders Johnsen <skabet@gmail.com>
parents:
22
diff
changeset
|
117 ["-O","--optimize"], { |
9fb190ad81a4
Added -O and --inline args to Dang.
Anders Johnsen <skabet@gmail.com>
parents:
22
diff
changeset
|
118 optimize = true; |
1 | 119 } |
40
9fb190ad81a4
Added -O and --inline args to Dang.
Anders Johnsen <skabet@gmail.com>
parents:
22
diff
changeset
|
120 ).help("Optimize code when compiling to LLVM"); |
9fb190ad81a4
Added -O and --inline args to Dang.
Anders Johnsen <skabet@gmail.com>
parents:
22
diff
changeset
|
121 |
9fb190ad81a4
Added -O and --inline args to Dang.
Anders Johnsen <skabet@gmail.com>
parents:
22
diff
changeset
|
122 argParse.addOption( |
9fb190ad81a4
Added -O and --inline args to Dang.
Anders Johnsen <skabet@gmail.com>
parents:
22
diff
changeset
|
123 ["--inline"], { |
9fb190ad81a4
Added -O and --inline args to Dang.
Anders Johnsen <skabet@gmail.com>
parents:
22
diff
changeset
|
124 inline = true; |
9fb190ad81a4
Added -O and --inline args to Dang.
Anders Johnsen <skabet@gmail.com>
parents:
22
diff
changeset
|
125 } |
9fb190ad81a4
Added -O and --inline args to Dang.
Anders Johnsen <skabet@gmail.com>
parents:
22
diff
changeset
|
126 ).help("Inline functions when compiling to LLVM"); |
1 | 127 |
128 auto options = argParse.parse(args); | |
129 | |
130 filesToHandle ~= options.args; | |
131 | |
132 try | |
133 { | |
134 preStart(&filesToHandle); | |
135 } | |
136 catch(Exception e) | |
137 { | |
138 return; | |
139 } | |
140 | |
40
9fb190ad81a4
Added -O and --inline args to Dang.
Anders Johnsen <skabet@gmail.com>
parents:
22
diff
changeset
|
141 postParse.attach( |
9fb190ad81a4
Added -O and --inline args to Dang.
Anders Johnsen <skabet@gmail.com>
parents:
22
diff
changeset
|
142 (Decl[] decls, DataSource src) { |
51
c96cdcbdb9d6
Rearranged some stuff, and renamed LLVMGen -> CodeGen
Anders Halager <halager@gmail.com>
parents:
50
diff
changeset
|
143 auto llvmGen = new CodeGen(); |
40
9fb190ad81a4
Added -O and --inline args to Dang.
Anders Johnsen <skabet@gmail.com>
parents:
22
diff
changeset
|
144 llvmGen.gen(decls, optimize, inline); |
9fb190ad81a4
Added -O and --inline args to Dang.
Anders Johnsen <skabet@gmail.com>
parents:
22
diff
changeset
|
145 }); |
9fb190ad81a4
Added -O and --inline args to Dang.
Anders Johnsen <skabet@gmail.com>
parents:
22
diff
changeset
|
146 |
1 | 147 foreach(file ; filesToHandle) |
148 { | |
149 preLex(file); | |
150 | |
151 auto src = DataSource(file); | |
152 auto lexer = new Lexer(src); | |
22 | 153 /* |
154 auto t = lexer.next; | |
155 while(t.getType != "EOF") | |
156 { | |
157 Stdout(t.getType)(" : ")(t.get).newline; | |
158 t = lexer.next; | |
159 } | |
160 lexer = new Lexer(src); | |
161 */ | |
1 | 162 postLex(lexer); |
163 | |
164 preParse(lexer); | |
165 | |
166 auto parser = new Parser; | |
51
c96cdcbdb9d6
Rearranged some stuff, and renamed LLVMGen -> CodeGen
Anders Halager <halager@gmail.com>
parents:
50
diff
changeset
|
167 auto decls = cast(Decl[])parser.parse(lexer, new AstAction); |
1 | 168 |
13
e5caf9971207
Checking for types and identifiers. TODO: Make each varDecl create a new scope
johnsen@johnsen-desktop
parents:
1
diff
changeset
|
169 (new SymbolTableBuilder).visit(decls); |
e5caf9971207
Checking for types and identifiers. TODO: Make each varDecl create a new scope
johnsen@johnsen-desktop
parents:
1
diff
changeset
|
170 (new Declarations).visit(decls); |
e5caf9971207
Checking for types and identifiers. TODO: Make each varDecl create a new scope
johnsen@johnsen-desktop
parents:
1
diff
changeset
|
171 |
56
4ae365eff712
Now return types works for structs... Also, simplyfing in AST have been startet - but still messy. This update is a little messy...
Anders Johnsen <skabet@gmail.com>
parents:
51
diff
changeset
|
172 foreach(decl ; decls) |
4ae365eff712
Now return types works for structs... Also, simplyfing in AST have been startet - but still messy. This update is a little messy...
Anders Johnsen <skabet@gmail.com>
parents:
51
diff
changeset
|
173 decl.simplify(); |
4ae365eff712
Now return types works for structs... Also, simplyfing in AST have been startet - but still messy. This update is a little messy...
Anders Johnsen <skabet@gmail.com>
parents:
51
diff
changeset
|
174 |
1 | 175 postParse(decls, src); |
176 } | |
177 | |
178 /* if (args.length > 1 && args[1] == "lex") | |
179 { | |
180 Token t; | |
181 | |
182 t = lexer.next(); | |
183 while(t.type != Tok.EOF) | |
184 { | |
185 Stdout(src.get(t.position, t.length)).newline; | |
186 t = lexer.next(); | |
187 } | |
188 } | |
189 else | |
190 { | |
191 auto decl = parser.parse(lexer); | |
192 if(args.length > 1 && args[1] == "dump-ast") | |
193 { | |
194 auto buffer = new AstBuffer(src.data); | |
195 decl.print(buffer); | |
196 } | |
197 }*/ | |
198 } |