Idris2/support/refc/runtime.c

109 lines
3.3 KiB
C
Raw Normal View History

#include "runtime.h"
#include "refc_util.h"
void missing_ffi() {
fprintf(stderr, "Foreign function declared, but not defined.\n"
"Cannot call missing FFI - aborting.\n");
exit(1);
}
void push_Arglist(Value_Arglist *arglist, Value *arg) {
IDRIS2_REFC_VERIFY(arglist->filled < arglist->total,
"unable to add more arguments to arglist");
arglist->args[arglist->filled] = newReference(arg);
arglist->filled++;
}
Value *apply_closure(Value *_clos, Value *arg) {
// create a new arg list
Value_Arglist *oldArgs = ((Value_Closure *)_clos)->arglist;
Value_Arglist *newArgs = newArglist(0, oldArgs->total);
newArgs->filled = oldArgs->filled + 1;
// add argument to new arglist
for (int i = 0; i < oldArgs->filled; i++) {
newArgs->args[i] = newReference(oldArgs->args[i]);
}
newArgs->args[oldArgs->filled] = newReference(arg);
Value_Closure *clos = (Value_Closure *)_clos;
// check if enough arguments exist
if (newArgs->filled >= newArgs->total) {
fun_ptr_t f = clos->f;
while (1) {
Value *retVal = f(newArgs);
removeReference((Value *)newArgs);
if (!retVal || retVal->header.tag != COMPLETE_CLOSURE_TAG) {
return retVal;
}
f = ((Value_Closure *)retVal)->f;
newArgs = ((Value_Closure *)retVal)->arglist;
newArgs = (Value_Arglist *)newReference((Value *)newArgs);
removeReference(retVal);
}
}
return (Value *)makeClosureFromArglist(clos->f, newArgs);
}
Value *tailcall_apply_closure(Value *_clos, Value *arg) {
// create a new arg list
Value_Arglist *oldArgs = ((Value_Closure *)_clos)->arglist;
Value_Arglist *newArgs = newArglist(0, oldArgs->total);
newArgs->filled = oldArgs->filled + 1;
// add argument to new arglist
for (int i = 0; i < oldArgs->filled; i++) {
newArgs->args[i] = newReference(oldArgs->args[i]);
}
newArgs->args[oldArgs->filled] = newReference(arg);
Value_Closure *clos = (Value_Closure *)_clos;
// check if enough arguments exist
if (newArgs->filled >= newArgs->total)
return (Value *)makeClosureFromArglist(clos->f, newArgs);
return (Value *)makeClosureFromArglist(clos->f, newArgs);
}
int extractInt(Value *v) {
switch (v->header.tag) {
case INT8_TAG:
return (int)((Value_Int8 *)v)->i8;
case INT16_TAG:
return (int)((Value_Int16 *)v)->i16;
case INT32_TAG:
return (int)((Value_Int32 *)v)->i32;
case INT64_TAG:
return (int)((Value_Int64 *)v)->i64;
case INTEGER_TAG:
return (int)mpz_get_si(((Value_Integer *)v)->i);
case DOUBLE_TAG:
return (int)((Value_Double *)v)->d;
case CHAR_TAG:
2021-06-07 16:30:08 +03:00
return (int)((Value_Char *)v)->c;
default:
return -1;
2021-06-07 16:30:08 +03:00
}
}
Value *trampoline(Value *closure) {
fun_ptr_t f = ((Value_Closure *)closure)->f;
Value_Arglist *_arglist = ((Value_Closure *)closure)->arglist;
Value_Arglist *arglist = (Value_Arglist *)newReference((Value *)_arglist);
removeReference(closure);
while (1) {
Value *retVal = f(arglist);
removeReference((Value *)arglist);
if (!retVal || retVal->header.tag != COMPLETE_CLOSURE_TAG) {
return retVal;
}
f = ((Value_Closure *)retVal)->f;
arglist = ((Value_Closure *)retVal)->arglist;
arglist = (Value_Arglist *)newReference((Value *)arglist);
removeReference(retVal);
}
return NULL;
}