Mercurial > projects > dang
annotate dang/compiler.d @ 51:c96cdcbdb9d6 new_gen
Rearranged some stuff, and renamed LLVMGen -> CodeGen
| author | Anders Halager <halager@gmail.com> |
|---|---|
| date | Sat, 26 Apr 2008 15:54:54 +0200 |
| parents | e24515bcd4ef |
| children | 4ae365eff712 |
| 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 |
| 1 | 172 postParse(decls, src); |
| 173 } | |
| 174 | |
| 175 /* if (args.length > 1 && args[1] == "lex") | |
| 176 { | |
| 177 Token t; | |
| 178 | |
| 179 t = lexer.next(); | |
| 180 while(t.type != Tok.EOF) | |
| 181 { | |
| 182 Stdout(src.get(t.position, t.length)).newline; | |
| 183 t = lexer.next(); | |
| 184 } | |
| 185 } | |
| 186 else | |
| 187 { | |
| 188 auto decl = parser.parse(lexer); | |
| 189 if(args.length > 1 && args[1] == "dump-ast") | |
| 190 { | |
| 191 auto buffer = new AstBuffer(src.data); | |
| 192 decl.print(buffer); | |
| 193 } | |
| 194 }*/ | |
| 195 } |