Я думаю эта тема будет полезна для начинающих в разборе слов forth. Я постараюсь проанализировать код, если вдруг ошибусь, то пожалуйста подправте меня, все таки синтаксис асма forth немного отличается от стандартного асма.

Слово: ! - записывает число по адресу. ( n addr -> )
в EAX - адрес куда запишем число т.к. он на вершине стека
MOV EDX , 0 [EBP] - взять число в edx из стека данных
MOV [EAX] , EDX - записать число по адресу
MOV EAX , 4 [EBP] - записать на вершину стека число со смещением 4
LEA EBP , 8 [EBP] - сдвинуть стек данных на 8 т.к. нам нужно выкинуть число которое мы записывали в стек и число которое мы перенесли на вершину стека (EAX)
RET NEAR - возврат из слова (во flat всегда NEAR)

Наткнулся на слово W! увидел D16: Что бы это значило?

8B5500 MOV EDX , 0 [EBP]
66 D16:
8910 MOV [EAX] , DX
8B4504 MOV EAX , 4 [EBP]
8D6D08 LEA EBP , 8 [EBP]
C3 RET NEAR

Посмотрел в отладчике оказалось это:
668910 mov [eax],dx
хм, получается дизассемблер forth показывает так команду работы со словом.

Разбирал слово 2@, очень удивился что дизассемблер показывает FC, а не -4 (было бы удобней -4).

MOV EDX , 4 [EAX]
LEA EBP , FC [EBP] <-
MOV 0 [EBP] , EDX
MOV EAX , [EAX]
RET NEAR

Команды понятны, но вот что значит ( :-SET+5 ) и ( J-SET+5 ) я тк и не понял, кто знает поясните плиз.

HERE

CALL 547254 ( DP )
MOV EAX , [EAX]
MOV 54742D ( :-SET+5 ) , EAX (MOV [54742D],EAX)
MOV 54744D ( J-SET+5 ) , EAX (MOV [54744D],EAX)
RET NEAR

Смотри src\compiler\spf_compile.f


Это занесение значений в поле параметров словарным статьям и
именами :-SET и J-SET.
Где 5 это размер поля кода.
Слово >BODY, преобразующий CFA в PFA, просто прибавляет 5.

0 TO :-SET
равносильно
0 ' :-SET >BODY !

В :-SET и J-SET устанавливается ограничение оптимизатору.

Кстати, объясните непонятливому, почему используется LEA EBP , 8 [EBP], а не например, ADD EBP,8

На некоторых процессорах, быстрее работает (лучше парится).
LEA не портит флаги.

Да, конечно, LEA - странная команда...

Префикс для шестнадцатеричной работы, если я правильно понял...

Слегка опоздал, ну ладно...


Разбирать все слова SPF переводя их из "непривычной" фортовской записи в более "удобную" и более "привычную" ассемблерную (!) -- это не лучший способ осваивать язык, думаю. Да и "начинающие" тоже интересные. Маш. код читают-понимают, Форт -- нет.


Насколько я помню, такие вещи называются префиксами кажется. Определённое байтовое значение перед собственно маш. командой даёт понять процессору что на время этой команды все операции становятся 16-ричными. То есть не EAX, a AX, и так далее... А "толстые" ассемблеры насколько знаю "прячут" эту механику.


А мне не понятны.. Как-то не нарастил я в себе дизассемблер...

Во-первых, само слово в натуральном своём виде выглядит так:



То есть :-SET и J-SET являются VALUE-переменными. Код:



Компилируется как:



А так как 123456 ничего никому не скажет, то дизассемблер угадывает что это оказывается адрес ячейки от переменной VAR и вежливо подсказывает тебе об этом в комментариях (скобки).

В-вторых, эти вещи нужны только для оптимизатора и мимо-проходящих людей они совершенно не должны колыхать.

В-третьих, я вроде бы знаю что переменная :-SET нужна для обозначения границы между маш. кодами для оптимизационных целей.

Добрый совет: абсолютно всё учить (даже знать о существовании) совершенно необязательно. Только то что понадобится по ходу дела.

Ещё один добрый совет: ИСПОЛЬЗУЙ [СОDE][/СОDE] !!

66- код префикса смены размера данных, подробнее в описании прификсов.

Это я вобще то сразу же сказал когда задал вопрос сам себе.

LEA EAX, [EDI] [EAX] что бы это значило?
EDI указатель данных потока в спф, eax вершина стека

LEA EAX, [EDI] [EAX] в обычном ассемблере: LEA EAX, [EDI+EAX]
можно использовать команду ADD EAX, EDI

В EAX запишется адрес USER переменной, если EAX содержал смещение этой
переменной относительно указателя потока(EDI).

# ' DROP по-видимому формирует адрес перехода на машкод DROP, не понятно как.
Что здесь делает # - форматное преобразование?
Или в контексте CODE- блока это другой # ?
В CODE-блоке позволительны вызовы высокоуровневых слов ?
Сначала исполняются они после ассемблерного оператора а потом он работает с результатом?
Или # в CODE-блоке это метка начала высоуровневой вставки, типа CODE- наоборот?