vm/words.cpp

   1 #include "master.hpp"
   2
   3 namespace factor
   4 {
   5
   6 word *factor_vm::allot_word(cell vocab_, cell name_)
   7 {
   8         gc_root<object> vocab(vocab_,this);
   9         gc_root<object> name(name_,this);
  10
  11         gc_root<word> new_word(allot<word>(sizeof(word)),this);
  12
  13         new_word->hashcode = tag_fixnum((rand() << 16) ^ rand());
  14         new_word->vocabulary = vocab.value();
  15         new_word->name = name.value();
  16         new_word->def = userenv[UNDEFINED_ENV];
  17         new_word->props = F;
  18         new_word->counter = tag_fixnum(0);
  19         new_word->pic_def = F;
  20         new_word->pic_tail_def = F;
  21         new_word->subprimitive = F;
  22         new_word->profiling = NULL;
  23         new_word->code = NULL;
  24
  25         jit_compile_word(new_word.value(),new_word->def,true);
  26         update_word_xt(new_word.value());
  27
  28         if(profiling_p)
  29                 relocate_code_block(new_word->profiling);
  30
  31         return new_word.untagged();
  32 }
  33
  34 /* <word> ( name vocabulary -- word ) */
  35 inline void factor_vm::primitive_word()
  36 {
  37         cell vocab = dpop();
  38         cell name = dpop();
  39         dpush(tag<word>(allot_word(vocab,name)));
  40 }
  41
  42 PRIMITIVE_FORWARD(word)
  43
  44 /* word-xt ( word -- start end ) */
  45 inline void factor_vm::primitive_word_xt()
  46 {
  47         word *w = untag_check<word>(dpop());
  48         code_block *code = (profiling_p ? w->profiling : w->code);
  49         dpush(allot_cell((cell)code->xt()));
  50         dpush(allot_cell((cell)code + code->size));
  51 }
  52
  53 PRIMITIVE_FORWARD(word_xt)
  54
  55 /* Allocates memory */
  56 void factor_vm::update_word_xt(cell w_)
  57 {
  58         gc_root<word> w(w_,this);
  59
  60         if(profiling_p)
  61         {
  62                 if(!w->profiling)
  63                 {
  64                         /* Note: can't do w->profiling = ... since if LHS
  65                         evaluates before RHS, since in that case if RHS does a
  66                         GC, we will have an invalid pointer on the LHS */
  67                         code_block *profiling = compile_profiling_stub(w.value());
  68                         w->profiling = profiling;
  69                 }
  70
  71                 w->xt = w->profiling->xt();
  72         }
  73         else
  74                 w->xt = w->code->xt();
  75 }
  76
  77 inline void factor_vm::primitive_optimized_p()
  78 {
  79         drepl(tag_boolean(word_optimized_p(untag_check<word>(dpeek()))));
  80 }
  81
  82 PRIMITIVE_FORWARD(optimized_p)
  83
  84 inline void factor_vm::primitive_wrapper()
  85 {
  86         wrapper *new_wrapper = allot<wrapper>(sizeof(wrapper));
  87         new_wrapper->object = dpeek();
  88         drepl(tag<wrapper>(new_wrapper));
  89 }
  90
  91 PRIMITIVE_FORWARD(wrapper)
  92
  93 }