Translation from Scheme to GHIL, and compilation to GLIL work.

[bpt/guile.git] / src / vm_loader.c

/* Copyright (C) 2001 Free Software Foundation, Inc.
 *
 * This program is free software; you can redistribute it and/or modify
 * it under the terms of the GNU General Public License as published by
 * the Free Software Foundation; either version 2, or (at your option)
 * any later version.
 * 
 * This program 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 General Public License for more details.
 * 
 * You should have received a copy of the GNU General Public License
 * along with this software; see the file COPYING.  If not, write to
 * the Free Software Foundation, Inc., 59 Temple Place, Suite 330,
 * Boston, MA 02111-1307 USA
 *
 * As a special exception, the Free Software Foundation gives permission
 * for additional uses of the text contained in its release of GUILE.
 *
 * The exception is that, if you link the GUILE library with other files
 * to produce an executable, this does not by itself cause the
 * resulting executable to be covered by the GNU General Public License.
 * Your use of that executable is in no way restricted on account of
 * linking the GUILE library code into it.
 *
 * This exception does not however invalidate any other reasons why
 * the executable file might be covered by the GNU General Public License.
 *
 * This exception applies only to the code released by the
 * Free Software Foundation under the name GUILE.  If you copy
 * code from other Free Software Foundation releases into a copy of
 * GUILE, as the General Public License permits, the exception does
 * not apply to the code that you add in this way.  To avoid misleading
 * anyone as to the status of such modified files, you must delete
 * this exception notice from them.
 *
 * If you write modifications of your own for GUILE, it is your choice
 * whether to permit this exception to apply to your modifications.
 * If you do not wish that, delete this exception notice.  */

/* This file is included in vm_engine.c */

VM_DEFINE_LOADER (load_integer, "load-integer")
{
  size_t len;

  FETCH_LENGTH (len);
  if (len <= 4)
    {
      long val = 0;
      while (len-- > 0)
	val = (val << 8) + FETCH ();
      PUSH (scm_long2num (val));
      NEXT;
    }
  else
    SCM_MISC_ERROR ("load-integer: not implemented yet", SCM_EOL);
}

VM_DEFINE_LOADER (load_number, "load-number")
{
  size_t len;

  FETCH_LENGTH (len);
  PUSH (scm_string_to_number (scm_from_locale_stringn (ip, len),
			      SCM_UNSPECIFIED /* radix = 10 */));
  /* Was: scm_istring2number (ip, len, 10)); */
  ip += len;
  NEXT;
}

VM_DEFINE_LOADER (load_string, "load-string")
{
  size_t len;
  FETCH_LENGTH (len);
  PUSH (scm_from_locale_stringn (ip, len));
  /* Was: scm_makfromstr (ip, len, 0) */
  ip += len;
  NEXT;
}

VM_DEFINE_LOADER (load_symbol, "load-symbol")
{
  size_t len;
  FETCH_LENGTH (len);
  PUSH (scm_mem2symbol (ip, len));
  ip += len;
  NEXT;
}

VM_DEFINE_LOADER (load_keyword, "load-keyword")
{
  SCM sym;
  size_t len;
  FETCH_LENGTH (len);
  sym = scm_mem2symbol (ip, len);
  PUSH (scm_make_keyword_from_dash_symbol (sym));
  ip += len;
  NEXT;
}

VM_DEFINE_LOADER (load_module, "load-module")
{
  size_t len;
  FETCH_LENGTH (len);
  PUSH (scm_c_lookup_env (scm_mem2symbol (ip, len)));
  ip += len;
  NEXT;
}

VM_DEFINE_LOADER (load_program, "load-program")
{
  size_t len;
  SCM prog, x;
  struct scm_program *p;

  FETCH_LENGTH (len);
  prog = scm_c_make_program (ip, len, program);
  p = SCM_PROGRAM_DATA (prog);
  ip += len;

  POP (x);

  /* init meta data */
  if (SCM_CONSP (x))
    {
      p->meta = x;
      POP (x);
    }

  /* init object table */
  if (SCM_VECTORP (x))
    {
      p->objs = x;
      POP (x);
    }

  /* init parameters */
  /* NOTE: format defined in system/vm/assemble.scm */
  if (scm_is_integer (x))
    {
      int i = scm_to_int (x);
      if (-128 <= i && i <= 127)
	{
	  /* 8-bit representation */
	  p->nargs = (i >> 6) & 0x03;	/* 7-6 bits */
	  p->nrest = (i >> 5) & 0x01;	/*   5 bit  */
	  p->nlocs = (i >> 2) & 0x07;	/* 4-2 bits */
	  p->nexts = i & 0x03;		/* 1-0 bits */
	}
      else
	{
	  /* 16-bit representation */
	  p->nargs = (i >> 12) & 0x07;	/* 15-12 bits */
	  p->nrest = (i >> 11) & 0x01;	/*    11 bit  */
	  p->nlocs = (i >> 4)  & 0x7f;	/* 10-04 bits */
	  p->nexts = i & 0x0f;		/* 03-00 bits */
	}
    }
  else
    {
      /* Other cases */
      sp -= 4;
      p->nargs = scm_to_int (sp[0]);
      p->nrest = scm_to_int (sp[1]);
      p->nlocs = scm_to_int (sp[2]);
      p->nexts = scm_to_int (sp[3]);
    }

  PUSH (prog);
  NEXT;
}

VM_DEFINE_LOADER (link, "link")
{
  SCM sym;
  size_t len;

  FETCH_LENGTH (len);
  sym = scm_mem2symbol (ip, len);
  ip += len;

#if 0
  *sp = scm_c_env_vcell (*sp, sym, 1);
#endif
  {
    /* Temporary hack that supports the current module system */
    SCM mod = scm_current_module ();
    SCM var = scm_eval_closure_lookup (scm_standard_eval_closure (mod),
				       sym, SCM_BOOL_F);
    if (SCM_FALSEP (var))
      /* Create a new variable if not defined yet */
      var = scm_eval_closure_lookup (scm_standard_eval_closure (mod),
				     sym, SCM_BOOL_T);
    PUSH (scm_variable_ref (var));
    /* Was: SCM_VARVCELL (var)); */
    NEXT;
  }
}

/*
  Local Variables:
  c-file-style: "gnu"
  End:
*/