codegen

file := filepath.FromSlash("../testdata/from-mincaml/ack.ml")
src, err := locerr.NewSourceFromFile(file)
if err != nil {
	// File not found
	panic(err)
}

ast, err := syntax.Parse(src)
if err != nil {
	// When parse failed
	panic(err)
}

// Resolving symbols, type analysis and converting AST into MIR instruction block
env, block, err := sema.SemanticsCheck(ast)
if err != nil {
	// Type error detected
	panic(err)
}

// Create MIR compilation unit
program := closure.Transform(block)

// Make options to emit the result
options := EmitOptions{
	Optimization: OptimizeDefault,             // Optimization level
	Triple:       "x86_64-apple-darwin16.4.0", // Compilation target (Empty string means default target on your machine)
	DebugInfo:    true,                        // Add debug information to the result or not
}

// Emitter object, which compiles MIR to LLVM IR and emits assembly, object file or executable
// In factory function, given MIR code is already converted to LLVM IR
emitter, err := NewEmitter(program, env, src, options)
if err != nil {
	panic(err)
}

// You need to defer finalization
defer emitter.Dispose()

// Run LLVM IR level optimizations
emitter.RunOptimizationPasses()

// Show LLVM IR compiled from `program`
fmt.Println("LLVMIR:\n" + emitter.EmitLLVMIR())

// Emit platform-dependant assembly file
asm, err := emitter.EmitAsm()
if err != nil {
	panic(err)
}
fmt.Println("Assembly:\n" + asm)

// Emit object file contents as bytes (MIR -> LLVM IR -> object file)
object, err := emitter.EmitObject()
if err != nil {
	panic(err)
}
fmt.Printf("Object file:\n%v\n", object)

// Emit executable file as "a.out". This is the final result we want!
// It links the object file and runtime with a linker.
// (MIR -> LLVM IR -> assembly -> object -> executable)
if err := emitter.EmitExecutable("a.out"); err != nil {
	panic(err)
}

Output: