Subversion Repositories Kolibri OS

Compare Revisions

Regard whitespace Rev 4866 → Rev 4867

/programs/develop/SPForth/lib/ext/disasm2.f
0,0 → 1,1955
\ 80386 DISASSEMBLER
\ ANDREW MCKEWAN, APRIL 1994
\ TOM ZIMMER, 05/18/94 PORT TO WIN32F
\ MODIFIED TO WORD IN DECIMAL 08/03/94 10:04 TJZ
\ 06-??-95 SMUB NEXT SEQUENCE DEFINED IN FKERNEL
\ 06-21-95 SMUB REMOVED REDUNDANT COUNT CALLS FROM TXB, LXS.
\ 04-??-97 EXTENDED BY C.L. TO INCLUDE P6 AND MMX INSTRUCTIONS
\ 14-11-2000 Adapted from SPFOPT (Michael Maximov) by Dmitry Yakimov
 
\ ??-11-2000 Fixed FE. FF. (Bandaletov) and H.R (Yakimov)
\ 15-11-2000 Fixed MV2 (Yakimov)
\ 25-12-2000 Added float literals recognition (Yakimov)
\ 26-07-2001 Fixed MVX (Maksimov)
 
CR .( Loading Intel Pentium MMX disassembler...)
 
WARNING 0!
DECIMAL
 
\ REQUIRE [IF] ~mak/CompIF.f
\ REQUIRE CASE lib/ext/case.f
\ REQUIRE WITHIN lib/include/core-ext.f
 
REQUIRE [DEFINED] lib/include/tools.f
\ REQUIRE [IF] ~mak\CompIF.f
REQUIRE CASE lib/ext/case.f
\ REQUIRE WITHIN lib\include\core-ext.f
REQUIRE NextNFA lib/ext/vocs.f
 
VARIABLE END-WORD
VARIABLE START-WORD
\ VARIABLE START-LAB
\ VARIABLE FINISH-LAB
\ VARIABLE START-LIST
\ VARIABLE FINISH-LIST
\ VARIABLE IMAGE-END
VARIABLE START-LAB
VARIABLE FINISH-LAB
VARIABLE START-LIST
VARIABLE FINISH-LIST
VARIABLE START-LIST2
VARIABLE FINISH-LIST2
VARIABLE FINISH-LIST3
VARIABLE START-VAR
VARIABLE FINISH-VAR
VARIABLE START-ARRAY
VARIABLE FINISH-ARRAY
0 VALUE IMAGE-END
 
VARIABLE CALL-TYPE?
VARIABLE TRIGER
VARIABLE TRIGER3
VARIABLE DISP8?
: ADD-CALL
>R START-LIST @
BEGIN DUP @ R@ =
IF DROP RDROP 0 CALL-TYPE? ! EXIT
ELSE DUP FINISH-LIST @ = 0= THEN
WHILE CELL+ REPEAT CELL+ DUP FINISH-LIST ! R> OVER !
BEGIN DUP CELL- 2DUP 2>R @ SWAP @ < IF 2R@ @ SWAP 2R@ SWAP @ SWAP ! ! THEN
2R> NIP DUP START-LIST @ = UNTIL
DROP 1 CALL-TYPE? !
;
: ADD-CALL2
>R START-LIST2 @
BEGIN DUP @ R@ =
IF DROP RDROP 0 CALL-TYPE? ! EXIT
ELSE DUP FINISH-LIST2 @ = 0= THEN
WHILE CELL+ REPEAT CELL+ DUP FINISH-LIST2 ! R> OVER !
BEGIN DUP CELL- 2DUP 2>R @ SWAP @ < IF 2R@ @ SWAP 2R@ SWAP @ SWAP ! ! THEN
2R> NIP DUP START-LIST2 @ = UNTIL
DROP 1 CALL-TYPE? !
;
 
: ADD-LAB
>R START-LAB @
BEGIN DUP @ R@ =
IF DROP RDROP EXIT
ELSE DUP FINISH-LAB @ = 0= THEN
WHILE CELL+ REPEAT CELL+ DUP FINISH-LAB ! R> OVER !
BEGIN DUP CELL- 2DUP 2>R @ SWAP @ < IF 2R@ @ SWAP 2R@ SWAP @ SWAP ! ! THEN
2R> NIP DUP START-LAB @ = UNTIL DROP ;
 
: ADD-VAR
>R START-VAR @
BEGIN DUP @ R@ =
IF DROP RDROP EXIT
ELSE DUP FINISH-VAR @ = 0= THEN
WHILE CELL+ REPEAT CELL+ DUP FINISH-VAR ! R> OVER !
BEGIN DUP CELL- 2DUP 2>R @ SWAP @ < IF 2R@ @ SWAP 2R@ SWAP @ SWAP ! ! THEN
2R> NIP DUP START-VAR @ = UNTIL DROP ;
 
: LAB
>R START-LIST @
BEGIN DUP @ R@ =
IF DROP RDROP 1 EXIT
ELSE DUP FINISH-LIST @ = 0= THEN
WHILE CELL+ REPEAT DROP RDROP 0 ;
 
 
: TYPE-LAB
>R START-LAB @
BEGIN DUP @ R@ =
IF DROP RDROP 0 EXIT
ELSE DUP FINISH-LAB @ = 0= THEN
WHILE CELL+ REPEAT DROP RDROP 1
;
 
\ : TYPE-ARRAY START-ARRAY @ DUP FINISH-ARRAY @ = IF DROP EXIT THEN
\ BEGIN DUP 2@ HEX . . DECIMAL CR 2 CELLS + DUP FINISH-ARRAY @ =
\ UNTIL DROP
\ ;
 
VARIABLE TRIGER4
VARIABLE ALLOTN
: ARRAY? 0 ALLOTN !
>R START-ARRAY @ DUP FINISH-ARRAY @ = IF RDROP 0 TRIGER4 ! EXIT THEN
BEGIN DUP @ R@ =
IF ." ALLOT" ALLOTN @ . ." :" ." array[0.." 2@ DROP
BASE @ >R DECIMAL . R> BASE !
." ] of byte;" CR RDROP 1 TRIGER3 ! 1 TRIGER4 ! EXIT THEN \ 1 EXIT THEN
ALLOTN 1+! 2 CELLS + DUP FINISH-ARRAY @ =
UNTIL DROP RDROP 0 TRIGER4 !
;
 
: ARRAY2? 0 ALLOTN !
>R START-ARRAY @ DUP FINISH-ARRAY @ = IF RDROP 0 EXIT THEN
BEGIN DUP @ R@ =
IF ." ALLOT" ALLOTN @
BASE @ >R DECIMAL . R> BASE ! ." ;" CR
DROP RDROP 1 EXIT THEN
ALLOTN 1+! 2 CELLS + DUP FINISH-ARRAY @ =
UNTIL DROP RDROP 0
;
 
: DEFER VECT ;
 
: DUP>R R> OVER >R >R ;
 
: UMAX ( D1 D2 -- FLAG )
2DUP U< IF NIP ELSE DROP THEN ;
 
 
80 CONSTANT MAXSTRING
 
255 CONSTANT MAXCOUNTED \ maximum length of contents of a counted string
 
: 0X BASE @ HEX >R BL WORD ?LITERAL
R> BASE ! ; IMMEDIATE
 
