1
Fork 0
mirror of https://git.savannah.gnu.org/git/guile.git synced 2025-05-20 11:40:18 +02:00

Reference Lightening instead of GNU Lightning

* doc/ref/vm.texi (Just-In-Time Native Code): Update with link to
  Lightening.
This commit is contained in:
Andy Wingo 2019-05-23 21:00:20 +02:00
parent ee28c0680d
commit 6880ced4c2

View file

@ -1,6 +1,6 @@
@c -*-texinfo-*- @c -*-texinfo-*-
@c This is part of the GNU Guile Reference Manual. @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 Free Software Foundation, Inc.
@c See the file guile.texi for copying conditions. @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 falling back to the interpreter (which has the corresponding code to run
the hooks). @xref{VM Hooks}. the hooks). @xref{VM Hooks}.
Guile uses the GNU Lightning library to emit native code. This allows To emit native code, Guile uses a forked version of GNU Lightning.This
Guile's template JIT supports practically all architectures, from "Lightening" effort, spun out as a separate project, aims to build on
Itanium to MIPS. You can optimize a program on your x86-64 desktop and the back-end support from GNU Lightning, but adapting the API and
you can know that the corresponding program on an AArch64 phone will behavior of the library to match Guile's needs. This code is included
also get faster. 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 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 back-end that has to run fast, a template JIT doesn't have time to do