stepus53/psil
1
0
Fork 0
mirror of https://github.com/usatiuk/psil.git synced 2025-10-28 18:57:48 +01:00
Code Issues Actions Packages Projects Releases Wiki Activity

reformat, fix includes

Browse Source
This commit is contained in:
Stepan Usatiuk
2024-01-04 00:59:24 +01:00
parent 61c681317a
commit 04aa0d24b6
14 changed files with 110 additions and 58 deletions
Download Patch File Download Diff File Expand all files Collapse all files

2
.clang-format
View File

@@ -33,7 +33,7 @@ BreakBeforeBinaryOperators: None
BreakBeforeTernaryOperators: true BreakBeforeTernaryOperators: true
BreakConstructorInitializers: BeforeColon BreakConstructorInitializers: BeforeColon
BreakInheritanceList: BeforeColon BreakInheritanceList: BeforeColon
ColumnLimit: 140 ColumnLimit: 120
CompactNamespaces: false CompactNamespaces: false
ContinuationIndentWidth: 8 ContinuationIndentWidth: 8
IndentCaseLabels: true IndentCaseLabels: true

4
src/main.cpp
View File

@@ -21,7 +21,9 @@ void parse_options(int argc, char *argv[]) {
continue; continue;
} }
if (arg.length() < 2 || arg.substr(0, 2) != "--") { throw std::invalid_argument("Can't parse argument " + arg); } if (arg.length() < 2 || arg.substr(0, 2) != "--") {
throw std::invalid_argument("Can't parse argument " + arg);
}
std::string rest = arg.substr(2); std::string rest = arg.substr(2);
std::vector<std::string> split; std::vector<std::string> split;

2
src/support/include/Options.h
View File

