@Test
public void testTRUE() throws NekoArcException {
byte inst[] = {0x12, 0x14};
VirtualMachine vm = new VirtualMachine(1024);
vm.load(inst, 0);
vm.setAcc(Fixnum.get(1234));
assertTrue(vm.runnable());
vm.run();
assertFalse(vm.runnable());
assertEquals(True.T, vm.getAcc());
assertEquals(2, vm.getIP());
}
/* This is a simple test for tail recursion. Essentially (fn (x y t) (+ ((afn (acc z) (if (is z 0) acc (self (+ acc x) (- z 1)))) 0 y) t))
* For large enough values of y the stack would overflow with garbage environments unless we do tail recursion properly. */
@Test
public void test() {
// env 3 1 0; cont 19; ldi 0; push; lde0 1; push; cls 7; ste0 3; apply 2; push; lde0 2; add;
// ret;
// (note that there are no cont instructions in the second function because all calls are tail
// calls)
// env 2 0 0; lde0 1; push; ldi 0; is; jf xxx; lde0 0; ret; lde0 0; push; lde 1 0; add; push;
// lde0 1; push; ldi 1; sub; push; lde 1 2; apply 2; ret
byte inst[] = {
(byte) 0xca,
0x03,
0x01,
0x00, // env 3 1 0
(byte) 0x89,
0x12,
0x00,
0x00,
0x00, // cont 18
0x44,
0x00,
0x00,
0x00,
0x00, // ldi 0
0x01, // push
0x69,
0x01, // lde0 1
0x01, // push
0x4d,
0x09,
0x00,
0x00,
0x00, // cls 9
0x6a,
0x03, // ste0 3
0x4c,
0x02, // apply 2
0x01, // push
0x69,
0x02, // lde0 2
0x15, // add
0x0d, // ret
(byte) 0xca,
0x02,
0x00,
0x00, // env 2 0 0
0x69,
0x01, // lde0 1
0x01, // push
0x44,
0x00,
0x00,
0x00,
0x00, // ldi 0
0x1f, // is
0x50,
0x03,
0x00,
0x00,
0x00, // jf 3
0x69,
0x00, // lde0 0
0x0d, // ret
0x69,
0x00, // lde0 0
0x01, // push
(byte) 0x87,
0x01,
0x00, // lde 1 0
0x15, // add
0x01, // push
0x69,
0x01, // lde0 1
0x01, // push
0x44,
0x01,
0x00,
0x00,
0x00, // ldi 1
0x16, // sub
0x01, // push
(byte) 0x87,
0x01,
0x03, // lde 1 3
0x4c,
0x02, // apply 2
0x0d // ret
};
VirtualMachine vm = new VirtualMachine(1024);
vm.load(inst, 0);
vm.setargc(3);
vm.push(Fixnum.get(1)); // x
vm.push(Fixnum.get(1000)); // y
vm.push(Fixnum.get(1)); // t
vm.setAcc(Nil.NIL);
assertTrue(vm.runnable());
vm.run();
assertFalse(vm.runnable());
assertEquals(1001, ((Fixnum) vm.getAcc()).fixnum);
}