From 9159cf1389d5d71b17dd9bf64f93b0fa7183527d Mon Sep 17 00:00:00 2001
From: Mitchell Plamann <mitchell.plamann@gmail.com>
Date: Sat, 28 Mar 2015 19:14:10 -0400
Subject: [PATCH] Added more tests, function calls work

Fixed a bunch of bugs in other opcodes, too
---
 src/c0vm.js              |  74 ++++++++++++++++++++++++++++++-------
 src/opcodes.js           |  12 +++---
 test/dsquared.c0         |  23 ++++++++++++
 test/dsquared.c0.bc0     |  78 +++++++++++++++++++++++++++++++++++++++
 test/dsquared.c0.bc0out  |   1 +
 test/dsquared.c0.c0out   |   1 +
 test/dsquared.c0.ex      | Bin 0 -> 13920 bytes
 test/isqrt.c0            |  10 +++++
 test/isqrt.c0.bc0        |  51 +++++++++++++++++++++++++
 test/isqrt.c0.bc0out     |   0
 test/isqrt.c0.c0out      |   1 +
 test/isqrt.c0.ex         | Bin 0 -> 13360 bytes
 test/mid.c0              |  10 +++++
 test/mid.c0.bc0          |  35 ++++++++++++++++++
 test/mid.c0.bc0out       |   1 +
 test/mid.c0.c0out        |   1 +
 test/mid.c0.ex           | Bin 0 -> 13350 bytes
 test/sample2.5.c0        |   7 ++++
 test/sample2.5.c0.bc0    |  55 +++++++++++++++++++++++++++
 test/sample2.5.c0.bc0out |   0
 test/sample2.5.c0.c0out  |   0
 test/sample2.5.c0.ex     | Bin 0 -> 13606 bytes
 test/testif.c0           |   8 ++++
 test/testif.c0.bc0       |  36 ++++++++++++++++++
 test/testif.c0.bc0out    |   1 +
 test/testif.c0.c0out     |   1 +
 test/testif.c0.ex        | Bin 0 -> 13313 bytes
 test/tests.js            |  34 ++++++++++++-----
 28 files changed, 412 insertions(+), 28 deletions(-)
 create mode 100644 test/dsquared.c0
 create mode 100644 test/dsquared.c0.bc0
 create mode 100644 test/dsquared.c0.bc0out
 create mode 100644 test/dsquared.c0.c0out
 create mode 100755 test/dsquared.c0.ex
 create mode 100644 test/isqrt.c0
 create mode 100644 test/isqrt.c0.bc0
 create mode 100644 test/isqrt.c0.bc0out
 create mode 100644 test/isqrt.c0.c0out
 create mode 100755 test/isqrt.c0.ex
 create mode 100644 test/mid.c0
 create mode 100644 test/mid.c0.bc0
 create mode 100644 test/mid.c0.bc0out
 create mode 100644 test/mid.c0.c0out
 create mode 100755 test/mid.c0.ex
 create mode 100644 test/sample2.5.c0
 create mode 100644 test/sample2.5.c0.bc0
 create mode 100644 test/sample2.5.c0.bc0out
 create mode 100644 test/sample2.5.c0.c0out
 create mode 100755 test/sample2.5.c0.ex
 create mode 100644 test/testif.c0
 create mode 100644 test/testif.c0.bc0
 create mode 100644 test/testif.c0.bc0out
 create mode 100644 test/testif.c0.c0out
 create mode 100755 test/testif.c0.ex

diff --git a/src/c0vm.js b/src/c0vm.js
index 02d8535..13338a9 100755
--- a/src/c0vm.js
+++ b/src/c0vm.js
@@ -1,10 +1,17 @@
 op = require("./opcodes");
 
+var INT_MIN = 0x80000000;
+var INT_MAX = 0x7FFFFFFF;
+
 var verbose = false;
 function log(message) {
     if (verbose) console.log(message);
 }
 
