#include "corewords.hpp"
-Func CoreWords::get(int index)
-{
- static const Func ops[WordCount] = {
- op_drop, op_dup, op_swap, op_pick, op_sys,
- op_add, op_sub, op_mul, op_div, op_mod,
- /*10*/ op_peek, op_poke, op_pushr, op_popr, op_eq,
- op_lt, op_allot, op_and, op_or, op_xor,
- /*20*/ op_shl, op_shr, op_colon, op_semic, op_here,
- op_depth, op_key, op_exit, op_tick, op_execute,
- /*30*/ op_jmp, op_jmp0, op_lit, op_literal, op_rdepth
+void CoreWords::run(unsigned int index, State& state)
+{
+ auto getword = [&state] {
+ auto word = state.dict.input();
+ while (word.size() == 0) {
+ state.input(state);
+ word = state.dict.input();
+ }
+ return word;
+ };
+ auto newdef = [](Dictionary& dict, Word word) {
+ auto addr = dict.alignhere();
+ dict.addDefinition(word);
+ dict.write(addr,
+ (dict.read(addr) & 0x1F) |
+ ((addr - dict.latest()) << 6));
+ dict.latest(addr);
+ };
+ auto tick = [&state](Word word) {
+ if (auto j = state.dict.find(word); j > 0)
+ state.push(state.dict.getexec(j));
+ else if (auto i = CoreWords::findi(state, word); i >= 0)
+ state.push(i & ~CoreWords::Compiletime);
+ else
+ state.push(0);
};
- return index >= 0 && index < WordCount ? ops[index] : nullptr;
-}
-
-void CoreWords::op_drop(State& state)
-{
- state.pop();
-}
-
-void CoreWords::op_dup(State& state)
-{
- state.push(state.top());
-}
-
-void CoreWords::op_swap(State& state)
-{
- std::swap(state.top(), state.pick(1));
-}
-
-void CoreWords::op_pick(State& state)
-{
- state.push(state.pick(state.pop()));
-}
-
-void CoreWords::op_sys(State& state)
-{
- return user_sys(state);
-}
-
-void CoreWords::op_add(State& state)
-{
- const auto a = state.pop();
- state.top() += a;
-}
-
-void CoreWords::op_sub(State& state)
-{
- const auto a = state.pop();
- state.top() -= a;
-}
-
-void CoreWords::op_mul(State& state) {
- const auto a = state.pop();
- state.top() *= a;
-}
-
-void CoreWords::op_div(State& state) {
- const auto a = state.pop();
- state.top() /= a;
-}
-
-void CoreWords::op_mod(State& state) {
- const auto a = state.pop();
- state.top() %= a;
-}
-
-void CoreWords::op_peek(State& state) {
- if (auto w = state.pop(); w == 1)
- state.push(state.dict.readbyte(state.pop()));
- else
- state.push(state.dict.read(state.pop()));
-}
-
-void CoreWords::op_poke(State& state) {
- const auto w = state.pop();
- const auto addr = state.pop();
- if (w == 1)
- state.dict.writebyte(addr, state.pop());
- else
- state.dict.write(addr, state.pop());
-}
-
-void CoreWords::op_pushr(State& state) {
- state.pushr(state.pop());
-}
-
-void CoreWords::op_popr(State& state) {
- state.push(state.popr());
-}
-
-void CoreWords::op_eq(State& state) {
- const auto a = state.pop();
- state.top() = state.top() == a;
-}
-
-void CoreWords::op_lt(State& state) {
- const auto a = state.pop();
- state.top() = state.top() < a;
-}
-
-void CoreWords::op_allot(State& state) {
- state.dict.allot(state.pop());
-}
-
-void CoreWords::op_and(State& state) {
- const auto a = state.pop();
- state.top() &= a;
-}
-
-void CoreWords::op_or(State& state) {
- const auto a = state.pop();
- state.top() |= a;
-}
-
-void CoreWords::op_xor(State& state) {
- const auto a = state.pop();
- state.top() ^= a;
-}
-
-void CoreWords::op_shl(State& state) {
- const auto a = state.pop();
- state.top() <<= a;
-}
-
-void CoreWords::op_shr(State& state) {
- const auto a = state.pop();
- state.top() >>= a;
-}
-
-void CoreWords::op_colon(State& state) {
- Word word = state.dict.input();
- while (word.size() == 0) {
- state.input(state);
- word = state.dict.input();
- }
-
- const auto start = state.dict.alignhere();
- state.dict.addDefinition(word);
- state.dict.write(start,
- (state.dict.read(start) & 0x1F) |
- ((start - state.dict.latest()) << 6));
- state.dict.latest(start);
- state.compiling(true);
-}
-
-void CoreWords::op_tick(State& state) {
- Word word = state.dict.input();
- while (word.size() == 0) {
- state.input(state);
- word = state.dict.input();
- }
-
- Cell xt = 0;
- if (auto i = CoreWords::findi(state, word); i >= 0) {
- xt = i & ~CoreWords::Compiletime;
- } else if (auto j = state.dict.find(word); j > 0) {
- xt = state.dict.getexec(j);
- }
-
- state.push(xt);
-}
-
-void CoreWords::op_execute(State& state) {
- state.execute(state.pop());
-}
-
-void CoreWords::op_exit(State& state) {
- state.ip = state.popr();
-}
-
-void CoreWords::op_semic(State& state) {
- if (state.compiling()) {
+ Cell cell;
+
+ switch (index) {
+ default:
+ // must be calling a defined subroutine
+ state.pushr(state.ip);
+ state.ip = index - sizeof(Cell);
+ break;
+ case 0: // drop
+ state.pop();
+ break;
+ case 1: // dup
+ state.push(state.top());
+ break;
+ case 2: // swap
+ std::swap(state.top(), state.pick(1));
+ break;
+ case 3: // pick
+ state.push(state.pick(state.pop()));
+ break;
+ case 4: // sys
+ user_sys(state);
+ break;
+ case 5: // add
+ cell = state.pop();
+ state.top() += cell;
+ break;
+ case 6: // sub
+ cell = state.pop();
+ state.top() -= cell;
+ break;
+ case 7: // mul
+ cell = state.pop();
+ state.top() *= cell;
+ break;
+ case 8: // div
+ cell = state.pop();
+ state.top() /= cell;
+ break;
+ case 9: // mod
+ cell = state.pop();
+ state.top() %= cell;
+ break;
+ case 10: // peek
+ if (state.pop())
+ state.push(state.dict.read(state.pop()));
+ else
+ state.push(state.dict.readbyte(state.pop()));
+ break;
+ case 11: // poke
+ cell = state.pop();
+ if (auto addr = state.pop(); cell)
+ state.dict.write(addr, state.pop());
+ else
+ state.dict.writebyte(addr, state.pop());
+ break;
+ case 12: // pushr
+ state.pushr(state.pop());
+ break;
+ case 13: // popr
+ state.push(state.popr());
+ break;
+ case 14: // equal
+ cell = state.pop();
+ state.top() = state.top() == cell;
+ break;
+ case 15: // lt
+ cell = state.pop();
+ state.top() = state.top() < cell;
+ break;
+ case 16: // allot
+ state.dict.allot(state.pop());
+ break;
+ case 17: // and
+ cell = state.pop();
+ state.top() &= cell;
+ break;
+ case 18: // or
+ cell = state.pop();
+ state.top() |= cell;
+ break;
+ case 19: // xor
+ cell = state.pop();
+ state.top() ^= cell;
+ break;
+ case 20: // shl
+ cell = state.pop();
+ state.top() <<= cell;
+ break;
+ case 21: // shr
+ cell = state.pop();
+ state.top() >>= cell;
+ break;
+ case 22: // colon
+ newdef(state.dict, getword());
+ state.compiling(true);
+ break;
+ case 23: // tick
+ tick(getword());
+ break;
+ case 24: // execute
+ state.execute(state.pop());
+ break;
+ case 25: // exit
+ state.ip = state.popr();
+ break;
+ case 26: // semic
state.dict.add(findi("exit"));
state.compiling(false);
- }
-}
-
-void CoreWords::op_here(State& state) {
- state.push(state.dict.here);
-}
-
-void CoreWords::op_lit(State& state)
-{
- state.push(state.beyondip());
- state.ip += sizeof(Cell);
-}
-
-void CoreWords::op_literal(State& state)
-{
- if (state.compiling()) {
+ break;
+ case 27: // here
+ state.push(state.dict.here);
+ break;
+ case 28: // _lit
+ state.push(state.beyondip());
+ break;
+ case 29: // literal
state.dict.add(findi("_lit"));
state.dict.add(state.pop());
+ break;
+ case 30: // _jmp
+ state.ip = state.beyondip() - sizeof(Cell);
+ break;
+ case 31: // _jmp0
+ if (state.pop())
+ state.beyondip();
+ else
+ state.ip = state.beyondip() - sizeof(Cell);
+ break;
+ case 32: // depth
+ state.push(state.size());
+ break;
+ case 33: // _rdepth
+ state.push(state.rsize());
+ break;
+ case 34: // key
+ cell = state.dict.read(Dictionary::Input);
+ while (cell <= 0) {
+ state.input(state);
+ cell = state.dict.read(Dictionary::Input);
+ }
+
+ state.dict.write(Dictionary::Input, cell - 1);
+
+ state.push(
+ state.dict.readbyte(
+ Dictionary::Input + sizeof(Cell) +
+ Dictionary::InputCells - cell));
+ break;
}
}
-void CoreWords::op_jmp(State& state)
-{
- state.ip = state.beyondip() - sizeof(Cell);
-}
-
-void CoreWords::op_jmp0(State& state)
-{
- if (state.pop())
- state.ip += sizeof(Cell);
- else
- op_jmp(state);
-}
-
-void CoreWords::op_depth(State& state)
-{
- state.push(state.size());
-}
-
-void CoreWords::op_rdepth(State& state)
-{
- state.push(state.rsize());
-}
-
-void CoreWords::op_key(State& state)
-{
- auto len = state.dict.read(Dictionary::Input);
- while (len <= 0) {
- state.input(state);
- len = state.dict.read(Dictionary::Input);
- }
-
- state.dict.write(Dictionary::Input, len - 1);
- Addr addr = Dictionary::Input + sizeof(Cell) +
- Dictionary::InputCells - len;
- Cell val = state.dict.readbyte(addr);
-
- state.push(val);
-}
-
int CoreWords::findi(std::string_view word)
{
std::size_t i;
return -1;
}
-Func CoreWords::find(State& state, Word word)
-{
- const auto i = findi(state, word);
- return i >= 0 ? get(i & ~Compiletime) : nullptr;
-}
-
-void CoreWords::run(int i, State& state)
-{
- if (i >= 0 && i < WordCount)
- get(i)(state);
-}
-
static int findi(std::string_view);
static int findi(State&, Word);
- static Func find(State&, Word);
- static void run(int, State&);
+ static void run(unsigned int, State&);
private:
// Ends with '\0': regular word
constexpr static char wordsarr[] =
"drop\0dup\0swap\0pick\0sys\0"
"+\0-\0*\0/\0%\0"
- "_@\0_!\0>r\0r>\0"
- "=\0<\0allot\0&\0|\0"
- "^\0<<\0>>\0:\1"
- ";\1here\0depth\0"
- "key\0exit\0'\0execute\0_jmp\0"
- "_jmp0\0_lit\0literal\1_rdepth\0";
-
- static Func get(int);
-
- static void op_drop(State&);
- static void op_dup(State&);
- static void op_swap(State&);
- static void op_pick(State&);
- static void op_sys(State&);
- static void op_add(State&);
- static void op_sub(State&);
- static void op_mul(State&);
- static void op_div(State&);
- static void op_mod(State&);
- static void op_peek(State&);
- static void op_poke(State&);
- static void op_pushr(State&);
- static void op_popr(State&);
- static void op_eq(State&);
- static void op_lt(State&);
- static void op_allot(State&);
- static void op_and(State&);
- static void op_or(State&);
- static void op_xor(State&);
- static void op_shl(State&);
- static void op_shr(State&);
- static void op_colon(State&);
- static void op_semic(State&);
- static void op_here(State&);
- static void op_lit(State&);
- static void op_depth(State&);
- static void op_rdepth(State&);
- static void op_key(State&);
- static void op_exit(State&);
- static void op_tick(State&);
- static void op_execute(State&);
- static void op_jmp(State&);
- static void op_jmp0(State&);
- static void op_literal(State&);
+ "_@\0_!\0>r\0r>\0=\0"
+ "<\0allot\0&\0|\0^\0"
+ "<<\0>>\0:\0'\0execute\0"
+ "exit\0;\1here\0_lit\0literal\1"
+ "_jmp\0_jmp0\0depth\0_rdepth\0key\0";
};
#endif // ALEEFORTH_COREWORDS_HPP
projects / bitgloo / alee-forth.git / commitdiff