|
1 | 1 | import std._str;
|
| 2 | +import std._vec; |
| 3 | +import std._str.rustrt.sbuf; |
| 4 | +import std._vec.rustrt.vbuf; |
2 | 5 |
|
3 | 6 | import fe.ast;
|
4 | 7 | import driver.session;
|
5 | 8 |
|
6 | 9 | import lib.llvm.llvm;
|
7 | 10 | import lib.llvm.builder;
|
| 11 | +import lib.llvm.llvm.ModuleRef; |
| 12 | +import lib.llvm.llvm.ValueRef; |
| 13 | +import lib.llvm.llvm.TypeRef; |
| 14 | +import lib.llvm.llvm.BuilderRef; |
| 15 | +import lib.llvm.llvm.BasicBlockRef; |
8 | 16 |
|
| 17 | +import lib.llvm.False; |
| 18 | +import lib.llvm.True; |
9 | 19 |
|
10 |
| -fn translate_crate(session.session sess, ast.crate crate) { |
| 20 | +fn T_nil() -> TypeRef { |
| 21 | + ret llvm.LLVMVoidType(); |
| 22 | +} |
| 23 | + |
| 24 | +fn T_int() -> TypeRef { |
| 25 | + ret llvm.LLVMInt32Type(); |
| 26 | +} |
| 27 | + |
| 28 | +fn T_fn(vec[TypeRef] inputs, TypeRef output) -> TypeRef { |
| 29 | + ret llvm.LLVMFunctionType(output, |
| 30 | + _vec.buf[TypeRef](inputs), |
| 31 | + _vec.len[TypeRef](inputs), |
| 32 | + False()); |
| 33 | +} |
| 34 | + |
| 35 | +fn trans_fn(ModuleRef llmod, str name, &ast._fn f) { |
| 36 | + let vec[TypeRef] args = vec(); |
| 37 | + let TypeRef llty = T_fn(args, T_nil()); |
| 38 | + let ValueRef llfn = |
| 39 | + llvm.LLVMAddFunction(llmod, _str.buf(name), llty); |
| 40 | +} |
| 41 | + |
| 42 | +fn trans_block(ast.block b, ValueRef llfn) { |
| 43 | + let BasicBlockRef llbb = |
| 44 | + llvm.LLVMAppendBasicBlock(llfn, 0 as sbuf); |
| 45 | + let BuilderRef llbuild = llvm.LLVMCreateBuilder(); |
| 46 | + llvm.LLVMPositionBuilderAtEnd(llbuild, llbb); |
| 47 | + auto b = builder(llbuild); |
| 48 | +} |
| 49 | + |
| 50 | +fn trans_mod_item(ModuleRef llmod, str name, &ast.item item) { |
| 51 | + alt (item) { |
| 52 | + case (ast.item_fn(?f)) { |
| 53 | + trans_fn(llmod, name, *f); |
| 54 | + } |
| 55 | + case (ast.item_mod(?m)) { |
| 56 | + trans_mod(llmod, name, *m); |
| 57 | + } |
| 58 | + } |
| 59 | +} |
| 60 | + |
| 61 | +fn trans_mod(ModuleRef llmod, str name, &ast._mod m) { |
| 62 | + for each (tup(str, ast.item) pair in m.items()) { |
| 63 | + trans_mod_item(llmod, name + "." + pair._0, pair._1); |
| 64 | + } |
| 65 | +} |
| 66 | + |
| 67 | +fn trans_crate(session.session sess, ast.crate crate) { |
11 | 68 | auto llmod =
|
12 | 69 | llvm.LLVMModuleCreateWithNameInContext(_str.buf("rust_out"),
|
13 | 70 | llvm.LLVMGetGlobalContext());
|
14 | 71 |
|
15 |
| - auto b = builder(llvm.LLVMCreateBuilder()); |
16 | 72 |
|
17 | 73 | llvm.LLVMWriteBitcodeToFile(llmod, _str.buf("rust_out.bc"));
|
18 | 74 | llvm.LLVMDisposeModule(llmod);
|
|
0 commit comments