93 lines
2.0 KiB
C++
93 lines
2.0 KiB
C++
|
typedef struct {
|
||
|
|
CELL type;
|
||
|
|
CELL owner;
|
||
|
|
F_GROWABLE_BYTE_ARRAY code;
|
||
|
|
F_GROWABLE_BYTE_ARRAY relocation;
|
||
|
|
F_GROWABLE_ARRAY literals;
|
||
|
|
bool computing_offset_p;
|
||
|
|
F_FIXNUM position;
|
||
|
|
CELL offset;
|
||
|
|
} F_JIT;
|
||
|
|
|
||
|
|
void jit_init(F_JIT *jit, CELL jit_type, CELL owner);
|
||
|
|
|
||
|
|
void jit_compute_position(F_JIT *jit, CELL offset);
|
||
|
|
|
||
|
|
F_CODE_BLOCK *jit_make_code_block(F_JIT *jit);
|
||
|
|
|
||
|
|
void jit_dispose(F_JIT *jit);
|
||
|
|
|
||
|
|
INLINE F_BYTE_ARRAY *code_to_emit(CELL code_template)
|
||
|
|
{
|
||
|
|
return untag_byte_array_fast(array_nth(untag_array_fast(code_template),0));
|
||
|
|
}
|
||
|
|
|
||
|
|
void jit_emit(F_JIT *jit, CELL code_template);
|
||
|
|
|
||
|
|
/* Allocates memory */
|
||
|
|
INLINE void jit_add_literal(F_JIT *jit, CELL literal)
|
||
|
|
{
|
||
|
|
#ifdef FACTOR_DEBUG
|
||
|
|
type_of(literal);
|
||
|
|
#endif
|
||
|
|
growable_array_add(&jit->literals,literal);
|
||
|
|
}
|
||
|
|
|
||
|
|
/* Allocates memory */
|
||
|
|
INLINE void jit_emit_with(F_JIT *jit, CELL code_template, CELL argument)
|
||
|
|
{
|
||
|
|
REGISTER_ROOT(code_template);
|
||
|
|
jit_add_literal(jit,argument);
|
||
|
|
UNREGISTER_ROOT(code_template);
|
||
|
|
jit_emit(jit,code_template);
|
||
|
|
}
|
||
|
|
|
||
|
|
/* Allocates memory */
|
||
|
|
INLINE void jit_push(F_JIT *jit, CELL literal)
|
||
|
|
{
|
||
|
|
jit_emit_with(jit,userenv[JIT_PUSH_IMMEDIATE],literal);
|
||
|
|
}
|
||
|
|
|
||
|
|
/* Allocates memory */
|
||
|
|
INLINE void jit_word_jump(F_JIT *jit, CELL word)
|
||
|
|
{
|
||
|
|
jit_emit_with(jit,userenv[JIT_WORD_JUMP],word);
|
||
|
|
}
|
||
|
|
|
||
|
|
/* Allocates memory */
|
||
|
|
INLINE void jit_word_call(F_JIT *jit, CELL word)
|
||
|
|
{
|
||
|
|
jit_emit_with(jit,userenv[JIT_WORD_CALL],word);
|
||
|
|
}
|
||
|
|
|
||
|
|
/* Allocates memory */
|
||
|
|
INLINE void jit_emit_subprimitive(F_JIT *jit, CELL word)
|
||
|
|
{
|
||
|
|
CELL code_template = untag_word_fast(word)->subprimitive;
|
||
|
|
REGISTER_ROOT(code_template);
|
||
|
|
|
||
|
|
if(array_nth(untag_array_fast(code_template),1) != F)
|
||
|
|
jit_add_literal(jit,T);
|
||
|
|
|
||
|
|
jit_emit(jit,code_template);
|
||
|
|
UNREGISTER_ROOT(code_template);
|
||
|
|
}
|
||
|
|
|
||
|
|
INLINE F_FIXNUM jit_get_position(F_JIT *jit)
|
||
|
|
{
|
||
|
|
if(jit->computing_offset_p)
|
||
|
|
{
|
||
|
|
/* If this is still on, jit_emit() didn't clear it,
|
||
|
|
so the offset was out of bounds */
|
||
|
|
return -1;
|
||
|
|
}
|
||
|
|
else
|
||
|
|
return jit->position;
|
||
|
|
}
|
||
|
|
|
||
|
|
INLINE void jit_set_position(F_JIT *jit, F_FIXNUM position)
|
||
|
|
{
|
||
|
|
if(jit->computing_offset_p)
|
||
|
|
jit->position = position;
|
||
|
|
}
|