home *** CD-ROM | disk | FTP | other *** search
/ Power-Programmierung / CD1.mdf / forth / compiler / fpc / tcom96 / debugger / dis8096.seq < prev    next >
Encoding:
Text File  |  1991-03-26  |  10.1 KB  |  374 lines
  1. \\ DIS8096.SEQ disasembler for 8096 by Mike Mayo,
  2. \   based on DIS8086.SEQ   8086 Disassembler  by Charles Curley
  3. ─────────────────────────────────────────────────────────────────────────────
  4. $Header:   F:/tcom96/debugger/logs/dis8096.sev   1.5   23 Apr 1991 11:02:58   MikeM  $
  5. ─────────────────────────────────────────────────────────────────────────────
  6. ─────────────────────────────────────────────────────────────────────────────
  7. $Log:   F:/tcom96/debugger/logs/dis8096.sev  $
  8. \ 
  9. \    Rev 1.5   23 Apr 1991 11:02:58   MikeM
  10. \ 
  11. ─────────────────────────────────────────────────────────────────────────────
  12. {
  13.   PREFIX  \ Conversion by  Bill Muench  9 September 88  Fixes
  14.  
  15. forth definitions  decimal
  16. anew distarg96words
  17. warning off
  18.  
  19. vocabulary distarget
  20.  
  21. : h.4 ( n -- ) \ display n in four digit hex
  22.         $10 save!> base
  23.         0 <# # # # # #> type space
  24.         restore> base ;
  25.  
  26. : sp>col ( n -- ) \ output spaces to column n
  27.         #out @ - 0max spaces ;
  28.  
  29. CODE 2/S ( n ct - n') \ shift n right by ct bits
  30.         POP CX
  31.         POP AX
  32.         SHR AX, CL
  33.         1PUSH
  34.         END-CODE
  35.  
  36. CODE SEXT ( n - n' ) \ sign extend byte to word
  37.         POP AX
  38.         CBW
  39.         1PUSH
  40.         END-CODE
  41.  
  42. DIStarget DEFINITIONS
  43.  
  44. \ Avoid name conflicts
  45. : ANDD AND ;
  46. : ORR  OR ;
  47. : XORR XOR ;
  48. : NOTT NOT ;
  49.  
  50. 0 value pad=
  51. : (dTC@) ( a - n ) 2* pad + pad= - c@ ;
  52. : (dT@)  ( a - n ) 2* pad + pad= - @  ;
  53.  
  54. DEFER dTC@ ( a - n )         \ deferred byte fetch of memory to disassemble
  55. DEFER dT@ ( a - n )          \ deferred word fetch of memory to disassemble
  56. : MEMORY
  57.         ['] (dTC@) IS dTC@
  58.         ['] (dT@)  IS dT@
  59.         ;
  60.  
  61.  
  62. \ Stuff for displaying opcode names
  63.  
  64. : .ID| ( nf -- )  \ show the name pointed to by nf without trailing space
  65.         DUP 1+ DUP YC@ ROT YC@ 31 AND
  66.         0  ?DO  DUP 127 AND FEMIT
  67.                 128 AND IF  ASCII _ 128 OR  ELSE  1+ DUP YC@  THEN
  68.                 LOOP
  69.         2DROP ;
  70.  
  71. : ID.L ( a -- ) \ show the name pointed to by nf in an 8-column field
  72.         #OUT @ SWAP .ID| #OUT @ - 8 + SPACES ;
  73. : .SELF ( -- ) \ defines a word that types out it's name
  74.         CREATE LAST @ , DOES> @ .ID| ;
  75. : SELF.L ( -- ) \ defines a word that types out it's name
  76.                 \ left-justified in 8 columns
  77.         CREATE LAST @ , DOES> @ ID.L ;
  78. : .ME ( -- ) \ print name of word that calls this
  79.         LAST @ [COMPILE] LITERAL COMPILE ID.L ;     IMMEDIATE
  80.  
  81. : .SYMBOL   H.  ;
  82.  
  83. VARIABLE CP
  84. : NEXTB ( - n ) CP @ dTC@   1 CP +! ;   \ get the next byte to disassemble
  85. : NEXTW ( - w ) NEXTB NEXTB 256 * + ;   \ get the next word to disassemble
  86.  
  87. : .N ( op -- op ) \ show number of unknown opcode
  88.         ." ?"  dup h.  ;
  89.  
  90. 0 VALUE AMODE
  91. : .MODE ( op -- op ) \ pick out address mode bits
  92.         DUP 3 ANDD !> AMODE   ;
  93. \        ."  amode" AMODE .   ;
  94.  
  95. : .WREG  ." w." NEXTB H.  ;
  96. : .BREG  ." b." NEXTB H.  ;
  97. : .LREG  ." L." NEXTB H.  ;
  98.  
  99. : .IMMW   ." #"  NEXTW H. ;
  100. : .IMMB   ." #"  NEXTB H. ;
  101.  
  102. : .INDIRECT
  103.         NEXTB DUP
  104.         1 AND IF  ." [" 1- H. ." ]+, "
  105.             ELSE  ." [" H. ." ], "
  106.             THEN
  107.         ;
  108.  
  109. : .INDEXED
  110.         ." [" NEXTB DUP $FE AND H. ." ] +"
  111.         1 AND IF  NEXTW
  112.             ELSE  NEXTB
  113.             THEN
  114.         H. ." , " ;
  115.  
  116. : .WAOP   AMODE EXEC: .WREG  .IMMW  .INDIRECT  .INDEXED  ;
  117.  
  118. : .BAOP   AMODE EXEC: .BREG  .IMMB  .INDIRECT  .INDEXED  ;
  119.  
  120.  
  121. : SKIP   .ME  .BREG  ;
  122. : CLR    .ME  .WREG  ;
  123. : NOT    .ME  .WREG  ;
  124. : NEG    .ME  .WREG  ;
  125. : DEC    .ME  .WREG  ;
  126. : EXT    .ME  .LREG  ;
  127. : INC    .ME  .WREG  ;
  128. : SHR    .ME  .BREG  .WREG  ;
  129. : SHL    .ME  .BREG  .WREG  ;
  130. : SHRA   .ME  .BREG  .WREG  ;
  131. : SHRL   .ME  .BREG  .LREG  ;
  132. : SHLL   .ME  .BREG  .LREG  ;
  133. : SHRAL  .ME  .BREG  .LREG  ;
  134. : NORML  .ME  .BREG  .LREG  ;
  135.  
  136. : 0xS ( op -- n ) \
  137.         DUP 15 ANDD
  138.         EXEC:  SKIP  CLR  NOT  NEG  .N    DEC   EXT    INC
  139.                SHR   SHL  SHRA  .N  SHRL  SHLL  SHRAL  NORML  ;
  140.  
  141. : CLRB   .ME  .BREG  ;
  142. : NOTB   .ME  .WREG  ;
  143. : NEGB   .ME  .BREG  ;
  144. : DECB   .ME  .BREG  ;
  145. : EXTB   .ME  .WREG  ;
  146. : INCB   .ME  .BREG  ;
  147. : SHRB   .ME  .BREG  .BREG  ;
  148. : SHLB   .ME  .BREG  .BREG  ;
  149. : SHRAB  .ME  .BREG  .BREG  ;
  150.  
  151. : 1xS ( op -- n ) \
  152.         DUP 15 ANDD
  153.         EXEC:  .N    CLRB  NOTB   NEGB  .N  DECB  EXTB  INCB
  154.                SHRB  SHLB  SHRAB  .N    .N  .N    .N    .N   ;
  155.  
  156. : SJMP    .ME  DUP 7 AND 256 *  NEXTB + SEXT  CP @ +  .SYMBOL  ;
  157. : SCALL   .ME  DUP 7 AND 256 *  NEXTB + SEXT  CP @ +  .SYMBOL  ;
  158.  
  159. : 2xS ( op -- n ) \
  160.         DUP $28 < IF SJMP ELSE SCALL THEN ;
  161.  
  162. : JBC   .ME  DUP 7 AND .  .BREG  NEXTB SEXT  CP @ +  .SYMBOL  ;
  163. : JBS   .ME  DUP 7 AND .  .BREG  NEXTB SEXT  CP @ +  .SYMBOL  ;
  164.  
  165. : 3xS ( op -- n ) \
  166.         DUP $38 < IF JBC ELSE JBS THEN ;
  167.  
  168. : .MUL3   .MODE  .WAOP  ." s" .WREG  ." d" .LREG  ;
  169. : .MULB3  .MODE  .BAOP  ." s" .BREG  ." d" .WREG  ;
  170. : .MUL    .MODE  .WAOP  .LREG ;
  171. : .MULB   .MODE  .BAOP  .WREG ;
  172. : .DIV    .MODE  .WAOP  .LREG ;
  173. : .DIVB   .MODE  .BAOP  .WREG ;
  174.  
  175. : MULU3   .ME .MUL3 ;
  176. : MULUB3  .ME .MULB3 ;
  177. : MULU    .ME .MUL  ;
  178. : MULUB   .ME .MULB ;
  179. : DIVU    .ME .DIV  ;
  180. : DIVUB   .ME .DIVB ;
  181.  
  182. : AND3   .ME .MODE .WAOP ." s" .WREG ." d" .WREG ;
  183. : ADD3   .ME .MODE .WAOP ." s" .WREG ." d" .WREG ;
  184. : SUB3   .ME .MODE .WAOP ." s" .WREG ." d" .WREG ;
  185.  
  186. : 4xS ( op -- n ) \
  187.         DUP 15 ANDD 2/ 2/
  188.         EXEC:  AND3  ADD3  SUB3  MULU3  ;
  189.  
  190. : ANDB3   .ME .MODE .BAOP ." s" .BREG ." d" .BREG ;
  191. : ADDB3   .ME .MODE .BAOP ." s" .BREG ." d" .BREG ;
  192. : SUBB3   .ME .MODE .BAOP ." s" .BREG ." d" .BREG ;
  193.  
  194. : 5xS ( op -- n ) \
  195.         DUP 15 ANDD 2/ 2/
  196.         EXEC:  ANDB3  ADDB3  SUBB3  MULUB3  ;
  197.  
  198. : AND   .ME .MODE .WAOP .WREG ;
  199. : ADD   .ME .MODE .WAOP .WREG ;
  200. : SUB   .ME .MODE .WAOP .WREG ;
  201.  
  202. : 6xS ( op -- n ) \
  203.         DUP 15 ANDD 2/ 2/
  204.         EXEC:  AND  ADD  SUB  MULU  ;
  205.  
  206. : ANDB   .ME .MODE .BAOP .BREG ;
  207. : ADDB   .ME .MODE .BAOP .BREG ;
  208. : SUBB   .ME .MODE .BAOP .BREG ;
  209.  
  210. : 7xS ( op -- n ) \
  211.         DUP 15 ANDD 2/ 2/
  212.         EXEC:  ANDB  ADDB  SUBB  MULUB  ;
  213.  
  214. : OR    .ME .MODE .WAOP .WREG ;
  215. : XOR   .ME .MODE .WAOP .WREG ;
  216. : CMP   .ME .MODE .WAOP .WREG ;
  217.  
  218. : 8xS ( op -- n ) \
  219.         DUP 15 ANDD 2/ 2/
  220.         EXEC:  OR  XOR  CMP  DIVU  ;
  221.  
  222. : ORB    .ME .MODE .BAOP .BREG ;
  223. : XORB   .ME .MODE .BAOP .BREG ;
  224. : CMPB   .ME .MODE .BAOP .BREG ;
  225.  
  226. : 9xS ( op -- n ) \
  227.         DUP 15 ANDD 2/ 2/
  228.         EXEC:  ORB  XORB  CMPB  DIVUB  ;
  229.  
  230. : LD     .ME .MODE .WAOP .WREG ;
  231. : ADDC   .ME .MODE .WAOP .WREG ;
  232. : SUBC   .ME .MODE .WAOP .WREG ;
  233. : LDBZE  .ME .MODE .BAOP .WREG ;
  234.  
  235. : AxS ( op -- n ) \
  236.         DUP 15 ANDD 2/ 2/
  237.         EXEC:  LD  ADDC  SUBC  LDBZE    ;
  238.  
  239. : LDB    .ME .MODE .BAOP .BREG ;
  240. : ADDCB  .ME .MODE .BAOP .BREG ;
  241. : SUBCB  .ME .MODE .BAOP .BREG ;
  242. : LDBSE  .ME .MODE .BAOP .WREG ;
  243.  
  244. : BxS ( op -- n ) \
  245.         DUP 15 ANDD 2/ 2/
  246.         EXEC:  LDB  ADDCB  SUBCB  LDBSE    ;
  247.  
  248.  
  249. : BMOV  .ME         .WREG  .LREG  ;
  250. : ST    DUP $C1 = IF  BMOV
  251.                 ELSE  .ME  .MODE  .WAOP  .WREG
  252.                 THEN  ;
  253. : CMPL  .ME         .LREG  .LREG  ;
  254. : STB   DUP $C5 = IF  CMPL
  255.                 ELSE  .ME  .MODE  .BAOP  .BREG
  256.                 THEN  ;
  257. : PUSH  .ME  .MODE  .WAOP         ;
  258. : POP   .ME  .MODE  .WAOP         ;
  259.  
  260. : CxS ( op -- n ) \
  261.   DUP 15 ANDD  2/ 2/
  262.   EXEC:  ST  STB  PUSH  POP  ;
  263.  
  264.  
  265. SELF.L JNST SELF.L JNH  SELF.L JGT  SELF.L JNC
  266. SELF.L JNVT SELF.L JNV  SELF.L JGE  SELF.L JNE
  267. SELF.L JST  SELF.L JH   SELF.L JLE  SELF.L JC
  268. SELF.L JVT  SELF.L JV   SELF.L JLT  SELF.L JE
  269.  
  270. : .BR| ( op -- op )
  271.         DUP  15 ANDD
  272.   EXEC: JNST JNH JGT JNC JNVT JNV JGE JNE JST JH JLE JC JVT JV JLT JE ;
  273.  
  274. : DxS ( op --op ) \ D0-DF branch & dest
  275.         .BR|  NEXTB SEXT CP @ + .SYMBOL ;
  276.  
  277.  
  278. : LCALL   .ME  NEXTW  CP @ +  .SYMBOL  ;
  279. : LJMP    .ME  NEXTW  CP @ +  .SYMBOL  ;
  280.  
  281. : DJNZ    .ME  NEXTB H.  NEXTB SEXT CP @ +  .SYMBOL  ;
  282. : DJNZW   .ME  NEXTB H.  NEXTB SEXT CP @ +  .SYMBOL  ;
  283. : BR[]    .ME  NEXTB H. ;
  284.  
  285. : ExS ( op -- n )
  286.         DUP 15 ANDD
  287.         CASE  0 OF DJNZ ENDOF
  288.               1 OF DJNZW ENDOF
  289.               3 OF BR[] ENDOF
  290.               7 OF LJMP ENDOF
  291.               15 OF LCALL ENDOF
  292.               DROP .N
  293.         ENDCASE ;
  294.  
  295. : MUL3   .ME .MUL3 ;
  296. : MULB3  .ME .MULB3 ;
  297. : MUL    .ME .MUL  ;
  298. : MULB   .ME .MULB ;
  299. : DIV    .ME .DIV  ;
  300. : DIVB   .ME .DIVB ;
  301.  
  302. : FEs   NEXTB $FC ANDD
  303.         CASE
  304.         $4C OF MUL3  ENDOF
  305.         $5C OF MULB3 ENDOF
  306.         $6C OF MUL  ENDOF
  307.         $7C OF MULB ENDOF
  308.         $8C OF DIV  ENDOF
  309.         $9C OF DIVB ENDOF
  310.         DROP ENDCASE  ;
  311.  
  312. .SELF RET .SELF F1S .SELF PUSHF .SELF POPF .SELF PUSHA .SELF POPA
  313. .SELF TRAP .SELF CLRC .SELF SETC .SELF DI .SELF EI .SELF CLRVT
  314. .SELF NOP .SELF RST
  315.  
  316. : IDLPD   .ME  NEXTB H.  ;
  317.  
  318. : FxS ( op -- op )
  319.   DUP 15 ANDD
  320.   EXEC: RET  F1S  PUSHF POPF  PUSHA POPA IDLPD TRAP
  321.         CLRC SETC DI    EI    CLRVT NOP  FEs   RST  ;
  322.  
  323. : .INST ( op -- op )
  324.   255 ANDD DUP 4 2/S
  325.   EXEC: 0xS 1xS 2xS 3xS 4xS 5xS 6xS 7xS
  326.         8xS 9xS AxS BxS CxS DxS ExS FxS ;
  327.  
  328. : INST \ display opcode at ip  advancing as needed
  329.         2 SPACES
  330.         NEXTB .INST DROP
  331.         ;
  332. : DIS ( a l -- ) \ disassemble from address a, length l words
  333.         CR
  334.         over CP !
  335.         +
  336.         save> base  hex
  337.         BEGIN   cp @ 4 u.r
  338.                         cp @ dt@ 8 u.r  cp @ 1+ dt@ 6 u.r
  339.                 2 spaces  INST
  340.                 cr
  341.                 cp @ over >= until
  342.         drop
  343.         restore> base
  344.         ;
  345.  
  346. : fdis ( | filename -- )
  347.         gfl bl word $file ?open.error   \ open the file
  348.         seqhandle endfile               \ get file length
  349.         $100 m/mod             ( r q )  \ number of $100 byte segments
  350.         0 0 seqhandle movepointer       \ reset to beginning of file
  351.         off> pad=  0 cp !
  352.         0 do
  353.                 pad $100 seqhandle hread drop  \ read and
  354.                 cp @ $80 dis            \ disassemble $100 byte segments
  355.                 $100 +!> pad=
  356.           loop
  357.         pad over seqhandle hread drop   \ read and
  358.         2/ cp @ swap dis                \ disassemble the rest
  359.         off> pad=
  360.         ;
  361.  
  362. : target  ['] TC@ IS dTC@  ; \ disassemble from target memory
  363. target
  364.  
  365.  
  366. : dis-hello
  367.         defers .hello
  368.         only forth definitions also distarget also forth ;
  369. ' dis-hello is .hello
  370.  
  371. ALSO FORTH DEFINITIONS
  372.  
  373.  
  374.