src/vm_engine.c

   1 /* Copyright (C) 2000 Free Software Foundation, Inc.
   2  *
   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)
   6  * any later version.
   7  *
   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.
  12  *
  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
  17  *
  18  * As a special exception, the Free Software Foundation gives permission
  19  * for additional uses of the text contained in its release of GUILE.
  20  *
  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.
  26  *
  27  * This exception does not however invalidate any other reasons why
  28  * the executable file might be covered by the GNU General Public License.
  29  *
  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.
  37  *
  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.  */
  41
  42 /* This file is included in vm.c twice */
  43
  44 #include "vm_engine.h"
  45
  46 static SCM
  47 vm_engine (SCM vm, SCM program, SCM args)
  48 #define FUNC_NAME "vm-engine"
  49 {
  50   /* VM registers */
  51   register scm_byte_t *ip IP_REG;       /* instruction pointer */
  52   register SCM *sp SP_REG;              /* stack pointer */
  53   register SCM *fp FP_REG;              /* frame pointer */
  54
  55   /* Cache variables */
  56   struct scm_vm *vp = SCM_VM_DATA (vm); /* VM data pointer */
  57   struct scm_program *bp = NULL;        /* program base pointer */
  58   SCM external;                         /* external environment */
  59   SCM *objects = NULL;                  /* constant objects */
  60   SCM *stack_base = vp->stack_base;     /* stack base address */
  61   SCM *stack_limit = vp->stack_limit;   /* stack limit address */
  62
  63   /* Internal variables */
  64   int nargs = 0;
  65   long start_time = scm_c_get_internal_run_time ();
  66   // SCM dynwinds = SCM_EOL;
  67   SCM err_msg;
  68   SCM err_args;
  69 #if VM_USE_HOOKS
  70   SCM hook_args = SCM_LIST1 (vm);
  71 #endif
  72
  73 #ifdef HAVE_LABELS_AS_VALUES
  74   /* Jump talbe */
  75   static void *jump_table[] = {
  76 #define VM_INSTRUCTION_TO_LABEL 1
  77 #include "vm_expand.h"
  78 #include "vm_system.i"
  79 #include "vm_scheme.i"
  80 #include "vm_number.i"
  81 #include "vm_loader.i"
  82 #undef VM_INSTRUCTION_TO_LABEL
  83   };
  84 #endif
  85
  86   /* Initialization */
  87   {
  88     SCM prog = program;
  89
  90     /* Boot program */
  91     scm_byte_t bytes[3] = {scm_op_call, 0, scm_op_halt};
  92     bytes[1] = scm_ilength (args);
  93     program = scm_c_make_program (bytes, 3, SCM_BOOL_T);
  94
  95     /* Initial frame */
  96     CACHE_REGISTER ();
  97     CACHE_PROGRAM ();
  98     NEW_FRAME ();
  99
 100     /* Initial arguments */
 101     for (; !SCM_NULLP (args); args = SCM_CDR (args))
 102       PUSH (SCM_CAR (args));
 103     PUSH (prog);
 104   }
 105
 106   /* Let's go! */
 107   BOOT_HOOK ();
 108
 109 #ifndef HAVE_LABELS_AS_VALUES
 110  vm_start:
 111   switch (*ip++) {
 112 #endif
 113
 114 #include "vm_expand.h"
 115 #include "vm_system.c"
 116 #include "vm_scheme.c"
 117 #include "vm_number.c"
 118 #include "vm_loader.c"
 119
 120 #ifndef HAVE_LABELS_AS_VALUES
 121   }
 122 #endif
 123
 124   /* Errors */
 125   {
 126   vm_error_unbound:
 127     err_msg  = scm_makfrom0str ("Unbound variable: ~A");
 128     goto vm_error;
 129
 130   vm_error_wrong_num_args:
 131     err_msg  = scm_makfrom0str ("Wrong number of arguments");
 132     err_args = SCM_EOL;
 133     goto vm_error;
 134
 135   vm_error_wrong_type_apply:
 136     err_msg  = scm_makfrom0str ("Wrong type to apply: ~S");
 137     err_args = SCM_LIST1 (program);
 138     goto vm_error;
 139
 140 #if VM_CHECK_IP
 141   vm_error_invalid_address:
 142     err_msg  = scm_makfrom0str ("Invalid program address");
 143     err_args = SCM_EOL;
 144     goto vm_error;
 145 #endif
 146
 147   vm_error_stack_overflow:
 148     err_msg  = scm_makfrom0str ("Stack overflow");
 149     err_args = SCM_EOL;
 150     goto vm_error;
 151
 152   vm_error_stack_underflow:
 153     err_msg  = scm_makfrom0str ("Stack underflow");
 154     err_args = SCM_EOL;
 155     goto vm_error;
 156
 157   vm_error:
 158     SYNC_ALL ();
 159     scm_ithrow (sym_vm_error,
 160                 SCM_LIST4 (sym_vm_engine, err_msg, err_args,
 161                            scm_vm_current_frame (vm)),
 162                 1);
 163   }
 164
 165   abort (); /* never reached */
 166 }
 167 #undef FUNC_NAME
 168
 169 /*
 170   Local Variables:
 171   c-file-style: "gnu"
 172   End:
 173 */