@@ -8,9 +8,11 @@
#include <mutex> #include <mutex>
#include <shared_mutex> #include <shared_mutex>
#include <stdexcept>
#include <string> #include <string>
#include <unordered_map> #include <unordered_map>
#include <variant> #include <variant>
class Options { class Options {
public: public:
template<typename T> template<typename T>

5
src/support/src/Logger.cpp
View File

@@ -20,7 +20,10 @@ void Logger::log(const std::string &tag, const std::string &what, int level) {
auto now = std::chrono::high_resolution_clock::now(); auto now = std::chrono::high_resolution_clock::now();
std::stringstream out; std::stringstream out;
out << std::setprecision(3) << std::fixed << "[" out << std::setprecision(3) << std::fixed << "["
<< static_cast<double>(std::chrono::duration_cast<std::chrono::milliseconds>(now - get()._start_time).count()) / 1000.0 << "s]" << static_cast<double>(
std::chrono::duration_cast<std::chrono::milliseconds>(now - get()._start_time).count()) /
1000.0
<< "s]"
<< "[" << tag << "][" << get()._level_names.at(level) << "] " << what << '\n'; << "[" << tag << "][" << get()._level_names.at(level) << "] " << what << '\n';
if (level == 1) get()._out_err.get() << out.str(); if (level == 1) get()._out_err.get() << out.str();

18
src/vm/include/Command.h
View File

@@ -51,15 +51,17 @@ namespace Command {
}; };
static inline std::unordered_map<std::string_view, CellValType> str_to_cmd{ static inline std::unordered_map<std::string_view, CellValType> str_to_cmd{
{"NIL", 1}, {"LDC", 2}, {"LD", 3}, {"SEL", 4}, {"JOIN", 5}, {"LDF", 6}, {"AP", 7}, {"RET", 8}, {"NIL", 1}, {"LDC", 2}, {"LD", 3}, {"SEL", 4}, {"JOIN", 5}, {"LDF", 6},
{"DUM", 9}, {"RAP", 10}, {"STOP", 11}, {"ATOM", 12}, {"ADD", 13}, {"SUB", 14}, {"READCHAR", 15}, {"PUTCHAR", 16}, {"AP", 7}, {"RET", 8}, {"DUM", 9}, {"RAP", 10}, {"STOP", 11}, {"ATOM", 12},
{"PUTNUM", 17}, {"EVAL", 18}, {"PRINT", 19}, {"READ", 20}, {"CONS", 21}, {"LDG", 22}, {"CAR", 23}, {"CDR", 24}, {"ADD", 13}, {"SUB", 14}, {"READCHAR", 15}, {"PUTCHAR", 16}, {"PUTNUM", 17}, {"EVAL", 18},
{"EQ", 25}, {"LT", 26}, {"GT", 27}, {"NILC", 28}, {"MULT", 29}, {"DIV", 30}}; {"PRINT", 19}, {"READ", 20}, {"CONS", 21}, {"LDG", 22}, {"CAR", 23}, {"CDR", 24},
{"EQ", 25}, {"LT", 26}, {"GT", 27}, {"NILC", 28}, {"MULT", 29}, {"DIV", 30}};
static inline std::unordered_map<CellValType, std::string> cmd_to_str{ static inline std::unordered_map<CellValType, std::string> cmd_to_str{
{1, "NIL"}, {2, "LDC"}, {3, "LD"}, {4, "SEL"}, {5, "JOIN"}, {6, "LDF"}, {7, "AP"}, {8, "RET"}, {1, "NIL"}, {2, "LDC"}, {3, "LD"}, {4, "SEL"}, {5, "JOIN"}, {6, "LDF"},
{9, "DUM"}, {10, "RAP"}, {11, "STOP"}, {12, "ATOM"}, {13, "ADD"}, {14, "SUB"}, {15, "READCHAR"}, {16, "PUTCHAR"}, {7, "AP"}, {8, "RET"}, {9, "DUM"}, {10, "RAP"}, {11, "STOP"}, {12, "ATOM"},
{17, "PUTNUM"}, {18, "EVAL"}, {19, "PRINT"}, {20, "READ"}, {21, "CONS"}, {22, "LDG"}, {23, "CAR"}, {24, "CDR"}, {13, "ADD"}, {14, "SUB"}, {15, "READCHAR"}, {16, "PUTCHAR"}, {17, "PUTNUM"}, {18, "EVAL"},
{25, "EQ"}, {26, "LT"}, {27, "GT"}, {28, "NILC"}, {29, "MULT"}, {30, "DIV"}}; {19, "PRINT"}, {20, "READ"}, {21, "CONS"}, {22, "LDG"}, {23, "CAR"}, {24, "CDR"},
{25, "EQ"}, {26, "LT"}, {27, "GT"}, {28, "NILC"}, {29, "MULT"}, {30, "DIV"}};
static inline Handle make_cmd(CellValType cmd) { static inline Handle make_cmd(CellValType cmd) {
if (Options::get<bool>("command_strs")) { if (Options::get<bool>("command_strs")) {

8
src/vm/include/Handle.h
View File

@@ -5,6 +5,8 @@
#ifndef PSIL_HANDLE_H #ifndef PSIL_HANDLE_H
#define PSIL_HANDLE_H #define PSIL_HANDLE_H
#include <stdexcept>
#include "Cell.h" #include "Cell.h"
class MemoryContext; class MemoryContext;
@@ -64,11 +66,13 @@ public:
} }
CellValType val() const { CellValType val() const {
if (_target->_type != CellType::NUMATOM) throw std::invalid_argument("Expected number cell, got something else"); if (_target->_type != CellType::NUMATOM)
throw std::invalid_argument("Expected number cell, got something else");
return dynamic_cast<NumAtomCell &>(*_target)._val; return dynamic_cast<NumAtomCell &>(*_target)._val;
} }
std::string_view strval() const { std::string_view strval() const {
if (_target->_type != CellType::STRATOM) throw std::invalid_argument("Expected string cell, got something else"); if (_target->_type != CellType::STRATOM)
throw std::invalid_argument("Expected string cell, got something else");
return dynamic_cast<StrAtomCell &>(*_target)._val; return dynamic_cast<StrAtomCell &>(*_target)._val;
} }

4
src/vm/include/MemoryContext.h
View File

@@ -95,7 +95,9 @@ private:
std::lock_guard tmplg(_new_roots_lock); std::lock_guard tmplg(_new_roots_lock);
Handle ret(cell); Handle ret(cell);
_temp_cells.emplace_back(cell); _temp_cells.emplace_back(cell);
if ((_cells_num + _temp_cells.size() + 1) >= (size_t) (Options::get<size_t>("cell_limit") / 2)) { request_gc(); } if ((_cells_num + _temp_cells.size() + 1) >= (size_t) (Options::get<size_t>("cell_limit") / 2)) {
request_gc();
}
return ret; return ret;
} }
} }

