eforth_vm.h

Go to the documentation of this file.

 
#ifndef __EFORTH_VM_H
#define __EFORTH_VM_H
#include "eforth_core.h"
 
namespace EfVM {
extern PGM_P  _rom;               
extern U8     *_ram;              
extern Stream *io;                
#define RAM_FLAG       0xe000     
#define IDX_MASK       0x07ff     
#define IRET_FLAG      0x8000     
#define BOOL(f)        ((f) ? TRUE : FALSE)
#define RAM(i)         &_ram[(i) - FORTH_RAM_ADDR]
U8 BGET(U16 d) {
    return (U8)((d&RAM_FLAG) ? _ram[d&IDX_MASK] : pgm_read_byte(_rom+d));
}
U16 GET(U16 d) {
    return (d&RAM_FLAG)
        ? ((U16)_ram[d&IDX_MASK]<<8) | _ram[(d+1)&IDX_MASK]
        : ((U16)pgm_read_byte(_rom+d)<<8) | pgm_read_byte(_rom+d+1);
}
#define BSET(d, c)     (_ram[(d)&IDX_MASK]=(U8)(c))
void SET(U16 d, U16 v) {
    BSET(d,   v>>8);
    BSET(d+1, v&0xff);
}
#define S2D(h, l) (((S32)(h)<<16) | ((l)&0xffff))
#define DEPTH()  ((DU)((U8*)S - RAM(FORTH_STACK_ADDR)) >> 1)
#define PUSH(v)  { *++S = T; T = (v); }
#define RPUSH(v) { *--R = I; I = (v); }
#define POP()    (T = *S--)
#define RPOP()   (I = *R++)
#define DTOP(d)  { *S = (d)&0xffff; T = (d)>>16; }
 
#if EXE_TRACE
int tCNT;           
int tTAB;           
int constexpr opEXIT  = 1;    
int constexpr opENTER = 2;
int constexpr opDOLIT = 6;
int constexpr opEXEC  = 8;
 
#define DEBUG(s,v)  if (tCNT) printf((s),(v))
#define TAB()       if (tCNT) {           \
    LOG("\n");                            \
    for (int i=0; i<tTAB; i++) LOG("  "); \
}
void TRACE(U8 op, U16 ip, U16 top, S16 s)
{
    if (!tCNT) return;                       
    // indent call depth
    if (op==opENTER) {
        TAB();
        tTAB++;
    }
    // display IP:W[opcode]
    U16 w = ip - 1;
    LOG_H(" ", w);                           
    LOG_H("[", op); LOG("]");                
    // dump stack
    for (int i=0; i<s; i++) {
        LOG_H("_", *((DU*)RAM(FORTH_STACK_ADDR) + (i+1)));
    }
    LOG_H("_", top);
    LOG("_");
    switch (op) {
    case opDOLIT: LOG_H("$", GET(ip)); LOG(" "); break;
    case opEXIT:  LOG(";");  --tTAB;             break;
    case opEXEC: w = top; 
    case opENTER:                                 
        for (--w; (BGET(w) & 0x7f)>0x20; w--);    
        int len = BGET(w++) & 0x1f;               
        for (int i=0; i<len; i++, w++) {
            LOG_C((char)BGET(w));
        }
        LOG(" :");
        break;
    }
}
#else
    
#define DEBUG(s,v)
#define TAB()                /* skip */
#define TRACE(op, ip, t, s)  /* skip */
    
#endif // EXE_TRACE
    
}; // namespace EfVM
 
#endif // __EFORTH_VM_H