diff options
| author | Andy Wingo <wingo@pobox.com> | 2019-08-04 21:45:25 +0200 |
|---|---|---|
| committer | Andy Wingo <wingo@pobox.com> | 2019-08-04 21:54:51 +0200 |
| commit | 382cc5c246ccbe8dc1f6fa589f4fcf7f076fab69 (patch) | |
| tree | 90c8aeab220d134dcae6fcb45539dd26c333f3d9 /libguile/jit.c | |
| parent | ef1869b723661803c579cfa0547589b23cc6b1a3 (diff) | |
| download | guile-382cc5c246ccbe8dc1f6fa589f4fcf7f076fab69.tar.gz | |
Add support for optimized unboxed abs and sqrt
Some components of this have been wired up for a while; this commit
finishes the compiler, runtime, and JIT support.
* libguile/intrinsics.h (SCM_FOR_ALL_VM_INTRINSICS):
* libguile/intrinsics.c (scm_bootstrap_intrinsics): Declare the new
intrinsics.
* libguile/jit.c (compile_call_f64_from_f64): Define code generators for
the new intrinsics.
* libguile/vm-engine.c (call-f64<-f64): New instruction.
* module/language/cps/effects-analysis.scm:
* module/language/cps/reify-primitives.scm (compute-known-primitives):
* module/language/cps/slot-allocation.scm (compute-var-representations):
* module/language/cps/specialize-numbers.scm (specialize-operations):
* module/language/tree-il/cps-primitives.scm (abs):
* module/system/vm/assembler.scm (system, define-f64<-f64-intrinsic):
(sqrt, abs, fsqrt, fabs):
* module/language/cps/types.scm (fsqrt, fabs): Add new f64<-f64
primitives.
Diffstat (limited to 'libguile/jit.c')
| -rw-r--r-- | libguile/jit.c | 26 |
1 files changed, 26 insertions, 0 deletions
diff --git a/libguile/jit.c b/libguile/jit.c index 082eb3ef3..a8b2270a2 100644 --- a/libguile/jit.c +++ b/libguile/jit.c @@ -516,6 +516,8 @@ DEFINE_CLOBBER_RECORDING_EMITTER_R_I(muli, gpr) DEFINE_CLOBBER_RECORDING_EMITTER_R_R(mulr, gpr) DEFINE_CLOBBER_RECORDING_EMITTER_R_R(mulr_d, fpr) DEFINE_CLOBBER_RECORDING_EMITTER_R_R(divr_d, fpr) +DEFINE_CLOBBER_RECORDING_EMITTER_R(absr_d, fpr) +DEFINE_CLOBBER_RECORDING_EMITTER_R(sqrtr_d, fpr) DEFINE_CLOBBER_RECORDING_EMITTER_R_I(andi, gpr) DEFINE_CLOBBER_RECORDING_EMITTER_R_R(andr, gpr) DEFINE_CLOBBER_RECORDING_EMITTER_R_R(orr, gpr) @@ -2363,6 +2365,30 @@ compile_call_f64_from_scm (scm_jit_state *j, uint16_t dst, uint16_t a, uint32_t } static void +compile_call_f64_from_f64 (scm_jit_state *j, uint16_t dst, uint16_t src, uint32_t idx) +{ + switch ((enum scm_vm_intrinsic) idx) + { + case SCM_VM_INTRINSIC_FABS: + { + emit_sp_ref_f64 (j, JIT_F0, src); + emit_absr_d (j, JIT_F0, JIT_F0); + emit_sp_set_f64 (j, dst, JIT_F0); + break; + } + case SCM_VM_INTRINSIC_FSQRT: + { + emit_sp_ref_f64 (j, JIT_F0, src); + emit_sqrtr_d (j, JIT_F0, JIT_F0); + emit_sp_set_f64 (j, dst, JIT_F0); + break; + } + default: + DIE("unhandled f64<-f64"); + } +} + +static void compile_call_u64_from_scm (scm_jit_state *j, uint16_t dst, uint16_t a, uint32_t idx) { void *intrinsic = ((void **) &scm_vm_intrinsics)[idx]; |