picobit-vm.h

   1 /* file: "picobit-vm.h" */
   2
   3 /*
   4  * Copyright 2004-2009 by Marc Feeley and Vincent St-Amour, All Rights Reserved.
   5  */
   6
   7 #ifndef PICOBIT_VM_H
   8 #define PICOBIT_VM_H
   9
  10 #define DEBUG_not
  11 #define DEBUG_GC_not
  12 #define INFINITE_PRECISION_BIGNUMS
  13
  14 /*---------------------------------------------------------------------------*/
  15
  16 // types
  17
  18 #ifndef SIXPIC
  19 // these types are already defined in SIXPIC
  20 typedef char int8;
  21 typedef short int16;
  22 typedef long int32;
  23 typedef unsigned char uint8;
  24 typedef unsigned short uint16;
  25 typedef unsigned long uint32;
  26 #endif
  27
  28 typedef uint8 word;
  29
  30 typedef uint16 ram_addr;
  31 typedef uint16 rom_addr;
  32
  33 // pointers are 13 bits
  34 typedef uint16 obj;
  35
  36 /*---------------------------------------------------------------------------*/
  37
  38 // environment
  39
  40 #ifdef PICOBOARD2
  41 #define ROBOT
  42 #endif
  43
  44 #ifdef HI_TECH_C
  45 #define ROBOT
  46 #endif
  47
  48 #ifndef ROBOT
  49 #define WORKSTATION
  50 #endif
  51
  52
  53 #ifdef HI_TECH_C
  54
  55 #include <pic18.h>
  56
  57 static volatile near uint8 FW_VALUE_UP       @ 0x33;
  58 static volatile near uint8 FW_VALUE_HI       @ 0x33;
  59 static volatile near uint8 FW_VALUE_LO       @ 0x33;
  60
  61 #define ACTIVITY_LED1_LAT LATB
  62 #define ACTIVITY_LED1_BIT 5
  63 #define ACTIVITY_LED2_LAT LATB
  64 #define ACTIVITY_LED2_BIT 4
  65 static volatile near bit ACTIVITY_LED1 @ ((unsigned)&ACTIVITY_LED1_LAT*8)+ACTIVITY_LED1_BIT;
  66 static volatile near bit ACTIVITY_LED2 @ ((unsigned)&ACTIVITY_LED2_LAT*8)+ACTIVITY_LED2_BIT;
  67
  68 #endif
  69
  70
  71 #ifdef WORKSTATION
  72
  73 #include <stdio.h>
  74 #include <stdlib.h>
  75
  76 #ifdef NETWORKING
  77 #include <pcap.h>
  78 #define MAX_PACKET_SIZE BUFSIZ
  79 #define PROMISC 1
  80 #define TO_MSEC 1
  81 char errbuf[PCAP_ERRBUF_SIZE];
  82 pcap_t *handle;
  83 #define INTERFACE "eth0"
  84 char buf [MAX_PACKET_SIZE]; // buffer for writing
  85 #endif
  86
  87 #ifdef _WIN32
  88
  89 #include <sys/types.h>
  90 #include <sys/timeb.h>
  91 #include <conio.h>
  92
  93 #else
  94
  95 #include <sys/time.h>
  96
  97 #endif
  98
  99 #endif
 100
 101 /*---------------------------------------------------------------------------*/
 102
 103 // miscellaneous definitions
 104 // TODO put at the end ?
 105
 106 // TODO these 2 are only used in negp, use them elsewhere ?
 107 #define true  1
 108 #define false 0
 109
 110 #define CODE_START 0x8000
 111
 112 /*---------------------------------------------------------------------------*/
 113
 114 // debugging
 115
 116 #ifdef DEBUG
 117 #define IF_TRACE(x) x
 118 #define IF_GC_TRACE(x) x
 119 #else
 120 #define IF_TRACE(x)
 121 #define IF_GC_TRACE(x)
 122 #endif
 123
 124 /*---------------------------------------------------------------------------*/
 125
 126 // error handling
 127
 128 #ifdef PICOBOARD2
 129 #define ERROR(prim, msg) halt_with_error()
 130 #define TYPE_ERROR(prim, type) halt_with_error()
 131 #endif
 132
 133 #ifdef WORKSTATION
 134 #define ERROR(prim, msg) error (prim, msg)
 135 #define TYPE_ERROR(prim, type) type_error (prim, type)
 136 void error (char *prim, char *msg);
 137 void type_error (char *prim, char *type);
 138 #endif
 139
 140 /*---------------------------------------------------------------------------*/
 141
 142 // address space layout
 143 // TODO document each zone, also explain that since vector space is in ram, it uses the ram primitives
 144
 145 #define MAX_VEC_ENCODING 2047
 146 #define MIN_VEC_ENCODING 1280
 147 #define VEC_BYTES ((MAX_VEC_ENCODING - MIN_VEC_ENCODING + 1)*4)
 148 // if the pic has less than 8k of memory, start vector space lower
 149
 150 #define MAX_RAM_ENCODING 1279
 151 #define MIN_RAM_ENCODING 512
 152 #define RAM_BYTES ((MAX_RAM_ENCODING - MIN_RAM_ENCODING + 1)*4)
 153
 154 #define MIN_FIXNUM_ENCODING 3
 155 #define MIN_FIXNUM -1
 156 #define MAX_FIXNUM 255
 157 #define MIN_ROM_ENCODING (MIN_FIXNUM_ENCODING + MAX_FIXNUM - MIN_FIXNUM + 1)
 158
 159 #define OBJ_TO_RAM_ADDR(o,f) ((((o) - MIN_RAM_ENCODING) << 2) + (f))
 160 #define OBJ_TO_ROM_ADDR(o,f) ((((o) - MIN_ROM_ENCODING) << 2) + (CODE_START + 4 + (f)))
 161
 162 #ifdef PICOBOARD2
 163 #ifdef SIXPIC
 164 #define ram_get(a) *(a+0x200)
 165 #define ram_set(a,x) *(a+0x200) = (x)
 166 #else
 167 #define ram_get(a) *(uint8*)(a+0x200)
 168 #define ram_set(a,x) *(uint8*)(a+0x200) = (x)
 169 #endif
 170 #endif
 171 #ifdef WORKSTATION
 172 uint8 ram_mem[RAM_BYTES + VEC_BYTES];
 173 #define ram_get(a) ram_mem[a]
 174 #define ram_set(a,x) ram_mem[a] = (x)
 175 #endif
 176
 177 #ifdef  PICOBOARD2
 178 #ifndef SIXPIC
 179 // provided by SIXPIC
 180 uint8 rom_get (rom_addr a){
 181   return *(rom uint8*)a;
 182 }
 183 #endif
 184 #endif
 185
 186 #ifdef WORKSTATION
 187 #define ROM_BYTES 8192
 188 uint8 rom_mem[ROM_BYTES] =
 189   {
 190 #define RED_GREEN
 191 #define PUTCHAR_LIGHT_not
 192 #ifdef RED_GREEN
 193     0xFB, 0xD7, 0x03, 0x00, 0x00, 0x00, 0x00, 0x32
 194     , 0x03, 0x00, 0x00, 0x00, 0x03, 0x00, 0x00, 0x00
 195     , 0x08, 0x50, 0x80, 0x16, 0xFE, 0xE8, 0x00, 0xFC
 196     , 0x32, 0x80, 0x2D, 0xFE, 0xFC, 0x31, 0x80, 0x43
 197     , 0xFE, 0xFC, 0x33, 0x80, 0x2D, 0xFE, 0xFC, 0x31
 198     , 0x80, 0x43, 0xFE, 0x90, 0x16, 0x01, 0x20, 0xFC
 199     , 0x32, 0xE3, 0xB0, 0x37, 0x09, 0xF3, 0xFF, 0x20
 200     , 0xFC, 0x33, 0xE3, 0xB0, 0x40, 0x0A, 0xF3, 0xFF
 201     , 0x08, 0xF3, 0xFF, 0x01, 0x40, 0x21, 0xD1, 0x00
 202     , 0x02, 0xC0, 0x4C, 0x71, 0x01, 0x20, 0x50, 0x90
 203     , 0x51, 0x00, 0xF1, 0x40, 0xD8, 0xB0, 0x59, 0x90
 204     , 0x51, 0x00, 0xFF
 205 #endif
 206 #ifdef PUTCHAR_LIGHT
 207     0xFB, 0xD7, 0x00, 0x00, 0x80, 0x08, 0xFE, 0xE8
 208     , 0x00, 0xF6, 0xF5, 0x90, 0x08
 209 #endif
 210   };
 211 uint8 rom_get (rom_addr a) {
 212   return rom_mem[a-CODE_START];
 213 }
 214 #endif
 215
 216 #define RAM_GET_FIELD0_MACRO(o) ram_get (OBJ_TO_RAM_ADDR(o,0))
 217 #define RAM_SET_FIELD0_MACRO(o,val) ram_set (OBJ_TO_RAM_ADDR(o,0), val)
 218 #define ROM_GET_FIELD0_MACRO(o) rom_get (OBJ_TO_ROM_ADDR(o,0))
 219
 220 #define RAM_GET_GC_TAGS_MACRO(o) (RAM_GET_FIELD0_MACRO(o) & 0x60)
 221 #define RAM_GET_GC_TAG0_MACRO(o) (RAM_GET_FIELD0_MACRO(o) & 0x20)
 222 #define RAM_GET_GC_TAG1_MACRO(o) (RAM_GET_FIELD0_MACRO(o) & 0x40)
 223 #define RAM_SET_GC_TAGS_MACRO(o,tags)                                      \
 224   (RAM_SET_FIELD0_MACRO(o,(RAM_GET_FIELD0_MACRO(o) & 0x9f) | (tags)))
 225 #define RAM_SET_GC_TAG0_MACRO(o,tag)                                    \
 226   RAM_SET_FIELD0_MACRO(o,(RAM_GET_FIELD0_MACRO(o) & 0xdf) | (tag))
 227 #define RAM_SET_GC_TAG1_MACRO(o,tag)                                    \
 228   RAM_SET_FIELD0_MACRO(o,(RAM_GET_FIELD0_MACRO(o) & 0xbf) | (tag))
 229
 230 #define RAM_GET_FIELD1_MACRO(o) ram_get (OBJ_TO_RAM_ADDR(o,1))
 231 #define RAM_GET_FIELD2_MACRO(o) ram_get (OBJ_TO_RAM_ADDR(o,2))
 232 #define RAM_GET_FIELD3_MACRO(o) ram_get (OBJ_TO_RAM_ADDR(o,3))
 233 #define RAM_SET_FIELD1_MACRO(o,val) ram_set (OBJ_TO_RAM_ADDR(o,1), val)
 234 #define RAM_SET_FIELD2_MACRO(o,val) ram_set (OBJ_TO_RAM_ADDR(o,2), val)
 235 #define RAM_SET_FIELD3_MACRO(o,val) ram_set (OBJ_TO_RAM_ADDR(o,3), val)
 236 #define ROM_GET_FIELD1_MACRO(o) rom_get (OBJ_TO_ROM_ADDR(o,1))
 237 #define ROM_GET_FIELD2_MACRO(o) rom_get (OBJ_TO_ROM_ADDR(o,2))
 238 #define ROM_GET_FIELD3_MACRO(o) rom_get (OBJ_TO_ROM_ADDR(o,3))
 239
 240 word ram_get_gc_tags (obj o) { return RAM_GET_GC_TAGS_MACRO(o); }
 241 word ram_get_gc_tag0 (obj o) { return RAM_GET_GC_TAG0_MACRO(o); }
 242 word ram_get_gc_tag1 (obj o) { return RAM_GET_GC_TAG1_MACRO(o); }
 243 void ram_set_gc_tags (obj o, word tags) { RAM_SET_GC_TAGS_MACRO(o, tags); }
 244 void ram_set_gc_tag0 (obj o, word tag) { RAM_SET_GC_TAG0_MACRO(o,tag); }
 245 void ram_set_gc_tag1 (obj o, word tag) { RAM_SET_GC_TAG1_MACRO(o,tag); }
 246 word ram_get_field0 (obj o) { return RAM_GET_FIELD0_MACRO(o); }
 247 word ram_get_field1 (obj o) { return RAM_GET_FIELD1_MACRO(o); }
 248 word ram_get_field2 (obj o) { return RAM_GET_FIELD2_MACRO(o); }
 249 word ram_get_field3 (obj o) { return RAM_GET_FIELD3_MACRO(o); }
 250 void ram_set_field0 (obj o, word val) { RAM_SET_FIELD0_MACRO(o,val); }
 251 void ram_set_field1 (obj o, word val) { RAM_SET_FIELD1_MACRO(o,val); }
 252 void ram_set_field2 (obj o, word val) { RAM_SET_FIELD2_MACRO(o,val); }
 253 void ram_set_field3 (obj o, word val) { RAM_SET_FIELD3_MACRO(o,val); }
 254 word rom_get_field0 (obj o) { return ROM_GET_FIELD0_MACRO(o); }
 255 word rom_get_field1 (obj o) { return ROM_GET_FIELD1_MACRO(o); }
 256 word rom_get_field2 (obj o) { return ROM_GET_FIELD2_MACRO(o); }
 257 word rom_get_field3 (obj o) { return ROM_GET_FIELD3_MACRO(o); }
 258
 259 obj ram_get_car (obj o);
 260 obj rom_get_car (obj o);
 261 obj ram_get_cdr (obj o);
 262 obj rom_get_cdr (obj o);
 263 void ram_set_car (obj o, obj val);
 264 void ram_set_cdr (obj o, obj val);
 265
 266 obj ram_get_entry (obj o);
 267 obj rom_get_entry (obj o);
 268
 269 obj get_global (uint8 i);
 270 void set_global (uint8 i, obj o);
 271
 272
 273 /*---------------------------------------------------------------------------*/
 274
 275 /*
 276   OBJECT ENCODING:
 277
 278   #f           0
 279   #t           1
 280   ()           2
 281   fixnum n     MIN_FIXNUM -> 3 ... MAX_FIXNUM -> 3 + (MAX_FIXNUM-MIN_FIXNUM)
 282   rom object   4 + (MAX_FIXNUM-MIN_FIXNUM) ... MIN_RAM_ENCODING-1
 283   ram object   MIN_RAM_ENCODING ... MAX_RAM_ENCODING
 284   u8vector     MIN_VEC_ENCODING ... 8191
 285
 286   layout of memory allocated objects:
 287
 288   Gs represent mark bits used by the gc
 289
 290   ifdef INFINITE_PRECISION_BIGNUMS
 291   bignum n     0GG***** **next** hhhhhhhh llllllll  (16 bit digit)
 292   TODO what to do with the gc tags for the bignums ? will this work ?
 293
 294   ifndef INFINITE_PRECISION_BIGNUMS
 295   bignum n     00000000 uuuuuuuu hhhhhhhh llllllll  (24 bit signed integer)
 296   TODO doesn't work properly for the moment. only 16 bits are usable now
 297
 298   pair         1GGaaaaa aaaaaaaa 000ddddd dddddddd
 299   a is car
 300   d is cdr
 301   gives an address space of 2^13 * 4 = 32k divided between simple objects,
 302   rom, ram and vectors
 303
 304   symbol       1GG00000 00000000 00100000 00000000
 305
 306   string       1GG***** *chars** 01000000 00000000
 307
 308   u8vector     1GGxxxxx xxxxxxxx 011yyyyy yyyyyyyy
 309   x is length of the vector, in bytes (stored raw, not encoded as an object)
 310   y is pointer to the elements themselves (stored in vector space)
 311
 312   closure      01Gaaaaa aaaaaaaa aaaxxxxx xxxxxxxx
 313   0x5ff<a<0x4000 is entry
 314   x is pointer to environment
 315   the reason why the environment is on the cdr (and the entry is split on 3
 316   bytes) is that, when looking for a variable, a closure is considered to be a
 317   pair. The compiler adds an extra offset to any variable in the closure's
 318   environment, so the car of the closure (which doesn't really exist) is never
 319   checked, but the cdr is followed to find the other bindings
 320
 321   continuation 1GGxxxxx xxxxxxxx 100yyyyy yyyyyyyy
 322   x is parent continuation
 323   y is pointer to the second half, which is a closure (contains env and entry)
 324
 325   An environment is a list of objects built out of pairs.  On entry to
 326   a procedure the environment is the list of parameters to which is
 327   added the environment of the closure being called.
 328
 329   The first byte at the entry point of a procedure gives the arity of
 330   the procedure:
 331
 332   n = 0 to 127    -> procedure has n parameters (no rest parameter)
 333   n = -128 to -1  -> procedure has -n parameters, the last is
 334   a rest parameter
 335 */
 336
 337 #define OBJ_FALSE 0
 338 #define OBJ_TRUE  1
 339 #define encode_bool(x) (x)
 340
 341 #define OBJ_NULL  2
 342
 343 // fixnum definitions in picobit-vm.h , address space layout section
 344
 345 #define ENCODE_FIXNUM(n) ((n) + (MIN_FIXNUM_ENCODING - MIN_FIXNUM))
 346 #define DECODE_FIXNUM(o) ((o) - (MIN_FIXNUM_ENCODING - MIN_FIXNUM))
 347
 348 #define IN_VEC(o) ((o) >= MIN_VEC_ENCODING)
 349 #define IN_RAM(o) (!IN_VEC(o) && ((o) >= MIN_RAM_ENCODING))
 350 #define IN_ROM(o) (!IN_VEC(o) && !IN_RAM(o) && ((o) >= MIN_ROM_ENCODING))
 351
 352 // bignum first byte : 00Gxxxxx
 353 #define BIGNUM_FIELD0 0
 354 #define RAM_BIGNUM(o) ((ram_get_field0 (o) & 0xc0) == BIGNUM_FIELD0)
 355 #define ROM_BIGNUM(o) ((rom_get_field0 (o) & 0xc0) == BIGNUM_FIELD0)
 356
 357 // composite first byte : 1GGxxxxx
 358 #define COMPOSITE_FIELD0 0x80
 359 #define RAM_COMPOSITE(o) ((ram_get_field0 (o) & 0x80) == COMPOSITE_FIELD0)
 360 #define ROM_COMPOSITE(o) ((rom_get_field0 (o) & 0x80) == COMPOSITE_FIELD0)
 361
 362 // pair third byte : 000xxxxx
 363 #define PAIR_FIELD2 0
 364 #define RAM_PAIR(o) (RAM_COMPOSITE (o) && ((ram_get_field2 (o) & 0xe0) == PAIR_FIELD2))
 365 #define ROM_PAIR(o) (ROM_COMPOSITE (o) && ((rom_get_field2 (o) & 0xe0) == PAIR_FIELD2))
 366
 367 // symbol third byte : 001xxxxx
 368 #define SYMBOL_FIELD2 0x20
 369 #define RAM_SYMBOL(o) (RAM_COMPOSITE (o) && ((ram_get_field2 (o) & 0xe0) == SYMBOL_FIELD2))
 370 #define ROM_SYMBOL(o) (ROM_COMPOSITE (o) && ((rom_get_field2 (o) & 0xe0) == SYMBOL_FIELD2))
 371
 372 // string third byte : 010xxxxx
 373 #define STRING_FIELD2 0x40
 374 #define RAM_STRING(o) (RAM_COMPOSITE (o) && ((ram_get_field2 (o) & 0xe0) == STRING_FIELD2))
 375 #define ROM_STRING(o) (ROM_COMPOSITE (o) && ((rom_get_field2 (o) & 0xe0) == STRING_FIELD2))
 376
 377 // vector third byte : 011xxxxx
 378 #define VECTOR_FIELD2 0x60
 379 #define RAM_VECTOR(o) (RAM_COMPOSITE (o) && ((ram_get_field2 (o) & 0xe0) == VECTOR_FIELD2))
 380 #define ROM_VECTOR(o) (ROM_COMPOSITE (o) && ((rom_get_field2 (o) & 0xe0) == VECTOR_FIELD2))
 381
 382 // continuation third byte : 100xxxxx
 383 #define CONTINUATION_FIELD2 0x80
 384 #define RAM_CONTINUATION(o) (RAM_COMPOSITE (o) && ((ram_get_field2 (o) & 0xe0) == CONTINUATION_FIELD2))
 385 #define ROM_CONTINUATION(o) (ROM_COMPOSITE (o) && ((rom_get_field2 (o) & 0xe0) == CONTINUATION_FIELD2))
 386
 387 // closure first byte : 01Gxxxxx
 388 #define CLOSURE_FIELD0 0x40
 389 #define RAM_CLOSURE(o) ((ram_get_field0 (o) & 0xc0) == CLOSURE_FIELD0)
 390 #define ROM_CLOSURE(o) ((rom_get_field0 (o) & 0xc0) == CLOSURE_FIELD0)
 391
 392 /*---------------------------------------------------------------------------*/
 393
 394 // bignum definitions
 395
 396 #ifdef INFINITE_PRECISION_BIGNUMS
 397
 398 #define digit_width 16
 399
 400 typedef obj integer;
 401 typedef uint16 digit; // TODO why these ? adds to the confusion
 402 typedef uint32 two_digit;
 403
 404 #define obj_eq(x,y) ((x) == (y))
 405 #define integer_hi_set(x,y) ram_set_car (x, y)
 406
 407 #define ZERO ENCODE_FIXNUM(0)
 408 #define NEG1 (ZERO-1)
 409 #define POS1 (ZERO+1)
 410
 411 integer make_integer (digit lo, integer hi);
 412 integer integer_hi (integer x);
 413 digit integer_lo (integer x);
 414
 415 integer norm (obj prefix, integer n);
 416 uint8 negp (integer x);
 417 uint8 cmp (integer x, integer y);
 418 uint16 integer_length (integer x);
 419 integer shr (integer x);
 420 integer negative_carry (integer carry);
 421 integer shl (integer x);
 422 integer shift_left (integer x, uint16 n);
 423 integer add (integer x, integer y);
 424 integer invert (integer x);
 425 integer sub (integer x, integer y);
 426 integer neg (integer x);
 427 integer scale (digit n, integer x);
 428 integer mulnonneg (integer x, integer y);
 429 integer divnonneg (integer x, integer y);
 430
 431 uint16 decode_int (obj o);
 432 obj encode_int (uint16 n);
 433
 434 #endif
 435
 436 /*---------------------------------------------------------------------------*/
 437
 438 // garbage collector
 439
 440 // TODO explain what each tag means, with 1-2 mark bits
 441 #define GC_TAG_0_LEFT   (1<<5)
 442 #define GC_TAG_1_LEFT   (2<<5)
 443 #define GC_TAG_UNMARKED (0<<5)
 444
 445 /* Number of object fields of objects in ram */
 446 #define HAS_2_OBJECT_FIELDS(visit) (RAM_PAIR(visit) || RAM_CONTINUATION(visit))
 447 #ifdef INFINITE_PRECISION_BIGNUMS
 448 #define HAS_1_OBJECT_FIELD(visit)  (RAM_COMPOSITE(visit) \
 449                                     || RAM_CLOSURE(visit) || RAM_BIGNUM(visit))
 450 #else
 451 #define HAS_1_OBJECT_FIELD(visit)  (RAM_COMPOSITE(visit) || RAM_CLOSURE(visit))
 452 #endif
 453 // all composites except pairs and continuations have 1 object field
 454
 455 #define NIL OBJ_FALSE
 456
 457 obj free_list; /* list of unused cells */
 458 obj free_list_vec; /* list of unused cells in vector space */
 459
 460 obj arg1; /* root set */
 461 obj arg2;
 462 obj arg3;
 463 obj arg4;
 464 obj arg5;
 465 obj cont;
 466 obj env;
 467
 468 uint8 na; /* interpreter variables */
 469 rom_addr pc;
 470 uint8 glovars;
 471 rom_addr entry;
 472 uint8 bytecode;
 473 uint8 bytecode_hi4;
 474 uint8 bytecode_lo4;
 475 uint16 a1;
 476 uint16 a2;
 477 uint16 a3;
 478
 479 /*---------------------------------------------------------------------------*/
 480
 481 // primitives
 482
 483 #ifdef WORKSTATION
 484 char *prim_name[64];
 485 #endif
 486
 487 void prim_numberp ();
 488 void prim_add ();
 489 void prim_mul ();
 490 void prim_div ();
 491 void prim_rem ();
 492 void prim_neg ();
 493 void prim_eq ();
 494 void prim_lt ();
 495 void prim_gt ();
 496 // TODO we have extra primitives, pring back geq, leq, and put them in a sensible place in the primitives
 497 void prim_ior ();
 498 void prim_xor ();
 499
 500 void prim_pairp ();
 501 obj cons (obj car, obj cdr);
 502 void prim_cons ();
 503 void prim_car ();
 504 void prim_cdr ();
 505 void prim_set_car ();
 506 void prim_set_cdr ();
 507 void prim_nullp ();
 508
 509 void prim_u8vectorp ();
 510 void prim_make_u8vector ();
 511 void prim_u8vector_ref ();
 512 void prim_u8vector_set ();
 513 void prim_u8vector_length ();
 514 void prim_u8vector_copy ();
 515
 516 void prim_eqp ();
 517 void prim_not ();
 518 void prim_symbolp ();
 519 void prim_stringp ();
 520 void prim_string2list ();
 521 void prim_list2string ();
 522 void prim_booleanp ();
 523
 524 #ifdef WORKSTATION
 525 void show (obj o);
 526 void print (obj o);
 527 #endif
 528 void prim_print ();
 529 uint32 read_clock ();
 530 void prim_clock ();
 531 void prim_motor ();
 532 void prim_led ();
 533 void prim_led2_color ();
 534 void prim_getchar_wait ();
 535 void prim_putchar ();
 536 void prim_beep ();
 537 void prim_adc ();
 538 void prim_sernum ();
 539
 540 void prim_network_init ();
 541 void prim_network_cleanup ();
 542 void prim_receive_packet_to_u8vector ();
 543 void prim_send_packet_from_u8vector ();
 544
 545 /*---------------------------------------------------------------------------*/
 546
 547 // dispatch
 548
 549 #define FETCH_NEXT_BYTECODE() bytecode = rom_get (pc++)
 550
 551 #define BEGIN_DISPATCH()                        \
 552   dispatch:                                     \
 553   IF_TRACE(show_state (pc));                    \
 554   FETCH_NEXT_BYTECODE();                        \
 555   bytecode_hi4 = bytecode & 0xf0;               \
 556   bytecode_lo4 = bytecode & 0x0f;               \
 557   switch (bytecode_hi4 >> 4) {
 558
 559 #define END_DISPATCH() }
 560
 561 #define CASE(opcode) case (opcode):;
 562
 563 #define DISPATCH(); goto dispatch;
 564
 565 #define PUSH_CONSTANT1     0x0
 566 #define PUSH_CONSTANT2     0x1
 567 #define PUSH_STACK1        0x2
 568 #define PUSH_STACK2        0x3
 569 #define PUSH_GLOBAL        0x4
 570 #define SET_GLOBAL         0x5
 571 #define CALL               0x6
 572 #define JUMP               0x7
 573 #define LABEL_INSTR        0x8
 574 #define PUSH_CONSTANT_LONG 0x9
 575
 576 #define FREE1              0xa
 577 #define FREE2              0xb
 578
 579 #define PRIM1              0xc
 580 #define PRIM2              0xd
 581 #define PRIM3              0xe
 582 #define PRIM4              0xf
 583
 584 #define PUSH_ARG1() push_arg1 ()
 585 #define POP() pop()
 586
 587 void push_arg1 ();
 588 obj pop ();
 589 void pop_procedure ();
 590 void handle_arity_and_rest_param ();
 591 void build_env ();
 592 void save_cont ();
 593 void interpreter ();
 594
 595 /*---------------------------------------------------------------------------*/
 596
 597 // debugging functions
 598
 599 #ifdef WORKSTATION
 600 void show_type (obj o);
 601 void show_state (rom_addr pc);
 602 #endif
 603
 604 /*---------------------------------------------------------------------------*/
 605
 606 #endif
 607