Feature: Verify module before print

ovr · ovr · commit 3e7ff06f9fbf · 2018-10-27T13:15:14.000+09:00
diff --git a/src/Backend/LLVM/index.ts b/src/Backend/LLVM/index.ts
@@ -180,7 +180,7 @@ class Context {
     }
 }
 
-export function generateFromFile(file: File) {
+export function generateModuleFromFile(file: File): llvm.Module {
     const ctx = new Context();
 
     let putsFnType = llvm.FunctionType.get(llvm.Type.getInt32Ty(ctx.llvmContext), [
@@ -200,6 +200,5 @@ export function generateFromFile(file: File) {
 
     irBuilder.createRetVoid();
 
-    const ll = ctx.llvmModule.print();
-    console.log(ll);
+    return ctx.llvmModule;
 }
diff --git a/src/cli.ts b/src/cli.ts
@@ -1,11 +1,19 @@
 
+import * as llvm from 'llvm-node';
 import {parseTypeScript} from './Frontend/TypeScript';
-import {generateFromFile} from './Backend/LLVM';
+import {generateModuleFromFile} from './Backend/LLVM';
 
 const ast = parseTypeScript();
 
 // console.log(ast);
 
-const ir = generateFromFile(ast);
+llvm.initializeAllTargetInfos();
+llvm.initializeAllTargets();
+llvm.initializeAllTargetMCs();
+llvm.initializeAllAsmParsers();
+llvm.initializeAllAsmPrinters();
 
-// console.log(ir);
+const llvmModule = generateModuleFromFile(ast);
+
+console.log(llvm.verifyModule(llvmModule));
+console.log(llvmModule.print());

Original file line number	Diff line number	Diff line change
`@@ -180,7 +180,7 @@ class Context {`
`180`	`180`	`}`
`181`	`181`	`}`
`182`	`182`
`183`		`-export function generateFromFile(file: File) {`
	`183`	`+export function generateModuleFromFile(file: File): llvm.Module {`
`184`	`184`	`const ctx = new Context();`
`185`	`185`
`186`	`186`	`let putsFnType = llvm.FunctionType.get(llvm.Type.getInt32Ty(ctx.llvmContext), [`
`@@ -200,6 +200,5 @@ export function generateFromFile(file: File) {`
`200`	`200`
`201`	`201`	`irBuilder.createRetVoid();`
`202`	`202`
`203`		`- const ll = ctx.llvmModule.print();`
`204`		`- console.log(ll);`
	`203`	`+ return ctx.llvmModule;`
`205`	`204`	`}`