clyne
/
sforth
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

native_dict

Browse Source
main
Clyne 3 weeks ago
parent 9b90d6fe67
commit 860f5d485d
Signed by: clyne
GPG Key ID: 1B74EE6C49C96795
1 changed files with 74 additions and 51 deletions
Show Stats Download Patch File Download Diff File

125
forth.hpp
Unescape Escape View File

@ -94,7 +94,7 @@ struct ctstring {
} }
}; };
template<ctstring Name, ctstring Body, auto& Prev> template<ctstring Name, ctstring Body, auto *Prev = (const word_base *)nullptr>
struct comp_word : public word_base struct comp_word : public word_base
{ {
constexpr static auto N = (sizeof(Name) + sizeof(cell) - 1) & ~(sizeof(cell) - 1); constexpr static auto N = (sizeof(Name) + sizeof(cell) - 1) & ~(sizeof(cell) - 1);
@ -107,7 +107,7 @@ struct comp_word : public word_base
const auto word = parse(Body.data, sourcei); const auto word = parse(Body.data, sourcei);
b++; b++;
if (!Prev.get_ct(word)) if (!Prev->get_ct(word))
b++; b++;
} }
return b; return b;
@ -125,12 +125,14 @@ struct comp_word : public word_base
consteval const func *get_ct(std::string_view name) const { consteval const func *get_ct(std::string_view name) const {
if (name == std::string_view{Name.data}) if (name == std::string_view{Name.data})
return &prologue; return &prologue;
else if (Prev)
return Prev->get_ct(name);
else else
return Prev.get_ct(name); return nullptr;
} }
consteval comp_word(const func prol, addr flags = 0): consteval comp_word(const func prol, addr flags = 0):
word_base{&Prev, N | flags}, namebuf{}, prologue{prol}, bodybuf{} word_base{Prev, N | flags}, namebuf{}, prologue{prol}, bodybuf{}
{ {
std::copy(Name.data, Name.data + sizeof(Name), namebuf.data()); std::copy(Name.data, Name.data + sizeof(Name), namebuf.data());
@ -157,7 +159,7 @@ struct comp_word : public word_base
} }
}; };
template<ctstring Name, auto *Prev = (const word_base *)nullptr> template<ctstring Name, func Body, auto *Prev = (const word_base *)nullptr>
struct native_word : public word_base struct native_word : public word_base
{ {
constexpr static auto N = (sizeof(Name) + sizeof(cell) - 1) & ~(sizeof(cell) - 1); constexpr static auto N = (sizeof(Name) + sizeof(cell) - 1) & ~(sizeof(cell) - 1);
@ -173,13 +175,37 @@ struct native_word : public word_base
return nullptr; return nullptr;
} }
consteval native_word(func bod, addr flags = 0): consteval native_word(addr flags = 0):
word_base{Prev, N | flags}, namebuf{}, body{bod} word_base{Prev, N | flags}, namebuf{}, body{Body}
{ {
std::copy(Name.data, Name.data + sizeof(Name), namebuf.data()); std::copy(Name.data, Name.data + sizeof(Name), namebuf.data());
} }
}; };
template<ctstring Name, func Body, addr Flags, auto... Next>
struct native_dict
{
constexpr static native_word<Name, Body,
[] {
if constexpr (sizeof...(Next))
return &native_dict<Next...>::word;
else
return (const word_base *)nullptr;
}()> word {Flags};
};
template<ctstring Name, ctstring Body, addr Flags, auto... Next>
struct comp_dict
{
constexpr static comp_word<Name, Body,
[] {
if constexpr (sizeof...(Next))
return &native_dict<Next...>::word;
else
return (const word_base *)nullptr;
}()> word {Flags};
};
struct forth : public word_list struct forth : public word_list
{ {
static constexpr bool enable_exceptions = true; static constexpr bool enable_exceptions = true;
@ -398,54 +424,51 @@ struct forth : public word_list
*fth.here++ = std::bit_cast<cell>((*g)->body()); *fth.here++ = std::bit_cast<cell>((*g)->body());
}; };
constexpr static native_word<"_d"> w_dict {f_dict}; constexpr static auto& asdf = native_dict<
constexpr static native_word<"_lit", &w_dict> w_liti {lit_impl}; ctstring{"_d"}, f_dict, 0,
constexpr static native_word<"swap", &w_liti> w_swap {f_swap}; ctstring{"_lit"}, lit_impl, 0,
constexpr static native_word<"drop", &w_swap> w_drop {f_drop}; ctstring{"swap"}, f_swap, 0,
constexpr static native_word<"dup", &w_drop> w_dup {f_dup}; ctstring{"drop"}, f_drop, 0,
constexpr static native_word<"rot", &w_dup> w_rot {f_rot}; ctstring{"dup"}, f_dup, 0,
constexpr static native_word<"+", &w_rot> w_add {f_add}; ctstring{"rot"}, f_rot, 0,
constexpr static native_word<"-", &w_add> w_minus {f_minus}; ctstring{"+"}, f_add, 0,
constexpr static native_word<"*", &w_minus> w_times {f_times}; ctstring{"-"}, f_minus, 0,
constexpr static native_word<"/", &w_times> w_divid {f_divide}; ctstring{"*"}, f_times, 0,
constexpr static native_word<"mod", &w_divid> w_mod {f_mod}; ctstring{"/"}, f_divide, 0,
constexpr static native_word<"and", &w_mod> w_and {f_bitand}; ctstring{"mod"}, f_mod, 0,
constexpr static native_word<"or", &w_and> w_or {f_bitor}; ctstring{"and"}, f_bitand, 0,
constexpr static native_word<"xor", &w_or> w_xor {f_bitxor}; ctstring{"or"}, f_bitor, 0,
constexpr static native_word<"lshift", &w_xor> w_lsh {f_lshift}; ctstring{"xor"}, f_bitxor, 0,
constexpr static native_word<"rshift", &w_lsh> w_rsh {f_rshift}; ctstring{"lshift"}, f_lshift, 0,
constexpr static native_word<"[", &w_rsh> w_lbrac {f_lbrac, ctstring{"rshift"}, f_rshift, 0,
word_base::immediate}; ctstring{"["}, f_lbrac, word_base::immediate,
constexpr static native_word<"]", &w_lbrac> w_rbrac {f_rbrac}; ctstring{"]"}, f_rbrac, 0,
constexpr static native_word<"immediate", &w_rbrac> w_imm {f_imm}; ctstring{"immediate"}, f_imm, 0,
constexpr static native_word<"literal", &w_imm> w_lit {f_lit, ctstring{"literal"}, f_lit, word_base::immediate,
word_base::immediate}; ctstring{"@"}, f_peek, 0,
constexpr static native_word<"@", &w_lit> w_peek {f_peek}; ctstring{"!"}, f_poke, 0,
constexpr static native_word<"!", &w_peek> w_poke {f_poke}; ctstring{"c@"}, f_cpeek, 0,
constexpr static native_word<"c@", &w_poke> w_cpeek {f_cpeek}; ctstring{"c!"}, f_cpoke, 0,
constexpr static native_word<"c!", &w_cpeek> w_cpoke {f_cpoke}; ctstring{"="}, f_eq, 0,
constexpr static native_word<"=", &w_cpoke> w_eq {f_eq}; ctstring{"<"}, f_lt, 0,
constexpr static native_word<"<", &w_eq> w_lt {f_lt}; ctstring{"\'"}, f_tick, 0,
constexpr static native_word<"\'", &w_lt> w_tick {f_tick}; ctstring{":"}, f_colon, 0,
constexpr static native_word<":", &w_tick> w_colon {f_colon}; ctstring{";"}, f_semic, word_base::immediate,
constexpr static native_word<";", &w_colon> w_semic {f_semic, ctstring{"\\"}, f_comm, word_base::immediate,
word_base::immediate}; ctstring{"cell"}, f_cell, 0,
constexpr static native_word<"\\", &w_semic> w_comm {f_comm, ctstring{"_jmp"}, f_jmp, 0,
word_base::immediate}; ctstring{"_jmp0"}, f_jmp0, 0,
constexpr static native_word<"cell", &w_comm> w_cell {f_cell}; ctstring{"postpone"}, f_postpone, word_base::immediate
constexpr static native_word<"_jmp", &w_cell> w_jmp {f_jmp}; >::word;
constexpr static native_word<"_jmp0", &w_jmp> w_jmp0 {f_jmp0}; constexpr static comp_word<"cell+", "cell +", &asdf> w_cellp
constexpr static native_word<"postpone", &w_jmp0> w_postp {f_postpone,
word_base::immediate};
constexpr static comp_word<"cell+", "cell +", w_postp> w_cellp
{forth::prologue<fthp>}; {forth::prologue<fthp>};
constexpr static comp_word<"cells", "cell *", w_cellp> w_cells constexpr static comp_word<"cells", "cell *", &w_cellp> w_cells
{forth::prologue<fthp>}; {forth::prologue<fthp>};
constexpr static comp_word<"char+", "1 +", w_cells> w_charp constexpr static comp_word<"char+", "1 +", &w_cells> w_charp
{forth::prologue<fthp>}; {forth::prologue<fthp>};
constexpr static comp_word<"1+", "1 +", w_charp> w_inc constexpr static comp_word<"1+", "1 +", &w_charp> w_inc
{forth::prologue<fthp>}; {forth::prologue<fthp>};
constexpr static comp_word<"1-", "1 -", w_inc> w_dec constexpr static comp_word<"1-", "1 -", &w_inc> w_dec
{forth::prologue<fthp>}; {forth::prologue<fthp>};
fth.next = &w_dec; fth.next = &w_dec;

Write Preview
Loading…
Cancel
Save