vm_test.go 3.2 KB

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