guile-vm is completely self-compiling now!

[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_from_ulong (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 ((char *)ip, len),
			      SCM_UNDEFINED /* 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 ((char *)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_from_locale_symboln ((char *)ip, len));
  ip += len;
  NEXT;
}

VM_DEFINE_LOADER (load_keyword, "load-keyword")
{
  size_t len;
  FETCH_LENGTH (len);
  PUSH (scm_from_locale_keywordn ((char *)ip, len));
  ip += len;
  NEXT;
}

VM_DEFINE_LOADER (load_module, "load-module")
{
  size_t len;
  FETCH_LENGTH (len);
  PUSH (scm_c_lookup_env (scm_from_locale_symboln ((char *)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_is_vector (x))
    {
#if 0
      if (scm_is_simple_vector (x))
	printf ("is_simple_vector!\n");
      else
	printf ("NOT is_simple_vector\n");
#endif
      p->objs = x;
      POP (x);
    }

  /* init parameters */
  /* NOTE: format defined in system/vm/assemble.scm */
  if (SCM_I_INUMP (x))
    {
      int i = SCM_I_INUM (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 */
      /* x is #f, and already popped off */
      p->nargs = SCM_I_INUM (sp[-3]);
      p->nrest = SCM_I_INUM (sp[-2]);
      p->nlocs = SCM_I_INUM (sp[-1]);
      p->nexts = SCM_I_INUM (sp[0]);
      sp -= 4;
    }

  PUSH (prog);
  NEXT;
}

VM_DEFINE_INSTRUCTION (link_now, "link-now", 0, 1, 1)
{
  SCM sym;
  POP (sym);
  PUSH (scm_lookup (sym)); /* might longjmp */
  NEXT;
}

VM_DEFINE_INSTRUCTION (link_later, "link-later", 0, 2, 1)
{
  SCM modname, sym;
  POP (sym);
  POP (modname);
  PUSH (scm_cons (modname, sym));
  NEXT;
}

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

  FETCH_LENGTH (len);
  sym = scm_from_locale_symboln ((char *)ip, len);
  ip += len;

  PUSH (scm_sym2var (sym, scm_current_module_lookup_closure (), SCM_BOOL_T));
  NEXT;
}

VM_DEFINE_LOADER (late_bind, "late-bind")
{
  SCM sym;
  size_t len;

  FETCH_LENGTH (len);
  sym = scm_from_locale_symboln ((char *)ip, len);
  ip += len;

  PUSH (sym);
  NEXT;
}

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