VM!
This commit is contained in:
80
vm/vm.go
Normal file
80
vm/vm.go
Normal file
@@ -0,0 +1,80 @@
|
||||
package vm
|
||||
|
||||
import (
|
||||
"fmt"
|
||||
"monkey/code"
|
||||
"monkey/compiler"
|
||||
"monkey/object"
|
||||
)
|
||||
|
||||
const StackSize = 2048
|
||||
|
||||
type VM struct {
|
||||
constants []object.Object
|
||||
instructions code.Instructions
|
||||
|
||||
stack []object.Object
|
||||
sp int // Always points to the next value. Top of stack is stack[sp-1]
|
||||
}
|
||||
|
||||
func New(bytecode *compiler.Bytecode) *VM {
|
||||
return &VM{
|
||||
constants: bytecode.Constants,
|
||||
instructions: bytecode.Instructions,
|
||||
|
||||
stack: make([]object.Object, StackSize),
|
||||
sp: 0,
|
||||
}
|
||||
}
|
||||
|
||||
func (vm *VM) StackTop() object.Object {
|
||||
if vm.sp == 0 {
|
||||
return nil
|
||||
}
|
||||
return vm.stack[vm.sp-1]
|
||||
}
|
||||
|
||||
func (vm *VM) Run() error {
|
||||
for ip := 0; ip < len(vm.instructions); ip++ {
|
||||
op := code.Opcode(vm.instructions[ip])
|
||||
|
||||
switch op {
|
||||
case code.OpConstant:
|
||||
constIndex := code.ReadUint16(vm.instructions[ip+1:])
|
||||
ip += 2
|
||||
|
||||
err := vm.push(vm.constants[constIndex])
|
||||
if err != nil {
|
||||
return err
|
||||
}
|
||||
|
||||
case code.OpAdd:
|
||||
right := vm.pop()
|
||||
left := vm.pop()
|
||||
leftValue := left.(*object.Integer).Value
|
||||
rightValue := right.(*object.Integer).Value
|
||||
|
||||
result := leftValue + rightValue
|
||||
vm.push(&object.Integer{Value: result})
|
||||
}
|
||||
}
|
||||
|
||||
return nil
|
||||
}
|
||||
|
||||
func (vm *VM) push(o object.Object) error {
|
||||
if vm.sp >= StackSize {
|
||||
return fmt.Errorf("stack overflow")
|
||||
}
|
||||
|
||||
vm.stack[vm.sp] = o
|
||||
vm.sp++
|
||||
|
||||
return nil
|
||||
}
|
||||
|
||||
func (vm *VM) pop() object.Object {
|
||||
o := vm.stack[vm.sp-1]
|
||||
vm.sp--
|
||||
return o
|
||||
}
|
||||
81
vm/vm_test.go
Normal file
81
vm/vm_test.go
Normal file
@@ -0,0 +1,81 @@
|
||||
package vm
|
||||
|
||||
import (
|
||||
"fmt"
|
||||
"monkey/ast"
|
||||
"monkey/compiler"
|
||||
"monkey/lexer"
|
||||
"monkey/object"
|
||||
"monkey/parser"
|
||||
"testing"
|
||||
)
|
||||
|
||||
type vmTestCase struct {
|
||||
input string
|
||||
expected interface{}
|
||||
}
|
||||
|
||||
func runVmTests(t *testing.T, tests []vmTestCase) {
|
||||
t.Helper()
|
||||
|
||||
for _, tt := range tests {
|
||||
program := parse(tt.input)
|
||||
|
||||
comp := compiler.New()
|
||||
err := comp.Compile(program)
|
||||
if err != nil {
|
||||
t.Fatalf("compiler error: %s", err)
|
||||
}
|
||||
|
||||
vm := New(comp.Bytecode())
|
||||
err = vm.Run()
|
||||
if err != nil {
|
||||
t.Fatalf("vm error: %s", err)
|
||||
}
|
||||
|
||||
stackElem := vm.StackTop()
|
||||
|
||||
testExpectedObject(t, tt.expected, stackElem)
|
||||
}
|
||||
}
|
||||
|
||||
func testExpectedObject(t *testing.T, expected interface{}, actual object.Object) {
|
||||
t.Helper()
|
||||
|
||||
switch expected := expected.(type) {
|
||||
case int:
|
||||
err := testIntegerObject(int64(expected), actual)
|
||||
if err != nil {
|
||||
t.Errorf("testIntegerObject failed: %s", err)
|
||||
}
|
||||
}
|
||||
}
|
||||
|
||||
func parse(input string) *ast.Program {
|
||||
l := lexer.New(input)
|
||||
p := parser.New(l)
|
||||
return p.ParseProgram()
|
||||
}
|
||||
|
||||
func testIntegerObject(expected int64, actual object.Object) interface{} {
|
||||
result, ok := actual.(*object.Integer)
|
||||
if !ok {
|
||||
return fmt.Errorf("object is not Integer. got=%T (%+v", actual, actual)
|
||||
}
|
||||
|
||||
if result.Value != expected {
|
||||
return fmt.Errorf("object has wrong value. got=%d, want=%d", result.Value, expected)
|
||||
}
|
||||
|
||||
return nil
|
||||
}
|
||||
|
||||
func TestIntegerArithmetic(t *testing.T) {
|
||||
tests := []vmTestCase{
|
||||
{"1", 1},
|
||||
{"2", 2},
|
||||
{"1 + 2", 3},
|
||||
}
|
||||
|
||||
runVmTests(t, tests)
|
||||
}
|
||||
Reference in New Issue
Block a user