libguile/vm-i-scheme.c

   1 /* Copyright (C) 2001, 2009, 2010 Free Software Foundation, Inc.
   2  *
   3  * This library is free software; you can redistribute it and/or
   4  * modify it under the terms of the GNU Lesser General Public License
   5  * as published by the Free Software Foundation; either version 3 of
   6  * the License, or (at your option) any later version.
   7  *
   8  * This library is distributed in the hope that it will be useful, but
   9  * WITHOUT ANY WARRANTY; without even the implied warranty of
  10  * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the GNU
  11  * Lesser General Public License for more details.
  12  *
  13  * You should have received a copy of the GNU Lesser General Public
  14  * License along with this library; if not, write to the Free Software
  15  * Foundation, Inc., 51 Franklin Street, Fifth Floor, Boston, MA
  16  * 02110-1301 USA
  17  */
  18
  19 /* This file is included in vm_engine.c */
  20
  21 \f
  22 /*
  23  * Predicates
  24  */
  25
  26 #define ARGS1(a1)       SCM a1 = sp[0];
  27 #define ARGS2(a1,a2)    SCM a1 = sp[-1], a2 = sp[0]; sp--; NULLSTACK (1);
  28 #define ARGS3(a1,a2,a3) SCM a1 = sp[-2], a2 = sp[-1], a3 = sp[0]; sp -= 2; NULLSTACK (2);
  29
  30 #define RETURN(x)       do { *sp = x; NEXT; } while (0)
  31
  32 VM_DEFINE_FUNCTION (100, not, "not", 1)
  33 {
  34   ARGS1 (x);
  35   RETURN (scm_from_bool (scm_is_false_or_nil (x)));
  36 }
  37
  38 VM_DEFINE_FUNCTION (101, not_not, "not-not", 1)
  39 {
  40   ARGS1 (x);
  41   RETURN (scm_from_bool (!scm_is_false_or_nil (x)));
  42 }
  43
  44 VM_DEFINE_FUNCTION (102, eq, "eq?", 2)
  45 {
  46   ARGS2 (x, y);
  47   RETURN (scm_from_bool (scm_is_eq (x, y)));
  48 }
  49
  50 VM_DEFINE_FUNCTION (103, not_eq, "not-eq?", 2)
  51 {
  52   ARGS2 (x, y);
  53   RETURN (scm_from_bool (!scm_is_eq (x, y)));
  54 }
  55
  56 VM_DEFINE_FUNCTION (104, nullp, "null?", 1)
  57 {
  58   ARGS1 (x);
  59   RETURN (scm_from_bool (scm_is_null_or_nil (x)));
  60 }
  61
  62 VM_DEFINE_FUNCTION (105, not_nullp, "not-null?", 1)
  63 {
  64   ARGS1 (x);
  65   RETURN (scm_from_bool (!scm_is_null_or_nil (x)));
  66 }
  67
  68 VM_DEFINE_FUNCTION (106, eqv, "eqv?", 2)
  69 {
  70   ARGS2 (x, y);
  71   if (scm_is_eq (x, y))
  72     RETURN (SCM_BOOL_T);
  73   if (SCM_IMP (x) || SCM_IMP (y))
  74     RETURN (SCM_BOOL_F);
  75   SYNC_REGISTER ();
  76   RETURN (scm_eqv_p (x, y));
  77 }
  78
  79 VM_DEFINE_FUNCTION (107, equal, "equal?", 2)
  80 {
  81   ARGS2 (x, y);
  82   if (scm_is_eq (x, y))
  83     RETURN (SCM_BOOL_T);
  84   if (SCM_IMP (x) || SCM_IMP (y))
  85     RETURN (SCM_BOOL_F);
  86   SYNC_REGISTER ();
  87   RETURN (scm_equal_p (x, y));
  88 }
  89
  90 VM_DEFINE_FUNCTION (108, pairp, "pair?", 1)
  91 {
  92   ARGS1 (x);
  93   RETURN (scm_from_bool (scm_is_pair (x)));
  94 }
  95
  96 VM_DEFINE_FUNCTION (109, listp, "list?", 1)
  97 {
  98   ARGS1 (x);
  99   RETURN (scm_from_bool (scm_ilength (x) >= 0));
 100 }
 101
 102 \f
 103 /*
 104  * Basic data
 105  */
 106
 107 VM_DEFINE_FUNCTION (110, cons, "cons", 2)
 108 {
 109   ARGS2 (x, y);
 110   CONS (x, x, y);
 111   RETURN (x);
 112 }
 113
 114 #define VM_VALIDATE_CONS(x)                     \
 115   if (SCM_UNLIKELY (!scm_is_pair (x)))          \
 116     { finish_args = x;                          \
 117       goto vm_error_not_a_pair;                 \
 118     }
 119
 120 VM_DEFINE_FUNCTION (111, car, "car", 1)
 121 {
 122   ARGS1 (x);
 123   VM_VALIDATE_CONS (x);
 124   RETURN (SCM_CAR (x));
 125 }
 126
 127 VM_DEFINE_FUNCTION (112, cdr, "cdr", 1)
 128 {
 129   ARGS1 (x);
 130   VM_VALIDATE_CONS (x);
 131   RETURN (SCM_CDR (x));
 132 }
 133
 134 VM_DEFINE_INSTRUCTION (113, set_car, "set-car!", 0, 2, 0)
 135 {
 136   SCM x, y;
 137   POP (y);
 138   POP (x);
 139   VM_VALIDATE_CONS (x);
 140   SCM_SETCAR (x, y);
 141   NEXT;
 142 }
 143
 144 VM_DEFINE_INSTRUCTION (114, set_cdr, "set-cdr!", 0, 2, 0)
 145 {
 146   SCM x, y;
 147   POP (y);
 148   POP (x);
 149   VM_VALIDATE_CONS (x);
 150   SCM_SETCDR (x, y);
 151   NEXT;
 152 }
 153
 154 \f
 155 /*
 156  * Numeric relational tests
 157  */
 158
 159 #undef REL
 160 #define REL(crel,srel)                                          \
 161 {                                                               \
 162   ARGS2 (x, y);                                                 \
 163   if (SCM_I_INUMP (x) && SCM_I_INUMP (y))                       \
 164     RETURN (scm_from_bool (SCM_I_INUM (x) crel SCM_I_INUM (y)));  \
 165   SYNC_REGISTER ();                                             \
 166   RETURN (srel (x, y));                                         \
 167 }
 168
 169 VM_DEFINE_FUNCTION (115, ee, "ee?", 2)
 170 {
 171   REL (==, scm_num_eq_p);
 172 }
 173
 174 VM_DEFINE_FUNCTION (116, lt, "lt?", 2)
 175 {
 176   REL (<, scm_less_p);
 177 }
 178
 179 VM_DEFINE_FUNCTION (117, le, "le?", 2)
 180 {
 181   REL (<=, scm_leq_p);
 182 }
 183
 184 VM_DEFINE_FUNCTION (118, gt, "gt?", 2)
 185 {
 186   REL (>, scm_gr_p);
 187 }
 188
 189 VM_DEFINE_FUNCTION (119, ge, "ge?", 2)
 190 {
 191   REL (>=, scm_geq_p);
 192 }
 193
 194 \f
 195 /*
 196  * Numeric functions
 197  */
 198
 199 #undef FUNC2
 200 #define FUNC2(CFUNC,SFUNC)                              \
 201 {                                                       \
 202   ARGS2 (x, y);                                         \
 203   if (SCM_I_INUMP (x) && SCM_I_INUMP (y))               \
 204     {                                                   \
 205       scm_t_int64 n = SCM_I_INUM (x) CFUNC SCM_I_INUM (y);\
 206       if (SCM_FIXABLE (n))                              \
 207         RETURN (SCM_I_MAKINUM (n));                     \
 208     }                                                   \
 209   SYNC_REGISTER ();                                     \
 210   RETURN (SFUNC (x, y));                                \
 211 }
 212
 213 VM_DEFINE_FUNCTION (120, add, "add", 2)
 214 {
 215   FUNC2 (+, scm_sum);
 216 }
 217
 218 VM_DEFINE_FUNCTION (167, add1, "add1", 1)
 219 {
 220   ARGS1 (x);
 221   if (SCM_I_INUMP (x))
 222     {
 223       scm_t_int64 n = SCM_I_INUM (x) + 1;
 224       if (SCM_FIXABLE (n))
 225         RETURN (SCM_I_MAKINUM (n));
 226     }
 227   SYNC_REGISTER ();
 228   RETURN (scm_sum (x, SCM_I_MAKINUM (1)));
 229 }
 230
 231 VM_DEFINE_FUNCTION (121, sub, "sub", 2)
 232 {
 233   FUNC2 (-, scm_difference);
 234 }
 235
 236 VM_DEFINE_FUNCTION (168, sub1, "sub1", 1)
 237 {
 238   ARGS1 (x);
 239   if (SCM_I_INUMP (x))
 240     {
 241       scm_t_int64 n = SCM_I_INUM (x) - 1;
 242       if (SCM_FIXABLE (n))
 243         RETURN (SCM_I_MAKINUM (n));
 244     }
 245   SYNC_REGISTER ();
 246   RETURN (scm_difference (x, SCM_I_MAKINUM (1)));
 247 }
 248
 249 VM_DEFINE_FUNCTION (122, mul, "mul", 2)
 250 {
 251   ARGS2 (x, y);
 252   SYNC_REGISTER ();
 253   RETURN (scm_product (x, y));
 254 }
 255
 256 VM_DEFINE_FUNCTION (123, div, "div", 2)
 257 {
 258   ARGS2 (x, y);
 259   SYNC_REGISTER ();
 260   RETURN (scm_divide (x, y));
 261 }
 262
 263 VM_DEFINE_FUNCTION (124, quo, "quo", 2)
 264 {
 265   ARGS2 (x, y);
 266   SYNC_REGISTER ();
 267   RETURN (scm_quotient (x, y));
 268 }
 269
 270 VM_DEFINE_FUNCTION (125, rem, "rem", 2)
 271 {
 272   ARGS2 (x, y);
 273   SYNC_REGISTER ();
 274   RETURN (scm_remainder (x, y));
 275 }
 276
 277 VM_DEFINE_FUNCTION (126, mod, "mod", 2)
 278 {
 279   ARGS2 (x, y);
 280   SYNC_REGISTER ();
 281   RETURN (scm_modulo (x, y));
 282 }
 283
 284 VM_DEFINE_FUNCTION (170, ash, "ash", 2)
 285 {
 286   ARGS2 (x, y);
 287   if (SCM_I_INUMP (x) && SCM_I_INUMP (y))
 288     {
 289       if (SCM_I_INUM (y) < 0)
 290         RETURN (SCM_I_MAKINUM (SCM_I_INUM (x) >> -SCM_I_INUM (y)));
 291       else if ((SCM_I_INUM (x) << SCM_I_INUM (y)) >> SCM_I_INUM (y)
 292                == SCM_I_INUM (x))
 293         RETURN (SCM_I_MAKINUM (SCM_I_INUM (x) << SCM_I_INUM (y)));
 294       /* fall through */
 295     }
 296   SYNC_REGISTER ();
 297   RETURN (scm_ash (x, y));
 298 }
 299
 300 VM_DEFINE_FUNCTION (171, logand, "logand", 2)
 301 {
 302   ARGS2 (x, y);
 303   if (SCM_I_INUMP (x) && SCM_I_INUMP (y))
 304     RETURN (SCM_I_MAKINUM (SCM_I_INUM (x) & SCM_I_INUM (y)));
 305   SYNC_REGISTER ();
 306   RETURN (scm_logand (x, y));
 307 }
 308
 309 VM_DEFINE_FUNCTION (172, logior, "logior", 2)
 310 {
 311   ARGS2 (x, y);
 312   if (SCM_I_INUMP (x) && SCM_I_INUMP (y))
 313     RETURN (SCM_I_MAKINUM (SCM_I_INUM (x) | SCM_I_INUM (y)));
 314   SYNC_REGISTER ();
 315   RETURN (scm_logior (x, y));
 316 }
 317
 318 VM_DEFINE_FUNCTION (173, logxor, "logxor", 2)
 319 {
 320   ARGS2 (x, y);
 321   if (SCM_I_INUMP (x) && SCM_I_INUMP (y))
 322     RETURN (SCM_I_MAKINUM (SCM_I_INUM (x) ^ SCM_I_INUM (y)));
 323   SYNC_REGISTER ();
 324   RETURN (scm_logxor (x, y));
 325 }
 326
 327 \f
 328 /*
 329  * GOOPS support
 330  */
 331 VM_DEFINE_FUNCTION (169, class_of, "class-of", 1)
 332 {
 333   ARGS1 (obj);
 334   RETURN (SCM_INSTANCEP (obj) ? SCM_CLASS_OF (obj) : scm_class_of (obj));
 335 }
 336
 337 VM_DEFINE_FUNCTION (127, slot_ref, "slot-ref", 2)
 338 {
 339   size_t slot;
 340   ARGS2 (instance, idx);
 341   slot = SCM_I_INUM (idx);
 342   RETURN (SCM_PACK (SCM_STRUCT_DATA (instance) [slot]));
 343 }
 344
 345 VM_DEFINE_INSTRUCTION (128, slot_set, "slot-set", 0, 3, 0)
 346 {
 347   SCM instance, idx, val;
 348   size_t slot;
 349   POP (val);
 350   POP (idx);
 351   POP (instance);
 352   slot = SCM_I_INUM (idx);
 353   SCM_STRUCT_DATA (instance) [slot] = SCM_UNPACK (val);
 354   NEXT;
 355 }
 356
 357 VM_DEFINE_FUNCTION (129, vector_ref, "vector-ref", 2)
 358 {
 359   long i = 0;
 360   ARGS2 (vect, idx);
 361   if (SCM_LIKELY (SCM_I_IS_VECTOR (vect)
 362                   && SCM_I_INUMP (idx)
 363                   && ((i = SCM_I_INUM (idx)) >= 0)
 364                   && i < SCM_I_VECTOR_LENGTH (vect)))
 365     RETURN (SCM_I_VECTOR_ELTS (vect)[i]);
 366   else
 367     {
 368       SYNC_REGISTER ();
 369       RETURN (scm_vector_ref (vect, idx));
 370     }
 371 }
 372
 373 VM_DEFINE_INSTRUCTION (130, vector_set, "vector-set", 0, 3, 0)
 374 {
 375   long i = 0;
 376   SCM vect, idx, val;
 377   POP (val); POP (idx); POP (vect);
 378   if (SCM_LIKELY (SCM_I_IS_VECTOR (vect)
 379                   && SCM_I_INUMP (idx)
 380                   && ((i = SCM_I_INUM (idx)) >= 0)
 381                   && i < SCM_I_VECTOR_LENGTH (vect)))
 382     SCM_I_VECTOR_WELTS (vect)[i] = val;
 383   else
 384     {
 385       SYNC_REGISTER ();
 386       scm_vector_set_x (vect, idx, val);
 387     }
 388   NEXT;
 389 }
 390
 391 #define VM_VALIDATE_BYTEVECTOR(x)               \
 392   if (SCM_UNLIKELY (!SCM_BYTEVECTOR_P (x)))     \
 393     { finish_args = x;                          \
 394       goto vm_error_not_a_bytevector;           \
 395     }
 396
 397 #define BV_REF_WITH_ENDIANNESS(stem, fn_stem)                           \
 398 {                                                                       \
 399   SCM endianness;                                                       \
 400   POP (endianness);                                                     \
 401   if (scm_is_eq (endianness, scm_i_native_endianness))                  \
 402     goto VM_LABEL (bv_##stem##_native_ref);                             \
 403   {                                                                     \
 404     ARGS2 (bv, idx);                                                    \
 405     RETURN (scm_bytevector_##fn_stem##_ref (bv, idx, endianness));      \
 406   }                                                                     \
 407 }
 408
 409 VM_DEFINE_FUNCTION (131, bv_u16_ref, "bv-u16-ref", 3)
 410 BV_REF_WITH_ENDIANNESS (u16, u16)
 411 VM_DEFINE_FUNCTION (132, bv_s16_ref, "bv-s16-ref", 3)
 412 BV_REF_WITH_ENDIANNESS (s16, s16)
 413 VM_DEFINE_FUNCTION (133, bv_u32_ref, "bv-u32-ref", 3)
 414 BV_REF_WITH_ENDIANNESS (u32, u32)
 415 VM_DEFINE_FUNCTION (134, bv_s32_ref, "bv-s32-ref", 3)
 416 BV_REF_WITH_ENDIANNESS (s32, s32)
 417 VM_DEFINE_FUNCTION (135, bv_u64_ref, "bv-u64-ref", 3)
 418 BV_REF_WITH_ENDIANNESS (u64, u64)
 419 VM_DEFINE_FUNCTION (136, bv_s64_ref, "bv-s64-ref", 3)
 420 BV_REF_WITH_ENDIANNESS (s64, s64)
 421 VM_DEFINE_FUNCTION (137, bv_f32_ref, "bv-f32-ref", 3)
 422 BV_REF_WITH_ENDIANNESS (f32, ieee_single)
 423 VM_DEFINE_FUNCTION (138, bv_f64_ref, "bv-f64-ref", 3)
 424 BV_REF_WITH_ENDIANNESS (f64, ieee_double)
 425
 426 #undef BV_REF_WITH_ENDIANNESS
 427
 428 #define BV_FIXABLE_INT_REF(stem, fn_stem, type, size)                   \
 429 {                                                                       \
 430   long i = 0;                                                           \
 431   ARGS2 (bv, idx);                                                      \
 432   VM_VALIDATE_BYTEVECTOR (bv);                                          \
 433   if (SCM_LIKELY (SCM_I_INUMP (idx)                                     \
 434                   && ((i = SCM_I_INUM (idx)) >= 0)                        \
 435                   && (i + size <= SCM_BYTEVECTOR_LENGTH (bv))           \
 436                   && (i % size == 0)))                                  \
 437     RETURN (SCM_I_MAKINUM (*(scm_t_##type*)                             \
 438                            (SCM_BYTEVECTOR_CONTENTS (bv) + i)));        \
 439   else                                                                  \
 440     RETURN (scm_bytevector_##fn_stem##_ref (bv, idx));                  \
 441 }
 442
 443 #define BV_INT_REF(stem, type, size)                                    \
 444 {                                                                       \
 445   long i = 0;                                                           \
 446   ARGS2 (bv, idx);                                                      \
 447   VM_VALIDATE_BYTEVECTOR (bv);                                          \
 448   if (SCM_LIKELY (SCM_I_INUMP (idx)                                     \
 449                   && ((i = SCM_I_INUM (idx)) >= 0)                      \
 450                   && (i + size <= SCM_BYTEVECTOR_LENGTH (bv))           \
 451                   && (i % size == 0)))                                  \
 452     { scm_t_##type x = (*(scm_t_##type*)(SCM_BYTEVECTOR_CONTENTS (bv) + i)); \
 453       if (SCM_FIXABLE (x))                                              \
 454         RETURN (SCM_I_MAKINUM (x));                                     \
 455       else                                                              \
 456         RETURN (scm_from_##type (x));                                   \
 457     }                                                                   \
 458   else                                                                  \
 459     RETURN (scm_bytevector_##stem##_native_ref (bv, idx));              \
 460 }
 461
 462 #define BV_FLOAT_REF(stem, fn_stem, type, size)                         \
 463 {                                                                       \
 464   long i = 0;                                                           \
 465   ARGS2 (bv, idx);                                                      \
 466   VM_VALIDATE_BYTEVECTOR (bv);                                          \
 467   if (SCM_LIKELY (SCM_I_INUMP (idx)                                     \
 468                   && ((i = SCM_I_INUM (idx)) >= 0)                        \
 469                   && (i + size <= SCM_BYTEVECTOR_LENGTH (bv))           \
 470                   && (i % size == 0)))                                  \
 471     RETURN (scm_from_double ((*(type*)(SCM_BYTEVECTOR_CONTENTS (bv) + i)))); \
 472   else                                                                  \
 473     RETURN (scm_bytevector_##fn_stem##_native_ref (bv, idx));           \
 474 }
 475
 476 VM_DEFINE_FUNCTION (139, bv_u8_ref, "bv-u8-ref", 2)
 477 BV_FIXABLE_INT_REF (u8, u8, uint8, 1)
 478 VM_DEFINE_FUNCTION (140, bv_s8_ref, "bv-s8-ref", 2)
 479 BV_FIXABLE_INT_REF (s8, s8, int8, 1)
 480 VM_DEFINE_FUNCTION (141, bv_u16_native_ref, "bv-u16-native-ref", 2)
 481 BV_FIXABLE_INT_REF (u16, u16_native, uint16, 2)
 482 VM_DEFINE_FUNCTION (142, bv_s16_native_ref, "bv-s16-native-ref", 2)
 483 BV_FIXABLE_INT_REF (s16, s16_native, int16, 2)
 484 VM_DEFINE_FUNCTION (143, bv_u32_native_ref, "bv-u32-native-ref", 2)
 485 #if SIZEOF_VOID_P > 4
 486 BV_FIXABLE_INT_REF (u32, u32_native, uint32, 4)
 487 #else
 488 BV_INT_REF (u32, uint32, 4)
 489 #endif
 490 VM_DEFINE_FUNCTION (144, bv_s32_native_ref, "bv-s32-native-ref", 2)
 491 #if SIZEOF_VOID_P > 4
 492 BV_FIXABLE_INT_REF (s32, s32_native, int32, 4)
 493 #else
 494 BV_INT_REF (s32, int32, 4)
 495 #endif
 496 VM_DEFINE_FUNCTION (145, bv_u64_native_ref, "bv-u64-native-ref", 2)
 497 BV_INT_REF (u64, uint64, 8)
 498 VM_DEFINE_FUNCTION (146, bv_s64_native_ref, "bv-s64-native-ref", 2)
 499 BV_INT_REF (s64, int64, 8)
 500 VM_DEFINE_FUNCTION (147, bv_f32_native_ref, "bv-f32-native-ref", 2)
 501 BV_FLOAT_REF (f32, ieee_single, float, 4)
 502 VM_DEFINE_FUNCTION (148, bv_f64_native_ref, "bv-f64-native-ref", 2)
 503 BV_FLOAT_REF (f64, ieee_double, double, 8)
 504
 505 #undef BV_FIXABLE_INT_REF
 506 #undef BV_INT_REF
 507 #undef BV_FLOAT_REF
 508
 509
 510
 511 #define BV_SET_WITH_ENDIANNESS(stem, fn_stem)                           \
 512 {                                                                       \
 513   SCM endianness;                                                       \
 514   POP (endianness);                                                     \
 515   if (scm_is_eq (endianness, scm_i_native_endianness))                  \
 516     goto VM_LABEL (bv_##stem##_native_set);                             \
 517   {                                                                     \
 518     SCM bv, idx, val; POP (val); POP (idx); POP (bv);                   \
 519     scm_bytevector_##fn_stem##_set_x (bv, idx, val, endianness);        \
 520     NEXT;                                                               \
 521   }                                                                     \
 522 }
 523
 524 VM_DEFINE_INSTRUCTION (149, bv_u16_set, "bv-u16-set", 0, 4, 0)
 525 BV_SET_WITH_ENDIANNESS (u16, u16)
 526 VM_DEFINE_INSTRUCTION (150, bv_s16_set, "bv-s16-set", 0, 4, 0)
 527 BV_SET_WITH_ENDIANNESS (s16, s16)
 528 VM_DEFINE_INSTRUCTION (151, bv_u32_set, "bv-u32-set", 0, 4, 0)
 529 BV_SET_WITH_ENDIANNESS (u32, u32)
 530 VM_DEFINE_INSTRUCTION (152, bv_s32_set, "bv-s32-set", 0, 4, 0)
 531 BV_SET_WITH_ENDIANNESS (s32, s32)
 532 VM_DEFINE_INSTRUCTION (153, bv_u64_set, "bv-u64-set", 0, 4, 0)
 533 BV_SET_WITH_ENDIANNESS (u64, u64)
 534 VM_DEFINE_INSTRUCTION (154, bv_s64_set, "bv-s64-set", 0, 4, 0)
 535 BV_SET_WITH_ENDIANNESS (s64, s64)
 536 VM_DEFINE_INSTRUCTION (155, bv_f32_set, "bv-f32-set", 0, 4, 0)
 537 BV_SET_WITH_ENDIANNESS (f32, ieee_single)
 538 VM_DEFINE_INSTRUCTION (156, bv_f64_set, "bv-f64-set", 0, 4, 0)
 539 BV_SET_WITH_ENDIANNESS (f64, ieee_double)
 540
 541 #undef BV_SET_WITH_ENDIANNESS
 542
 543 #define BV_FIXABLE_INT_SET(stem, fn_stem, type, min, max, size)         \
 544 {                                                                       \
 545   long i = 0, j = 0;                                                    \
 546   SCM bv, idx, val; POP (val); POP (idx); POP (bv);                     \
 547   VM_VALIDATE_BYTEVECTOR (bv);                                          \
 548   if (SCM_LIKELY (SCM_I_INUMP (idx)                                     \
 549                   && ((i = SCM_I_INUM (idx)) >= 0)                      \
 550                   && (i + size <= SCM_BYTEVECTOR_LENGTH (bv))           \
 551                   && (i % size == 0)                                    \
 552                   && (SCM_I_INUMP (val))                                \
 553                   && ((j = SCM_I_INUM (val)) >= min)                    \
 554                   && (j <= max)))                                       \
 555     *(scm_t_##type*) (SCM_BYTEVECTOR_CONTENTS (bv) + i) = (scm_t_##type)j; \
 556   else                                                                  \
 557     scm_bytevector_##fn_stem##_set_x (bv, idx, val);                    \
 558   NEXT;                                                                 \
 559 }
 560
 561 #define BV_INT_SET(stem, type, size)                                    \
 562 {                                                                       \
 563   long i = 0;                                                           \
 564   SCM bv, idx, val; POP (val); POP (idx); POP (bv);                     \
 565   VM_VALIDATE_BYTEVECTOR (bv);                                          \
 566   if (SCM_LIKELY (SCM_I_INUMP (idx)                                     \
 567                   && ((i = SCM_I_INUM (idx)) >= 0)                      \
 568                   && (i + size <= SCM_BYTEVECTOR_LENGTH (bv))           \
 569                   && (i % size == 0)))                                  \
 570     *(scm_t_##type*) (SCM_BYTEVECTOR_CONTENTS (bv) + i) = scm_to_##type (val); \
 571   else                                                                  \
 572     scm_bytevector_##stem##_native_set_x (bv, idx, val);                \
 573   NEXT;                                                                 \
 574 }
 575
 576 #define BV_FLOAT_SET(stem, fn_stem, type, size)                         \
 577 {                                                                       \
 578   long i = 0;                                                           \
 579   SCM bv, idx, val; POP (val); POP (idx); POP (bv);                     \
 580   VM_VALIDATE_BYTEVECTOR (bv);                                          \
 581   if (SCM_LIKELY (SCM_I_INUMP (idx)                                     \
 582                   && ((i = SCM_I_INUM (idx)) >= 0)                      \
 583                   && (i + size <= SCM_BYTEVECTOR_LENGTH (bv))           \
 584                   && (i % size == 0)))                                  \
 585     *(type*) (SCM_BYTEVECTOR_CONTENTS (bv) + i) = scm_to_double (val);  \
 586   else                                                                  \
 587     scm_bytevector_##fn_stem##_native_set_x (bv, idx, val);             \
 588   NEXT;                                                                 \
 589 }
 590
 591 VM_DEFINE_INSTRUCTION (157, bv_u8_set, "bv-u8-set", 0, 3, 0)
 592 BV_FIXABLE_INT_SET (u8, u8, uint8, 0, SCM_T_UINT8_MAX, 1)
 593 VM_DEFINE_INSTRUCTION (158, bv_s8_set, "bv-s8-set", 0, 3, 0)
 594 BV_FIXABLE_INT_SET (s8, s8, int8, SCM_T_INT8_MIN, SCM_T_INT8_MAX, 1)
 595 VM_DEFINE_INSTRUCTION (159, bv_u16_native_set, "bv-u16-native-set", 0, 3, 0)
 596 BV_FIXABLE_INT_SET (u16, u16_native, uint16, 0, SCM_T_UINT16_MAX, 2)
 597 VM_DEFINE_INSTRUCTION (160, bv_s16_native_set, "bv-s16-native-set", 0, 3, 0)
 598 BV_FIXABLE_INT_SET (s16, s16_native, int16, SCM_T_INT16_MIN, SCM_T_INT16_MAX, 2)
 599 VM_DEFINE_INSTRUCTION (161, bv_u32_native_set, "bv-u32-native-set", 0, 3, 0)
 600 #if SIZEOF_VOID_P > 4
 601 BV_FIXABLE_INT_SET (u32, u32_native, uint32, 0, SCM_T_UINT32_MAX, 4)
 602 #else
 603 BV_INT_SET (u32, uint32, 4)
 604 #endif
 605 VM_DEFINE_INSTRUCTION (162, bv_s32_native_set, "bv-s32-native-set", 0, 3, 0)
 606 #if SIZEOF_VOID_P > 4
 607 BV_FIXABLE_INT_SET (s32, s32_native, int32, SCM_T_INT32_MIN, SCM_T_INT32_MAX, 4)
 608 #else
 609 BV_INT_SET (s32, int32, 4)
 610 #endif
 611 VM_DEFINE_INSTRUCTION (163, bv_u64_native_set, "bv-u64-native-set", 0, 3, 0)
 612 BV_INT_SET (u64, uint64, 8)
 613 VM_DEFINE_INSTRUCTION (164, bv_s64_native_set, "bv-s64-native-set", 0, 3, 0)
 614 BV_INT_SET (s64, int64, 8)
 615 VM_DEFINE_INSTRUCTION (165, bv_f32_native_set, "bv-f32-native-set", 0, 3, 0)
 616 BV_FLOAT_SET (f32, ieee_single, float, 4)
 617 VM_DEFINE_INSTRUCTION (166, bv_f64_native_set, "bv-f64-native-set", 0, 3, 0)
 618 BV_FLOAT_SET (f64, ieee_double, double, 8)
 619
 620 #undef BV_FIXABLE_INT_SET
 621 #undef BV_INT_SET
 622 #undef BV_FLOAT_SET
 623
 624 #define VM_VALIDATE_STRUCT(obj)                 \
 625   if (SCM_UNLIKELY (!SCM_STRUCTP (obj)))        \
 626     {                                           \
 627       finish_args = (obj);                      \
 628       goto vm_error_not_a_struct;               \
 629     }
 630
 631 VM_DEFINE_FUNCTION (174, struct_p, "struct?", 1)
 632 {
 633   ARGS1 (obj);
 634   RETURN (scm_from_bool (SCM_STRUCTP (obj)));
 635 }
 636
 637 VM_DEFINE_FUNCTION (175, struct_vtable, "struct-vtable", 1)
 638 {
 639   ARGS1 (obj);
 640   VM_VALIDATE_STRUCT (obj);
 641   RETURN (SCM_STRUCT_VTABLE (obj));
 642 }
 643
 644 VM_DEFINE_INSTRUCTION (176, make_struct, "make-struct", 2, -1, 1)
 645 {
 646   unsigned h = FETCH ();
 647   unsigned l = FETCH ();
 648   int n_args = ((h << 8U) + l);
 649   SCM vtable = sp[1 - n_args], n_tail = sp[2 - n_args];
 650   const SCM *inits = sp - n_args + 3;
 651
 652   sp -= n_args - 1;
 653
 654   SYNC_REGISTER ();
 655   RETURN (scm_c_make_structv (vtable, scm_to_size_t (n_tail),
 656                               n_args - 2, (scm_t_bits *) inits));
 657 }
 658
 659 VM_DEFINE_INSTRUCTION (177, make_array, "make-array", 3, -1, 1)
 660 {
 661   scm_t_uint32 len;
 662   SCM shape, ret;
 663
 664   len = FETCH ();
 665   len = (len << 8) + FETCH ();
 666   len = (len << 8) + FETCH ();
 667   POP (shape);
 668   SYNC_REGISTER ();
 669   ret = scm_from_contiguous_array (shape, sp - len + 1, len);
 670   DROPN (len);
 671   RETURN (ret);
 672 }
 673
 674 /*
 675 (defun renumber-ops ()
 676   "start from top of buffer and renumber 'VM_DEFINE_FOO (\n' sequences"
 677   (interactive "")
 678   (save-excursion
 679     (let ((counter 99)) (goto-char (point-min))
 680       (while (re-search-forward "^VM_DEFINE_[^ ]+ (\\([^,]+\\)," (point-max) t)
 681         (replace-match
 682          (number-to-string (setq counter (1+ counter)))
 683           t t nil 1)))))
 684 */
 685
 686 /*
 687   Local Variables:
 688   c-file-style: "gnu"
 689   End:
 690 */