You cannot select more than 25 topics Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.
alee-forth/alee.cpp

202 lines
5.2 KiB
C++

2 years ago
/**
* Alee Forth: A portable and concise Forth implementation in modern C++.
* Copyright (C) 2023 Clyne Sullivan <clyne@bitgloo.com>
*
* This program is free software: you can redistribute it and/or modify
* it under the terms of the GNU Lesser General Public License as published by
* the Free Software Foundation, either version 3 of the License, or
* (at your option) any later version.
*
* This program is distributed in the hope that it will be useful,
* but WITHOUT ANY WARRANTY; without even the implied warranty of
* MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
* GNU Lesser General Public License for more details.
*
* You should have received a copy of the GNU Lesser General Public License
* along with this program. If not, see <https://www.gnu.org/licenses/>.
*/
#include "alee.hpp"
2 years ago
#include "memdict.hpp"
#include <algorithm>
#include <charconv>
#include <cstdio>
2 years ago
#include <fstream>
2 years ago
#include <iostream>
2 years ago
#include <vector>
2 years ago
static void compile(State&);
static bool okay = false;
static void readchar(State&);
static void parseLine(State&, const std::string&);
static void parseFile(State&, std::istream&);
2 years ago
2 years ago
int main(int argc, char *argv[])
2 years ago
{
MemDict dict;
State state (dict, readchar);
2 years ago
dict.initialize();
{
std::vector args (argv + 1, argv + argc);
for (const auto& a : args) {
std::ifstream file (a);
parseFile(state, file);
}
2 years ago
}
okay = true;
parseFile(state, std::cin);
2 years ago
2 years ago
return 0;
}
static void readchar(State& state)
{
auto idx = state.dict.read(Dictionary::Input);
2 years ago
auto addr = static_cast<Addr>(Dictionary::Input + sizeof(Cell) + idx);
2 years ago
auto c = static_cast<char>(std::cin.get());
if (isupper(c))
c += 32;
state.dict.writebyte(addr, c ? c : ' ');
}
static void save(State& state)
{
std::ofstream file ("alee.dat", std::ios::binary);
if (file.good()) {
for (Addr i = 0; i < state.dict.here(); ++i)
file.put(state.dict.readbyte(i));
}
}
static void load(State& state)
{
std::ifstream file ("alee.dat", std::ios::binary);
for (Addr i = 0; file.good(); i++)
2 years ago
state.dict.writebyte(i, file.get() & 0xFFu);
}
2 years ago
void user_sys(State& state)
2 years ago
{
char buf[32] = {0};
2 years ago
switch (state.pop()) {
case 0: // .
std::to_chars(buf, buf + sizeof(buf), state.pop(),
state.dict.read(Dictionary::Base));
std::cout << buf << ' ';
2 years ago
break;
2 years ago
case 1: // u.
{
Addr ucell = static_cast<Addr>(state.pop());
std::to_chars(buf, buf + sizeof(buf), ucell,
state.dict.read(Dictionary::Base));
std::cout << buf << ' ';
}
break;
2 years ago
case 2: // emit
std::cout << static_cast<char>(state.pop());
break;
case 3: // save
save(state);
break;
case 4: // load
load(state);
break;
case 5: // compile
compile(state);
break;
default:
2 years ago
break;
2 years ago
}
2 years ago
}
void parseLine(State& state, const std::string& line)
2 years ago
{
if (auto r = Parser::parse(state, line.c_str()); r == Error::none) {
if (okay)
std::cout << (state.compiling() ? " compiled" : " ok") << std::endl;
} else {
switch (r) {
case Error::noword:
std::cout << "word not found in: " << line << std::endl;
break;
case Error::push:
std::cout << "stack overflow" << std::endl;
break;
case Error::pushr:
std::cout << "return stack overflow" << std::endl;
break;
case Error::popr:
std::cout << "return stack underflow" << std::endl;
break;
case Error::pop:
case Error::top:
case Error::pick:
std::cout << "stack underflow" << std::endl;
break;
default:
std::cout << "unknown error" << std::endl;
break;
}
state.reset();
}
2 years ago
}
void parseFile(State& state, std::istream& file)
2 years ago
{
while (file.good()) {
std::string line;
std::getline(file, line);
if (line == "bye")
exit(0);
parseLine(state, line);
2 years ago
}
}
// Prints all compiled words, their start addresses, and their "disassembly".
// Hopefully, it won't be too difficult to translate these into LLVM IR.
void compile(State& state)
{
auto& dict = state.dict;
Addr latest = dict.latest();
Addr attr = 0;
do {
Addr oldlen = attr >> 6;
latest -= oldlen;
attr = dict.read(latest);
auto lw = Word::fromLength(latest + sizeof(Cell), attr & 0x1F);
if (!(attr & Dictionary::Immediate)) {
Addr start = dict.getexec(latest);
Addr len = oldlen;
len -= start;
len += latest;
std::for_each(lw.begin(&dict), lw.end(&dict), putchar);
std::cout << " @ " << start << std::endl;
for (Addr i = 0; i < len; i += sizeof(Cell)) {
Addr addr = start;
addr += i;
std::cout << '\t' << (Addr)dict.read(addr) << ' ';
}
std::cout << std::endl;
}
} while (latest != Dictionary::Begin);
}