void TestSimpleBranchTrue()
{
Interpreter i;
Context context;
// Test the following program:
//
// while (false) {}
//
// if (false)
// {
// while (true) {}
// }
//
// This program should terminate.
int8_t instructions[] = {
Load_Constant_Short, 0,
Branch_True, -1,
Load_Constant_Short, 1,
Branch_True, 5,
Load_Constant_Short, 1,
Branch_True, -1,
Halt,
};
i.ExecuteContext(&context, instructions);
}
void TestSimpleBranch()
{
Interpreter i;
Context context;
// This program should terminate.
int8_t instructions[] = {
Jump, 2,
Jump, 0,
Halt,
};
i.ExecuteContext(&context, instructions);
}
void TestLoadShortConstants()
{
Interpreter i;
Context context;
int8_t instructions[] = {
Load_Constant_Short, 1,
Load_Constant_Short, 2,
Halt,
};
i.ExecuteContext(&context, instructions);
Assert(context.stack.At(0).AsInteger() == 1, "stack[0] != 1");
Assert(context.stack.At(1).AsInteger() == 2, "stack[1] != 2");
}
void TestSimpleAdd()
{
Interpreter i;
Context context;
int8_t instructions[] = {
Load_Constant_Short, 1,
Load_Constant_Short, 2,
Add,
Halt,
};
i.ExecuteContext(&context, instructions);
Assert(context.stack.At(0).AsInteger() == 3, "stack[0] != 3");
}
void TestLoadIntegerConstants()
{
Interpreter i;
Context context;
int8_t instructions[] = {
Load_Constant_Integer, 0x0A, 0x1B, 0x2C, 0x3D,
Load_Constant_Integer, 0x12, 0x34, 0x56, 0x78,
Halt,
};
i.ExecuteContext(&context, instructions);
Assert(context.stack.At(0).AsInteger() == 0x0A1B2C3D, "stack[0] != 0x0A1B2C3D");
Assert(context.stack.At(1).AsInteger() == 0x12345678, "stack[1] != 0x12345678");
}
void TestSimpleFunction()
{
Interpreter i;
Context context;
int8_t instructions[] = {
Load_Constant_Short, 1,
Load_Constant_Short, 2,
Load_Constant_Short, 3,
Call, 3,
Add,
Halt,
Load_Constant_Short, 4,
Load_Constant_Short, 5,
Return,
};
i.ExecuteContext(&context, instructions);
Assert(context.stack.At(0).AsInteger() == 1, "stack[0] != 1");
Assert(context.stack.At(1).AsInteger() == 5, "stack[0] != 5");
}