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.
125 lines
2.3 KiB
C
125 lines
2.3 KiB
C
#include "builtins.h"
|
|
|
|
#include <stdlib.h>
|
|
|
|
#define IF_SIG (uint32_t)-1
|
|
#define WHILE_SIG (uint32_t)-2
|
|
#define ELSE_SIG (uint32_t)-3
|
|
#define FUNC_SIG (uint32_t)-4
|
|
|
|
int bn_set(instance *it);
|
|
int bn_if(instance *it);
|
|
int bn_else(instance *it);
|
|
int bn_end(instance *it);
|
|
int bn_while(instance *it);
|
|
int bn_func(instance *it);
|
|
int bn_solve(instance *it);
|
|
|
|
void iload_builtins(instance *it)
|
|
{
|
|
inew_cfunc(it, "set", bn_set);
|
|
inew_cfunc(it, "if", bn_if);
|
|
inew_cfunc(it, "else", bn_else);
|
|
inew_cfunc(it, "while", bn_while);
|
|
inew_cfunc(it, "func", bn_func);
|
|
inew_cfunc(it, "solve", bn_solve);
|
|
}
|
|
|
|
int bn_set(instance *it)
|
|
{
|
|
variable *var = igetarg(it, 0);
|
|
variable *value = igetarg(it, 1);
|
|
var->type = value->type;
|
|
var->value.p = value->value.p;
|
|
ipush(it, (uint32_t)var);
|
|
return 0;
|
|
}
|
|
|
|
int bn_if(instance *it)
|
|
{
|
|
variable *cond = (variable *)ipop(it);
|
|
uint32_t result = cond->value.p;
|
|
|
|
ipush(it, result);
|
|
ipush(it, IF_SIG);
|
|
if (result == 0)
|
|
it->sindent = SKIP | it->indent;
|
|
ipush(it, 0);
|
|
ipush(it, 0); // need to return because stack modify
|
|
|
|
return 0;
|
|
}
|
|
|
|
static uint32_t if_cond = 0;
|
|
int bn_else(instance *it)
|
|
{
|
|
uint32_t cond = if_cond;
|
|
if (cond != 0)
|
|
it->sindent = SKIP | it->indent;
|
|
ipush(it, ELSE_SIG);
|
|
ipush(it, 0); // for ret
|
|
return 0;
|
|
}
|
|
|
|
int bn_end(instance *it)
|
|
{
|
|
uint32_t sig = ipop(it);
|
|
if (sig == IF_SIG) {
|
|
if_cond = ipop(it);
|
|
} else if (sig == WHILE_SIG) {
|
|
uint32_t lnidx = ipop(it);
|
|
if (lnidx != (int32_t)-1)
|
|
it->lnidx = lnidx - 1;
|
|
} else if (sig == CALL_SIG) {
|
|
it->lnidx = ipop(it);
|
|
it->indent++;
|
|
}
|
|
return 0;
|
|
}
|
|
|
|
int bn_while(instance *it)
|
|
{
|
|
variable *cond = (variable *)ipop(it);
|
|
uint32_t result = cond->value.p;
|
|
|
|
if (result == 0) {
|
|
it->sindent = SKIP | it->indent;
|
|
ipush(it, (uint32_t)-1);
|
|
} else {
|
|
ipush(it, it->lnidx);
|
|
}
|
|
ipush(it, WHILE_SIG);
|
|
ipush(it, 0);
|
|
ipush(it, 0); // need to ret
|
|
return 0;
|
|
}
|
|
|
|
int bn_func(instance *it)
|
|
{
|
|
variable *f = igetarg(it, 0);
|
|
if (f == 0)
|
|
return -1;
|
|
|
|
f->type = FUNC;
|
|
f->value.p = it->lnidx;
|
|
it->sindent = SKIP | it->indent;
|
|
ipush(it, FUNC_SIG);
|
|
ipush(it, 0); // for ret
|
|
return 0;
|
|
}
|
|
|
|
int bn_solve(instance *it)
|
|
{
|
|
variable *s = igetarg(it, 0);
|
|
variable **ops = iparse(it, (const char *)s->value.p);
|
|
if (ops == 0)
|
|
return -1;
|
|
|
|
variable *a = isolve(it, ops, 0);
|
|
free(ops);
|
|
|
|
ipush(it, (uint32_t)a);
|
|
return 0;
|
|
}
|
|
|