Merge remote-tracking branch 'origin/stable-2.0'
[bpt/guile.git] / libguile / vm-i-loader.c
dissimilarity index 84%
index 71f53ab..c323156 100644 (file)
-/* 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 ();
-      SYNC_REGISTER ();
-      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);
-  SYNC_REGISTER ();
-  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);
-  SYNC_REGISTER ();
-  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);
-  SYNC_REGISTER ();
-  PUSH (scm_from_locale_symboln ((char *)ip, len));
-  ip += len;
-  NEXT;
-}
-
-VM_DEFINE_LOADER (load_keyword, "load-keyword")
-{
-  size_t len;
-  FETCH_LENGTH (len);
-  SYNC_REGISTER ();
-  PUSH (scm_from_locale_keywordn ((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);
-  SYNC_REGISTER ();
-  prog = scm_c_make_program (ip, len, program);
-  p = SCM_PROGRAM_DATA (prog);
-  ip += len;
-
-  POP (x);
-
-  /* init meta data */
-  if (SCM_PROGRAM_P (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))
-    {
-      scm_t_uint16 s = (scm_t_uint16)SCM_I_INUM (x);
-      /* 16-bit representation */
-      p->nargs = (s >> 12) & 0x0f;     /* 15-12 bits */
-      p->nrest = (s >> 11) & 0x01;     /*    11 bit  */
-      p->nlocs = (s >> 4)  & 0x7f;     /* 10-04 bits */
-      p->nexts = s & 0x0f;             /* 03-00 bits */
-    }
-  else
-    {
-      /* Other cases */
-      /* x is #f, and already popped off */
-      POP (x); p->nexts = scm_to_unsigned_integer (x, 0, 255);
-      POP (x); p->nlocs = scm_to_unsigned_integer (x, 0, 255);
-      POP (x); p->nrest = scm_to_unsigned_integer (x, 0, 1);
-      POP (x); p->nargs = scm_to_unsigned_integer (x, 0, 255);
-    }
-
-  PUSH (prog);
-  NEXT;
-}
-
-VM_DEFINE_INSTRUCTION (link_now, "link-now", 0, 1, 1)
-{
-  SCM what;
-  POP (what);
-  SYNC_REGISTER ();
-  if (SCM_LIKELY (SCM_SYMBOLP (what)))
-    {
-      PUSH (scm_lookup (what)); /* might longjmp */
-    }
-  else
-    {
-      SCM mod;
-      /* compilation of @ or @@
-         `what' is a three-element list: (MODNAME SYM INTERFACE?)
-         INTERFACE? is #t if we compiled @ or #f if we compiled @@
-      */
-      mod = scm_resolve_module (SCM_CAR (what));
-      if (scm_is_true (SCM_CADDR (what)))
-        mod = scm_module_public_interface (mod);
-      if (SCM_FALSEP (mod))
-        {
-          err_args = SCM_LIST1 (SCM_CAR (what));
-          goto vm_error_no_such_module;
-        }
-      /* might longjmp */
-      PUSH (scm_module_lookup (mod, SCM_CADR (what)));
-    }
-      
-  NEXT;
-}
-
-VM_DEFINE_LOADER (define, "define")
-{
-  SCM sym;
-  size_t len;
-
-  FETCH_LENGTH (len);
-  SYNC_REGISTER ();
-  sym = scm_from_locale_symboln ((char *)ip, len);
-  ip += len;
-
-  SYNC_REGISTER ();
-  PUSH (scm_sym2var (sym, scm_current_module_lookup_closure (), SCM_BOOL_T));
-  NEXT;
-}
-
-/*
-  Local Variables:
-  c-file-style: "gnu"
-  End:
-*/
+/* Copyright (C) 2001,2008,2009,2010,2011,2012 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
+ */
+
+/* FIXME! Need to check that the fetch is within the current program */
+
+/* This file is included in vm_engine.c */
+
+VM_DEFINE_LOADER (101, load_number, "load-number")
+{
+  size_t len;
+
+  FETCH_LENGTH (len);
+  SYNC_REGISTER ();
+  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 (102, load_string, "load-string")
+{
+  size_t len;
+  char *buf;
+
+  FETCH_LENGTH (len);
+  SYNC_REGISTER ();
+  PUSH (scm_i_make_string (len, &buf, 1));
+  memcpy (buf, (char *) ip, len);
+  ip += len;
+  NEXT;
+}
+
+VM_DEFINE_LOADER (103, load_symbol, "load-symbol")
+{
+  size_t len;
+  FETCH_LENGTH (len);
+  SYNC_REGISTER ();
+  /* FIXME: should be scm_from_latin1_symboln */
+  PUSH (scm_from_latin1_symboln ((const char*)ip, len));
+  ip += len;
+  NEXT;
+}
+
+VM_DEFINE_LOADER (104, load_program, "load-program")
+{
+  scm_t_uint32 len;
+  SCM objs, objcode;
+
+  POP (objs);
+  SYNC_REGISTER ();
+
+  if (scm_is_vector (objs) && scm_is_false (scm_c_vector_ref (objs, 0)))
+    scm_c_vector_set_x (objs, 0, scm_current_module ());
+
+  objcode = scm_c_make_objcode_slice (SCM_PROGRAM_OBJCODE (fp[-1]), ip);
+  len = sizeof (struct scm_objcode) + SCM_OBJCODE_TOTAL_LEN (objcode);
+
+  PUSH (scm_make_program (objcode, objs, SCM_BOOL_F));
+
+  ip += len;
+
+  NEXT;
+}
+
+VM_DEFINE_INSTRUCTION (105, link_now, "link-now", 0, 1, 1)
+{
+  SCM what;
+  POP (what);
+  SYNC_REGISTER ();
+  PUSH (resolve_variable (what, scm_current_module ()));
+  NEXT;
+}
+
+VM_DEFINE_LOADER (106, load_array, "load-array")
+{
+  SCM type, shape;
+  size_t len;
+  FETCH_LENGTH (len);
+  POP2 (shape, type);
+  SYNC_REGISTER ();
+  PUSH (scm_from_contiguous_typed_array (type, shape, ip, len));
+  ip += len;
+  NEXT;
+}
+
+VM_DEFINE_LOADER (107, load_wide_string, "load-wide-string")
+{
+  size_t len;
+  scm_t_wchar *wbuf;
+
+  FETCH_LENGTH (len);
+  VM_ASSERT ((len % 4) == 0,
+             vm_error_bad_wide_string_length (len));
+
+  SYNC_REGISTER ();
+  PUSH (scm_i_make_wide_string (len / 4, &wbuf, 1));
+  memcpy ((char *) wbuf, (char *) ip, len);
+  ip += len;
+  NEXT;
+}
+
+/*
+(defun renumber-ops ()
+  "start from top of buffer and renumber 'VM_DEFINE_FOO (\n' sequences"
+  (interactive "")
+  (save-excursion
+    (let ((counter 100)) (goto-char (point-min))
+      (while (re-search-forward "^VM_DEFINE_[^ ]+ (\\([^,]+\\)," (point-max) t)
+        (replace-match
+         (number-to-string (setq counter (1+ counter)))
+          t t nil 1)))))
+*/
+
+/*
+  Local Variables:
+  c-file-style: "gnu"
+  End:
+*/