mirror of
https://git.savannah.gnu.org/git/guile.git
synced 2025-05-01 12:20:26 +02:00
486013d67c
* libguile/Makefile.am: * libguile/vm-builtins.h: New header, declaring stubs needed by the compiler like values, apply, and abort-to-prompt. * libguile/vm.c: Adapt the apply and values stubs to conform to a standard interface. Add an abort-to-prompt stub. Add call/cc and call-with-values stubs. (scm_vm_builtin_ref): New helper, for the builtin-ref opcode. (scm_vm_builtin_name_to_index) (scm_vm_builtin_index_to_name): New helpers, for the compiler and disassembler, respectively. (scm_init_vm_builtins, scm_bootstrap_vm): Allow the compiler helpers to be loaded later into a module. * module/language/rtl.scm: Export builtin-index->name and builtin-name->index. * libguile/vm-engine.c (RETURN_VALUE_LIST): Update to use new names of "apply" and "values". (tail-call/shuffle): New opcode. (abort): Update to be a tail VM op, and reorder and renumber other ops. (builtin-ref): New opcode. * libguile/continuations.h: * libguile/continuations.c (scm_i_call_with_current_continuation): Move this to vm.[ch], implemented as a builtin. * module/language/tree-il/compile-cps.scm (convert): Convert to 'abort-to-prompt calls, possibly with 'apply, effectively undoing the tree-il transformation. * module/language/cps/reify-primitives.scm (builtin-ref): New helper. (reify-primitives): Convert builtin primitives to builtin-ref. * module/language/cps/dfg.scm (constant-needs-allocation?): * module/language/cps/compile-rtl.scm (emit-rtl-sequence): Add support for compiling builtin-ref. * module/system/vm/disassembler.scm (code-annotation): Add annotation for builtin-ref.
46 lines
1.5 KiB
C
46 lines
1.5 KiB
C
/* Copyright (C) 2013 Free Software Foundation, Inc.
|
|
*
|
|
* This library is free software; you can redistribute it and/or
|
|
* modify it under the terms of the GNU Lesser General Public License
|
|
* as published by the Free Software Foundation; either version 3 of
|
|
* the License, or (at your option) any later version.
|
|
*
|
|
* This library is distributed in the hope that it will be useful, but
|
|
* WITHOUT ANY WARRANTY; without even the implied warranty of
|
|
* MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU
|
|
* Lesser General Public License for more details.
|
|
*
|
|
* You should have received a copy of the GNU Lesser General Public
|
|
* License along with this library; if not, write to the Free Software
|
|
* Foundation, Inc., 51 Franklin Street, Fifth Floor, Boston, MA
|
|
* 02110-1301 USA
|
|
*/
|
|
|
|
#ifndef _SCM_VM_BUILTINS_H_
|
|
#define _SCM_VM_BUILTINS_H_
|
|
|
|
#ifdef BUILDING_LIBGUILE
|
|
|
|
#define FOR_EACH_VM_BUILTIN(M) \
|
|
M(apply, APPLY) \
|
|
M(values, VALUES) \
|
|
M(abort_to_prompt, ABORT_TO_PROMPT) \
|
|
M(call_with_values, CALL_WITH_VALUES) \
|
|
M(call_with_current_continuation, CALL_WITH_CURRENT_CONTINUATION)
|
|
|
|
/* These enumerated values are embedded in RTL code, and as such are
|
|
part of Guile's ABI. */
|
|
enum scm_vm_builtins
|
|
{
|
|
#define ENUM(builtin, BUILTIN) SCM_VM_BUILTIN_##BUILTIN,
|
|
FOR_EACH_VM_BUILTIN(ENUM)
|
|
#undef ENUM
|
|
SCM_VM_BUILTIN_COUNT
|
|
};
|
|
|
|
SCM_INTERNAL SCM scm_vm_builtin_name_to_index (SCM name);
|
|
SCM_INTERNAL SCM scm_vm_builtin_index_to_name (SCM idx);
|
|
|
|
#endif /* BUILDING_LIBGUILE */
|
|
|
|
#endif /* _SCM_VM_BUILTINS_H_ */
|