diff options
Diffstat (limited to 'rts.ll')
| -rw-r--r-- | rts.ll | 60 |
1 files changed, 59 insertions, 1 deletions
@@ -5,7 +5,7 @@ declare i64 @printf(i8*, ...) @printf_c = private unnamed_addr constant [3 x i8] c"%c\00", align 1 @printf_cycle = private unnamed_addr constant [16 x i8] c"cycle in spine\0a\00", align 1 -@heap = global [10000 x i64] zeroinitializer, align 16 +@heap = global [100000000 x i64] zeroinitializer, align 16 @astack = global [10000 x i64*] zeroinitializer, align 16 attributes #0 = { alwaysinline } @@ -40,6 +40,56 @@ define private i64* @addI(i64* %bsp.0) #0 { ret i64* %bsp.1 } +; TODO gc +; TODO for arity < 2, we must reserve more space on the heap +define private {i64**,i64*} @build(i64* %label, i64 %arity, i64** %asp.0, i64** %aspstart, i64** %globasp.0, i64* %hp.0) #0 { +entry: + %label.0 = ptrtoint i64* %label to i64 + store i64 %label.0, i64* %hp.0 + %hp.1 = getelementptr i64, i64* %hp.0, i64 1 + br label %loop + +loop: + %asp.1 = phi i64** [%asp.0, %entry], [%asp.2, %loop.0] + %hp.2 = phi i64* [%hp.1, %entry], [%hp.3, %loop.0] + %arity.0 = phi i64 [%arity, %entry], [%arity.1, %loop.0] + %t.0 = icmp eq i64 %arity.0, 0 + br i1 %t.0, label %done, label %loop.0 +done: + %asp.3 = getelementptr i64*, i64** %asp.1, i64 1 + store i64* %hp.0, i64** %asp.3 + %ret.0 = insertvalue {i64**,i64*} undef, i64** %asp.3, 0 + %ret.1 = insertvalue {i64**,i64*} %ret.0, i64* %hp.2, 1 + ret {i64**,i64*} %ret.1 + +loop.0: + %t.1 = call i64* @peek_a(i64** %asp.1) + %asp.2 = call i64** @pop_a1(i64** %asp.1) + %t.2 = ptrtoint i64* %t.1 to i64 + store i64 %t.2, i64* %hp.2 + %hp.3 = getelementptr i64, i64* %hp.2, i64 1 + %arity.1 = sub i64 %arity.0, 1 + br label %loop +} + +; TODO pass aspstart for gc +define private {i64**,i64*} @buildI(i64 %i, i64** %asp.0, i64* %hp.0) #0 { + %INT.0 = ptrtoint {i64, i64, i64*, i64, i8, i8, i8}* @INT to i64 + %INT.1 = add i64 %INT.0, 2 + store i64 %INT.1, i64* %hp.0 + + %hp.1 = getelementptr i64, i64* %hp.0, i64 1 + store i64 %i, i64* %hp.1 + + %asp.1 = getelementptr i64*, i64** %asp.0, i64 1 + store i64* %hp.0, i64** %asp.1 + + %hp.2 = getelementptr i64, i64* %hp.0, i64 2 + %ret.0 = insertvalue {i64**,i64*} undef, i64** %asp.1, 0 + %ret.1 = insertvalue {i64**,i64*} %ret.0, i64* %hp.2, 1 + ret {i64**,i64*} %ret.1 +} + define private i64* @eqI_b(i64 %i, i64 %n, i64* %bsp.0) #0 { %bsp.1 = getelementptr i64, i64* %bsp.0, i64 %n %bsp.2 = getelementptr i64, i64* %bsp.0, i64 -1 @@ -122,6 +172,14 @@ define private i64* @print_int(i64* %bsp.0) #0 { ret i64* %bsp.1 } +define private i64** @push_a(i64 %n, i64** %asp.0) #0 { + %asp.1 = getelementptr i64*, i64** %asp.0, i64 %n + %t.0 = load i64*, i64** %asp.1 + %asp.2 = getelementptr i64*, i64** %asp.0, i64 1 + store i64* %t.0, i64** %asp.2 + ret i64** %asp.2 +} + define private i64* @push_b(i64 %n, i64* %bsp.0) #0 { %bsp.1 = getelementptr i64, i64* %bsp.0, i64 %n %t.0 = load i64, i64* %bsp.1 |