1 /* Copyright (C) 2001 Free Software Foundation, Inc.
3 * This program is free software; you can redistribute it and/or modify
4 * it under the terms of the GNU General Public License as published by
5 * the Free Software Foundation; either version 2, or (at your option)
8 * This program is distributed in the hope that it will be useful,
9 * but WITHOUT ANY WARRANTY; without even the implied warranty of
10 * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
11 * GNU General Public License for more details.
13 * You should have received a copy of the GNU General Public License
14 * along with this software; see the file COPYING. If not, write to
15 * the Free Software Foundation, Inc., 59 Temple Place, Suite 330,
16 * Boston, MA 02111-1307 USA
18 * As a special exception, the Free Software Foundation gives permission
19 * for additional uses of the text contained in its release of GUILE.
21 * The exception is that, if you link the GUILE library with other files
22 * to produce an executable, this does not by itself cause the
23 * resulting executable to be covered by the GNU General Public License.
24 * Your use of that executable is in no way restricted on account of
25 * linking the GUILE library code into it.
27 * This exception does not however invalidate any other reasons why
28 * the executable file might be covered by the GNU General Public License.
30 * This exception applies only to the code released by the
31 * Free Software Foundation under the name GUILE. If you copy
32 * code from other Free Software Foundation releases into a copy of
33 * GUILE, as the General Public License permits, the exception does
34 * not apply to the code that you add in this way. To avoid misleading
35 * anyone as to the status of such modified files, you must delete
36 * this exception notice from them.
38 * If you write modifications of your own for GUILE, it is your choice
39 * whether to permit this exception to apply to your modifications.
40 * If you do not wish that, delete this exception notice. */
42 /* This file is included in vm.c twice */
44 #include "vm-engine.h"
48 vm_run (SCM vm
, SCM program
, SCM args
)
49 #define FUNC_NAME "vm-engine"
52 register scm_byte_t
*ip IP_REG
; /* instruction pointer */
53 register SCM
*sp SP_REG
; /* stack pointer */
54 register SCM
*fp FP_REG
; /* frame pointer */
57 struct scm_vm
*vp
= SCM_VM_DATA (vm
); /* VM data pointer */
58 struct scm_program
*bp
= NULL
; /* program base pointer */
59 SCM external
= SCM_EOL
; /* external environment */
60 SCM
*objects
= NULL
; /* constant objects */
61 scm_t_array_handle objects_handle
; /* handle of the OBJECTS array */
62 size_t object_count
; /* length of OBJECTS */
63 SCM
*stack_base
= vp
->stack_base
; /* stack base address */
64 SCM
*stack_limit
= vp
->stack_limit
; /* stack limit address */
66 /* Internal variables */
69 long start_time
= scm_c_get_internal_run_time ();
70 // SCM dynwinds = SCM_EOL;
74 SCM hook_args
= SCM_LIST1 (vm
);
76 struct vm_unwind_data wind_data
;
78 /* dynwind ended in the halt instruction */
79 scm_dynwind_begin (SCM_F_DYNWIND_REWINDABLE
);
81 wind_data
.sp
= vp
->sp
;
82 wind_data
.fp
= vp
->fp
;
83 wind_data
.this_frame
= vp
->this_frame
;
84 scm_dynwind_unwind_handler (vm_reset_stack
, &wind_data
, 0);
87 #ifdef HAVE_LABELS_AS_VALUES
89 static void *jump_table
[] = {
90 #define VM_INSTRUCTION_TO_LABEL 1
91 #include "vm-expand.h"
92 #include "vm-i-system.i"
93 #include "vm-i-scheme.i"
94 #include "vm-i-loader.i"
95 #undef VM_INSTRUCTION_TO_LABEL
104 scm_byte_t bytes
[6] = {scm_op_mv_call
, 0, 0, 1, scm_op_make_int8_1
, scm_op_halt
};
105 bytes
[1] = scm_ilength (args
); /* FIXME: argument overflow */
106 program
= scm_c_make_program (bytes
, 6, SCM_BOOL_F
);
114 /* Initial arguments */
116 for (; !SCM_NULLP (args
); args
= SCM_CDR (args
))
117 PUSH (SCM_CAR (args
));
123 #ifndef HAVE_LABELS_AS_VALUES
128 #include "vm-expand.h"
129 #include "vm-i-system.c"
130 #include "vm-i-scheme.c"
131 #include "vm-i-loader.c"
133 #ifndef HAVE_LABELS_AS_VALUES
140 err_msg
= scm_from_locale_string ("VM: Unbound variable: ~A");
143 vm_error_wrong_type_arg
:
144 err_msg
= scm_from_locale_string ("VM: Wrong type argument");
148 vm_error_wrong_num_args
:
149 err_msg
= scm_from_locale_string ("VM: Wrong number of arguments");
153 vm_error_wrong_type_apply
:
154 err_msg
= scm_from_locale_string ("VM: Wrong type to apply: ~S "
156 err_args
= SCM_LIST2 (program
,
157 SCM_I_MAKINUM (ip
- bp
->base
));
160 vm_error_stack_overflow
:
161 err_msg
= scm_from_locale_string ("VM: Stack overflow");
165 vm_error_stack_underflow
:
166 err_msg
= scm_from_locale_string ("VM: Stack underflow");
171 err_msg
= scm_from_locale_string ("VM: 0-valued return");
175 vm_error_not_enough_values
:
176 err_msg
= scm_from_locale_string ("VM: Not enough values for mv-bind");
181 vm_error_invalid_address
:
182 err_msg
= scm_from_locale_string ("VM: Invalid program address");
187 #if VM_CHECK_EXTERNAL
189 err_msg
= scm_from_locale_string ("VM: Invalid external access");
196 err_msg
= scm_from_locale_string ("VM: Invalid object table access");
204 scm_array_handle_release (&objects_handle
);
206 scm_ithrow (sym_vm_error
, SCM_LIST3 (sym_vm_run
, err_msg
, err_args
), 1);
209 abort (); /* never reached */