+function c0_assertion_failure(val) {
+    throw "c0 assertion failure: " + val;
+}
+
 var StackFrame = function(file, f) {
     log("Creating stack frame");
     this.stack = [];
@@ -12,7 +19,7 @@ var StackFrame = function(file, f) {
     this.program = f.code;
     this.variables = [];
     for (var i = 0; i < f.num_vars; i++)
-        variables.push(0);
+        this.variables.push(0);
     this.file = file;
 }
 
@@ -21,7 +28,7 @@ var ProgramState = function(parsed_file) {
     var main_function = parsed_file.function_pool[0];
 
     this.frame = new StackFrame(parsed_file, parsed_file.function_pool[0]);
-    this.call_stack = [this.frame];
+    this.call_stack = [];
     this.file = parsed_file;
 }
 
@@ -33,13 +40,23 @@ ProgramState.prototype.pop = function() {
     return this.frame.stack.pop();
 }
 
+ProgramState.prototype.goto_offset = function() {
+    var c1 = this.frame.program[this.frame.pc+1];
+    var c2 = this.frame.program[this.frame.pc+2]
+
+    var address_offset = (c1 << 8) + c2;
+    // Handle negative values
+    if ((address_offset & 0x8000) != 0)
+        address_offset = -0x8000 + (address_offset & 0x7FFF);
+
+    this.frame.pc += address_offset;
+}
+
 ProgramState.prototype.doIf = function(f) {
     var y = this.pop();
     var x = this.pop();
     if (f(x,y)) {
-        var address_offset = (this.frame.program[this.frame.pc+1] * 0x1000) + 
-            this.frame.program[this.frame.pc+2];
-        this.frame.pc += address_offset;
+        this.goto_offset();
     } else {
         this.frame.pc += 3;
     }
@@ -47,7 +64,7 @@ ProgramState.prototype.doIf = function(f) {
 
 ProgramState.prototype.step = function() {
     var opcode = this.frame.program[this.frame.pc]
-    log("Running opcode " +
+    log("0x" + this.frame.pc.toString(16) + " Running opcode " +
         op.lookup_table[opcode]);
     switch (opcode) {
         // Stack manipulation
@@ -81,8 +98,13 @@ ProgramState.prototype.step = function() {
         // Returning from a function
     case op.RETURN:
         var retVal = this.pop();
-        throw retVal;
+        if (this.call_stack.length == 0)
+            throw retVal;
 
+        this.frame = this.call_stack.pop();
+        this.push(retVal);
+
+        break;
         // Arithmetic
     case op.IADD:
         this.frame.pc++;
@@ -200,20 +222,20 @@ ProgramState.prototype.step = function() {
     case op.IF_CMPNE:
         this.doIf(function (x,y) {return y != x;});
         break;
-    case op.IF_CMPLT:
+    case op.IF_ICMPLT:
         this.doIf(function (x,y) {return y > x;});
         break;
-    case op.IF_CMPGE:
+    case op.IF_ICMPGE:
         this.doIf(function (x,y) {return y <= x;});
         break;
-    case op.IF_CMPGT:
+    case op.IF_ICMPGT:
         this.doIf(function (x,y) {return y < x;});
         break;
-    case op.IF_CMPLE:
+    case op.IF_ICMPLE:
         this.doIf(function (x,y) {return y >= x;});
         break;
     case op.GOTO:
-        this.doIf(function (x,y) {return true;});
+        this.goto_offset();
         break;
     case op.ATHROW:
         this.frame.pc++;
@@ -226,8 +248,34 @@ ProgramState.prototype.step = function() {
             c0_assertion_failure(a);
         break;
 
+        // Function call operations
+
+    case op.INVOKESTATIC:
+        var c1 = this.frame.program[this.frame.pc+1];
+        var c2 = this.frame.program[this.frame.pc+2];
+        this.frame.pc += 3;
+
+        var index = (c1 << 8) + c2;
+
+        var f = this.file.function_pool[index];
+        var newFrame = new StackFrame(this.file, f);
+        for (var i = f.num_args - 1; i >= 0; i--) {
+            newFrame.variables[i] = this.pop();
+        }
+
+        this.call_stack.push(this.frame);
+        this.frame = newFrame;
+        break;
+
     default:
-        console.log("Error: Unknown opcode: 0x" + opcode.toString(16) + "\n");
+        var opcode_name;
+        try {
+            opcode_name = op.lookup_table[opcode];
+        } catch (ignored) {
+            opcode_name = "UNKNOWN";
+        }
+        console.log("Error: Unknown opcode: 0x" + opcode.toString(16) +
+                    " (" + opcode_name + ")\n");
         throw "Error - unknown opcode";
     }
     return false;
diff --git a/src/opcodes.js b/src/opcodes.js
index b0ed6eb..98ec086 100644
--- a/src/opcodes.js
+++ b/src/opcodes.js
@@ -90,12 +90,12 @@ exports.lookup_table = {
     0x13: "ILDC",
     0x14: "ALDC",
     0x00: "NOP",
-    0x9F: "IF",
-    0xA0: "IF",
-    0xA1: "IF",
-    0xA2: "IF",
-    0xA3: "IF",
-    0xA4: "IF",
+    0x9F: "IF_CMPEQ",
+    0xA0: "IF_CMPNE",
+    0xA1: "IF_ICMPLT",
+    0xA2: "IF_ICMPGE",
+    0xA3: "IF_ICMPGT",
+    0xA4: "IF_ICMPLE",
     0xA7: "GOTO",
     0xBF: "ATHROW",
     0xCF: "ASSERT",
diff --git a/test/dsquared.c0 b/test/dsquared.c0
new file mode 100644
index 0000000..860baae
--- /dev/null
+++ b/test/dsquared.c0
@@ -0,0 +1,23 @@
+int dsquared(int x, int y)
+{
+  return x*x + y*y;
+}
+
+int main () 
+{
+  int a1 = 15;
+  int b1 = 122;
+  int a2 = 42;
+  int b2 = 0;
+  int a3 = -7;
+  int b3 = -11;
+  int a4 = -4;
+  int b4 = 3;
+  int sum = 0;
+  sum = sum + dsquared(a1,b1);
+  sum = sum + dsquared(a2,b2);
+  sum = sum + dsquared(a3,b3);
+  sum = sum + dsquared(a4,b4);
+  return sum;
+}
+
diff --git a/test/dsquared.c0.bc0 b/test/dsquared.c0.bc0
new file mode 100644
index 0000000..d95b37a
--- /dev/null
+++ b/test/dsquared.c0.bc0
@@ -0,0 +1,78 @@
+C0 C0 FF EE       # magic number
+00 09             # version 4, arch = 1 (64 bits)
+
+00 00             # int pool count
+# int pool
+
+00 00             # string pool total size
+# string pool
+
+00 02             # function count
+# function_pool
+
+#<main>
+00 00             # number of arguments = 0
+00 09             # number of local variables = 9
+00 57             # code length = 87 bytes
+10 0F    # bipush 15       # 15
+36 00    # vstore 0        # a1 = 15;
+10 7A    # bipush 122      # 122
+36 01    # vstore 1        # b1 = 122;
+10 2A    # bipush 42       # 42
+36 02    # vstore 2        # a2 = 42;
+10 00    # bipush 0        # 0
+36 03    # vstore 3        # b2 = 0;
+10 F9    # bipush -7       # -7
+36 04    # vstore 4        # a3 = -(7);
+10 F5    # bipush -11      # -11
+36 05    # vstore 5        # b3 = -(11);
+10 FC    # bipush -4       # -4
+36 06    # vstore 6        # a4 = -(4);
+10 03    # bipush 3        # 3
+36 07    # vstore 7        # b4 = 3;
+10 00    # bipush 0        # 0
+36 08    # vstore 8        # sum = 0;
+15 08    # vload 8         # sum
+15 00    # vload 0         # a1
+15 01    # vload 1         # b1
+B8 00 01 # invokestatic 1  # dsquared(a1, b1)
+60       # iadd            # (sum + dsquared(a1, b1))
+36 08    # vstore 8        # sum = (sum + dsquared(a1, b1));
+15 08    # vload 8         # sum
+15 02    # vload 2         # a2
+15 03    # vload 3         # b2
+B8 00 01 # invokestatic 1  # dsquared(a2, b2)
+60       # iadd            # (sum + dsquared(a2, b2))
+36 08    # vstore 8        # sum = (sum + dsquared(a2, b2));
+15 08    # vload 8         # sum
+15 04    # vload 4         # a3
+15 05    # vload 5         # b3
+B8 00 01 # invokestatic 1  # dsquared(a3, b3)
+60       # iadd            # (sum + dsquared(a3, b3))
+36 08    # vstore 8        # sum = (sum + dsquared(a3, b3));
+15 08    # vload 8         # sum
+15 06    # vload 6         # a4
+15 07    # vload 7         # b4
+B8 00 01 # invokestatic 1  # dsquared(a4, b4)
+60       # iadd            # (sum + dsquared(a4, b4))
+36 08    # vstore 8        # sum = (sum + dsquared(a4, b4));
+15 08    # vload 8         # sum
+B0       # return          # 
+
+
+#<dsquared>
+00 02             # number of arguments = 2
+00 02             # number of local variables = 2
+00 0C             # code length = 12 bytes
+15 00    # vload 0         # x
+15 00    # vload 0         # x
+68       # imul            # (x * x)
+15 01    # vload 1         # y
+15 01    # vload 1         # y
+68       # imul            # (y * y)
+60       # iadd            # ((x * x) + (y * y))
+B0       # return          # 
+
+00 00             # native count
+# native pool
+
diff --git a/test/dsquared.c0.bc0out b/test/dsquared.c0.bc0out
new file mode 100644
index 0000000..52d2ba8
--- /dev/null
+++ b/test/dsquared.c0.bc0out
@@ -0,0 +1 @@
+17068
diff --git a/test/dsquared.c0.c0out b/test/dsquared.c0.c0out
new file mode 100644
index 0000000..52d2ba8
--- /dev/null
+++ b/test/dsquared.c0.c0out
@@ -0,0 +1 @@
+17068
diff --git a/test/dsquared.c0.ex b/test/dsquared.c0.ex
new file mode 100755
index 0000000000000000000000000000000000000000..60c7863dc4dafdb244fff984fe7a827024fa1122
GIT binary patch
literal 13920
zcmcIr3vgW3c|LbntG%{tX(jm~Kd{#z8$+Vi1KHSs@%pi5Wn^P)xg&_-YPEay2&-LX
zAGQoOI4CgQ5eA!SgQs<arcDN#kij!$2G<afalj_yW=vrcrFB~k1MLc&)~SK0;h}#2
zdF<Z3T4k8Y^o;KP&;R|8^Pk5(_wG4Ij|5t`I5dr^<Y2cm;)ZoUhs2$+^UF9Zu{BI*
zes(Qe%1VK_aQV4}sK_ZgB3&!0OFbuO3FRFUaQH<=(#3*fimC{SQhE90msvp%cm%5`
zV_puB9mRS`$`5%uIId{BjN_1sN7@lfcF#+@=cS#ZC&@9AqN;vWH@X%}e~TS{aK!tG
zNbh;d+XDEG4^t7!pDHIUqW%K9hjWZ6s_gED9mV-|lZvxG+S|Fhxjq`Hi}uFS19byy
zR@bd=_9f%KCLTXko2q!n_TAjIYL6;eP$lSmTvYZPT*S+!LQbR^Aaile!$o#fwVAjo
zaLvL+W8v$hT-QLE>P>OEr6G-pGMQI(BX%~fYKa#k2LXCfgY#7#1>%>%sXAH(6tC9`
z$o!&d@E-v$=BIudd_Bi!vx(V$<nrmq$QJYS&(q)m;9gwz6awJ2gWw;+<tfq*Zvrn?
z?p3b;yU9^oyG=@*Rd*nlPp=_c%+Cejm8^y-KdSHEoksuUH27uU9yT?e!_(-m<@ii?
z(d|dhlJGo)8xkoz0n9ME`{FSpnF=LRhQW-jdySoDcW*LfCN@Pw$)uTN;RYj-j-`70
zOrtl}n_@;62s2vRwiyvKA(h*<ZHmTYW?QH;Y6@9#i4h5<LZUdU<8agr#nSzZBBKX$
zH8TfLR9C#;jIn+*k%%W)f1)>*>SA5tXgq1MZZl=Z_OfIOF(g>mzC>>d1smi*)}}Ai
z8)Jq^1wzo7Ov+*nGZta>p{`_oC>BYW`|88-bRuciH?FF0Y-*y(;+E;9vL)CZtt}fj
z8BM+>-zqe$CZ~9MdMPiSV#;ZfCrsl~($LsnA+P3;^uk_D9}c#e6p-5Gc%%8oI&Y})
z;{r}|kV*qmpXLec{Bg*FlZ{G;Ex2_)J!-+#7$uwI7M$iem4+=i%|R+XZ^2a^Np{kL
zTc49t7Th|IjaYD+TU81UUe>epaAyApEtdUP)GavpbN%e(st0F!+2ryAxK}LoBS(A>
znT?N4A}vo4Ppv$Dk@Mdso|<fYg!7%mQ<IOM<ovzF(=<Fj%=w+fQ&Wx~<@{FSsR_pq
zaegE5)D7ePoWF&5YRd5r&NmTHO*p;-JSb0%zir99bAK@NesJ)ED?8d+&W(66GX~F{
zY2f7C=`ugd#$oWu(W6xN;E?OPGrTPL*htDTd68HBs5PDXcQoAYU>%K@;NV1gF!SL)
z$9-o{QDJ2C$$hVrXmYG#=^?^S5vTOeOgNz*%)Aji^U?aCb}{(QL>k7YNiq1?KfySd
zc}v*8FYOPl+mCQq+Sm=tU9TMXpxEzze3XcYHcZi;`P>;C{8$UF9ZlADRV>{McY`BZ
zFyjh9IyvV}u0Q0unRM5VCf?7kLXF>YEdj4l9lv$oSy^6iaNYS*6qs6)tJ0j^uMbms
znGYu~-Z%aYSXL}$<JW<rVJNK3!7noDiJ`z36)y(9$h<KWm_TMiyLjJOk|Iw3Iml4Q
zbAgEmIr-#9POjh%@bdq{*SSFUQ%*kkf|D^CD(3>1NM&d@dC&YRb1wS?gqgtTP+(LG
zTpHSaWhn3o$5R}CZz%8{$FoC$%N*as@ry%&iyR*t3Vguv%^bfl6u3Zm;L_V?MO_eW
zLojnN8_cA~f|=c;!J*w_!Jz>7Uj<S8sxK!egPFiYaPZ&+OV5L3l;9ZP*J<o$KSA_B
zC*D?dCvOw*b_L$xW!qRQ!VeB@gIDlFz@be(7Lw~*1KDKGYfaAU58yTD(UbEiEiXcf
zp+|No<y>|QyojbNXLkzqeMEE!b?hOL-G%C|$sD|Z_(sqa8P{?*M#xZLB$#nkA<M@=
z_Ep#(Y1agE8qC_W=|zHjfr};u^XFWYT7qZjXBb1l%$d_GP}XbIFt2;c@u01y$Zn?G
zEacFTSz-Ch&%q5I%(C<f0h~qEGl37Nx88bv3k(GOIP}Jk!X0AFp56-lwI1B4((AwC
z4$-uM(G92iIeO+a6)nnt8c4PWO2ShoFM!5NK>^DtkRf#Yk-&S(%R9mgO;uD-Efs`9
zUOO&JHgit*!J50rGqncK6rPW(XS*o*Dwci^_T(X2JKCCw)Q$y@)ZOazveqNZn~4C=
zwq{bbS6VX%YB3=8)MECzyr%Vr4>x4KY{`5UJoBZqCG+d-xBh_QANy@;apS+xJlvZ3
zLu=-<&6)q+FgfQ^aPTbVfR7U&1&8+3Vk(Q)dRm7fwKc8Cd0U54wJTeP4%9YKbQBvU
zF|E+A7?eh{-%lJ~n%E{&bL2eov5t9g2=mLtWcqh<vJi7+*5KWSw?qCd9iY#NTfDJ&
z${X^g_QkJHdc*O){;1h!#!}wCP`IZzX3k`r8jPKRUAtS`j4ds#0k%8>D4vc+V%Mj<
z^j+euwQ20*t;h0O{G-I1icirLiaBrmi)N~lw#a!a{RX1n5kXXA0JIDAIOrUVP3p!@
z&{5ErKqo*igVta~{T_4;r~_lD9h64ZA<zNP<Diu2w+toi!JSMS@Mw!>x%H!vEe1x{
zd356vQrJ-LdEBvScIiD(kh0rA--7%FtK9J%S0LLxxY`iw_5yiJPJRIRqmb_`kZ;S$
zPXK=j@-<d@GGG3yz%M{vW|eQr%P#?cc^Y{wWMAO=8_2`d7OH-ML8tQ`O*jEe?NbXm
z%~jU#Dzd)~_$crU^6c&>T#uI;<^DnUQ;sK{M@k&+<<w3pVanlYI$q%v3MD(GZ$(P<
zdZJV!6=n%G_kFLv!PM_6nhhxV9e&*NYYHBh;OWDKQr6)o!p9lW9nwE<TktgmB3Zw|
zh^Mz7r4D>PP*QEgUzy<5_@WOYO7t6=(pagVQ-z<DylS%sE@e!8YpU`wbmJsCD)rH*
zoLB92Me-d|F5UdU6SYoaFX$_`pF`!kpi3n6NqW1a+a<kU(wL+VOZudwcK>&5+H{L|
zB~~qN@HYFJeK&iX8XB7#Zfd;AyK<))@diUFf!8(PzzTHN_!`+a;Z1ayZ1$NV$Y0n?
zk-X4<0BtSwFG&5nRj=FZx}jOZF<pBYRJ%$y>Z&3IIdu1RkT^?R_=(3Hx{JQCL2zdd
z&G9ZLrRz~t$tJkaT+Jkrj`$P>Ry*+*xVt{2ELU(Gi@GjbxE@xzkk}byy+m5SfIKDb
zgq#18n@K`gy6-2jOmIE!b;QjQT*Tc)+-$*hxC6wM3vQ1)MqGv9+TGiT^9ZiZy_dL3
z!R>JGCay|wt?pNds}@|)eU7-fg4^u=4RP}Y=XcZElD2?2=do8GVQd8LT*3~3mreZ!
z8j70Q-beRB#qkIPj`wI@b;?%P^wltMI@}KvDRHkPnO3@ngRV66OGL*wWyd)1<U5b_
zlD7#`dXlp6_Bd2sdZ|wR00-1xjz-){8lMB=u0wXzRiXJn^`DZiN9%-u>E8k3nyWoU
zdHok8na3HAz7a*a=5wY-zlYRnIOElyCA9^dS*d?Sl7*aU&|f0SBF?PQX)<#y=8RuA
z$=edn1oc{CmU3o?PQMCWUe2`ZXNb90>w?n`eI}{ZYEdvfdXktGJnDYEnV1_nlhXH)
z%{R4vRAE4$N8vPRTfiLBcaU16)&}NL{VtL;X$g=)eFibBwMRh?>mB4^z4j2)j_S{l
zB&Zz$b6o!cF)f@K)_+9IR?a-Hzd+2LoH?ogJu$6X9c)hNw^5<nd2Ay({ls<c&<=zA
zoXr>{(MvNogR60!rb?C_BZXHe%gU~&{Hs)5z3f`bk8}d|uu^>$xKf?Eau)S4g+2Rm
zWC*1`<>+yRRs*HT%lT*!&vL1L5=ezpJkp*oP-U&kgLu?P<(~_1sGT6R^4DB}Tsn@m
zSFQu3RS9lKr9oUZ4H?I=U{x2M7BX=h!&9!G09rkd6s}oV<_E(V|Ih%{PCN*FPJb!^
z;g7lJp2|wDN-gI&)=~LiRO&T?Yp<+;j&_akElXV@OJ&t#q`D$1%itd?yo{INP*|>z
zQHgk02+IyO_cXcnbwc}x(ptT4wG(q6qIjA}_~I0yhvqwNH3?~9fD-?R0o6_%##B)G
zmlPCNp!uQlY0i?wdF<pP^LU$X6>+rBzk8OSJg{Z_&e(lWs~TY14)X6f*2Ze~Ne%i*
zLy4Mtm#9>bG<OTl%`^(g>w-^FUdeMbfEGSOMOTo*4CjRWN?7<5fgXxyhVzO9F)M1z
z%d5+r<%`NIwJNs<-wKXeR#tX9AOtS6Iz0Qd^$VQkx0KylcKw2uYEt&sJhO3uR*j+R
zVnWhV?Z8JvX<k(+et+WvOhnBEYDLSQms81?jzCKCfw(FV9tt7Sg2LU^nzOvD41u{Q
z7Jatx;A*K}1GO2-AzoWK#WGSXlZtRcinBDWrJC^B%UDZwJ&^Jh$l$42foAmNtCX)j
zDn$mBg|)|v#i>&>iN>h5T8dVac5`57QJm{zs)1Fjp?R^hQP^tp%g|+2ZYsD&WYP6`
zmGuj5gUv!KKwZNA43~q|;;w0*m(RwXe-qG<V3Fi^(xHSI@r4_FVQ3&>hLrE=dC%(0
z8V1uU>C3uvf9o7rTh*4shl5>!(G<_qFXv*hm({0}iTY?f9E#G~Z+&+-oTJz&GFCU&
zrDG4o;`?H9`=~pXu5b3?8>+rH7LKMPrtlz{`p(`|vH-#J8E&A(XjBR@V#PXQcKLef
z>npXt-%KKl#~pBQ99cXTh(cwl1=QT=tk(2(dUyJj;X9l3pXzVFGTeCe>MO$yciuyP
zSC2W%USN(A4YO{k{;dAX-wdbU*1xA8)33g*uX9{it<N34$KgifV4c3(%Ww3tWrQ2B
z@Sp1IH<~GL@KtjzO~;bG-7$PfO0~U4sF74an<TwSQf|7}NT&M)&?yx=rDCU4>};k@
zHt!~Um!kc=b$zLH%v{%P#>_--7;GpJ?pY_c=e%{@-a0hOy71by-a4%Bhx+%Da~Uiz
zK;}`%#&|qxk;>u*L^S(tBg--zeBr*d&y1vL46Lok8bGKo6pPhkt6^^_MOy;2Bha&N
zZCwxc3gYQheacLtd#Rz+XvJ>FT}EfRi*G9!@o2<|cXcIAv@GysXs^iy$)0#3#alAj
z`=Dv07!m4z+64(Ey7x*N=4O21z@T@O(G?AKqd-|kX9!y#=%d5~W<sC|GZf(^boEBf
zSg6lrK%&w8hTJE?j*Z!uRQn`K#`jeW4EhHk0Z9FpP8i{MG~I_ylm0lICs8S0Fkk-2
zjfQYf2w@=}5e4+9YD!l`F2YR5(n&Ld-hna?lPV+{BIk{dt(ZB0<}&(25p*jN*buo%
z5R5M3Rxv1})PX;~c~hT%+NfX=5N-Jw)G@1@(e^w?6m`KK5p_kb)wsTB?@;)GbiX0$
z!n*-s^~LeL=PD#*dsDRQrMg{gR*?$td}&Ud6BiYrT`5SZ@eu>_CHMEi0ca{AXphRF
zzGkAI`LI%D`ZjEAsY`{rnXf05>|wsh{um4eMYH-aEBW?fQ1r%Q1&je%!i<K<K<4_R
zDdyu_dA=02ypM0_`4VxyRpv8$jIIO*lF<`^t>Tz3oQh-2`67aRI}9OwhWdKLC@>B;
zxcRtm;RiczFpBrlsv1<y&U80MdMMV7Jw?g(#=7DvAL{H(n0pn6oqAK{(H#6`@TcAu
z(YpZ`CSH*oen|ycEJ*H7y4G|Z7+SMX_KO{UaCF{*6Xq2pcgIv-kQ%}9AGQ+pJN!K7
zm-f$d4j&nk;%kQ|#or7L-vhbwvkpHvTEF3ht(26?pxBi?y>}_mzB}GDIeWDZ<RJqj
zweBN0;X~z#-hqqOTx2n<qts6@C@0J(NG^V*rzrgbqBR`Ft96{C(%viW?eR;P(Ki9L
zg|b)cMkl4cS~pVdWv_pq&3;VAKPK(3$b!h8+SzVT>$}vhQa!isc98}Jl4@tc<@-_b
zG>WbES+}2yveN#fQj}EH!y|b*$6>Ws=a+_MpzX3Bl^bQJ_(7Y!S|^;CEi~|bTaZ-w
z3d|rw<*WAB%l%xWOT!mAm%pj@Q^+x7toHeHKSE=VQk2wQ{<AjwnhHPHtf>$N5pr%x
z_VWJ@GE$*ufRZ{Fbx1apy}j)ACt+i?ryWa5N57{1%h0vj(~c#jVQFtK&(6OJT^f5T
zezoqX&TXBP^;g3{*{gcJ30rIV?efQ0dldvoN?&k!Ug5MfXth`Cz8%uOM;S`0>=b?1
zX0Og8otO41PUS|~DV|or2vhZ^ZEH%S(tai9@;AHvzd=OtH{?}#PTA8MpEb$m<Tix=
zCoY9q_2%L?5Ty=&&)@92pFw2DNINa<>(#^}UD$OU0PGm4{t&;kC}nLz8_PV?*grup
zMx;TTfsJL0rM<oVDy|XsPpXa)Y%W&irxLhLg=_w`R~THc6a|~Jmn`Si+@mm}!5amq
z=D}rPSK(6qujb_$z>1ZhZ4&kaHlZyXp)}3iNzpm{Q>0GJmg+mfDs&<ezr$~Zc;1OO
zT(&6gV(NWuHF9D`=qUADA)a^QOGUk3twJYSMZGr*@fo>&nL@nC`7tOs@rG3IuR{G<
zxpTFJ_|)@$BzNMZq<W7O>R05>g%;u-rsn-ZyfQbR7vfczpF6A&&pTN)=G|iW9GrtK
zhR@BN%d$Fi;>4$#2Mh73=PgO@w44Jh)Rzyj73BJ~Wid55nS5w%B4_S2aiPG;<U?8r
zBObMVk{8gpci`0O1>3$8J-;P5f0)-4xy2wFo7(>LSZX*CX>b2E9G}|$0pL{b6<fJ{
z+XA?Eh94UFMBj6y-(kZCfoo{zG5LN_&+*d|&q`d)55v;WMVp`L>PuTjRNuq4aq<rw
z_pkwvAGv%whpbj)yuAyY;vbpq&nqK0j;mNZ|9%>rR?xH}<8VH&cqKbvi*w~P_^sT}
z)bUT}5{sQ5z6-c~^%lfW%h6TTU$S0m&Q3~PeYYy32PJM_Mn4SPtCTF1R+Wq4KLK7W
zo}W#F|0Bnz&P(r3qyHb%;4V~<>TBO>sFt{W4Sx~vV)5S$ywWlss_)+|)97~qFLs`}
zkNc@%YH?kS^E7aZ)4t(wkn|n%bLW#)Q)i?;o9X9}nkl|7^)JfjNa_DA$Ez3}0JJ9B
z^PzI-I3p$c9YJY?^zodkodH$f^ITu(SnrpB7d!t<zkkWUS}5HvjXssQeXI8?>4#N!
zSlu%x-v7nM&wSv;&ToHX8vXUt;Jbhqi~rtf^!qqIYsxlHg5yQr%UHsWTF!H`a3YmV
zrE#(gtBS^^w!3y3tu4FS=$N;$xq#ccDJRMw>Bge4fs;uwEZ3;B+!n|%B5|WT8t)86
z4Zb8~gwg{{oTEx%4S)4b4GoM0MsH+*xF#l6l_KfBzWpkm!1m2NoGm*yYzr8Qqi|F{
zUkYD;;-#piSFurGS?{}}^{$N@T8+E5Y}plPGuk$6Yz<IlX{`%OPl?ceu}EtL_{n!>
zY`$mvhHWjInB{o7IB)LvTaS9n1LommTAqRz=4x4098LckXX@#6d!c760~a}E&kw*C
zDo#1$UMN<fh;>Z9V#*gB|JZ4LELCFnA!g8WE!HNXsye*zSikM?K3}$0YqEv`UDay^
z%i~xnj~ldpPX8Go2A=9%>~w?;YD~TwDOSS6@@RiywX6sDRTae|Hmu}Hf2{F}MejmW
h)D3I0g_!t%fkI6Dn?WHa|9!yHIqE+ZM43G9{{vdqLM;FQ

literal 0
HcmV?d00001

diff --git a/test/isqrt.c0 b/test/isqrt.c0
new file mode 100644
index 0000000..b628688
--- /dev/null
+++ b/test/isqrt.c0
@@ -0,0 +1,10 @@
+int main () {
+  int n = 15122;
+  int i = 0; int k = 0;
+  while (k <= n) {
+    k += 2*i + 1;
+    i++;
+  }
+  return i-1;
+}
+
diff --git a/test/isqrt.c0.bc0 b/test/isqrt.c0.bc0
new file mode 100644
index 0000000..2a42549
--- /dev/null
+++ b/test/isqrt.c0.bc0
@@ -0,0 +1,51 @@
+C0 C0 FF EE       # magic number
+00 09             # version 4, arch = 1 (64 bits)
+
+00 01             # int pool count
+# int pool
+00 00 3B 12
+
+00 00             # string pool total size
+# string pool
+
+00 01             # function count
+# function_pool
+
+#<main>
+00 00             # number of arguments = 0
+00 03             # number of local variables = 3
+00 34             # code length = 52 bytes
+13 00 00 # ildc 0          # c[0] = 15122
+36 00    # vstore 0        # n = 15122;
+10 00    # bipush 0        # 0
+36 01    # vstore 1        # i = 0;
+10 00    # bipush 0        # 0
+36 02    # vstore 2        # k = 0;
+# <00:loop>
+15 02    # vload 2         # k
+15 00    # vload 0         # n
+A4 00 06 # if_icmple +6    # if (k <= n) goto <01:body>
+A7 00 1A # goto +26        # goto <02:exit>
+# <01:body>
+15 02    # vload 2         # k
+10 02    # bipush 2        # 2
+15 01    # vload 1         # i
+68       # imul            # (2 * i)
+10 01    # bipush 1        # 1
+60       # iadd            # ((2 * i) + 1)
+60       # iadd            # 
+36 02    # vstore 2        # k += ((2 * i) + 1);
+15 01    # vload 1         # i
+10 01    # bipush 1        # 1
+60       # iadd            # 
+36 01    # vstore 1        # i += 1;
+A7 FF E2 # goto -30        # goto <00:loop>
+# <02:exit>
+15 01    # vload 1         # i
+10 01    # bipush 1        # 1
+64       # isub            # (i - 1)
+B0       # return          # 
+
+00 00             # native count
+# native pool
+
diff --git a/test/isqrt.c0.bc0out b/test/isqrt.c0.bc0out
new file mode 100644
index 0000000..e69de29
diff --git a/test/isqrt.c0.c0out b/test/isqrt.c0.c0out
new file mode 100644
index 0000000..9f54fe3
--- /dev/null
+++ b/test/isqrt.c0.c0out
@@ -0,0 +1 @@
+122
diff --git a/test/isqrt.c0.ex b/test/isqrt.c0.ex
new file mode 100755
index 0000000000000000000000000000000000000000..40a9a81e7072f1cf7d2ac705c92dff552f4b7e41
GIT binary patch
literal 13360
zcmcgy3vg7|c|LbnD_sysD+#c87}l}C*ojsT0}*yG7sTQf78vvB;MDkPwR<IPSnaC&
z0AZV$MzPC|iY;2Z^-LK@(`gzvaVIq6sVTTNm|%j3dgR#CkVjjMAL+_C4K}Wa*x2g#
zpU3Xqt5uRtXL@G${^$Sx$NA5>=bn4-f6v2#&W$cjW2(5=9gMh9-QbWoGInYSXC>Cg
zbY`$GuqCV<hzEazONfe^qNk*5MRlp?1}&qyO9C!KR3u#_IHstIkSMiRD2A*G`ewCY
z6=lrF0kWf5nU}MmU7{lCE*Zx`6_2zdmh6^GyX8_}(PQKoMN!p1>KpwRNq>u61~}pk
zBGP+-^05HE_1$!Y>TOk|Mbs#wJ2=OfqRQ?b*zx{J`R^hs&Zbzjd)11jSfnu)jb{cM
z2isOPu3F(wCH$>Ce(E-L@y;zfxl1)3wX%U4(ChH0w&&nayc%Lud6|LZT>R(ZPj=L`
znfTMGnuR~jh2N*-PYsl*-xODcG^9CEDeJ0l#LmXQPU5A=0f0XAAXwW~Bz_*8>Z4si
z@%rq5tS_7f|2FVaewwDi*K&L|8=P&RRw&;^wUnQqO@jx3`|x*`5CESO1pgrZ-V)<*
z7I>+4uW<bjCU-f;ZBpU~9r%mW__+YQhSf9WN1eMjrqMq(4gNlGFPj?Ap=tD2b9^Qn
zt1wWr6<iPD=42XI05i?r{zTkNr9;WIX)<%uUUQq(8%?FHWP2=>N?9ouZZ?ydcskl|
znbCMO&CDJUW_Ik@Y(}i4RNk?<J(h@DJ3`$tOUOz~%t$C563y8ihhtVKo*7^i8C{sG
zm^Fx|dJ+RxoDEpXWFpB1lF@j&hxLSGiIl~9t+W;2%Tj5?kYqjklF>98HpzkPO@AmF
zXQo9BLeQN`$!1L}9$`(Po>WsP9!XmJn!<@pGG#TjtZZs&ZKcKHw&|sEB-ovu9qZf8
zR)4F1B?eZLOFUh@R2Nq<)ilWyrg150XzZ_0S8GUSK@`h}i)|nUl#4Z8oYHz@UpLhJ
z@c^eaNR_KnpVkTc`oZM<B%Ewi(QUYWJ@wjfHAl&&-iFgUr;5*p(;B48avQGtNU~-d
zZol5zY`A?LGi*4mt*Qiv-q&+<appe6h~;*pZ^5A->Srcbelo+yCYN5rv3iMt8u5K(
zHZeYlvh+jZX_P0%IR75;G-MN}IR6&$G~^S<IR7)^X&Igv<@}F{r=gq};ry$_(-2M^
z<owIT({N7=aQ+1GI`Lhc{{itdgcDoAgYweytB&mJ_Xo3Y1&7|bymd#%xl^OF3>G|h
z`WPqY{FMgFC1CK;$O!d4IPB5jDEP>!v}<yVcYVZOj++>`oxw($FTtU!Rl)4L`&_%v
z9H+*}=%d{)k!W(fddWe;juWT!PhWLIKbU<vc>2AyL2WGf`qd1KPmp5pksrf2n0-aq
zza{MtuKA7bV=QCtgyr^=^<Fgl$CtcBM6_>196bH0J2-Sn3$DJHYUrt6vH|XfPHDlc
z=Paa?bIx-8VbAlVyZU1Ct=vlV_!ZC7;5F*wAMQRQ+Y1h@36`V5^x}M%=IngQN9|?b
zogCXe@kLlxFJTimf?{AOtaE{nYHw%kT;LjY<Xqq?kxO%j1J@4EVZ(u|+8Bb#2CfbT
zu4!Oz4}A3Xw;>$LX}iymJ$lj{%pS-EvzhT=cIU<5@XqnzZ~*+j2D9gKr$3vV48lA(
zbl@t>%!A}2!JhzriRN4GASuA{dAql(@OByA;AQi8XBIZYo8cAwFmPy-kH00$+XJ~&
z-s|7wz21Ua-lG@s36Ik9K1gx8$qucY%f<3`A6`>-$1y|?i!Rb&9u(E>=x$r~zy-v2
zYB+Eq>uIULSs4zT3T8cvQRU;FdjYnGcWHt-0cQ1?%tFCE%SDrdd4h}5i!pD{<Gcm4
zr%x<HTQAbUyflJ`fZWT7=cVVV_7rLu$eghJDse*xaxAk<04<+SPG$q|3<uu9Bzy%1
z0<MML#0cCW#@vZlfxno;fjYew7I2864P0Dz{4z&RpP;5i`?XbQwGT?d(-_7m8+da#
z@Mcj1|L`fi4CAyP4!o(nye_=Z@<0tWP(x_s#d>%oz{)#yBRuXN^SBN3*nY91e&tLL
z6@T@TZ^9ROi#1&A%tji<gNGZ}x_zwk@X|ISz;m71bi?J&>_ZJW)%P{v>VLnj^X7Ng
zWk2i4ejGggnY$zVlibfgK`4*>D!r)X=d=!XW<Tl7e!L<3>vfZJei0lxgKO|o^1a~j
zeGOPjVh!HT;YdS$Cu+XV;dI0D&f$j|nkiBhr?{-?Z9-np-*fqBVVO+Nk=OAh9qZ6A
zuJ5apnGfW}D%Pspf6&O$>Rh->2IzKvn=hV7`$E3-zQj!_UpUb}5VQKNc-q$=3in0h
z)=bvkY;Fr|-`Tmt+}P0>U`r!_5}8;eepA{<&jr2)hsHiWdaR(u9}0Zw#1u`TnD@q?
zD5ffD3*EQVJID<De}rxffa*AvG|~P5^cd(fpktuppqD`}fqF5!J_c<DrJ1!0bP#la
zW*rK>Lr~Ek*v7O$ueNYjg+2lqy$8~NE7~$Z*}5w4qptSZ<qtvuEXlrt{{ZA$K=X1}
z2Uj5ZefU2O`L-hY=DhqN;A4=t+2yH%|D(Wjkn{Hp)&9nU`~}G0m`2_J*)Q;a5%Mtg
zRoMrI-0pid;RG=CzYKC6*P8u#h3prR9bJPU?4CdMJX&s68ABD1yB>2NE_3awqH*}&
z7A!x!C_5*waB7;0lhU&qm1;qF>{Oj4dG&m)o`KYR4Xq4R43~jp;Tg>95j;IOP|3Lr
zBK&=k=vEnkde^Hb5XJrsL_9sHP#Krce`+jg9#T>Bj2=j+&^s)Z@p6Mxg&&i=8rx<r
z74x2|s(no11o0zMALGb*HC~q`-zDXw`~Oi?p2FGI=M@Hrs$`yLv7~-U?~rthr1wi2
zm-OqBJ|?Nt|DEmaxA~SMYjCq~g@1+r%f8m;me%H5TW<9&-)2R8!BAS@jVo?uMY?VN
z7WO506DLd#`%Dq6I69kRQhyWzp>Ih2d(>HXn9zk>#xY&H2~-=zVTgbd4Y~9RN?5qd
zJb1-oF5N@VxFDqN(p*VS%KsTBy6i0Knr8(`9FDZ3o(KucN$5Hf@%V_V5M0c&hd5nu
zeT<z#aAoWsfHFP<9ijM~9oq!V^%))Bq(#duL)G->5RThbag9h>MIFhs@_*!@=L)zo
z(Hpny%|ZBgAC8ivy;OaSs_;fDkw-7rpA-(LldkXMP}cGtAQj(3^`fU*^TS5}BI$ay
zZU~tEYhvbVk5gR_5;Ko8Ui}nwJ=bxjUjGS6>N(@nuP0_cXO`>q=HXeunP$C}Bnvsy
zroRTCo<*E7^tVZEF=vAMUlX&0Gh6jvlA4b*yY#i>;0sz06uR_7q}HItK>G9#h*`#?
z9?*Y4%q^Tr>y%mXd`TMs8PuO32hG|>FbDP5NUcTN0p=U}zmTL=O9C6x|Ad%T+Bd))
z(*K<ttkoU_8PVsGO;9@w<|&<$f}Re}jOsTMvxzg$=(iAa7iW&?EyQ$cjj%bcpCD!n
zkL{HHOKNAUMm_l<o1tN`^E@~6Wq|db6V%DdYSKPQRaW_JQhtHDt5=Rv{Zuz#FDutq
z0xQ?)RL-I^OkvM{6cs}0oO1Ljh1LOm8cY?R4dMbQ*N*|Ic8lx4`vBZ)wO+)dW-7lI
z!=ZMR(3+iGfn2(d?5a5ls?`c^Yt6qAS4UIEbtG8Z!?d|%;yTiYcIk?(dx8|Me@tFl
z{4UNtKLE8k1L-7$-{qeBY98mRG;*#ZT{SUk^?JeWsyWO#;aj%4ShmXQ?kC~0aoGl4
zR8+L1&r$T;a+!=u#JfybcCoo_)TF-~+VzzN8Rhel+R?ecAz>>CZ=53Zo(HV0A|bua
zQsGYspxV(xSPE+DDJZVsKJvoDHD1n=#C_!0!}Iu<ZW3|qy6&uWaRYb6*lwuR4l->k
z`F9=J!RjwbjS;CqL%m&eDoC0;h2{pD1>|*p3hkABhbGX1xzuzuDa>#W;?0=Kg4qOm
zDV`bb0SPj#Mq64{SLv==SXHCdR(NrPbv3Zc$~yoda9P#i*{`jg@2<M7^7hJ(I#M<2
z|8o6&Ow$!ip)R`1mU1{RuTpRc?_~w=o@%s-o)GE4I#^MsxvMHG(V9mCtIrl5JRNmy
zP@AC~Vgb)9R+3_+RD=^!oTX_Ub%f8pfpye10jXMs3ND3Z2-REY(oOSKr~YF7d@`u<
z<YT68)uNZW=sU4>c1tlB(rymyY>IRJtmLT8D;~A$Dlu%e71VIOsN#GURMyV_3PyT?
z9pGb4>zs?x6w<U$t7hZKKM~P+X3^9iAw3#y_J<)xnc-45yLoqIGMOg5j=9RT;G?}R
zWc9SAuyL^q(3|3E`a~kqjI1e>N;bt3;ZTgSj!nJcaGv5Dg}G`)V<x^Qp4b<cA1-?1
znWhzfJUui;<Kb8)VhInDY3h!qQ$+|avT!q{LD3Jyh+JvJ>hbp>SeD*DV5LySB@Z~7
zKoxTvQK%|)S}kzyI!#}r_hwFx-qouAy?*}WXv>u=Cr6v_x|e=ej<_qIrSZVhS+0Le
zf9<EEne+NL^&|R~^ZFXsjdl9m(R*DL7#w7Xdwu*sj~Tp@iKn8yaXc*%VuqXdno;@=
z<7>yG6FTZ^>`!On)|y@`ZY85(u%TqQZ;kkZ<7@2oH6r>o;nk~sjYt892KEXc$orD3
zJ<MF6NW|=?({@7q;r@)@ie%_4tZu^lXQ)3Ek2fLByf>7lbTDOu`}VDF>_eV7kx4hD
ztrP|ro=uTj?zr3R&h+qfvYCiQ%tTL5%0e%Ir$T!zE=ctyl4;(#RP+JMOfw=h_>}z)
zC42Wu8s=vFh1H~G-t38mdeN9{qdSC@H=0fEv62E!TA>JUp(h%%;-P+v0g1)-n=(I+
zOuf~gQu%Qu<N0(GQ*I9=0Q=FMOwtS|Vwrvn+CT!%Q|J_Ln7?-CPf)logs>2ghyr@l
zHKi*e7hz`NnUoc2<;pxv>W~<Syf=Qj<JKUC%Nz(rS_FX&akmPxLXedV%4l`)w<qnJ
z3Ui&J6ai7H-=q_>Y6Zrg*NCDo_%=YNB0p+eUyOGsyeBhYioWpEfUx=#xZ21s?~st~
zP1Dy7b=t*83R2-GUz*d&Nr(>6*9b^y@DT&^r}p>50cbiYXrHQ~zgBX9`H>;9{Oi_t
zG^Rtn%-<JE^)Y{Be;kH_Vp#oH6a0HIDWZvZ5o1D@v|=GLkhOtWn)&%B9DkZd-p@be
z_>&3#iNtU9nLSBNB(pC9Tg5SdIGw<p^G5{vS{Oq34E0CDXfOdcIQY45;Rjz@V3g>m
zYz|bd?o2OcdMMtDZ%LAk#(NT~9_sE+T6-0TFSM4bV>tNg`+q$wq?H+eEPJB33`qr9
zBuM^9y7qD-7<yM$_KREwIOHlM;Nx83fQ7WEw1DF;R1!5@2Co^?{u$2UmM$qC7<f_q
zm%-ugn{PkoGQd&ZfD^V{Qfh-@SN8NoL504zVx7<1tNeqPzuy(|4WvuO+5bC%(YwBE
zhIN%2qz1|f^9z!XU+F1IFA<bGP`t_?j7WQ*w0FiYVMaG$8VhBw@)gIVy~<ap@pAUR
z-(f#4;~$symt{j_Pvh*gr@SJKiB!*jPaUI4fuhD)aE0@zc$&p_`&@;=MLB7IOespL
z`r(!Q0Z_ZW+P5+)1HGsWq`tC~EPt!E+pGN4;B29Rr^%w?aL2NclD!)LL$eL8e@NPY
zpL2zS8b5^`LB(!g*zX}UXnxp>v;A*DXty6hf}P5U3|xIT<sc5u_WuqT+0!+^i?>VC
zA|e<Zo%VEo?Dq7fii%ebv~#?j_RmAtZcksTsQ9FzQ{TzI09~4UDt?vkQu}p|k#iJz
zIp^b7ah-+C-oE<2e6fa`<@E(u=)a2NRfoOGH;zmDK4mDWvQzX8hrQZ|608*lDo*7_
z*(v^~s1T<5PoFEP?2`7&IafG1?I}q?{ckR)@S3t;<G|%`avKu;C;kevt3D~)@3Mm>
zbU!YEk;#8c`-nPm1fn?GashB+q<61ecqnCMFAkRRcWJwVtj}8@D)jDaFAkRH<Oy?*
zUzTpHD6`aw5o|tI<%gz;LxpQTxmXz7q!b<YlI8x?+M_U{hCK0y<O#n4*h>7>`B&@m
z3}B_&|B>tv|KblFRUF|cxFmH`bS`6x%#GDjJtx?OZbV|Z3_HZ@ZrtH=C2<c^_iMY6
z8!JLrxnYNR-Hj&|b$_)B-53>h-z>&w<i7_L<0bYDLBWkXq`H3<>(9#Xr!2;&?(-tK
z8$0CGeWX~wI=>&V824hmH|!9vyBTJeTF-4#H+FQXb=n4_-8!thU3Q4q-S}Ff)>XUE
zjjt|hy)4G(<-fZW<5Tz9k=$+D|5dDy<V1<$X7b{6$lOd`bW?EWQ>;*Mv+Et23YQn3
zO-l3Lg|Au{9N#<W`Ypr0Gn*=}Qj1!N@xO)RQ^&uJ<5R~!0G!&r>}dC^68Ft8P%9LA
zo+JG(2R;N`!#H=z`-8fU|4ib25?AZPsPr@D@H1V1pXGjPnC_TA|HN@G8>==@E0lAn
zY9;0y-47{#Lq10-iwRUpjq^v-;GYB6u;WzSkCmS}yyNJFBTmXwAvre%Zv(ECnE&g5
zm)bYl30&T~RFj-`aUAQwEQ9lE%^py=<NWTE`1nkrPxFJyBfx#UR(zlj6s7QIfR~Dg
z_GgsBU*-7Jb!luG{kNyVk^F=IS<IQO_e$KE2CoNRD*hF~Yi#SGdj4&nMt?W(Qu|oH
z#{JYYm7iAgoW9#ooX(v61ElY|F265TjrOAw-zu*ch5tFnYZ-0uvX@cmpSG(}q4xzU
z^x1^=y{aU->eq3uFLdn33&2b5Z@nn}8*-j(kw))IoJrh}_<u=12OaTW;rjL#MZE$K
z2c`DsE(Bg`{xnU4w*xN~|E6j5cXNE!lrJLP94~SIMWQ%n+po*Q$#g26!OkIM56$)+
zcW*O0JGSqjZM^1&B5qTAUR2n!Yo_~6?0ktMEu;48+91=6B+TAeqB|5bdFsauWd@np
zr<1lK{#Ca&H!~8L(a0citxRN(BANdF{VJZomJK|djoa334w#Cga8$j}3ePj~R&42a
zTT<`N&b!yI>oo7)xN&=6hq+_j`py9LloDFVFC|0!MJCn`@NLb^+;H!fb(=fdnQiZ}
z*i38~_I<o^_i#9skz1UFxyqf2eaFAYhH2WmT<jUS-V$4=`R?Xo#VH$@i^VDwk*wrt
zQJz)&ZCkOCk3@n$Zc<Jb2}r1_vt7Jr+p#m7=cZNS)ij}7IAy7XNjY)a=`ALjI+^%>
z5H@N2c$QIQxWjU*c5zSa8?sfeL~=TxUZ>oxNM;wCqC3d77Gq-ncQGcmjTd8bJGkw9
MsGa8`rO)I3AA@s%vH$=8

literal 0
HcmV?d00001

diff --git a/test/mid.c0 b/test/mid.c0
new file mode 100644
index 0000000..c3efe9a
--- /dev/null
+++ b/test/mid.c0
@@ -0,0 +1,10 @@
+int main()
+{
+	int low = 0x15;
+	int high = 0x122;
+	int mid;
+
+	mid = low + (high - low)/2;
+	return mid;
+}
+
diff --git a/test/mid.c0.bc0 b/test/mid.c0.bc0
new file mode 100644
index 0000000..0d2323d
--- /dev/null
+++ b/test/mid.c0.bc0
@@ -0,0 +1,35 @@
+C0 C0 FF EE       # magic number
+00 09             # version 4, arch = 1 (64 bits)
+
+00 01             # int pool count
+# int pool
+00 00 01 22
+
+00 00             # string pool total size
+# string pool
+
+00 01             # function count
+# function_pool
+
+#<main>
+00 00             # number of arguments = 0
+00 03             # number of local variables = 3
+00 19             # code length = 25 bytes
+10 15    # bipush 21       # 21
+36 00    # vstore 0        # low = 21;
+13 00 00 # ildc 0          # c[0] = 290
+36 01    # vstore 1        # high = 290;
+15 00    # vload 0         # low
+15 01    # vload 1         # high
+15 00    # vload 0         # low
+64       # isub            # (high - low)
+10 02    # bipush 2        # 2
+6C       # idiv            # ((high - low) / 2)
+60       # iadd            # (low + ((high - low) / 2))
+36 02    # vstore 2        # mid = (low + ((high - low) / 2));
+15 02    # vload 2         # mid
+B0       # return          # 
+
+00 00             # native count
+# native pool
+
diff --git a/test/mid.c0.bc0out b/test/mid.c0.bc0out
new file mode 100644
index 0000000..bb79365
--- /dev/null
+++ b/test/mid.c0.bc0out
@@ -0,0 +1 @@
+155
diff --git a/test/mid.c0.c0out b/test/mid.c0.c0out
new file mode 100644
index 0000000..bb79365
--- /dev/null
+++ b/test/mid.c0.c0out
@@ -0,0 +1 @@
+155
diff --git a/test/mid.c0.ex b/test/mid.c0.ex
new file mode 100755
index 0000000000000000000000000000000000000000..07c414a312fe282b10a1c461f0421045426ca6b8
GIT binary patch
literal 13350
zcmcgy3vgW3c|P~9R=T!qX(jm~Kd={&jiJ%%fox>J@%pi51+p==JYyc_YPEZ%-Ll$M
z_hHKfY8L_H9bqD8k~W!o5>KZoDMMRNh6%<dShgV!3}p<siIXyo%VR2GG8jx5m6!Vc
z=dpYDYL#XtGd;6=|MP$6|Nrx!=e_s8XJ4Rmldfq@C7pef5qHG!b4XknJGPXw5^HA$
z^RsK%QdSPcjlZ9l5EVH^N2O^+4JqdWEu*|H0o^Y$k}eh;Q&f3Kl<F%azsw5yQng?e
zWz5R~(j#A)hqIvFA|vTe>BoNMkJKZU^j1i{6;fW&qhuIKQPn<b8~qncdy92HIO6?8
zr1b*jeF1#y`<V#kS5%P{QGXHb;v8d&D!sd)$J-~%|1YBaY>LNvR<$+7BaQJ`B0JbP
z*uJW9RhuuJ^tE#TsoB)T+qUfBCRKmb$_i>g=i^Ux&%vK~)y2s2Gy~VU_|L<i^r&ew
z@u#7hg+I-OKPKge2Ex>C@~c8B(wwN2dDS*zXX9Td@lxbrfL^p9SleAx{2VydMtcGI
z>$L+izi1l#$G}V3X_^LK%kkMPI@^z2Aw7+3DLcQN1`h!D;_pl$0A42u{#*EaO7z3a
zz)RJ8h0A|Dxzo{alM>(Wz+ark&TGJHSUppA)Y!c>jr`GR@DG7|*i?TGOe4RV<1^X0
z3O{nTg!K?^PGztHm}&O)Clh8m6G~-FlbN^gHn&-Qv2?~tZHR}`X)Ddb&1Nc_$i(_B
zGnR;DnAr=$%#N<jX2eQK;jYaa;>m>773zswqO5d@83|=VqB^_baNG(dvIC4fqlLMO
zS%avmH#uM>*npKvB~xr56-#7#S#LO=Ok1qa%2<irES-T5Db~9u70aMvlMKk#^oL>z
zW?EDs3VPCMS*>X$BCILYn{EmvA}MQ6Q#hGTrLCrxl}#<Jt+ZL(JbkI`33gj&$NCLs
ztFP6!5*@3_EuK~{<;5zdoF;j~G+s&)8v9%1)gF>v7{m6VvyCKxbfKo3Q`&Fr`-Yl7
zZs4>BsWc(wX`is~A56|q!bwLZ!-m`UQ;!W-bCh)IZ8+_7DtT=<?LjK7u;HqWRMu?6
z?dz@GhTHcszYV9oRi)t2hsGE!&aqF>V`H1qw&2i9#+k{LpU?2J$z@;STD{bd9Pv?7
z8^1V-wCoe&sh7vkasC71smsPkIsXpv)aBzxIsaSYX&W9t!udCer>-0y;ry$_Qx}f!
z=lp5nsk_GqIDedYgZOUF|CD&@!tt%(L3wKVeMjz%`-8c6f<y0J-rCi1c64Nxp9RmJ
zI>O1>YbyP0ED42AM@Fda!C|)sL&3*JGy3E?-t-ZBI%cBdb_5$~z66IRs)D)q_vpLM
z9HYue>C;^&sc7<I_0s)>9V1T3pPFz%KA1ZlJoUlapmr|!#zYp%$4M~w*qcxe=6)gc
z-;w(J*Zhy+Wh`s%fadlS^&V9FSC>3QgtzaaIC$y{S8(W(7F>NH-OyXTbR*0SjcUQ1
z`(>0)&Uu;354)cu+0_?P?~JWPi+|z%A$X12c<-(=vcBNZnqWC9%q+<_Y0i$5UaBwm
z{^Yq`<9`Ot>ZNS_T2OQhxpg-1B~78Tfr)D{{=<PUhj&a|e>!(Acly)^OSN-vOyo`j
z)XwDspAH8;-F1d^;C*v2_wZOSm%SLw?YIye-f=NF9032TVD9YLzkW428O#MHf<q5a
zu<SgPTp+mo>&eNJG{?rCAc5h)#4C1d6R>s})?j7x#m*dbhBw11_+j9XCL2E`&07Lv
z>AcmWK!nv*$mK11;GeK4HKQoS5R)EiIXgC(*ZcZQrFRV7vQIRTI&i<pZbx(5a}U1;
z|3-%cujSlpDlihmfze>jeFL(*ug6}1?!ld!V2*=XeI~m|aL@3fNx^)V7iE@UuKpXw
zDwsQUd^zfRkvit&e%$!SUWY#?pQ7B~BZrP06Pmrm4Lv-@vdaaq1|6CUyf++p4-@Za
zP!RAE$c>M{9DE!*ejNCV7jU6QuZ0E-qH6;e)*ZXZ(No8%YEi#lg<7K!5|-XZALRn)
zhXdz}D){*quriEcKNvW#th^zt(3U_IHBd#U<V6D(39#};tKl9ukGb29xocaXSI+cO
z@>MT=6n4l`yx~G;F4Ax@c(CzKmzQ-OToxn(e5^B<X}H{(d#C}!d|v}r`-knF*T26m
z_f<#kv*4+(TphVzk6rp4Zant;%;J`Rr+u$8_jzaTvyHir)=kcNJ2-R(Ywl9&gW&Le
z4cI#34W7>7NJD)ma^BA2Ov8%K;fETU$xG#<SjP1BAlL5+-AfzEWM+<Bx0ej;JHuGd
z6O-AG<>C~3)7VGUYqT2|?ur4rec$X&Bs1QSH?t>sUD_K?_7B9Zek+mj_J_jJSi+jg
zHZ+^t0^4_VcA1+xIs<H31W+;?k0h?kc<DL7+u)Gc!+Vbvr1(RCH<O$qDFpM@_!Gob
zA#IWC7JBEHf&T?GV*qp(hLI-OJ)lQHp8-7w`X1<I(2qbpm|35LHiOcv+6g)cIzTfH
ziQX9~X%B8=+Mq{UG^@fGK^eXG(Z3sYwUNNOD$nEkhS}vw2*|QqK{F`dVlUS_xB%(i
zhyUN9d|OfZ=6v}>z|W(+-Cmw9*gp*XLzMIP3RVB6Lir0Q|MfKG4JdmX|I;WBQ(KjO
zV94dVTN6eAQ~S$MZeX3+pHE1CG3n9z17UYP;eNc_tnv?4d|Q9gb+Am|Sw;QurzUJg
zJSjU)Ug6{lB`2k4HA>Zj@U~EPmgLp*wR#3p?=`ebQ1a`3Tno=&9=G7>!GY44?kB?E
z7m03_4ybp%dIFK`&p^b}g9@dK^7&8oEzL_xYTnTU2_<@mrF5~}&#A(XN?!GKGcOhE
zfU>H7Oz9-?BT^py$a&RYmnGjV%SrbCBdIurv#zfz{2Z#1ah@fT`Xv3Pq+2AtU($r6
ze<|sck~;0*wqe7~-W7-%T<>l3wfS!Hwl=r4Hs9ECqj$wNE8-1?G6HXGyPg%vw)<Mx
zH(*T+nC$kM!dbo%IBNng<c}aH<lChDU24=FI<&CMIA&<ApxQoM4iHeHBHh3Z9uum}
zjaMwD8*X~W1;Lf+nogsvYvrdg&}FY8uerIG4nx{uH_b4uoC@_rad(!u3c*F)6cN!3
z!9^Gwg>z->E`ZX%02)I6IUD8&rt7F$KTn&OOS-BV&jWMm6&mzhWfjY)Oe;UZLH7i>
zGSM2BY|UdNcQ8iQzD3z5DGO^epy4*kjqeEq)JXkVT*_LW0#b1l*$eJ!%?BN$nPfd$
z4+@y^DKT@kZ&TjbOw2sac#M}J>z>b<dgE;>sppK>podTQ0?w>3`blgdXPS+hsALgm
z+Ksnh)4iB8eq)TpmT)F$JVne>&TKU<k(ie=I}Lh!bYG+OLZI6?NMa3I93*OdM$B^V
z^?>mlF*k4~WBiT`d_x-m88m)C2AZ`^VD=ktkywk?1?CasO)6>CQox3cCx}_4Jp$%{
z@h%xyt5IZS#8^l=LG2)z?;BSW)4`b|#tLF?=gd!xCSva3%u!<%F`Zf?bdDJ(iP^$^
z8#OLbJzKQ{z+PfA%CXtGpPhLYV7>b|HL`LJNuQuBt9+V-U!dk1l|QEZXb)fyD>qgG
zD>rB;XVD0g+p`}>hEN()j(%UEbwGazri#x7u>i`Aqd=-%VjXz)!Ms-Mfj?@d@_RE3
zYKIA}xrYmoN&V2yno&@#R&ZNu-XX4zri^|lSli3Axul{WilSaxv2{NnfvX;oON-yt
zx#b5THfJD{LgCZga<t~VT$FlFKh$0G7gXz2g4<d19nJ~cveqTCR#r#%YHj&>SqCjD
zO4{LP$$PH3TzVz^T`n}c+1xc$rLPClvnu_hl#fShhv$Axg{@RLe@da}b->yxDx|kr
zO8kidR6BeCTS3iL<P;Zh9eQD3&0Nk>iR;kOee-yq-Y)#uIsbWS;%aV)v0V_W9c0>8
zvacWNV)eh15+hQAx_Y~4RFEWh2+55!3&`q%LDX0F6iuLo3#saA5}4r{#G5gtg|!5F
z$e$Um0SPj#Mq5@@SLv!+R8^zZR(P=e=?$#1@|%F*xXc=`?9<jRa8=!0c}rzS9f|tu
z|7QIHOw%@|P@V3wr3}u?ixf=4dRf7`yBc+(B}6*vuxHh2uBysP)aKT}8ncB3cSl`2
z#AYaixD(_BD@m|Y3c?5p&eF7wI>KjP%{uCufK)9<21{W%T=f*1bln2gsJ~vnfD~%n
zd7r6SwP>Xw+D>epT~l<1)SCl6o8Vj@E7@!FihFH-CAzJ)f-0^TS&U~vWbJ}m(bEg<
z0PpKt(Fh%1chKwF7ge)y<)4UXoLPS?;tMzX!YD+Vp{sl5ygRbHjT38h#PYOdkkr|0
zD4(J~efSW;Mb?x}r<&r)a41f(#-_e-I8X6q!d%tXm`yy8NbX6<&lP=%Y*U*L&kRkm
zL^z&}Si*v2ntEcHbP<B36>g^BC;W$xh>%9CUSE`+HZpq$tTeJ%=zwEMWHF=Rh00Q6
z)wbrU(~LDnU-rb2J6er@GF~}xq~*$$6GxiwxSM`g4!J6yVS1T{4YS<%k@5O(j$~gk
z9yJabS6(sJ=-1X6bC2AuSD<qc7w+@&3q4$z;pW{Y`d4J)$vuo0WfSRGUjk1}B!fpP
z?*=?Oq0QdL{!BJut?9E8Rw@<-8%l+vYs4oUZ)2ag5e-=rUcK7eh!}8aU^g?@CzEku
zJsRta7RJ&xD!y=k)@MbsG!(0w@G2VW4<!;!h%oOCWhfF%f#B$#)s0bvh?Ch&Q^rc8
zm*Kl9qRJh2nmyTG9!WNn@rar1?M+)~9Po5#x5W$6(PS#a+mntxXqg#Cghqe@-=S3B
zZb`#jjla8^w8NXd@lYQslXdij5bZ{_sRyi-KvPyI!fWV_#jQlB-(o=G@x7)DjUz~J
z^`}*6T$S-qx`}!B07?M%qdD1>8BWHt{fLtfBw;*_M)8XI8+d+9!qE`if<M9w$Whaj
ztngg8nN4KVR-}~+b2q6$q9gLw_$)|RgXk`EAQWj41UkgsC`g+iD;b1Q>);=b*Eba=
zJb5V`qA0&f1GB0Pea~}5(H49bprOe38kZOS9ST2?9WX^(_%Oh&{v?(h+2suqWxF%<
zp+gP3_&z}*eDI|@4Ng)tfIdW^lsX?iFkgCaKMa6oQi4WR4(+v41I&kDiRD|jzN0Y{
z>SMlWC>>?K$le4L1x2^|urc^{V^YMDi6X{CS;~rsNI~WX;u+@SUvGRF>UkgkhT}^m
z`PUJj6*YTPm`G+c0$s&1UpSM*obyEl`SUOeVKdYp3!}m$%;4hVwuK#hWPwt$p8`7&
zwR*CBnCYQJA3h^VHkRm3s(h%YCuQwc96rukDv$2qTkoHASwwp?{@D0L(*2SOvRIJ(
zm1OPdS}^pEtn?S_esG9cNWjav!UbDtQECClU!)}J*Zn-_m-;{99B$>3;z5BY#oq)D
zcinvbW4a$4#S1uL^i)lW>LA~hK0QfLT8lq+`n<l1J9zkeT_MguvXq?dzYQ3@<I8GT
zce$U$KsjMPLGu19IYsH^fno-VS8;<8sqdBgPX8s$==Mu}q4ZUp;;7VDaSGL6&i3~^
z^e;;PFG~H(vLe!_es=2b0Y-fy#q-}$&(WknQvEEr!Z<3Prm$UqtisQW#-#pHB`B$C
zhez`C-QKRR&Z``ej{Z_9NO`3vSvKU*S8=K6Y$1WC$fD#h$8sp8`c?lA&h~TpL8<>Q
zoGV;Z|0(1UGIssKIS(O0^TVE;_5TQkcK!WTelEUWI<CH#DjUxF|557G8sN#(Eol)E
z46aUn8Xu}(>C+b~N*>wK&i;1lKL=U6K7FC0<dup}c_;q@WNGfH`c<4uoztPv1SPqg
z^ZqNpUPhU{e)V1XLJe2T%L}g1e&q)b^`KDIui}gsrG8W?N~-h}eG9m~es%sNSSu8i
zpURBVQ~Ym`AxzazpD8Krl=>?;SGYL!{{ux-e{(^E=al{$2QIsl>rl~u;jb{e==Ws(
z-FC2q>}Mq~Qu%MGA5jBGAd<5#3VJy)lDk`OJU@37I#}kJMt|Nyvcg!*q2OS7Y@RS@
z|Lvn2D^iUb7{TU!Rd#5aI7GPQ$P%G&of35DOP1SHdym41w#$J(AP4+vU@P%g<FEGR
z8Nf=_KPns4>nL=%1MTUPi@ekQQv_VtE!A^^z0d_u{JP%`@w^LnxUrJBo2mP?UCD(V
zp}X8~hj`wFClz&nwHLb3E9$;kjL*n_2Pno%oEL(C3wKC$|0<TBl|M&Wj88q^MddD>
zj8pfKV)^R)IlyAv!_>ZCjAM4G{oGdIVzt<xyKRWbx>z0d-BS1*oO>*V&&{91u^V&Y
zgrC|6i}9)F>!{piJNH#AkDx?}<YIDhI?7y3F1jhW^C?ycxY$(=NrlVBXDg+7uj6ah
zYmV<6w0_HQ-pnS-vs9zTruP309G}|%?Hr%l{{i4s?`225_ek73!;f4c(eoV1cRTPQ
z;2Qe5ySAGPt9ASxiAN=__J<?D$<8^4o$1>947XFm497fqp5q=iTJ1-!kj^5jm6&gD
z0jGMK<#UwM7)Pd5KYua}{v~j&#5|-JC3fX0>*CsJ@KwMyd?j?w|FytNofo|wxV&{y
zMfr3;$7eA*wM0qn*$IiO=T=^bOIG5}2=oweuM)CR3Q3p3{{eU@e~wLq|B~ZV_odgT
zk^j$WaB5&J#?cw2uadYk{5=nNDgRr6*Vy($_58bT8u@#HmpZ>1<#y_sic70`J^-Bj
zbjIojNnW3yKaZ-q`ca8*mFq>}hd5r#=wO#U(T5VUPsh|K(fb0We<pdXM-@C*?fMy)
z7c%zitH4X0YyFk9uL6==q|&<*XEXgAX_NSe($0Q|{~vRCDP$vV-2Y3R%UuAx)Vyk(
z244rfl>fnL<nQJ9tSMhYx;b9r{)<p?+;&cvg;SYyCW{k92pyUmy6)U&c6My<qT{>f
z#v<<a4f&$NQC&0BZ{h?@0x=nNM%M<JW+Z9$#gjduxXI%_W+*$z#Ce^J74faQvALO1
zff<Vo64%N^=qQry@87HZ32fQO-PyEl-R6L)IC4kj3$^ed6R#y7cDKdzZtJ{r{kl%`
z&P|)P2fECzb?Z9=)J}?JA+(eV?G-^-JHQV!GjrqJTh?vv*uZQjj>QpTzu$g(SDqOT
zr?c{4vrt!IQ*qk(k2oex2bPO1Bg|Xk;50weTr4={*m7~Paz(@`c|?>46#vixY=j~a
z;7^zojz#PdqH3&*Pii~PWAm`Iin*F5WD5h9PMQ=Br}N!nnyI10_k*xW{l^20BDfuv
z2egY@Vn2qhS|#Gr`N%qjZABcrSQX7dn6(%ar@o6Zaag<<lZU`<<Dt%*i)cRg`+ort
CLU(}x

literal 0
HcmV?d00001

diff --git a/test/sample2.5.c0 b/test/sample2.5.c0
new file mode 100644
index 0000000..0a6bccb
--- /dev/null
+++ b/test/sample2.5.c0
@@ -0,0 +1,7 @@
+int main () {
+	int i; int sum = 0;
+	for (i = 15; i <= 122; i++)
+		sum += i;
+	assert(sum == 0);
+	return sum;
+}
diff --git a/test/sample2.5.c0.bc0 b/test/sample2.5.c0.bc0
new file mode 100644
index 0000000..6a97909
--- /dev/null
+++ b/test/sample2.5.c0.bc0
@@ -0,0 +1,55 @@
+C0 C0 FF EE       # magic number
+00 09             # version 4, arch = 1 (64 bits)
+
+00 00             # int pool count
+# int pool
+
+00 25             # string pool total size
+# string pool
+73 61 6D 70 6C 65 32 2E 35 2E 63 30 3A 35 2E 32 2D 35 2E 31 39 3A 20 61 73 73 65 72 74 20 66 61 69 6C 65 64 00  # "sample2.5.c0:5.2-5.19: assert failed"
+
+00 01             # function count
+# function_pool
+
+#<main>
+00 00             # number of arguments = 0
+00 02             # number of local variables = 2
+00 3B             # code length = 59 bytes
+10 00    # bipush 0        # 0
+36 01    # vstore 1        # sum = 0;
+10 0F    # bipush 15       # 15
+36 00    # vstore 0        # i = 15;
+# <00:loop>
+15 00    # vload 0         # i
+10 7A    # bipush 122      # 122
+A4 00 06 # if_icmple +6    # if (i <= 122) goto <01:body>
+A7 00 14 # goto +20        # goto <02:exit>
+# <01:body>
+15 01    # vload 1         # sum
+15 00    # vload 0         # i
+60       # iadd            # 
+36 01    # vstore 1        # sum += i;
+15 00    # vload 0         # i
+10 01    # bipush 1        # 1
+60       # iadd            # 
+36 00    # vstore 0        # i += 1;
+A7 FF E8 # goto -24        # goto <00:loop>
+# <02:exit>
+15 01    # vload 1         # sum
+10 00    # bipush 0        # 0
+9F 00 06 # if_cmpeq +6     # if (sum == 0) goto <03:cond_true>
+A7 00 08 # goto +8         # goto <04:cond_false>
+# <03:cond_true>
+10 01    # bipush 1        # true
+A7 00 05 # goto +5         # goto <05:cond_end>
+# <04:cond_false>
+10 00    # bipush 0        # false
+# <05:cond_end>
+14 00 00 # aldc 0          # s[0] = "sample2.5.c0:5.2-5.19: assert failed"
+CF       # assert          # assert(sum == 0) [failure message on stack]
+15 01    # vload 1         # sum
+B0       # return          # 
+
+00 00             # native count
+# native pool
+
diff --git a/test/sample2.5.c0.bc0out b/test/sample2.5.c0.bc0out
new file mode 100644
index 0000000..e69de29
diff --git a/test/sample2.5.c0.c0out b/test/sample2.5.c0.c0out
new file mode 100644
index 0000000..e69de29
diff --git a/test/sample2.5.c0.ex b/test/sample2.5.c0.ex
new file mode 100755
index 0000000000000000000000000000000000000000..f3055ed7519dae3173d756f26fde35ef3eb3090e
GIT binary patch
literal 13606
zcmcgydvILUc|UhoD_vQ(p0<%6;00u3(`fa;7Bb*?{aCXC8H6pjqQ$vh?Or`#wX4~^
zYs&-&7lF%;Vq!r``NIQBr)_9TG73pr#}F*XfDIuXlTa`zX*>*0R}fkU7)HaR>hC*`
z-Md%22{WDPnZ5Tr-|u|icfRwu=idF!xi`?c&82BfB^UcLBhFv$=a9HFHsIx~#M+t8
z{Ok(0f|UaC;PUelq9Uj0lr*iVF6G>yC6sqbz~vViNtX+bDXKgqO7-QEUuFe8S}j;b
z8S`?0^vKr<Sw2y{hvSM4NI#A!f21C<q<2Q@osoKqPLg3HMOFK#ZFDV{_LjT+;E4AV
zk=ApR_XY5-3s!{ZtGF0rReq6?v|GZ8D!tpFM}B_Mr2K4(4)(UKZHh)3ql2;3NaIL*
zTVvZ=Uo!4%<^EH%sfjn<vWuHm{ZT6`ssUYss|?p7T!a%wiN=`HJY1LHs>fA_i<(w}
zi)=5(rP_e(A5Gcefh5fX@=djc+CLu`rE)>|eF5&3xE9(lXZ8>PFT9+o-IG`JDmc|v
zdjZu`2&X>q+6864p$L8gcp*FOMercU7qI$DKXSSBJhFxCd{hL#1-KWNGu;Wm>jc5y
zkE^;s|NI7cp?Vi+B>($ay>1UAa%qXgn;rN$h!nE(Ti`XAIm(V2>-USuzgz?_E#l93
z5&6F@f^X*dJl3Q8k+UT{N8#p#g(ruFn~hL!JYg}z=pTy5jHDGxScbujoAw$z%>Kco
zWhS;nL&>C>B-unNW(^LR#$ap^Dt#c#=;+>VM9hQ~?%uv78jqRXq28z|$_kelk&qP<
z)sf+(l^Bfm8&*7woV})S)C|Q^!;E~UN4<@iBdEJCK5WL=u$f526Koi|Rv+sNN8?G8
z^_!L%+sl#`oJz31eThK}o)~06Hg7027-NP>9-yE%nUsDQW-P**LVd}mP%M%#_cev%
zsYKFjYFXFR(%MSP&vnI1W!JD9J3BUSF<O1CzIEtwE%(xpoLChI*LbN5Im%N~ca8lB
z9IZK&QcDN1M7Y>jL@^tY&poXn_Vq~3J6db(^Ybw&PwSq2O`5RbYW;%<d(wte9V$)Q
zaI&S+F&l1Q%cg8Nt*a`XvEj7VsdUzc*C-J5oDHWnS*7zf+`e9BY&fmiDqXbUw8pCx
z9Q~c1sX*su=AnBsDfC}(^m+Z%?7G@{UN*aOA?{Tx{KyeMKx)(HXOULUBc4WO`Yh*N
z#8VefPjUW}a`4o()03S4fOs0R=?TuiOFRwN^byX#O+0n^^g+)5ig@bk>0!?Qf_R<y
zJ)D1;c<S=$F3$gyc<SnDKj)7VUqO5`_?GuO(yx9cn0`Ar`p(6!?vB$_{sn#(Jbki@
zlhdzP_*teOf*&0@LVXe(^Jp*-d|=9Q&7S35a>SmFRbgS=6>Ow=7aX0b45lyabL~EL
z4E1rPk9MD+qS^CRD-IHNj5sBKa>fn$VEU)QlkaW}YG;G5&ZMAxoCJdp{KEQZcQE~;
z(0^O%AKXw5cUa2U1<jq$9K+{L@Gsw+BqF^1Q1`On$xq$E(f73A`g6&KzN!^lVQzFv
z3#L8)hSJ%EFL3!W&uNlfe=hNMW*u7mqUU?yHEQEu>^>#y3yy9GmZC!IvTTzU?m96=
z^`$S&p4~nDC(x`~!KSYSMaPg^@TB^5V1`<8I`A2NJ-jz>Eby5Ym>I==^uT9#f9>Mv
zff;7io@mBvF%$fs+1X(FbY}AN+1atc%uA<ocAA6f1DRktbv~HhbuKuz>wIu50RD9n
z|31Wn>A*~oY^4^X<Q&280zN_WF*8g8+@SP|tj)mMMOcHC?dLnw&>7nftKi3gLz-+n
zN}AUPGRdsfZ)UA7Mee0js-0PjQnM4Km@A}*T25!~$m+fQnbJFkuDW+OH$k0xP-J(a
z+uG9yUV(p8V}V!Fp7muIow2}FFzs1|Ebsr!v(P=<qY36XnDwVp%LMlnFPat1H+hkD
z8RqY+7{6fp<ndLg>pAL}6Ft=HPs5)R_fqab<j|2Bp?MQ=qX#l9wMqbMFg)qNJ7a-&
zFc}|$f`C8xbar<72+YC9%<+eTKR1aRHF_f-Q0m&ixlPB8arESIs#?_lD<GKx2nkDP
z&`0UOYh!`e@+ufd1sIrf!NY;ql$BS76<R*1q6Vr6l{|M|)@){ty3q`79`m^!^I1N$
zAD-%?<f~e7KWvbdXv4YAbfn>Y@NnbxZZGRRymBoO;F->})o`&heNO`>#T^ZJ`hVBn
zx#q&A^yeMvkAo*acXy=U$ej8FE<EtQwY=ruX?^TWf6|%$cx(E<H_a}5D>!-z&)|EB
zcY|YhG+-%-HdJ?xMH=cmk@I$rSq-Z@$L?upCJ&W=;<2WGIr4e_CzqENmRW0|e2(AK
zu?~&l`JS0g{a!w-Vy(*jhI))v?c6&z85$anns^WU!p+yM^R+gv^R=wM&PyLN3Cr6T
z8jP9|>W2V*L|o^M#Vv2hYwe3)mGp+=q&j5AEbmY#JTMqD=dmr##*V<wU7g*=wvNsK
zTNwcqPemiKt1K^ljd&Xz68p$FQdWw8ig>N~97%^9|Bjg}q%Ct_PyeOLaZRAP!=M>Z
znuu)}@<~vd&u2lWKre#+473`v?{&~-P(LO~4`>(YFwIIN_3qT}-odnyYHiv4GW`h3
z=>IHTt5HXQ1UFSyA98J3Q0nqSLX_PAxC`a<jh-v-$d=y$_-iQNkypMwTYeAlNtCzS
z%agpA*L@WD8I;pYENg#TuKZcRKPXb(fU>u6J&y7)wN?2a7<IdE*Mt$k)cz8bpGP0j
z%UdPVUk>~n@HBz9ecf}Y)Ts22mVLwZko$0ntEUp(kWE;2cv66qS2(#s$w}#(j}pB#
zC|xE6<_k9a9Z&xeDXITeC4yysm!Ie8gMw1f<L9)L-x<5;61@5ryHncdeG8d-DM$Yc
z?TJ2MC>@mFPpXf+QeVv<`cR>yzOCBJ{G3;~E_u~w&Ac@C|5w$IsTrrDOsStspdUG}
z`s<?PpO)oZ=>OrS;wa9l4$1#lk4pLvlK!)#FG~8lq`#H)V@XTP{oLeYNmohQCaJT&
z8@Ft^&bt~>jy2x3zO}w<y{*kHt<Bf8T;pB6!;E-?Axq$mYuB(m*>+zG`x2~)0Tjb9
zF;7&^A8=<);D!9d$O-w3l)p{Q0*B5+;KhX0wX2ZVBDmd$t58KQy^Q_<xJx|v1IJvt
zho&wF?#!jRlAM%2i-9kB9(m2P7I&v1?Wo5~g{4&J8jpJR6IUj<0W5`Zr-a=GP<pfx
zu9HX3rtBj9&*=6VEk|zYoTmQ(4!B)qpAso4tD`cl^hX@@d;qRQ`0tkf-wXTh!-Hff
zMcIca3u|s@c=S^JuZ00>mg{@Cm9%^tNZEIgJ?E*?e9+OaCfRDO7X?iJFJcyH-=MsH
zBQc9PQ>~wXtmhKW)a$QPNj+!0IxSqDC7fBU_mkLC&NS;SRI-dS?fTDQ)3cm2e*J9{
zyNokI{aeJW;7pf(fyBI=>CwMT2CmThAh1XOD-vtaq96nMMPgQQuZQ*T6LU3ZEd5O~
z@Fi^+WJG_23^Z%oz#P<nPGT)uH<<hMSE!^_O8^_y4-wO*-3R7D{nun*qxMyhBl<$p
z32KMIJf<%rrh_vR`W3|7#F;1cHN@P^nMu8wm`<$`I>+=M6LSmqZA!mD^>k?u0(%}W
zS1fm)AI>`ou-<c=8d*_E($7$qRs0<ZKTFNkE1sbIR4?FaR;sT9R;trb&ZiM3w-+2j
zhEN()jy|T)I-rk(spPXkO!-oM5=fO>%>3&8Ft62C!yh$M`CAqSwWEaAbaMeR=^F2;
zIS#7T3a+c>E#m5E%DBdZwS7!mL@KWF0n|$`)w)MW;L^4VKN!aN`x#U_dN;%t4kHMo
zUHTnvd7$PYE=oP;8sAfM7u9;H;CgDl&N*RQ)_R$&mDTO0!c`B-I`})D*YQL0o@=g>
zUI~9!3C%rh(X~{iuNTr&Qo90qO4`vyGgR10g+H59Sbc_M+NhBJ&r;&=eo*b`gIEe`
zE+MD5fP4JeduysVOC|2{$$J;`KD|l!(R0brd_P%Wm-9PgyCGIP!n7{3?;7uB^^Zu2
zBT|C8dZ%bqkR*2r$*nXC$m)^=>MQv+O`xR<sp={cD0i=}+rup^oljsj`BU!pN|0$a
z+RDnh3U}qQ${MY<tQxOaR|Bi4_%a|kF0)vnOMKeKCGN`WDz2~Ss3TE-{iB-^^v24m
zP#3*t3mIIT70H=|^^%-*PZjD!ONew}9W1NU+?5p-sLi8+)fWg0o{qY9h?OgY2&-oW
zD@d?H3c?5p&eyb#I>HxR&N}LvfK;wR29LrjxLTcS(p5`rjUt5_Pu6E@RxMhoi?$P6
zXV=Vj2I(z?o=tF(k2!noZ>ZN6=l9wr73j9wGBQvvvKY^t$i^i%Kxe5P;C)T69v53l
zy{>&)xd3;*iACeg?Eg`GVTd4=yVNUg@%?*KP5sPOq6P1wdud;(e)$F$!iCyOsJqxJ
z5T9eTc#IMeOxBc2CYqx0a41Rv&8GfvI7_jiVzjMoOvUbs#rMVJE=zwb)wI@!Plu+#
zSU8%Bn8Jc&ntBJVWFCU&E!<2IRx}4bA`BZb`+NiR(P8Z$Hj~KW=?6R*M;6l@UZ^a!
zU9ENQI!)i8_otqjxVcsTuKv<96D=Qp_{>D}&9~F<!*O@TQ@l&`$4m7m^nZPGBK4Af
zzdo*i_>#WCb!DBtXySHP89E2i=zcH1(KiOqq+-dz{un-$2r<IVdyPTbH1cl2cM}@w
zZ5*;vF>^z|88Z`uVX&b@cwmFrZt^zvdmG{XhVc6J-bO^1L&JzQ+x}^y*~aF0JSq$)
zQ$zNMvM)T8@|lqo4Z`{+{KpIpg<`QL1hDspEDAJJoOxj1`o;l7pyMg4$ug7ZU-)Q<
zpmoQsMsKQ*2da&DG-Aa2`jRFZ0X!MnYx08R00R2FZOOsAO~YbDsPB2SKheKeQaB1V
z{-@NS1>fk4hWb&NtfM!CU^=Qz++`*NnlM8VUPB-LI>$moCIb?U?l)xQ9h(B?P*O$S
zRT+=e8<=r-p#<O%nv+Tx;dnGPgfRSY9LAGq6t9^7wa$)DcpwC~;E(VEa?~^>D?Ar&
zredk28ENIh+)Zkb=!mQ}KH4#Jgf=^dLy;CiphMg>f~*x}9fL4x9kCDI-0gs-+*HqX
zC2b-YG%#&z(f2$@6m7w-0}VyC*W}g&^>-+IS85o9x||OK+!~7GVI#Y|L85H0MH?$>
z*v0k-iSWUf>NGfU(E!@#Kq+-Td|<xh{vj9uwGx63s2tjBCWe_0Q4rI&X>&)T73ycc
zflzXQ`6BycP!ts1>cf)Y+lxst7?0&K2Fem<G(-wAHypK?kM9=wEb4h5-!t+h;(YVP
zXAT&B2}~qoAOc;*F<;n<W6t>^g4`KKA#8?*2E(W@4l}s<xNTtvdpJ;v4^hMhqGoTZ
z-v}i_v3_h@Np>*S7gzaEZ*Rift2pc?n<`JcPyg4nj22~FSn))1`6U%(xggm)$=cJE
zVCX-y(qHcKgF`Gr0$$GLZdgO}QVTf#M@pi8m!IeSQh$<jc(F^0&jy|pe=Rt?gR}Kt
zbos$i{D2eIBPrEEzAJtDuAsCL7nb;}zKTNxNdZa49Rw$As65ddanXN%Sq)SF^PiT1
zj8-YE{8e&_(q9RRAt+wO5i(NWEA^fJOPJAXm~1QkY}|qd1*ut(IsK>FKZJ6-zKVmi
zOMR~#aFU^ZcJ?2|4M{}0n~nSQNI_K(M0isDpm>_WcKu-)XBd|HXO*C&O21n22ORqT
zaz8KemkWV&N<pyMeM-r)QDp4(t2k9XJ|-ziA{g8q=2#jS>8t)<UFiphIHXj3gLAo?
z>OX~yBV*Ukol6lCG(YUgS^pC#wCnd&`MG#cmC)Ksg|_6Z{~u9CBJ>PUQs;IiWCyE$
z7NxoISNtS0c758hqBQvh_5TI3c758hqBJG-o&GxcXCX^-Px-InUT38Kq-?)@oU`*+
z7PA+iYp-AJSC7=90LfXO;uU=vGIo6xcRVQdN4S;TP3bB6ONahU?H(>XBlVS^%7W5U
zJjE&qQ|+g1OG-Mv`zfs!Bzt%2{|8FQ|K_ZO$SC~{4qSF8*P){S#HBF1Xh7D##|{>d
z{kQ-|Dt|Ba|5Obefk@7}TmYOH$$cspo}V}h9W1LZqJL~DS;2mQL&3rFm^)$4{%eyj
z&I&a!+*;08Wv2$XLxf9iS|Jp!Qi2YB$?~?VwMSt@GjiaM$pOC{*g9Nl{MEWl%VeSY
zC+NkDbjVTYa7PFgxx2|bmw!&F8>^-IPOulc;fdenw?jPd#;SX<AnwWT8`zcHSP|5F
zI3F*|#_98MovHU`K3>k$`!F9ba83yVZoDDY`zv35e)imFK0f!n8I`;7)=}?~e0ePD
za(&OotC?E&^YNPOdY+HhVtw9Yhj`x2>agw>!WZJ4W+8l0_I!`sm>Z`L)jF7u&pii7
z<!;+Kw0wDlC<-JulMkn(%+2U)c5ZTKPrK%qx!I-pfaKilvN<@-dlybYM&<W~5}@a|
z1n2P-uP8nK8k^hyS95%B|F?5|ZvO{>Q@uwV_5QiUryMwa&yhTv=SMD=Mv>Lf&(-q%
zpq}H0C0;LawLVM$Cp*IqJH^`j6t`2uo^;HUA9K8#Jyz{UE|*Rts}-1UzXVS8o?qb4
z2_rX+t584B6v4%NVeUMv=MAr6M;(5yDT3bsT*I!bbN&Z_7dqG41zf(m^Zbu+9P5B=
zms+!}BJu~6ykmUtm$)-d{V;HEUX6nJRuP<bgbMk2x(NOT$LFqBzb+zwu?Sv;hSy?z
zow58&CGHH8uLNGGU7LW{*w#t)UEEbf{!ZY9&e`tccIuheG5={_jQn&)^l1yJ#&t>d
z+^p(y+MytvNjnOk;CL;g17P;_U1^_=vr(e|5tM#H@_0^Fh+Vbo1uidS?Dsc;7dj7o
zLE2Xl%3Gw;2NIu<&o!+tls=VqoacwJI2W8J3xO9pKfJn#{0&9$F5rdy|Fa_UbV9Mv
zy!|T2=g-+kImqz>?`y=AqqbwjES#{CRthJM5NR~Fbl<we=<L|pO{a^Et$Ex{Te3yD
zlf;HKWZ)!B3?UqKgxCfdMkH?ZN8`PrsKLWTMkqDH#JL^IjQHBFX>MjzU<^h^h-+mc
z(iBMz4eeL{1a8^N-PyKd)AoR&IC4kjbG7i86tBe*?zII0Z|uBv^QKPY)@|E%2D**z
zO`AId)LIIFAs&?o?H7?-JHSs|Gh^%Rw`|(pv4z==MT=w2e!u-hu{_5dPNu}^YXpYn
z`E6lG1zp8a=r3@nn@&^bR{@g+j(PI~*ZG2T&Q#|YD_2C6lgCqeIPwo27e^oy8v`+e
zg1LxXLR1ZX{<(6;>G2Q+wN=E{Fd&;7zhvB?U^<;f7qd={EcPA326ZG4Pf|xF`or?{
zcz#RlXT(*jL{vK)m#3hwh=S*<qB#iC=40YWdOjvjvgc#+ggWX#RPqm>ju)E)ydnP!
D5zM_e

literal 0
HcmV?d00001

diff --git a/test/testif.c0 b/test/testif.c0
new file mode 100644
index 0000000..173b796
--- /dev/null
+++ b/test/testif.c0
@@ -0,0 +1,8 @@
+int main() {
+	int x = 4;
+	if (x < 3)
+		x = 23;
+	else
+		x = 32;
+	return x;
+}
diff --git a/test/testif.c0.bc0 b/test/testif.c0.bc0
new file mode 100644
index 0000000..578e4be
--- /dev/null
+++ b/test/testif.c0.bc0
@@ -0,0 +1,36 @@
+C0 C0 FF EE       # magic number
+00 09             # version 4, arch = 1 (64 bits)
+
+00 00             # int pool count
+# int pool
+
+00 00             # string pool total size
+# string pool
+
+00 01             # function count
+# function_pool
+
+#<main>
+00 00             # number of arguments = 0
+00 01             # number of local variables = 1
+00 1C             # code length = 28 bytes
+10 04    # bipush 4        # 4
+36 00    # vstore 0        # x = 4;
+15 00    # vload 0         # x
+10 03    # bipush 3        # 3
+A1 00 06 # if_icmplt +6    # if (x < 3) goto <00:then>
+A7 00 0A # goto +10        # goto <01:else>
+# <00:then>
+10 17    # bipush 23       # 23
+36 00    # vstore 0        # x = 23;
+A7 00 07 # goto +7         # goto <02:endif>
+# <01:else>
+10 20    # bipush 32       # 32
+36 00    # vstore 0        # x = 32;
+# <02:endif>
+15 00    # vload 0         # x
+B0       # return          # 
+
+00 00             # native count
+# native pool
+
diff --git a/test/testif.c0.bc0out b/test/testif.c0.bc0out
new file mode 100644
index 0000000..f5c8955
--- /dev/null
+++ b/test/testif.c0.bc0out
@@ -0,0 +1 @@
+32
diff --git a/test/testif.c0.c0out b/test/testif.c0.c0out
new file mode 100644
index 0000000..f5c8955
--- /dev/null
+++ b/test/testif.c0.c0out
@@ -0,0 +1 @@
+32
diff --git a/test/testif.c0.ex b/test/testif.c0.ex
new file mode 100755
index 0000000000000000000000000000000000000000..10fa75d0b68a6009e2565ab8d95390b381ee8320
GIT binary patch
literal 13313
zcmcgy3vgUlc|LbnD_vW*w32K`jvad;isJxU$%<|41e5hc&MJ`|$FXOWf^)T6t)y*M
zyXrn<C6LBNA!J8&uqi2-X$IWR@Ep>rEgg)LCN?IRK<GG-p$;$|H%+KS!eB5^HwmcU
zcOJWUuU0KH?evVa|M|cFasKnT=id9@^I&)HZl7fdQ+(q6g4_u^A|drF#Id!K)z}tc
zi->rqSSxCQ1n?h`5>iz&^t5(usIB$<pf#-fG~kP<il(a-Ck!<alCr&WiRh}LUujgV
zp+bZtKs&}Nf|3R8R~1eBbR0)aJlc*d?bd6%^;+N1X*xzR)bx*i<Ns>yZ?!K1j(mhf
zdoNQt7QpwtmLFujwSiiskqUZ1azYqt?Cyk}?4OqZPsGI8kxCA1-q?{EY)>WAg^Biw
zEt}gnZw%)$;Vv0JyUi}%y7!=TX~v^jH_!xn75>@wGW?S_LyW2{i}1S~|10oMJ9cd`
z{y9}k@XxjI`;^kuK$-n!Ty@%zYocD)P2b2a#ea*&tC0r)hR}m(bAN^StKdu@-2%oN
zas#@)Y61MSz^nP`SOC98;!8!}(g<qh@+DNO`T5}jcsKA6{=FpzAmjzXe+d7<D&z1R
z@M`T|mioV#>+_7;oW_rM@MjkA^8)ZD(JG7|Gk4!#K!17x{0-niF+ZM17SP`+@x|hN
zT?92(!SxXD%;s?g2*(*7&7_@NK9<cpj&N=pclIZSlev5%yE7Hb<q|m&?{u<-bUrzn
zaFXd{UN}P_!s$7%#~Dmyweo>IJ5!l-;y`R5l~A(k5@#@$kE!O|j^n9BEL|8AjEooN
zW|5dcQ$v}tL|Tj`ve`^ljAfJQ{E!%mr!u*O7*6C9>2Z<EBZjOPI-E`B(Xc}Yx;LY-
zWLh{0HVDB$E~lGy66rzF5gW>N#L|P=#Nm#3rjX4gIyP+T*wEF*&ElqorFta9t-U=v
zb~;_*uJ9%dtfjYjUcIcVtC%%Q^TaGErG_Q`0(G;86s}HU`|ycfR6x1V)GsOb8~46p
z)=vO9_aIZQXnpPz?)^jP^+}vIrr0jry`KhMxLKpLX?5Y;=S&H?aPC2-tast2kCb(~
zaQF4L#f7`~v4{)j-fBv8@(p{27w60`F=8{@(6{L1H|(=>o8DX$5_8wRjo-$#5!A?!
z&}{bN9LjaSB+pTvJums6lIM`ko|gP8<T>QC(~|!od2YkACnWzp@*K+9W0L<ic@E+1
z5y^j@JcoOBO!BA5+vNKt|99j$gtPm=gUYhuXFbIi?}-*)iB7(HY2SgKbEl6iiHPXA
zGsh%3x1v5GW->7N)v;sjdvq#b!BO<1r}MtK^Rny5+~uT$fjby&=X!}wUTKIHUpwqO
zboL}0qtUMpJxkHt#m2Qqh@B*7^v_)JLqA&ldi2asZ;4vxqc2`5!1xpuqaXbqjHAVG
zD*IQo{gG||X@`U;I0s>Q*Hf)QH2Wv72T4@4{|0gN%v=8G<m*;+>xEp~P~+NNa5s6{
ziWURUK{~hWIjKJt_$qa`UdX;Ovk5)^X5iD{E%xyPhtBHuqLbUAwP-NErqrcn2cHeG
zz2a+g=MT-k8<vf0#q7197#N0iuKR7y<KzQx`yN~bhWGQ=>rjCoG1dL{p|eU45qCz5
z56nc1g^SVR!3)u;gBPPy-Qa%^EuNcs`L}a((PH<N=;Q-eL}3La7YH~1Zf@>buB(~H
zsW8=j<@vL0ReQSvZ<pW=UiMt<Ey8AM54?h(0uF8Zc!riYchBTXUY`b{yzW4)<S~f&
zlt*ouhZNIFJG63c=An|^;*#A-48?<oWKbNmBdU5A0^Cx3;045YdaC<{VxXrEqd(Ps
zI$8{DMpcgQ%+s(v+Gi=|6qv1N3#%0OWht6d%qOKNzXt2`Uok(?;+a$H(AF~?m}kdu
zv!D6l+vw4!Ser%-139BCv*acpm=T3_3h2Rr7Q0`a>V6fA?Q<|t@VlTldkpRn<IJfq
z0e|LO_+h7Sfdw35XuB_LKY3oFXHKzc)&4Jm%#1)ud78n<6uV!V>VB!Bf#=_Xmnls9
z(e9Uwmlu^6E+013#)i<yGgoxWiIUS*2v54ldfkHcsxQjRXNOqAjcXr*4|++pUFa<i
zwq1-KZFl@3(R=i|J`&(Fy~TXnrQYI)+c3o+Y{S+4#+Ke2UfW*$ZBOwx(KEmG_Z0tm
z=B+mo!bg9WU%lZ++~<0WZ}t{{v#a>??Q_e19GyIiYwY#xPoq;GY{OQOY76#G4YsxR
zq893%%D1iWo%(QFCnGfRsmqpc3uukI%XfSsZX9#@W%@dO-NrsMh3ogqT;Uh`VpMz4
z%p6CIyKng}*v;GZO`&uqABu(YhcnmbLh;P#SSm4^NasVNvG_<bomeb(b~^jJ?>g9f
zz}el?+byme1e7VH2GiH)L%i>Y+B_PE<>-mBmb~eQ@|k&>O0nckJ~7N!vR3(T<~znB
z{Li2pW1vAyAs5&^pwpmSr{^gLy##t0G>BF8JJ3#0uBblH3D7aFHWa=iuvqu+7uH13
zTD7FkJ_Z@z^Y}l8ws>KP?G3?)eLI)d#-N~O?*pBHe6L&X>yZky{UH872l@UA`JR&e
z!@w^<zQrximHj^f{1W8yJ;JoVyDWbi@*gcAZ-eZ|`2Qy4arV{NcTf8LcU#H{VD`TT
zavRr}`+0=+t7*q;4@BJgr-6rSorcI{-N${8`j6K5`WiS6|JMcEk}Srrmp3>=WARcx
ztFbgHBKyWF-;-F(^R;;fGVe9qF<2tL2!6}YV8MXmYbA=c<x@Q07g_e{0L;5ytAgeG
zrLIcC2Njl!`uWd{HP<PNS%-WeVc|WG<zj6_QiD%x-i&>xl&b53RntC}c!vBjt&ee(
zycw@cn(x<g>i&Nelc(^u^}D)=gc@|7XN{&|P2aESUQO@OG_C0$Yx=0BUjMi5+<8-I
zJ+cNjgf@mZhTj|N>fF%PdE<r~L+ke^21C(UUg7N<Zx9u_Tf!T}d*Dq?m>%}UDp<KO
zcv}Lm^dCY^>95!NcbZxE*c<_0BQe{et;LMQIDsk+`Rux@A@SD)@QNjTc7V^gAXN8R
zzN93z)0pTQ-ruaiMoK)6tS16o4puFNzT+t&P9uOCaVJ<E!;J`*F?fUDNeeDp-%H%M
z{5l-V{yduW`|5s9Qd7tLoZqVbq67m!0av3U_Unjq@b5n=!%edKD68=HA0Pp{)_zPm
zU`Kp^g`b)Yp9fO+X;d!+8m%yF>@{ElL2Cd4VZTCVx%F|@?VHK0kWA42d*}wPl1!`p
zZAw}t6S9M3R!U~Q{Q;_7EtyXHI!abaW{Z6WJ_D;I6S03lwKbB7+K-W0E17-v%Tx<V
zrqAx8gLhg(Q0TWmM71_61u|m4N@ksmdd&VTnRiJhZ-18#-eZk{OxPczgHCHVm?QQX
zs%@|ifcc1hnvyOn3vAN9pUh_KBVZn}U!;RuEM`xR**0yW)=@Bz+l^#;By+-ELFP8e
ze8Ikk%<Ynyw%f?`TJ5koX+KG3uZ-=q{W9CxXFUS!8)DI~DEi9ce*oATIK@uZ`v^V7
zs;GaQ%1^VqcKx5RetH0KP}JI+fYsWZ$|am(hQ0J*RETm;CHlBQTY!EVOoLnvYLVC4
z(?A;iYOM!H;ofQvVuLj+Ro;)`(0YPsQ&cL@rSEuO(_e#H&5GOCbe>!bmyGXtw0THa
z%W2{}K7w|6`)&Cc6|NcAmyf)YOV9U1ZP{2p3*ncf=aD9M#kz(g=R4lt<giuE^)(%l
zobs((U87qSEq7A5?pwMIUQ{gB6JKHU(sG@SO2xZQS@w(N?`D(X0jk$W_*=?3T2Cy0
zgTgKf>*ooBe0H!lQ^+?~7WtF_YCZ7?wt}X51|=2z$De+%$uC(-{KuysTp`EwHWf$T
zRZnUc?~sm!I0Uuk31RJ{f8X%~qV@Y)<CxaqP~W9G6{Y4urMZi%fL>P)p}m^Va{*m#
zv*|`EEb>p_?U&_h-uSH`<5}b%)1a`Ltm_(D>irF?8k(%;x*%?%zBcs!{eTd-uG;V%
zwr*MJZ@8)c=K7u%szzErwPPig=|*8tAMd2q9Ihy-lwHDmP1$>(5pAL;Bt0$Ivsx^F
zLw!A33s_+7rOHE~r)3M&78!@wq)UqRRIJyEa6-i;metcjeCazxPfG`ohIOdmQs8|k
zSnksGD@~{Ve8)-}GzCgAvs=yRrLFo-w#99!21DB|gPlupd012(wH1}4c2zxwt+|d3
zx2h`Uv#fH<%J*TUuXY1+teI){;TsM{-FmBGDSqW=AkMSMCvy4ZP&nQhjzf;J$Y<_o
zD{e0ge`0(aHXqC4p6wGaKt9jK!dXJ(5Jg8Jm+eSp;;|G{iXFr8c!}ZzgtK{Ldm(*q
zI&(O!ze)_J3mqH7cr@rprsJu?U_yD&OvgYnpQ}J{b;UcG<3#+35sA>j#87yI4;A_Q
z#u7PHajgSRW>CeVMii#X&YGRg-(uO@?BT*wCvNYupR}KU>coc2m!CS(dHdb`yL{YV
z|7GE;v9M>>+Mlui>E#oJ=k15=<M!p}?QOnmTkPd0?)KGTaFG5T4#^)rL%2s*f`xQ0
zIh@905v6!$3hl(h5qcYHAI%riiEYD)bRwIKgN<e5BiqzBno#?2s2yF{7T>xx)Q%)?
zY;0UOJ2IJ+aN?cg&V)OU8;*|_!im8G2Yzb@-Zx{Tv2?lvY2)!&p6Oj?cSjCyZ6872
zH&e)WFvc7mIVx4$bB8lf7?SB>CzBd<GDAbT1oGX$bFuM+6y!!S*}UvSE_r{#$qN#W
zH?!HX?C`jzacL%BP#tdR&QK~gjK*{u12Lqq(QNkKL{_2ML~KyDFqBLs(y`Hm0Fp}G
z=jePlGVh7eoXK|^naqznSY`J@0&o=FDP)~^CRG?k@_Q@;=Q(srHY{JWOY;yPi6Jb+
zqoRNwyJmD%<SNWUx{yl@c1dL!COf1CqU4RU>ZB7B_;to&gBuiq4Y?Z?*{H}S0cEsW
zF?sWo@Ezsl%_vnsOx-)2n9Un8_OeEbz984nsVI$_)K}vji{D!qb5vjCG$5?e3@$MG
zl^s&D@jSm?m}yrZ9jGEFUz>AsGO7dox&SE$A2En<?!Hkt0L^C=9WgcZH<29^VPr%S
z;q5zm+Vint5gv)<Mnrh<zBCLK#ju944TQ(BD3Y0U1>-=LO{8Kp(6zBtUWDZ*nQ)#X
zAC@0x!r6@c<PlDcI73-1Bxht0wuTeocs_$Q7ammP591KRXKXYXM}rx-!B1HFR(|m1
z1V))rW^bUH7$^*5rN`34_%@{3WO^uL>al@=Y+~GS_~M!{bqt5xX#clAtGF5CA3L2Y
zzKEuZtX8D-OI>%l77X8gjs0q01RQb`8VE_Q{DZx-qHF*sUyw8!@kL}UqV2yRIo!TA
z#lwLthJP<O+-Xbg&-fzXm<NzVtk;xnFm_|lrw10^)v&df>`gu)DBsu0`2*^*c>8}V
zFuuF%W<-B&gleFYh_E81_>G>Sd|_ZN!0;v?a7^2Ww7oZe4GZ3HITps=<R7NBy~#hA
z@$&Y6)MI~9$A3}V^F@+{_8e!g{b67n6Rlp#-<;>7Kr!R2xbi$2o~zhxKT{Wxq8V*J
zZ4@;%{RnEF-{al(<{Zii9q378p!JQNX2qn(-sGG5mMRTAIaU;pJ5hv`?VIr*SsIc0
zBijCNBv<}1<7bfLsJQLR=QorF*N3}!+y4xNZu_x@h*Tfbft&B3#)r54FKT;U1F{7B
zHLW0u!LQez^TYOyJ-<A$1oc3B$J=ZFRp`3y`Q?cvqz%3LUY_qsTzjT{lfN?OZ<wB7
z(U)^6eiPSokh$A8--|CaNwbo^;>!IuaeUijZ}Nv1wf%@O)YRA+`hAbRIad;GRt6?c
z<Hpz-o+%AtrvLo>$kM0n*GsPa<F)@6h}i$mvWl!3`)wXv52v)D=-=^gFt_Ssy8V7P
zSVi|YRWO?TTH8m>#1TaCw&erh#i+MUZ#@6#5qem`1d|t|{hN3PVo7;~9#-byiFwCw
zh&NW0iljYwV{a&ziJ3d<o03?gYS$Y@E%30?pV@niEoo3s{3Ck8-vMkB{>}WGeR&bE
zYVAL+JCyVYz3sz%!Qy9hzQ{beAG@V_PH+qTh$P~RxFK2h<L)z46%Pn=zjhn>u_N@?
zM%<9B`|+e=?yqj4AERRKo0a&YQhvV@uW}9u3Vz%n&HbxVe@W?lWF<cT+!p12oOm<$
zkxKo>()qqhJSfb*Ux{ONnf=@)@Z*G**{5AF+HJwU+wX>C-H)#yW?yv+{rHMv_RC6q
zMd>?AB|iV$9OZu3d9F%*eG$4rsm}!a{Nfk-qVtISrBk7m0>8MX640Dq=!?%K<+}Ib
zE7c30?-#s&YjBRtr7Ej@Znnhy@qd@Z=a2suiO(PZZs2V9lBeB2(0FK31hsPE^Bnd2
zJ@_PW3*+41+%J{Qb^Hm9k7(TN4<~@r&v}oZh5Gwt>8DB9p7rxJi3i1WV+6HwIftrM
zWxer!$aX{eIm%efqEc;~f4u<C39)d3)ZCAapXIXS^XFyV0{B+oR+aU?19-J_pnHJp
zTbF54(wM}T2%bh_F?;qOY1}-wN+EtGH15qhKMXu%lw9<&1#o`fsTR*u3*g_8`22n8
z#Rc?VT>$r^gUy&nZ)Uzp<KC3_O5oM{#m^B<uKmzF|L$5q{~qAg&ZXWf{j>^`i#F?=
zU%42kH$Tr0LQTG_O6N??Q1g2O@qPMwG59AX-Yj@v%U%9b`{(g97QQdA{4MoyJ(`5M
z>DSk!zS433eiwMP^Qtdv|0V;uR~!9A<6?0{BI`8%bM5DdCw_h}s<uvS-2bbcw_Odq
zntta3_%7hp;=g?X{d*+7WZu`0xWud6e~}wbxz68;cs8HQ7jRMt*+XaNfjjm)y*+mw
z;IUk1R|R+5&XTBn1lP%rIymW)Mq0+4y>&s3GnjFPQ<;HS%8{ubCsvpc>Re7fF&N%_
zV`rzJz)22Hkn0jEdo)-W9lg)Q)4g|>3}^TL?R&Z%!!aCFFSjD|OtKYsGT4>XyS4X@
z9ou`IJ9h8BtNVa+VEc~VZg!O!EhLz-vHMgi)(yyW%EH-o_ulP$dUgueVPbVUI1+Im
z%+<$%<GF%9v#iWb@>Crp{yk1W^DJ_uXC!;8oQamll`9qJok*?}n^07?QszZvTJgU-
zTaAPylKN?fNm*ndp=zeP@({M?sI^Q^o6M`@K({<+xs1c4IFD|tm1brW-wfgo$4{mi
zRf;>V&t6yd#C^ir^h#x?OZjysZ&fzC(iGi6vb7RZ2f8aUbq>4|)91Tg^I?vXtDL@!
G`@aB&1!If=

literal 0
HcmV?d00001

diff --git a/test/tests.js b/test/tests.js
index 334bf81..6229ddb 100644
--- a/test/tests.js
+++ b/test/tests.js
@@ -3,12 +3,17 @@ c0vm = require("../src/c0vm.js")
 
 var callbacks = {}
 
-// Tests that IADD, BIPUSH, and RETURN (from main) work
-exports.testIADD = function(test) {
-    var result = c0vm.execute(parser.parse("iadd.c0.bc0"), callbacks, false);
-    test.ok(result == -2, "iadd.c0.bc0 - Error in IADD, BIPUSH, or RETURN");
-    test.done();
-};
+function doTest(filename, expected_result) {
+    return function(test) {
+        var result = c0vm.execute(parser.parse(filename), callbacks, false);
+        test.ok(result == expected_result,
+                filename + " - did not get expected result " + expected_result +
+               ", instead got " + result);
+        test.done();
+    }
+}
+
+exports.testIADD = doTest("iadd.c0.bc0", -2);
 
 exports.testPrint = function(test) {
     var result = c0vm.execute(parser.parse("test.bc0"), callbacks, false);
@@ -16,8 +21,19 @@ exports.testPrint = function(test) {
     test.done();
 }
 
-exports.testISHR = function(test) {
-    var result = c0vm.execute(parser.parse("ishr.c0.bc0"), callbacks, false);
-    test.ok(result == -1, "ishr.c0.bc0 - -1 >> 1 gave " + result + ", not -1");
+exports.testISHR = doTest("ishr.c0.bc0", -1);
+
+exports.testISQRT = doTest("isqrt.c0.bc0", 122);
+
+exports.testMID = doTest("mid.c0.bc0", 155);
+
+// This one should throw an exception because an assertion fails
+exports.testSample25 = function(test) {
+    test.throws(c0vm.execute(parser.parse("sample2.5.c0.bc0"), callbacks, false));
     test.done();
 }
+
+exports.testIF = doTest("testif.c0.bc0", 32);
+
+exports.testDSQUARED = doTest("dsquared.c0.bc0", 17068);
+