: "CLIP" ( a1 n1 -- a1 n1' ) \ clip a string to between 0 and MAXCOUNTED
MAXCOUNTED MIN 0 MAX ;
 
: PLACE ( addr len dest -- )
SWAP "CLIP" SWAP
2DUP 2>R
CHAR+ SWAP MOVE
2R> C! ;
 
: +PLACE ( addr len dest -- ) \ append string addr,len to counted
\ string dest
>R "CLIP" MAXCOUNTED R@ C@ - MIN R>
\ clip total to MAXCOUNTED string
2DUP 2>R
 
COUNT CHARS + SWAP MOVE
2R> +! ;
 
: C+PLACE ( c1 a1 -- ) \ append char c1 to the counted string at a1
DUP 1+! COUNT + 1- C! ;
 
 
: OFF 0! ;
 
: BLANK ( addr len -- ) \ fill addr for len with spaces (blanks)
BL FILL ;
 
128 CONSTANT SPCS-MAX ( optimization for SPACES )
 
CREATE SPCS SPCS-MAX ALLOT
SPCS SPCS-MAX BLANK
 
C" UPC" FIND NIP 0=
[IF]
: UPC ( c -- c' )
DUP [CHAR] Z U>
IF 0xDF AND
THEN ;
[THEN]
 
: (D.) ( d -- addr len ) TUCK DABS <# #S ROT SIGN #> ;
 
 
80 VALUE COLS
 
: H.R ( n1 n2 -- ) \ display n1 as a hex number right
\ justified in a field of n2 characters
BASE @ >R HEX >R
0 <# #S #> R> OVER - 0 MAX SPACES TYPE
R> BASE ! ;
 
: H.N ( n1 n2 -- ) \ display n1 as a HEX number of n2 digits
BASE @ >R HEX >R
0 <# R> 0 ?DO # LOOP #> TYPE
R> BASE ! ;
 
ONLY FORTH ALSO DEFINITIONS
 
0 VALUE DEFAULT-16BIT?
 
: DEFAULT-16BIT ( -- )
TRUE TO DEFAULT-16BIT? ;
 
: DEFAULT-32BIT ( -- )
FALSE TO DEFAULT-16BIT? ;
 
DEFER SHOW-NAME ( CFA -- ) \ DISPLAY NEAREST SYMBOL
 
0 VALUE BASE-ADDR
 
VOCABULARY DISASSEMBLER
DISASSEMBLER ALSO DEFINITIONS
 
DECIMAL
 
CREATE S-BUF MAXSTRING ALLOT
 
: >S ( A1 N1 -- )
S-BUF +PLACE ;
 
: 0>S ( -- ) \ RESET S-BUF
S-BUF OFF ;
 
: SSPACES ( N1 -- )
SPCS SWAP S-BUF +PLACE ;
 
: SSPACE ( -- )
1 SSPACES ;
 
: EMIT>S ( C1 -- )
S-BUF C+PLACE ;
 
: S> ( -- A1 N1 )
S-BUF COUNT ;
 
: (.S") ( addr len -- )
S-BUF +PLACE ;
 
: .S" ( 'TEXT' -- )
[CHAR] " PARSE
POSTPONE SLITERAL
POSTPONE (.S") ; IMMEDIATE
VARIABLE ADR@
: D.>S BASE @ SWAP DECIMAL DUP 0= IF DROP ELSE DUP 128 > IF .S" -" 256 SWAP - ELSE .S" +" THEN
0 (D.) >S THEN BASE ! 0 DISP8? ! ;
: D.R>S ( D W -- )
\ >R (D.) R> OVER - SSPACES >S ;
>R (D.) R> OVER - SSPACES >S ;
: .R>S ( N W -- )
>R S>D R> D.R>S ;
 
: U.R>S ( U W -- )
0 SWAP D.R>S ;
 
: H.>S ( U -- )
BASE @ SWAP
DUP DUP IMAGE-BEGIN > SWAP IMAGE-END < AND IF DUP ADD-LAB \ .S" [OFFSET @" HEX 0 (D.) >S .S" ]" ELSE
.S" OFFSET [" SHOW-NAME .S" ]" ELSE \ .S" [OFFSET @" SHOW-NAME .S" ]" ELSE
.S" $" HEX 0 (D.) >S THEN
( SSPACE ) BASE ! ;
 
: H.>Sn ( U -- )
BASE @ SWAP HEX 0 (D.) >S ( SSPACE ) BASE ! ;
 
: H.R>S ( N1 N2 -- )
BASE @ >R HEX >R
0 <# #S #> R> OVER - SSPACES >S
R> BASE ! ;
VARIABLE NAME
\ [THEN]
 
: ?.NAME>S ( CFA -- )
\ ELIMINATE " 0X"
\ DUP 1 H.R>S SSPACE \ ïå÷àòü àäðåñà ïåðåõîäà
NEAR_NFA
>R DUP
IF \ .S" @"
\ IF ñþäà ïðîâåðêó ELSE
 
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
\ .S" @"
ADR@ @ R@ = IF 0 ADR@ ! ELSE R@ ADD-LAB THEN \ .S" 2@" <--
DUP NAME ! \ COUNT >S \ ïå÷àòü ñêîáîê. Çíàê ìåòêè
NAME> DUP ADD-CALL2 \ áåç ADD-CALL íå ðàáîòàþò ññûëêè íà ïåðåìåííûå ADD-LAB CR WordByAddr TYPE CR
( DUP H.>Sn ) R@ -
DUP IF .S" [OFFSET " \ .S" [OFFSET @@"
\ DUP .S" +" NEGATE H.>S
\ R> H.>Sn .S" ]" NAME @ COUNT >S
RDROP NAME @ COUNT >S .S" ]"
ELSE
.S" @@" RDROP NAME @ COUNT >S THEN \ êîíåö ïðîâåðêè
THEN
DROP \ .S" ) "
ELSE R> .S" [" H.>S .S" ]" DROP \ òóò
THEN
;
 
' ?.NAME>S TO SHOW-NAME
 
\ 32 CONSTANT COMMENT-COL
 
0 VALUE SIZE
0 VALUE 16-BIT-DATA
0 VALUE 16-BIT-ADDR
0 VALUE PREFIX-OP
0 VALUE MMX-REG
 
: @+ ( ADDR -- ADDR N ) DUP CELL+ SWAP @ ;
: W@+ ( ADDR -- ADDR N ) DUP 2 + SWAP W@ ;
 
: SEXT ( BYTE -- N ) DUP 128 AND IF 0xFFFFFF00 OR THEN ;
: MOD/SIB ( MOD-R-R/M -- R/M R MOD ) \ R INCLUDING GENERAL, SPECIAL, SEGMENT, MMX
( MOD-OP-R/M -- R/M OP MOD )
( S-I-B -- B I S )
255 AND 8 /MOD 8 /MOD ;
 
: ??? ( N1 -- )
.S" ??? " DROP ;
 
: SS. ( N ADR LEN W ) >R DROP SWAP R@ * + R> >S SSPACE ;
 
: TTTN ( CODE -- ) 15 AND S" O NOB AEE NEBEA S NSP NPL GELEG " 2 SS. ;
 
: SREG ( SREG -- ) 3 RSHIFT 7 AND S" ESCSSSDSFSGSXXXX" 2 SS. ;
: CREG ( EEE -- ) 3 RSHIFT 7 AND S" CR0???CR2CR3CR4?????????" 3 SS. ;
: DREG ( EEE -- ) 3 RSHIFT 7 AND S" DR0DR1DR2DR3??????DR6DR7" 3 SS. ;
: TREG ( EEE -- ) 3 RSHIFT 7 AND S" ?????????TR3TR4TR5TR6TR7" 3 SS. ; \ OBSOLETE
: MREG ( N -- ) 7 AND S" MM0MM1MM2MM3MM4MM5MM6MM7" 3 SS. ;
 
: REG8 ( N -- ) 7 AND S" ALCLDLBLAHCHDHBH" 2 SS. ;
: REG16 ( N -- ) 7 AND S" AXCXDXBXSPBPSIDI" 2 SS. ;
: REG32 ( N -- ) 7 AND S" EAXECXEDXEBXESPEBPESIEDI" 3 SS. ;
: REG16/32 ( N -- )
16-BIT-DATA
IF REG16
ELSE REG32
THEN ;
: REG ( A N -- A )
MMX-REG
IF MREG
ELSE SIZE
IF REG16/32
ELSE REG8
THEN
THEN
;
 
: [BASE16] ( R/M -- ) 4 - S" [SI][DI][BP][BX]" 4 SS. ;
\ R/M = 4 , 5 , 6 , 7
: [IND16] ( R/M -- ) S" [BX+SI][BX+DI][BP+SI][BP+DI]" 7 SS. ;
\ R/M = 0 , 1 , 2 , 3
: [REG16] ( R/M -- ) DUP 4 <
IF [IND16]
ELSE [BASE16]
THEN ;
: [REG32] ( N -- ) 7 AND \ TRIGER3 @ IF
\ S" [EAX][ECX][EDX][EBX][ESP][EBP][ESI][EDI]" 5 SS.
\ ELSE
S" [EAX[ECX[EDX[EBX[ESP[EBP[ESI[EDI" 4 SS. DISP8? @ D.>S .S" ]"
\ THEN
;
 
 
: [REG*2] ( I -- ) S" [EAX*2][ECX*2][EDX*2][EBX*2][XXX*2][EBP*2][ESI*2][EDI*2]" 7 SS. ;
: [REG*4] ( I -- ) S" [EAX*4][ECX*4][EDX*4][EBX*4][XXX*4][EBP*4][ESI*4][EDI*4]" 7 SS. ;
: [REG*8] ( I -- ) S" [EAX*8][ECX*8][EDX*8][EBX*8][XXX*8][EBP*8][ESI*8][EDI*8]" 7 SS. ;
: [INDEX] ( SIB -- ) MOD/SIB OVER 4 =
IF 2DROP \ NO ESP SCALED INDEX
ELSE CASE ( S )
0 OF [REG32] ENDOF
1 OF [REG*2] ENDOF
2 OF [REG*4] ENDOF
3 OF [REG*8] ENDOF
ENDCASE
THEN DROP ;
 
: DISP8 ( ADR -- ADR' )
\ COUNT DUP DISP8? ! D.>S ;
COUNT DISP8? ! ;
 
: DISP16 ( ADR -- ADR' ) W@+ SHOW-NAME ;
: DISP32 ( ADR -- ADR' ) @+ ( BODY> ) SHOW-NAME ;
: DISP16/32 ( ADR -- ADR' )
16-BIT-ADDR
IF DISP16
ELSE DISP32
THEN ;
 
: ., ( -- ) TRIGER @ IF .S" , " THEN 1 TRIGER ! ;
 
: .# ., .S" $" ;
\ : .# ., ;
\ : .# ., .S" # " ;
 
: IMM8 ( ADR -- ADR' ) .# COUNT H.>Sn ;
 
\ : IMM16 ( ADR -- ADR' ) .# W@+ H.>S ;
 
: IMM16/32 ( ADR -- ADR' )
\ .#
.,
16-BIT-DATA
IF W@+
ELSE @+
THEN H.>S ; \ \\\\\\\
: SIB ( ADR MOD -- ADR )
>R COUNT TUCK 7 AND 5 = R@ 0= AND
IF DISP32 SWAP [INDEX] R> DROP \ EBP BASE AND MOD = 00
ELSE R> CASE ( MOD )
1 OF DISP8 ENDOF
2 OF DISP32 ENDOF
ENDCASE
SWAP DUP [REG32] [INDEX]
THEN ;
 
 
: MOD-R/M32 ( ADR R/M MOD -- ADR' )
DUP 3 =
IF DROP REG \ MOD = 3, REGISTER CASE
ELSE OVER 4 =
IF NIP SIB \ R/M = 4, SIB CASE
ELSE 2DUP 0= SWAP 5 = AND \ MOD = 0, R/M = 5,
IF 2DROP DISP32 \ DISP32 CASE
ELSE ROT SWAP
CASE ( MOD )
1 OF DISP8 ENDOF
2 OF DISP32 ENDOF
ENDCASE
SWAP [REG32]
THEN
THEN
THEN ;
 
: MOD-R/M16 ( ADR R/M MOD -- ADR' )
2DUP 0= SWAP 6 = AND
IF 2DROP DISP16 \ DISP16 CASE
ELSE CASE ( MOD )
0 OF [REG16] ENDOF
1 OF SWAP DISP8 SWAP [REG16] ENDOF
2 OF SWAP DISP16 SWAP [REG16] ENDOF
3 OF REG ENDOF
ENDCASE
THEN ;
 
: MOD-R/M ( ADR MODR/M -- ADR' )
MOD/SIB NIP 16-BIT-ADDR
IF MOD-R/M16
ELSE MOD-R/M32
THEN ;
 
 
: R/M8 0 TO SIZE MOD-R/M ;
: R/M16/32 1 TO SIZE MOD-R/M ;
: R/M16 TRUE TO 16-BIT-DATA R/M16/32 ;
 
: R,R/M ( ADR -- ADR' )
COUNT DUP 3 RSHIFT REG ., MOD-R/M ;
 
: R/M,R ( ADR -- ADR' )
COUNT DUP>R MOD-R/M ., R> 3 RSHIFT REG ;
 
: R/M ( ADR OP -- ADR' )
2 AND
IF R,R/M
ELSE R/M,R
THEN ;
 
\ -------------------- SIMPLE OPCODES --------------------
 
: INH ( -<NAME>- )
CREATE
BL WORD COUNT HERE PLACE
HERE C@ 1+ ALLOT
DOES> COUNT >S SSPACE DROP ;
 
INH CLC CLC
INH STC STC
INH CLD CLD
INH STD STD
\ INH RPNZ REPNZ
\ INH REPZ REPZ
INH CBW CBW
INH CDQ CDQ
INH DAA DAA
INH DAS DAS
INH AAA AAA
INH AAS AAS
\ INH LOCK LOCK
INH INB INSB
INH OSB OUTSB
INH SAH SAHF
INH LAH LAHF
\ INH AAM AAM
\ INH AAD AAD
INH HLT HLT
INH CMC CMC
INH XLT XLAT
INH CLI CLI
INH STI STI
 
INH CLT CLTS
INH INV INVD
INH WIV WBINVD
INH UD2 UD2
INH WMR WRMSR
INH RTC RDTSC
INH RMR RDMSR
INH RPC RDPMC
INH EMS EMMS
INH RSM RSM
INH CPU CPUID
INH UD1 UD1
\ INH LSS LSS
\ INH LFS LFS
\ INH LGS LGS
 
\ INH D16: D16:
\ INH A16: A16:
\ INH ES: ES:
\ INH CS: CS:
\ INH DS: DS:
\ INH FS: FS:
\ INH GS: GS:
 
: AAM ( ADR CODE -- ADR' )
.S" AAM" DROP COUNT DROP ;
 
: AAD ( ADR CODE -- ADR' )
.S" AAD" DROP COUNT DROP ;
 
: D16 ( ADR CODE -- ADR' )
DROP .S" D16:"
TRUE TO 16-BIT-DATA
TRUE TO PREFIX-OP
;
 
: A16 ( ADR CODE -- ADR' )
DROP .S" A16:"
TRUE TO 16-BIT-ADDR
TRUE TO PREFIX-OP
;
 
: RPZ ( ADR CODE -- ADR' )
DROP .S" REPNZ"
TRUE TO PREFIX-OP
;
 
: REP ( ADR CODE -- ADR' )
DROP .S" REPZ"
TRUE TO PREFIX-OP
;
 
: LOK ( ADR CODE -- ADR' ) \ THIS SHOULD HAVE ERROR CHECKING ADDED
DROP .S" LOCK"
TRUE TO PREFIX-OP
;
 
: CS: ( ADR CODE -- ADR' )
DROP .S" CS:"
TRUE TO PREFIX-OP
;
 
: DS: ( ADR CODE -- ADR' )
DROP .S" DS:"
TRUE TO PREFIX-OP
;
 
: SS: ( ADR CODE -- ADR' )
DROP .S" SS:"
TRUE TO PREFIX-OP
;
 
: ES: ( ADR CODE -- ADR' )
DROP .S" ES:"
TRUE TO PREFIX-OP
;
 
: GS: ( ADR CODE -- ADR' )
DROP .S" GS:"
TRUE TO PREFIX-OP
;
 
: FS: ( ADR CODE -- ADR' )
DROP .S" FS:"
TRUE TO PREFIX-OP
;
 
: ISD ( ADR CODE -- ADR' )
DROP 16-BIT-DATA
IF .S" INSW "
ELSE .S" INSD "
THEN ;
 
: OSD ( ADR CODE -- ADR' )
DROP 16-BIT-DATA
IF .S" OUTSW "
ELSE .S" OUTSD "
THEN ;
 
: INP ( ADDR CODE -- ADDR' )
.S" IN " 1 AND
IF 16-BIT-DATA
IF .S" AX , "
ELSE .S" EAX , "
THEN
ELSE .S" AL , "
THEN
COUNT H.>S ;
 
: OTP ( ADDR CODE -- ADDR' )
.S" OUT " 1 AND
IF COUNT H.>S 16-BIT-DATA
IF .S" , AX"
ELSE .S" , EAX"
THEN
ELSE COUNT H.>S .S" , AL"
THEN
;
 
: IND ( ADDR CODE -- ADDR' )
.S" IN " 1 AND
IF 16-BIT-DATA
IF .S" AX , DX"
ELSE .S" EAX , DX"
THEN
ELSE .S" AL , DX"
THEN
;
 
: OTD ( ADDR CODE -- ADDR' )
.S" OUT " 1 AND
IF 16-BIT-DATA
IF .S" DX , AX"
ELSE .S" DX , EAX"
THEN
ELSE .S" DX , AL"
THEN
;
 
\ -------------------- ALU OPCODES --------------------
 
: .ALU ( N -- )
7 AND S" ADDOR ADCSBBANDSUBXORCMP" 3 SS. 4 SSPACES
;
 
: ALU ( ADR OP -- ADR' )
DUP 3 RSHIFT .ALU R/M ;
 
: ALI ( ADR OP -- ADR' )
>R COUNT
DUP 3 RSHIFT .ALU
MOD-R/M
R> 3 AND ?DUP
IF 1 =
IF IMM16/32
ELSE .# COUNT SEXT 0 .R>S SSPACE
THEN
ELSE IMM8
THEN ;
 
: ALA ( ADR OP -- ADR' )
DUP 3 RSHIFT .ALU
1 AND IF 0 REG IMM16/32 ELSE 0 REG8 IMM8 THEN ;
 
 
\ -------------------- TEST/XCHG --------------------
 
: TXB ( ADDR OP -- ADDR' )
DUP 3 AND S" TESTTESTXCHGXCHG" 4 SS. 3 SSPACES
1 AND
IF 1 TO SIZE R,R/M \ SMUB REMOVED COUNT
ELSE 0 TO SIZE R,R/M \ SMUB REMOVED COUNT
THEN
;
 
: TST ( ADDR OP -- ADDR' )
.S" TEST " 1 AND
IF 16-BIT-DATA
IF .S" AX , "
ELSE .S" EAX , "
THEN
IMM16/32
ELSE .S" AL , " IMM8
THEN
;
 
\ -------------------- INC/DEC ----------------------
 
: INC ( ADDR OP -- ADDR' )
.S" INC " REG16/32 ;
 
: DEC ( ADDR OP -- ADDR' )
.S" DEC " REG16/32 ;
 
 
\ -------------------- PUSH/POP --------------------
 
: PSH ( ADDR OP -- ADDR' )
.S" PUSH " REG16/32
0 TRIGER !
;
 
: POP ( ADDR OP -- ADDR' )
.S" POP " REG16/32
0 TRIGER !
;
 
: PSS ( ADDR OP -- ADDR' )
.S" PUSH " SREG ;
 
: PPS ( ADDR OP -- ADDR' )
.S" POP " SREG
0 TRIGER !
;
 
: PSA ( ADDR OP -- ADDR' )
DROP 16-BIT-DATA
IF .S" PUSHA "
ELSE .S" PUSHAD "
THEN
0 TRIGER !
;
 
: PPA ( ADDR OP -- ADDR' )
DROP 16-BIT-DATA
IF .S" POPA "
ELSE .S" POPAD "
THEN
0 TRIGER !
;
 
: PSI ( ADDR OP -- ADDR' )
.S" PUSH " 2 AND
IF IMM8
ELSE IMM16/32
THEN
0 TRIGER !
;
 
: PSF ( ADDR OP -- ADDR' )
DROP 16-BIT-DATA
IF .S" PUSHF "
ELSE .S" PUSHFD "
THEN
0 TRIGER !
;
 
: PPF ( ADDR OP -- ADDR' )
DROP 16-BIT-DATA
IF .S" POPF "
ELSE .S" POPFD "
THEN
0 TRIGER !
;
 
: 8F. ( ADDR OP -- ADDR' )
DROP COUNT .S" POP " R/M16/32
0 TRIGER !
;
 
\ -------------------- MOVE --------------------
 
: MOV ( ADDR OP -- ADDR' )
.S" MOV " R/M ;
 
: MRI ( ADDR OP -- ADDR' ) ( MOV REGISTER, IMM )
.S" MOV " DUP 8 AND
IF REG16/32 IMM16/32
ELSE REG8 IMM8
THEN ;
 
: MVI ( ADR OP -- ADR' ) ( MOV MEM, IMM )
.S" MOV " DROP COUNT MOD-R/M
SIZE
IF IMM16/32
ELSE IMM8
THEN
;
 
: MRS ( ADDR OP -- ADDR' )
\ ? REMOVE REDUNDANT >R , R>
16-BIT-DATA
IF .S" MOV " DROP
1 TO SIZE
COUNT DUP MOD-R/M .,
SREG
ELSE ???
THEN ;
 
: MSR ( ADDR OP -- ADDR' )
16-BIT-DATA
IF .S" MOV " DROP
1 TO SIZE
COUNT DUP SREG .,
MOD-R/M
ELSE ???
THEN ;
 
: MRC ( ADDR OP -- ADDR' )
.S" MOV "
DROP COUNT DUP REG32 .S" , "
CREG ;
 
: MCR ( ADDR OP -- ADDR' )
.S" MOV "
DROP COUNT DUP CREG .S" , "
REG32 ;
 
: MRD ( ADDR OP -- ADDR' )
.S" MOV "
DROP COUNT DUP REG32 .S" , "
DREG ;
 
: MDR ( ADDR OP -- ADDR' )
.S" MOV "
DROP COUNT DUP DREG .S" , "
REG32 ;
 
: MRT ( ADDR OP -- ADDR' )
\ OBSOLETE
.S" MOV "
DROP COUNT DUP REG32 .S" , "
TREG ;
 
: MTR ( ADDR OP -- ADDR' )
\ OBSOLETE
.S" MOV "
DROP COUNT DUP TREG .S" , "
REG32 ;
 
: MV1 ( ADDR OP -- ADDR' )
.S" MOV " 1 AND
IF 16-BIT-DATA
IF .S" AX , "
ELSE .S" EAX , "
THEN
ELSE .S" AL , "
THEN
DISP16/32 ;
 
: MV2 ( ADDR OP -- ADDR' )
.S" MOV " SWAP DISP16/32 .,
SWAP 1 AND
IF 16-BIT-DATA
IF .S" AX"
ELSE .S" EAX"
THEN
ELSE .S" AL"
THEN
;
 
: LEA ( ADDR OP -- ADDR' )
.S" LEA " DROP 1 TO SIZE R,R/M ;
 
: LXS ( ADDR OP -- ADDR' )
1 AND
IF .S" LDS "
ELSE .S" LES "
THEN
R,R/M \ SMUB REMOVED COUNT
;
 
: BND ( ADDR OP -- ADDR' )
.S" BOUND " DROP 1 TO SIZE R,R/M ;
 
: ARP ( ADDR OP -- ADDR' )
.S" ARPL " DROP
1 TO SIZE
TRUE TO 16-BIT-DATA
R,R/M
;
 
: MLI ( ADDR OP -- ADDR' )
1 TO SIZE
.S" IMUL " 0x69 =
IF R,R/M IMM16/32
ELSE R,R/M IMM8
THEN ;
 
\ -------------------- JUMPS AND CALLS --------------------
 
0 VALUE MAX_REFERENCE
 
: >MAX_R DUP MAX_REFERENCE UMAX TO MAX_REFERENCE ;
 
: REL8 ( ADDR OP -- ADDR' )
\ .S" @" \
COUNT SEXT OVER + BASE-ADDR - >MAX_R DUP ADD-LAB
SHOW-NAME ; \ H.>Sn ;
 
 
 
: REL16/32 ( ADDR OP -- ADDR' )
\ .S" @"
16-BIT-ADDR
IF W@+
ELSE @+
THEN OVER + BASE-ADDR - >MAX_R DUP ADR@ ! DUP ADD-LAB SHOW-NAME ;
 
: JSR ( ADDR OP -- ADDR' )
.S" CALL " DROP REL16/32 \ DUP @ >R REL16/32 DUP R> + DROP
;
 
: JMP ( ADDR OP -- ADDR' )
.S" JMP " 2 AND IF REL8 ELSE REL16/32 THEN
;
: .JXX ( ADDR OP -- ADDR' )
.S" J" TTTN 4 SSPACES
;
 
: BRA ( ADDR OP -- ADDR' )
.JXX REL8 ;
 
: LUP ( ADDR OP -- ADDR' )
3 AND S" LOOPNZLOOPZ LOOP JECXZ " 6 SS. 1 SSPACES REL8 ;
 
: LBR ( ADDR OP -- ADDR' )
.JXX REL16/32 ;
 
: RTN ( ADDR OP -- ADDR' )
.S" RET" 1 AND 0= \ .S" RET NEAR " 1 AND 0=
IF W@+ H.>S
THEN ;
 
: RTF ( ADDR OP -- ADDR' )
.S" RET FAR " 1 AND 0=
IF W@+ H.>S
THEN ;
 
: ENT ( ADDR OP -- ADDR' )
DROP
.S" ENTER " W@+ H.>S ., COUNT H.>S ;
 
: CIS ( ADDR OP -- ADDR' )
0x9A =
IF .S" CALL "
ELSE .S" JMP "
THEN
16-BIT-DATA
IF .S" PTR16:16 "
ELSE .S" PTR16:32 "
THEN
COUNT MOD-R/M
;
 
: NT3 ( ADDR OP -- ADDR' )
DROP .S" INT 3 "
;
 
: INT ( ADDR OP -- ADDR' )
DROP .S" INT "
COUNT H.>S ;
 
INH LEV LEAVE
INH IRT IRET
INH NTO INTO
 
\ -------------------- STRING OPS --------------------
 
: STR INH DOES> COUNT >S 1 AND IF .S" D" ELSE .S" B" THEN ;
 
STR MVS MOVS
STR CPS CMPS
STR STS STOS
STR LDS LODS
STR SCS SCAS
 
\ -------------------- EXCHANGE --------------------
 
: XGA ( ADDR OP -- ADDR' )
.S" XCHG EAX, " REG16/32 ;
 
\ : XCH ( ADDR OP -- ADDR' )
\ .S" XCHG " DROP R,R/M ;
 
 
\ -------------------- SHIFTS & ROTATES --------------------
 
: .SHIFT ( N -- )
7 AND S" ROLRORRCLRCRSHLSHRXXXSAR" 3 SS. 4 SSPACES ;
 
: SHF ( ADDR OP -- ADDR' )
>R COUNT
DUP 3 RSHIFT .SHIFT
MOD-R/M .,
R> 0xD2 AND
CASE
0xC0 OF COUNT H.>S ENDOF
0xD0 OF 1 H.>S ENDOF
0xD2 OF 1 REG8 ENDOF
ENDCASE ;
 
\ -------------------- EXTENDED OPCODES --------------------
 
: WF1 ( ADDR -- ADDR' )
1+ COUNT DUP
0x0C0 <
IF DUP
3 RSHIFT 7 AND
CASE 6 OF .S" FSTENV " MOD-R/M ENDOF
7 OF .S" FSTCW WORD " MOD-R/M ENDOF
2DROP 2 - DUP .S" FWAIT "
ENDCASE
ELSE DROP 2 - .S" FWAIT "
THEN ;
 
: WF2 ( ADDR -- ADDR' )
1+ COUNT
CASE 0xE2 OF .S" FCLEX " ENDOF
0xE3 OF .S" FINIT " ENDOF
SWAP 2 - SWAP .S" FWAIT "
ENDCASE ;
 
: WF3 ( ADDR -- ADDR' )
1+ COUNT DUP 3 RSHIFT 7 AND
CASE 6 OF .S" FSAVE " MOD-R/M ENDOF
7 OF .S" FSTSW WORD " MOD-R/M ENDOF
2DROP 2 - DUP .S" FWAIT "
ENDCASE ;
 
: WF4 ( ADDR -- ADDR' )
1+ COUNT 0xE0 =
IF .S" FSTSW AX "
ELSE 2 - .S" FWAIT "
THEN ;
 
: FWAITOPS ( ADDR OP -- ADDR' )
CASE 0xD9 OF WF1 ENDOF
0xDB OF WF2 ENDOF
0xDD OF WF3 ENDOF
0xDF OF WF4 ENDOF
.S" FWAIT "
ENDCASE ;
 
: W8F ( ADDR OP -- ADDR' )
DROP DUP C@ DUP 0xF8 AND 0xD8 =
IF FWAITOPS
ELSE DROP .S" WAIT "
THEN ;
 
: FALU1 ( XOPCODE -- )
3 RSHIFT 7 AND
S" FADD FMUL FCOM FCOMPFSUB FSUBRFDIV FDIVR"
5 SS. 2 SSPACES ;
 
: FALU5 ( XOPCODE -- )
3 RSHIFT 7 AND
S" FADD FMUL ???? ???? FSUBRFSUB FDIVRFDIV "
5 SS. 2 SSPACES ;
 
: STI. ( OP -- )
7 AND .S" ST(" 1 .R>S .S" )";
 
\ : STI.ST ( OP -- )
\ 7 AND
\ .S" ST(" 1 .R>S .S" )" .S" ST " ;
 
: FD8 ( ADDR OPCODE -- ADDR' )
DROP COUNT DUP FALU1
DUP 0xC0 <
IF .S" FLOAT " MOD-R/M
ELSE DUP 0xF0 AND 0xD0 =
IF STI.
ELSE .S" ST , " STI.
THEN
THEN ;
 
: FDC ( ADDR OPCODE -- ADDR' )
DROP COUNT
DUP DUP 0xC0 <
IF FALU1 .S" DOUBLE " MOD-R/M
ELSE FALU5 STI. .S" , ST"
THEN ;
 
: FNULLARY-F ( OP -- )
0x0F AND DUP 8 <
IF
S" F2XM1 FYL2X FPTAN FPATAN FXTRACTFPREM1 FDECSTPFINCSTP"
ELSE 8 -
S" FPREM FYL2XP1FSQRT FSINCOSFRNDINTFSCALE FSIN FCOS "
THEN
7 SS. ;
 
: FNULLARY-E ( OP -- )
0x0F AND DUP 8 <
IF
S" FCHS FABS ??? ??? FTST FXAM ??? ??? "
ELSE 8 -
S" FLD1 FLDL2T FLDL2E FLDPI FLDLG2 FLDLN2 FLDZ ??? "
THEN
7 SS. ;
 
: FNULLARY ( OP -- )
DUP 0xEF >
IF FNULLARY-F EXIT
THEN
DUP 0xE0 <
IF 0xD0 =
IF .S" FNOP"
ELSE DUP ???
THEN
EXIT
THEN
FNULLARY-E ;
 
 
\ : FALU2 ( OP -- )
\ 3 RSHIFT 7 AND
\ S" FLD ??? FST FSTP FLDENV FLDCW FNSTENVFNSTCW "
\ 7 SS. ;
 
: FD9 ( ADDR OP -- ADDR' )
DROP COUNT DUP 0xC0 <
IF DUP 0x38 AND
CASE
0x00 OF .S" FLD FLOAT " ENDOF
0x10 OF .S" FST FLOAT " ENDOF
0x18 OF .S" FSTP FLOAT " ENDOF
0x20 OF .S" FLDENV " ENDOF
0x28 OF .S" FLDCW WORD " ENDOF
0x30 OF .S" FNSTENV " ENDOF
0x38 OF .S" FNSTCW WORD " ENDOF
DUP ???
ENDCASE
MOD-R/M
ELSE
DUP 0xD0 <
IF DUP 0xC8 <
IF .S" FLD "
ELSE .S" FXCH "
THEN
STI.
ELSE FNULLARY
THEN
THEN ;
 
: FALU3 ( OP -- )
3 RSHIFT 7 AND
S" FIADD FIMUL FICOM FICOMPFISUB FISUBRFIDIV FIDIVR"
6 SS. 1 SSPACES ;
 
: FCMOVA ( OP -- )
3 RSHIFT 7 AND
S" FCMOVB FCMOVE FCMOVBEFCMOVU ??? ??? ??? ??? "
7 SS. ;
 
: FDA ( ADDR OP -- )
DROP COUNT DUP 0xC0 <
IF DUP FALU3 .S" DWORD " MOD-R/M
ELSE DUP 0xE9 =
IF .S" FUCOMPP" DROP
ELSE DUP FCMOVA STI.
THEN
THEN ;
 
: FALU7 ( OP -- )
3 RSHIFT 7 AND
S" FADDP FMULP ??? ??? FSUBRPFSUBP FDIVRPFDIVP "
6 SS. SSPACE ;
 
: FDE ( ADDR OP -- ADDR' )
DROP COUNT DUP 0xC0 <
IF DUP FALU3 .S" WORD " MOD-R/M
ELSE DUP 0xD9 =
IF .S" FCOMPP" DROP
ELSE DUP FALU7 STI.
THEN
THEN ;
 
 
: FCMOVB ( OP -- )
3 RSHIFT 7 AND
S" FCMOVNB FCMOVNE FCMOVNBEFCMOVNU ??? FUCOMI FCOMI ??? "
8 SS. ;
 
: FDB ( ADDR OP -- ADDR' )
DROP COUNT DUP 0xC0 <
IF DUP 0x38 AND
CASE 0x00 OF .S" FILD DWORD " ENDOF
0x10 OF .S" FIST DWORD " ENDOF
0x18 OF .S" FISTP DWORD " ENDOF
0x28 OF .S" FLD EXTENDED " ENDOF
0x38 OF .S" FSTP EXTENDED " ENDOF
DUP ???
ENDCASE
MOD-R/M
ELSE
CASE 0xE2 OF .S" FNCLEX" ENDOF
0xE3 OF .S" FNINIT" ENDOF
DUP DUP FCMOVB STI.
ENDCASE
THEN ;
 
: FALU6 ( OP -- )
3 RSHIFT 7 AND
S" FFREE ??? FST FSTP FUCOM FUCOMP??? ??? "
6 SS. SSPACE ;
 
: FDD ( ADDR OP -- ADDR' )
DROP COUNT DUP 0xC0 <
IF DUP 0x38 AND
CASE 0x00 OF .S" FLD DOUBLE " ENDOF
0x10 OF .S" FST DOUBLE " ENDOF
0x18 OF .S" FSTP DOUBLE " ENDOF
0x20 OF .S" FRSTOR " ENDOF
0x30 OF .S" FNSAVE " ENDOF
0x38 OF .S" FNSTSW WORD " ENDOF
DUP ???
ENDCASE
MOD-R/M
ELSE DUP FALU6 STI.
THEN ;
 
: FDF ( ADDR OP -- ADDR' )
DROP COUNT DUP 0xC0 <
IF DUP 0x38 AND
CASE 0x00 OF .S" FILD WORD " ENDOF
0x10 OF .S" FIST WORD " ENDOF
0x18 OF .S" FISTP WORD " ENDOF
0x20 OF .S" FBLD TBYTE " ENDOF
0x28 OF .S" FILD QWORD " ENDOF
0x30 OF .S" FBSTP TBYTE " ENDOF
0x38 OF .S" FISTP QWORD " ENDOF
DUP ???
ENDCASE
MOD-R/M
ELSE DUP 0xE0 =
IF .S" FNSTSW AX " DROP
ELSE DUP 0x38 AND
CASE 0x28 OF .S" FUCOMIP " STI. ENDOF
0x30 OF .S" FCOMIP " STI. ENDOF
???
ENDCASE
THEN
THEN ;
 
: GP6 ( ADDR OP -- ADDR' )
DROP COUNT DUP 3 RSHIFT
7 AND S" SLDTSTR LLDTLTR VERRVERW??? ???" 4 SS. 3 SSPACES
R/M16 ;
 
: GP7 ( ADDR OP -- ADDR' )
DROP COUNT DUP 3 RSHIFT
7 AND DUP S" SGDT SIDT LGDT LIDT SMSW ??? LMSW INVLPG" 6 SS. 1 SSPACES
4 AND 4 =
IF R/M16
ELSE R/M16/32
THEN ;
 
: BTX. ( N -- )
3 RSHIFT
3 AND S" BT BTSBTRBTC" 3 SS. 4 SSPACES ;
 
: GP8 ( ADDR OP -- ADDR' )
DROP COUNT DUP BTX.
R/M16/32 IMM8 ;
 
: LAR ( ADDR OP -- ADDR' )
.S" LAR " DROP R,R/M ;
 
: LSL ( ADDR OP -- ADDR' )
.S" LSL " DROP R,R/M ;
 
: LSS ( ADDR OP -- ADDR' )
.S" LSS " DROP R,R/M ;
 
: LFS ( ADDR OP -- ADDR' )
.S" LFS " DROP R,R/M ;
 
: LGS ( ADDR OP -- ADDR' )
.S" LGS " DROP R,R/M ;
 
: BTX ( ADDR OP -- ADDR' )
BTX. R/M,R ;
 
: SLI ( ADDR OP -- ADDR' )
.S" SHLD " DROP R/M,R IMM8 ;
 
: SRI ( ADDR OP -- ADDR' )
.S" SHRD " DROP R/M,R IMM8 ;
 
: SLC ( ADDR OP -- ADDR' )
.S" SHLD " DROP R/M,R .S" , CL" ;
 
: SRC ( ADDR OP -- ADDR' )
.S" SHRD " DROP R/M,R .S" , CL" ;
 
: IML ( ADDR OP -- ADDR' )
.S" IMUL " DROP R,R/M ;
 
: CXC ( ADDR OP -- ADDR' )
.S" CMPXCHG " 1 AND TO SIZE R/M,R ;
 
: MVX ( ADDR OP -- ADDR' )
DUP 8 AND
IF .S" MOVSX "
ELSE .S" MOVZX "
THEN
1 AND >R
COUNT MOD/SIB R> \ SIZE BIT
IF SWAP REG32 ., \ WORD TO DWORD CASE
3 =
IF REG16
ELSE .S" WORD PTR " DROP DUP 1- C@ MOD-R/M
THEN
ELSE SWAP REG16/32 ., \ BYTE CASE
3 =
IF REG8
ELSE .S" BYTE PTR " DROP DUP 1- C@ MOD-R/M
THEN
THEN ;
 
: XAD ( ADDR OP -- ADDR' )
.S" XADD " 1 AND TO SIZE R/M,R ;
 
: BSF ( ADDR OP -- ADDR' )
.S" BSF " DROP R,R/M ;
 
: BSR ( ADDR OP -- ADDR' )
.S" BSR " DROP R,R/M ;
 
: CX8 ( ADDR OP -- ADDR' )
.S" CMPXCHG8B " DROP COUNT R/M16/32 ;
 
: BSP ( ADDR OP -- ADDR' )
.S" BSWAP " REG32 ;
 
 
: F6. ( ADDR OP -- ADDR' )
\ ??
>R COUNT
DUP 3 RSHIFT 7 AND DUP>R S" TESTXXXXNOT NEG MUL IMULDIV IDIV" 4 SS. 3 SSPACES
MOD-R/M
R> 0= IF
R@ 1 AND IF IMM16/32
ELSE IMM8
THEN
THEN
R> DROP ;
 
: FE. ( ADDR OP -- ADDR' )
DROP COUNT
DUP 3 RSHIFT 7 AND
CASE
0 OF .S" INC " ENDOF
1 OF .S" DEC " ENDOF
.S" ??? "
ENDCASE R/M8 ;
 
: FF. ( ADDR OP -- ADDR' )
DROP COUNT
DUP 3 RSHIFT 7 AND
CASE
0 OF .S" INC " ENDOF
1 OF .S" DEC " ENDOF
2 OF .S" CALL " ENDOF
3 OF .S" CALL FAR " ENDOF
4 OF .S" JMP " ENDOF
5 OF .S" JMP FAR " ENDOF
6 OF .S" PUSH " ENDOF
.S" ??? "
ENDCASE R/M16/32 ;
 
 
\ --------------------- CONDITIONAL MOVE ---------------
 
: SET ( ADR OP -- )
.S" SET"
TTTN 2 SSPACES
COUNT R/M8 ;
 
: CMV ( ADR OP -- )
.S" CMOV"
TTTN 1 SSPACES
R,R/M ;
 
\ --------------------- MMX OPERATIONS -----------------
 
: MMX-SIZE ( OP -- )
3 AND S" BWDQ" 1 SS. ;
 
: UPL ( ADR OP -- ADR' )
3 AND S" PUNPCKLBWPUNPCKLWDPUNPCKLDQ" 9 SS. R,R/M ;
 
: UPH ( ADR OP -- ADR' )
3 AND S" PUNPCKHBWPUNPCKHWDPUNPCKHDQ" 9 SS. R,R/M ;
 
: CGT ( ADR OP -- ADR' )
.S" PCMPGT" MMX-SIZE R,R/M ;
 
: CEQ ( ADR OP -- ADR' )
.S" PCMPEQ" MMX-SIZE R,R/M ;
 
: PSH. ( OP -- )
0x30 AND
CASE
0x10 OF .S" PSRL" ENDOF
0x20 OF .S" PSRA" ENDOF
0x30 OF .S" PSLL" ENDOF
ENDCASE ;
 
: GPA ( ADR OP -- ADR' )
>R COUNT DUP PSH. R> MMX-SIZE 2 SSPACES MREG IMM8 ;
 
: PUW ( ADR OP -- ADR' )
.S" PACKUSDW " DROP R,R/M ;
 
: PSB ( ADR OP -- ADR' )
.S" PACKSSWB " DROP R,R/M ;
 
: PSW ( ADR OP -- ADR' )
.S" PACKSSDW " DROP R,R/M ;
 
: MPD ( ADR OP -- ADR' )
.S" MOVD " DROP COUNT MOD/SIB
SWAP MREG ., 3 =
IF REG32
ELSE MOD-R/M
THEN ;
 
: MDP ( ADR OP -- ADR' )
.S" MOVD " DROP COUNT MOD/SIB
3 =
IF SWAP REG32
ELSE SWAP MOD-R/M
THEN ., MREG ;
 
: MPQ ( ADR OP -- ADR' )
.S" MOVQ " DROP R,R/M ;
 
: MQP ( ADR OP -- ADR' )
.S" MOVQ " DROP R/M,R ;
 
: SHX ( ADR OP -- ADR' )
DUP PSH. MMX-SIZE 2 SSPACES R,R/M ;
 
: MLL ( ADR OP -- ADR' )
.S" PMULLW " DROP R,R/M ;
 
: MLH ( ADR OP -- ADR' )
.S" PMULHW " DROP R,R/M ;
 
: MAD ( ADR OP -- ADR' )
.S" PMADDWD " DROP R,R/M ;
 
: SUS ( ADR OP -- ADR' )
.S" PSUBUS" MMX-SIZE R,R/M ;
 
: SBS ( ADR OP -- ADR' )
.S" PSUBS" MMX-SIZE SSPACE R,R/M ;
 
: SUB ( ADR OP -- ADR' )
.S" PSUB" MMX-SIZE 2 SSPACES R,R/M ;
 
: AUS ( ADR OP -- ADR' )
.S" PADDUS" MMX-SIZE R,R/M ;
 
: ADS ( ADR OP -- ADR' )
.S" PADDS" MMX-SIZE SSPACE R,R/M ;
 
: ADD ( ADR OP -- ADR' )
.S" PADD" MMX-SIZE 2 SSPACES R,R/M ;
 
: PAD ( ADR OP -- ADR' )
.S" PAND " DROP R,R/M ;
 
: POR ( ADR OP -- ADR' )
.S" POR " DROP R,R/M ;
 
: PAN ( ADR OP -- ADR' )
.S" PANDN " DROP R,R/M ;
 
: PXR ( ADR OP -- ADR' )
.S" PXOR " DROP R,R/M ;
 
 
\ -------------------- OPCODE TABLE --------------------
 
: OPS 0x10 0 DO ' , LOOP ;
 
 
CREATE OP-TABLE2
 
\ 0 1 2 3 4 5 6 7 8 9 A B C D E F
 
OPS GP6 GP7 LAR LSL ??? ??? CLT ??? INV WIV ??? UD2 ??? ??? ??? ??? \ 0
OPS ??? ??? ??? ??? ??? ??? ??? ??? ??? ??? ??? ??? ??? ??? ??? ??? \ 1
OPS MRC MRD MCR MDR MRT ??? MTR ??? ??? ??? ??? ??? ??? ??? ??? ??? \ 2
OPS WMR RTC RMR RPC ??? ??? ??? ??? ??? ??? ??? ??? ??? ??? ??? ??? \ 3
 
OPS CMV CMV CMV CMV CMV CMV CMV CMV CMV CMV CMV CMV CMV CMV CMV CMV \ 4
OPS ??? ??? ??? ??? ??? ??? ??? ??? ??? ??? ??? ??? ??? ??? ??? ??? \ 5
OPS UPL UPL UPL PUW CGT CGT CGT PSB UPH UPH UPH PSW ??? ??? MPD MPQ \ 6
OPS ??? GPA GPA GPA CEQ CEQ CEQ EMS ??? ??? ??? ??? ??? ??? MDP MQP \ 7
 
OPS LBR LBR LBR LBR LBR LBR LBR LBR LBR LBR LBR LBR LBR LBR LBR LBR \ 8
OPS SET SET SET SET SET SET SET SET SET SET SET SET SET SET SET SET \ 9
OPS PSS PPS CPU BTX SLI SLC ??? ??? PSS PPS RSM BTX SRI SRC ??? IML \ A
OPS CXC CXC LSS BTX LFS LGS MVX MVX ??? UD1 GP8 BTX BSF BSR MVX MVX \ B
 
OPS XAD XAD ??? ??? ??? ??? ??? CX8 BSP BSP BSP BSP BSP BSP BSP BSP \ C
OPS ??? SHX SHX SHX ??? MLL ??? ??? SUS SUS ??? PAD AUS AUS ??? PAN \ D
OPS ??? SHX SHX ??? ??? MLH ??? ??? SBS SBS ??? POR ADS ADS ??? PXR \ E
OPS ??? ??? SHX SHX ??? MAD ??? ??? SUB SUB SUB ??? ADD ADD ADD ??? \ F
 
\ 0 1 2 3 4 5 6 7 8 9 A B C D E F
 
: 0F. ( ADR CODE -- )
DROP COUNT DUP
DUP 0x70 AND 0x50 0x80 WITHIN TO MMX-REG
CELLS OP-TABLE2 + @ EXECUTE
0 TO MMX-REG ;
 
 
CREATE OP-TABLE
 
\ 0 1 2 3 4 5 6 7 8 9 A B C D E F
 
OPS ALU ALU ALU ALU ALA ALA PSS PPS ALU ALU ALU ALU ALA ALA PSS 0F. \ 0
OPS ALU ALU ALU ALU ALA ALA PSS PPS ALU ALU ALU ALU ALA ALA PSS PPS \ 1
OPS ALU ALU ALU ALU ALA ALA ES: DAA ALU ALU ALU ALU ALA ALA CS: DAS \ 2
OPS ALU ALU ALU ALU ALA ALA SS: AAA ALU ALU ALU ALU ALA ALA DS: AAS \ 3
 
OPS INC INC INC INC INC INC INC INC DEC DEC DEC DEC DEC DEC DEC DEC \ 4
OPS PSH PSH PSH PSH PSH PSH PSH PSH POP POP POP POP POP POP POP POP \ 5
OPS PSA PPA BND ARP FS: GS: D16 A16 PSI MLI PSI MLI INB ISD OSB OSD \ 6
OPS BRA BRA BRA BRA BRA BRA BRA BRA BRA BRA BRA BRA BRA BRA BRA BRA \ 7
 
OPS ALI ALI ??? ALI TXB TXB TXB TXB MOV MOV MOV MOV MRS LEA MSR 8F. \ 8
OPS XGA XGA XGA XGA XGA XGA XGA XGA CBW CDQ CIS W8F PSF PPF SAH LAH \ 9
OPS MV1 MV1 MV2 MV2 MVS MVS CPS CPS TST TST STS STS LDS LDS SCS SCS \ A
OPS MRI MRI MRI MRI MRI MRI MRI MRI MRI MRI MRI MRI MRI MRI MRI MRI \ B
 
OPS SHF SHF RTN RTN LXS LXS MVI MVI ENT LEV RTF RTF NT3 INT NTO IRT \ C
OPS SHF SHF SHF SHF AAM AAD ??? XLT FD8 FD9 FDA FDB FDC FDD FDE FDF \ D
OPS LUP LUP LUP LUP INP INP OTP OTP JSR JMP CIS JMP IND IND OTD OTD \ E
OPS LOK ??? RPZ REP HLT CMC F6. F6. CLC STC CLI STI CLD STD FE. FF. \ F
 
\ 0 1 2 3 4 5 6 7 8 9 A B C D E F
 
: DIS-OP ( ADR -- ADR' )
0>S
FALSE TO PREFIX-OP \ SMUB
COUNT
DUP 1 AND TO SIZE
DUP CELLS OP-TABLE + @ EXECUTE
PREFIX-OP 0=
IF DEFAULT-16BIT? 0=
IF FALSE TO 16-BIT-DATA
FALSE TO 16-BIT-ADDR
ELSE TRUE TO 16-BIT-DATA
TRUE TO 16-BIT-ADDR
THEN
THEN ;
 
 
0 VALUE NEXT-INST
 
: X". ( ADDR -- ADDR' )
\ CR DUP BASE-ADDR - 6 H.R SPACE
DUP C@ 2DUP SWAP 1+ SWAP ." '" TYPE ." '"
+ 2+
\ ." C, " 1+ OVER + SWAP
\ DO I C@ 2 H.R ." C, " LOOP
\ COUNT + 1+
;
 
[DEFINED] G. [IF]
 
: FLIT8. ( ADDR -- ADDR' ) CR
." FLITERAL: "
DUP DF@ G. 8 +
;
 
: FLIT10. ( ADDR -- ADDR' ) CR
." FLITERAL: "
DUP F@ G. 10 +
;
 
[ELSE]
 
: FLIT8.
CR DUP BASE-ADDR - 6 H.R SPACE
." A; " DUP 8 OVER + SWAP
DO I C@ 3 H.R ." C," LOOP
8 +
;
 
: FLIT10. ( ADDR -- ADDR' )
CR DUP BASE-ADDR - 6 H.R SPACE
." A; " DUP 10 OVER + SWAP
DO I C@ 3 H.R ." C," LOOP
10 +
;
 
[THEN]
 
: VECT. ( ADDR -- ADDR' ) CR
\ ." @" DUP BASE-ADDR - 6 H.R ." :" SPACE
." A; " DUP @ 8 H.R DUP CELL+ SWAP @ ." , \ " WordByAddr TYPE CR
;
 
\ : CONS. ( ADDR -- ) \ CR
\ \ ." @" DUP BASE-ADDR - 6 H.R ." :" SPACE
\ SPACE ." CONSTANT " @ 8 SPACES DUP LAB IF ." @" WordByAddr TYPE ELSE DUP ARRAY2? IF DROP ELSE ." $" 1 H.R CR THEN THEN
\ ;
: CONS. ( ADDR -- )
CR DUP BASE-ADDR - 6 H.R SPACE
." A; " @ 8 H.R ." ,"
;
 
 
: USER. ( ADDR -- ) CR
\ ." @" DUP BASE-ADDR - 6 H.R ." :" SPACE
." A; " @ 8 H.R ." \ Relative in heap [hex]" \ CELL+
CR
;
 
\ : UVAL. ( ADDR -- ADDR' ) CR
\ ." @" DUP BASE-ADDR - 6 H.R ." :" SPACE
\ ." A; " DUP @ 8 H.R ." \ Relative in heap [hex]" CELL+
\ CR
\ ;
 
: UVAL. ( ADDR -- ADDR' )
CR DUP BASE-ADDR - 6 H.R SPACE
." A; " DUP @ 8 H.R ." , \ Relative in heap [hex]" CELL+
;
 
VARIABLE ENDDB
VARIABLE ENDDD
VARIABLE FLAGDB
: TLABEL TRIGER3 @ IF 0 TRIGER3 ! ELSE OVER . ." :" 6 SPACES THEN ;
: DDADR? OVER @ DUP IMAGE-BEGIN > SWAP IMAGE-END < AND ;
 
: CODE. ( ADDR -- ) 4 SPACES
DUP NextNFA
?DUP
IF OVER - 5 -
ELSE
DUP DP @ SWAP - ABS DUP 512 > IF DROP 124 THEN \ no applicable end found
THEN
BEGIN DUP WHILE OVER LAB 0= IF OVER ARRAY? TLABEL ELSE 24 SPACES THEN
DDADR? IF OVER @ ARRAY2? 0=
IF ." dd @" OVER @ DUP @ ADD-LAB . CR THEN 4 - SWAP 4 + SWAP ELSE
DUP 4 < IF ." db "
\ FLAGDB @ IF ." , " ELSE ." db " THEN OVER C@ . 1- SWAP 1+ SWAP
2DUP OVER + DUP ENDDB ! SWAP DO I DUP ." $" C@ . ENDDB @ 1- <> IF ." , " THEN LOOP CR DROP 0
ELSE OVER @ 0= IF \ OVER @ . 4 - SWAP 4 + SWAP CR
0 FLAGDB ! TRIGER4 @ IF 2DROP EXIT ELSE ." dd $" BEGIN OVER @ 0= OVER 0 > AND
WHILE 4 - SWAP 4 + SWAP FLAGDB 1+! REPEAT FLAGDB @ . ." DUP (?)" THEN CR
ELSE
." db " 4 - OVER DUP 4 + DUP ENDDB ! SWAP DO I DUP
." $" C@ . ENDDB @ 1- <> IF ." , " THEN LOOP SWAP 4 + SWAP CR THEN
THEN
THEN
REPEAT 2DROP
 
;
 
 
\ IMAGE-BEGIN - ïîïðîáîâàòü âìåìåñòî ìåòêè OVER @ IMAGE-BEGIN > IF ." DD" OVER @ . HERE . THEN
 
: DIS-DB CR .S" DB " COUNT H.>S ;
: DIS-DW CR .S" DW " W@+ H.>S ;
: DIS-DD CR .S" DD " @+ H.>S ;
: DIS-DS CR .S" STRING " 0x22 EMIT>S COUNT 2DUP >S + 0x22 EMIT>S ;
 
: FIND-REST-END ( xt -- addr | 0)
DUP NextNFA DUP
IF
NIP
NAME>C 1- \ Skip CFA field
ELSE
DROP
DP @ - ABS 100 > IF 0 EXIT THEN \ no applicable end found
DP @ 1-
THEN
 
BEGIN \ Skip alignment
DUP C@ 0= WHILE 1-
REPEAT ;
 
 
 
 
: INST ( ADR -- ADR' )
DUP TO NEXT-INST
COLS 0x29 <
IF DIS-OP
S-BUF COUNT TYPE
ELSE DUP DIS-OP
OVER BASE-ADDR - 6
\ H.R SPACE \ ïå÷àòü àäðåñà ìåòêè ïî óñëîâèþ, 2DROP óáðàòü
\ 2DROP \ H.R SPACE àäðåñà
OVER TYPE-LAB
IF 2DROP ELSE
OVER LAB IF 0 TRIGER3 ! 2DROP ELSE S" @" TYPE H.R S" :" TYPE SSPACE THEN
THEN
DUP ROT
2DUP - DUP>R 0x10 U> ABORT" DECOMPILER ERROR"
2DROP \ DO I C@ 2 SPACES DROP ( H.N ) LOOP \ 2DROP ( H.N ) LOOP \ äàìï êîìàíäû
R> 12 < IF 9 EMIT THEN
\ NEXT-INST C@ 0xE8 =
\ IF NEXT-INST 1+ @+ SWAP +
\ CASE
\ ['] _CLITERAL-CODE OF 0 ENDOF
\ ['] _SLITERAL-CODE OF 0 ENDOF
\ ['] _VECT-CODE OF 0 ENDOF
\ ['] _CONSTANT-CODE OF 0 ENDOF
\ ['] _USER-CODE OF 0 ENDOF
\ ['] _CREATE-CODE OF 0 ." // Îôîðìèò êàê var èëè label: array[0..10] of Byte/Integer;" ENDOF
\ ['] _USER-VALUE-CODE OF 0 ." // Îôîðìèò êàê" ENDOF
\ ['] _FLIT-CODE10 OF 0 ENDOF
\ ['] _FLIT-CODE8 OF 0 ENDOF
\ ENDCASE
\ THEN
?DUP IF 9 EMIT S-BUF COUNT TYPE THEN
THEN NEXT-INST C@ 0xE8 =
IF NEXT-INST 1+ @+ SWAP +
CASE
['] _CLITERAL-CODE OF CR X". ENDOF
['] _SLITERAL-CODE OF CR X". ENDOF
['] _VECT-CODE OF VECT. 2DROP RDROP ENDOF
['] _CONSTANT-CODE OF CONS. DROP RDROP ENDOF
['] _USER-CODE OF USER. DROP RDROP ENDOF
['] _CREATE-CODE OF CODE. DROP RDROP ENDOF
['] _USER-VALUE-CODE OF UVAL. DROP RDROP ENDOF
['] _FLIT-CODE10 OF FLIT10. ENDOF
['] _FLIT-CODE8 OF FLIT8. ENDOF
ENDCASE
THEN
;
 
: INST1 ( ADR -- ADR' )
DUP TO NEXT-INST
COLS 0x29 <
IF DIS-OP
\ S-BUF COUNT TYPE
ELSE DUP DIS-OP
DUP ROT
2DUP - DUP>R 0x10 U> ABORT" DECOMPILER ERROR"
 
2DROP RDROP
THEN
 
;
 
: (REST-AREA) ( addr1 addr2 -- )
\ if addr2 = 0 continue till RET instruction
SWAP DUP TO NEXT-INST
BEGIN
\ We do not look for JMP's because there may be
\ a jump in a forth word
CR
OVER 0= IF NEXT-INST C@ 0xC3 <>
ELSE 2DUP < INVERT
THEN
WHILE INST \ CR
REPEAT 2DROP
;
 
 
 
 
 
\ : ALLOT DUP HERE FINISH-ARRAY @ 2! FINISH-ARRAY @ 2 CELLS + FINISH-ARRAY ! ALLOT ;
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
FORTH DEFINITIONS
VECT REST-AREA
\ ' (REST-AREA) TO REST-AREA
 
\ : REST ( addr -- )
\ DUP HERE U> 0= HERE 1- AND REST-AREA
\ ;
 
\ : SEE ( "name" -- )
\ ' DUP FIND-REST-END ['] REST-AREA CATCH DROP
\ ;
 
 
: CALL-TYPE
\ WordByAddr TYPE
\ DUP ADD-CALL DUP ADD-LAB \ ! ! ! ! !
1 TRIGER3 ! S" @@" TYPE NEAR_NFA >R COUNT TYPE S" :" TYPE DROP R>
\ DUP SEE2
;
 
: CALL-FIND \ DUP SEE2
HEX
DUP FIND-REST-END
SWAP DUP TO NEXT-INST
BEGIN
\ We do not look for JMP's because there may be
\ a jump in a forth word
OVER 0= IF NEXT-INST C@ 0xC3 <>
ELSE 2DUP < INVERT
THEN
WHILE DUP INST1 DROP DUP TO NEXT-INST
DUP C@ 0xE8 = IF NEXT-INST 1+ DUP @ + 4 + DUP ADD-CALL
CALL-TYPE? @ IF RECURSE ELSE DROP 5 + THEN
ELSE DIS-OP THEN \ CR
REPEAT 2DROP
;
 
 
: SEE2 ( "addr" -- )
DUP FIND-REST-END 2DUP END-WORD ! START-WORD !
['] REST-AREA CATCH DROP
;
 
: VAR-VECT
1+ @+ SWAP +
CASE
['] _CLITERAL-CODE OF 5 + X". ENDOF
['] _SLITERAL-CODE OF 5 + X". ENDOF
['] _VECT-CODE OF 5 + VECT. DROP ENDOF
['] _CONSTANT-CODE OF 5 + CONS. ENDOF
['] _USER-CODE OF 5 + USER. ENDOF
['] _CREATE-CODE OF 5 + CODE. ENDOF
['] _USER-VALUE-CODE OF 5 + UVAL. ENDOF
['] _FLIT-CODE10 OF 5 + FLIT10. ENDOF
['] _FLIT-CODE8 OF 5 + FLIT8. ENDOF
ENDCASE
;
 
: TYPE-VAR
FINISH-VAR @ START-VAR @ = IF EXIT THEN
FINISH-VAR @ 4 -
BEGIN DUP @
\ DUP 5 + @ ARRAY? .
DUP WordByAddr TYPE 1 TRIGER3 ! DUP VAR-VECT \ SEE2
DUP START-VAR @ = 0= WHILE CELL- REPEAT DROP CR CR
;
 
: TYPE-ALL
START-LIST2 @ FINISH-LIST2 @ 4 - FINISH-LIST3 !
BEGIN DUP @
DUP 1+ @+ SWAP +
CASE
\ ['] _CLITERAL-CODE OF 0 ENDOF
\ ['] _SLITERAL-CODE OF 0 ENDOF
['] _VECT-CODE OF 0 ENDOF
['] _CONSTANT-CODE OF 0 ENDOF
['] _USER-CODE OF 0 ENDOF
['] _CREATE-CODE OF 0 ENDOF
['] _USER-VALUE-CODE OF 0 ENDOF
['] _FLIT-CODE10 OF 0 ENDOF
['] _FLIT-CODE8 OF 0 ENDOF
ENDCASE
?DUP IF ADD-CALL ELSE ADD-VAR THEN DUP FINISH-LIST3 @ = 0= \ ADD-CALL CR WordByAddr TYPE CR
WHILE CELL+ REPEAT DROP
TYPE-VAR
FINISH-LIST @ BEGIN DUP @ DUP CALL-TYPE
SEE2 DUP START-LIST @ = 0= WHILE CELL- REPEAT DROP
;
 
: DISASM-LIST
['] (REST-AREA) TO REST-AREA
DUP START-LIST @ ! CALL-FIND
;
 
 
: DIS ( ADR -- )
BEGIN
DUP
CR INST
KEY UPC DUP 0x1B = OVER [CHAR] Q = OR 0=
WHILE
CASE
[CHAR] Q OF DROP DIS-DB ENDOF
[CHAR] W OF DROP DIS-DW ENDOF
[CHAR] D OF DROP DIS-DD ENDOF
[CHAR] S OF DROP DIS-DS ENDOF
ROT DROP
ENDCASE
 
REPEAT 2DROP DROP ;
 
 
0 VALUE SHOW-NEXT? \ DEFAULT TO NOT SHOWING NEXT INSTRUCTIONS
 
DECIMAL
 
TRUE VALUE SEE-KET-FL
 
VARIABLE COUNT-LINE
 
: REST ( ADR -- )
20 COUNT-LINE !
0 TO MAX_REFERENCE
DUP TO NEXT-INST
BEGIN
CR
NEXT-INST C@
DUP 0xC3 <>
SWAP 0xE9 <> AND \ NEXT, BEHIND US?
NEXT-INST MAX_REFERENCE U< OR
OVER HERE - 0x100 U> AND
WHILE INST
COUNT-LINE @ 1- DUP 0= SEE-KET-FL AND
IF 9 EMIT ." \ Press <enter> | q | any" KEY UPC
DUP 0xD = IF 2DROP 1 ELSE
DUP [CHAR] Q = SWAP 0x1B =
OR IF 2DROP CR EXIT THEN
DROP 20 THEN
THEN
COUNT-LINE !
REPEAT DROP ." END-CODE "
;
 
: SEE ( -- )
' REST ;
 
 
ONLY FORTH DEFINITIONS
 
.( Ok) CR
TRUE WARNING !