mirror/guile
mirror/guile
1
Fork 0
mirror of https://git.savannah.gnu.org/git/guile.git synced 2025-06-15 08:10:17 +02:00
Code Activity

Add intrinsics for a baseline compiler

Browse source 
Since there's no optimization in the baseline compiler, there's no sense
in instruction explosion.

* libguile/intrinsics.h:
* libguile/intrinsics.c ($car, $cdr, $set-car!, $set-cdr!,
  $variable-ref, $variable-set!, $vector-length, $vector-ref,
  $vector-set!, $vector-ref/immediate, $vector-set!, $allocate-struct,
  $struct-vtable, $struct-ref, $struct-set!  $struct-ref/immediate,
  $struct-set!): New intrinsics.
* libguile/jit.c (compile_call_scm_scm, compile_call_scm_scm_slow)
  (compile_call_scm_scm_scm, compile_call_scm_scm_scm_slow)
  (compile_call_scm_uimm_scm, compile_call_scm_uimm_scm_slow): New
  code generators.
* libguile/vm-engine.c (call-scm-scm, call-scm-scm-scm,
  call-scm-uimm-scm): New instructions.
* module/system/vm/assembler.scm (emit-null?, emit-false?, emit-nil?):
  Export these.  Also export emitters for the new intrinsics.
  (define-scm-scm-intrinsic, define-scm-uimm-scm-intrinsic)
  (define-scm-scm-scm-intrinsic): New helpers.
* doc/ref/vm.texi (Intrinsic Call Instructions): Add new instructions.
This commit is contained in:
Andy Wingo 2020-04-29 21:23:53 +02:00
parent 3d96c87cf8
commit d6b6daca37
6 changed files with 290 additions and 5 deletions
Download patch file Download diff file Expand all files Collapse all files

60
libguile/vm-engine.c
View file

@ -3319,9 +3319,63 @@ VM_NAME (scm_thread *thread)
NEXT (1);
}
VM_DEFINE_OP (160, unused_160, NULL, NOP)
VM_DEFINE_OP (161, unused_161, NULL, NOP)
VM_DEFINE_OP (162, unused_162, NULL, NOP)
/* call-scm-scm a:12 b:12 IDX:32
*
* Call the void-returning instrinsic with index IDX, passing SCM
* locals A and B as arguments.
*/
VM_DEFINE_OP (160, call_scm_scm, "call-scm-scm", OP2 (X8_S12_S12, C32))
{
uint16_t a, b;
scm_t_scm_scm_intrinsic intrinsic;
UNPACK_12_12 (op, a, b);
intrinsic = intrinsics[ip[1]];
SYNC_IP ();
intrinsic (SP_REF (a), SP_REF (b));
NEXT (2);
}
/* call-scm-scm-scm a:8 b:8 c:8 IDX:32
*
* Call the void-returning instrinsic with index IDX, passing SCM
* locals A, B, and C as arguments.
*/
VM_DEFINE_OP (161, call_scm_scm_scm, "call-scm-scm-scm", OP2 (X8_S8_S8_S8, C32))
{
uint8_t a, b, c;
scm_t_scm_scm_scm_intrinsic intrinsic;
UNPACK_8_8_8 (op, a, b, c);
intrinsic = intrinsics[ip[1]];
SYNC_IP ();
intrinsic (SP_REF (a), SP_REF (b), SP_REF (c));
NEXT (2);
}
/* call-scm-uimm-scm a:8 b:8 c:8 IDX:32
*
* Call the void-returning instrinsic with index IDX, passing SCM
* local A, uint8 B, and SCM local C as arguments.
*/
VM_DEFINE_OP (162, call_scm_uimm_scm, "call-scm-uimm-scm", OP2 (X8_S8_C8_S8, C32))
{
uint8_t a, b, c;
scm_t_scm_uimm_scm_intrinsic intrinsic;
UNPACK_8_8_8 (op, a, b, c);
intrinsic = intrinsics[ip[1]];
SYNC_IP ();
intrinsic (SP_REF (a), b, SP_REF (c));
NEXT (2);
}
VM_DEFINE_OP (163, unused_163, NULL, NOP)
VM_DEFINE_OP (164, unused_164, NULL, NOP)
VM_DEFINE_OP (165, unused_165, NULL, NOP)