Subversion Repositories Kolibri OS

Rev

Blame | Last modification | View Log | Download | RSS feed

  1. \ 80386 DISASSEMBLER
  2. \ ANDREW MCKEWAN, APRIL 1994
  3. \ TOM ZIMMER,  05/18/94 PORT TO WIN32F
  4. \ MODIFIED TO WORD IN DECIMAL 08/03/94 10:04 TJZ
  5. \ 06-??-95 SMUB NEXT SEQUENCE DEFINED IN FKERNEL
  6. \ 06-21-95 SMUB REMOVED REDUNDANT COUNT CALLS FROM TXB, LXS.
  7. \ 04-??-97 EXTENDED BY C.L. TO INCLUDE P6 AND MMX INSTRUCTIONS
  8. \ 14-11-2000 Adapted from SPFOPT (Michael Maximov) by Dmitry Yakimov
  9.  
  10. \ ??-11-2000 Fixed FE. FF. (Bandaletov) and H.R (Yakimov)
  11. \ 15-11-2000 Fixed MV2 (Yakimov)
  12. \ 25-12-2000 Added float literals recognition (Yakimov)
  13. \ 26-07-2001 Fixed MVX (Maksimov)
  14.  
  15. CR .( Loading Intel Pentium MMX disassembler...)
  16.  
  17. WARNING 0!
  18. DECIMAL
  19.  
  20. \ REQUIRE [IF] ~mak/CompIF.f
  21. \ REQUIRE CASE lib/ext/case.f
  22. \ REQUIRE WITHIN lib/include/core-ext.f
  23.  
  24. REQUIRE [DEFINED] lib/include/tools.f
  25. \ REQUIRE [IF] ~mak\CompIF.f
  26. REQUIRE CASE lib/ext/case.f
  27. \ REQUIRE WITHIN lib\include\core-ext.f
  28. REQUIRE NextNFA lib/ext/vocs.f
  29.  
  30. VARIABLE END-WORD
  31. VARIABLE START-WORD
  32. \ VARIABLE START-LAB
  33. \ VARIABLE FINISH-LAB
  34. \ VARIABLE START-LIST
  35. \ VARIABLE FINISH-LIST
  36. \ VARIABLE IMAGE-END
  37. VARIABLE START-LAB
  38. VARIABLE FINISH-LAB
  39. VARIABLE START-LIST
  40. VARIABLE FINISH-LIST
  41. VARIABLE START-LIST2
  42. VARIABLE FINISH-LIST2
  43. VARIABLE FINISH-LIST3
  44. VARIABLE START-VAR
  45. VARIABLE FINISH-VAR
  46. VARIABLE START-ARRAY
  47. VARIABLE FINISH-ARRAY
  48. 0 VALUE IMAGE-END
  49.  
  50. VARIABLE CALL-TYPE?
  51. VARIABLE TRIGER
  52.  VARIABLE TRIGER3
  53.  VARIABLE DISP8?
  54. : ADD-CALL
  55. >R START-LIST  @
  56. BEGIN   DUP @  R@   =  
  57.          IF  DROP RDROP 0 CALL-TYPE? !  EXIT    
  58.                 ELSE  DUP  FINISH-LIST @ =  0= THEN
  59.   WHILE  CELL+ REPEAT CELL+ DUP  FINISH-LIST ! R> OVER !
  60. BEGIN DUP CELL- 2DUP 2>R @ SWAP @  < IF  2R@ @ SWAP 2R@ SWAP @ SWAP ! ! THEN
  61. 2R> NIP DUP START-LIST @ = UNTIL
  62.  DROP 1 CALL-TYPE? !
  63.  ;
  64.  
  65.  : ADD-CALL2
  66. >R START-LIST2  @
  67. BEGIN   DUP @  R@   =  
  68.          IF  DROP RDROP 0 CALL-TYPE? !  EXIT    
  69.                 ELSE  DUP  FINISH-LIST2 @ =  0= THEN
  70.   WHILE  CELL+ REPEAT CELL+ DUP  FINISH-LIST2 ! R> OVER !
  71. BEGIN DUP CELL- 2DUP 2>R @ SWAP @  < IF  2R@ @ SWAP 2R@ SWAP @ SWAP ! ! THEN
  72. 2R> NIP DUP START-LIST2 @ = UNTIL
  73.  DROP 1 CALL-TYPE? !
  74.  ;
  75.  
  76. : ADD-LAB
  77. >R START-LAB  @
  78. BEGIN  DUP @  R@ =
  79.          IF     DROP RDROP EXIT
  80.                 ELSE   DUP  FINISH-LAB @ = 0=   THEN
  81. WHILE CELL+ REPEAT CELL+ DUP  FINISH-LAB ! R> OVER !
  82. BEGIN DUP CELL- 2DUP 2>R @ SWAP @  < IF  2R@ @ SWAP 2R@ SWAP @ SWAP ! ! THEN
  83. 2R> NIP DUP START-LAB @ = UNTIL DROP ;
  84.  
  85. : ADD-VAR
  86. >R START-VAR  @
  87. BEGIN  DUP @  R@ =
  88.          IF     DROP RDROP EXIT
  89.                 ELSE   DUP  FINISH-VAR @ = 0=   THEN
  90. WHILE CELL+ REPEAT CELL+ DUP  FINISH-VAR ! R> OVER !
  91. BEGIN DUP CELL- 2DUP 2>R @ SWAP @  < IF  2R@ @ SWAP 2R@ SWAP @ SWAP ! ! THEN
  92. 2R> NIP DUP START-VAR @ = UNTIL DROP ;
  93.  
  94. : LAB
  95.  >R  START-LIST  @
  96. BEGIN  DUP @  R@ =
  97.          IF     DROP RDROP 1 EXIT    
  98.                 ELSE   DUP  FINISH-LIST @ = 0=   THEN
  99. WHILE CELL+ REPEAT DROP RDROP 0 ;
  100.  
  101.  
  102. : TYPE-LAB
  103. >R START-LAB  @
  104. BEGIN  DUP @  R@ =
  105.          IF  DROP    RDROP 0 EXIT
  106.                  ELSE   DUP  FINISH-LAB @  = 0=   THEN
  107. WHILE CELL+ REPEAT DROP  RDROP 1
  108. ;
  109.  
  110. \  : TYPE-ARRAY  START-ARRAY @ DUP FINISH-ARRAY @  = IF DROP EXIT THEN
  111. \  BEGIN DUP 2@ HEX  . . DECIMAL CR 2 CELLS + DUP FINISH-ARRAY @ =
  112. \  UNTIL DROP
  113. \  ;
  114.  
  115. VARIABLE TRIGER4
  116. VARIABLE ALLOTN
  117. : ARRAY?  0 ALLOTN !
  118. >R  START-ARRAY  @ DUP FINISH-ARRAY @  = IF RDROP 0 TRIGER4 ! EXIT THEN
  119. BEGIN  DUP @  R@ =
  120.          IF     ." ALLOT"  ALLOTN @ . ." :"   ." array[0.."   2@ DROP
  121. BASE @ >R DECIMAL  . R> BASE !
  122. ." ] of byte;" CR   RDROP 1 TRIGER3 ! 1 TRIGER4 !  EXIT    THEN  \ 1  EXIT    THEN
  123.                 ALLOTN 1+! 2 CELLS + DUP FINISH-ARRAY @ =
  124. UNTIL DROP RDROP  0 TRIGER4 !
  125. ;
  126.  
  127. : ARRAY2?  0 ALLOTN !
  128. >R  START-ARRAY  @ DUP FINISH-ARRAY @  = IF RDROP 0 EXIT THEN
  129. BEGIN  DUP @  R@ =
  130.          IF     ." ALLOT"  ALLOTN @
  131. BASE @ >R DECIMAL  . R> BASE !  ." ;" CR
  132.  DROP RDROP 1  EXIT    THEN
  133.                 ALLOTN 1+! 2 CELLS + DUP FINISH-ARRAY @ =
  134. UNTIL DROP RDROP 0  
  135. ;
  136.  
  137. : DEFER VECT ;
  138.  
  139. : DUP>R R> OVER >R >R ;
  140.  
  141. : UMAX ( D1 D2  -- FLAG )
  142.    2DUP U< IF NIP ELSE DROP THEN ;
  143.  
  144.  
  145. 80 CONSTANT MAXSTRING
  146.  
  147. 255 CONSTANT MAXCOUNTED   \ maximum length of contents of a counted string
  148.  
  149. : 0X  BASE @ HEX >R BL WORD ?LITERAL
  150.       R> BASE ! ; IMMEDIATE
  151.  
  152. : "CLIP"        ( a1 n1 -- a1 n1' )   \ clip a string to between 0 and MAXCOUNTED
  153.                MAXCOUNTED MIN 0 MAX ;
  154.  
  155. : PLACE         ( addr len dest -- )
  156.                SWAP "CLIP" SWAP
  157.                2DUP 2>R
  158.                CHAR+ SWAP MOVE
  159.                2R> C! ;
  160.  
  161. : +PLACE        ( addr len dest -- ) \ append string addr,len to counted
  162.                                     \ string dest
  163.                >R "CLIP" MAXCOUNTED  R@ C@ -  MIN R>
  164.                                        \ clip total to MAXCOUNTED string
  165.                2DUP 2>R
  166.  
  167.                COUNT CHARS + SWAP MOVE
  168.                2R> +! ;
  169.  
  170. : C+PLACE       ( c1 a1 -- )    \ append char c1 to the counted string at a1
  171.                DUP 1+! COUNT + 1- C! ;
  172.  
  173.  
  174. : OFF     0! ;
  175.  
  176. : BLANK         ( addr len -- )     \ fill addr for len with spaces (blanks)
  177.                BL FILL ;
  178.  
  179. 128 CONSTANT SPCS-MAX  ( optimization for SPACES )
  180.  
  181. CREATE SPCS  SPCS-MAX ALLOT
  182.       SPCS  SPCS-MAX BLANK
  183.  
  184. C" UPC" FIND NIP 0=
  185. [IF]
  186. : UPC  ( c -- c' )
  187.    DUP [CHAR] Z U>
  188.    IF  0xDF AND
  189.    THEN   ;
  190. [THEN]
  191.  
  192. : (D.)          ( d -- addr len )       TUCK DABS  <# #S ROT SIGN #> ;
  193.  
  194.  
  195. 80 VALUE COLS
  196.  
  197. : H.R           ( n1 n2 -- )    \ display n1 as a hex number right
  198.                                 \ justified in a field of n2 characters
  199.                 BASE @ >R HEX >R
  200.                 0 <# #S #> R> OVER - 0 MAX SPACES TYPE
  201.                 R> BASE ! ;
  202.  
  203. : H.N           ( n1 n2 -- )    \ display n1 as a HEX number of n2 digits
  204.                 BASE @ >R HEX >R
  205.                 0 <# R> 0 ?DO # LOOP #> TYPE
  206.                 R> BASE ! ;
  207.  
  208. ONLY FORTH ALSO DEFINITIONS
  209.  
  210. 0 VALUE DEFAULT-16BIT?
  211.  
  212. : DEFAULT-16BIT ( -- )
  213.                 TRUE TO DEFAULT-16BIT? ;
  214.  
  215. : DEFAULT-32BIT ( -- )
  216.                 FALSE TO DEFAULT-16BIT? ;
  217.  
  218.       DEFER SHOW-NAME   ( CFA -- )      \ DISPLAY NEAREST SYMBOL
  219.  
  220. 0 VALUE BASE-ADDR
  221.  
  222. VOCABULARY DISASSEMBLER
  223. DISASSEMBLER ALSO DEFINITIONS
  224.  
  225. DECIMAL
  226.  
  227. CREATE S-BUF MAXSTRING ALLOT
  228.  
  229. : >S            ( A1 N1 -- )
  230.                 S-BUF +PLACE ;
  231.  
  232. : 0>S           ( -- )  \ RESET S-BUF
  233.                 S-BUF OFF ;
  234.  
  235. : SSPACES       ( N1 -- )
  236.                 SPCS SWAP S-BUF  +PLACE ;
  237.  
  238. : SSPACE        ( -- )
  239.                 1 SSPACES ;
  240.  
  241. : EMIT>S        ( C1 -- )
  242.                 S-BUF C+PLACE ;
  243.  
  244. : S>            ( -- A1 N1 )
  245.                 S-BUF COUNT ;
  246.  
  247. : (.S")         ( addr len -- )
  248.                S-BUF +PLACE ;
  249.  
  250. : .S"           ( 'TEXT' -- )
  251.                 [CHAR] " PARSE
  252.                POSTPONE SLITERAL
  253.                POSTPONE (.S")  ; IMMEDIATE
  254.  VARIABLE ADR@
  255. :  D.>S BASE @ SWAP DECIMAL DUP 0= IF DROP   ELSE DUP 128 > IF .S" -" 256 SWAP - ELSE .S" +"  THEN
  256.   0 (D.) >S THEN BASE ! 0 DISP8? ! ;  
  257. : D.R>S         ( D W -- )
  258.                \ >R (D.) R> OVER - SSPACES >S ;
  259.                 >R (D.) R> OVER - SSPACES >S ;
  260. : .R>S          ( N W -- )
  261.                 >R  S>D  R>  D.R>S ;
  262.  
  263. : U.R>S         ( U W -- )
  264.                 0 SWAP D.R>S  ;
  265.  
  266.  : H.>S          ( U -- )
  267.                 BASE @ SWAP
  268.   DUP DUP IMAGE-BEGIN > SWAP IMAGE-END < AND IF DUP ADD-LAB  \ .S" [OFFSET @" HEX 0 (D.) >S .S" ]" ELSE
  269.  .S" OFFSET [" SHOW-NAME .S" ]"  ELSE \  .S" [OFFSET @" SHOW-NAME .S" ]" ELSE
  270.   .S" $" HEX 0 (D.) >S THEN
  271.  
  272.  ( SSPACE )    BASE ! ;
  273.  
  274.  
  275. : H.>Sn          ( U -- )
  276.                 BASE @ SWAP  HEX 0 (D.) >S ( SSPACE )   BASE ! ;                
  277.  
  278. : H.R>S           ( N1 N2 -- )
  279.                 BASE @ >R HEX >R
  280.                 0 <# #S #> R> OVER -  SSPACES >S
  281.                 R> BASE !  ;
  282. VARIABLE NAME
  283. \ [THEN]
  284.  
  285. : ?.NAME>S      ( CFA -- )
  286. \  ELIMINATE " 0X"
  287.  
  288. \  DUP 1 H.R>S SSPACE \ ïå÷àòü àäðåñà ïåðåõîäà
  289.                NEAR_NFA
  290.                >R DUP    
  291.    IF  \ .S" @"
  292.    \ IF ñþäà ïðîâåðêó ELSE
  293.  
  294.  R@ DUP   START-WORD @ <  >R END-WORD @ > R> OR R@ START-WORD @ =  OR  0=  IF  R>   DUP  ADD-LAB  .S" @" 1 H.R>S  ELSE  
  295. \  .S" @"
  296.   ADR@ @ R@ =  IF 0 ADR@ ! ELSE R@ ADD-LAB  THEN  \ .S" 2@" <--
  297.    DUP   NAME !     \    COUNT >S \ ïå÷àòü ñêîáîê. Çíàê ìåòêè
  298.                  NAME> DUP ADD-CALL2   \ áåç ADD-CALL íå ðàáîòàþò ññûëêè íà ïåðåìåííûå ADD-LAB CR WordByAddr TYPE CR
  299.            (   DUP  H.>Sn  )     R@ -  
  300.         DUP      IF .S" [OFFSET "  \ .S" [OFFSET @@"
  301.                 \  DUP  .S" +"  NEGATE   H.>S  
  302. \ R>   H.>Sn .S" ]" NAME @  COUNT >S
  303. RDROP   NAME @  COUNT >S .S" ]"
  304.  ELSE
  305. .S" @@"  RDROP NAME @  COUNT >S THEN   \ êîíåö ïðîâåðêè
  306.                THEN    
  307.                    DROP      \  .S"  ) "
  308.                 ELSE   R> .S" ["   H.>S .S" ]"  DROP  \ òóò
  309.                 THEN
  310.                 ;
  311.  
  312. ' ?.NAME>S TO SHOW-NAME
  313.  
  314. \ 32 CONSTANT COMMENT-COL
  315.  
  316. 0 VALUE SIZE
  317. 0 VALUE 16-BIT-DATA
  318. 0 VALUE 16-BIT-ADDR
  319. 0 VALUE PREFIX-OP
  320. 0 VALUE MMX-REG
  321.  
  322. : @+  ( ADDR -- ADDR N )  DUP CELL+ SWAP @ ;
  323. : W@+ ( ADDR -- ADDR N )  DUP 2 + SWAP W@ ;
  324.  
  325. : SEXT  ( BYTE -- N )  DUP 128 AND IF 0xFFFFFF00 OR THEN ;
  326. : MOD/SIB ( MOD-R-R/M -- R/M R MOD ) \ R INCLUDING GENERAL, SPECIAL, SEGMENT, MMX
  327.          ( MOD-OP-R/M -- R/M OP MOD )
  328.          ( S-I-B -- B I S )
  329.          255 AND 8 /MOD 8 /MOD ;
  330.  
  331. : ???   ( N1 -- )
  332.        .S" ??? " DROP ;
  333.  
  334. : SS. ( N ADR LEN W )  >R DROP  SWAP R@ * +  R> >S SSPACE ;
  335.  
  336. : TTTN ( CODE -- ) 15 AND S" O NOB AEE NEBEA S NSP NPL GELEG " 2 SS. ;
  337.  
  338. : SREG  ( SREG -- )  3 RSHIFT 7 AND S" ESCSSSDSFSGSXXXX" 2 SS. ;
  339. : CREG  ( EEE --  )  3 RSHIFT 7 AND S" CR0???CR2CR3CR4?????????" 3 SS. ;
  340. : DREG  ( EEE --  )  3 RSHIFT 7 AND S" DR0DR1DR2DR3??????DR6DR7" 3 SS. ;
  341. : TREG  ( EEE --  )  3 RSHIFT 7 AND S" ?????????TR3TR4TR5TR6TR7" 3 SS. ; \ OBSOLETE
  342. : MREG  ( N -- )  7 AND S" MM0MM1MM2MM3MM4MM5MM6MM7" 3 SS. ;
  343.  
  344. : REG8  ( N -- )  7 AND S" ALCLDLBLAHCHDHBH" 2 SS. ;
  345. : REG16 ( N -- )  7 AND S" AXCXDXBXSPBPSIDI" 2 SS. ;
  346. : REG32 ( N -- )  7 AND S" EAXECXEDXEBXESPEBPESIEDI" 3 SS. ;
  347. : REG16/32      ( N -- )
  348.                16-BIT-DATA
  349.                IF   REG16
  350.                ELSE REG32
  351.                THEN  ;
  352. : REG   ( A N -- A )
  353.        MMX-REG
  354.        IF   MREG
  355.        ELSE SIZE
  356.             IF   REG16/32
  357.             ELSE REG8
  358.             THEN
  359.        THEN
  360. ;
  361.  
  362. : [BASE16] ( R/M -- )   4 - S" [SI][DI][BP][BX]" 4 SS. ;
  363.                        \ R/M = 4 , 5 , 6 , 7
  364. : [IND16]  ( R/M -- )   S" [BX+SI][BX+DI][BP+SI][BP+DI]" 7 SS. ;
  365.                        \ R/M = 0  ,   1  ,   2  ,   3
  366. : [REG16]  ( R/M -- )   DUP 4 <
  367.                        IF    [IND16]
  368.                        ELSE  [BASE16]
  369.                        THEN ;
  370. : [REG32]  ( N -- )     7 AND \ TRIGER3 @  IF
  371. \ S" [EAX][ECX][EDX][EBX][ESP][EBP][ESI][EDI]" 5 SS.
  372. \ ELSE
  373. S" [EAX[ECX[EDX[EBX[ESP[EBP[ESI[EDI" 4 SS. DISP8? @  D.>S .S" ]"
  374. \ THEN  
  375.  ;
  376.  
  377.  
  378. : [REG*2]  ( I -- )     S" [EAX*2][ECX*2][EDX*2][EBX*2][XXX*2][EBP*2][ESI*2][EDI*2]" 7 SS. ;
  379. : [REG*4]  ( I -- )     S" [EAX*4][ECX*4][EDX*4][EBX*4][XXX*4][EBP*4][ESI*4][EDI*4]" 7 SS. ;
  380. : [REG*8]  ( I -- )     S" [EAX*8][ECX*8][EDX*8][EBX*8][XXX*8][EBP*8][ESI*8][EDI*8]" 7 SS. ;
  381. : [INDEX]  ( SIB -- )   MOD/SIB OVER 4 =
  382.                        IF    2DROP                     \ NO ESP SCALED INDEX
  383.                        ELSE  CASE ( S )
  384.                                0 OF [REG32] ENDOF
  385.                                1 OF [REG*2] ENDOF
  386.                                2 OF [REG*4] ENDOF
  387.                                3 OF [REG*8] ENDOF
  388.                              ENDCASE
  389.                        THEN DROP ;
  390.  
  391. : DISP8  ( ADR -- ADR' )    
  392. \  COUNT DUP  DISP8?  ! D.>S ;
  393.  COUNT DISP8?  ! ;
  394.  
  395. : DISP16 ( ADR -- ADR' )  W@+ SHOW-NAME ;
  396. : DISP32 ( ADR -- ADR' ) @+ ( BODY> )  SHOW-NAME ;
  397. : DISP16/32 ( ADR -- ADR' )
  398.            16-BIT-ADDR
  399.            IF   DISP16
  400.            ELSE DISP32
  401.            THEN ;
  402.  
  403. : .,     ( -- )    TRIGER  @   IF    .S" , "  THEN 1 TRIGER  !  ;
  404.  
  405. : .#  ., .S" $" ;
  406. \ : .#  .,  ;
  407. \ : .#  ., .S" # " ;
  408.  
  409. : IMM8   ( ADR -- ADR' )  .# COUNT H.>Sn ;
  410.  
  411. \ : IMM16  ( ADR -- ADR' )  .#  W@+ H.>S ;
  412.  
  413. : IMM16/32  ( ADR -- ADR' )
  414.      \   .#
  415.      .,
  416.         16-BIT-DATA
  417.         IF   W@+
  418.         ELSE @+
  419.         THEN  H.>S ; \ \\\\\\\
  420.      
  421.        
  422. : SIB   ( ADR MOD -- ADR )
  423.         >R COUNT TUCK 7 AND 5 = R@ 0= AND
  424.         IF    DISP32 SWAP [INDEX] R> DROP       \ EBP BASE AND MOD = 00
  425.         ELSE  R> CASE ( MOD )
  426.                    1 OF DISP8  ENDOF
  427.                    2 OF DISP32 ENDOF
  428.                  ENDCASE
  429.               SWAP DUP [REG32] [INDEX]
  430.         THEN ;
  431.  
  432.  
  433. : MOD-R/M32     ( ADR R/M MOD -- ADR' )
  434.                DUP 3 =
  435.                IF    DROP  REG                         \ MOD = 3, REGISTER CASE
  436.                ELSE  OVER 4 =
  437.                      IF NIP SIB                        \ R/M = 4, SIB CASE
  438.                      ELSE  2DUP 0= SWAP 5 = AND        \ MOD = 0, R/M = 5,
  439.                            IF 2DROP DISP32             \ DISP32 CASE
  440.                            ELSE ROT SWAP
  441.                                 CASE ( MOD )
  442.                                   1 OF  DISP8  ENDOF
  443.                                   2 OF DISP32 ENDOF
  444.                                 ENDCASE
  445.                                 SWAP [REG32]
  446.                            THEN
  447.                      THEN
  448.                THEN ;
  449.  
  450. : MOD-R/M16     ( ADR R/M MOD -- ADR' )
  451.                 2DUP 0= SWAP 6 = AND
  452.                 IF   2DROP DISP16                       \ DISP16 CASE
  453.                 ELSE CASE ( MOD )
  454.                        0 OF [REG16]                     ENDOF
  455.                        1 OF SWAP DISP8  SWAP [REG16]    ENDOF
  456.                        2 OF SWAP DISP16 SWAP [REG16]    ENDOF
  457.                        3 OF REG                         ENDOF
  458.                      ENDCASE
  459.                 THEN ;
  460.  
  461. : MOD-R/M ( ADR MODR/M -- ADR' )
  462.          MOD/SIB NIP 16-BIT-ADDR
  463.          IF    MOD-R/M16
  464.          ELSE  MOD-R/M32
  465.          THEN ;
  466.  
  467.  
  468. : R/M8      0 TO SIZE MOD-R/M ;
  469. : R/M16/32  1 TO SIZE MOD-R/M ;
  470. : R/M16     TRUE TO 16-BIT-DATA R/M16/32 ;
  471.  
  472. : R,R/M  ( ADR -- ADR' )
  473.      COUNT DUP 3 RSHIFT REG ., MOD-R/M ;
  474.  
  475. : R/M,R  ( ADR -- ADR' )
  476.        COUNT DUP>R MOD-R/M ., R> 3 RSHIFT REG ;
  477.  
  478. : R/M  ( ADR OP -- ADR' )
  479.         2 AND
  480.         IF     R,R/M
  481.         ELSE   R/M,R
  482.         THEN  ;
  483.  
  484. \ -------------------- SIMPLE OPCODES --------------------
  485.  
  486. : INH   ( -<NAME>- )
  487.         CREATE
  488.         BL WORD COUNT HERE PLACE
  489.         HERE C@ 1+ ALLOT
  490.         DOES> COUNT >S SSPACE DROP ;
  491.  
  492. INH CLC  CLC
  493. INH STC  STC
  494. INH CLD  CLD
  495. INH STD  STD
  496. \ INH RPNZ REPNZ
  497. \ INH REPZ REPZ
  498. INH CBW  CBW
  499. INH CDQ  CDQ
  500. INH DAA  DAA
  501. INH DAS  DAS
  502. INH AAA  AAA
  503. INH AAS  AAS
  504. \ INH LOCK LOCK
  505. INH INB  INSB
  506. INH OSB  OUTSB
  507. INH SAH  SAHF
  508. INH LAH  LAHF
  509. \ INH AAM  AAM
  510. \ INH AAD  AAD
  511. INH HLT  HLT
  512. INH CMC  CMC
  513. INH XLT  XLAT
  514. INH CLI  CLI
  515. INH STI  STI
  516.  
  517. INH CLT CLTS
  518. INH INV INVD
  519. INH WIV WBINVD
  520. INH UD2 UD2
  521. INH WMR WRMSR
  522. INH RTC RDTSC
  523. INH RMR RDMSR
  524. INH RPC RDPMC
  525. INH EMS EMMS
  526. INH RSM RSM
  527. INH CPU CPUID
  528. INH UD1 UD1
  529. \ INH LSS LSS
  530. \ INH LFS LFS
  531. \ INH LGS LGS
  532.  
  533. \ INH D16: D16:
  534. \ INH A16: A16:
  535. \ INH ES:  ES:
  536. \ INH CS:  CS:
  537. \ INH DS:  DS:
  538. \ INH FS:  FS:
  539. \ INH GS:  GS:
  540.  
  541. : AAM   ( ADR CODE -- ADR' )
  542.        .S" AAM" DROP COUNT DROP ;
  543.  
  544. : AAD   ( ADR CODE -- ADR' )
  545.         .S" AAD" DROP COUNT DROP ;
  546.  
  547. : D16   ( ADR CODE -- ADR' )
  548.        DROP .S" D16:"
  549.        TRUE TO 16-BIT-DATA
  550.        TRUE TO PREFIX-OP
  551.        ;
  552.  
  553. : A16   ( ADR CODE -- ADR' )
  554.         DROP .S" A16:"
  555.         TRUE TO 16-BIT-ADDR
  556.         TRUE TO PREFIX-OP
  557.         ;
  558.  
  559. : RPZ   ( ADR CODE -- ADR' )
  560.        DROP .S" REPNZ"
  561.        TRUE TO PREFIX-OP
  562.        ;
  563.  
  564. : REP   ( ADR CODE -- ADR' )
  565.         DROP .S" REPZ"
  566.         TRUE TO PREFIX-OP
  567.         ;
  568.  
  569. : LOK   ( ADR CODE -- ADR' )  \ THIS SHOULD HAVE ERROR CHECKING ADDED
  570.        DROP .S" LOCK"
  571.        TRUE TO PREFIX-OP
  572.        ;
  573.  
  574. : CS:   ( ADR CODE -- ADR' )
  575.         DROP .S" CS:"
  576.         TRUE TO PREFIX-OP
  577.         ;
  578.  
  579. : DS:   ( ADR CODE -- ADR' )
  580.        DROP .S" DS:"
  581.        TRUE TO PREFIX-OP
  582.        ;
  583.  
  584. : SS:   ( ADR CODE -- ADR' )
  585.         DROP .S" SS:"
  586.         TRUE TO PREFIX-OP
  587.         ;
  588.  
  589. : ES:   ( ADR CODE -- ADR' )
  590.        DROP .S" ES:"
  591.        TRUE TO PREFIX-OP
  592.        ;
  593.  
  594. : GS:   ( ADR CODE -- ADR' )
  595.         DROP .S" GS:"
  596.         TRUE TO PREFIX-OP
  597.         ;
  598.  
  599. : FS:   ( ADR CODE -- ADR' )
  600.        DROP .S" FS:"
  601.        TRUE TO PREFIX-OP
  602.        ;
  603.  
  604. : ISD   ( ADR CODE -- ADR' )
  605.         DROP 16-BIT-DATA
  606.         IF      .S" INSW    "
  607.         ELSE    .S" INSD    "
  608.         THEN ;
  609.  
  610. : OSD   ( ADR CODE -- ADR' )
  611.        DROP 16-BIT-DATA
  612.        IF      .S" OUTSW    "
  613.        ELSE    .S" OUTSD    "
  614.        THEN ;
  615.  
  616. : INP   ( ADDR CODE -- ADDR' )
  617.         .S" IN      " 1 AND
  618.         IF      16-BIT-DATA
  619.                 IF      .S" AX , "
  620.                 ELSE    .S" EAX , "
  621.                 THEN
  622.         ELSE    .S" AL , "
  623.         THEN
  624.         COUNT H.>S ;
  625.  
  626. : OTP   ( ADDR CODE -- ADDR' )
  627.        .S" OUT     " 1 AND
  628.        IF      COUNT H.>S 16-BIT-DATA
  629.                IF      .S" , AX"
  630.                ELSE    .S" , EAX"
  631.                THEN
  632.        ELSE    COUNT H.>S .S" , AL"
  633.        THEN
  634.        ;
  635.  
  636. : IND   ( ADDR CODE -- ADDR' )
  637.         .S" IN      " 1 AND
  638.         IF      16-BIT-DATA
  639.                 IF      .S" AX , DX"
  640.                 ELSE    .S" EAX , DX"
  641.                 THEN
  642.         ELSE    .S" AL , DX"
  643.         THEN
  644.         ;
  645.  
  646. : OTD   ( ADDR CODE -- ADDR' )
  647.        .S" OUT     " 1 AND
  648.        IF      16-BIT-DATA
  649.                IF      .S" DX , AX"
  650.                ELSE    .S" DX , EAX"
  651.                THEN
  652.        ELSE    .S" DX , AL"
  653.        THEN
  654.        ;
  655.  
  656. \ -------------------- ALU OPCODES --------------------
  657.  
  658. : .ALU  ( N -- )
  659.        7 AND S" ADDOR ADCSBBANDSUBXORCMP"  3 SS. 4 SSPACES
  660.    ;
  661.  
  662. : ALU  ( ADR OP -- ADR' )
  663.         DUP 3 RSHIFT .ALU R/M ;
  664.  
  665. : ALI ( ADR OP -- ADR' )
  666.        >R COUNT
  667.        DUP 3 RSHIFT .ALU
  668.        MOD-R/M
  669.        R> 3 AND ?DUP
  670.        IF      1 =
  671.                IF      IMM16/32
  672.                ELSE    .# COUNT SEXT 0 .R>S SSPACE
  673.                THEN
  674.        ELSE    IMM8
  675.        THEN ;
  676.  
  677. : ALA  ( ADR OP -- ADR' )
  678.         DUP 3 RSHIFT .ALU
  679.         1 AND IF 0 REG IMM16/32 ELSE 0 REG8 IMM8 THEN ;
  680.  
  681.  
  682. \ -------------------- TEST/XCHG --------------------
  683.  
  684. : TXB   ( ADDR OP -- ADDR' )
  685.        DUP 3 AND S" TESTTESTXCHGXCHG" 4 SS. 3 SSPACES
  686.        1 AND
  687.        IF      1 TO SIZE R,R/M     \ SMUB REMOVED COUNT
  688.        ELSE    0 TO SIZE R,R/M     \ SMUB REMOVED COUNT
  689.        THEN
  690.        ;
  691.  
  692. : TST   ( ADDR OP -- ADDR' )
  693.         .S" TEST    " 1 AND
  694.         IF      16-BIT-DATA
  695.                 IF   .S" AX , "
  696.                 ELSE .S" EAX , "
  697.                 THEN
  698.                 IMM16/32
  699.         ELSE    .S" AL , " IMM8
  700.         THEN
  701.         ;
  702.  
  703. \ -------------------- INC/DEC ----------------------
  704.  
  705. : INC  ( ADDR OP -- ADDR' )
  706.        .S" INC     " REG16/32 ;
  707.  
  708. : DEC  ( ADDR OP -- ADDR' )
  709.         .S" DEC     " REG16/32 ;
  710.  
  711.  
  712. \ -------------------- PUSH/POP --------------------
  713.  
  714. : PSH   ( ADDR OP -- ADDR' )
  715.        .S" PUSH    " REG16/32
  716.     0 TRIGER  !  
  717.         ;
  718.  
  719. : POP   ( ADDR OP -- ADDR' )
  720.         .S" POP     " REG16/32
  721.         0 TRIGER  !
  722.         ;
  723.  
  724. : PSS   ( ADDR OP -- ADDR' )
  725.        .S" PUSH    " SREG ;
  726.  
  727. : PPS   ( ADDR OP -- ADDR' )
  728.         .S" POP     " SREG
  729.         0 TRIGER  !
  730.         ;
  731.  
  732. : PSA   ( ADDR OP -- ADDR' )
  733.        DROP 16-BIT-DATA
  734.        IF      .S" PUSHA   "
  735.        ELSE    .S" PUSHAD  "
  736.        THEN
  737.        0 TRIGER  !
  738.        ;
  739.  
  740. : PPA   ( ADDR OP -- ADDR' )
  741.         DROP 16-BIT-DATA
  742.         IF      .S" POPA    "
  743.         ELSE    .S" POPAD   "
  744.         THEN
  745.         0 TRIGER  !
  746.          ;
  747.  
  748. : PSI   ( ADDR OP -- ADDR' )
  749.        .S" PUSH    " 2 AND
  750.        IF      IMM8
  751.        ELSE    IMM16/32
  752.        THEN
  753.        0 TRIGER  !
  754.         ;
  755.  
  756. : PSF   ( ADDR OP -- ADDR' )
  757.         DROP 16-BIT-DATA
  758.         IF      .S" PUSHF   "
  759.         ELSE    .S" PUSHFD  "
  760.         THEN
  761.         0 TRIGER  !
  762.         ;
  763.  
  764. : PPF   ( ADDR OP -- ADDR' )
  765.        DROP 16-BIT-DATA
  766.        IF      .S" POPF    "
  767.        ELSE    .S" POPFD   "
  768.        THEN
  769.       0 TRIGER  !  
  770.        ;
  771.  
  772. : 8F.   ( ADDR OP -- ADDR' )
  773.         DROP COUNT .S" POP     " R/M16/32
  774.        0 TRIGER  !  
  775.         ;
  776.  
  777. \ -------------------- MOVE --------------------
  778.  
  779. : MOV  ( ADDR OP -- ADDR' )
  780.        .S" MOV     " R/M ;
  781.  
  782. : MRI  ( ADDR OP -- ADDR' ) ( MOV REGISTER, IMM )
  783.         .S" MOV     " DUP 8 AND
  784.         IF      REG16/32 IMM16/32
  785.         ELSE    REG8 IMM8
  786.         THEN ;
  787.  
  788. : MVI  ( ADR OP -- ADR' )   ( MOV MEM, IMM )
  789.        .S" MOV     " DROP COUNT MOD-R/M
  790.        SIZE
  791.        IF      IMM16/32
  792.        ELSE    IMM8
  793.        THEN
  794.        ;
  795.  
  796. : MRS   ( ADDR OP -- ADDR' )
  797. \ ? REMOVE REDUNDANT >R , R>
  798.         16-BIT-DATA
  799.         IF      .S" MOV     " DROP
  800.                 1 TO SIZE
  801.                 COUNT DUP MOD-R/M .,
  802.                 SREG
  803.         ELSE    ???
  804.         THEN ;
  805.  
  806. : MSR   ( ADDR OP -- ADDR' )
  807.        16-BIT-DATA
  808.        IF      .S" MOV     " DROP
  809.                1 TO SIZE
  810.                COUNT DUP SREG .,
  811.                MOD-R/M
  812.        ELSE    ???
  813.        THEN ;
  814.  
  815. : MRC   ( ADDR OP -- ADDR' )
  816.         .S" MOV     "
  817.         DROP COUNT DUP REG32 .S" , "
  818.         CREG ;
  819.  
  820. : MCR   ( ADDR OP -- ADDR' )
  821.        .S" MOV     "
  822.        DROP COUNT DUP CREG .S" , "
  823.        REG32 ;
  824.  
  825. : MRD   ( ADDR OP -- ADDR' )
  826.         .S" MOV     "
  827.         DROP COUNT DUP REG32 .S" , "
  828.         DREG ;
  829.  
  830. : MDR   ( ADDR OP -- ADDR' )
  831.        .S" MOV     "
  832.        DROP COUNT DUP DREG .S" , "
  833.        REG32 ;
  834.  
  835. : MRT   ( ADDR OP -- ADDR' )
  836. \ OBSOLETE
  837.         .S" MOV     "
  838.         DROP COUNT DUP REG32 .S" , "
  839.         TREG ;
  840.  
  841. : MTR   ( ADDR OP -- ADDR' )
  842. \ OBSOLETE
  843.        .S" MOV     "
  844.        DROP COUNT DUP TREG .S" , "
  845.        REG32 ;
  846.  
  847. : MV1   ( ADDR OP -- ADDR' )
  848.         .S" MOV     " 1 AND
  849.         IF      16-BIT-DATA
  850.                 IF      .S" AX , "
  851.                 ELSE    .S" EAX , "
  852.                 THEN
  853.         ELSE    .S" AL , "
  854.         THEN
  855.         DISP16/32 ;
  856.  
  857. : MV2   ( ADDR OP -- ADDR' )
  858.        .S" MOV     " SWAP DISP16/32 .,
  859.        SWAP 1 AND
  860.        IF      16-BIT-DATA
  861.                IF      .S"  AX"
  862.                ELSE    .S"  EAX"
  863.                THEN
  864.        ELSE    .S"  AL"
  865.        THEN
  866.        ;
  867.  
  868. : LEA  ( ADDR OP -- ADDR' )
  869.         .S" LEA     " DROP  1 TO SIZE R,R/M ;
  870.  
  871. : LXS   ( ADDR OP -- ADDR' )
  872.        1 AND
  873.        IF      .S" LDS     "
  874.        ELSE    .S" LES     "
  875.        THEN
  876.        R,R/M   \ SMUB REMOVED COUNT
  877.        ;
  878.  
  879. : BND  ( ADDR OP -- ADDR' )
  880.         .S" BOUND   " DROP  1 TO SIZE R,R/M ;
  881.  
  882. : ARP   ( ADDR OP -- ADDR' )
  883.        .S" ARPL    " DROP
  884.        1 TO SIZE
  885.        TRUE TO 16-BIT-DATA
  886.        R,R/M
  887.        ;
  888.  
  889. : MLI   ( ADDR OP -- ADDR' )
  890.         1 TO SIZE
  891.         .S" IMUL    " 0x69 =
  892.         IF      R,R/M IMM16/32
  893.         ELSE    R,R/M IMM8
  894.         THEN ;
  895.  
  896. \ -------------------- JUMPS AND CALLS --------------------
  897.  
  898. 0 VALUE MAX_REFERENCE
  899.  
  900. : >MAX_R  DUP MAX_REFERENCE UMAX TO MAX_REFERENCE ;
  901.  
  902. : REL8  ( ADDR OP -- ADDR' )
  903. \ .S" @"   \
  904.        COUNT SEXT OVER + BASE-ADDR - >MAX_R   DUP ADD-LAB
  905. SHOW-NAME ; \ H.>Sn ;
  906.  
  907.  
  908.  
  909. : REL16/32 ( ADDR OP -- ADDR' )
  910.   \   .S" @"
  911.         16-BIT-ADDR
  912.         IF      W@+
  913.         ELSE    @+
  914.         THEN    OVER + BASE-ADDR - >MAX_R DUP ADR@ !  DUP ADD-LAB SHOW-NAME ;
  915.  
  916. : JSR  ( ADDR OP -- ADDR' )
  917.     .S" CALL    "    DROP    REL16/32     \ DUP @ >R  REL16/32   DUP R> +  DROP
  918.   ;
  919.  
  920. : JMP  ( ADDR OP -- ADDR' )
  921.         .S" JMP     "  2 AND IF REL8 ELSE REL16/32 THEN
  922.          ;
  923.  
  924.  : .JXX  ( ADDR OP -- ADDR' )
  925.        .S" J"   TTTN  4 SSPACES
  926.          ;
  927.  
  928. : BRA  ( ADDR OP -- ADDR' )
  929.         .JXX  REL8  ;
  930.  
  931. : LUP  ( ADDR OP -- ADDR' )
  932.        3 AND S" LOOPNZLOOPZ LOOP  JECXZ " 6 SS. 1 SSPACES REL8 ;
  933.  
  934. : LBR  ( ADDR OP -- ADDR' )
  935.         .JXX  REL16/32  ;
  936.  
  937. : RTN  ( ADDR OP -- ADDR' )
  938.        .S" RET" 1 AND 0=   \  .S" RET     NEAR " 1 AND 0=
  939.        IF      W@+ H.>S
  940.        THEN ;
  941.  
  942. : RTF  ( ADDR OP -- ADDR' )
  943.         .S" RET     FAR " 1 AND 0=
  944.         IF      W@+ H.>S
  945.         THEN ;
  946.  
  947. : ENT  ( ADDR OP -- ADDR' )
  948.       DROP
  949.        .S" ENTER   " W@+ H.>S ., COUNT H.>S ;
  950.  
  951. : CIS   ( ADDR OP -- ADDR' )
  952.         0x9A =
  953.         IF      .S" CALL    "
  954.         ELSE    .S" JMP     "
  955.         THEN
  956.         16-BIT-DATA
  957.         IF      .S" PTR16:16 "
  958.         ELSE    .S" PTR16:32 "
  959.         THEN
  960.         COUNT MOD-R/M
  961.          ;
  962.  
  963. : NT3   ( ADDR OP -- ADDR' )
  964.        DROP .S" INT     3 "
  965.        ;
  966.  
  967. : INT   ( ADDR OP -- ADDR' )
  968.         DROP .S" INT     "
  969.         COUNT H.>S ;
  970.  
  971. INH LEV LEAVE
  972. INH IRT  IRET
  973. INH NTO  INTO
  974.  
  975. \ -------------------- STRING OPS --------------------
  976.  
  977. : STR   INH DOES> COUNT >S  1 AND IF .S" D" ELSE .S" B" THEN ;
  978.  
  979. STR MVS MOVS
  980. STR CPS CMPS
  981. STR STS STOS
  982. STR LDS LODS
  983. STR SCS SCAS
  984.  
  985. \ -------------------- EXCHANGE --------------------
  986.  
  987. : XGA  ( ADDR OP -- ADDR' )
  988.        .S" XCHG     EAX, " REG16/32 ;
  989.  
  990. \ : XCH  ( ADDR OP -- ADDR' )
  991. \       .S" XCHG    " DROP R,R/M ;
  992.  
  993.  
  994. \ -------------------- SHIFTS & ROTATES --------------------
  995.  
  996. : .SHIFT ( N -- )
  997.         7 AND S" ROLRORRCLRCRSHLSHRXXXSAR" 3 SS.  4 SSPACES ;
  998.  
  999. : SHF  ( ADDR OP -- ADDR' )
  1000.        >R COUNT
  1001.        DUP 3 RSHIFT .SHIFT
  1002.        MOD-R/M .,
  1003.        R> 0xD2 AND
  1004.        CASE
  1005.           0xC0 OF COUNT H.>S      ENDOF
  1006.           0xD0 OF 1 H.>S          ENDOF
  1007.           0xD2 OF 1 REG8          ENDOF
  1008.        ENDCASE ;
  1009.  
  1010. \ -------------------- EXTENDED OPCODES --------------------
  1011.  
  1012. : WF1  ( ADDR -- ADDR' )
  1013.         1+ COUNT DUP
  1014.         0x0C0 <
  1015.         IF      DUP
  1016.                 3 RSHIFT 7 AND
  1017.                 CASE 6 OF     .S" FSTENV  "      MOD-R/M   ENDOF
  1018.                      7 OF     .S" FSTCW   WORD " MOD-R/M   ENDOF
  1019.                      2DROP 2 - DUP .S" FWAIT   "
  1020.                 ENDCASE
  1021.         ELSE    DROP 2 - .S" FWAIT   "
  1022.         THEN ;
  1023.  
  1024. : WF2  ( ADDR -- ADDR' )
  1025.        1+ COUNT
  1026.        CASE 0xE2 OF   .S" FCLEX   "  ENDOF
  1027.             0xE3 OF   .S" FINIT   "  ENDOF
  1028.             SWAP 2 - SWAP .S" FWAIT   "
  1029.        ENDCASE ;
  1030.  
  1031. : WF3  ( ADDR -- ADDR' )
  1032.         1+ COUNT DUP 3 RSHIFT 7 AND
  1033.         CASE 6 OF     .S" FSAVE   "      MOD-R/M   ENDOF
  1034.              7 OF     .S" FSTSW   WORD " MOD-R/M   ENDOF
  1035.              2DROP 2 - DUP .S" FWAIT   "
  1036.         ENDCASE ;
  1037.  
  1038. : WF4  ( ADDR -- ADDR' )
  1039.        1+ COUNT 0xE0 =
  1040.        IF      .S" FSTSW   AX "
  1041.        ELSE    2 - .S" FWAIT   "
  1042.        THEN ;
  1043.  
  1044. : FWAITOPS   ( ADDR OP -- ADDR' )
  1045.         CASE 0xD9 OF    WF1     ENDOF
  1046.              0xDB OF    WF2     ENDOF
  1047.              0xDD OF    WF3     ENDOF
  1048.              0xDF OF    WF4     ENDOF
  1049.              .S" FWAIT   "
  1050.         ENDCASE ;
  1051.  
  1052. : W8F   ( ADDR OP -- ADDR' )
  1053.        DROP DUP C@ DUP 0xF8 AND 0xD8 =
  1054.        IF      FWAITOPS
  1055.        ELSE    DROP .S" WAIT    "
  1056.        THEN ;
  1057.  
  1058. : FALU1   ( XOPCODE -- )
  1059.        3 RSHIFT 7 AND
  1060.        S" FADD FMUL FCOM FCOMPFSUB FSUBRFDIV FDIVR"
  1061.        5 SS. 2 SSPACES ;
  1062.  
  1063. : FALU5   ( XOPCODE -- )
  1064.        3 RSHIFT 7 AND
  1065.        S" FADD FMUL ???? ???? FSUBRFSUB FDIVRFDIV "
  1066.        5 SS. 2 SSPACES ;
  1067.  
  1068. : STI.   ( OP -- )
  1069.        7 AND .S" ST(" 1 .R>S .S" )";
  1070.  
  1071. \ : STI.ST   ( OP -- )
  1072. \       7 AND
  1073. \       .S" ST(" 1 .R>S .S" )" .S"  ST " ;
  1074.  
  1075. : FD8   ( ADDR OPCODE -- ADDR' )
  1076.         DROP COUNT DUP FALU1
  1077.         DUP 0xC0 <
  1078.         IF      .S" FLOAT " MOD-R/M
  1079.         ELSE    DUP 0xF0 AND 0xD0 =
  1080.                 IF      STI.
  1081.                 ELSE    .S" ST , " STI.
  1082.                 THEN
  1083.         THEN ;
  1084.  
  1085. : FDC   ( ADDR OPCODE -- ADDR' )
  1086.        DROP COUNT
  1087.        DUP DUP 0xC0 <
  1088.        IF      FALU1 .S" DOUBLE " MOD-R/M
  1089.        ELSE    FALU5 STI. .S"  , ST"
  1090.        THEN ;
  1091.  
  1092. : FNULLARY-F   ( OP -- )
  1093.        0x0F AND DUP 8 <
  1094.        IF
  1095.           S" F2XM1  FYL2X  FPTAN  FPATAN FXTRACTFPREM1 FDECSTPFINCSTP"
  1096.        ELSE  8 -
  1097.           S" FPREM  FYL2XP1FSQRT  FSINCOSFRNDINTFSCALE FSIN   FCOS   "
  1098.        THEN
  1099.        7 SS. ;
  1100.  
  1101. : FNULLARY-E   ( OP -- )
  1102.        0x0F AND DUP 8 <
  1103.        IF
  1104.           S" FCHS   FABS   ???    ???    FTST   FXAM   ???    ???    "
  1105.        ELSE  8 -
  1106.           S" FLD1   FLDL2T FLDL2E FLDPI  FLDLG2 FLDLN2 FLDZ   ???    "
  1107.        THEN
  1108.        7 SS. ;
  1109.  
  1110. : FNULLARY   ( OP -- )
  1111.        DUP 0xEF >
  1112.        IF      FNULLARY-F EXIT
  1113.        THEN
  1114.        DUP 0xE0 <
  1115.        IF      0xD0 =
  1116.                IF      .S" FNOP"
  1117.                ELSE    DUP ???
  1118.                THEN
  1119.                EXIT
  1120.        THEN
  1121.        FNULLARY-E ;
  1122.  
  1123.  
  1124. \ : FALU2   ( OP -- )
  1125. \       3 RSHIFT 7 AND
  1126. \       S" FLD    ???    FST    FSTP   FLDENV FLDCW  FNSTENVFNSTCW "
  1127. \       7 SS. ;
  1128.  
  1129. : FD9   ( ADDR OP -- ADDR' )
  1130.         DROP COUNT DUP 0xC0 <
  1131.         IF      DUP 0x38 AND
  1132.                 CASE
  1133.                         0x00 OF .S" FLD     FLOAT "  ENDOF
  1134.                         0x10 OF .S" FST     FLOAT "  ENDOF
  1135.                         0x18 OF .S" FSTP    FLOAT "  ENDOF
  1136.                         0x20 OF .S" FLDENV  "        ENDOF
  1137.                         0x28 OF .S" FLDCW   WORD "   ENDOF
  1138.                         0x30 OF .S" FNSTENV "        ENDOF
  1139.                         0x38 OF .S" FNSTCW  WORD "   ENDOF
  1140.                             DUP ???
  1141.                 ENDCASE
  1142.                 MOD-R/M
  1143.         ELSE
  1144.                 DUP 0xD0 <
  1145.                 IF      DUP 0xC8 <
  1146.                         IF      .S" FLD     "
  1147.                         ELSE    .S" FXCH    "
  1148.                         THEN
  1149.                         STI.
  1150.                 ELSE    FNULLARY
  1151.                 THEN
  1152.         THEN ;
  1153.  
  1154. : FALU3   ( OP -- )
  1155.         3 RSHIFT 7 AND
  1156.         S" FIADD FIMUL FICOM FICOMPFISUB FISUBRFIDIV FIDIVR"
  1157.         6 SS. 1 SSPACES ;
  1158.  
  1159. : FCMOVA  ( OP -- )
  1160.         3 RSHIFT 7 AND
  1161.         S" FCMOVB FCMOVE FCMOVBEFCMOVU ???    ???    ???    ???    "
  1162.         7 SS. ;
  1163.  
  1164. : FDA   ( ADDR OP -- )
  1165.         DROP COUNT DUP 0xC0 <
  1166.         IF      DUP FALU3 .S" DWORD " MOD-R/M
  1167.         ELSE    DUP 0xE9 =
  1168.                 IF      .S" FUCOMPP" DROP
  1169.                 ELSE    DUP FCMOVA STI.
  1170.                 THEN
  1171.         THEN ;
  1172.  
  1173. : FALU7  ( OP -- )
  1174.         3 RSHIFT 7 AND
  1175.         S" FADDP FMULP ???   ???   FSUBRPFSUBP FDIVRPFDIVP "
  1176.         6 SS. SSPACE ;
  1177.  
  1178. : FDE   ( ADDR OP -- ADDR' )
  1179.        DROP COUNT DUP 0xC0 <
  1180.        IF      DUP FALU3 .S" WORD " MOD-R/M
  1181.        ELSE    DUP 0xD9 =
  1182.                IF    .S" FCOMPP" DROP
  1183.                ELSE  DUP FALU7 STI.
  1184.                THEN
  1185.        THEN ;
  1186.  
  1187.  
  1188. : FCMOVB  ( OP -- )
  1189.        3 RSHIFT 7 AND
  1190.        S" FCMOVNB FCMOVNE FCMOVNBEFCMOVNU ???     FUCOMI  FCOMI   ???     "
  1191.        8 SS. ;
  1192.  
  1193. : FDB   ( ADDR OP -- ADDR' )
  1194.         DROP COUNT DUP 0xC0 <
  1195.         IF      DUP 0x38 AND
  1196.                 CASE    0x00 OF .S" FILD    DWORD "    ENDOF
  1197.                         0x10 OF .S" FIST    DWORD "    ENDOF
  1198.                         0x18 OF .S" FISTP   DWORD "    ENDOF
  1199.                         0x28 OF .S" FLD     EXTENDED " ENDOF
  1200.                         0x38 OF .S" FSTP    EXTENDED " ENDOF
  1201.                             DUP ???
  1202.                 ENDCASE
  1203.                 MOD-R/M
  1204.         ELSE
  1205.                 CASE    0xE2 OF .S" FNCLEX" ENDOF
  1206.                         0xE3 OF .S" FNINIT" ENDOF
  1207.                             DUP DUP FCMOVB STI.
  1208.                 ENDCASE
  1209.         THEN ;
  1210.  
  1211. : FALU6  ( OP -- )
  1212.         3 RSHIFT 7 AND
  1213.         S" FFREE ???   FST   FSTP  FUCOM FUCOMP???   ???   "
  1214.         6 SS. SSPACE ;
  1215.  
  1216. : FDD   ( ADDR OP -- ADDR' )
  1217.        DROP COUNT DUP 0xC0 <
  1218.        IF      DUP 0x38 AND
  1219.                CASE    0x00 OF .S" FLD     DOUBLE "  ENDOF
  1220.                        0x10 OF .S" FST     DOUBLE "  ENDOF
  1221.                        0x18 OF .S" FSTP    DOUBLE "  ENDOF
  1222.                        0x20 OF .S" FRSTOR  "         ENDOF
  1223.                        0x30 OF .S" FNSAVE  "         ENDOF
  1224.                        0x38 OF .S" FNSTSW  WORD   "  ENDOF
  1225.                            DUP ???
  1226.                ENDCASE
  1227.                MOD-R/M
  1228.        ELSE    DUP FALU6 STI.
  1229.        THEN ;
  1230.  
  1231. : FDF   ( ADDR OP -- ADDR' )
  1232.         DROP COUNT DUP 0xC0 <
  1233.         IF      DUP 0x38 AND
  1234.                 CASE    0x00 OF .S" FILD    WORD "   ENDOF
  1235.                         0x10 OF .S" FIST    WORD "   ENDOF
  1236.                         0x18 OF .S" FISTP   WORD "   ENDOF
  1237.                         0x20 OF .S" FBLD    TBYTE "  ENDOF
  1238.                         0x28 OF .S" FILD    QWORD "  ENDOF
  1239.                         0x30 OF .S" FBSTP   TBYTE "  ENDOF
  1240.                         0x38 OF .S" FISTP   QWORD "  ENDOF
  1241.                             DUP ???
  1242.                 ENDCASE
  1243.                 MOD-R/M
  1244.         ELSE    DUP 0xE0 =
  1245.                 IF      .S" FNSTSW  AX " DROP
  1246.                 ELSE    DUP 0x38 AND
  1247.                         CASE    0x28 OF .S" FUCOMIP " STI. ENDOF
  1248.                                 0x30 OF .S" FCOMIP  " STI. ENDOF
  1249.                                         ???
  1250.                         ENDCASE
  1251.                 THEN
  1252.         THEN ;
  1253.  
  1254. : GP6 ( ADDR OP -- ADDR' )
  1255.        DROP COUNT DUP 3 RSHIFT
  1256.        7 AND S" SLDTSTR LLDTLTR VERRVERW??? ???" 4 SS. 3 SSPACES
  1257.        R/M16 ;
  1258.  
  1259. : GP7 ( ADDR OP -- ADDR' )
  1260.         DROP COUNT DUP 3 RSHIFT
  1261.         7 AND DUP S" SGDT  SIDT  LGDT  LIDT  SMSW  ???   LMSW  INVLPG" 6 SS. 1 SSPACES
  1262.         4 AND 4 =
  1263.         IF   R/M16
  1264.         ELSE R/M16/32
  1265.         THEN ;
  1266.  
  1267. : BTX.  ( N -- )
  1268.         3 RSHIFT
  1269.         3 AND S" BT BTSBTRBTC" 3 SS. 4 SSPACES ;
  1270.  
  1271. : GP8 ( ADDR OP -- ADDR' )
  1272.        DROP COUNT DUP BTX.
  1273.        R/M16/32 IMM8 ;
  1274.  
  1275. : LAR ( ADDR OP -- ADDR' )
  1276.         .S" LAR     " DROP R,R/M ;
  1277.  
  1278. : LSL ( ADDR OP -- ADDR' )
  1279.        .S" LSL     " DROP R,R/M ;
  1280.  
  1281. : LSS ( ADDR OP -- ADDR' )
  1282.         .S" LSS     " DROP R,R/M ;
  1283.  
  1284. : LFS ( ADDR OP -- ADDR' )
  1285.        .S" LFS     " DROP R,R/M ;
  1286.  
  1287. : LGS ( ADDR OP -- ADDR' )
  1288.         .S" LGS     " DROP R,R/M ;
  1289.  
  1290. : BTX ( ADDR OP -- ADDR' )
  1291.        BTX. R/M,R ;
  1292.  
  1293. : SLI ( ADDR OP -- ADDR' )
  1294.         .S" SHLD    " DROP R/M,R IMM8 ;
  1295.  
  1296. : SRI ( ADDR OP -- ADDR' )
  1297.        .S" SHRD    " DROP R/M,R IMM8 ;
  1298.  
  1299. : SLC ( ADDR OP -- ADDR' )
  1300.         .S" SHLD    " DROP R/M,R .S" , CL" ;
  1301.  
  1302. : SRC ( ADDR OP -- ADDR' )
  1303.        .S" SHRD    " DROP R/M,R .S" , CL" ;
  1304.  
  1305. : IML ( ADDR OP -- ADDR' )
  1306.         .S" IMUL    " DROP R,R/M ;
  1307.  
  1308. : CXC ( ADDR OP -- ADDR' )
  1309.        .S" CMPXCHG " 1 AND TO SIZE R/M,R ;
  1310.  
  1311. : MVX ( ADDR OP -- ADDR' )
  1312.         DUP 8 AND
  1313.         IF      .S" MOVSX   "
  1314.         ELSE    .S" MOVZX   "
  1315.         THEN
  1316.         1 AND >R
  1317.         COUNT MOD/SIB R>                        \ SIZE BIT
  1318.         IF    SWAP REG32 .,                     \ WORD TO DWORD CASE
  1319.               3 =
  1320.               IF   REG16
  1321.               ELSE .S" WORD PTR "  DROP DUP 1- C@ MOD-R/M
  1322.               THEN
  1323.         ELSE  SWAP REG16/32 .,                  \ BYTE CASE
  1324.               3 =
  1325.               IF   REG8
  1326.               ELSE .S" BYTE PTR "  DROP DUP 1- C@ MOD-R/M
  1327.               THEN
  1328.         THEN ;
  1329.  
  1330. : XAD ( ADDR OP -- ADDR' )
  1331.        .S" XADD    " 1 AND TO SIZE R/M,R ;
  1332.  
  1333. : BSF ( ADDR OP -- ADDR' )
  1334.         .S" BSF     " DROP R,R/M ;
  1335.  
  1336. : BSR ( ADDR OP -- ADDR' )
  1337.        .S" BSR     " DROP R,R/M ;
  1338.  
  1339. : CX8 ( ADDR OP -- ADDR' )
  1340.         .S" CMPXCHG8B " DROP COUNT R/M16/32 ;
  1341.  
  1342. : BSP ( ADDR OP -- ADDR' )
  1343.        .S" BSWAP   " REG32 ;
  1344.  
  1345.  
  1346. : F6.  ( ADDR OP -- ADDR' )
  1347. \ ??
  1348.         >R COUNT
  1349.         DUP 3 RSHIFT 7 AND DUP>R S" TESTXXXXNOT NEG MUL IMULDIV IDIV" 4 SS. 3 SSPACES
  1350.         MOD-R/M
  1351.         R> 0= IF
  1352.                 R@ 1 AND IF IMM16/32
  1353.                          ELSE IMM8
  1354.                          THEN
  1355.               THEN
  1356.         R> DROP ;
  1357.  
  1358. : FE.  ( ADDR OP -- ADDR' )
  1359.        DROP COUNT
  1360.        DUP 3 RSHIFT 7 AND
  1361.        CASE
  1362.                0 OF .S" INC     "  ENDOF
  1363.                1 OF .S" DEC     "  ENDOF
  1364.                     .S" ???     "
  1365.        ENDCASE R/M8 ;
  1366.  
  1367. : FF.  ( ADDR OP -- ADDR' )
  1368.         DROP COUNT
  1369.         DUP 3 RSHIFT 7 AND
  1370.         CASE
  1371.                 0 OF .S" INC     "      ENDOF
  1372.                 1 OF .S" DEC     "      ENDOF
  1373.                 2 OF .S" CALL    "      ENDOF
  1374.                 3 OF .S" CALL    FAR "  ENDOF
  1375.                 4 OF .S" JMP     "      ENDOF
  1376.                 5 OF .S" JMP     FAR "  ENDOF
  1377.                 6 OF .S" PUSH    "      ENDOF
  1378.                      .S" ???     "
  1379.         ENDCASE R/M16/32 ;
  1380.  
  1381.  
  1382. \ --------------------- CONDITIONAL MOVE ---------------
  1383.  
  1384. : SET   ( ADR OP -- )
  1385.         .S" SET"
  1386.         TTTN 2 SSPACES
  1387.         COUNT R/M8 ;
  1388.  
  1389. : CMV   ( ADR OP -- )
  1390.         .S" CMOV"
  1391.         TTTN 1 SSPACES
  1392.         R,R/M ;
  1393.  
  1394. \ --------------------- MMX OPERATIONS -----------------
  1395.  
  1396. : MMX-SIZE ( OP -- )
  1397.         3 AND S" BWDQ" 1 SS. ;
  1398.  
  1399. : UPL   ( ADR OP -- ADR' )
  1400.        3 AND S" PUNPCKLBWPUNPCKLWDPUNPCKLDQ" 9 SS. R,R/M ;
  1401.  
  1402. : UPH   ( ADR OP -- ADR' )
  1403.         3 AND S" PUNPCKHBWPUNPCKHWDPUNPCKHDQ" 9 SS. R,R/M ;
  1404.  
  1405. : CGT   ( ADR OP -- ADR' )
  1406.        .S" PCMPGT" MMX-SIZE R,R/M ;
  1407.  
  1408. : CEQ   ( ADR OP -- ADR' )
  1409.         .S" PCMPEQ" MMX-SIZE R,R/M ;
  1410.  
  1411. : PSH.  ( OP -- )
  1412.         0x30 AND
  1413.         CASE
  1414.              0x10 OF .S" PSRL" ENDOF
  1415.              0x20 OF .S" PSRA" ENDOF
  1416.              0x30 OF .S" PSLL" ENDOF
  1417.         ENDCASE ;
  1418.  
  1419. : GPA   ( ADR OP -- ADR' )
  1420.        >R COUNT DUP PSH. R> MMX-SIZE 2 SSPACES MREG IMM8 ;
  1421.  
  1422. : PUW   ( ADR OP -- ADR' )
  1423.         .S" PACKUSDW " DROP R,R/M ;
  1424.  
  1425. : PSB   ( ADR OP -- ADR' )
  1426.        .S" PACKSSWB " DROP R,R/M ;
  1427.  
  1428. : PSW   ( ADR OP -- ADR' )
  1429.         .S" PACKSSDW " DROP R,R/M ;
  1430.  
  1431. : MPD   ( ADR OP -- ADR' )
  1432.        .S" MOVD    " DROP COUNT MOD/SIB
  1433.        SWAP MREG ., 3 =
  1434.        IF   REG32
  1435.        ELSE MOD-R/M
  1436.        THEN ;
  1437.  
  1438. : MDP   ( ADR OP -- ADR' )
  1439.         .S" MOVD    " DROP COUNT MOD/SIB
  1440.         3 =
  1441.         IF   SWAP REG32
  1442.         ELSE SWAP MOD-R/M
  1443.         THEN ., MREG ;
  1444.  
  1445. : MPQ   ( ADR OP -- ADR' )
  1446.        .S" MOVQ    " DROP R,R/M ;
  1447.  
  1448. : MQP   ( ADR OP -- ADR' )
  1449.         .S" MOVQ    " DROP R/M,R ;
  1450.  
  1451. : SHX   ( ADR OP -- ADR' )
  1452.        DUP PSH. MMX-SIZE 2 SSPACES R,R/M ;
  1453.  
  1454. : MLL   ( ADR OP -- ADR' )
  1455.         .S" PMULLW  " DROP R,R/M ;
  1456.  
  1457. : MLH   ( ADR OP -- ADR' )
  1458.        .S" PMULHW  " DROP R,R/M ;
  1459.  
  1460. : MAD   ( ADR OP -- ADR' )
  1461.         .S" PMADDWD " DROP R,R/M ;
  1462.  
  1463. : SUS   ( ADR OP -- ADR' )
  1464.        .S" PSUBUS" MMX-SIZE R,R/M ;
  1465.  
  1466. : SBS   ( ADR OP -- ADR' )
  1467.         .S" PSUBS" MMX-SIZE SSPACE R,R/M ;
  1468.  
  1469. : SUB   ( ADR OP -- ADR' )
  1470.        .S" PSUB" MMX-SIZE 2 SSPACES R,R/M ;
  1471.  
  1472. : AUS   ( ADR OP -- ADR' )
  1473.         .S" PADDUS" MMX-SIZE R,R/M ;
  1474.  
  1475. : ADS   ( ADR OP -- ADR' )
  1476.        .S" PADDS" MMX-SIZE SSPACE R,R/M ;
  1477.  
  1478. : ADD   ( ADR OP -- ADR' )
  1479.         .S" PADD" MMX-SIZE 2 SSPACES R,R/M ;
  1480.  
  1481. : PAD   ( ADR OP -- ADR' )
  1482.        .S" PAND    " DROP R,R/M ;
  1483.  
  1484. : POR   ( ADR OP -- ADR' )
  1485.         .S" POR     " DROP R,R/M ;
  1486.  
  1487. : PAN   ( ADR OP -- ADR' )
  1488.        .S" PANDN   " DROP R,R/M ;
  1489.  
  1490. : PXR   ( ADR OP -- ADR' )
  1491.         .S" PXOR    " DROP R,R/M ;
  1492.  
  1493.  
  1494. \ -------------------- OPCODE TABLE --------------------
  1495.  
  1496. : OPS 0x10 0 DO ' , LOOP ;
  1497.  
  1498.  
  1499. CREATE OP-TABLE2
  1500.  
  1501. \    0   1   2   3    4   5   6   7    8   9   A   B    C   D   E   F
  1502.  
  1503. OPS  GP6 GP7 LAR LSL  ??? ??? CLT ???  INV WIV ??? UD2  ??? ??? ??? ???  \ 0
  1504. OPS  ??? ??? ??? ???  ??? ??? ??? ???  ??? ??? ??? ???  ??? ??? ??? ???  \ 1
  1505. OPS  MRC MRD MCR MDR  MRT ??? MTR ???  ??? ??? ??? ???  ??? ??? ??? ???  \ 2
  1506. OPS  WMR RTC RMR RPC  ??? ??? ??? ???  ??? ??? ??? ???  ??? ??? ??? ???  \ 3
  1507.  
  1508. OPS  CMV CMV CMV CMV  CMV CMV CMV CMV  CMV CMV CMV CMV  CMV CMV CMV CMV  \ 4
  1509. OPS  ??? ??? ??? ???  ??? ??? ??? ???  ??? ??? ??? ???  ??? ??? ??? ???  \ 5
  1510. OPS  UPL UPL UPL PUW  CGT CGT CGT PSB  UPH UPH UPH PSW  ??? ??? MPD MPQ  \ 6
  1511. OPS  ??? GPA GPA GPA  CEQ CEQ CEQ EMS  ??? ??? ??? ???  ??? ??? MDP MQP  \ 7
  1512.  
  1513. OPS  LBR LBR LBR LBR  LBR LBR LBR LBR  LBR LBR LBR LBR  LBR LBR LBR LBR  \ 8
  1514. OPS  SET SET SET SET  SET SET SET SET  SET SET SET SET  SET SET SET SET  \ 9
  1515. OPS  PSS PPS CPU BTX  SLI SLC ??? ???  PSS PPS RSM BTX  SRI SRC ??? IML  \ A
  1516. OPS  CXC CXC LSS BTX  LFS LGS MVX MVX  ??? UD1 GP8 BTX  BSF BSR MVX MVX  \ B
  1517.  
  1518. OPS  XAD XAD ??? ???  ??? ??? ??? CX8  BSP BSP BSP BSP  BSP BSP BSP BSP  \ C
  1519. OPS  ??? SHX SHX SHX  ??? MLL ??? ???  SUS SUS ??? PAD  AUS AUS ??? PAN  \ D
  1520. OPS  ??? SHX SHX ???  ??? MLH ??? ???  SBS SBS ??? POR  ADS ADS ??? PXR  \ E
  1521. OPS  ??? ??? SHX SHX  ??? MAD ??? ???  SUB SUB SUB ???  ADD ADD ADD ???  \ F
  1522.  
  1523. \    0   1   2   3    4   5   6   7    8   9   A   B    C   D   E   F
  1524.  
  1525. : 0F.  ( ADR CODE -- )
  1526.        DROP COUNT DUP
  1527.        DUP 0x70 AND 0x50 0x80 WITHIN TO MMX-REG
  1528.        CELLS OP-TABLE2 + @ EXECUTE
  1529.        0 TO MMX-REG ;
  1530.  
  1531.  
  1532. CREATE OP-TABLE
  1533.  
  1534. \    0   1   2   3    4   5   6   7    8   9   A   B    C   D   E   F
  1535.  
  1536. OPS  ALU ALU ALU ALU  ALA ALA PSS PPS  ALU ALU ALU ALU  ALA ALA PSS 0F.  \ 0
  1537. OPS  ALU ALU ALU ALU  ALA ALA PSS PPS  ALU ALU ALU ALU  ALA ALA PSS PPS  \ 1
  1538. OPS  ALU ALU ALU ALU  ALA ALA ES: DAA  ALU ALU ALU ALU  ALA ALA CS: DAS  \ 2
  1539. OPS  ALU ALU ALU ALU  ALA ALA SS: AAA  ALU ALU ALU ALU  ALA ALA DS: AAS  \ 3
  1540.  
  1541. OPS  INC INC INC INC  INC INC INC INC  DEC DEC DEC DEC  DEC DEC DEC DEC  \ 4
  1542. OPS  PSH PSH PSH PSH  PSH PSH PSH PSH  POP POP POP POP  POP POP POP POP  \ 5
  1543. OPS  PSA PPA BND ARP  FS: GS: D16 A16  PSI MLI PSI MLI  INB ISD OSB OSD  \ 6
  1544. OPS  BRA BRA BRA BRA  BRA BRA BRA BRA  BRA BRA BRA BRA  BRA BRA BRA BRA  \ 7
  1545.  
  1546. OPS  ALI ALI ??? ALI  TXB TXB TXB TXB  MOV MOV MOV MOV  MRS LEA MSR 8F.  \ 8
  1547. OPS  XGA XGA XGA XGA  XGA XGA XGA XGA  CBW CDQ CIS W8F  PSF PPF SAH LAH  \ 9
  1548. OPS  MV1 MV1 MV2 MV2  MVS MVS CPS CPS  TST TST STS STS  LDS LDS SCS SCS  \ A
  1549. OPS  MRI MRI MRI MRI  MRI MRI MRI MRI  MRI MRI MRI MRI  MRI MRI MRI MRI  \ B
  1550.  
  1551. OPS  SHF SHF RTN RTN  LXS LXS MVI MVI  ENT LEV RTF RTF  NT3 INT NTO IRT  \ C
  1552. OPS  SHF SHF SHF SHF  AAM AAD ??? XLT  FD8 FD9 FDA FDB  FDC FDD FDE FDF  \ D
  1553. OPS  LUP LUP LUP LUP  INP INP OTP OTP  JSR JMP CIS JMP  IND IND OTD OTD  \ E
  1554. OPS  LOK ??? RPZ REP  HLT CMC F6. F6.  CLC STC CLI STI  CLD STD FE. FF.  \ F
  1555.  
  1556. \    0   1   2   3    4   5   6   7    8   9   A   B    C   D   E   F
  1557.  
  1558. : DIS-OP  ( ADR -- ADR' )
  1559.         0>S
  1560.         FALSE TO PREFIX-OP           \ SMUB
  1561.         COUNT
  1562.         DUP 1 AND TO SIZE
  1563.         DUP CELLS OP-TABLE + @ EXECUTE
  1564.         PREFIX-OP 0=
  1565.         IF DEFAULT-16BIT? 0=
  1566.            IF   FALSE TO 16-BIT-DATA
  1567.                 FALSE TO 16-BIT-ADDR
  1568.            ELSE TRUE  TO 16-BIT-DATA
  1569.                 TRUE  TO 16-BIT-ADDR
  1570.            THEN
  1571.         THEN ;
  1572.  
  1573.  
  1574. 0 VALUE NEXT-INST
  1575.  
  1576. : X".  ( ADDR -- ADDR' )
  1577. \      CR DUP  BASE-ADDR - 6 H.R  SPACE
  1578.    DUP C@ 2DUP SWAP 1+ SWAP ." '" TYPE ." '"
  1579.        + 2+
  1580. \      ."  C, " 1+ OVER + SWAP
  1581. \      DO I C@ 2 H.R  ."  C, " LOOP
  1582. \      COUNT  + 1+
  1583. ;
  1584.  
  1585. [DEFINED] G. [IF]
  1586.  
  1587. : FLIT8.  ( ADDR -- ADDR' ) CR
  1588.       ." FLITERAL: "
  1589.       DUP DF@ G.  8 +
  1590. ;
  1591.  
  1592. : FLIT10.  ( ADDR -- ADDR' ) CR
  1593.       ." FLITERAL: "
  1594.       DUP F@ G.  10 +
  1595. ;
  1596.  
  1597. [ELSE]
  1598.  
  1599. : FLIT8.
  1600.       CR DUP  BASE-ADDR - 6 H.R SPACE
  1601.       ."  A; " DUP 8 OVER + SWAP
  1602.       DO I C@ 3 H.R ."  C," LOOP
  1603.       8 +
  1604. ;
  1605.  
  1606. : FLIT10. ( ADDR -- ADDR' )
  1607.       CR DUP  BASE-ADDR - 6 H.R SPACE
  1608.       ."  A; "  DUP 10 OVER + SWAP
  1609.       DO I C@ 3 H.R ."  C," LOOP
  1610.       10 +
  1611. ;
  1612.  
  1613. [THEN]
  1614.  
  1615. : VECT. ( ADDR -- ADDR' ) CR
  1616. \ ." @"     DUP BASE-ADDR - 6 H.R ." :" SPACE
  1617.       ."  A; " DUP @ 8 H.R DUP CELL+ SWAP  @ ."  ,  \ " WordByAddr TYPE  CR    
  1618. ;
  1619.  
  1620. \ : CONS. ( ADDR -- ) \ CR
  1621. \ \ ." @"     DUP BASE-ADDR - 6 H.R ." :" SPACE
  1622. \ SPACE      ."  CONSTANT "  @ 8 SPACES DUP LAB   IF ." @" WordByAddr TYPE ELSE DUP ARRAY2?  IF DROP ELSE  ." $"  1 H.R  CR THEN THEN
  1623. \ ;
  1624. : CONS. ( ADDR -- )
  1625.       CR DUP BASE-ADDR - 6 H.R SPACE
  1626.       ."  A; " @ 8 H.R ."  ,"
  1627. ;
  1628.  
  1629.  
  1630. : USER. ( ADDR -- ) CR
  1631.  \    ." @"     DUP BASE-ADDR - 6 H.R ." :" SPACE
  1632.       ."  A; " @ 8 H.R ."  \ Relative in heap [hex]"   \ CELL+
  1633. CR
  1634. ;
  1635.  
  1636. \ : UVAL. ( ADDR -- ADDR' ) CR
  1637.  \     ." @"     DUP BASE-ADDR - 6 H.R ." :" SPACE
  1638. \      ."  A; " DUP @ 8 H.R ."   \ Relative in heap [hex]" CELL+
  1639. \ CR
  1640. \ ;
  1641.  
  1642. : UVAL. ( ADDR -- ADDR' )
  1643.       CR DUP  BASE-ADDR - 6 H.R SPACE
  1644.       ."  A; " DUP @ 8 H.R ."  , \ Relative in heap [hex]" CELL+
  1645. ;
  1646.  
  1647. VARIABLE ENDDB
  1648. VARIABLE ENDDD
  1649. VARIABLE FLAGDB
  1650. : TLABEL TRIGER3 @ IF 0 TRIGER3 ! ELSE OVER  .  ." :" 6 SPACES THEN ;
  1651. : DDADR? OVER @ DUP IMAGE-BEGIN > SWAP IMAGE-END < AND ;
  1652.  
  1653. : CODE. ( ADDR -- ) 4 SPACES
  1654.        DUP NextNFA
  1655.        ?DUP
  1656.        IF OVER - 5 -
  1657.        ELSE
  1658.           DUP   DP @   SWAP  -    ABS  DUP 512 > IF DROP 124 THEN \ no applicable end found
  1659.        THEN
  1660. BEGIN DUP  WHILE OVER LAB 0=   IF  OVER ARRAY?   TLABEL ELSE 24 SPACES   THEN
  1661. DDADR?  IF  OVER @  ARRAY2?  0=
  1662. IF  ." dd         @" OVER @ DUP @ ADD-LAB .  CR THEN  4  - SWAP 4 + SWAP   ELSE
  1663. DUP 4 < IF ." db         "
  1664. \ FLAGDB @ IF ." , " ELSE  ." db         "  THEN OVER C@ . 1- SWAP 1+ SWAP
  1665. 2DUP OVER + DUP ENDDB !  SWAP DO I DUP ." $" C@ .  ENDDB @ 1-  <> IF   ." , "  THEN LOOP CR  DROP 0
  1666.                 ELSE      OVER @ 0= IF  \    OVER @ . 4 - SWAP 4 + SWAP CR
  1667.         0 FLAGDB ! TRIGER4 @  IF 2DROP EXIT  ELSE  ." dd         $"  BEGIN OVER @ 0=   OVER  0 >  AND
  1668. WHILE 4 - SWAP 4 + SWAP FLAGDB 1+! REPEAT FLAGDB @ . ."    DUP     (?)"  THEN CR
  1669.     ELSE
  1670.                 ." db         " 4 -  OVER DUP 4 + DUP ENDDB ! SWAP DO I DUP
  1671.                 ." $" C@ .  ENDDB @ 1-  <> IF   ." , "  THEN LOOP SWAP 4 + SWAP CR THEN
  1672.                 THEN
  1673. THEN
  1674. REPEAT 2DROP
  1675.  
  1676. ;
  1677.  
  1678.  
  1679. \ IMAGE-BEGIN - ïîïðîáîâàòü âìåìåñòî ìåòêè OVER @  IMAGE-BEGIN > IF ." DD" OVER @ . HERE . THEN
  1680.  
  1681. : DIS-DB   CR .S" DB " COUNT H.>S ;
  1682. : DIS-DW   CR .S" DW " W@+ H.>S ;
  1683. : DIS-DD   CR .S" DD " @+ H.>S ;
  1684. : DIS-DS   CR .S" STRING " 0x22 EMIT>S COUNT 2DUP >S + 0x22 EMIT>S ;
  1685.  
  1686. : FIND-REST-END ( xt -- addr | 0)
  1687.    DUP NextNFA DUP
  1688.    IF
  1689.      NIP
  1690.      NAME>C 1- \ Skip CFA field
  1691.    ELSE
  1692.      DROP
  1693.      DP @ - ABS 100 > IF 0 EXIT THEN \ no applicable end found
  1694.      DP @ 1-
  1695.    THEN
  1696.  
  1697.    BEGIN \ Skip alignment
  1698.      DUP C@ 0= WHILE 1-
  1699.    REPEAT ;
  1700.  
  1701.  
  1702.  
  1703.  
  1704. : INST  ( ADR -- ADR' )  
  1705.        DUP TO NEXT-INST
  1706.        COLS 0x29 <
  1707.        IF    DIS-OP
  1708.                S-BUF COUNT   TYPE
  1709.        ELSE    DUP DIS-OP
  1710.                OVER BASE-ADDR -  6
  1711.             \ H.R SPACE    \ ïå÷àòü àäðåñà ìåòêè ïî óñëîâèþ, 2DROP óáðàòü
  1712.             \   2DROP \ H.R SPACE àäðåñà
  1713.                    OVER TYPE-LAB
  1714.           IF  2DROP ELSE
  1715.      OVER LAB   IF 0 TRIGER3 ! 2DROP ELSE S" @" TYPE H.R S" :" TYPE SSPACE  THEN
  1716.           THEN
  1717.                DUP ROT
  1718.                2DUP - DUP>R 0x10 U> ABORT" DECOMPILER ERROR"
  1719.               2DROP \ DO I C@ 2 SPACES DROP ( H.N ) LOOP  \ 2DROP ( H.N ) LOOP \ äàìï êîìàíäû
  1720.                R> 12 <    IF 9 EMIT THEN
  1721.                 \ NEXT-INST C@ 0xE8 =
  1722.               \ IF  NEXT-INST 1+ @+ SWAP +
  1723.                 \  CASE
  1724.              \    ['] _CLITERAL-CODE OF 0   ENDOF
  1725.              \    ['] _SLITERAL-CODE OF  0   ENDOF
  1726.              \    ['] _VECT-CODE     OF  0  ENDOF
  1727.           \       ['] _CONSTANT-CODE OF  0  ENDOF
  1728.             \     ['] _USER-CODE     OF 0  ENDOF
  1729.              \    ['] _CREATE-CODE   OF  0 ." // Îôîðìèò êàê var èëè label: array[0..10] of Byte/Integer;" ENDOF
  1730.               \   ['] _USER-VALUE-CODE OF  0 ." // Îôîðìèò êàê" ENDOF
  1731.               \   ['] _FLIT-CODE10   OF 0 ENDOF
  1732.              \    ['] _FLIT-CODE8    OF  0 ENDOF
  1733.              \     ENDCASE
  1734.             \  THEN
  1735.      ?DUP     IF  9 EMIT S-BUF COUNT TYPE THEN
  1736.         THEN    NEXT-INST C@ 0xE8 =
  1737.                IF  NEXT-INST 1+ @+ SWAP +
  1738.                    CASE
  1739.                   ['] _CLITERAL-CODE OF CR  X".   ENDOF
  1740.                    ['] _SLITERAL-CODE OF CR  X".   ENDOF
  1741.                   ['] _VECT-CODE     OF  VECT. 2DROP RDROP ENDOF
  1742.                    ['] _CONSTANT-CODE OF  CONS. DROP RDROP ENDOF
  1743.                   ['] _USER-CODE     OF  USER. DROP RDROP ENDOF
  1744.                    ['] _CREATE-CODE   OF  CODE. DROP RDROP ENDOF
  1745.                   ['] _USER-VALUE-CODE OF  UVAL. DROP RDROP ENDOF
  1746.                    ['] _FLIT-CODE10   OF  FLIT10. ENDOF
  1747.                   ['] _FLIT-CODE8    OF  FLIT8. ENDOF
  1748.                     ENDCASE
  1749.                 THEN
  1750.   ;
  1751.  
  1752. : INST1  ( ADR -- ADR' )
  1753.         DUP TO NEXT-INST
  1754.        COLS 0x29 <
  1755.        IF    DIS-OP
  1756.           \    S-BUF COUNT   TYPE
  1757.        ELSE    DUP DIS-OP
  1758.               DUP ROT
  1759.                2DUP - DUP>R 0x10 U> ABORT" DECOMPILER ERROR"
  1760.  
  1761.              2DROP RDROP
  1762.        THEN
  1763.  
  1764.       ;
  1765.  
  1766. : (REST-AREA) ( addr1 addr2 -- )
  1767. \ if addr2 = 0 continue till RET instruction
  1768.                SWAP DUP TO NEXT-INST
  1769.              BEGIN
  1770.                        \ We do not look for JMP's because there may be
  1771.                          \ a jump in a forth word
  1772.                        CR
  1773.                         OVER 0= IF  NEXT-INST C@ 0xC3 <>
  1774.                                 ELSE 2DUP < INVERT
  1775.                                 THEN
  1776.                 WHILE   INST \ CR
  1777.                 REPEAT  2DROP
  1778.                 ;
  1779.  
  1780.  
  1781.  
  1782.  
  1783.  
  1784. \ : ALLOT DUP HERE FINISH-ARRAY @  2! FINISH-ARRAY @ 2 CELLS + FINISH-ARRAY !  ALLOT ;
  1785.  
  1786.  
  1787.  
  1788.  
  1789.  
  1790.  
  1791.  
  1792.  
  1793.  
  1794.  
  1795.  
  1796.  
  1797.  
  1798.  
  1799.  
  1800.  
  1801.  
  1802.  
  1803.  
  1804.  
  1805. FORTH DEFINITIONS
  1806. VECT REST-AREA                
  1807. \ ' (REST-AREA) TO REST-AREA
  1808.  
  1809. \ : REST ( addr -- )
  1810. \   DUP HERE U> 0=  HERE 1- AND REST-AREA
  1811. \ ;
  1812.  
  1813. \ : SEE       ( "name" -- )
  1814. \   ' DUP FIND-REST-END ['] REST-AREA CATCH DROP
  1815. \ ;
  1816.  
  1817.  
  1818. : CALL-TYPE
  1819. \ WordByAddr TYPE
  1820. \ DUP ADD-CALL DUP ADD-LAB  \ ! ! ! ! !
  1821. 1 TRIGER3 ! S" @@"  TYPE   NEAR_NFA   >R   COUNT  TYPE S" :" TYPE   DROP  R>
  1822.   \ DUP SEE2
  1823. ;
  1824.  
  1825. : CALL-FIND  \ DUP SEE2
  1826. HEX
  1827. DUP FIND-REST-END
  1828. SWAP DUP TO NEXT-INST  
  1829.              BEGIN  
  1830.                        \ We do not look for JMP's because there may be
  1831.                          \ a jump in a forth word
  1832.                                OVER 0= IF   NEXT-INST   C@ 0xC3 <>
  1833.                                 ELSE 2DUP < INVERT
  1834.                                 THEN
  1835.                 WHILE  DUP INST1 DROP  DUP TO NEXT-INST
  1836.  DUP  C@ 0xE8 = IF NEXT-INST 1+ DUP @ + 4 +  DUP   ADD-CALL                            
  1837. CALL-TYPE? @  IF  RECURSE   ELSE    DROP  5 +  THEN
  1838. ELSE  DIS-OP  THEN   \ CR
  1839.                 REPEAT  2DROP
  1840.   ;
  1841.  
  1842.  
  1843. : SEE2       ( "addr" -- )
  1844.     DUP FIND-REST-END 2DUP END-WORD ! START-WORD !
  1845.  ['] REST-AREA CATCH DROP
  1846. ;
  1847.  
  1848. : VAR-VECT  
  1849.  1+ @+ SWAP +
  1850.                 CASE
  1851.                   ['] _CLITERAL-CODE OF 5 + X".   ENDOF
  1852.                   ['] _SLITERAL-CODE OF 5 +  X".   ENDOF
  1853.                    ['] _VECT-CODE     OF 5 + VECT.  DROP  ENDOF
  1854.                   ['] _CONSTANT-CODE OF 5 + CONS.  ENDOF
  1855.                    ['] _USER-CODE     OF 5 + USER.  ENDOF
  1856.                   ['] _CREATE-CODE   OF 5 + CODE.   ENDOF
  1857.                    ['] _USER-VALUE-CODE OF 5 + UVAL. ENDOF
  1858.                   ['] _FLIT-CODE10   OF 5 + FLIT10. ENDOF
  1859.                    ['] _FLIT-CODE8    OF 5 + FLIT8. ENDOF
  1860.                    ENDCASE  
  1861. ;
  1862.  
  1863. : TYPE-VAR
  1864. FINISH-VAR  @  START-VAR @ = IF EXIT THEN
  1865. FINISH-VAR  @ 4 -
  1866. BEGIN  DUP @  
  1867. \ DUP   5 +  @  ARRAY? .      
  1868. DUP WordByAddr  TYPE 1 TRIGER3 !  DUP VAR-VECT \ SEE2
  1869. DUP  START-VAR @  =  0= WHILE CELL- REPEAT DROP  CR CR
  1870. ;
  1871.  
  1872. : TYPE-ALL
  1873. START-LIST2  @ FINISH-LIST2 @ 4 - FINISH-LIST3 !
  1874. BEGIN   DUP @
  1875. DUP 1+ @+ SWAP +
  1876.                    CASE
  1877.                \  ['] _CLITERAL-CODE OF 0   ENDOF
  1878.                  \  ['] _SLITERAL-CODE OF 0    ENDOF
  1879.                    ['] _VECT-CODE     OF 0   ENDOF
  1880.                    ['] _CONSTANT-CODE OF 0  ENDOF
  1881.                   ['] _USER-CODE     OF 0   ENDOF
  1882.                    ['] _CREATE-CODE   OF 0  ENDOF
  1883.                   ['] _USER-VALUE-CODE OF 0   ENDOF
  1884.                    ['] _FLIT-CODE10   OF 0  ENDOF
  1885.                   ['] _FLIT-CODE8    OF 0  ENDOF
  1886.                     ENDCASE
  1887. ?DUP IF ADD-CALL ELSE ADD-VAR THEN DUP  FINISH-LIST3 @  =  0=   \  ADD-CALL  CR WordByAddr TYPE CR
  1888.   WHILE  CELL+ REPEAT  DROP
  1889.  TYPE-VAR
  1890.  FINISH-LIST @ BEGIN DUP @ DUP CALL-TYPE
  1891.  SEE2 DUP START-LIST @ = 0= WHILE CELL-  REPEAT DROP
  1892.   ;
  1893.  
  1894. : DISASM-LIST  
  1895. [']  (REST-AREA) TO  REST-AREA
  1896. DUP START-LIST @ !    CALL-FIND
  1897. ;
  1898.  
  1899.  
  1900. : DIS  ( ADR -- )
  1901.        BEGIN
  1902.                DUP
  1903.                CR INST
  1904.                KEY UPC DUP 0x1B = OVER [CHAR] Q = OR 0=
  1905.        WHILE
  1906.                CASE
  1907.                  [CHAR] Q OF DROP DIS-DB ENDOF
  1908.                  [CHAR] W OF DROP DIS-DW ENDOF
  1909.                  [CHAR] D OF DROP DIS-DD ENDOF
  1910.                  [CHAR] S OF DROP DIS-DS ENDOF
  1911.                         ROT DROP
  1912.                ENDCASE
  1913.  
  1914.        REPEAT 2DROP DROP ;
  1915.  
  1916.  
  1917. 0 VALUE SHOW-NEXT?      \ DEFAULT TO NOT SHOWING NEXT INSTRUCTIONS
  1918.  
  1919. DECIMAL
  1920.  
  1921. TRUE VALUE SEE-KET-FL
  1922.  
  1923. VARIABLE  COUNT-LINE
  1924.  
  1925. : REST          ( ADR -- )
  1926.                20    COUNT-LINE !
  1927.                0 TO MAX_REFERENCE
  1928.                DUP TO NEXT-INST
  1929.                BEGIN
  1930.                        CR
  1931.                        NEXT-INST C@
  1932.                        DUP  0xC3 <>
  1933.                        SWAP 0xE9 <> AND    \ NEXT, BEHIND US?
  1934.                        NEXT-INST MAX_REFERENCE U< OR
  1935.                        OVER HERE - 0x100 U> AND
  1936.                WHILE   INST
  1937.                        COUNT-LINE @ 1- DUP 0=  SEE-KET-FL AND
  1938.                           IF 9 EMIT ." \ Press <enter> | q | any" KEY UPC
  1939.                            DUP   0xD = IF 2DROP 1  ELSE
  1940.                              DUP [CHAR] Q = SWAP 0x1B =
  1941.                              OR IF  2DROP CR EXIT    THEN
  1942.                                DROP 20    THEN
  1943.                           THEN
  1944.                        COUNT-LINE !
  1945.                REPEAT  DROP ." END-CODE  "
  1946.                ;
  1947.  
  1948. : SEE       ( -- )
  1949.            ' REST ;
  1950.  
  1951.  
  1952. ONLY FORTH DEFINITIONS
  1953.  
  1954. .(  Ok) CR
  1955. TRUE WARNING !
  1956.