factor/native/stack.c

202 lines
3.2 KiB
C
Raw Normal View History

2004-07-16 02:26:21 -04:00
#include "factor.h"
void reset_datastack(void)
{
ds = ds_bot - CELLS;
}
void reset_callstack(void)
{
cs = cs_bot - CELLS;
}
2004-11-08 22:36:51 -05:00
void fix_stacks(void)
{
if(STACK_UNDERFLOW(ds,ds_bot))
reset_datastack();
else if(STACK_OVERFLOW(ds,ds_bot,ds_size))
2004-11-08 22:36:51 -05:00
reset_datastack();
else if(STACK_UNDERFLOW(cs,cs_bot))
reset_callstack();
else if(STACK_OVERFLOW(cs,cs_bot,cs_size))
2004-11-08 22:36:51 -05:00
reset_callstack();
}
void init_stacks(CELL ds_size_, CELL cs_size_)
2004-08-12 02:13:43 -04:00
{
ds_size = ds_size_;
cs_size = cs_size_;
ds_bot = (CELL)alloc_guarded(ds_size);
2004-08-12 02:13:43 -04:00
reset_datastack();
cs_bot = (CELL)alloc_guarded(cs_size);
2004-08-12 02:13:43 -04:00
reset_callstack();
}
2004-07-16 02:26:21 -04:00
void primitive_drop(void)
{
dpop();
2004-07-16 02:26:21 -04:00
}
2005-09-05 03:06:47 -04:00
void primitive_2drop(void)
{
ds -= 2 * CELLS;
}
void primitive_3drop(void)
{
ds -= 3 * CELLS;
}
2004-07-16 02:26:21 -04:00
void primitive_dup(void)
{
dpush(dpeek());
2004-07-16 02:26:21 -04:00
}
2005-09-05 03:06:47 -04:00
void primitive_2dup(void)
{
CELL top = dpeek();
CELL next = get(ds - CELLS);
ds += CELLS * 2;
put(ds - CELLS,next);
put(ds,top);
}
void primitive_3dup(void)
{
CELL c1 = dpeek();
CELL c2 = get(ds - CELLS);
CELL c3 = get(ds - CELLS * 2);
ds += CELLS * 3;
put (ds,c1);
put (ds - CELLS,c2);
put (ds - CELLS * 2,c3);
}
void primitive_rot(void)
{
CELL c1 = dpeek();
CELL c2 = get(ds - CELLS);
CELL c3 = get(ds - CELLS * 2);
put(ds,c3);
put(ds - CELLS,c1);
put(ds - CELLS * 2,c2);
}
void primitive__rot(void)
{
CELL c1 = dpeek();
CELL c2 = get(ds - CELLS);
CELL c3 = get(ds - CELLS * 2);
put(ds,c2);
put(ds - CELLS,c3);
put(ds - CELLS * 2,c1);
}
void primitive_dupd(void)
{
CELL top = dpeek();
CELL next = get(ds - CELLS);
put(ds,next);
put(ds - CELLS,next);
dpush(top);
}
void primitive_swapd(void)
{
CELL top = get(ds - CELLS);
CELL next = get(ds - CELLS * 2);
put(ds - CELLS,next);
put(ds - CELLS * 2,top);
}
void primitive_nip(void)
{
CELL top = dpop();
drepl(top);
}
void primitive_2nip(void)
{
CELL top = dpeek();
ds -= CELLS * 2;
drepl(top);
}
void primitive_tuck(void)
2004-07-16 02:26:21 -04:00
{
CELL top = dpeek();
CELL next = get(ds - CELLS);
put(ds,next);
put(ds - CELLS,top);
2005-09-05 03:06:47 -04:00
dpush(top);
2004-07-16 02:26:21 -04:00
}
void primitive_over(void)
{
dpush(get(ds - CELLS));
2004-07-16 02:26:21 -04:00
}
void primitive_pick(void)
{
dpush(get(ds - CELLS * 2));
2004-07-16 02:26:21 -04:00
}
2005-09-05 03:06:47 -04:00
void primitive_swap(void)
{
CELL top = dpeek();
CELL next = get(ds - CELLS);
put(ds,next);
put(ds - CELLS,top);
}
2004-07-16 02:26:21 -04:00
void primitive_to_r(void)
{
cpush(dpop());
2004-07-16 02:26:21 -04:00
}
void primitive_from_r(void)
{
dpush(cpop());
2004-07-16 02:26:21 -04:00
}
F_VECTOR* stack_to_vector(CELL bottom, CELL top)
2004-07-16 02:26:21 -04:00
{
CELL depth = (top - bottom + CELLS) / CELLS;
F_VECTOR* v = vector(depth);
2005-04-09 18:30:46 -04:00
F_ARRAY* a = untag_array_fast(v->array);
memcpy(a + 1,(void*)bottom,depth * CELLS);
2005-01-27 20:06:10 -05:00
v->top = tag_fixnum(depth);
2004-07-16 02:26:21 -04:00
return v;
}
void primitive_datastack(void)
{
2005-06-16 18:50:49 -04:00
maybe_gc(0);
2004-08-20 18:48:08 -04:00
dpush(tag_object(stack_to_vector(ds_bot,ds)));
2004-07-16 02:26:21 -04:00
}
void primitive_callstack(void)
{
2005-06-16 18:50:49 -04:00
maybe_gc(0);
2004-08-20 18:48:08 -04:00
dpush(tag_object(stack_to_vector(cs_bot,cs)));
2004-07-16 02:26:21 -04:00
}
/* Returns top of stack */
CELL vector_to_stack(F_VECTOR* vector, CELL bottom)
2004-07-16 02:26:21 -04:00
{
CELL start = bottom;
2005-01-27 20:06:10 -05:00
CELL len = untag_fixnum_fast(vector->top) * CELLS;
2005-04-09 18:30:46 -04:00
memcpy((void*)start,untag_array_fast(vector->array) + 1,len);
return start + len - CELLS;
2004-07-16 02:26:21 -04:00
}
void primitive_set_datastack(void)
{
2004-08-20 18:48:08 -04:00
ds = vector_to_stack(untag_vector(dpop()),ds_bot);
2004-07-16 02:26:21 -04:00
}
void primitive_set_callstack(void)
{
2004-08-20 18:48:08 -04:00
cs = vector_to_stack(untag_vector(dpop()),cs_bot);
2004-07-16 02:26:21 -04:00
}