vm_test.go 3.1 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153
  1. package vm
  2. import (
  3. "fmt"
  4. "github/runnignwater/monkey/ast"
  5. "github/runnignwater/monkey/compiler"
  6. "github/runnignwater/monkey/lexer"
  7. "github/runnignwater/monkey/object"
  8. "github/runnignwater/monkey/parser"
  9. "testing"
  10. )
  11. type vmTestCase struct {
  12. input string
  13. expected interface{}
  14. }
  15. func TestIntegerArithmetic(t *testing.T) {
  16. tests := []vmTestCase{
  17. {"1", 1},
  18. {"2", 2},
  19. {"1 + 2", 3},
  20. {"1 - 2", -1},
  21. {"1 * 2", 2},
  22. {"4 / 2", 2},
  23. {"50 / 2 * 2 + 10 - 5", 55},
  24. {"5 * (2 + 10)", 60},
  25. {"5 + 5 + 5 + 5 - 10", 10},
  26. {"2 * 2 * 2 * 2 * 2", 32},
  27. {"5 * 2 + 10", 20},
  28. {"5 + 2 * 10", 25},
  29. {"5 * (2 + 10)", 60},
  30. {"-5", -5},
  31. {"-10", -10},
  32. {"-50 + 100 + -50", 0},
  33. {"(5 + 10 * 2 + 15 / 3) * 2 + -10", 50},
  34. }
  35. runVmTests(t, tests)
  36. }
  37. func TestBooleanExpression(t *testing.T) {
  38. tests := []vmTestCase{
  39. {"true", true},
  40. {"false", false},
  41. {"1 < 2", true},
  42. {"1 > 2", false},
  43. {"1 < 1", false},
  44. {"1 > 1", false},
  45. {"1 == 1", true},
  46. {"1 != 1", false},
  47. {"true == true", true},
  48. {"false == false", true},
  49. {"true == false", false},
  50. {"false != true", true},
  51. {"(1 < 2) == true", true},
  52. {"(1 < 2) == false", false},
  53. {"!true", false},
  54. {"!false", true},
  55. {"!5", false},
  56. {"!!true", true},
  57. {"!!false", false},
  58. {"!!5", true},
  59. {"if (true) { 10 };", 10},
  60. {"if (true) { 10 } else { 20 };", 10},
  61. {"if (false) { 10 } else { 20 };", 20},
  62. {"if (1) {10}", 10},
  63. {"if (1 < 2) {10}", 10},
  64. {"if (1 < 2) {10} else {20}", 10},
  65. {"if (1 > 2) {10} else {20}", 20},
  66. {"if (false) {10;}", Null},
  67. {"if (1 > 2) {10;}", Null},
  68. }
  69. runVmTests(t, tests)
  70. }
  71. func runVmTests(t *testing.T, tests []vmTestCase) {
  72. t.Helper()
  73. for _, tt := range tests {
  74. program := parse(tt.input)
  75. comp := compiler.New()
  76. err := comp.Compile(program)
  77. if err != nil {
  78. t.Fatalf("compler error: %s", err)
  79. }
  80. vm := New(comp.ByteCode())
  81. err = vm.Run()
  82. if err != nil {
  83. t.Fatalf("vm error: %s", err)
  84. }
  85. stackElem := vm.LastPopStackElem()
  86. testExpectedObject(t, tt.expected, stackElem)
  87. }
  88. }
  89. func parse(input string) *ast.Program {
  90. l := lexer.New(input)
  91. p := parser.New(l)
  92. return p.ParseProgram()
  93. }
  94. func testExpectedObject(
  95. t *testing.T,
  96. expected interface{},
  97. actual object.Object,
  98. ) {
  99. t.Helper()
  100. switch expected := expected.(type) {
  101. case int:
  102. err := testIntegerObject(int64(expected), actual)
  103. if err != nil {
  104. t.Errorf("testIntegerObject failed: %s", err)
  105. }
  106. case bool:
  107. err := testBooleanObject(expected, actual)
  108. if err != nil {
  109. t.Errorf("testBooleanObject failed: %s", err)
  110. }
  111. }
  112. }
  113. func testIntegerObject(expected int64, actual object.Object) error {
  114. result, ok := actual.(*object.Integer)
  115. if !ok {
  116. return fmt.Errorf("object is not Integer. got=%T (%+v)", actual, actual)
  117. }
  118. if result.Value != expected {
  119. return fmt.Errorf("object has wrong value. got=%d, want=%d", result.Value, expected)
  120. }
  121. return nil
  122. }
  123. func testBooleanObject(expected bool, actual object.Object) error {
  124. result, ok := actual.(*object.Boolean)
  125. if !ok {
  126. return fmt.Errorf("object is not Boolean. got=%T (%+v)", actual, actual)
  127. }
  128. if result.Value != expected {
  129. return fmt.Errorf("object has wrong value. got=%t, want=%t", result.Value, expected)
  130. }
  131. return nil
  132. }