diff options
Diffstat (limited to 'nfib_nsa.ll')
| -rw-r--r-- | nfib_nsa.ll | 211 |
1 files changed, 113 insertions, 98 deletions
diff --git a/nfib_nsa.ll b/nfib_nsa.ll index 62da012..500f4b3 100644 --- a/nfib_nsa.ll +++ b/nfib_nsa.ll @@ -1,6 +1,6 @@ -define {i64*,i64**,i64*} @n5( - i64* align 8 nocapture nofree nonnull %hp.0, - i64** nocapture nofree nonnull %globasp.0, +define cc101 {%Hp,i64**,i64*} @n5( + %Hp %hp.0, + i64** align 8 nocapture nofree nonnull %globasp.0, i64* align 8 nocapture nofree dereferenceable(3) %n) nofree willreturn nosync nounwind argmemonly align 8 prefix {i8*, i64} {i8* inttoptr (i64 0 to i8*), i64 0} { @@ -15,10 +15,10 @@ define {i64*,i64**,i64*} @n5( %t.0 = bitcast {i64*,i64**,i64*}(i64*,i64**)* @_cycle_in_spine to i64* %asp.002 = call i64** @push_node(i64* %t.0, i64 0, i64** %asp.001) - %t.1 = call {i64*,i64**,i64} @ea5(i64* %hp.0, i64** %globasp.0) - %hp.1 = extractvalue {i64*,i64**,i64} %t.1, 0 - %globasp.1 = extractvalue {i64*,i64**,i64} %t.1, 1 - %t.2 = extractvalue {i64*,i64**,i64} %t.1, 2 + %t.1 = call cc101 {%Hp,i64**,i64} @ea5(%Hp %hp.0, i64** %globasp.0) + %hp.1 = extractvalue {%Hp,i64**,i64} %t.1, 0 + %globasp.1 = extractvalue {%Hp,i64**,i64} %t.1, 1 + %t.2 = extractvalue {%Hp,i64**,i64} %t.1, 2 %bsp.001 = call i64* @pushI(i64 %t.2, i64* %bsp.000) %asp.003 = call i64** @fillI_b(i64 0, i64 -0, i64* %bsp.001, i64** %asp.002) @@ -27,22 +27,22 @@ define {i64*,i64**,i64*} @n5( %t.3 = call i64* @peek_a(i64** %asp.003) %asp.004 = call i64** @pop_a1(i64** %asp.003) - %ret.0 = insertvalue {i64*,i64**,i64*} undef, i64* %hp.1, 0 - %ret.1 = insertvalue {i64*,i64**,i64*} %ret.0, i64** %globasp.1, 1 - %ret.2 = insertvalue {i64*,i64**,i64*} %ret.1, i64* %t.3, 2 - ret {i64*,i64**,i64*} %ret.2 + %ret.0 = insertvalue {%Hp,i64**,i64*} undef, %Hp %hp.1, 0 + %ret.1 = insertvalue {%Hp,i64**,i64*} %ret.0, i64** %globasp.1, 1 + %ret.2 = insertvalue {%Hp,i64**,i64*} %ret.1, i64* %t.3, 2 + ret {%Hp,i64**,i64*} %ret.2 } -define private {i64*,i64**,i64} @ea5( - i64* align 8 nocapture nofree nonnull %hp.0, +define private cc101 {%Hp,i64**,i64} @ea5( + %Hp %hp.0, i64** align 8 noalias nocapture nofree nonnull %globasp.0) nofree willreturn nosync nounwind argmemonly { - %ret.0 = tail call {i64*,i64**,i64} @s5(i64* %hp.0, i64** %globasp.0) - ret {i64*,i64**,i64} %ret.0 + %ret.0 = tail call cc101 {%Hp,i64**,i64} @s5(%Hp %hp.0, i64** %globasp.0) + ret {%Hp,i64**,i64} %ret.0 } -define private {i64*,i64**,i64} @s5( - i64* align 8 nocapture nofree nonnull %hp.0, +define private cc101 {%Hp,i64**,i64} @s5( + %Hp align 8 %hp.0, i64** align 8 noalias nocapture nofree nonnull %globasp.0) nofree willreturn nosync nounwind argmemonly { %astack = alloca i64*, i64 5 @@ -50,18 +50,18 @@ define private {i64*,i64**,i64} @s5( %bstack = alloca i64, i64 5 %bsp.000 = getelementptr i64, i64* %bstack, i64 4 - %t.0 = call {i64**,i64*} @buildI(i64 34, i64** %asp.000, i64* %hp.0) - %asp.001 = extractvalue {i64**,i64*} %t.0, 0 - %hp.1 = extractvalue {i64**,i64*} %t.0, 1 + %t.0 = call {i64**,%Hp} @buildI(i64 34, i64** %asp.000, %Hp %hp.0) + %asp.001 = extractvalue {i64**,%Hp} %t.0, 0 + %hp.1 = extractvalue {i64**,%Hp} %t.0, 1 %t.1 = call i64* @peek_a(i64** %asp.001) %asp.002 = call i64** @pop_a1(i64** %asp.001) - %t.2 = tail call {i64*,i64**,i64} @s4(i64* %hp.1, i64** %globasp.0, i64* %t.1) - ret {i64*,i64**,i64} %t.2 + %t.2 = tail call cc101 {%Hp,i64**,i64} @s4(%Hp %hp.1, i64** %globasp.0, i64* %t.1) + ret {%Hp,i64**,i64} %t.2 } -define {i64*,i64**,i64} @s4( - i64* align 8 nocapture nofree nonnull %hp.0, +define cc101 {%Hp,i64**,i64} @s4( + %Hp %hp.0, i64** align 8 noalias nocapture nofree nonnull %globasp.0, i64* align 8 nocapture nofree dereferenceable(3) %n) nofree willreturn nosync nounwind argmemonly { @@ -73,12 +73,12 @@ define {i64*,i64**,i64} @s4( %asp.001 = getelementptr i64*, i64** %asp.000, i64 1 store i64* %n, i64** %asp.001 - %asp.002 = call i64** @push_a(i64 -0, i64** %asp.001) - %j.0 = call {i64*,i64**} @jsr_eval(i64 -0, i64** %asp.002, i64** %asp.000, i64** %globasp.0, i64* %hp.0) - %hp.1 = extractvalue {i64*,i64**} %j.0, 0 - %globasp.1 = extractvalue {i64*,i64**} %j.0, 1 - %bsp.001 = call i64* @pushI_a(i64 -1, i64* %bsp.000, i64** %asp.002) - %asp.003 = call i64** @pop_a1(i64** %asp.002) + %asp.002 = getelementptr i64*, i64** %asp.001 ;%asp.002 = call i64** @push_a(i64 -0, i64** %asp.001) + %j.0 = call {%Hp,i64**} @jsr_eval(i64 -0, i64** %asp.002, i64** %asp.000, i64** %globasp.0, %Hp %hp.0) + %hp.1 = extractvalue {%Hp,i64**} %j.0, 0 + %globasp.1 = extractvalue {%Hp,i64**} %j.0, 1 + %bsp.001 = call i64* @pushI_a(i64 -0, i64* %bsp.000, i64** %asp.002) + %asp.003 = getelementptr i64*, i64** %asp.002 ;%asp.003 = call i64** @pop_a1(i64** %asp.002) %bsp.002 = call i64* @pushI(i64 2, i64* %bsp.001) %bsp.003 = call i64* @push_b(i64 1, i64* %bsp.002) %bsp.004 = call i64* @update_b(i64 1, i64 2, i64* %bsp.003) @@ -98,48 +98,48 @@ l.0: %t.2 = call i64 @peek_b(i64* %bsp.100) %bsp.101 = call i64* @pop_b1(i64* %bsp.100) - %ret.0 = insertvalue {i64*,i64**,i64} undef, i64* %hp.1, 0 - %ret.1 = insertvalue {i64*,i64**,i64} %ret.0, i64** %globasp.1, 1 - %ret.2 = insertvalue {i64*,i64**,i64} %ret.1, i64 %t.2, 2 - ret {i64*,i64**,i64} %ret.2 + %ret.0 = insertvalue {%Hp,i64**,i64} undef, %Hp %hp.1, 0 + %ret.1 = insertvalue {%Hp,i64**,i64} %ret.0, i64** %globasp.1, 1 + %ret.2 = insertvalue {%Hp,i64**,i64} %ret.1, i64 %t.2, 2 + ret {%Hp,i64**,i64} %ret.2 else.1: - %t.3 = call {i64**,i64*} @buildI(i64 1, i64** %asp.003, i64* %hp.1) - %asp.200 = extractvalue {i64**,i64*} %t.3, 0 - %hp.2 = extractvalue {i64**,i64*} %t.3, 1 + %t.3 = call {i64**,%Hp} @buildI(i64 1, i64** %asp.003, %Hp %hp.1) + %asp.200 = extractvalue {i64**,%Hp} %t.3, 0 + %hp.2 = extractvalue {i64**,%Hp} %t.3, 1 %asp.201 = call i64** @push_a(i64 -1, i64** %asp.200) - %t.4 = bitcast {i64*,i64**,i64*}(i64*,i64**,i64*)* @n2 to i64* - %t.5 = call {i64**,i64*} @build(i64* %t.4, i64 2, i64** %asp.201, i64** %asp.000, i64** %globasp.1, i64* %hp.2) - %asp.202 = extractvalue {i64**,i64*} %t.5, 0 - %hp.3 = extractvalue {i64**,i64*} %t.5, 1 + %t.4 = bitcast {%Hp,i64**,i64*}(%Hp,i64**,i64*)* @n2 to i64* + %t.5 = call {i64**,%Hp} @build(i64* %t.4, i64 2, i64** %asp.201, i64** %asp.000, i64** %globasp.1, %Hp %hp.2) + %asp.202 = extractvalue {i64**,%Hp} %t.5, 0 + %hp.3 = extractvalue {i64**,%Hp} %t.5, 1 %t.6 = call i64* @peek_a(i64** %asp.202) %asp.203 = call i64** @pop_a1(i64** %asp.202) - %t.7 = call {i64*,i64**,i64} @s4(i64* %hp.3, i64** %globasp.1, i64* %t.6) - %hp.4 = extractvalue {i64*,i64**,i64} %t.7, 0 - %globasp.2 = extractvalue {i64*,i64**,i64} %t.7, 1 - %t.8 = extractvalue {i64*,i64**,i64} %t.7, 2 + %t.7 = call cc101 {%Hp,i64**,i64} @s4(%Hp %hp.3, i64** %globasp.1, i64* %t.6) + %hp.4 = extractvalue {%Hp,i64**,i64} %t.7, 0 + %globasp.2 = extractvalue {%Hp,i64**,i64} %t.7, 1 + %t.8 = extractvalue {%Hp,i64**,i64} %t.7, 2 %bsp.200 = call i64* @pushI(i64 %t.8, i64* %bsp.008) - %t.9 = call {i64**,i64*} @buildI(i64 2, i64** %asp.203, i64* %hp.4) - %asp.204 = extractvalue {i64**,i64*} %t.9, 0 - %hp.5 = extractvalue {i64**,i64*} %t.9, 1 + %t.9 = call {i64**,%Hp} @buildI(i64 2, i64** %asp.203, %Hp %hp.4) + %asp.204 = extractvalue {i64**,%Hp} %t.9, 0 + %hp.5 = extractvalue {i64**,%Hp} %t.9, 1 %asp.205 = call i64** @push_a(i64 -1, i64** %asp.204) - %t.10 = bitcast {i64*,i64**,i64*}(i64*,i64**,i64*)* @n2 to i64* - %t.11 = call {i64**,i64*} @build(i64* %t.10, i64 2, i64** %asp.205, i64** %asp.000, i64** %globasp.2, i64* %hp.5) - %asp.206 = extractvalue {i64**,i64*} %t.11, 0 - %hp.6 = extractvalue {i64**,i64*} %t.11, 1 + %t.10 = bitcast {%Hp,i64**,i64*}(%Hp,i64**,i64*)* @n2 to i64* + %t.11 = call {i64**,%Hp} @build(i64* %t.10, i64 2, i64** %asp.205, i64** %asp.000, i64** %globasp.2, %Hp %hp.5) + %asp.206 = extractvalue {i64**,%Hp} %t.11, 0 + %hp.6 = extractvalue {i64**,%Hp} %t.11, 1 %t.12 = call i64* @peek_a(i64** %asp.206) %asp.207 = call i64** @pop_a1(i64** %asp.206) - %t.13 = call {i64*,i64**,i64} @s4(i64* %hp.6, i64** %globasp.2, i64* %t.12) - %hp.7 = extractvalue {i64*,i64**,i64} %t.13, 0 - %globasp.3 = extractvalue {i64*,i64**,i64} %t.13, 1 - %t.14 = extractvalue {i64*,i64**,i64} %t.13, 2 + %t.13 = call cc101 {%Hp,i64**,i64} @s4(%Hp %hp.6, i64** %globasp.2, i64* %t.12) + %hp.7 = extractvalue {%Hp,i64**,i64} %t.13, 0 + %globasp.3 = extractvalue {%Hp,i64**,i64} %t.13, 1 + %t.14 = extractvalue {%Hp,i64**,i64} %t.13, 2 %bsp.201 = call i64* @pushI(i64 %t.14, i64* %bsp.200) %bsp.202 = call i64* @addI(i64* %bsp.201) @@ -153,14 +153,14 @@ else.1: %t.15 = call i64 @peek_b(i64* %bsp.208) %bsp.209 = call i64* @pop_b1(i64* %bsp.208) - %ret.3 = insertvalue {i64*,i64**,i64} undef, i64* %hp.7, 0 - %ret.4 = insertvalue {i64*,i64**,i64} %ret.3, i64** %globasp.3, 1 - %ret.5 = insertvalue {i64*,i64**,i64} %ret.4, i64 %t.15, 2 - ret {i64*,i64**,i64} %ret.5 + %ret.3 = insertvalue {%Hp,i64**,i64} undef, %Hp %hp.7, 0 + %ret.4 = insertvalue {%Hp,i64**,i64} %ret.3, i64** %globasp.3, 1 + %ret.5 = insertvalue {%Hp,i64**,i64} %ret.4, i64 %t.15, 2 + ret {%Hp,i64**,i64} %ret.5 } -define {i64*,i64**,i64*} @n2( - i64* align 8 nocapture nofree nonnull %hp.0, +define cc101 {%Hp,i64**,i64*} @n2( + %Hp %hp.0, i64** align 8 noalias nocapture nofree nonnull %globasp.0, i64* align 8 nocapture nofree dereferenceable(3) %n) nofree willreturn nosync nounwind argmemonly align 8 @@ -181,10 +181,10 @@ define {i64*,i64**,i64*} @n2( %t.2 = call i64* @peek_a(i64** %asp.003) %asp.004 = call i64** @pop_a1(i64** %asp.003) %globasp.1 = call i64** @_push_local_astack(i64** %asp.004, i64** %asp.000, i64** %globasp.0) - %t.3 = call {i64*,i64**,i64} @ea2(i64* %hp.0, i64** %globasp.1, i64* %t.1, i64* %t.2) - %hp.1 = extractvalue {i64*,i64**,i64} %t.3, 0 - %globasp.2 = extractvalue {i64*,i64**,i64} %t.3, 1 - %t.4 = extractvalue {i64*,i64**,i64} %t.3, 2 + %t.3 = call cc101 {%Hp,i64**,i64} @ea2(%Hp %hp.0, i64** %globasp.1, i64* %t.1, i64* %t.2) + %hp.1 = extractvalue {%Hp,i64**,i64} %t.3, 0 + %globasp.2 = extractvalue {%Hp,i64**,i64} %t.3, 1 + %t.4 = extractvalue {%Hp,i64**,i64} %t.3, 2 %globasp.3 = call i64** @_pop_global_astack(i64** %asp.004, i64** %asp.000, i64** %globasp.2) %bsp.001 = call i64* @pushI(i64 %t.4, i64* %bsp.000) @@ -194,14 +194,14 @@ define {i64*,i64**,i64*} @n2( %t.5 = call i64* @peek_a(i64** %asp.005) %asp.006 = call i64** @pop_a1(i64** %asp.005) - %ret.0 = insertvalue {i64*,i64**,i64*} undef, i64* %hp.0, 0 - %ret.1 = insertvalue {i64*,i64**,i64*} %ret.0, i64** %globasp.3, 1 - %ret.2 = insertvalue {i64*,i64**,i64*} %ret.1, i64* %t.5, 2 - ret {i64*,i64**,i64*} %ret.2 + %ret.0 = insertvalue {%Hp,i64**,i64*} undef, %Hp %hp.1, 0 + %ret.1 = insertvalue {%Hp,i64**,i64*} %ret.0, i64** %globasp.3, 1 + %ret.2 = insertvalue {%Hp,i64**,i64*} %ret.1, i64* %t.5, 2 + ret {%Hp,i64**,i64*} %ret.2 } -define private {i64*,i64**,i64} @ea2( - i64* align 8 nocapture nofree nonnull %hp.0, +define private cc101 {%Hp,i64**,i64} @ea2( + %Hp %hp.0, i64** align 8 noalias nocapture nofree nonnull %globasp.0, i64* align 8 nofree nonnull %arg1, i64* align 8 nofree nonnull %arg2) @@ -216,12 +216,12 @@ define private {i64*,i64**,i64} @ea2( %asp.002 = getelementptr i64*, i64** %asp.001, i64 1 store i64* %arg1, i64** %asp.002 - %j.0 = call {i64*,i64**} @jsr_eval(i64 -1, i64** %asp.002, i64** %asp.000, i64** %globasp.0, i64* %hp.0) - %hp.1 = extractvalue {i64*,i64**} %j.0, 0 - %globasp.1 = extractvalue {i64*,i64**} %j.0, 1 - %j.1 = call {i64*,i64**} @jsr_eval(i64 -0, i64** %asp.002, i64** %asp.000, i64** %globasp.1, i64* %hp.1) - %hp.2 = extractvalue {i64*,i64**} %j.1, 0 - %globasp.2 = extractvalue {i64*,i64**} %j.1, 1 + %j.0 = call {%Hp,i64**} @jsr_eval(i64 -1, i64** %asp.002, i64** %asp.000, i64** %globasp.0, %Hp %hp.0) + %hp.1 = extractvalue {%Hp,i64**} %j.0, 0 + %globasp.1 = extractvalue {%Hp,i64**} %j.0, 1 + %j.1 = call {%Hp,i64**} @jsr_eval(i64 -0, i64** %asp.002, i64** %asp.000, i64** %globasp.1, %Hp %hp.1) + %hp.2 = extractvalue {%Hp,i64**} %j.1, 0 + %globasp.2 = extractvalue {%Hp,i64**} %j.1, 1 %bsp.001 = call i64* @pushI_a(i64 -1, i64* %bsp.000, i64** %asp.002) %bsp.002 = call i64* @pushI_a(i64 -0, i64* %bsp.001, i64** %asp.002) %asp.003 = call i64** @pop_a1(i64** %asp.002) @@ -232,15 +232,15 @@ define private {i64*,i64**,i64} @ea2( %t.1 = call i64 @peek_b(i64* %bsp.003) %bsp.004 = call i64* @pop_b1(i64* %bsp.003) - %ret = tail call {i64*,i64**,i64} @s2(i64* %hp.2, i64** %globasp.2, i64 %t.0, i64 %t.1) - ret {i64*,i64**,i64} %ret + %ret = tail call cc101 {%Hp,i64**,i64} @s2(%Hp %hp.2, i64** %globasp.2, i64 %t.0, i64 %t.1) + ret {%Hp,i64**,i64} %ret } -define private {i64*,i64**,i64} @s2( - i64* align 8 nocapture nofree nonnull %hp.0, +define private cc101 {%Hp,i64**,i64} @s2( + %Hp %hp.0, i64** align 8 noalias nocapture nofree nonnull %globasp.0, - i64 inreg %arg1, - i64 inreg %arg2) + i64 %arg1, + i64 %arg2) nofree willreturn nosync nounwind argmemonly { %astack = alloca i64*, i64 5 %asp.000 = getelementptr i64*, i64** %astack @@ -255,27 +255,42 @@ define private {i64*,i64**,i64} @s2( %t.0 = call i64 @peek_b(i64* %bsp.003) %bsp.004 = call i64* @pop_b1(i64* %bsp.003) - %ret.0 = insertvalue {i64*,i64**,i64} undef, i64* %hp.0, 0 - %ret.1 = insertvalue {i64*,i64**,i64} %ret.0, i64** %globasp.0, 1 - %ret.2 = insertvalue {i64*,i64**,i64} %ret.1, i64 %t.0, 2 - ret {i64*,i64**,i64} %ret.2 + %ret.0 = insertvalue {%Hp,i64**,i64} undef, %Hp %hp.0, 0 + %ret.1 = insertvalue {%Hp,i64**,i64} %ret.0, i64** %globasp.0, 1 + %ret.2 = insertvalue {%Hp,i64**,i64} %ret.1, i64 %t.0, 2 + ret {%Hp,i64**,i64} %ret.2 } define i64 @main() { - %hp.0 = call i64* @_alloc_heap(i64 100000000) +entry: + %hp_free.0 = add i64 100000000, 0 + %hp.0 = call i64* @_alloc_heap(i64 %hp_free.0) + %hp_s.0 = insertvalue %Hp undef, i64* %hp.0, 0 + %hp_s.1 = insertvalue %Hp %hp_s.0, i64 %hp_free.0, 1 + %asp.0 = call i64** @_alloc_a_stack(i64 10000) - %n.0 = getelementptr i64, i64* %hp.0 - store i64 ptrtoint ({i64*,i64**,i64*}(i64*,i64**,i64*)* @n5 to i64), i64* %n.0 - %hp.1 = getelementptr i64, i64* %hp.0, i64 3 + %i = add i64 20, 0 + br label %loop + +loop: + %i.0 = phi i64 [%i, %entry], [%i.1, %loop.0] + %i.1 = sub i64 %i.0, 1 + %c.0 = icmp slt i64 %i.1, 0 + br i1 %c.0, label %done, label %loop.0 + +loop.0: + %t.0 = bitcast {%Hp,i64**,i64*}(%Hp,i64**,i64*)* @n5 to i64* + %t.1 = call {i64**,%Hp} @build(i64* %t.0, i64 0, i64** %asp.0, i64** %asp.0, i64** %asp.0, %Hp %hp_s.1) + %asp.1 = extractvalue {i64**,%Hp} %t.1, 0 + %hp_s.2 = extractvalue {i64**,%Hp} %t.1, 1 - %t.0 = call {i64*,i64**,i64*} @n5(i64* %hp.1, i64** %asp.0, i64* %n.0) - %hp.2 = extractvalue {i64*,i64**,i64*} %t.0, 0 - %asp.1 = extractvalue {i64*,i64**,i64*} %t.0, 1 - %n.1 = extractvalue {i64*,i64**,i64*} %t.0, 2 + %t.2 = call cc101 {%Hp,i64**,i64*} @n5(%Hp %hp_s.2, i64** %asp.0, i64* %hp.0) + br label %loop - %n.1.0 = getelementptr i64, i64* %n.1, i64 1 - %r = load i64, i64* %n.1.0 +done: + %rp = getelementptr i64, i64* %hp.0, i64 1 + %r = load i64, i64* %rp call i64 (i8*, ...) @printf(i8* getelementptr inbounds ([3 x i8], [3 x i8]* @printf_d, i64 0, i64 0), i64 %r) call i64 (i8*, ...) @printf(i8* getelementptr inbounds ([3 x i8], [3 x i8]* @printf_c, i64 0, i64 0), i64 10) |