ref: 29b1d01e4c8bd99be867ce986408362f8ae8d023
dir: /src/sl.c/
#include "sl.h"
#include "operators.h"
#include "cvalues.h"
#include "types.h"
#include "print.h"
#include "read.h"
#include "timefuncs.h"
#include "equal.h"
#include "hashing.h"
#include "table.h"
#include "iostream.h"
#include "compress.h"
value_t sl_builtins_table_sym, sl_quote, sl_lambda, sl_function, sl_comma, sl_commaat;
value_t sl_commadot, sl_trycatch, sl_backquote;
value_t sl_conssym, sl_symbolsym, sl_fixnumsym, sl_vectorsym, sl_builtinsym, sl_vu8sym;
value_t sl_defsym, sl_defmacrosym, sl_forsym, sl_setqsym;
value_t sl_booleansym, sl_nullsym, sl_evalsym, sl_fnsym;
value_t sl_nulsym, sl_alarmsym, sl_backspacesym, sl_tabsym, sl_linefeedsym, sl_newlinesym;
value_t sl_vtabsym, sl_pagesym, sl_returnsym, sl_escsym, sl_spacesym, sl_deletesym;
value_t sl_errio, sl_errparse, sl_errtype, sl_errarg, sl_errmem;
value_t sl_errdiv0, sl_errbounds, sl_err, sl_errkey, sl_errunbound;
value_t sl_printwidthsym, sl_printreadablysym, sl_printprettysym, sl_printlengthsym;
value_t sl_printlevelsym;
value_t sl_tablesym, sl_arraysym;
value_t sl_iostreamsym, sl_rdsym, sl_wrsym, sl_apsym, sl_crsym, sl_truncsym;
value_t sl_instrsym, sl_outstrsym;
value_t sl_int8sym, sl_uint8sym, sl_int16sym, sl_uint16sym, sl_int32sym, sl_uint32sym;
value_t sl_int64sym, sl_uint64sym, sl_bignumsym;
value_t sl_bytesym, sl_runesym, sl_floatsym, sl_doublesym;
value_t sl_stringtypesym, sl_runestringtypesym;
sl_thread(Sl *sl);
typedef struct {
const char *name;
builtin_t fptr;
}builtinspec_t;
bool
isbuiltin(value_t x)
{
int i;
return tag(x) == TAG_FUNCTION && (i = uintval(x)) < nelem(builtins) && builtins[i].name != nil;
}
static value_t apply_cl(int nargs) sl_hotfn;
// error utilities ------------------------------------------------------------
void
free_readstate(sl_readstate_t *rs)
{
htable_free(&rs->backrefs);
htable_free(&rs->gensyms);
}
_Noreturn void
sl_exit(int status)
{
SL(exiting) = true;
sl_gc(false);
exit(status);
}
#define sl_TRY \
sl_exception_context_t _ctx; int l__tr, l__ca; \
_ctx.sp = SL(sp); _ctx.frame = SL(curr_frame); _ctx.rdst = SL(readstate); _ctx.prev = SL(exctx); \
_ctx.ngchnd = SL(ngchandles); SL(exctx) = &_ctx; \
if(!sl_setjmp(_ctx.buf)) \
for(l__tr = 1; l__tr; l__tr = 0, (void)(SL(exctx) = SL(exctx)->prev))
#define sl_CATCH_INC \
l__ca = 0, SL(lasterror) = sl_nil, SL(throwing_frame) = 0, SL(sp) = _ctx.sp, SL(curr_frame) = _ctx.frame
#define sl_CATCH \
else \
for(l__ca = 1; l__ca; sl_CATCH_INC)
#define sl_CATCH_NO_INC \
else \
for(l__ca = 1; l__ca;)
void
sl_savestate(sl_exception_context_t *_ctx)
{
_ctx->sp = SL(sp);
_ctx->frame = SL(curr_frame);
_ctx->rdst = SL(readstate);
_ctx->prev = SL(exctx);
_ctx->ngchnd = SL(ngchandles);
}
void
sl_restorestate(sl_exception_context_t *_ctx)
{
SL(lasterror) = sl_nil;
SL(throwing_frame) = 0;
SL(sp) = _ctx->sp;
SL(curr_frame) = _ctx->frame;
}
_Noreturn void
sl_raise(value_t e)
{
ios_flush(ios_stdout);
ios_flush(ios_stderr);
SL(lasterror) = e;
// unwind read state
while(SL(readstate) != SL(exctx)->rdst){
free_readstate(SL(readstate));
SL(readstate) = SL(readstate)->prev;
}
if(SL(throwing_frame) == 0)
SL(throwing_frame) = SL(curr_frame);
SL(ngchandles) = SL(exctx)->ngchnd;
sl_exception_context_t *thisctx = SL(exctx);
if(SL(exctx)->prev) // don't throw past toplevel
SL(exctx) = SL(exctx)->prev;
sl_longjmp(thisctx->buf, 1);
}
_Noreturn void
lerrorf(value_t e, const char *format, ...)
{
char msgbuf[256];
va_list args;
PUSH(e);
va_start(args, format);
vsnprintf(msgbuf, sizeof(msgbuf), format, args);
value_t msg = string_from_cstr(msgbuf);
va_end(args);
e = POP();
sl_raise(sl_list2(e, msg));
}
_Noreturn void
type_error(const char *expected, value_t got)
{
sl_raise(sl_listn(3, sl_errtype, symbol(expected, false), got));
}
_Noreturn void
bounds_error(value_t arr, value_t ind)
{
sl_raise(sl_listn(3, sl_errbounds, arr, ind));
}
_Noreturn void
unbound_error(value_t sym)
{
sl_raise(sl_listn(2, sl_errunbound, sym));
}
_Noreturn void
arity_error(int nargs, int c)
{
lerrorf(sl_errarg, "arity mismatch: wanted %"PRId32", got %"PRId32, c, nargs);
}
// safe cast operators --------------------------------------------------------
#define isstring sl_isstring
#define SAFECAST_OP(type, ctype, cnvt) \
ctype to##type(value_t v) \
{ \
if(sl_likely(is##type(v))) \
return (ctype)cnvt(v); \
type_error(#type, v); \
}
SAFECAST_OP(cons, cons_t*, ptr)
SAFECAST_OP(symbol, symbol_t*, ptr)
SAFECAST_OP(fixnum, fixnum_t, numval)
//SAFECAST_OP(cvalue, cvalue_t*, ptr)
SAFECAST_OP(string, char*, cvalue_data)
#undef isstring
// symbol table ---------------------------------------------------------------
static symbol_t *
mk_symbol(const char *str, int len, bool copy)
{
symbol_t *sym = MEM_ALLOC(sizeof(*sym) + (copy ? len+1 : 0));
sym->numtype = NONNUMERIC;
if(str[0] == ':' && str[1] != 0){
value_t s = tagptr(sym, TAG_SYM);
sym->flags = FLAG_KEYWORD;
setc(s, s);
}else{
sym->binding = UNBOUND;
sym->flags = 0;
}
sym->type = nil;
sym->hash = memhash(str, len)^0xAAAAAAAAAAAAAAAAULL;
if(copy){
memcpy((char*)(sym+1), str, len+1);
sym->name = (const char*)(sym+1);
}else{
sym->name = str;
}
sym->size = 0;
return sym;
}
value_t
symbol(const char *str, bool copy)
{
int len = strlen(str);
symbol_t *v;
const char *k;
if(!Tgetkv(SL(symtab), str, len, &k, (void**)&v)){
v = mk_symbol(str, len, copy);
SL(symtab) = Tsetl(SL(symtab), v->name, len, v);
}
return tagptr(v, TAG_SYM);
}
value_t
csymbol_(const char *str, int len)
{
symbol_t *v = mk_symbol(str, len, false);
SL(symtab) = Tsetl(SL(symtab), str, len, v);
return tagptr(v, TAG_SYM);
}
BUILTIN("gensym", gensym)
{
argcount(nargs, 0);
USED(args);
gensym_t *gs = alloc_words(sizeof(gensym_t)/sizeof(value_t));
gs->id = SL(gensym_ctr)++;
gs->binding = UNBOUND;
gs->type = nil;
return tagptr(gs, TAG_SYM);
}
value_t
gensym(void)
{
return fn_builtin_gensym(nil, 0);
}
sl_purefn
BUILTIN("gensym?", gensymp)
{
argcount(nargs, 1);
return isgensym(args[0]) ? sl_t : sl_nil;
}
char *
uint2str(char *dest, size_t len, uint64_t num, int base)
{
int i = len-1;
uint64_t b = (uint64_t)base;
char ch;
dest[i--] = '\0';
while(i >= 0){
ch = (char)(num % b);
if(ch < 10)
ch += '0';
else
ch = ch-10+'a';
dest[i--] = ch;
num /= b;
if(num == 0)
break;
}
return &dest[i+1];
}
const char *
symbol_name(value_t v)
{
if(ismanaged(v)){
gensym_t *gs = ptr(v);
SL(gsnameno) = 1-SL(gsnameno);
char *n = uint2str(SL(gsname)[SL(gsnameno)]+1, sizeof(SL(gsname)[0])-1, gs->id, 10);
*(--n) = 'g';
return n;
}
return ((symbol_t*)ptr(v))->name;
}
// conses ---------------------------------------------------------------------
value_t
mk_cons(void)
{
cons_t *c;
if(sl_unlikely(SL(curheap) > SL(lim)))
sl_gc(false);
c = (cons_t*)SL(curheap);
SL(curheap) += sizeof(cons_t);
return tagptr(c, TAG_CONS);
}
void *
alloc_words(int n)
{
value_t *first;
#if !defined(BITS64)
// force 8-byte alignment
if(n & 1)
n++;
#endif
if(sl_unlikely((value_t*)SL(curheap) > (value_t*)SL(lim)+2-n)){
sl_gc(false);
while(sl_unlikely((value_t*)SL(curheap) > ((value_t*)SL(lim))+2-n))
sl_gc(true);
}
first = (value_t*)SL(curheap);
SL(curheap) += n*sizeof(value_t);
return first;
}
value_t
alloc_vector(size_t n, bool init)
{
if(n == 0)
return SL(the_empty_vector);
value_t *c = alloc_words(n+1);
value_t v = tagptr(c, TAG_VECTOR);
vector_setsize(v, n);
if(init){
for(size_t i = 0; i < n; i++)
vector_elt(v, i) = sl_void;
}
return v;
}
// collector ------------------------------------------------------------------
void
sl_gc_handle(value_t *pv)
{
if(sl_unlikely(SL(ngchandles) >= N_GC_HANDLES))
lerrorf(sl_errmem, "out of gc handles");
SL(gchandles)[SL(ngchandles)++] = pv;
}
void
sl_free_gc_handles(int n)
{
assert(SL(ngchandles) >= n);
SL(ngchandles) -= n;
}
value_t
relocate(value_t v)
{
value_t a, d, nc, first, *pcdr;
if(isfixnum(v))
return v;
uintptr_t t = tag(v);
if(t == TAG_CONS){
// iterative implementation allows arbitrarily long cons chains
pcdr = &first;
do{
a = car_(v);
if(isforwarded(v)){
*pcdr = forwardloc(v);
return first;
}
d = cdr_(v);
*pcdr = nc = tagptr((cons_t*)SL(curheap), TAG_CONS);
SL(curheap) += sizeof(cons_t);
forward(v, nc);
car_(nc) = ismanaged(a) ? relocate(a) : a;
pcdr = &cdr_(nc);
v = d;
}while(iscons(v));
*pcdr = d == sl_nil ? sl_nil : relocate(d);
return first;
}
if(!ismanaged(v))
return v;
if(isforwarded(v))
return forwardloc(v);
if(t == TAG_CVALUE)
return cvalue_relocate(v);
if(t == TAG_VECTOR){
// N.B.: 0-length vectors secretly have space for a first element
size_t i, sz = vector_size(v);
if(vector_elt(v, -1) & 0x1){
// grown vector
nc = relocate(vector_elt(v, 0));
forward(v, nc);
}else{
nc = tagptr(alloc_words(sz+1), TAG_VECTOR);
vector_setsize(nc, sz);
a = vector_elt(v, 0);
forward(v, nc);
if(sz > 0){
vector_elt(nc, 0) = relocate(a);
for(i = 1; i < sz; i++)
vector_elt(nc, i) = relocate(vector_elt(v, i));
}
}
return nc;
}
if(t == TAG_FUNCTION){
function_t *fn = ptr(v);
function_t *nfn = alloc_words(sizeof(function_t)/sizeof(value_t));
nfn->vals = fn->vals;
nfn->bcode = fn->bcode;
nc = tagptr(nfn, TAG_FUNCTION);
forward(v, nc);
nfn->vals = relocate(nfn->vals);
nfn->bcode = relocate(nfn->bcode);
nfn->env = relocate(fn->env);
assert(!ismanaged(fn->name));
nfn->name = fn->name;
return nc;
}
if(t == TAG_SYM){
gensym_t *gs = ptr(v);
gensym_t *ng = alloc_words(sizeof(gensym_t)/sizeof(value_t));
ng->id = gs->id;
ng->binding = gs->binding;
ng->type = gs->type;
nc = tagptr(ng, TAG_SYM);
forward(v, nc);
if(sl_likely(ng->binding != UNBOUND))
ng->binding = relocate(ng->binding);
return nc;
}
if(t == TAG_CPRIM){
cprim_t *pcp = ptr(v);
size_t nw = CPRIM_NWORDS+NWORDS(cp_class(pcp)->size);
cprim_t *ncp = alloc_words(nw);
while(nw--)
((value_t*)ncp)[nw] = ((value_t*)pcp)[nw];
nc = tagptr(ncp, TAG_CPRIM);
forward(v, nc);
return nc;
}
return v;
}
static void
trace_globals(void)
{
const char *k = nil;
symbol_t *v;
while(Tnext(SL(symtab), &k, (void**)&v)){
if(v->binding != UNBOUND)
v->binding = relocate(v->binding);
}
}
void
sl_gc(bool mustgrow)
{
SL(gccalls)++;
SL(curheap) = SL(tospace);
if(SL(grew))
SL(lim) = SL(curheap)+SL(heapsize)*2-sizeof(cons_t);
else
SL(lim) = SL(curheap)+SL(heapsize)-sizeof(cons_t);
value_t *top, *f;
if(SL(throwing_frame) > SL(curr_frame)){
top = SL(throwing_frame) - 3;
f = (value_t*)*top;
}else{
top = SL(sp);
f = SL(curr_frame);
}
for(;;){
for(value_t *p = f; p < top; p++)
*p = relocate(*p);
if(f == SL(stack))
break;
top = f - 3;
f = (value_t*)*top;
}
for(int i = 0; i < SL(ngchandles); i++)
*SL(gchandles)[i] = relocate(*SL(gchandles)[i]);
trace_globals();
relocate_typetable();
sl_readstate_t *rs = SL(readstate);
while(rs){
value_t ent;
for(int i = 0; i < rs->backrefs.size; i++){
ent = (value_t)rs->backrefs.table[i];
if(ent != (value_t)HT_NOTFOUND)
rs->backrefs.table[i] = (void*)relocate(ent);
}
for(int i = 0; i < rs->gensyms.size; i++){
ent = (value_t)rs->gensyms.table[i];
if(ent != (value_t)HT_NOTFOUND)
rs->gensyms.table[i] = (void*)relocate(ent);
}
rs->source = relocate(rs->source);
rs = rs->prev;
}
SL(lasterror) = relocate(SL(lasterror));
SL(memory_exception_value) = relocate(SL(memory_exception_value));
SL(the_empty_vector) = relocate(SL(the_empty_vector));
SL(the_empty_string) = relocate(SL(the_empty_string));
sweep_finalizers();
void *temp = SL(tospace);
SL(tospace) = SL(fromspace);
SL(fromspace) = temp;
// FIXME(sigrid): add some extra to the "used"?
sl_segused(SL(fromspace), SL(heapsize), SL(curheap)-SL(fromspace));
// if we're using > 80% of the space, resize tospace so we have
// more space to fill next time. if we grew tospace last time,
// grow the other half of the heap this time to catch up.
if(SL(grew) || ((intptr_t)(SL(lim)-SL(curheap)) < (intptr_t)SL(heapsize)/5) || mustgrow){
sl_segfree(SL(tospace), SL(heapsize));
SL(tospace) = sl_segalloc(SL(heapsize)*2);
if(sl_unlikely(SL(tospace) == nil)){
SL(tospace) = sl_segalloc(SL(heapsize));
if(SL(tospace) == nil){
// FIXME(sigrid): lost it entirely. give up?
// alternatively, wait and try indefinitely?
ios_printf(ios_stderr, "lost tospace\n");
exit(1);
}
sl_raise(SL(memory_exception_value));
}
if(SL(grew)){
SL(heapsize) *= 2;
temp = bitvector_resize(SL(consflags), 0, SL(heapsize)/sizeof(cons_t), 1);
if(sl_unlikely(temp == nil))
sl_raise(SL(memory_exception_value));
SL(consflags) = (uint32_t*)temp;
}
SL(grew) = !SL(grew);
}
if(sl_unlikely((value_t*)SL(curheap) > (value_t*)SL(lim)-2)){
// all data was live; gc again and grow heap.
// but also always leave at least 4 words available, so a closure
// can be allocated without an extra check.
sl_gc(false);
}
}
// utils ----------------------------------------------------------------------
// apply function with n args on the stack
sl_hotfn
static value_t
_applyn(int n)
{
value_t *saveSP = SL(sp);
value_t f = saveSP[-n-1];
value_t v;
if(iscbuiltin(f))
v = ((cvalue_t*)ptr(f))->cbuiltin(saveSP-n, n);
else if(isfunction(f))
v = apply_cl(n);
else if(sl_likely(isbuiltin(f))){
value_t tab = symbol_value(sl_builtins_table_sym);
if(sl_unlikely(ptr(tab) == nil))
unbound_error(tab);
saveSP[-n-1] = vector_elt(tab, uintval(f));
v = apply_cl(n);
}else{
type_error("function", f);
}
SL(sp) = saveSP;
return v;
}
value_t
sl_apply(value_t f, value_t v)
{
value_t *saveSP = SL(sp);
PUSH(f);
int n;
for(n = 0; iscons(v); n++){
PUSH(car_(v));
v = cdr_(v);
}
if(v != sl_nil)
lerrorf(sl_errarg, "apply: last argument: not a list");
v = _applyn(n);
SL(sp) = saveSP;
return v;
}
value_t
sl_applyn(int n, value_t f, ...)
{
va_list ap;
va_start(ap, f);
PUSH(f);
for(int i = 0; i < n; i++){
value_t a = va_arg(ap, value_t);
PUSH(a);
}
value_t v = _applyn(n);
POPN(n+1);
va_end(ap);
return v;
}
value_t
sl_listn(int n, ...)
{
va_list ap;
va_start(ap, n);
value_t *si = SL(sp);
for(int i = 0; i < n; i++){
value_t a = va_arg(ap, value_t);
PUSH(a);
}
cons_t *c = alloc_words(n*2);
cons_t *l = c;
for(int i = 0; i < n; i++){
c->car = *si++;
c->cdr = tagptr(c+1, TAG_CONS);
c++;
}
c[-1].cdr = sl_nil;
POPN(n);
va_end(ap);
return tagptr(l, TAG_CONS);
}
value_t
sl_list2(value_t a, value_t b)
{
PUSH(a);
PUSH(b);
cons_t *c = alloc_words(4);
b = POP();
a = POP();
c[0].car = a;
c[0].cdr = tagptr(c+1, TAG_CONS);
c[1].car = b;
c[1].cdr = sl_nil;
return tagptr(c, TAG_CONS);
}
value_t
sl_cons(value_t a, value_t b)
{
PUSH(a);
PUSH(b);
value_t c = mk_cons();
cdr_(c) = POP();
car_(c) = POP();
return c;
}
bool
sl_isnumber(value_t v)
{
if(isfixnum(v) || ismpint(v))
return true;
if(iscprim(v)){
cprim_t *c = ptr(v);
return c->type != SL(runetype) && valid_numtype(c->type->numtype);
}
return false;
}
// eval -----------------------------------------------------------------------
sl_hotfn
static value_t
list(value_t *args, int nargs, bool star)
{
if(sl_unlikely(nargs == 0))
return sl_nil;
value_t v = cons_reserve(nargs);
cons_t *c = ptr(v);
for(int i = 0; i < nargs; i++){
c->car = args[i];
c->cdr = tagptr(c+1, TAG_CONS);
c++;
}
if(star)
c[-2].cdr = c[-1].car;
else
c[-1].cdr = sl_nil;
return v;
}
static value_t
copy_list(value_t L)
{
if(!iscons(L))
return sl_nil;
value_t *plcons = SL(sp);
value_t *pL = plcons+1;
PUSH(sl_nil);
PUSH(L);
value_t c;
c = mk_cons(); PUSH(c); // save first cons
car_(c) = car_(*pL);
cdr_(c) = sl_nil;
*plcons = c;
*pL = cdr_(*pL);
while(iscons(*pL)){
c = mk_cons();
car_(c) = car_(*pL);
cdr_(c) = sl_nil;
cdr_(*plcons) = c;
*plcons = c;
*pL = cdr_(*pL);
}
c = POP(); // first cons
POPN(2);
return c;
}
static value_t
do_trycatch(void)
{
value_t *saveSP = SL(sp);
value_t v = sl_nil;
value_t thunk = saveSP[-2];
SL(sp)[-2] = saveSP[-1];
SL(sp)[-1] = thunk;
sl_TRY{
v = apply_cl(0);
}
sl_CATCH{
v = saveSP[-2];
PUSH(v);
PUSH(SL(lasterror));
v = apply_cl(1);
}
SL(sp) = saveSP;
return v;
}
/*
argument layout on stack is
|--required args--|--opt args--|--kw args--|--rest args...
*/
static int
process_keys(value_t kwtable, int nreq, int nkw, int nopt, value_t *bp, int nargs, int va)
{
int extr = nopt+nkw;
int ntot = nreq+extr;
value_t args[64], v = sl_nil;
int i, a = 0, nrestargs;
value_t s1 = SL(sp)[-1];
value_t s3 = SL(sp)[-3];
value_t s4 = SL(sp)[-4];
if(sl_unlikely(nargs < nreq))
lerrorf(sl_errarg, "too few arguments");
if(sl_unlikely(extr > nelem(args)))
lerrorf(sl_errarg, "too many arguments");
for(i = 0; i < extr; i++)
args[i] = UNBOUND;
for(i = nreq; i < nargs; i++){
v = bp[i];
if(issymbol(v) && iskeyword((symbol_t*)ptr(v)))
break;
if(a >= nopt)
goto no_kw;
args[a++] = v;
}
if(i >= nargs)
goto no_kw;
// now process keywords
uintptr_t n = vector_size(kwtable)/2;
do{
i++;
if(sl_unlikely(i >= nargs))
lerrorf(sl_errarg, "keyword %s requires an argument", symbol_name(v));
value_t hv = fixnum(((symbol_t*)ptr(v))->hash);
fixnum_t lx = numval(hv);
uintptr_t x = 2*((lx < 0 ? -lx : lx) % n);
if(sl_likely(vector_elt(kwtable, x) == v)){
intptr_t idx = numval(vector_elt(kwtable, x+1));
assert(idx < nkw);
idx += nopt;
if(args[idx] == UNBOUND){
// if duplicate key, keep first value
args[idx] = bp[i];
}
}else{
lerrorf(sl_errarg, "unsupported keyword %s", symbol_name(v));
}
i++;
if(i >= nargs)
break;
v = bp[i];
}while(issymbol(v) && iskeyword((symbol_t*)ptr(v)));
no_kw:
nrestargs = nargs - i;
if(sl_unlikely(!va && nrestargs > 0))
lerrorf(sl_errarg, "too many arguments");
nargs = ntot + nrestargs;
if(nrestargs)
memmove(bp+ntot, bp+i, nrestargs*sizeof(value_t));
memmove(bp+nreq, args, extr*sizeof(value_t));
SL(sp) = bp + nargs;
assert((intptr_t)(SL(sp)-SL(stack)) < (intptr_t)SL(nstack)-4);
PUSH(s4);
PUSH(s3);
PUSH(nargs);
PUSH(s1);
SL(curr_frame) = SL(sp);
return nargs;
}
#if BYTE_ORDER == LITTLE_ENDIAN && defined(MEM_UNALIGNED_ACCESS)
#define GET_INT32(a) *(const int32_t*)(a)
#define GET_INT16(a) *(const int16_t*)(a)
#else
#define GET_INT32(a) (int32_t)((a)[0]<<0 | (a)[1]<<8 | (a)[2]<<16 | (uint32_t)(a)[3]<<24)
#define GET_INT16(a) (int16_t)((a)[0]<<0 | (a)[1]<<8)
#endif
/*
stack on entry: <func> <nargs args...>
caller's responsibility:
- put the stack in this state
- provide arg count
- respect tail position
- restore SP
callee's responsibility:
- check arg counts
- allocate vararg array
- push closed env, set up new environment
*/
static value_t
apply_cl(int nargs)
{
value_t *top_frame = SL(curr_frame), *bp, *ipd;
register value_t *sp = SL(sp);
const uint8_t *ip;
bool tail;
int n;
goto apply_func;
#if defined(COMPUTED_GOTO)
#pragma GCC diagnostic push
#pragma GCC diagnostic ignored "-Wpedantic"
static const void * const ops[] = {
#define GOTO_OP_OFFSET(op) [op] = &&op_##op
#include "vm_goto.inc"
#undef GOTO_OP_OFFSET
};
#define NEXT_OP goto *ops[*ip++]
#define LABEL(x) x
#define OP(x) op_##x:
#include "vm.inc"
#undef OP
#undef LABEL
#undef NEXT_OP
#pragma GCC diagnostic pop
#else /* just a usual (portable) switch/case */
uint8_t op;
while(1){
switch(op){
#define NEXT_OP break
#define LABEL(x) x
#define OP(x) case x:
#include "vm.inc"
#undef OP
#undef LABEL
#undef NEXT_OP
}
op = *ip++;
}
#endif
}
// top = top frame pointer to start at
static value_t
_stacktrace(value_t *top)
{
value_t lst = sl_nil;
value_t *stack = SL(stack);
sl_gc_handle(&lst);
while(top > stack){
const uint8_t *ip1 = (void*)top[-1];
int sz = top[-2]+1;
value_t *bp = top-4-sz;
value_t func = bp[0];
const uint8_t *ip0 = cvalue_data(fn_bcode(func));
intptr_t ip = ip1 - ip0 - 1; /* -1: ip1 is *after* the one that was being executed */
value_t v = alloc_vector(sz+1, 0);
vector_elt(v, 0) = fixnum(ip);
vector_elt(v, 1) = func;
for(int i = 1; i < sz; i++){
value_t si = bp[i];
// if there's an error evaluating argument defaults some slots
// might be left set to UNBOUND
vector_elt(v, i+1) = si == UNBOUND ? sl_void : si;
}
lst = sl_cons(v, lst);
top = (value_t*)top[-3];
}
sl_free_gc_handles(1);
return lst;
}
// builtins -------------------------------------------------------------------
BUILTIN("gc", gc)
{
USED(args);
argcount(nargs, 0);
sl_gc(false);
return sl_void;
}
BUILTIN("function", function)
{
if(nargs == 1 && issymbol(args[0]))
return fn_builtin_builtin(args, nargs);
if(nargs < 2 || nargs > 4)
argcount(nargs, 2);
if(sl_unlikely(!sl_isstring(args[0])))
type_error("string", args[0]);
if(sl_unlikely(!isvector(args[1])))
type_error("vector", args[1]);
cvalue_t *arr = ptr(args[0]);
cv_pin(arr);
uint8_t *data = cv_data(arr);
if(SL(loading)){
// read syntax, shifted 48 for compact text representation
size_t i, sz = cv_len(arr);
for(i = 0; i < sz; i++)
data[i] -= 48;
}
function_t *fn = alloc_words(sizeof(function_t)/sizeof(value_t));
value_t fv = tagptr(fn, TAG_FUNCTION);
fn->bcode = args[0];
fn->vals = args[1];
fn->env = sl_nil;
fn->name = sl_lambda;
if(nargs > 2){
if(issymbol(args[2])){
fn->name = args[2];
if(nargs > 3)
fn->env = args[3];
}else{
fn->env = args[2];
if(nargs > 3){
if(sl_unlikely(!issymbol(args[3])))
type_error("symbol", args[3]);
fn->name = args[3];
}
}
if(sl_unlikely(isgensym(fn->name)))
lerrorf(sl_errarg, "name should not be a gensym");
}
return fv;
}
sl_purefn
BUILTIN("function:code", function_code)
{
argcount(nargs, 1);
value_t v = args[0];
if(sl_unlikely(!isfunction(v)))
type_error("function", v);
return fn_bcode(v);
}
sl_purefn
BUILTIN("function:vals", function_vals)
{
argcount(nargs, 1);
value_t v = args[0];
if(sl_unlikely(!isfunction(v)))
type_error("function", v);
return fn_vals(v);
}
sl_purefn
BUILTIN("function:env", function_env)
{
argcount(nargs, 1);
value_t v = args[0];
if(sl_unlikely(!isfunction(v)))
type_error("function", v);
return fn_env(v);
}
BUILTIN("function:name", function_name)
{
argcount(nargs, 1);
value_t v = args[0];
if(isfunction(v))
return fn_name(v);
if(isbuiltin(v))
return symbol(builtins[uintval(v)].name, false);
if(iscbuiltin(v)){
v = (value_t)ptrhash_get(&SL(reverse_dlsym_lookup_table), ptr(v));
if(v == (value_t)HT_NOTFOUND)
return sl_nil;
return v;
}
type_error("function", v);
}
BUILTIN("copy-list", copy_list)
{
argcount(nargs, 1);
return copy_list(args[0]);
}
BUILTIN("append", append)
{
value_t first = sl_nil, lst, lastcons = sl_nil;
int i;
if(nargs == 0)
return sl_nil;
sl_gc_handle(&first);
sl_gc_handle(&lastcons);
for(i = 0; i < nargs; i++){
lst = args[i];
if(iscons(lst)){
lst = copy_list(lst);
if(first == sl_nil)
first = lst;
else
cdr_(lastcons) = lst;
lastcons = tagptr((((cons_t*)SL(curheap))-1), TAG_CONS);
}else if(lst != sl_nil){
type_error("cons", lst);
}
}
sl_free_gc_handles(2);
return first;
}
BUILTIN("list*", liststar)
{
if(nargs == 1)
return args[0];
if(nargs == 0)
argcount(nargs, 1);
return list(args, nargs, true);
}
BUILTIN("stacktrace", stacktrace)
{
USED(args);
argcount(nargs, 0);
return _stacktrace(SL(throwing_frame) ? SL(throwing_frame) : SL(curr_frame));
}
BUILTIN("map", map)
{
if(sl_unlikely(nargs < 2))
lerrorf(sl_errarg, "too few arguments");
value_t *k = SL(sp);
PUSH(sl_nil);
PUSH(sl_nil);
for(bool first = true;;){
PUSH(args[0]);
for(int i = 1; i < nargs; i++){
if(!iscons(args[i])){
POPN(2+i);
return k[1];
}
PUSH(car(args[i]));
args[i] = cdr_(args[i]);
}
value_t v = _applyn(nargs-1);
POPN(nargs);
PUSH(v);
value_t c = mk_cons();
car_(c) = POP(); cdr_(c) = sl_nil;
if(first)
k[1] = c;
else
cdr_(k[0]) = c;
k[0] = c;
first = false;
}
}
BUILTIN("for-each", for_each)
{
if(sl_unlikely(nargs < 2))
lerrorf(sl_errarg, "too few arguments");
for(size_t n = 0;; n++){
PUSH(args[0]);
int pargs = 0;
for(int i = 1; i < nargs; i++, pargs++){
value_t v = args[i];
if(iscons(v)){
PUSH(car_(v));
args[i] = cdr_(v);
continue;
}
if(isvector(v)){
size_t sz = vector_size(v);
if(n < sz){
PUSH(vector_elt(v, n));
continue;
}
}
if(isarray(v)){
size_t sz = cvalue_arraylen(v);
if(n < sz){
value_t a[2];
a[0] = v;
a[1] = fixnum(n);
PUSH(cvalue_array_aref(a));
continue;
}
}
if(ishashtable(v)){
htable_t *h = totable(v);
assert(n != 0 || h->i == 0);
void **table = h->table;
for(; h->i < h->size; h->i += 2){
if(table[h->i+1] != HT_NOTFOUND)
break;
}
if(h->i < h->size){
PUSH((value_t)table[h->i]);
pargs++;
PUSH((value_t)table[h->i+1]);
h->i += 2;
continue;
}
h->i = 0;
}
POPN(pargs+1);
return sl_void;
}
_applyn(pargs);
POPN(pargs+1);
}
}
BUILTIN("sleep", sl_sleep)
{
if(nargs > 1)
argcount(nargs, 1);
double s = nargs > 0 ? todouble(args[0]) : 0;
sleep_ms(s * 1000.0);
return sl_void;
}
BUILTIN("vm-stats", vm_stats)
{
USED(args);
argcount(nargs, 0);
ios_printf(ios_stderr, "heap total %10"PRIuPTR" bytes\n", SL(heapsize));
ios_printf(ios_stderr, "heap free %10"PRIuPTR" bytes\n", (uintptr_t)(SL(lim)-SL(curheap)));
ios_printf(ios_stderr, "heap used %10"PRIuPTR" bytes\n", (uintptr_t)(SL(curheap)-SL(fromspace)));
ios_printf(ios_stderr, "stack %10"PRIu64" bytes\n", (uint64_t)SL(nstack)*sizeof(value_t));
ios_printf(ios_stderr, "finalizers %10"PRIu32"\n", (uint32_t)SL(nfinalizers));
ios_printf(ios_stderr, "max finalizers %10"PRIu32"\n", (uint32_t)SL(maxfinalizers));
ios_printf(ios_stderr, "gc handles %10"PRIu32"\n", (uint32_t)SL(ngchandles));
ios_printf(ios_stderr, "gc calls %10"PRIu64"\n", (uint64_t)SL(gccalls));
ios_printf(ios_stderr, "opcodes %10d\n", N_OPCODES);
return sl_void;
}
static const builtinspec_t builtin_fns[] = {
#define BUILTIN_FN(l, c, attr){l, (builtin_t)fn_builtin_##c},
#include "builtin_fns.h"
#undef BUILTIN_FN
};
// initialization -------------------------------------------------------------
int
sl_init(size_t heapsize, size_t stacksize)
{
int i;
if((sl = MEM_CALLOC(1, sizeof(*sl))) == nil)
return -1;
SL(scr_width) = 100;
SL(heapsize) = heapsize*sizeof(value_t);
if((SL(fromspace) = sl_segalloc(SL(heapsize))) == nil){
failed:
MEM_FREE(SL(consflags));
MEM_FREE(SL(finalizers));
sl_segfree(SL(fromspace), SL(heapsize));
sl_segfree(SL(tospace), SL(heapsize));
sl_segfree(SL(stack), stacksize*sizeof(value_t));
htable_free(&SL(printconses));
MEM_FREE(sl);
return -1;
}
if((SL(tospace) = sl_segalloc(SL(heapsize))) == nil)
goto failed;
SL(curheap) = SL(fromspace);
SL(lim) = SL(curheap)+SL(heapsize)-sizeof(cons_t);
if((SL(stack) = sl_segalloc(stacksize*sizeof(value_t))) == nil)
goto failed;
SL(curr_frame) = SL(sp) = SL(stack);
SL(nstack) = stacksize;
SL(maxfinalizers) = 512;
if((SL(finalizers) = MEM_ALLOC(SL(maxfinalizers) * sizeof(*SL(finalizers)))) == nil)
goto failed;
if((SL(consflags) = bitvector_new(SL(heapsize)/sizeof(cons_t), 1)) == nil)
goto failed;
if((htable_new(&SL(printconses), 32)) == nil)
goto failed;
comparehash_init();
sl_lambda = csymbol("λ");
sl_function = csymbol("function");
sl_quote = csymbol("quote");
sl_trycatch = csymbol("trycatch");
sl_backquote = csymbol("quasiquote");
sl_comma = csymbol("unquote");
sl_commaat = csymbol("unquote-splicing");
sl_commadot = csymbol("unquote-nsplicing");
sl_errio = csymbol("io-error");
sl_errparse = csymbol("parse-error");
sl_errtype = csymbol("type-error");
sl_errarg = csymbol("arg-error");
sl_errunbound = csymbol("unbound-error");
sl_errkey = csymbol("key-error");
sl_errmem = csymbol("memory-error");
sl_errbounds = csymbol("bounds-error");
sl_errdiv0 = csymbol("divide-error");
sl_err = csymbol("error");
sl_conssym = csymbol("cons");
sl_symbolsym = csymbol("symbol");
sl_fixnumsym = csymbol("fixnum");
sl_vectorsym = csymbol("vector");
sl_builtinsym = csymbol("builtin");
sl_booleansym = csymbol("boolean");
sl_nullsym = csymbol("null");
sl_defsym = csymbol("def");
sl_defmacrosym = csymbol("defmacro");
sl_forsym = csymbol("for");
sl_setqsym = csymbol("set!");
sl_evalsym = csymbol("eval");
sl_vu8sym = csymbol("vu8");
sl_fnsym = csymbol("fn");
sl_nulsym = csymbol("nul");
sl_alarmsym = csymbol("alarm");
sl_backspacesym = csymbol("backspace");
sl_tabsym = csymbol("tab");
sl_linefeedsym = csymbol("linefeed");
sl_vtabsym = csymbol("vtab");
sl_pagesym = csymbol("page");
sl_returnsym = csymbol("return");
sl_escsym = csymbol("esc");
sl_spacesym = csymbol("space");
sl_deletesym = csymbol("delete");
sl_newlinesym = csymbol("newline");
sl_builtins_table_sym = csymbol("*builtins*");
set(sl_printprettysym = csymbol("*print-pretty*"), sl_t);
set(sl_printreadablysym = csymbol("*print-readably*"), sl_t);
set(sl_printwidthsym = csymbol("*print-width*"), fixnum(SL(scr_width)));
set(sl_printlengthsym = csymbol("*print-length*"), sl_nil);
set(sl_printlevelsym = csymbol("*print-level*"), sl_nil);
SL(lasterror) = sl_nil;
for(i = 0; i < nelem(builtins); i++){
if(builtins[i].name)
set(symbol(builtins[i].name, false), builtin(i));
}
setc(csymbol("procedure?"), builtin(OP_FUNCTIONP));
setc(csymbol("top-level-bound?"), builtin(OP_BOUNDP));
SL(the_empty_vector) = tagptr(alloc_words(1), TAG_VECTOR);
vector_setsize(SL(the_empty_vector), 0);
cvalues_init();
set(csymbol("*os-name*"), cvalue_static_cstring(__os_name__));
#if defined(__os_version__)
set(csymbol("*os-version*"), cvalue_static_cstring(__os_version__));
#endif
SL(memory_exception_value) = sl_list2(sl_errmem, cvalue_static_cstring("out of memory"));
const builtinspec_t *b;
for(i = 0, b = builtin_fns; i < nelem(builtin_fns); i++, b++)
cbuiltin(b->name, b->fptr);
table_init();
iostream_init();
compress_init();
return 0;
}
// top level ------------------------------------------------------------------
value_t
sl_toplevel_eval(value_t expr)
{
return sl_applyn(1, symbol_value(sl_evalsym), expr);
}
int
sl_load_system_image(value_t sys_image_iostream)
{
SL(loading) = true;
PUSH(sys_image_iostream);
value_t *saveSP = SL(sp);
sl_TRY{
while(1){
SL(sp) = saveSP;
value_t e = sl_read_sexpr(SL(sp)[-1]);
if(ios_eof(value2c(ios_t*, SL(sp)[-1])))
break;
if(isfunction(e)){
// stage 0 format: series of thunks
PUSH(e);
(void)_applyn(0);
}else{
// stage 1 format: list alternating symbol/value
while(iscons(e)){
symbol_t *sym = tosymbol(car_(e));
e = cdr_(e);
if(sym->binding != UNBOUND)
ios_printf(ios_stderr, "%s redefined on boot\n", sym->name);
sym->binding = car_(e);
e = cdr_(e);
}
break;
}
}
}
sl_CATCH_NO_INC{
ios_puts(ios_stderr, "fatal error during bootstrap: ");
sl_print(ios_stderr, SL(lasterror));
ios_putc(ios_stderr, '\n');
return -1;
}
SL(sp) = saveSP-1;
SL(loading) = false;
return 0;
}