Typenames and syntax subject to change

Input

uint8 foo()
{
    return 4;
}

void main()
{
    uint8 y = foo();
}

Output

borgleader@Holodeck:~/Bitbucket/bolt$ ./bin/bolt samples/sample1.bolt 
bolt LLVM compiler

Parse successful.
Semantic analysis successful.
AST processed.
; ModuleID = 'module jit'

define i8 @foo() {
entrypoint:
  %trunc = trunc i32 4 to i8
  ret i8 %trunc
}

define void @main() {
entrypoint:
  %y = alloca i8
  %0 = call i8 @foo()
  store i8 %0, i8* %y
  ret void
}

Code generation successful.
Quitting...