diff options
author | Andy Wingo <wingo@pobox.com> | 2019-05-23 21:00:20 +0200 |
---|---|---|
committer | Andy Wingo <wingo@pobox.com> | 2019-05-23 21:00:20 +0200 |
commit | 6880ced4c24e76c713061de80619353153a0a537 (patch) | |
tree | a1aff0eac9e0854068149178ca0221d6f264abae | |
parent | ee28c0680d2b686182c7585e5c7fa6c1524152ab (diff) | |
download | guile-6880ced4c24e76c713061de80619353153a0a537.tar.gz |
Reference Lightening instead of GNU Lightning
* doc/ref/vm.texi (Just-In-Time Native Code): Update with link to
Lightening.
-rw-r--r-- | doc/ref/vm.texi | 15 |
1 files changed, 9 insertions, 6 deletions
diff --git a/doc/ref/vm.texi b/doc/ref/vm.texi index d11847091..5a0b5a739 100644 --- a/doc/ref/vm.texi +++ b/doc/ref/vm.texi @@ -1,6 +1,6 @@ @c -*-texinfo-*- @c This is part of the GNU Guile Reference Manual. -@c Copyright (C) 2008-2011, 2013, 2015, 2018 +@c Copyright (C) 2008-2011, 2013, 2015, 2018, 2019 @c Free Software Foundation, Inc. @c See the file guile.texi for copying conditions. @@ -1910,11 +1910,14 @@ breakpoint, Guile will disable the JIT for the thread being debugged, falling back to the interpreter (which has the corresponding code to run the hooks). @xref{VM Hooks}. -Guile uses the GNU Lightning library to emit native code. This allows -Guile's template JIT supports practically all architectures, from -Itanium to MIPS. You can optimize a program on your x86-64 desktop and -you can know that the corresponding program on an AArch64 phone will -also get faster. +To emit native code, Guile uses a forked version of GNU Lightning.This +"Lightening" effort, spun out as a separate project, aims to build on +the back-end support from GNU Lightning, but adapting the API and +behavior of the library to match Guile's needs. This code is included +in the Guile source distribution. For more information, see +@url{https://gitlab.com/wingo/lightening}. As of mid-2019, Lightening +supports code generation for the x86-64, ia32, ARMv7, and AArch64 +architectures. The weaknesses of a template JIT are two-fold. Firstly, as a simple back-end that has to run fast, a template JIT doesn't have time to do |