diff options
Diffstat (limited to 'output/LinearSearch.vaporm')
| -rw-r--r-- | output/LinearSearch.vaporm | 722 |
1 files changed, 491 insertions, 231 deletions
diff --git a/output/LinearSearch.vaporm b/output/LinearSearch.vaporm index 244e073..09bbf66 100644 --- a/output/LinearSearch.vaporm +++ b/output/LinearSearch.vaporm @@ -15,17 +15,19 @@ func Main [in 0, out 0, local 14] $s7 = HeapAllocZ(24 ) [$s7+0] = :functable_LS $s6 = $s7 - $s7 = [$s6+0] - $s5 = [$s7+0] - $s7 = 10 + $s7 = $s6 + $s6 = [$s7+0] + $s5 = [$s6+0] + $s6 = 10 + $s4 = $s6 local[8] = $t3 local[9] = $t4 local[10] = $t5 local[11] = $t6 local[12] = $t7 local[13] = $t8 - $a0 = $s6 - $a1 = $s7 + $a0 = $s7 + $a1 = $s4 call $s5 $t3 = local[8] $t4 = local[9] @@ -33,9 +35,10 @@ func Main [in 0, out 0, local 14] $t6 = local[11] $t7 = local[12] $t8 = local[13] - $s4 = $v0 - $s7 = $s4 - PrintIntS($s7 ) + $s6 = $v0 + $s4 = $s6 + $s6 = $s4 + PrintIntS($s6 ) $s0 = local[0] $s1 = local[1] $s2 = local[2] @@ -56,8 +59,10 @@ func LS_Start [in 0, out 0, local 14] local[7] = $s7 $s6 = $a0 $s7 = $a1 + $s5 = $s6 $s5 = [$s6+0] $s4 = $s7 + $s7 = $s4 $s5 = [$s5+12] local[8] = $t3 local[9] = $t4 @@ -66,7 +71,7 @@ func LS_Start [in 0, out 0, local 14] local[12] = $t7 local[13] = $t8 $a0 = $s6 - $a1 = $s4 + $a1 = $s7 call $s5 $t3 = local[8] $t4 = local[9] @@ -74,8 +79,10 @@ func LS_Start [in 0, out 0, local 14] $t6 = local[11] $t7 = local[12] $t8 = local[13] - $s7 = $v0 + $s4 = $v0 + $s7 = $s4 $s4 = $s7 + $s4 = $s6 $s4 = [$s6+0] $s4 = [$s4+4] local[8] = $t3 @@ -94,11 +101,16 @@ func LS_Start [in 0, out 0, local 14] $t8 = local[13] $s7 = $v0 $s4 = $s7 - $s4 = 9999 - PrintIntS($s4 ) - $s4 = [$s6+0] - $s7 = 8 - $s4 = [$s4+8] + $s7 = $s4 + $s7 = 9999 + $s4 = $s7 + $s7 = $s4 + PrintIntS($s7 ) + $s7 = $s6 + $s7 = [$s6+0] + $s4 = 8 + $s5 = $s4 + $s7 = [$s7+8] local[8] = $t3 local[9] = $t4 local[10] = $t5 @@ -106,20 +118,23 @@ func LS_Start [in 0, out 0, local 14] local[12] = $t7 local[13] = $t8 $a0 = $s6 - $a1 = $s7 - call $s4 + $a1 = $s5 + call $s7 $t3 = local[8] $t4 = local[9] $t5 = local[10] $t6 = local[11] $t7 = local[12] $t8 = local[13] - $s5 = $v0 - $s7 = $s5 - PrintIntS($s7 ) - $s7 = [$s6+0] + $s4 = $v0 + $s5 = $s4 + $s4 = $s5 + PrintIntS($s4 ) + $s4 = $s6 + $s4 = [$s6+0] $s5 = 12 - $s7 = [$s7+8] + $s7 = $s5 + $s4 = [$s4+8] local[8] = $t3 local[9] = $t4 local[10] = $t5 @@ -127,19 +142,22 @@ func LS_Start [in 0, out 0, local 14] local[12] = $t7 local[13] = $t8 $a0 = $s6 - $a1 = $s5 - call $s7 + $a1 = $s7 + call $s4 $t3 = local[8] $t4 = local[9] $t5 = local[10] $t6 = local[11] $t7 = local[12] $t8 = local[13] - $s4 = $v0 - $s5 = $s4 + $s5 = $v0 + $s7 = $s5 + $s5 = $s7 PrintIntS($s5 ) + $s5 = $s6 $s5 = [$s6+0] - $s4 = 17 + $s7 = 17 + $s4 = $s7 $s5 = [$s5+8] local[8] = $t3 local[9] = $t4 @@ -158,10 +176,13 @@ func LS_Start [in 0, out 0, local 14] $t8 = local[13] $s7 = $v0 $s4 = $s7 - PrintIntS($s4 ) - $s4 = [$s6+0] - $s7 = 50 - $s4 = [$s4+8] + $s7 = $s4 + PrintIntS($s7 ) + $s7 = $s6 + $s7 = [$s6+0] + $s4 = 50 + $s5 = $s4 + $s7 = [$s7+8] local[8] = $t3 local[9] = $t4 local[10] = $t5 @@ -169,19 +190,22 @@ func LS_Start [in 0, out 0, local 14] local[12] = $t7 local[13] = $t8 $a0 = $s6 - $a1 = $s7 - call $s4 + $a1 = $s5 + call $s7 $t3 = local[8] $t4 = local[9] $t5 = local[10] $t6 = local[11] $t7 = local[12] $t8 = local[13] - $s5 = $v0 - $s7 = $s5 - PrintIntS($s7 ) - $s7 = 55 - $v0 = $s7 + $s4 = $v0 + $s5 = $s4 + $s4 = $s5 + PrintIntS($s4 ) + $s4 = 55 + $s5 = $s4 + $s4 = $s5 + $v0 = $s4 $s0 = local[0] $s1 = local[1] $s2 = local[2] @@ -191,7 +215,7 @@ func LS_Start [in 0, out 0, local 14] $s6 = local[6] $s7 = local[7] ret -func LS_Print [in 0, out 0, local 14] +func LS_Print [in 0, out 0, local 21] local[0] = $s0 local[1] = $s1 local[2] = $s2 @@ -202,27 +226,66 @@ func LS_Print [in 0, out 0, local 14] local[7] = $s7 $s6 = $a0 $s7 = 1 -while29_test: $s5 = $s7 - $s1 = [$s6+20] - $s2 = LtS($s5 $s1 ) - $t7 = $s2 - if0 $t7 goto :while29_end -while29_body: - $t5 = [$s6+16] - $t6 = MulS($s7 4 ) - $t6 = Add($t6 4 ) - $t6 = Add($t5 $t6 ) - $s0 = [$t6+0] - $t3 = $s0 - PrintIntS($t3 ) + $s7 = $s5 +while55_test: + $s5 = $s7 + $t0 = local[16] + $t0 = [$s6+20] + local[16] = $t0 + $t0 = local[18] + $t1 = local[16] + $t0 = $t1 + local[16] = $t1 + local[18] = $t0 + $t0 = local[17] + $t1 = local[18] + $t0 = $t1 + local[18] = $t1 + local[17] = $t0 + $t0 = local[15] + $t1 = local[17] + $t0 = LtS($s5 $t1 ) + local[17] = $t1 + local[15] = $t0 + $t0 = local[20] + $t1 = local[15] + $t0 = $t1 + local[15] = $t1 + local[20] = $t0 + $t0 = local[19] + $t1 = local[20] + $t0 = $t1 + local[20] = $t1 + local[19] = $t0 + $t0 = local[19] + if0 $t0 goto :while55_end + local[19] = $t0 +while55_body: + $t6 = [$s6+16] + $t5 = $t6 $s4 = $s7 - $s3 = 1 - $t4 = Add($s4 $s3 ) - $s7 = $t4 - goto :while29_test -while29_end: + $s3 = MulS($s4 4 ) + $s3 = Add($s3 4 ) + $s3 = Add($t5 $s3 ) + $s0 = [$s3+0] + $s1 = $s0 + $s2 = $s1 + PrintIntS($s2 ) + $t4 = $s7 + $t0 = local[14] + $t0 = 1 + local[14] = $t0 + $t0 = local[14] + $t3 = Add($t4 $t0 ) + local[14] = $t0 + $t7 = $t3 + $s7 = $t7 + goto :while55_test +while55_end: $t3 = 0 + $t4 = $t3 + $t3 = $t4 $v0 = $t3 $s0 = local[0] $s1 = local[1] @@ -233,7 +296,7 @@ while29_end: $s6 = local[6] $s7 = local[7] ret -func LS_Search [in 0, out 0, local 31] +func LS_Search [in 0, out 0, local 55] local[0] = $s0 local[1] = $s1 local[2] = $s2 @@ -242,140 +305,268 @@ func LS_Search [in 0, out 0, local 31] local[5] = $s5 local[6] = $s6 local[7] = $s7 - $s5 = $a0 - $s6 = $a1 - $s7 = 1 + $s6 = $a0 + $s7 = $a1 + $s5 = 1 + $s4 = $s5 + $s5 = $s4 $s4 = 0 + $s3 = $s4 + $s4 = $s3 + $s3 = 0 + $s2 = $s3 $t0 = local[14] - $t0 = 0 + $t0 = $s2 local[14] = $t0 -while42_test: - $s2 = $s7 - $t0 = local[28] - $t0 = [$s5+20] - local[28] = $t0 - $t0 = local[26] - $t1 = local[28] +while83_test: + $s2 = $s5 + $t0 = local[51] + $t0 = [$s6+20] + local[51] = $t0 + $t0 = local[44] + $t1 = local[51] + $t0 = $t1 + local[51] = $t1 + local[44] = $t0 + $t0 = local[42] + $t1 = local[44] + $t0 = $t1 + local[44] = $t1 + local[42] = $t0 + $t0 = local[47] + $t1 = local[42] $t0 = LtS($s2 $t1 ) - local[28] = $t1 - local[26] = $t0 + local[42] = $t1 + local[47] = $t0 + $t0 = local[46] + $t1 = local[47] + $t0 = $t1 + local[47] = $t1 + local[46] = $t0 + $t0 = local[45] + $t1 = local[46] + $t0 = $t1 + local[46] = $t1 + local[45] = $t0 + $t0 = local[45] + if0 $t0 goto :while83_end + local[45] = $t0 +while83_body: + $t0 = local[32] + $t0 = [$s6+16] + local[32] = $t0 + $t0 = local[37] + $t1 = local[32] + $t0 = $t1 + local[32] = $t1 + local[37] = $t0 + $t0 = local[34] + $t0 = $s5 + local[34] = $t0 + $t0 = local[31] + $t1 = local[34] + $t0 = MulS($t1 4 ) + local[34] = $t1 + local[31] = $t0 + $t0 = local[31] + $t1 = local[31] + $t0 = Add($t1 4 ) + local[31] = $t1 + local[31] = $t0 + $t0 = local[31] + $t1 = local[37] + $t2 = local[31] + $t0 = Add($t1 $t2 ) + local[31] = $t2 + local[37] = $t1 + local[31] = $t0 + $t0 = local[35] + $t1 = local[31] + $t0 = [$t1+0] + local[31] = $t1 + local[35] = $t0 + $t0 = local[33] + $t1 = local[35] + $t0 = $t1 + local[35] = $t1 + local[33] = $t0 + $t0 = local[36] + $t1 = local[33] + $t0 = $t1 + local[33] = $t1 + local[36] = $t0 + $t0 = local[30] + $t0 = $s7 + local[30] = $t0 + $t0 = local[29] + $t0 = 1 + local[29] = $t0 $t0 = local[27] + $t1 = local[30] + $t2 = local[29] + $t0 = Add($t1 $t2 ) + local[29] = $t2 + local[30] = $t1 + local[27] = $t0 + $t0 = local[26] + $t1 = local[27] + $t0 = $t1 + local[27] = $t1 + local[26] = $t0 + $t0 = local[28] $t1 = local[26] $t0 = $t1 local[26] = $t1 - local[27] = $t0 - $t0 = local[27] - if0 $t0 goto :while42_end - local[27] = $t0 -while42_body: + local[28] = $t0 + $t0 = local[16] + $t1 = local[36] + $t0 = $t1 + local[36] = $t1 + local[16] = $t0 $t0 = local[22] - $t0 = [$s5+16] + $t0 = $s7 local[22] = $t0 + $t0 = local[25] + $t1 = local[16] + $t2 = local[22] + $t0 = LtS($t1 $t2 ) + local[22] = $t2 + local[16] = $t1 + local[25] = $t0 + $t0 = local[21] + $t1 = local[25] + $t0 = $t1 + local[25] = $t1 + local[21] = $t0 $t0 = local[24] - $t0 = MulS($s7 4 ) - local[24] = $t0 - $t0 = local[24] - $t1 = local[24] - $t0 = Add($t1 4 ) - local[24] = $t1 + $t1 = local[21] + $t0 = $t1 + local[21] = $t1 local[24] = $t0 $t0 = local[24] - $t1 = local[22] - $t2 = local[24] - $t0 = Add($t1 $t2 ) - local[24] = $t2 - local[22] = $t1 + if0 $t0 goto :if101_else local[24] = $t0 - $t0 = local[29] - $t1 = local[24] - $t0 = [$t1+0] - local[24] = $t1 - local[29] = $t0 - $t0 = local[30] - $t1 = local[29] - $t0 = $t1 - local[29] = $t1 - local[30] = $t0 +if101_body: $t0 = local[18] - $t0 = $s6 + $t0 = 0 local[18] = $t0 - $t0 = local[21] - $t0 = 1 - local[21] = $t0 - $t0 = local[19] + $t0 = local[17] $t1 = local[18] - $t2 = local[21] - $t0 = Add($t1 $t2 ) - local[21] = $t2 + $t0 = $t1 local[18] = $t1 - local[19] = $t0 + local[17] = $t0 $t0 = local[23] - $t1 = local[19] + $t1 = local[17] $t0 = $t1 - local[19] = $t1 + local[17] = $t1 local[23] = $t0 - $t0 = local[16] - $t1 = local[30] - $t0 = $t1 - local[30] = $t1 - local[16] = $t0 + goto :if101_end +if101_else: $t0 = local[15] - $t0 = $s6 + $t1 = local[36] + $t0 = $t1 + local[36] = $t1 local[15] = $t0 + $t0 = local[28] + $s0 = $t0 + local[28] = $t0 + $t0 = local[19] + $t1 = local[15] + $t0 = LtS($t1 $s0 ) + local[15] = $t1 + local[19] = $t0 + $t0 = local[19] + $s1 = $t0 + local[19] = $t0 + $t4 = $s1 + $t5 = $t4 $t0 = local[20] - $t1 = local[16] - $t2 = local[15] - $t0 = LtS($t1 $t2 ) - local[15] = $t2 - local[16] = $t1 + $t0 = Eq($t5 0 ) local[20] = $t0 - $t0 = local[17] + $t0 = local[53] $t1 = local[20] $t0 = $t1 local[20] = $t1 - local[17] = $t0 - $t0 = local[17] - if0 $t0 goto :if53_else - local[17] = $t0 -if53_body: - $t4 = 0 - goto :if53_end -if53_else: - $t0 = local[30] - $t3 = $t0 - local[30] = $t0 + local[53] = $t0 + $t0 = local[54] + $t1 = local[53] + $t0 = $t1 + local[53] = $t1 + local[54] = $t0 + $t0 = local[54] + $t7 = $t0 + local[54] = $t0 + if0 $t7 goto :if108_else +if108_body: + $s3 = 0 + $t3 = $s3 $t0 = local[23] - $s0 = $t0 + $t0 = $t3 local[23] = $t0 - $s3 = LtS($t3 $s0 ) - $t5 = Eq($s3 0 ) - $s1 = $t5 - if0 $s1 goto :if57_else -if57_body: - $t4 = 0 - goto :if57_end -if57_else: - $s4 = 1 - $t0 = local[14] + goto :if108_end +if108_else: + $t6 = 1 + $t0 = local[38] + $t0 = $t6 + local[38] = $t0 + $t0 = local[38] + $s4 = $t0 + local[38] = $t0 + $t0 = local[40] $t0 = 1 + local[40] = $t0 + $t0 = local[39] + $t1 = local[40] + $t0 = $t1 + local[40] = $t1 + local[39] = $t0 + $t0 = local[14] + $t1 = local[39] + $t0 = $t1 + local[39] = $t1 local[14] = $t0 - $s7 = [$s5+20] -if57_end: -if53_end: - $t7 = $s7 - $t0 = local[25] + $t0 = local[49] + $t0 = [$s6+20] + local[49] = $t0 + $t0 = local[48] + $t1 = local[49] + $t0 = $t1 + local[49] = $t1 + local[48] = $t0 + $t0 = local[48] + $s5 = $t0 + local[48] = $t0 +if108_end: +if101_end: + $t0 = local[50] + $t0 = $s5 + local[50] = $t0 + $t0 = local[43] $t0 = 1 - local[25] = $t0 - $t0 = local[25] - $t6 = Add($t7 $t0 ) - local[25] = $t0 - $s7 = $t6 - goto :while42_test -while42_end: + local[43] = $t0 + $t0 = local[52] + $t1 = local[50] + $t2 = local[43] + $t0 = Add($t1 $t2 ) + local[43] = $t2 + local[50] = $t1 + local[52] = $t0 + $t0 = local[41] + $t1 = local[52] + $t0 = $t1 + local[52] = $t1 + local[41] = $t0 + $t0 = local[41] + $s5 = $t0 + local[41] = $t0 + goto :while83_test +while83_end: $t0 = local[14] - $s3 = $t0 + $t4 = $t0 local[14] = $t0 - $v0 = $s3 + $t5 = $t4 + $t4 = $t5 + $v0 = $t4 $s0 = local[0] $s1 = local[1] $s2 = local[2] @@ -385,7 +576,7 @@ while42_end: $s6 = local[6] $s7 = local[7] ret -func LS_Init [in 0, out 0, local 27] +func LS_Init [in 0, out 0, local 37] local[0] = $s0 local[1] = $s1 local[2] = $s2 @@ -394,16 +585,20 @@ func LS_Init [in 0, out 0, local 27] local[5] = $s5 local[6] = $s6 local[7] = $s7 - $s6 = $a0 - $s7 = $a1 - [$s6+20] = $s7 + $s5 = $a0 + $s6 = $a1 + $s7 = $s6 + $s4 = $s7 + [$s5+20] = $s4 + $s4 = $s6 + $s6 = $s4 local[8] = $t3 local[9] = $t4 local[10] = $t5 local[11] = $t6 local[12] = $t7 local[13] = $t8 - $a0 = $s7 + $a0 = $s6 call :AllocArray $t3 = local[8] $t4 = local[9] @@ -411,99 +606,164 @@ func LS_Init [in 0, out 0, local 27] $t6 = local[11] $t7 = local[12] $t8 = local[13] - $s5 = $v0 - [$s6+16] = $s5 - $s5 = 1 - $s7 = [$s6+20] + $s4 = $v0 + $s6 = $s4 + $s4 = $s6 + [$s5+16] = $s4 $s4 = 1 - $s3 = Add($s7 $s4 ) - $s4 = $s3 -while70_test: - $s3 = $s5 + $s6 = $s4 + $s4 = $s6 + $s6 = [$s5+20] + $s7 = 1 + $s3 = Add($s6 $s7 ) + $s7 = $s3 + $s3 = $s7 +while146_test: + $s7 = $s4 + $t0 = local[34] + $t0 = [$s5+20] + local[34] = $t0 + $t0 = local[35] + $t1 = local[34] + $t0 = $t1 + local[34] = $t1 + local[35] = $t0 + $t0 = local[31] + $t1 = local[35] + $t0 = $t1 + local[35] = $t1 + local[31] = $t0 + $t0 = local[36] + $t1 = local[31] + $t0 = LtS($s7 $t1 ) + local[31] = $t1 + local[36] = $t0 + $t0 = local[30] + $t1 = local[36] + $t0 = $t1 + local[36] = $t1 + local[30] = $t0 + $t0 = local[33] + $t1 = local[30] + $t0 = $t1 + local[30] = $t1 + local[33] = $t0 + $t0 = local[33] + if0 $t0 goto :while146_end + local[33] = $t0 +while146_body: $t0 = local[26] - $t0 = [$s6+20] + $t0 = 2 local[26] = $t0 - $t0 = local[25] + $t0 = local[29] + $t0 = $s4 + local[29] = $t0 + $t0 = local[27] $t1 = local[26] - $t0 = LtS($s3 $t1 ) + $t2 = local[29] + $t0 = MulS($t1 $t2 ) + local[29] = $t2 local[26] = $t1 - local[25] = $t0 - $t0 = local[20] - $t1 = local[25] + local[27] = $t0 + $t0 = local[28] + $t1 = local[27] $t0 = $t1 - local[25] = $t1 - local[20] = $t0 + local[27] = $t1 + local[28] = $t0 + $t0 = local[32] + $t1 = local[28] + $t0 = $t1 + local[28] = $t1 + local[32] = $t0 + $t0 = local[15] + $t0 = $s3 + local[15] = $t0 + $t0 = local[21] + $t0 = 3 + local[21] = $t0 + $t0 = local[24] + $t1 = local[15] + $t2 = local[21] + $t0 = Sub($t1 $t2 ) + local[21] = $t2 + local[15] = $t1 + local[24] = $t0 $t0 = local[20] - if0 $t0 goto :while70_end + $t1 = local[24] + $t0 = $t1 + local[24] = $t1 local[20] = $t0 -while70_body: + $t0 = local[25] + $t1 = local[20] + $t0 = $t1 + local[20] = $t1 + local[25] = $t0 + $t0 = local[23] + $t0 = [$s5+16] + local[23] = $t0 $t0 = local[17] - $t0 = 2 + $t0 = $s4 local[17] = $t0 $t0 = local[16] - $t0 = $s5 - local[16] = $t0 - $t0 = local[21] $t1 = local[17] - $t2 = local[16] - $t0 = MulS($t1 $t2 ) - local[16] = $t2 + $t0 = $t1 local[17] = $t1 - local[21] = $t0 + local[16] = $t0 $t0 = local[22] - $t1 = local[21] - $t0 = $t1 - local[21] = $t1 + $t1 = local[16] + $t0 = MulS($t1 4 ) + local[16] = $t1 + local[22] = $t0 + $t0 = local[22] + $t1 = local[22] + $t0 = Add($t1 4 ) + local[22] = $t1 + local[22] = $t0 + $t0 = local[22] + $t1 = local[23] + $t2 = local[22] + $t0 = Add($t1 $t2 ) + local[22] = $t2 + local[23] = $t1 local[22] = $t0 - $t0 = local[14] - $t0 = $s4 - local[14] = $t0 - $t3 = 3 $t0 = local[18] - $t1 = local[14] - $t0 = Sub($t1 $t3 ) - local[14] = $t1 + $t1 = local[32] + $t0 = $t1 + local[32] = $t1 local[18] = $t0 + $t0 = local[14] + $t1 = local[25] + $t0 = $t1 + local[25] = $t1 + local[14] = $t0 $t0 = local[19] $t1 = local[18] - $t0 = $t1 + $t2 = local[14] + $t0 = Add($t1 $t2 ) + local[14] = $t2 local[18] = $t1 local[19] = $t0 - $t0 = local[15] - $t0 = [$s6+16] - local[15] = $t0 - $t6 = MulS($s5 4 ) - $t6 = Add($t6 4 ) - $t0 = local[15] - $t6 = Add($t0 $t6 ) - local[15] = $t0 - $t0 = local[22] - $t4 = $t0 - local[22] = $t0 $t0 = local[19] - $t5 = $t0 + $s2 = $t0 local[19] = $t0 - $t7 = Add($t4 $t5 ) - [$t6+0] = $t7 - $s7 = $s5 - $s0 = 1 - $s2 = Add($s7 $s0 ) - $s5 = $s2 - $t0 = local[24] - $t0 = $s4 - local[24] = $t0 - $t0 = local[23] - $t0 = 1 - local[23] = $t0 - $t0 = local[24] - $t1 = local[23] - $s1 = Sub($t0 $t1 ) - local[23] = $t1 - local[24] = $t0 - $s4 = $s1 - goto :while70_test -while70_end: + $t0 = local[22] + [$t0+0] = $s2 + local[22] = $t0 + $t5 = $s4 + $t6 = 1 + $s6 = Add($t5 $t6 ) + $t3 = $s6 + $s4 = $t3 + $s0 = $s3 + $s1 = 1 + $t4 = Sub($s0 $s1 ) + $t7 = $t4 + $s3 = $t7 + goto :while146_test +while146_end: $t3 = 0 + $t4 = $t3 + $t3 = $t4 $v0 = $t3 $s0 = local[0] $s1 = local[1] |