--- gforth/see.fs 2010/05/01 21:29:08 1.71 +++ gforth/see.fs 2010/09/12 17:10:04 1.75 @@ -81,6 +81,58 @@ DEFER nlcount ' noop IS nlcount IF 2drop ELSE XPos +! C-Output @ IF emit ELSE drop THEN THEN ; + +Defer xt-see-xt ( xt -- ) +\ this one is just a forward declaration for indirect recursion + +: .defname ( xt c-addr u -- ) + rot look + if ( c-addr u nfa ) + -rot type space .name + else + drop ." noname " type + then + space ; + +Defer discode ( addr u -- ) \ gforth +\G hook for the disassembler: disassemble u bytes of code at addr +' dump IS discode + +: next-head ( addr1 -- addr2 ) \ gforth + \G find the next header starting after addr1, up to here (unreliable). + here swap u+do + i head? -2 and if + i unloop exit + then + cell +loop + here ; + +[ifundef] umin \ !! bootstrapping help +: umin ( u1 u2 -- u ) + 2dup u> + if + swap + then + drop ; +[then] + +: next-prim ( addr1 -- addr2 ) \ gforth + \G find the next primitive after addr1 (unreliable) + 1+ >r -1 primstart + begin ( umin head R: boundary ) + @ dup + while + tuck name>int >code-address ( head1 umin ca R: boundary ) + r@ - umin + swap + repeat + drop dup r@ negate u>= + \ "umin+boundary within [0,boundary)" = "umin within [-boundary,0)" + if ( umin R: boundary ) \ no primitive found behind -> use a default length + drop 31 + then + r> + ; + DEFER .string ( c-addr u n -- ) [IFDEF] Green @@ -254,6 +306,7 @@ VARIABLE C-Pass : Scan? ( -- flag ) C-Pass @ 0= ; : Display? ( -- flag ) C-Pass @ 1 = ; : Debug? ( -- flag ) C-Pass @ 2 = ; +: ?.string ( c-addr u n -- ) Display? if .string else 2drop drop then ; : back? ( addr target -- addr flag ) over u< ; @@ -300,28 +353,34 @@ VARIABLE C-Pass [THEN] : c-lit ( addr1 -- addr2 ) - Display? IF - dup @ dup body> dup cfaligned over = swap in-dictionary? and if - ( addr1 addr1@ ) - dup body> @ dovar: = if - drop c-call EXIT - endif + dup @ dup body> dup cfaligned over = swap in-dictionary? and if + ( addr1 addr1@ ) + dup body> @ dovar: = if + drop c-call EXIT endif - over 4 cells + over = if - over 1 cells + @ decompile-prim ['] call xt>threaded = >r - over 3 cells + @ decompile-prim ['] ;S xt>threaded = - r> and if + endif + over 4 cells + over = if + over 1 cells + @ decompile-prim ['] call xt>threaded = >r + over 3 cells + @ decompile-prim ['] ;S xt>threaded = + r> and if over 2 cells + @ ['] !does >body = if drop - S" DOES> " Com# .string 4 cells + EXIT endif - [IFDEF] !;abi-code - over 2 cells + @ ['] !;abi-code >body = if drop - S" DOES> " Com# .string 4 cells + EXIT endif - [THEN] - endif + S" DOES> " Com# ?.string 4 cells + EXIT endif endif + [IFDEF] !;abi-code + over 2 cells + @ ['] !;abi-code >body = if drop + S" ;abi-code " Com# ?.string 4 cells + + c-stop on + Display? if + dup dup next-head over - discode + S" end-code" Com# ?.string + then EXIT + endif + [THEN] + endif + Display? if \ !! test for cfa here, and print "['] ..." dup abs 0 <# #S rot sign #> 0 .string bl cemit - endif + else drop then cell+ ; : c-lit+ ( addr1 -- addr2 ) @@ -459,10 +518,10 @@ VARIABLE C-Pass ELSE dup cell+ BranchAddr? Forward? IF dup cell+ @ WhileCode2 = - IF nl S" ELSE" .struc level+ + IF nl S" ELSE " .struc level+ ELSE level- nl S" ELSE" .struc level+ THEN cell+ Disable swap ! - ELSE S" AHEAD" .struc level+ + ELSE S" AHEAD " .struc level+ THEN THEN THEN @@ -655,57 +714,6 @@ c-extender ! c-stop @ UNTIL drop ; -Defer xt-see-xt ( xt -- ) -\ this one is just a forward declaration for indirect recursion - -: .defname ( xt c-addr u -- ) - rot look - if ( c-addr u nfa ) - -rot type space .name - else - drop ." noname " type - then - space ; - -Defer discode ( addr u -- ) \ gforth -\G hook for the disassembler: disassemble u bytes of code at addr -' dump IS discode - -: next-head ( addr1 -- addr2 ) \ gforth - \G find the next header starting after addr1, up to here (unreliable). - here swap u+do - i head? -2 and if - i unloop exit - then - cell +loop - here ; - -[ifundef] umin \ !! bootstrapping help -: umin ( u1 u2 -- u ) - 2dup u> - if - swap - then - drop ; -[then] - -: next-prim ( addr1 -- addr2 ) \ gforth - \G find the next primitive after addr1 (unreliable) - 1+ >r -1 primstart - begin ( umin head R: boundary ) - @ dup - while - tuck name>int >code-address ( head1 umin ca R: boundary ) - r@ - umin - swap - repeat - drop dup r@ negate u>= - \ "umin+boundary within [0,boundary)" = "umin within [-boundary,0)" - if ( umin R: boundary ) \ no primitive found behind -> use a default length - drop 31 - then - r> + ; - : seecode ( xt -- ) dup s" Code" .defname >code-address