TC-L Samples
Note
Starting from a typed AST, generate the LLVM IR instructions using the LLVM framework.
the-answer-llvm.tig
let
var answer := 42
in
answer := 51
end
tc --llvm-display the-answer-llvm.tig
$ tc --llvm-display the-answer-llvm.tig
; ModuleID = 'tc'
source_filename = "tc"
target triple = "x86_64-unknown-linux-gnu"
declare ptr addrspace(1) @tc_malloc(i64)
; Function Attrs: inlinehint nounwind
declare void @tc_print(ptr addrspace(1)) #0
; Function Attrs: inlinehint nounwind
declare void @tc_print_err(ptr addrspace(1)) #0
; Function Attrs: inlinehint nounwind
declare void @tc_print_int(i64) #0
; Function Attrs: inlinehint nounwind
declare void @tc_flush() #0
; Function Attrs: inlinehint nounwind
declare ptr addrspace(1) @tc_getchar() #0
; Function Attrs: inlinehint nounwind
declare i64 @tc_ord(ptr addrspace(1)) #0
; Function Attrs: inlinehint nounwind
declare ptr addrspace(1) @tc_chr(i64) #0
; Function Attrs: inlinehint nounwind
declare i64 @tc_size(ptr addrspace(1)) #0
; Function Attrs: inlinehint nounwind
declare i64 @tc_streq(ptr addrspace(1), ptr addrspace(1)) #0
; Function Attrs: inlinehint nounwind
declare i64 @tc_strcmp(ptr addrspace(1), ptr addrspace(1)) #0
; Function Attrs: inlinehint nounwind
declare ptr addrspace(1) @tc_substring(ptr addrspace(1), i64, i64) #0
; Function Attrs: inlinehint nounwind
declare ptr addrspace(1) @tc_concat(ptr addrspace(1), ptr addrspace(1)) #0
; Function Attrs: inlinehint nounwind
declare i64 @tc_not(i64) #0
; Function Attrs: inlinehint nounwind
declare void @tc_exit(i64) #0
; Function Attrs: inlinehint nounwind
declare void @tc_gc_enable(i64) #0
; Function Attrs: inlinehint nounwind
declare void @tc_gc_run() #0
; Function Attrs: nounwind
define void @tc_main() #1 {
entry__main:
%answer_18 = alloca i64, align 8
store i64 42, ptr %answer_18, align 4
store i64 51, ptr %answer_18, align 4
ret void
}
attributes #0 = { inlinehint nounwind }
attributes #1 = { nounwind }
$ echo $?
0
add-llvm.tig
let
function add(x: int, y: int) : int = x + y
in
print_int(add(1,(add(2, 3)))); print("\n")
end
tc --llvm-display add-llvm.tig
$ tc --llvm-display add-llvm.tig
; ModuleID = 'tc'
source_filename = "tc"
target triple = "x86_64-unknown-linux-gnu"
@string = private unnamed_addr addrspace(1) constant [2 x i8] c"\0A\00", align 1
declare ptr addrspace(1) @tc_malloc(i64)
; Function Attrs: inlinehint nounwind
declare void @tc_print(ptr addrspace(1)) #0
; Function Attrs: inlinehint nounwind
declare void @tc_print_err(ptr addrspace(1)) #0
; Function Attrs: inlinehint nounwind
declare void @tc_print_int(i64) #0
; Function Attrs: inlinehint nounwind
declare void @tc_flush() #0
; Function Attrs: inlinehint nounwind
declare ptr addrspace(1) @tc_getchar() #0
; Function Attrs: inlinehint nounwind
declare i64 @tc_ord(ptr addrspace(1)) #0
; Function Attrs: inlinehint nounwind
declare ptr addrspace(1) @tc_chr(i64) #0
; Function Attrs: inlinehint nounwind
declare i64 @tc_size(ptr addrspace(1)) #0
; Function Attrs: inlinehint nounwind
declare i64 @tc_streq(ptr addrspace(1), ptr addrspace(1)) #0
; Function Attrs: inlinehint nounwind
declare i64 @tc_strcmp(ptr addrspace(1), ptr addrspace(1)) #0
; Function Attrs: inlinehint nounwind
declare ptr addrspace(1) @tc_substring(ptr addrspace(1), i64, i64) #0
; Function Attrs: inlinehint nounwind
declare ptr addrspace(1) @tc_concat(ptr addrspace(1), ptr addrspace(1)) #0
; Function Attrs: inlinehint nounwind
declare i64 @tc_not(i64) #0
; Function Attrs: inlinehint nounwind
declare void @tc_exit(i64) #0
; Function Attrs: inlinehint nounwind
declare void @tc_gc_enable(i64) #0
; Function Attrs: inlinehint nounwind
declare void @tc_gc_run() #0
; Function Attrs: nounwind
define void @tc_main() #1 {
entry__main:
%call_add_20 = call i64 @add_20(i64 2, i64 3)
%call_add_201 = call i64 @add_20(i64 1, i64 %call_add_20)
call void @tc_print_int(i64 %call_add_201)
call void @tc_print(ptr addrspace(1) @string)
ret void
}
; Function Attrs: nounwind
define internal i64 @add_20(i64 %x_18, i64 %y_19) #1 {
entry_add_20:
%y_192 = alloca i64, align 8
%x_181 = alloca i64, align 8
store i64 %x_18, ptr %x_181, align 4
store i64 %y_19, ptr %y_192, align 4
%x_183 = load i64, ptr %x_181, align 4
%y_194 = load i64, ptr %y_192, align 4
%addtmp = add i64 %x_183, %y_194
ret i64 %addtmp
}
attributes #0 = { inlinehint nounwind }
attributes #1 = { nounwind }
$ echo $?
0
Note
Once your compiler is complete, you can produce an actual LLVM IR output and compile it with Clang to produce a real executable program.
tc --llvm-runtime-display --llvm-display add-llvm.tig
$ tc --llvm-runtime-display --llvm-display add-llvm.tig
; ModuleID = 'tc'
source_filename = "tc"
target datalayout = "e-m:e-p270:32:32-p271:32:32-p272:64:64-i64:64-i128:128-f80:128-n8:16:32:64-S128"
target triple = "x86_64-unknown-linux-gnu"
@string = private unnamed_addr addrspace(1) constant [2 x i8] c"\0A\00", align 1
@tc_malloc.msg = internal constant [26 x i8] c"malloc: memory exhausted\0A\00", align 16
@stderr = external global ptr, align 8
@.str = private unnamed_addr constant [29 x i8] c"chr: character out of range\0A\00", align 1
@consts = internal global [512 x i8] zeroinitializer, align 16
@.str.1 = private unnamed_addr constant [36 x i8] c"substring: arguments out of bounds\0A\00", align 1
@stdin = external global ptr, align 8
@.str.2 = private unnamed_addr constant [1 x i8] zeroinitializer, align 1
@.str.3 = private unnamed_addr constant [3 x i8] c"%s\00", align 1
@.str.4 = private unnamed_addr constant [4 x i8] c"%ld\00", align 1
@stdout = external global ptr, align 8
; Function Attrs: inlinehint nounwind
declare void @tc_gc_enable(i64) #0
; Function Attrs: inlinehint nounwind
declare void @tc_gc_run() #0
; Function Attrs: nounwind
define void @tc_main() #1 {
entry__main:
%call_add_20 = call i64 @add_20(i64 2, i64 3)
%call_add_201 = call i64 @add_20(i64 1, i64 %call_add_20)
call void @tc_print_int(i64 %call_add_201)
call void @tc_print(ptr addrspace(1) @string)
ret void
}
; Function Attrs: nounwind
define internal i64 @add_20(i64 %x_18, i64 %y_19) #1 {
entry_add_20:
%y_192 = alloca i64, align 8
%x_181 = alloca i64, align 8
store i64 %x_18, ptr %x_181, align 4
store i64 %y_19, ptr %y_192, align 4
%x_183 = load i64, ptr %x_181, align 4
%y_194 = load i64, ptr %y_192, align 4
%addtmp = add i64 %x_183, %y_194
ret i64 %addtmp
}
; Function Attrs: noinline nounwind optnone uwtable
define weak dso_local void @local_roots_push(i64 noundef %0, ptr noundef %1) #2 {
%3 = alloca i64, align 8
%4 = alloca ptr, align 8
store i64 %0, ptr %3, align 8
store ptr %1, ptr %4, align 8
ret void
}
; Function Attrs: noinline nounwind optnone uwtable
define weak dso_local void @local_roots_pop(ptr noundef %0) #2 {
%2 = alloca ptr, align 8
store ptr %0, ptr %2, align 8
ret void
}
; Function Attrs: noinline nounwind optnone uwtable
define weak dso_local void @gc_enter_runtime(ptr noundef %0, ptr noundef %1) #2 {
%3 = alloca ptr, align 8
%4 = alloca ptr, align 8
store ptr %0, ptr %3, align 8
store ptr %1, ptr %4, align 8
ret void
}
; Function Attrs: noinline nounwind optnone uwtable
define weak dso_local void @gc_exit_runtime(ptr noundef %0) #2 {
%2 = alloca ptr, align 8
store ptr %0, ptr %2, align 8
ret void
}
; Function Attrs: noinline nounwind optnone uwtable
define weak dso_local ptr @tc_malloc(i64 noundef %0) #2 {
%2 = alloca i64, align 8
%3 = alloca ptr, align 8
store i64 %0, ptr %2, align 8
%4 = load i64, ptr %2, align 8
%5 = call noalias ptr @malloc(i64 noundef %4) #9
store ptr %5, ptr %3, align 8
%6 = load ptr, ptr %3, align 8
%7 = icmp eq ptr %6, null
br i1 %7, label %8, label %11
8: ; preds = %1
%9 = load ptr, ptr @stderr, align 8
%10 = call i64 @fwrite(ptr noundef @tc_malloc.msg, i64 noundef 1, i64 noundef 25, ptr noundef %9)
call void @exit(i32 noundef 120) #10
unreachable
11: ; preds = %1
%12 = load ptr, ptr %3, align 8
%13 = load i64, ptr %2, align 8
call void @llvm.memset.p0.i64(ptr align 1 %12, i8 0, i64 %13, i1 false)
%14 = load ptr, ptr %3, align 8
ret ptr %14
}
; Function Attrs: nounwind allocsize(0)
declare noalias ptr @malloc(i64 noundef) #3
declare i64 @fwrite(ptr noundef, i64 noundef, i64 noundef, ptr noundef) #4
; Function Attrs: noreturn nounwind
declare void @exit(i32 noundef) #5
; Function Attrs: nocallback nofree nounwind willreturn memory(argmem: write)
declare void @llvm.memset.p0.i64(ptr nocapture writeonly, i8, i64, i1 immarg) #6
; Function Attrs: noinline nounwind optnone uwtable
define weak dso_local ptr @tc_init_array(i64 noundef %0, i64 noundef %1) #2 {
%3 = alloca i64, align 8
%4 = alloca i64, align 8
%5 = alloca ptr, align 8
%6 = alloca i64, align 8
store i64 %0, ptr %3, align 8
store i64 %1, ptr %4, align 8
%7 = load i64, ptr %3, align 8
%8 = mul i64 %7, 8
%9 = call ptr @tc_malloc(i64 noundef %8)
store ptr %9, ptr %5, align 8
store i64 0, ptr %6, align 8
br label %10
10: ; preds = %19, %2
%11 = load i64, ptr %6, align 8
%12 = load i64, ptr %3, align 8
%13 = icmp ult i64 %11, %12
br i1 %13, label %14, label %22
14: ; preds = %10
%15 = load i64, ptr %4, align 8
%16 = load ptr, ptr %5, align 8
%17 = load i64, ptr %6, align 8
%18 = getelementptr inbounds i64, ptr %16, i64 %17
store i64 %15, ptr %18, align 8
br label %19
19: ; preds = %14
%20 = load i64, ptr %6, align 8
%21 = add i64 %20, 1
store i64 %21, ptr %6, align 8
br label %10
22: ; preds = %10
%23 = load ptr, ptr %5, align 8
ret ptr %23
}
; Function Attrs: noinline nounwind optnone uwtable
define weak dso_local ptr @tc_init_ptr_array(i64 noundef %0, i64 noundef %1) #2 {
%3 = alloca i64, align 8
%4 = alloca i64, align 8
store i64 %0, ptr %3, align 8
store i64 %1, ptr %4, align 8
%5 = load i64, ptr %3, align 8
%6 = load i64, ptr %4, align 8
%7 = call ptr @tc_init_array(i64 noundef %5, i64 noundef %6)
ret ptr %7
}
; Function Attrs: noinline nounwind optnone uwtable
define weak dso_local ptr @tc_init_string(i64 noundef %0) #2 {
%2 = alloca i64, align 8
store i64 %0, ptr %2, align 8
%3 = load i64, ptr %2, align 8
%4 = call ptr @tc_malloc(i64 noundef %3)
ret ptr %4
}
; Function Attrs: noinline nounwind optnone uwtable
define dso_local i64 @tc_not(i64 noundef %0) #2 {
%2 = alloca i64, align 8
store i64 %0, ptr %2, align 8
%3 = load i64, ptr %2, align 8
%4 = icmp ne i64 %3, 0
%5 = xor i1 %4, true
%6 = zext i1 %5 to i32
%7 = sext i32 %6 to i64
ret i64 %7
}
; Function Attrs: noinline nounwind optnone uwtable
define dso_local void @tc_exit(i64 noundef %0) #2 {
%2 = alloca i64, align 8
store i64 %0, ptr %2, align 8
%3 = load i64, ptr %2, align 8
%4 = trunc i64 %3 to i32
call void @exit(i32 noundef %4) #10
unreachable
}
; Function Attrs: noinline nounwind optnone uwtable
define dso_local ptr @tc_chr(i64 noundef %0) #2 {
%2 = alloca i64, align 8
store i64 %0, ptr %2, align 8
%3 = load i64, ptr %2, align 8
%4 = icmp sle i64 0, %3
br i1 %4, label %5, label %8
5: ; preds = %1
%6 = load i64, ptr %2, align 8
%7 = icmp sle i64 %6, 255
br i1 %7, label %11, label %8
8: ; preds = %5, %1
%9 = load ptr, ptr @stderr, align 8
%10 = call i32 @fputs(ptr noundef @.str, ptr noundef %9)
call void @exit(i32 noundef 120) #10
unreachable
11: ; preds = %5
%12 = load i64, ptr %2, align 8
%13 = mul nsw i64 %12, 2
%14 = getelementptr inbounds i8, ptr @consts, i64 %13
ret ptr %14
}
declare i32 @fputs(ptr noundef, ptr noundef) #4
; Function Attrs: noinline nounwind optnone uwtable
define dso_local ptr @tc_concat(ptr noundef %0, ptr noundef %1) #2 {
%3 = alloca ptr, align 8
%4 = alloca ptr, align 8
%5 = alloca ptr, align 8
%6 = alloca ptr, align 8
%7 = alloca ptr, align 8
%8 = alloca [2 x ptr], align 8
%9 = alloca i64, align 8
%10 = alloca i64, align 8
%11 = alloca i32, align 4
%12 = alloca i64, align 8
%13 = alloca i64, align 8
%14 = alloca ptr, align 8
%15 = alloca ptr, align 8
%16 = alloca [1 x ptr], align 8
store ptr %0, ptr %4, align 8
store ptr %1, ptr %5, align 8
%17 = call ptr @llvm.returnaddress(i32 0)
%18 = call ptr @llvm.frameaddress.p0(i32 1)
call void @gc_enter_runtime(ptr noundef %17, ptr noundef %18)
%19 = getelementptr inbounds [2 x ptr], ptr %8, i64 0, i64 0
store ptr %4, ptr %19, align 8
%20 = getelementptr inbounds ptr, ptr %19, i64 1
store ptr %5, ptr %20, align 8
%21 = getelementptr inbounds [2 x ptr], ptr %8, i64 0, i64 0
store ptr %21, ptr %7, align 8
%22 = load ptr, ptr %7, align 8
call void @local_roots_push(i64 noundef 2, ptr noundef %22)
%23 = load ptr, ptr %4, align 8
%24 = call i64 @strlen(ptr noundef %23) #11
store i64 %24, ptr %9, align 8
%25 = load ptr, ptr %5, align 8
%26 = call i64 @strlen(ptr noundef %25) #11
store i64 %26, ptr %10, align 8
%27 = load i64, ptr %9, align 8
%28 = icmp eq i64 %27, 0
br i1 %28, label %29, label %31
29: ; preds = %2
%30 = load ptr, ptr %5, align 8
store ptr %30, ptr %3, align 8
store i32 1, ptr %11, align 4
br label %84
31: ; preds = %2
%32 = load i64, ptr %10, align 8
%33 = icmp eq i64 %32, 0
br i1 %33, label %34, label %36
34: ; preds = %31
%35 = load ptr, ptr %4, align 8
store ptr %35, ptr %3, align 8
store i32 1, ptr %11, align 4
br label %84
36: ; preds = %31
store i64 0, ptr %12, align 8
%37 = load i64, ptr %9, align 8
%38 = load i64, ptr %10, align 8
%39 = add i64 %37, %38
store i64 %39, ptr %13, align 8
%40 = load i64, ptr %13, align 8
%41 = add i64 %40, 1
%42 = call ptr @tc_init_string(i64 noundef %41)
store ptr %42, ptr %14, align 8
%43 = getelementptr inbounds [1 x ptr], ptr %16, i64 0, i64 0
store ptr %14, ptr %43, align 8
%44 = getelementptr inbounds [1 x ptr], ptr %16, i64 0, i64 0
store ptr %44, ptr %15, align 8
%45 = load ptr, ptr %15, align 8
call void @local_roots_push(i64 noundef 1, ptr noundef %45)
store i64 0, ptr %12, align 8
br label %46
46: ; preds = %58, %36
%47 = load i64, ptr %12, align 8
%48 = load i64, ptr %9, align 8
%49 = icmp ult i64 %47, %48
br i1 %49, label %50, label %61
50: ; preds = %46
%51 = load ptr, ptr %4, align 8
%52 = load i64, ptr %12, align 8
%53 = getelementptr inbounds i8, ptr %51, i64 %52
%54 = load i8, ptr %53, align 1
%55 = load ptr, ptr %14, align 8
%56 = load i64, ptr %12, align 8
%57 = getelementptr inbounds i8, ptr %55, i64 %56
store i8 %54, ptr %57, align 1
br label %58
58: ; preds = %50
%59 = load i64, ptr %12, align 8
%60 = add i64 %59, 1
store i64 %60, ptr %12, align 8
br label %46
61: ; preds = %46
store i64 0, ptr %12, align 8
br label %62
62: ; preds = %76, %61
%63 = load i64, ptr %12, align 8
%64 = load i64, ptr %10, align 8
%65 = icmp ult i64 %63, %64
br i1 %65, label %66, label %79
66: ; preds = %62
%67 = load ptr, ptr %5, align 8
%68 = load i64, ptr %12, align 8
%69 = getelementptr inbounds i8, ptr %67, i64 %68
%70 = load i8, ptr %69, align 1
%71 = load ptr, ptr %14, align 8
%72 = load i64, ptr %12, align 8
%73 = load i64, ptr %9, align 8
%74 = add i64 %72, %73
%75 = getelementptr inbounds i8, ptr %71, i64 %74
store i8 %70, ptr %75, align 1
br label %76
76: ; preds = %66
%77 = load i64, ptr %12, align 8
%78 = add i64 %77, 1
store i64 %78, ptr %12, align 8
br label %62
79: ; preds = %62
%80 = load ptr, ptr %14, align 8
%81 = load i64, ptr %13, align 8
%82 = getelementptr inbounds i8, ptr %80, i64 %81
store i8 0, ptr %82, align 1
%83 = load ptr, ptr %14, align 8
store ptr %83, ptr %3, align 8
store i32 1, ptr %11, align 4
call void @local_roots_pop(ptr noundef %15)
br label %84
84: ; preds = %79, %34, %29
call void @local_roots_pop(ptr noundef %7)
call void @gc_exit_runtime(ptr noundef %6)
%85 = load ptr, ptr %3, align 8
ret ptr %85
}
; Function Attrs: nocallback nofree nosync nounwind willreturn memory(none)
declare ptr @llvm.returnaddress(i32 immarg) #7
; Function Attrs: nocallback nofree nosync nounwind willreturn memory(none)
declare ptr @llvm.frameaddress.p0(i32 immarg) #7
; Function Attrs: nounwind willreturn memory(read)
declare i64 @strlen(ptr noundef) #8
; Function Attrs: noinline nounwind optnone uwtable
define dso_local i64 @tc_ord(ptr noundef %0) #2 {
%2 = alloca i64, align 8
%3 = alloca ptr, align 8
%4 = alloca i64, align 8
store ptr %0, ptr %3, align 8
%5 = load ptr, ptr %3, align 8
%6 = call i64 @strlen(ptr noundef %5) #11
store i64 %6, ptr %4, align 8
%7 = load i64, ptr %4, align 8
%8 = icmp eq i64 %7, 0
br i1 %8, label %9, label %10
9: ; preds = %1
store i64 -1, ptr %2, align 8
br label %15
10: ; preds = %1
%11 = load ptr, ptr %3, align 8
%12 = getelementptr inbounds i8, ptr %11, i64 0
%13 = load i8, ptr %12, align 1
%14 = sext i8 %13 to i64
store i64 %14, ptr %2, align 8
br label %15
15: ; preds = %10, %9
%16 = load i64, ptr %2, align 8
ret i64 %16
}
; Function Attrs: noinline nounwind optnone uwtable
define dso_local i64 @tc_size(ptr noundef %0) #2 {
%2 = alloca ptr, align 8
store ptr %0, ptr %2, align 8
%3 = load ptr, ptr %2, align 8
%4 = call i64 @strlen(ptr noundef %3) #11
ret i64 %4
}
; Function Attrs: noinline nounwind optnone uwtable
define dso_local ptr @tc_substring(ptr noundef %0, i64 noundef %1, i64 noundef %2) #2 {
%4 = alloca ptr, align 8
%5 = alloca ptr, align 8
%6 = alloca i64, align 8
%7 = alloca i64, align 8
%8 = alloca ptr, align 8
%9 = alloca ptr, align 8
%10 = alloca [1 x ptr], align 8
%11 = alloca i64, align 8
%12 = alloca i32, align 4
%13 = alloca ptr, align 8
%14 = alloca ptr, align 8
%15 = alloca [1 x ptr], align 8
%16 = alloca i32, align 4
store ptr %0, ptr %5, align 8
store i64 %1, ptr %6, align 8
store i64 %2, ptr %7, align 8
%17 = call ptr @llvm.returnaddress(i32 0)
%18 = call ptr @llvm.frameaddress.p0(i32 1)
call void @gc_enter_runtime(ptr noundef %17, ptr noundef %18)
%19 = getelementptr inbounds [1 x ptr], ptr %10, i64 0, i64 0
store ptr %5, ptr %19, align 8
%20 = getelementptr inbounds [1 x ptr], ptr %10, i64 0, i64 0
store ptr %20, ptr %9, align 8
%21 = load ptr, ptr %9, align 8
call void @local_roots_push(i64 noundef 1, ptr noundef %21)
%22 = load ptr, ptr %5, align 8
%23 = call i64 @strlen(ptr noundef %22) #11
store i64 %23, ptr %11, align 8
%24 = load i64, ptr %6, align 8
%25 = icmp sle i64 0, %24
br i1 %25, label %26, label %35
26: ; preds = %3
%27 = load i64, ptr %7, align 8
%28 = icmp sle i64 0, %27
br i1 %28, label %29, label %35
29: ; preds = %26
%30 = load i64, ptr %6, align 8
%31 = load i64, ptr %7, align 8
%32 = add nsw i64 %30, %31
%33 = load i64, ptr %11, align 8
%34 = icmp ule i64 %32, %33
br i1 %34, label %38, label %35
35: ; preds = %29, %26, %3
%36 = load ptr, ptr @stderr, align 8
%37 = call i32 @fputs(ptr noundef @.str.1, ptr noundef %36)
call void @exit(i32 noundef 120) #10
unreachable
38: ; preds = %29
%39 = load i64, ptr %7, align 8
%40 = icmp eq i64 %39, 1
br i1 %40, label %41, label %50
41: ; preds = %38
%42 = load ptr, ptr %5, align 8
%43 = load i64, ptr %6, align 8
%44 = getelementptr inbounds i8, ptr %42, i64 %43
%45 = load i8, ptr %44, align 1
%46 = sext i8 %45 to i32
%47 = mul nsw i32 %46, 2
%48 = sext i32 %47 to i64
%49 = getelementptr inbounds i8, ptr @consts, i64 %48
store ptr %49, ptr %4, align 8
store i32 1, ptr %12, align 4
br label %82
50: ; preds = %38
%51 = load i64, ptr %7, align 8
%52 = add nsw i64 %51, 1
%53 = call ptr @tc_init_string(i64 noundef %52)
store ptr %53, ptr %13, align 8
%54 = getelementptr inbounds [1 x ptr], ptr %15, i64 0, i64 0
store ptr %13, ptr %54, align 8
%55 = getelementptr inbounds [1 x ptr], ptr %15, i64 0, i64 0
store ptr %55, ptr %14, align 8
%56 = load ptr, ptr %14, align 8
call void @local_roots_push(i64 noundef 1, ptr noundef %56)
store i32 0, ptr %16, align 4
br label %57
57: ; preds = %74, %50
%58 = load i32, ptr %16, align 4
%59 = sext i32 %58 to i64
%60 = load i64, ptr %7, align 8
%61 = icmp slt i64 %59, %60
br i1 %61, label %62, label %77
62: ; preds = %57
%63 = load ptr, ptr %5, align 8
%64 = load i64, ptr %6, align 8
%65 = load i32, ptr %16, align 4
%66 = sext i32 %65 to i64
%67 = add nsw i64 %64, %66
%68 = getelementptr inbounds i8, ptr %63, i64 %67
%69 = load i8, ptr %68, align 1
%70 = load ptr, ptr %13, align 8
%71 = load i32, ptr %16, align 4
%72 = sext i32 %71 to i64
%73 = getelementptr inbounds i8, ptr %70, i64 %72
store i8 %69, ptr %73, align 1
br label %74
74: ; preds = %62
%75 = load i32, ptr %16, align 4
%76 = add nsw i32 %75, 1
store i32 %76, ptr %16, align 4
br label %57
77: ; preds = %57
%78 = load ptr, ptr %13, align 8
%79 = load i64, ptr %7, align 8
%80 = getelementptr inbounds i8, ptr %78, i64 %79
store i8 0, ptr %80, align 1
%81 = load ptr, ptr %13, align 8
store ptr %81, ptr %4, align 8
store i32 1, ptr %12, align 4
call void @local_roots_pop(ptr noundef %14)
br label %82
82: ; preds = %77, %41
call void @local_roots_pop(ptr noundef %9)
call void @gc_exit_runtime(ptr noundef %8)
%83 = load ptr, ptr %4, align 8
ret ptr %83
}
; Function Attrs: noinline nounwind optnone uwtable
define dso_local i64 @tc_strcmp(ptr noundef %0, ptr noundef %1) #2 {
%3 = alloca ptr, align 8
%4 = alloca ptr, align 8
store ptr %0, ptr %3, align 8
store ptr %1, ptr %4, align 8
%5 = load ptr, ptr %3, align 8
%6 = load ptr, ptr %4, align 8
%7 = call i32 @strcmp(ptr noundef %5, ptr noundef %6) #11
%8 = sext i32 %7 to i64
ret i64 %8
}
; Function Attrs: nounwind willreturn memory(read)
declare i32 @strcmp(ptr noundef, ptr noundef) #8
; Function Attrs: noinline nounwind optnone uwtable
define dso_local i64 @tc_streq(ptr noundef %0, ptr noundef %1) #2 {
%3 = alloca ptr, align 8
%4 = alloca ptr, align 8
store ptr %0, ptr %3, align 8
store ptr %1, ptr %4, align 8
%5 = load ptr, ptr %3, align 8
%6 = load ptr, ptr %4, align 8
%7 = call i32 @strcmp(ptr noundef %5, ptr noundef %6) #11
%8 = icmp eq i32 %7, 0
%9 = zext i1 %8 to i32
%10 = sext i32 %9 to i64
ret i64 %10
}
; Function Attrs: noinline nounwind optnone uwtable
define dso_local ptr @tc_getchar() #2 {
%1 = alloca ptr, align 8
%2 = alloca i32, align 4
%3 = load ptr, ptr @stdin, align 8
%4 = call i32 @getc(ptr noundef %3)
store i32 %4, ptr %2, align 4
%5 = load i32, ptr %2, align 4
%6 = icmp eq i32 %5, -1
br i1 %6, label %7, label %8
7: ; preds = %0
store ptr @.str.2, ptr %1, align 8
br label %13
8: ; preds = %0
%9 = load i32, ptr %2, align 4
%10 = mul nsw i32 %9, 2
%11 = sext i32 %10 to i64
%12 = getelementptr inbounds i8, ptr @consts, i64 %11
store ptr %12, ptr %1, align 8
br label %13
13: ; preds = %8, %7
%14 = load ptr, ptr %1, align 8
ret ptr %14
}
declare i32 @getc(ptr noundef) #4
; Function Attrs: noinline nounwind optnone uwtable
define dso_local void @tc_print(ptr noundef %0) #2 {
%2 = alloca ptr, align 8
store ptr %0, ptr %2, align 8
%3 = load ptr, ptr %2, align 8
%4 = call i32 (ptr, ...) @printf(ptr noundef @.str.3, ptr noundef %3)
ret void
}
declare i32 @printf(ptr noundef, ...) #4
; Function Attrs: noinline nounwind optnone uwtable
define dso_local void @tc_print_err(ptr noundef %0) #2 {
%2 = alloca ptr, align 8
store ptr %0, ptr %2, align 8
%3 = load ptr, ptr @stderr, align 8
%4 = load ptr, ptr %2, align 8
%5 = call i32 (ptr, ptr, ...) @fprintf(ptr noundef %3, ptr noundef @.str.3, ptr noundef %4)
ret void
}
declare i32 @fprintf(ptr noundef, ptr noundef, ...) #4
; Function Attrs: noinline nounwind optnone uwtable
define dso_local void @tc_print_int(i64 noundef %0) #2 {
%2 = alloca i64, align 8
store i64 %0, ptr %2, align 8
%3 = load i64, ptr %2, align 8
%4 = call i32 (ptr, ...) @printf(ptr noundef @.str.4, i64 noundef %3)
ret void
}
; Function Attrs: noinline nounwind optnone uwtable
define dso_local void @tc_flush() #2 {
%1 = load ptr, ptr @stdout, align 8
%2 = call i32 @fflush(ptr noundef %1)
ret void
}
declare i32 @fflush(ptr noundef) #4
; Function Attrs: noinline nounwind optnone uwtable
define dso_local void @init_consts() #2 {
%1 = alloca i32, align 4
store i32 0, ptr %1, align 4
br label %2
2: ; preds = %16, %0
%3 = load i32, ptr %1, align 4
%4 = icmp slt i32 %3, 512
br i1 %4, label %5, label %19
5: ; preds = %2
%6 = load i32, ptr %1, align 4
%7 = sdiv i32 %6, 2
%8 = trunc i32 %7 to i8
%9 = load i32, ptr %1, align 4
%10 = sext i32 %9 to i64
%11 = getelementptr inbounds [512 x i8], ptr @consts, i64 0, i64 %10
store i8 %8, ptr %11, align 1
%12 = load i32, ptr %1, align 4
%13 = add nsw i32 %12, 1
%14 = sext i32 %13 to i64
%15 = getelementptr inbounds [512 x i8], ptr @consts, i64 0, i64 %14
store i8 0, ptr %15, align 1
br label %16
16: ; preds = %5
%17 = load i32, ptr %1, align 4
%18 = add nsw i32 %17, 2
store i32 %18, ptr %1, align 4
br label %2
19: ; preds = %2
ret void
}
; Function Attrs: noinline nounwind optnone uwtable
define weak dso_local i32 @main() #2 {
%1 = alloca i32, align 4
store i32 0, ptr %1, align 4
call void @init_consts()
call void @tc_main(i32 noundef 0)
ret i32 0
}
attributes #0 = { inlinehint nounwind }
attributes #1 = { nounwind }
attributes #2 = { noinline nounwind optnone uwtable "frame-pointer"="all" "min-legal-vector-width"="0" "no-trapping-math"="true" "stack-protector-buffer-size"="8" "target-cpu"="x86-64" "target-features"="+cmov,+cx8,+fxsr,+mmx,+sse,+sse2,+x87" "tune-cpu"="generic" }
attributes #3 = { nounwind allocsize(0) "frame-pointer"="all" "no-trapping-math"="true" "stack-protector-buffer-size"="8" "target-cpu"="x86-64" "target-features"="+cmov,+cx8,+fxsr,+mmx,+sse,+sse2,+x87" "tune-cpu"="generic" }
attributes #4 = { "frame-pointer"="all" "no-trapping-math"="true" "stack-protector-buffer-size"="8" "target-cpu"="x86-64" "target-features"="+cmov,+cx8,+fxsr,+mmx,+sse,+sse2,+x87" "tune-cpu"="generic" }
attributes #5 = { noreturn nounwind "frame-pointer"="all" "no-trapping-math"="true" "stack-protector-buffer-size"="8" "target-cpu"="x86-64" "target-features"="+cmov,+cx8,+fxsr,+mmx,+sse,+sse2,+x87" "tune-cpu"="generic" }
attributes #6 = { nocallback nofree nounwind willreturn memory(argmem: write) }
attributes #7 = { nocallback nofree nosync nounwind willreturn memory(none) }
attributes #8 = { nounwind willreturn memory(read) "frame-pointer"="all" "no-trapping-math"="true" "stack-protector-buffer-size"="8" "target-cpu"="x86-64" "target-features"="+cmov,+cx8,+fxsr,+mmx,+sse,+sse2,+x87" "tune-cpu"="generic" }
attributes #9 = { nounwind allocsize(0) }
attributes #10 = { noreturn nounwind }
attributes #11 = { nounwind willreturn memory(read) }
!llvm.ident = !{!0}
!llvm.module.flags = !{!1, !2, !3, !4, !5}
!0 = !{!"clang version 18.1.8"}
!1 = !{i32 1, !"wchar_size", i32 4}
!2 = !{i32 8, !"PIC Level", i32 2}
!3 = !{i32 7, !"PIE Level", i32 2}
!4 = !{i32 7, !"uwtable", i32 2}
!5 = !{i32 7, !"frame-pointer", i32 2}
$ echo $?
0
tc --llvm-runtime-display --llvm-display add-llvm.tig > add-llvm.ll
$ tc --llvm-runtime-display --llvm-display add-llvm.tig > add-llvm.ll
$ echo $?
0
clang -m64 -oadd-llvm add-llvm.ll
$ clang -m64 -oadd-llvm add-llvm.ll
clang: warning: argument unused during compilation: '-idirafter /nix/store/1v9ggwkpb0xy708s11s1g9fhinn3b06r-glibc-2.40-66-dev/include' [-Wunused-command-line-argument]
$ echo $?
0
./add-llvm
$ ./add-llvm
6
$ echo $?
0
if.tig
if 1
then 1
else 2
tc --llvm-display if.tig
$ tc --llvm-display if.tig
; ModuleID = 'tc'
source_filename = "tc"
target triple = "x86_64-unknown-linux-gnu"
declare ptr addrspace(1) @tc_malloc(i64)
; Function Attrs: inlinehint nounwind
declare void @tc_print(ptr addrspace(1)) #0
; Function Attrs: inlinehint nounwind
declare void @tc_print_err(ptr addrspace(1)) #0
; Function Attrs: inlinehint nounwind
declare void @tc_print_int(i64) #0
; Function Attrs: inlinehint nounwind
declare void @tc_flush() #0
; Function Attrs: inlinehint nounwind
declare ptr addrspace(1) @tc_getchar() #0
; Function Attrs: inlinehint nounwind
declare i64 @tc_ord(ptr addrspace(1)) #0
; Function Attrs: inlinehint nounwind
declare ptr addrspace(1) @tc_chr(i64) #0
; Function Attrs: inlinehint nounwind
declare i64 @tc_size(ptr addrspace(1)) #0
; Function Attrs: inlinehint nounwind
declare i64 @tc_streq(ptr addrspace(1), ptr addrspace(1)) #0
; Function Attrs: inlinehint nounwind
declare i64 @tc_strcmp(ptr addrspace(1), ptr addrspace(1)) #0
; Function Attrs: inlinehint nounwind
declare ptr addrspace(1) @tc_substring(ptr addrspace(1), i64, i64) #0
; Function Attrs: inlinehint nounwind
declare ptr addrspace(1) @tc_concat(ptr addrspace(1), ptr addrspace(1)) #0
; Function Attrs: inlinehint nounwind
declare i64 @tc_not(i64) #0
; Function Attrs: inlinehint nounwind
declare void @tc_exit(i64) #0
; Function Attrs: inlinehint nounwind
declare void @tc_gc_enable(i64) #0
; Function Attrs: inlinehint nounwind
declare void @tc_gc_run() #0
; Function Attrs: nounwind
define void @tc_main() #1 {
entry__main:
br i1 true, label %then, label %else
then: ; preds = %entry__main
br label %ifend
else: ; preds = %entry__main
br label %ifend
ifend: ; preds = %else, %then
%iftmp = phi i64 [ 1, %then ], [ 2, %else ]
ret void
}
attributes #0 = { inlinehint nounwind }
attributes #1 = { nounwind }
$ echo $?
0
while.tig
while 1
do
print("toto")
tc --llvm-display while.tig
$ tc --llvm-display while.tig
; ModuleID = 'tc'
source_filename = "tc"
target triple = "x86_64-unknown-linux-gnu"
@string = private unnamed_addr addrspace(1) constant [5 x i8] c"toto\00", align 1
declare ptr addrspace(1) @tc_malloc(i64)
; Function Attrs: inlinehint nounwind
declare void @tc_print(ptr addrspace(1)) #0
; Function Attrs: inlinehint nounwind
declare void @tc_print_err(ptr addrspace(1)) #0
; Function Attrs: inlinehint nounwind
declare void @tc_print_int(i64) #0
; Function Attrs: inlinehint nounwind
declare void @tc_flush() #0
; Function Attrs: inlinehint nounwind
declare ptr addrspace(1) @tc_getchar() #0
; Function Attrs: inlinehint nounwind
declare i64 @tc_ord(ptr addrspace(1)) #0
; Function Attrs: inlinehint nounwind
declare ptr addrspace(1) @tc_chr(i64) #0
; Function Attrs: inlinehint nounwind
declare i64 @tc_size(ptr addrspace(1)) #0
; Function Attrs: inlinehint nounwind
declare i64 @tc_streq(ptr addrspace(1), ptr addrspace(1)) #0
; Function Attrs: inlinehint nounwind
declare i64 @tc_strcmp(ptr addrspace(1), ptr addrspace(1)) #0
; Function Attrs: inlinehint nounwind
declare ptr addrspace(1) @tc_substring(ptr addrspace(1), i64, i64) #0
; Function Attrs: inlinehint nounwind
declare ptr addrspace(1) @tc_concat(ptr addrspace(1), ptr addrspace(1)) #0
; Function Attrs: inlinehint nounwind
declare i64 @tc_not(i64) #0
; Function Attrs: inlinehint nounwind
declare void @tc_exit(i64) #0
; Function Attrs: inlinehint nounwind
declare void @tc_gc_enable(i64) #0
; Function Attrs: inlinehint nounwind
declare void @tc_gc_run() #0
; Function Attrs: nounwind
define void @tc_main() #1 {
entry__main:
br label %test
test: ; preds = %body, %entry__main
br i1 true, label %body, label %afterloop
body: ; preds = %test
call void @tc_print(ptr addrspace(1) @string)
br label %test
afterloop: ; preds = %test
ret void
}
attributes #0 = { inlinehint nounwind }
attributes #1 = { nounwind }
$ echo $?
0
array.tig
let
type arrtype = array of int
var arr1 : arrtype := arrtype [10] of 0
in
arr1[2]
end
tc --llvm-display array.tig
$ tc --llvm-display array.tig
; ModuleID = 'tc'
source_filename = "tc"
target triple = "x86_64-unknown-linux-gnu"
declare ptr addrspace(1) @tc_malloc(i64)
; Function Attrs: inlinehint nounwind
declare void @tc_print(ptr addrspace(1)) #0
; Function Attrs: inlinehint nounwind
declare void @tc_print_err(ptr addrspace(1)) #0
; Function Attrs: inlinehint nounwind
declare void @tc_print_int(i64) #0
; Function Attrs: inlinehint nounwind
declare void @tc_flush() #0
; Function Attrs: inlinehint nounwind
declare ptr addrspace(1) @tc_getchar() #0
; Function Attrs: inlinehint nounwind
declare i64 @tc_ord(ptr addrspace(1)) #0
; Function Attrs: inlinehint nounwind
declare ptr addrspace(1) @tc_chr(i64) #0
; Function Attrs: inlinehint nounwind
declare i64 @tc_size(ptr addrspace(1)) #0
; Function Attrs: inlinehint nounwind
declare i64 @tc_streq(ptr addrspace(1), ptr addrspace(1)) #0
; Function Attrs: inlinehint nounwind
declare i64 @tc_strcmp(ptr addrspace(1), ptr addrspace(1)) #0
; Function Attrs: inlinehint nounwind
declare ptr addrspace(1) @tc_substring(ptr addrspace(1), i64, i64) #0
; Function Attrs: inlinehint nounwind
declare ptr addrspace(1) @tc_concat(ptr addrspace(1), ptr addrspace(1)) #0
; Function Attrs: inlinehint nounwind
declare i64 @tc_not(i64) #0
; Function Attrs: inlinehint nounwind
declare void @tc_exit(i64) #0
; Function Attrs: inlinehint nounwind
declare void @tc_gc_enable(i64) #0
; Function Attrs: inlinehint nounwind
declare void @tc_gc_run() #0
; Function Attrs: nounwind
define void @tc_main() #1 {
entry__main:
%arr1_19 = alloca ptr addrspace(1), align 8
%init_array_call = call ptr addrspace(1) @tc_init_array(i64 10, i64 0)
store ptr addrspace(1) %init_array_call, ptr %arr1_19, align 8
%arr1_191 = load ptr addrspace(1), ptr %arr1_19, align 8
%subscriptptr = getelementptr i64, ptr addrspace(1) %arr1_191, i64 2
%subscriptvar = load i64, ptr addrspace(1) %subscriptptr, align 4
ret void
}
declare ptr addrspace(1) @tc_init_array(i64, i64)
attributes #0 = { inlinehint nounwind }
attributes #1 = { nounwind }
$ echo $?
0
record.tig
/* a record type and a record variable */
let
type rectype = {name : string, age : int}
var rec1 : rectype := rectype {name="Nobody", age=1000}
in
rec1.name := "Somebody";
rec1
end
tc --llvm-display record.tig
$ tc --llvm-display record.tig
; ModuleID = 'tc'
source_filename = "tc"
target triple = "x86_64-unknown-linux-gnu"
%0 = type { ptr addrspace(1), i64 }
@string = private unnamed_addr addrspace(1) constant [7 x i8] c"Nobody\00", align 1
@string.1 = private unnamed_addr addrspace(1) constant [9 x i8] c"Somebody\00", align 1
declare noalias ptr addrspace(1) @tc_malloc(i64)
; Function Attrs: inlinehint nounwind
declare void @tc_print(ptr addrspace(1)) #0
; Function Attrs: inlinehint nounwind
declare void @tc_print_err(ptr addrspace(1)) #0
; Function Attrs: inlinehint nounwind
declare void @tc_print_int(i64) #0
; Function Attrs: inlinehint nounwind
declare void @tc_flush() #0
; Function Attrs: inlinehint nounwind
declare ptr addrspace(1) @tc_getchar() #0
; Function Attrs: inlinehint nounwind
declare i64 @tc_ord(ptr addrspace(1)) #0
; Function Attrs: inlinehint nounwind
declare ptr addrspace(1) @tc_chr(i64) #0
; Function Attrs: inlinehint nounwind
declare i64 @tc_size(ptr addrspace(1)) #0
; Function Attrs: inlinehint nounwind
declare i64 @tc_streq(ptr addrspace(1), ptr addrspace(1)) #0
; Function Attrs: inlinehint nounwind
declare i64 @tc_strcmp(ptr addrspace(1), ptr addrspace(1)) #0
; Function Attrs: inlinehint nounwind
declare ptr addrspace(1) @tc_substring(ptr addrspace(1), i64, i64) #0
; Function Attrs: inlinehint nounwind
declare ptr addrspace(1) @tc_concat(ptr addrspace(1), ptr addrspace(1)) #0
; Function Attrs: inlinehint nounwind
declare i64 @tc_not(i64) #0
; Function Attrs: inlinehint nounwind
declare void @tc_exit(i64) #0
; Function Attrs: inlinehint nounwind
declare void @tc_gc_enable(i64) #0
; Function Attrs: inlinehint nounwind
declare void @tc_gc_run() #0
; Function Attrs: nounwind
define void @tc_main() #1 {
entry__main:
%rec1_19 = alloca ptr addrspace(1), align 8
%malloccall = tail call ptr addrspace(1) @tc_malloc(i64 ptrtoint (ptr getelementptr (%0, ptr null, i32 1) to i64))
%fieldinit_name = getelementptr inbounds %0, ptr addrspace(1) %malloccall, i32 0, i32 0
store ptr addrspace(1) @string, ptr addrspace(1) %fieldinit_name, align 8
%fieldinit_age = getelementptr inbounds %0, ptr addrspace(1) %malloccall, i32 0, i32 1
store i64 1000, ptr addrspace(1) %fieldinit_age, align 4
store ptr addrspace(1) %malloccall, ptr %rec1_19, align 8
%rec1_191 = load ptr addrspace(1), ptr %rec1_19, align 8
%fieldptr_name = getelementptr inbounds %0, ptr addrspace(1) %rec1_191, i32 0, i32 0
store ptr addrspace(1) @string.1, ptr addrspace(1) %fieldptr_name, align 8
%rec1_192 = load ptr addrspace(1), ptr %rec1_19, align 8
ret void
}
attributes #0 = { inlinehint nounwind }
attributes #1 = { nounwind }
$ echo $?
0