// Произведем компиляцию вызовов D-шной функции в область
// памяти выделенной командой:
//  uint[100] kdf;         // Сюда будем компилировать код
void t5() {   // : t5 ' exec_D COMPILE, ` exec_D COMPILE, RET, ;
   asm {      naked;
      call SP_dup;    lea EAX, exec_D;   call h_COMPILEzpt;
      call SP_dup;    lea EAX, exec_D;   call h_COMPILEzpt;
      call h_RETzpt;
      ret;
   }
}

// Выполним полученный код, через стандартный EXECUTE
void* t66() { return gpcb.acdf; }
void t6() {
   asm {   naked;
      call SP_dup;
      call t66;  // Взять адрес буфера, куда вели компиляцию
      call f_EXECUTE;
      ret;
   }
}

// Контекст Fotrh процесса
struct NPcb {
   pp    csd;                // указатель на начало стека SD
   pp    csr;                // указатель на начало стека SR
   pp    csc;                // указатель на начало стека SC
   pp   acdf;               // указатель на начало кодофайла
   pb    here;                // указатель начала свободной области кодофайла
   pp    latest;               // указатель на аоследнее скомпилированное слово
   pp   context;            // указатель на LFA слова с которого дальше пойдет поиск
   pp   state;               // текущее состояние компиляции 0=интерпретация
   byte imm;               // запомнить состояние IMM в последнем FIND

   ps   In;                     // указатель на место интерпретации в вход. буфеpе
    ps   Tib;                // указатель на сам входной буфеp
   int dlTib;               // Размер строки прочитанной в Tib
   // Регистры сохранения состояния
   pp saveEBP;          // Место под EBP форта
   pp saveEAX;          // Место под EAX форта
   pp saveESI;          // Место под ESI форта
   pp saveEDI;          // Место под EDI форта
}

NPcb gpcb;                  // Глобальное определение блока управления
pb   kdf;                  // Сюда будем компилировать код
pp  stSD, stSR, stSL;         // Указатели на стеки
ubyte[1000] tib;            // Буфер строки для текстового разбора