9
src/vm/src/Compiler.cpp
View File

@@ -17,9 +17,9 @@
using namespace Command; using namespace Command;
static std::unordered_map<std::string_view, CommandE> builtins{{"+", ADD}, {"-", SUB}, {"cons", CONS}, {"car", CAR}, {"cdr", CDR}, static std::unordered_map<std::string_view, CommandE> builtins{
{"=", EQ}, {">", GT}, {"<", LT}, {"nil", NIL}, {"nil?", NILC}, {"+", ADD}, {"-", SUB}, {"cons", CONS}, {"car", CAR}, {"cdr", CDR}, {"=", EQ}, {">", GT},
{"atom", ATOM}, {"*", MULT}, {"/", DIV}}; {"<", LT}, {"nil", NIL}, {"nil?", NILC}, {"atom", ATOM}, {"*", MULT}, {"/", DIV}};
Handle Compiler::compile(const Handle &src, Handle fake_env, const Handle &suffix) { Handle Compiler::compile(const Handle &src, Handle fake_env, const Handle &suffix) {
Handle out; Handle out;
@@ -128,7 +128,8 @@ Handle Compiler::compile(const Handle &src, Handle fake_env, const Handle &suffi
out.append(make_cmd(LD)); out.append(make_cmd(LD));
Handle idx = findIndex(car, fake_env); Handle idx = findIndex(car, fake_env);
if (idx.null()) throw std::invalid_argument("Could not find function to apply: " + std::string(car.strval())); if (idx.null())
throw std::invalid_argument("Could not find function to apply: " + std::string(car.strval()));
out.append(idx); out.append(idx);
out.append(make_cmd(AP)); out.append(make_cmd(AP));
} }

2
src/vm/src/Handle.cpp
View File

@@ -4,6 +4,8 @@
#include "Handle.h" #include "Handle.h"
#include <stdexcept>
#include "MemoryContext.h" #include "MemoryContext.h"
Handle::Handle(Cell *target) : _target(target) { Handle::Handle(Cell *target) : _target(target) {

70
src/vm/src/MemoryContext.cpp
View File

@@ -34,7 +34,9 @@ void MemoryContext::add_root(Cell *c) {
_new_roots[c]++; _new_roots[c]++;
Logger::log( Logger::log(
"MemoryContext", "MemoryContext",
[&](std::ostream &out) { out << "new root: " << c << " T: " << static_cast<int>(c->_type) << " NUM: " << _new_roots[c]; }, [&](std::ostream &out) {
out << "new root: " << c << " T: " << static_cast<int>(c->_type) << " NUM: " << _new_roots[c];
},
Logger::TRACE); Logger::TRACE);
} }
} }
@@ -44,7 +46,9 @@ void MemoryContext::remove_root(Cell *c) {
_new_roots[c]--; _new_roots[c]--;
Logger::log( Logger::log(
"MemoryContext", "MemoryContext",
[&](std::ostream &out) { out << "del root: " << c << " T: " << static_cast<int>(c->_type) << " NUM: " << _new_roots[c]; }, [&](std::ostream &out) {
out << "del root: " << c << " T: " << static_cast<int>(c->_type) << " NUM: " << _new_roots[c];
},
Logger::TRACE); Logger::TRACE);
if (_new_roots[c] == 0) _new_roots.erase(c); if (_new_roots[c] == 0) _new_roots.erase(c);
} }
@@ -72,7 +76,8 @@ void MemoryContext::gc_thread_entry() {
if (c->_live) continue; if (c->_live) continue;
c->_live = true; c->_live = true;
Logger::log( Logger::log(
"MemoryContext", [&](std::ostream &out) { out << "visiting c " << c << " " << static_cast<int>(c->_type); }, "MemoryContext",
[&](std::ostream &out) { out << "visiting c " << c << " " << static_cast<int>(c->_type); },
Logger::TRACE); Logger::TRACE);
if (c->_type == CellType::CONS) { if (c->_type == CellType::CONS) {
@@ -99,7 +104,8 @@ void MemoryContext::gc_thread_entry() {
for (auto const &r: new_roots) { for (auto const &r: new_roots) {
Logger::log( Logger::log(
"MemoryContext", [&](std::ostream &out) { out << "processing new " << r.first << " diff " << r.second; }, "MemoryContext",
[&](std::ostream &out) { out << "processing new " << r.first << " diff " << r.second; },
Logger::TRACE); Logger::TRACE);
if (r.second == 0) continue; if (r.second == 0) continue;
_roots[r.first] += r.second; _roots[r.first] += r.second;
@@ -108,10 +114,11 @@ void MemoryContext::gc_thread_entry() {
auto stop = std::chrono::high_resolution_clock::now(); auto stop = std::chrono::high_resolution_clock::now();
Logger::log("MemoryContext", Logger::log(
"New roots processing time: " + "MemoryContext",
std::to_string(std::chrono::duration_cast<std::chrono::microseconds>(stop - start).count()), "New roots processing time: " +
Logger::INFO); std::to_string(std::chrono::duration_cast<std::chrono::microseconds>(stop - start).count()),
Logger::INFO);
} }
{ {
@@ -120,16 +127,21 @@ void MemoryContext::gc_thread_entry() {
for (const auto &r: _roots) { for (const auto &r: _roots) {
Logger::log( Logger::log(
"MemoryContext", [&](std::ostream &out) { out << "processing r " << r.first << " diff " << r.second; }, "MemoryContext",
[&](std::ostream &out) { out << "processing r " << r.first << " diff " << r.second; },
Logger::TRACE); Logger::TRACE);
toVisit.emplace(r.first); toVisit.emplace(r.first);
} }
visitAll(); visitAll();
auto stop = std::chrono::high_resolution_clock::now(); auto stop = std::chrono::high_resolution_clock::now();
Logger::log("MemoryContext", [&](std::ostream &out) { out << "Scanned " << _roots.size() << " roots"; }, Logger::DEBUG); Logger::log(
Logger::log("MemoryContext", "MemoryContext", [&](std::ostream &out) { out << "Scanned " << _roots.size() << " roots"; },
"Roots scan time: " + std::to_string(std::chrono::duration_cast<std::chrono::microseconds>(stop - start).count()), Logger::DEBUG);
Logger::INFO); Logger::log(
"MemoryContext",
"Roots scan time: " +
std::to_string(std::chrono::duration_cast<std::chrono::microseconds>(stop - start).count()),
Logger::INFO);
} }
{ {
@@ -141,7 +153,9 @@ void MemoryContext::gc_thread_entry() {
} }
while (!dirtied.empty()) { while (!dirtied.empty()) {
for (const auto &r: dirtied) { for (const auto &r: dirtied) {
Logger::log("MemoryContext", [&](std::ostream &out) { out << "processing dirty " << r; }, Logger::DEBUG); Logger::log(
"MemoryContext", [&](std::ostream &out) { out << "processing dirty " << r; },
Logger::DEBUG);
toVisit.emplace(r); toVisit.emplace(r);
} }
visitAll(); visitAll();
@@ -154,9 +168,11 @@ void MemoryContext::gc_thread_entry() {
} }
auto stop = std::chrono::high_resolution_clock::now(); auto stop = std::chrono::high_resolution_clock::now();
Logger::log("MemoryContext", Logger::log(
"Dirty scan time: " + std::to_string(std::chrono::duration_cast<std::chrono::microseconds>(stop - start).count()), "MemoryContext",
Logger::INFO); "Dirty scan time: " +
std::to_string(std::chrono::duration_cast<std::chrono::microseconds>(stop - start).count()),
Logger::INFO);
} }
{ {
auto start = std::chrono::high_resolution_clock::now(); auto start = std::chrono::high_resolution_clock::now();
@@ -174,17 +190,23 @@ void MemoryContext::gc_thread_entry() {
}); });
auto stop = std::chrono::high_resolution_clock::now(); auto stop = std::chrono::high_resolution_clock::now();
Logger::log("MemoryContext", Logger::log(
"Sweep time: " + std::to_string(std::chrono::duration_cast<std::chrono::microseconds>(stop - start).count()), "MemoryContext",
Logger::INFO); "Sweep time: " +
std::to_string(std::chrono::duration_cast<std::chrono::microseconds>(stop - start).count()),
Logger::INFO);
_cells_num = _cells.size(); _cells_num = _cells.size();
Logger::log("MemoryContext", "GC Freed: " + std::to_string(freed) + " cells left: " + std::to_string(_cells_num), Logger::INFO); Logger::log("MemoryContext",
"GC Freed: " + std::to_string(freed) + " cells left: " + std::to_string(_cells_num),
Logger::INFO);
} }
auto gcstop = std::chrono::high_resolution_clock::now(); auto gcstop = std::chrono::high_resolution_clock::now();
Logger::log("MemoryContext", Logger::log(
"GC total time: " + std::to_string(std::chrono::duration_cast<std::chrono::microseconds>(gcstop - gcstart).count()), "MemoryContext",
Logger::INFO); "GC total time: " +
std::to_string(std::chrono::duration_cast<std::chrono::microseconds>(gcstop - gcstart).count()),
Logger::INFO);
{ {

4
src/vm/src/Parser.cpp
View File

@@ -6,6 +6,7 @@
#include <ranges> #include <ranges>
#include <stack> #include <stack>
#include <stdexcept>
#include "MemoryContext.h" #include "MemoryContext.h"
#include "VM.h" #include "VM.h"
@@ -46,7 +47,8 @@ Handle Parser::parseExpr() {
} else { } else {
token = _tokenizer.getNext(); token = _tokenizer.getNext();
if (token.find_first_not_of("0123456789") == std::string::npos || if (token.find_first_not_of("0123456789") == std::string::npos ||
(token.length() > 1 && token.at(0) == '-' && token.find_first_not_of("0123456789", 1) == std::string::npos)) { (token.length() > 1 && token.at(0) == '-' &&
token.find_first_not_of("0123456789", 1) == std::string::npos)) {
CellValType val = std::stoi(token); CellValType val = std::stoi(token);
return Handle::makeNumCell(val); return Handle::makeNumCell(val);
} else { } else {

1
src/vm/src/VM.cpp
View File

@@ -5,6 +5,7 @@
#include <iostream> #include <iostream>
#include <optional> #include <optional>
#include <set> #include <set>
#include <stdexcept>
#include <utility> #include <utility>
#include "Command.h" #include "Command.h"

30
test/vm/CompilerTest.cpp
View File

@@ -93,7 +93,8 @@ TEST(CompilerTest, MultiLet) {
VM vm(ssin, ssout); VM vm(ssin, ssout);
Parser parser; Parser parser;
parser.loadStr("(LDC (let ((plfn (lambda (a b) (- a b))) (plfn2 (lambda (a b) (- b a)))) (plfn 2 3)) EVAL PRINT STOP)"); parser.loadStr("(LDC (let ((plfn (lambda (a b) (- a b))) (plfn2 (lambda (a b) (- b a)))) (plfn 2 3)) EVAL "
"PRINT STOP)");
vm.loadControl(parser.parseExpr()); vm.loadControl(parser.parseExpr());
vm.run(); vm.run();
} }
@@ -101,7 +102,8 @@ TEST(CompilerTest, MultiLet) {
VM vm(ssin, ssout); VM vm(ssin, ssout);
Parser parser; Parser parser;
parser.loadStr("(LDC (let ((plfn (lambda (a b) (- a b))) (plfn2 (lambda (a b) (- b a)))) (plfn2 2 3)) EVAL PRINT STOP)"); parser.loadStr("(LDC (let ((plfn (lambda (a b) (- a b))) (plfn2 (lambda (a b) (- b a)))) (plfn2 2 3)) EVAL "
"PRINT STOP)");
vm.loadControl(parser.parseExpr()); vm.loadControl(parser.parseExpr());
vm.run(); vm.run();
} }
@@ -145,8 +147,8 @@ TEST(CompilerTest, RecursiveFn) {
VM vm(ssin, ssout); VM vm(ssin, ssout);
Parser parser; Parser parser;
parser.loadStr( parser.loadStr("(LDC (letrec ((fib (lambda (n) (if n (if (+ n -1) (+ (fib (+ n -1)) (fib(+ n -2))) 1) 0) ))) "
"(LDC (letrec ((fib (lambda (n) (if n (if (+ n -1) (+ (fib (+ n -1)) (fib(+ n -2))) 1) 0) ))) (fib 10)) EVAL PRINT STOP)"); "(fib 10)) EVAL PRINT STOP)");
vm.loadControl(parser.parseExpr()); vm.loadControl(parser.parseExpr());
vm.run(); vm.run();
} }
@@ -207,8 +209,8 @@ TEST(CompilerTest, GlobalDefineFnCar) {
VM vm(ssin, ssout); VM vm(ssin, ssout);
Parser parser; Parser parser;
parser.loadStr( parser.loadStr("(LDC (define (carr l) (car l)) EVAL LDC (carr (quote (1 2))) EVAL PRINT LDC (carr (cdr (quote "
"(LDC (define (carr l) (car l)) EVAL LDC (carr (quote (1 2))) EVAL PRINT LDC (carr (cdr (quote (1 2)))) EVAL PRINT STOP)"); "(1 2)))) EVAL PRINT STOP)");
vm.loadControl(parser.parseExpr()); vm.loadControl(parser.parseExpr());
vm.run(); vm.run();
} }
@@ -223,7 +225,8 @@ TEST(CompilerTest, GlobalDefineFnEq) {
VM vm(ssin, ssout); VM vm(ssin, ssout);
Parser parser; Parser parser;
parser.loadStr("(LDC (define (eqtest l) (= l ())) EVAL LDC (eqtest (quote ())) EVAL PRINT LDC (eqtest (nil)) EVAL PRINT STOP)"); parser.loadStr("(LDC (define (eqtest l) (= l ())) EVAL LDC (eqtest (quote ())) EVAL PRINT LDC (eqtest (nil)) "
"EVAL PRINT STOP)");
vm.loadControl(parser.parseExpr()); vm.loadControl(parser.parseExpr());
vm.run(); vm.run();
} }
@@ -231,7 +234,8 @@ TEST(CompilerTest, GlobalDefineFnEq) {
VM vm(ssin, ssout); VM vm(ssin, ssout);
Parser parser; Parser parser;
parser.loadStr("(LDC (define (eqtest l) (= l (nil))) EVAL LDC (eqtest (quote ())) EVAL PRINT LDC (eqtest (nil)) EVAL PRINT STOP)"); parser.loadStr("(LDC (define (eqtest l) (= l (nil))) EVAL LDC (eqtest (quote ())) EVAL PRINT LDC (eqtest "
"(nil)) EVAL PRINT STOP)");
vm.loadControl(parser.parseExpr()); vm.loadControl(parser.parseExpr());
vm.run(); vm.run();
} }
@@ -246,7 +250,8 @@ TEST(CompilerTest, GlobalDefineFnMulti) {
VM vm(ssin, ssout); VM vm(ssin, ssout);
Parser parser; Parser parser;
parser.loadStr("(LDC (define (one x y) (+ x y)) EVAL LDC (define (two x y) (one (+ x 1) y)) EVAL LDC (two 2 3) EVAL PRINT STOP)"); parser.loadStr("(LDC (define (one x y) (+ x y)) EVAL LDC (define (two x y) (one (+ x 1) y)) EVAL LDC (two 2 3) "
"EVAL PRINT STOP)");
vm.loadControl(parser.parseExpr()); vm.loadControl(parser.parseExpr());
vm.run(); vm.run();
} }
@@ -261,7 +266,8 @@ TEST(CompilerTest, GlobalDefineFnMultiTwo) {
VM vm(ssin, ssout); VM vm(ssin, ssout);
Parser parser; Parser parser;
parser.loadStr("(LDC (define (one x y) (- x y)) EVAL LDC (define (two x y) (one (+ x 1) y)) EVAL LDC (two 2 3) EVAL PRINT STOP)"); parser.loadStr("(LDC (define (one x y) (- x y)) EVAL LDC (define (two x y) (one (+ x 1) y)) EVAL LDC (two 2 3) "
"EVAL PRINT STOP)");
vm.loadControl(parser.parseExpr()); vm.loadControl(parser.parseExpr());
vm.run(); vm.run();
} }
@@ -278,8 +284,8 @@ TEST(CompilerTest, GlobalDefineFnRec) {
{ {
VM vm(ssin, ssout); VM vm(ssin, ssout);
Parser parser; Parser parser;
parser.loadStr( parser.loadStr("(LDC (define (fib n) (if n (if (+ n -1) (+ (fib (+ n -1)) (fib(+ n -2))) 1) 0) ) EVAL LDC (fib "
"(LDC (define (fib n) (if n (if (+ n -1) (+ (fib (+ n -1)) (fib(+ n -2))) 1) 0) ) EVAL LDC (fib 20) EVAL PRINT STOP)"); "20) EVAL PRINT STOP)");
vm.loadControl(parser.parseExpr()); vm.loadControl(parser.parseExpr());
vm.run(); vm.run();
} }

9
test/vm/VMWithParserTest.cpp
View File

@@ -43,7 +43,8 @@ TEST(VMWithParserTest, BasicBranch) {
VM vm(ssin, ssout); VM vm(ssin, ssout);
Parser parser; Parser parser;
parser.loadStr("(LDC 1 SEL (LDC 10 PUTNUM JOIN) (LDC 20 PUTNUM JOIN) LDC 0 SEL (LDC 30 PUTNUM JOIN) (LDC 40 PUTNUM JOIN) STOP)"); parser.loadStr("(LDC 1 SEL (LDC 10 PUTNUM JOIN) (LDC 20 PUTNUM JOIN) LDC 0 SEL (LDC 30 PUTNUM JOIN) (LDC 40 "
"PUTNUM JOIN) STOP)");
vm.loadControl(parser.parseExpr()); vm.loadControl(parser.parseExpr());
vm.run(); vm.run();
} }
@@ -73,8 +74,10 @@ TEST(VMWithParserTest, RecFunction) {
{ {
VM vm(ssin, ssout); VM vm(ssin, ssout);
Parser parser; Parser parser;
parser.loadStr("( DUM NIL LDF ( LD ( 1 . 1 ) SEL ( LD ( 1 . 1 ) LDC -1 ADD SEL ( NIL LD ( 1 . 1 ) LDC -1 ADD CONS LD ( 2 . 1 ) AP " parser.loadStr("( DUM NIL LDF ( LD ( 1 . 1 ) SEL ( LD ( 1 . 1 ) LDC -1 ADD SEL ( NIL LD ( 1 . 1 ) LDC -1 ADD "
"NIL LD ( 1 . 1 ) LDC -2 ADD CONS LD ( 2 . 1 ) AP ADD JOIN ) ( LDC 1 JOIN ) JOIN ) ( LDC 0 JOIN ) RET ) CONS LDF ( " "CONS LD ( 2 . 1 ) AP "
"NIL LD ( 1 . 1 ) LDC -2 ADD CONS LD ( 2 . 1 ) AP ADD JOIN ) ( LDC 1 JOIN ) JOIN ) ( LDC 0 JOIN "
") RET ) CONS LDF ( "
"NIL LDC 20 CONS LD ( 1 . 1 ) AP RET ) RAP PUTNUM STOP )"); "NIL LDC 20 CONS LD ( 1 . 1 ) AP RET ) RAP PUTNUM STOP )");
vm.loadControl(parser.parseExpr()); vm.loadControl(parser.parseExpr());
vm.run(); vm.run();