Verify bitcode before write, minor fixes. (#21)

backend.native/compiler/ir/backend.native/src/org/jetbrains/kotlin/backend/native/llvm/IrToBitcode.kt

@@ -24,6 +24,14 @@ fun emitLLVM(module: IrModuleFragment, runtimeFile: String, outFile: String) {
     module.acceptVoid(RTTIGeneratorVisitor(context))
     context.runtime.importRuntime(llvmModule)
     module.acceptVoid(CodeGeneratorVisitor(context))
+    memScoped {
+        val errorRef = alloc(Int8Box.ref)
+        // TODO: use LLVMDisposeMessage() on errorRef, once possible in interop.
+        if (LLVMVerifyModule(
+                llvmModule, LLVMVerifierFailureAction.LLVMPrintMessageAction, errorRef) == 1) {
+            throw Error("Invalid module");
+        }
+    }
     LLVMWriteBitcodeToFile(llvmModule, outFile)
 }
 

backend.native/compiler/ir/backend.native/src/org/jetbrains/kotlin/backend/native/llvm/LlvmUtils.kt

@@ -85,7 +85,7 @@ internal fun getLlvmFunctionType(function: FunctionDescriptor): LLVMOpaqueType?
 
     if (extraParam.size == 0) return LLVMFunctionType(returnType, null, 0, 0)
     memScoped {
-        val paramTypesPtr = mallocNativeArrayOf(LLVMOpaqueType, *extraParam.toTypedArray())[0] // TODO: dispose
+        val paramTypesPtr = allocNativeArrayOf(LLVMOpaqueType, *extraParam.toTypedArray())[0] // TODO: dispose
         return LLVMFunctionType(returnType, paramTypesPtr, extraParam.size, 0)
     }
 }