void initForth() {
   kdf = cast(pb)(new uint[1000]).ptr;      // Изготовим кодофайл на 1000 адр
   NPcb npcb = gpcb;                       // Копирнем в локальный, что бы иметь доступ с asm
   const sizeSt = 100;                // По 100 CELL на каждый стек
   stSD = cast(pp)(new uint[sizeSt]);      // Запомнить начало области SP в глобальной переменной
   npcb.csd = stSD + sizeSt - 1;         // Запомнить вершину стека SP в контексте (конец буфера)
   
   stSL = cast(pp)(new uint[sizeSt]);      // Запомнить начало SP в глобальной переменной
   npcb.csc = stSL + sizeSt - 1;         // Запомнить вершину SL в контексте (конец буфера)
   
   npcb.here = kdf;                  // HERE на начало буфера
   npcb.acdf = cast(pp)kdf;            // Указатель на кодофайл
   npcb.Tib = cast(ps)&tib;            // Указатель на входной буфер текста
   npcb.In = cast(ps)&tib;                 // указатель смещения во входном буфере
   asm {
      align 4;
      // Сохраним регистры D
      push EBX; push ESI; push EAX; push ECX;   push EDX; push EBP;
      // --------------------
      // В ESI запомним указатель на доп стек SL
      lea EAX, npcb.csc.offsetof[npcb]; // в локальной копии ищем нужные указатели на буфера
      mov ESI,  DS:[EAX];
      // Из контекста возьмем указатель на стек данных ...
      lea EAX, npcb.csd.offsetof[npcb];
      mov EAX,  DS:[EAX];
      call SP_set; // ... и инициализируем его
      mov EAX, ESI;   call LP_set; // Стек дополнительный для Форк
      // Сохраним состояние регистров Форта после инициализации в контексте
      mov ECX, EBP;   // Жертвуем ECX, что бы успешно сохранить EAX, EBP, ESI, EDI
      pop EBP;
      mov npcb.saveEAX.offsetof[npcb], EAX;
      mov npcb.saveEBP.offsetof[npcb], ECX;  // Сохраним запомненный EBP
      mov npcb.saveESI.offsetof[npcb], ESI;
      mov npcb.saveEDI.offsetof[npcb], EDI;
      // ----------------------
      // Восстановим регистры D
      pop EDX; pop ECX; pop EAX; pop ESI; pop EBX;
   }
   gpcb = npcb; // Сохраним контекст в глобальной памяти
   
   // определение HARD слов
   CreateVocItem(cast(char*)"\3EXD".ptr,       cast(pp)&exec_D,       &gpcb.context);
   CreateVocItem(cast(char*)"\2T5".ptr,       cast(pp)&t5,          &gpcb.context);
   CreateVocItem(cast(char*)"\3TCW".ptr,       cast(pp)&TestCompileWord, &gpcb.context);
   CreateVocItem(cast(char*)"\4DROP".ptr,       cast(pp)&h_DROP,       &gpcb.context);
   CreateVocItem(cast(char*)"\4OVER".ptr,       cast(pp)&h_OVER,       &gpcb.context);
   CreateVocItem(cast(char*)"\1+".ptr,       cast(pp)&h_PLUS,       &gpcb.context);
    и т.д.

void evalForth(string str) {
   gpcb.dlTib = str.length;      // Запишем длину строки в gpcb
   gpcb.In = cast(ps)gpcb.Tib;     // указатель смещения во входном буфере
   // Копирнем строку из входного параметра в буфер
   for(int i; i != str.length; i++) tib[i] = cast(ubyte)str[i];
   NPcb npcb = gpcb;   // Копирнем контекст в локальную обл. что бы asm её видел
   asm {
      align 4;
      // Сохраним регистры D
      push EBX; push ESI; push EAX; push ECX; push EDX; push EBP;
      // --------------------
      // Востановим регитры F форта, это состояние после Init или пред. Eval
      mov EAX, npcb.saveEAX.offsetof[npcb];
      mov ESI, npcb.saveESI.offsetof[npcb];
      mov EDI, npcb.saveEDI.offsetof[npcb];
      mov EBP, npcb.saveEBP.offsetof[npcb];
      
      call f_inter;   // Это главный цикл компиляции/интерпретации.
      
      // Сохраним F форта
      mov ECX, EBP; // Жертвуем ECX, что бы успешно сохранить EAX, EBP, ESI, EDI
      pop EBP;      // Востановим фрейм локальных переменных D
      mov npcb.saveEAX.offsetof[npcb], EAX;
      mov npcb.saveEBP.offsetof[npcb], ECX;  // Сохраним запомненный EBP
      mov npcb.saveESI.offsetof[npcb], ESI;
      mov npcb.saveEDI.offsetof[npcb], EDI;
      // ----------------------
      // Восстановим регистры D
      pop EDX; pop ECX; pop EAX; pop ESI; pop EBX;
   }
   gpcb.saveEBP = npcb.saveEBP;   // Возможность работы с PCB (контекст) переменными в ASM
   gpcb.saveEAX = npcb.saveEAX;   // Возможность работы с PCB (контекст) переменными в ASM
   gpcb.saveESI = npcb.saveESI;   // Возможность работы с PCB (контекст) переменными в ASM
   gpcb.saveEDI = npcb.saveEDI;   // Возможность работы с PCB (контекст) переменными в ASM
}

void main() {
   initForth();
   writeln(toCON("Сохраняю набор цифр в стеке данных форта"));
   evalForth("4 3 1");
   writeln(toCON("Забираю этот набор из форта"));
   evalForth(". . .");
   writeln(toCON("Компилирую новые слова"));
   evalForth(" : TEST_PLUS + . ; : Test2 DUP + . ; : Утроение DUP DUP + + . ;");
   writeln(toCON("Проверяю созданные слова"));
   evalForth("2 3 TEST_PLUS 7 Test2   -3 Утроение");
}

g:\qte>dmd asm3 asc1251    // Компиляция проекта

g:\qte>asm3                // Запуск проекта
Сохраняю набор цифр в стеке данных форта
Забираю этот набор из форта
1
3
4
Компилирую новые слова
Проверяю созданные слова
5
14
-9