1 line
133 KiB
Plaintext
1 line
133 KiB
Plaintext
\\ *** Volksforth System - Sourcecode *** cas201301 This file contains the full sourcecode for the volksFORTH-83 kernal. The source is compiled using the volksForth target compiler. Thesource contains instructions for the target compiler that will not end up in the final Forth system. See the documentation on http://fossil.forth-ev.de/volksforth for information on how to compile a new Forth kernel from the source. \ Atari 520 ST Forth loadscreen cas201301\ volksFORTH-83 was developed by K. Schleisiek, B. Pennemann \ G. Rehfeld & D. Weineck \ Atari ST - Version by D. Weineck \ Atari ST/STE/TT/Falcon/FireBee Version by C. Strotmann Onlyforth 0 dup displace ! Target definitions here! $82 +load 1 $76 +thru cr .unresolved ' .blk is .status \ FORTH Preamble and ID cas202007 Assembler 0 FP D) jmp here 2- >label >cold 0 FP D) jmp here 2- >label >restart here dup origin! \ Initial cold-start values for user variables 0 # D6 move D6 reg) jmp \ for multitasker $100 allot | Create logo ," volksFORTH-83 rev. 3.85.2" \ Assembler Labels & Macros Next cas201301 Compiler Assembler also definitions H : Next .w IP )+ D7 move \ D7 contains cfa D7 reg) D6 move \ D6 contains cfa@ D6 reg) jmp .w \ jump to cfa@ there Tnext-link H @ T , H Tnext-link ! ; Target \ recover noop 06sep86we Create recover Assembler .l A7 )+ D7 move FP IP suba .w IP RP -) move .l D7 IP move 0 D7 moveq Next end-code Compiler Assembler also definitions H : ;c: 0 T recover R#) jsr end-code ] H ; Target Code noop Next end-code \ User Variables 14sep86we Constant origin &10 uallot drop \ For multitasker User s0 User r0 User dp User offset 0 offset ! User base $10 base ! User output User input User errorhandler \ pointer for abort" -code User voc-link User udp \ points to next free addr in User User next-link \ points to next Next \ end-trace 11sep86we Variable UP Label fnext IP )+ D7 move D7 reg) D6 move D6 reg) jmp Code end-trace fnext # D6 move .l D6 reg) A0 lea A0 D5 move .w UP R#) D6 move .l user' next-link D6 FP DI) D6 .w move BEGIN .l D6 reg) A1 lea .w D6 tst 0<> WHILE .w &10 # A1 suba .l D5 A0 move A0 )+ A1 )+ move A0 )+ A1 )+ move .w 2 A1 addq A1 ) D6 move REPEAT fnext bra end-code \ manipulate system pointers 09sep86we Code sp@ ( -- addr ) .l SP D6 move FP D6 sub .w D6 SP -) move Next end-code Code sp! ( addr -- ) SP )+ D6 move $FFFE D6 andi D6 reg) SP lea Next end-code Code up@ ( -- addr ) UP R#) SP -) move Next end-code Code up! ( addr -- ) SP )+ D0 move $FFFE D0 andi D6 UP R#) move Next end-code Code forthstart ( -- laddr ) .l FP SP -) move Next end-code \ manipulate returnstack 05sep86we Code rp@ ( -- addr ) .l RP D6 move FP D6 sub .w D6 SP -) move Next end-code Code rp! ( addr -- ) SP )+ D6 move $FFFE D6 andi D6 reg) RP lea Next end-code Code >r ( 16b -- ) SP )+ RP -) move Next end-code restrict Code r> ( -- 16b ) RP )+ SP -) move Next end-code restrict \ r@ rdrop exit unnest ?exit 04sep86we Code r@ ( -- 16b ) RP ) SP -) move Next end-code Code rdrop 2 RP addq Next end-code restrict Code exit RP )+ D7 move .l D7 IP move FP IP adda Next end-code Code unnest RP )+ D7 move .l D7 IP move FP IP adda Next end-code Code ?exit ( flag -- ) SP )+ tst 0<> IF RP )+ D7 move .l D7 IP move FP IP adda THEN Next end-code \\ : ?exit ( flag -- ) IF rdrop THEN ; \ execute perform 04sep86we Code execute ( cfa -- ) SP )+ D7 move D7 reg) D6 move .l D6 reg) jmp end-code : perform ( addr -- ) @ execute ; \ c@ c! ctoggle 04sep86we Code c@ ( addr -- 8b ) SP )+ D6 move D6 reg) A0 lea 0 D0 moveq .b A0 ) D0 move .w D0 SP -) move Next end-code Code c! ( 16b addr -- ) SP )+ D6 move D6 reg) A0 lea SP )+ D0 move .b D0 A0 ) move Next end-code : ctoggle ( 8b addr --) under c@ xor swap c! ; \ @ ! 2@ 2! 04sep86we Code @ ( addr -- 16b ) SP )+ D6 move D6 reg) A0 lea .b 1 A0 D) SP -) move A0 ) SP -) move Next end-code Code ! ( 16b addr -- ) SP )+ D6 move D6 reg) A0 lea .b SP )+ A0 )+ move SP )+ A0 )+ move Next end-code \ 2@ 2! 04sep86we Code 2@ ( addr -- 32b ) SP )+ D6 move D6 reg) A0 lea .b 3 A0 D) SP -) move 2 A0 D) SP -) move 1 A0 D) SP -) move A0 ) SP -) move Next end-code Code 2! ( 32b addr -- ) SP )+ D6 move D6 reg) A0 lea .b SP )+ A0 )+ move SP )+ A0 )+ move SP )+ A0 )+ move SP )+ A0 )+ move Next end-code \\ : 2@ ( adr -- 32b) dup 2+ @ swap @ ; : 2! ( 32b adr --) rot over 2+ ! ! ; \ lc@ lc! l@ l! 24may86we Code lc@ ( laddr -- 8b ) .l SP )+ A0 move 0 D0 moveq .b A0 ) D0 move .w D0 SP -) move Next end-code Code lc! ( 8b laddr -- ) .l SP )+ A0 move .w SP )+ D0 move .b D0 A0 ) move Next end-code Code l@ ( laddr -- n ) .l SP )+ A0 move .b A0 )+ D0 move .w 8 # D0 lsl .b A0 ) D0 move .w D0 SP -) move Next end-code Code l! ( n laddr -- ) .l SP )+ A0 move .w SP )+ D0 move .b D0 1 A0 D) move .w 8 # D0 lsr .b D0 A0 ) move Next end-code \ lcmove 10sep86we Code lcmove ( fromladdr toladdr count -- ) SP )+ D0 move .l SP )+ A0 move SP )+ A1 move .w D0 tst 0<> IF 1 D0 subq D0 DO .b A1 )+ A0 )+ move LOOP THEN Next end-code \ l2@ l2! cas201301 Code l2@ ( laddr -- 32bit ) .l SP )+ A0 move .b A0 )+ D0 move .l 8 # D0 lsl .b A0 )+ D0 move .l 8 # D0 lsl .b A0 )+ D0 move .l 8 # D0 lsl .b A0 ) D0 move .l D0 SP -) move Next end-code Code l2! ( 32bit laddr -- ) .l SP )+ A0 move SP )+ D0 move .l 8 # D0 rol .b D0 A0 )+ move .l 8 # D0 rol .b D0 A0 )+ move .l 8 # D0 rol .b D0 A0 )+ move .l 8 # D0 rol .b D0 A0 )+ move Next end-code Code ln+! ( n laddr -- ) \ only even addresses allowed .l SP )+ A0 move A0 ) A1 move .w SP )+ A1 adda .l A1 A0 ) move Next end-code \ +! drop swap 05sep86we Code +! ( n addr -- ) SP )+ D6 move D6 reg) A0 lea 2 A0 addq 2 SP addq 4 # move>ccr .b SP -) A0 -) addx SP -) A0 -) addx .w 2 SP addq Next end-code Code drop ( 16b -- ) 2 SP addq Next end-code Code swap ( 16b1 16b2 -- 16b2 16b1 ) .l SP ) D0 move D0 swap D0 SP ) move Next end-code \ dup ?dup 20mar86we Code dup ( 16b -- 16b 16b ) SP ) SP -) move Next end-code Code ?dup ( 16b -- 16b 16b / false ) SP ) tst 0<> IF SP ) SP -) move THEN Next end-code \\ : ?dup ( 16b -- 16b 16b / false) dup IF dup THEN ; \ over rot nip under bp 11 oct 86 Code over ( 16b1 16b2 - 16b1 16b3 16b1 ) 2 SP D) SP -) move Next end-code Code rot ( 16b1 16b2 16b3 - 16b2 16b3 16b1 ) SP )+ D1 move SP )+ D2 move SP ) D0 move D2 SP ) move D1 SP -) move D0 SP -) move Next end-code Code nip ( 16b1 16b2 -- 16b2 ) SP )+ SP ) move Next end-code Code under ( 16b1 16b2 - 16b2 16b1 16b2 ) .l SP ) D0 move D0 swap D0 SP ) move .w D0 SP -) move Next end-code \\ : nip ( 16b1 16b2 -- 16b2) swap drop ; : under ( 16b1 16b2 -- 16b2 16b1 16b2) swap over ; \ -rot nip pick roll bp 11 oct 86 Code -rot ( 16b1 16b2 16b3 -- 16b3 16b1 16b2 ) SP )+ D2 move SP )+ D0 move SP ) D1 move D2 SP ) move D1 SP -) move D0 SP -) move Next end-code Code pick ( n -- 16b.n ) .l D0 clr .w SP )+ D0 move D0 D0 add 0 D0 SP DI) SP -) move Next end-code : roll ( n -- ) dup >r pick sp@ dup 2+ r> 1+ 2* cmove> drop ; : -roll ( n -- ) >r dup sp@ dup 2+ dup 2+ swap r@ 2* cmove r> 1+ 2* + ! ; \\ : pick ( n -- 16b.n ) 1+ 2* sp@ + @ ; : -rot ( 16b1 16b2 16b3 -- 16b3 16b1 16b2 ) rot rot ; \ double word stack manip. bp 12oct86 Code 2swap ( 32b1 32b2 -- 32b2 32b1 ) .l SP )+ D0 move SP ) D1 move D0 SP ) move D1 SP -) move Next end-code Code 2dup ( 32b -- 32b 32b ) .l SP ) SP -) move Next end-code Code 2over ( 32b1 32b2 -- 32b1 32b2 32b1 ) .l 4 SP D) SP -) move Next end-code Code 2drop ( 32b -- ) 4 SP addq Next end-code \\ : 2swap ( 32b1 32b2 -- 32b2 32b1) rot >r rot r> ; : 2drop ( 32b -- ) drop drop ; : 2dup ( 32b -- 32b 32b) over over ; \ + and or xor not 19mar86we Code + ( n1 n2 -- n3 ) SP )+ D0 move D0 SP ) add Next end-code Code or ( 16b1 16b2 -- 16b3 ) SP )+ D0 move D0 SP ) or Next end-code Code and ( 16b1 16b2 -- 16b3 ) SP )+ D0 move D0 SP ) and Next end-code Code xor ( 16b1 16b2 -- 16b3 ) SP )+ D0 move D0 SP ) eor Next end-code Code not ( 16b1 -- 16b2 ) SP ) not Next end-code \ - negate 19mar86we Code - ( n1 n2 -- n3 ) SP )+ D0 move D0 SP ) sub Next end-code Code negate ( n1 -- n2 ) SP ) neg Next end-code \ double arithmetic cas201301 Code dnegate ( d1 -- -d1 ) .l SP ) neg Next end-code Code d+ ( d1 d2 -- d3 ) .l SP )+ D0 move D0 SP ) add Next end-code Code d- ( d1 d2 -- d1-d2 ) .l SP )+ D0 move D0 SP ) sub Next end-code Code d* ( d1 d2 -- d1*d2 ) .l SP )+ D0 move SP )+ D1 move D0 D2 move D0 D3 move D3 swap D1 D4 move D4 swap D1 D0 mulu D3 D1 mulu D4 D2 mulu D0 swap .w D1 D0 add .w D2 D0 add .l D0 swap D0 SP -) move Next end-code \ 1+ 2+ 3+ 4+ 6+ 1- 2- 4- 18nov86we Code 1+ ( n1 -- n2 ) 1 SP ) addq Next end-code Code 2+ ( n1 -- n2 ) 2 SP ) addq Next end-code Code 3+ ( n1 -- n2 ) 3 SP ) addq Next end-code Code 4+ ( n1 -- n2 ) 4 SP ) addq Next end-code | Code 6+ ( n1 -- n2 ) 6 SP ) addq Next end-code Code 1- ( n1 -- n2 ) 1 SP ) subq Next end-code Code 2- ( n1 -- n2 ) 2 SP ) subq Next end-code Code 4- ( n1 -- n2 ) 4 SP ) subq Next end-code : on ( addr -- ) true swap ! ; : off ( addr -- ) false swap ! ; \ number Constants bp 18nov86we Code true ( -- -1 ) -1 # SP -) move Next end-code Code false ( -- 0 ) 0 # SP -) move Next end-code Code 1 ( -- 1 ) 1 # SP -) move Next end-code Code 2 ( -- 2 ) 2 # SP -) move Next end-code Code 3 ( -- 3 ) 3 # SP -) move Next end-code Code 4 ( -- 4 ) 4 # SP -) move Next end-code ' true Alias -1 ' false Alias 0 \ words for number literals 19mar86we Code lit ( -- 16b ) IP )+ SP -) move Next end-code : Literal ( 16b -- ) compile lit , ; immediate restrict \ comparision code words 19mar86we Label yes true # SP ) move Next Label no SP ) clr Next Code 0< ( n -- flag ) SP ) tst yes bmi no bra end-code Code 0= ( 16b -- flag ) SP ) tst yes beq no bra end-code Code < ( n1 n2 -- flag ) SP )+ D0 move SP ) D0 cmp yes bgt no bra end-code Code u< ( u1 u2 -- flag ) SP )+ D0 move SP ) D0 cmp yes bhi no bra end-code : uwithin ( u1 [low up[ -- flag ) rot under u> -rot u> not and ; \ comparision code words 25mar86we Code > ( n1 n2 -- flag ) SP )+ D0 move SP ) D0 cmp yes blt no bra end-code Code 0> ( n -- flag ) SP ) tst yes bgt no bra end-code Code 0<> ( n -- flag ) SP ) tst yes bne no bra end-code Code u> ( u1 u2 -- flag ) SP )+ D0 move SP ) D1 move D0 D1 cmp yes bhi no bra end-code Code = ( n1 n2 -- flag ) SP )+ D0 move SP ) D0 cmp yes beq no bra end-code \ comparision words 20mar86we : d0= ( d -- flag ) or 0= ; : d= ( d1 d2 -- flag ) dnegate d+ d0= ; : d< ( d1 d2 -- flag ) rot 2dup - IF > nip nip ELSE 2drop u< THEN ; \\ : 0< 8000 and 0<> ; : > ( n1 n2 -- flag ) swap < ; : 0> ( n -- flag ) negate 0< ; : 0<> ( n -- flag ) 0= not ; : u> ( u1 u2 -- flag ) swap u< ; : = ( n1 n2 -- flag ) - 0= ; \ min max umax umin extend dabs abs 18nov86we | Code minimax ( n1 n2 f -- n ) SP )+ tst 0<> IF SP ) 2 SP D) move THEN 2 SP addq Next end-code : min ( n1 n2 -- n3 ) 2dup > minimax ; : max ( n1 n2 -- n3 ) 2dup < minimax ; : umax ( u1 u2 -- u3 ) 2dup u< minimax ; : umin ( u1 u2 -- u3 ) 2dup u> minimax ; : extend ( n -- d ) dup 0< ; : dabs ( d -- ud ) extend IF dnegate THEN ; : abs ( n -- u) extend IF negate THEN ; \\ : minimax ( n1 n2 flag -- n3 ) rdrop IF swap THEN drop ; \ loop primitives 19mar86we | : dodo rdrop r> 2+ dup >r rot >r swap >r >r ; : (do ( limit start -- ) over - dodo ; restrict : (?do ( limit start -- ) over - ?dup IF dodo THEN r> dup @ + >r drop ; restrict : bounds ( start count -- limit start ) over + swap ; Code endloop 6 RP addq Next end-code restrict \\ dodo puts "index | limit | adr.of.DO" on return-stack \ (loop (+loop 04sep86we Code (loop 1 RP ) addq CC IF 4 RP D) D6 move D6 reg) IP lea THEN Next end-code restrict Code (+loop SP )+ D0 move D0 D1 move D0 RP ) add 1 # D1 roxr D0 D1 eor 0>= IF 4 RP D) D6 move D6 reg) IP lea THEN Next end-code restrict \ loop indices 20mar86we Code I ( -- n ) RP ) D0 move 2 RP D) D0 add D0 SP -) move Next end-code Code J ( -- n ) 6 RP D) D0 move 8 RP D) D0 add D0 SP -) move Next end-code \ branch ?branch 06sep86we Code branch Label bran1 IP ) IP adda Next end-code Code ?branch ( fl -- ) SP )+ tst bran1 beq 2 IP addq Next end-code \ resolve loops and branches 19mar86we : >mark ( -- addr ) here 0 , ; : >resolve ( addr -- ) here over - swap ! ; : <mark ( -- addr ) here ; : <resolve ( addr -- ) here - , ; : ?pairs ( n1 n2 -- ) - abort" unstructured" ; \ case? 19mar86we Code case? ( 16b1 16b2 -- 16b1 false / true ) SP )+ D0 move SP ) D0 cmp yes beq SP -) clr Next end-code \\ : case? ( 16b1 16b2 -- 16b1 false / true ) over = dup IF nip THEN ; \ Branching 24nov85we : IF compile ?branch >mark 1 ; immediate restrict : THEN abs 1 ?pairs >resolve ; immediate restrict : ELSE 1 ?pairs compile branch >mark swap >resolve -1 ; immediate restrict : BEGIN <mark 2 ; immediate restrict : WHILE 2 ?pairs 2 compile ?branch >mark -2 2swap ; immediate restrict | : (reptil <resolve BEGIN dup -2 = WHILE drop >resolve REPEAT ; : REPEAT 2 ?pairs compile branch (reptil ; immediate restrict : UNTIL 2 ?pairs compile ?branch (reptil ; immediate restrict \ Loops 24nov85we : DO compile (do >mark 3 ; immediate restrict : ?DO compile (?do >mark 3 ; immediate restrict : LOOP 3 ?pairs compile (loop compile endloop >resolve ; immediate restrict : +LOOP 3 ?pairs compile (+loop compile endloop >resolve ; immediate restrict : LEAVE endloop r> 2- dup @ + >r ; restrict \\ Returnstack: calladr | index limit | adr of DO \ Multiplication 18nov86we Code um* ( u1 u2 -- ud ) SP )+ D0 move SP )+ D0 mulu .l D0 SP -) move Next end-code Code * ( n1 n2 -- n ) SP )+ D0 move SP )+ D0 mulu D0 SP -) move Next end-code : m* ( n1 n2 -- d ) dup 0< dup >r IF negate THEN swap dup 0< IF negate r> not >r THEN um* r> IF dnegate THEN ; Code 2* ( n -- 2*n ) SP ) asl Next end-code Code 2/ ( n -- n/2 ) SP ) asr Next end-code \ Division cas201301 label divovl ;c: true abort" division overflow" ; Label (m/mod \ d(D2) n(D0) -- mod quot .l A7 )+ A0 move \ get addr from stack .w D0 D1 move D0 D3 move .l D1 ext D2 D1 eor 0< IF D2 neg .w D0 neg THEN D0 D2 divs divovl bvs .w D2 D0 move D2 swap .l D1 tst 0< IF .w D2 tst 0<> IF 1 D0 subq \ quot = quot - 1 D3 D2 sub D2 neg \ rem = n - rem THEN THEN .w D2 SP -) move D0 SP -) move .l A0 ) jmp \ adr. from /0-TRAPS leads to a GEM crash \ um/mod m/mod /mod 18nov86we Code um/mod ( d1 n1 -- rem quot ) SP )+ D0 move .l SP )+ D1 move D0 D1 divu divovl bvs D1 swap D1 SP -) move Next end-code Code m/mod ( d n -- mod quot ) SP )+ D0 move .l SP )+ D2 move (m/mod bsr Next end-code Code /mod ( n1 n2 -- mod quot ) SP )+ D0 move SP )+ D2 move .l D2 ext (m/mod bsr Next end-code \ / mod 18nov86we Code / ( n1 n2 -- quot ) SP )+ D0 move SP )+ D2 move .l D2 ext .w D0 D1 move D2 D1 eor \ SHORT way ! 0< IF (m/mod bsr SP )+ SP ) move Next THEN D0 D2 divs divovl bvs D2 SP -) move Next end-code Code mod ( n1 n2 -- mod ) SP )+ D0 move SP )+ D2 move .l D2 ext .w D0 D1 move D2 D1 eor \ SHORT way ! 0< IF (m/mod bsr 2 SP addq Next THEN D0 D2 divs divovl bvs D2 swap D2 SP -) move Next end-code \ */mod */ u/mod ud/mod 18nov86we : */mod ( n1 n2 n3 -- rem quot ) >r m* r> m/mod ; : */ ( n1 n2 n3 -- quot ) */mod nip ; : u/mod ( u1 u2 -- urem uquot ) 0 swap um/mod ; : ud/mod ( ud1 u2 -- urem udquot ) >r 0 r@ um/mod r> swap >r um/mod r> ; \\ : /mod ( n1 n2 -- rem quot ) >r extend r> m/mod ; : / ( n1 n2 -- quot ) /mod nip ; : mod ( n1 n2 -- rem ) /mod drop ; : m/mod ( d n -- mod quot ) dup >r abs over 0< IF under + swap THEN um/mod r@ 0< IF negate over IF swap r@ + swap 1- THEN THEN rdrop ; \ cmove cmove> 04sep86we Code cmove ( from to count -- ) SP )+ D0 move SP )+ D6 move D6 reg) A0 lea SP )+ D6 move D6 reg) A1 lea D0 tst 0<> IF 1 D0 subq D0 DO .b A1 )+ A0 )+ move LOOP THEN Next end-code Code cmove> ( from to count -- ) SP )+ D0 move SP )+ D6 move D0 D6 add D6 reg) A0 lea SP )+ D6 move D0 D6 add D6 reg) A1 lea D0 tst 0<> IF 1 D0 subq D0 DO .b A1 -) A0 -) move LOOP THEN Next end-code \ move place count bp 11 oct 86 : move ( from to quan -- ) >r 2dup u< IF r> cmove> exit THEN r> cmove ; : place ( addr len to --) over >r rot over 1+ r> move c! ; Code count ( adr -- adr+1 len ) SP ) D6 move D6 reg) A0 lea D0 clr .b A0 )+ D0 move .w 1 SP ) addq D0 SP -) move Next end-code \\ : count ( adr -- adr+1 len ) dup 1+ swap c@ ; \ fill erase bp 11 oct 86 Code fill ( addr quan 8b -- ) SP )+ D0 move SP )+ D1 move SP )+ D6 move D6 reg) A0 lea D1 tst 0<> IF 1 D1 subq D1 DO .b D0 A0 )+ move LOOP THEN Next end-code : erase ( addr quan --) 0 fill ; \\ : fill ( addr quan 8b -- ) swap ?dup IF >r over c! dup 1+ r> 1- cmove exit THEN 2drop ; \ , c, 08sep86we Code , ( 8b -- ) UP R#) D6 move .l user' dp D6 FP DI) D6 .w move D6 reg) A0 lea .b SP )+ A0 )+ move SP )+ A0 )+ move .w UP R#) D6 move .l 2 user' dp D6 FP DI) .w addq Next end-code Code c, ( 8b -- ) UP R#) D6 move .l user' dp D6 FP DI) D6 .w move D6 reg) A0 lea SP )+ D0 move .b D0 A0 )+ move .w UP R#) D6 move .l 1 user' dp D6 FP DI) .w addq Next end-code \\ : , ( 16b -- ) here ! 2 allot ; : c, ( 8b -- ) here c! 1 allot ; \ allot pad compile 08sep86we Code here ( -- addr ) UP R#) D6 move .l user' dp D6 FP DI) SP -) .w move Next end-code Code allot ( n -- ) UP R#) D6 move SP )+ D0 move D0 .l user' dp D6 FP DI) .w add Next end-code : pad ( -- addr ) here $42 + ; : compile r> dup 2+ >r @ , ; restrict \\ : here ( -- addr ) dp @ ; : allot ( n -- ) dup here + up@ u> abort" Dictionary full" dp +! ; \ input strings 25mar86we Variable #tib 0 #tib ! Variable >tib here >tib ! &80 allot Variable >in 0 >in ! Variable blk 0 blk ! Variable span 0 span ! : tib ( -- addr ) >tib @ ; : query tib &80 expect span @ #tib ! >in off blk off ; \ scan skip /string 16nov85we : /string ( addr0 len0 +n - addr1 len1 ) over umin rot over + -rot - ; \\ : scan ( addr0 len0 char -- addr1 len1 ) >r BEGIN dup WHILE over c@ r@ - WHILE 1- swap 1+ swap REPEAT rdrop ; : skip ( addr len del -- addr1 len1 ) >r BEGIN dup WHILE over c@ r@ = WHILE 1- swap 1+ swap REPEAT rdrop ; \ skip scan 04sep86we Label done .l FP A0 suba .w A0 SP -) move D1 SP -) move Next Code skip ( addr len del -- addr1 len1 ) SP )+ D0 move SP )+ D1 move 1 D1 addq SP )+ D6 move D6 reg) A0 lea BEGIN 1 D1 subq 0<> WHILE .b A0 ) D2 move D2 D0 cmp done bne .w 1 A0 addq REPEAT done bra end-code Code scan ( addr len chr -- addr1 len1 ) SP )+ D0 move SP )+ D1 move 1 D1 addq SP )+ D6 move D6 reg) A0 lea BEGIN 1 D1 subq 0<> WHILE .b A0 ) D2 move D2 D0 cmp done beq .w 1 A0 addq REPEAT done bra end-code \ convert to upper case 04sep86we Label umlaut Ascii <20> c, Ascii <20> c, Ascii <20> c, Ascii <20> c, Ascii <20> c, Ascii <20> c, Label (capital ( D1 -> D1 ) D1 7 # btst 0= IF .b Ascii a D1 cmpi >= IF Ascii z D1 cmpi <= IF bl D1 subi THEN THEN rts THEN umlaut R#) A1 lea 2 D2 moveq D2 DO .b A1 ) D1 cmp 0= IF .w 3 A1 addq .b A1 ) D1 move rts THEN .w 1 A1 addq LOOP rts end-code \ capital capitalize bp 11 oct 86 Code capital ( char -- char' ) SP ) D1 move (capital bsr D1 SP ) move Next end-code Code capitalize ( string -- string ) SP ) D6 move D6 reg) A0 lea D0 clr .b A0 )+ D0 move 0<> IF 1 D0 subq D0 DO A0 ) D1 move (capital bsr D1 A0 )+ move LOOP THEN Next end-code \\ : capitalize ( string -- string) dup count bounds ?DO I c@ capital I c! LOOP ; \ (word bp 11 oct 86 Code (word ( char adr0 len0 -- addr ) D1 clr SP )+ D0 move D0 D4 move SP )+ D6 move D6 reg) A0 lea SP ) D2 move >in R#) D3 move D3 A0 adda D3 D0 sub <= IF D4 >in R#) move ELSE 1 D0 addq BEGIN 1 D0 subq 0<> WHILE .b A0 ) D2 cmp 0= WHILE .l 1 A0 addq REPEAT THEN A0 A1 move .w 1 D0 addq BEGIN .w 1 D0 subq 0<> WHILE .b A0 ) D2 cmp 0<> WHILE .w 1 A0 addq 1 D1 addq REPEAT THEN .w D1 tst 0<> IF 1 A0 addq THEN .l FP A0 suba D6 A0 suba .w A0 >in R#) move THEN \ (word Part2 bp 11 oct 86 UP R#) D6 move .l user' dp D6 FP DI) D6 .w move D6 reg) A0 lea D6 SP ) move .b D1 A0 )+ move .w 1 D1 subq 0>= IF D1 DO .b A1 )+ A0 )+ move LOOP THEN bl # A0 ) move Next end-code \\ : word ( char -- addr) >r source over swap >in @ /string r@ skip over swap r> scan >r rot over swap - r> 0<> - >in ! over - here dup >r place bl r@ count + c! r> ; \ even source word parse name bp 11oct86 : even ( addr -- addr1 ) dup 1 and + ; Variable loadfile 0 loadfile ! : source ( -- addr len ) blk @ ?dup IF loadfile @ (block b/blk exit THEN tib #tib @ ; : word ( char -- addr ) source (word ; : parse ( char -- addr len ) >r source >in @ /string over swap r> scan >r over - dup r> 0<> - >in +! ; : name ( -- addr ) bl word capitalize exit ; \ state Ascii ," (" " 15jun86we Variable state 0 state ! : Ascii ( char -- n ) bl word 1+ c@ state @ IF [compile] Literal THEN ; immediate : ," Ascii " parse here over 1+ allot place ; : "lit r> r> under count + even >r >r ; restrict : (" "lit ; restrict : " compile (" ," align ; immediate restrict \ ." ( .( \ \\ hex decimal 25mar86we : (." "lit count type ; restrict : ." compile (." ," align ; immediate restrict : ( ascii ) parse 2drop ; immediate : .( ascii ) parse type ; immediate : \ >in @ c/l / 1+ c/l * >in ! ; immediate : \\ b/blk >in ! ; immediate : \needs name find nip IF [compile] \ THEN ; : hex $10 base ! ; : decimal &10 base ! ; \ number conversion: digit? cas201301 | Variable ptr \ points into string Label fail SP ) clr Next Code digit? ( char -- n true : false ) UP R#) D6 move .l user' base D6 FP DI) D0 .w move SP ) D1 move .b Ascii 0 D1 subi fail bmi &10 D1 cmpi 0>= IF $11 D1 cmpi fail bmi 7 D1 subq THEN D0 D1 cmp fail bpl .w D1 SP ) move true # SP -) move Next end-code \\ : digit? ( char -- digit true/ false ) Ascii 0 - dup 9 u> IF [ Ascii A Ascii 9 - 1- ] Literal - dup 9 u> IF [ 2swap ( unstructured ) ] THEN base @ over u> ?dup ?exit THEN drop false ; \ number conversion: accumulate convert 11sep86we Code accumulate ( +d0 addr digit -- +d1 addr ) 0 D0 moveq SP )+ D0 move 2 SP D) D1 move 4 SP D) D2 move UP R#) D6 move .l user' base D6 FP DI) D3 .w move D3 D2 mulu D3 D1 mulu .l D1 swap .w D1 clr .l D2 D1 add D0 D1 add D1 2 SP D) move Next end-code : convert ( +d1 addr0 -- +d2 addr2 ) 1+ BEGIN count digit? WHILE accumulate REPEAT 1- ; \\ : accumulate ( +d0 adr digit - +d1 adr ) swap >r swap base @ um* drop rot base @ um* d+ r> ; \ number conversion: end? char previous 25mar86we | : end? ( -- flag ) ptr @ 0= ; | : char ( addr0 -- addr1 char ) count -1 ptr +! ; | : previous ( addr0 -- addr0 char ) 1- count ; \ number conversion: ?nonum punctuation? 25mar86we | : ?nonum ( flag -- exit if true ) IF rdrop 2drop drop rdrop false THEN ; | : punctuation? ( char -- flag ) Ascii , over = swap Ascii . = or ; \ number conversion: fixbase? 25mar86we | : fixbase? ( char - char false / newbase true ) Ascii & case? IF &10 true exit THEN Ascii $ case? IF $10 true exit THEN Ascii H case? IF $10 true exit THEN Ascii % case? IF 2 true exit THEN false ; \ number conversion: ?num ?dpl 25mar86we Variable dpl -1 dpl ! | : ?num ( flag -- exit if true ) IF rdrop drop r> IF dnegate THEN rot drop dpl @ 1+ ?dup ?exit drop true THEN ; | : ?dpl dpl @ -1 = ?exit 1 dpl +! ; \ (number number 11sep86we : number? ( string - string false / n 0< / d 0> ) base push dup count ptr ! dpl on 0 >r ( +sign) 0 0 rot end? ?nonum char Ascii - case? IF rdrop true >r end? ?nonum char THEN fixbase? IF base ! end? ?nonum char THEN BEGIN digit? 0= ?nonum BEGIN accumulate ?dpl end? ?num char digit? 0= UNTIL previous punctuation? 0= ?nonum dpl off end? ?num char REPEAT ; : number ( string -- d ) number? ?dup 0= abort" ?" 0< IF extend THEN ; \ hide reveal immediate restrict 24nov85we Variable last 0 last ! | : last? ( -- false / acf true) last @ ?dup ; : hide last? IF 2- @ current @ ! THEN ; : reveal last? IF 2- current @ ! THEN ; : Recursive reveal ; immediate restrict | : flag! ( 8b --) last? IF under c@ or over c! THEN drop ; : immediate $40 flag! ; : restrict $80 flag! ; \ clearstack hallot heap heap? bp 11 oct 86 Code clearstack UP R#) D6 move .l user' s0 D6 FP DI) D6 .w move $FFFE D6 andi D6 reg) SP lea Next end-code \ mu<6D> Code : hallot ( quan -- ) s0 @ over - swap sp@ 2+ dup rot dup 1 and ?dup IF over 0< IF negate THEN + THEN - dup s0 ! 2 pick over - move clearstack s0 ! ; : heap ( -- addr ) s0 @ 6 + ; : heap? ( addr -- flag ) heap up@ uwithin ; | : heapmove ( from -- from ) dup here over - dup hallot heap swap cmove heap over - last +! reveal ; \ Does> ; 24sep86we Label (dodoes> .l FP IP suba .w IP RP -) move A7 )+ IP lmove 2 D7 addq D7 SP -) move Next end-code | : (;code r> last @ name> ! ; : Does> compile (;code $4EAB , compile (dodoes> ; immediate restrict \ Does> compiles (;code and JSR (doedoes> FP D) \ ?head | alignments warning exists? 15jun86we Variable ?head 0 ?head ! : | ?head @ ?exit -1 ?head ! ; : align here 1 and allot ; : halign heap 1 and hallot ; Variable warning 0 warning ! | : exists? warning @ ?exit last @ current @ (find nip IF space last @ .name ." exists " ?cr THEN ; \ Create 06sep86we : blk@ blk @ ; Defer makeview ' blk@ Is makeview : Create align here makeview , current @ @ , name c@ dup 1 $20 uwithin not abort" invalid name" here last ! 1+ allot align exists? ?head @ IF 1 ?head +! dup , \ Pointer to Code halign heapmove $20 flag! dp ! ELSE drop THEN reveal 0 , ;Code 2 D7 addq D7 SP -) move Next end-code \ nfa? 04sep86we Code nfa? ( thread cfa -- nfa | false ) SP )+ D2 move SP )+ D6 move D6 reg) A0 lea .w BEGIN A0 ) D6 move 0= IF SP -) clr Next THEN .l D6 reg) A0 lea 2 D6 addq D6 reg) A1 lea .b A1 ) D0 move .w $1F D0 andi 1 D0 addq D0 D1 move 1 D1 andi D1 D0 add D0 D6 add .b A1 ) D0 move .w $20 D0 andi 0<> IF D6 reg) D6 move THEN D2 D6 cmp 0= UNTIL .l FP A1 suba .w A1 SP -) move Next end-code \\ : nfa? ( thread cfa -- nfa / false) >r BEGIN @ dup 0= IF rdrop exit THEN dup 2+ name> r@ = UNTIL 2+ rdrop ; \ >name name> >body .name 14sep86we : >name ( cfa -- nfa / false ) voc-link BEGIN @ dup WHILE 2dup 4- swap nfa? ?dup IF -rot 2drop exit THEN REPEAT nip ; | : (name> ( nfa -- cfa ) count $1F and + even ; : name> ( nfa -- cfa ) dup (name> swap c@ $20 and IF @ THEN ; : >body ( cfa -- pfa ) 2+ ; : .name ( nfa -- ) ?dup IF dup heap? IF ." |" THEN count $1F and type ELSE ." ???" THEN space ; \ : ; Constant Variable bp 12oct86 : Create: Create hide current @ context ! ] 0 ; : : Create: ;Code .l FP IP suba .w IP RP -) move .l 2 D7 FP DI) IP lea Next end-code : ; 0 ?pairs compile unnest [compile] [ reveal ; immediate restrict : Constant Create , ;Code .l 2 D7 FP DI) .w SP -) move Next end-code : 2Constant Create , , does> 2@ ; \ uallot User Alias bp 12oct86 : Variable Create 2 allot ; : 2Variable Create 4 allot ; : uallot ( quan -- offset ) dup udp @ + $FF u> abort" Userarea full" udp @ swap udp +! ; : User Create udp @ 1 and udp +! 2 uallot c, ;Code UP R#) D0 move 0 D1 moveq .l 2 D7 FP DI) .b D1 move .w D1 D0 add D0 SP -) move Next end-code : Alias ( cfa -- ) Create last @ dup c@ $20 and IF -2 allot ELSE $20 flag! THEN (name> ! ; \ vp current context also toss 19mar86we Create vp $10 allot Variable current : context ( -- addr ) vp dup @ + 2+ ; | : thru.vocstack ( -- from to ) vp 2+ context ; \ "Only Forth also Assembler" gives \ vp: countword = 6 | Only | Forth | Assembler | : also vp @ &10 > error" Vocabulary stack full" context @ 2 vp +! context ! ; : toss vp @ IF -2 vp +! THEN ; \ Vocabulary Forth Only Onlyforth 24nov85we : Vocabulary Create 0 , 0 , here voc-link @ , voc-link ! Does> context ! ; \ | Name | Code | Thread | Coldthread | Voc-link | Vocabulary Forth Vocabulary Only ] Does> [ Onlypatch ] 0 vp ! context ! also ; ' Only ! : Onlyforth Only Forth also definitions ; \ definitions order words 24nov85we : definitions context @ current ! ; | : .voc ( adr -- ) @ 2- >name .name ; : order thru.vocstack DO I .voc -2 +LOOP 2 spaces current .voc ; : words context @ BEGIN @ dup stop? 0= and WHILE ?cr dup 2+ .name space REPEAT drop ; \ found -text bp 11 oct 86 | : found ( nfa -- cfa n ) dup c@ >r (name> r@ $20 and IF @ THEN -1 r@ $80 and IF 1- THEN r> $40 and IF negate THEN ; \ (find bp 11 oct 86 \ A0: thread A1: string A2: nfa in thread D0: count \ D1: act. char D3: act. nfa D4: string Label notfound SP -) clr Next Code (find ( str thr - str false/ NFA true ) .w SP )+ D6 move D6 reg) A0 lea SP ) D6 move D6 reg) A1 lea .b A1 ) D0 move .w $1F D0 andi A1 D4 lmove D4 0 # btst 0= IF 1 D0 addq Label findloop D4 A1 lmove BEGIN A0 ) D6 move notfound beq D6 reg) A0 lea .w A1 ) D1 move .l 2 D6 FP DI) D1 .w sub $1FFF D1 andi 0= UNTIL .l 2 D6 FP DI) A2 lea A2 D3 move 2 A1 addq 2 A2 addq \ (find part 2 09sep86we .w 0 D2 moveq BEGIN 2 D2 addq D2 D0 cmp > WHILE A1 )+ A2 )+ cmpm findloop bne REPEAT ELSE Label findloop1 A0 ) D6 move notfound beq .l D6 reg) A0 lea 2 D6 FP DI) A2 lea A2 D3 move D4 A1 move .b A1 )+ D1 move A2 )+ D1 sub $1F D1 andi findloop1 bne D0 D1 move BEGIN 1 D1 subq 0>= WHILE A1 )+ A2 )+ cmpm findloop1 bne REPEAT THEN .l FP D3 sub .w D3 SP ) move true # SP -) move Next end-code \ find ' ['] cas201301 : find ( string -- cfa n / string false ) context dup @ over 2- @ = IF 2- THEN BEGIN under @ (find IF nip found exit THEN over vp 2+ u> WHILE swap 2- REPEAT nip false ; : ' ( -- cfa ) name find 0= abort" ?" ; : [compile] ' , ; immediate restrict : ['] ' [compile] Literal ; immediate restrict : nullstring? ( string -- string false / true ) dup c@ 0= dup IF nip THEN ; \ >interpret 24sep86we Label jump .l 2 D7 FP DI) .w D6 move D6 reg) IP lea 2 IP addq Next end-code Create >interpret 2 allot jump ' >interpret ! \ make >interpret to special Defer \ interpret interactive cas201301 Defer notfound : no.extensions ( string -- ) error" ?" ; \ string not 0 ' no.extensions Is notfound : interpret >interpret ; | : interpreter ?stack name find ?dup IF 1 and IF execute >interpret THEN abort" compile only" THEN nullstring? ?exit number? 0= IF notfound THEN >interpret ; ' interpreter >interpret ! \ compiling [ ] 22mar86we | : compiler ?stack name find ?dup IF 0> IF execute >interpret THEN , >interpret THEN nullstring? ?exit number? ?dup IF 0> IF swap [compile] Literal THEN [compile] Literal >interpret THEN notfound >interpret ; : [ ['] interpreter Is >interpret state off ; immediate : ] ['] compiler Is >interpret state on ; \ Defer Is 24sep86we | : crash true abort" crash" ; : Defer Create ['] crash , ;Code .l 2 D7 FP DI) .w D7 move D7 reg) D6 move .l D6 reg) jmp end-code : (is r> dup 2+ >r @ ! ; | : def? ( cfa -- ) @ ['] notfound @ over = swap ['] >interpret @ = or not abort" not deferred" ; : Is ( adr -- ) ' dup def? >body state @ IF compile (is , exit THEN ! ; immediate \ ?stack 08sep86we | : stackfull ( -- ) depth $20 > abort" tight stack" reveal last? IF dup heap? IF name> ELSE 4- THEN (forget THEN true abort" Dictionary full" ; Code ?stack UP R#) D6 move .l user' dp D6 FP DI) D0 .w move .l SP D1 move FP D1 sub .w D0 D1 sub $100 D1 cmpi $6200 ( u<= ) IF ;c: stackfull ; Assembler THEN .l user' s0 D6 FP DI) D0 .w move .l SP D1 move FP D1 sub .w D1 D0 cmp 0>= IF Next THEN ;c: true abort" Stack empty" ; \\ : ?stack sp@ here - $100 u< IF stackfull THEN sp@ s0 @ u> abort" Stack empty" ; \ .status push load 28aug86we Defer .status ' noop Is .status | Create: pull r> r> ! ; : push ( addr -- ) r> swap dup >r @ >r pull >r >r ; restrict : (load ( blk offset -- ) over 0= IF 2drop exit THEN isfile push loadfile push fromfile push blk push >in push >in ! blk ! isfile @ loadfile ! .status interpret ; : load ( blk -- ) 0 (load ; \ +load thru +thru --> rdepth depth 19mar86we : +load ( offset -- ) blk @ + load ; : thru ( from to -- ) 1+ swap DO I load LOOP ; : +thru ( off0 off1 -- ) 1+ swap DO I +load LOOP ; : --> 1 blk +! >in off .status ; immediate : rdepth ( -- +n ) r0 @ rp@ 2+ - 2/ ; : depth ( -- +n ) sp@ s0 @ swap - 2/ ; \ quit (quit abort cas201301 | : prompt state @ IF ." [ " exit THEN ." ok" ; : (quit BEGIN .status cr query interpret prompt REPEAT ; Defer 'quit ' (quit Is 'quit : quit r0 @ rp! [compile] [ 'quit ; : standardi/o [ output ] Literal output 4 cmove ; Defer 'abort ' noop Is 'abort : abort clearstack end-trace 'abort standardi/o quit ; \ (error abort" error" 29mar86we Variable scr 1 scr ! Variable r# 0 r# ! : (error ( string -- ) standardi/o space here .name count type space ?cr blk @ ?dup IF scr ! >in @ r# ! THEN quit ; ' (error errorhandler ! : (abort" "lit swap IF >r clearstack r> errorhandler perform exit THEN drop ; restrict | : (err" "lit swap IF errorhandler perform exit THEN drop ; restrict : abort" compile (abort" ," align ; immediate restrict : error" compile (err" ," align ; immediate restrict \ -trailing bp 11 oct 86 Code -trailing ( addr n1 -- addr n2 ) SP )+ D0 move 0<> IF SP ) D6 move D6 reg) A0 lea D0 A0 adda Label -trail .b A0 -) D1 move $20 D1 cmpi -trail D0 dbne .w -1 D0 cmpi 0= IF D0 clr THEN THEN D0 SP -) move Next end-code \\ : -trailing ( addr n1 -- addr n2) 2dup bounds ?DO 2dup + 1- c@ bl - IF LEAVE THEN 1- LOOP ; \ space spaces bp 11 oct 86 $20 Constant bl : space bl emit ; : spaces ( u -- ) 0 ?DO space LOOP ; \ hold <# #> sign # #s 02may86we | : hld ( -- addr ) pad 2- ; : hold ( char -- ) -1 hld +! hld @ c! ; : <# hld hld ! ; : #> ( 32b -- addr +n ) 2drop hld @ hld over - ; : sign ( n -- ) 0< IF Ascii - hold THEN ; : # ( +d1 -- +d2 ) base @ ud/mod rot 9 over < IF [ ascii A ascii 9 - 1- ] Literal + THEN Ascii 0 + hold ; : #s ( +d -- 0 0 ) BEGIN # 2dup d0= UNTIL ; \ print numbers 24dec83ks : d.r -rot under dabs <# #s rot sign #> rot over max over - spaces type ; : .r swap extend rot d.r ; : u.r 0 swap d.r ; : d. 0 d.r space ; : . extend d. ; : u. 0 d. ; \ .s list c/l l/s bp 18May86 : .s sp@ s0 @ over - $20 umin bounds ?DO I @ u. 2 +LOOP ; $40 Constant c/l \ Screen line length $10 Constant l/s \ lines per screen : list ( blk -- ) scr ! ." Scr " scr @ dup u. ." Dr " drv? . l/s 0 DO cr I 2 .r space scr @ block I c/l * + c/l -trailing type LOOP cr ; \ multitasker primitives 14sep86we Code pause Next end-code : lock ( addr -- ) dup @ up@ = IF drop exit THEN BEGIN dup @ WHILE pause REPEAT up@ swap ! ; : unlock ( addr -- ) dup lock off ; Label wake .l 2 A7 addq A7 )+ A0 move 2 A0 subq A0 A1 move FP A1 suba .w A1 UP R#) move $3C3C ( # D6 move ) # A0 ) move 8 A0 D) D6 move D6 reg) SP lea SP )+ D6 move D6 reg) RP lea SP )+ D6 move D6 reg) IP lea Next end-code \ buffer mechanism cas201301 User isfile 0 isfile ! \ addr of file control block Variable fromfile 0 fromfile ! Variable prev 0 prev ! \ Listhead | Variable buffers 0 buffers ! \ Semaphore $408 Constant b/buf \ physical size \\ Structure of buffer: 0 : link 2 : file 4 : blocknumber 6 : statusflags 8 : Data ... 1 Kb ... Statusflag bits : 15 1 -> updated file : -1 -> empty buffer, 0 -> no fcb, direct acces else addr of fcb ( system dependent ) \ search for blocks in memory with (CORE? cas201301\ D0:blk D1:file A0:bufadr A1:previous Label thisbuffer? 2 A0 D) D1 cmp 0= IF 4 A0 D) D0 cmp THEN rts Code (core? ( blk file -- adr\blk file ) 2 SP D) D0 move SP ) D1 move UP R#) D6 move .l user' offset D6 FP DI) D0 .w add prev R#) D6 move D6 reg) A0 lea thisbuffer? bsr 0= IF .l FP A0 suba Label blockfound 2 SP addq 8 A0 addq .w A0 SP ) move .l ' exit @ R#) jmp .w THEN BEGIN A0 A1 lmove A1 ) D6 move 0= IF Next THEN D6 reg) A0 lea thisbuffer? bsr 0= UNTIL A0 ) A1 ) move prev R#) A0 ) move .l FP A0 suba .w A0 prev R#) move blockfound bra end-code \ (core? 17nov85we \\ | : this? ( blk file bufadr -- flag ) dup 4+ @ swap 2+ @ d= ; | : (core? ( blk file -- dataaddr / blk file ) BEGIN over offset @ + over prev @ this? IF rdrop 2drop prev @ 8 + exit THEN 2dup >r offset @ + >r prev @ BEGIN dup @ ?dup 0= IF rdrop rdrop drop exit THEN dup r> r> 2dup >r >r rot this? 0= WHILE nip REPEAT dup @ rot ! prev @ over ! prev ! rdrop rdrop REPEAT ; \ r/w 11sep86we Defer r/w \ backup emptybuf readblk 11sep86we : backup ( bufaddr -- ) dup 6+ @ 0< IF 2+ dup @ 1+ \ buffer empty if file = -1 IF input push output push standardi/o dup 6+ over 2+ @ 2 pick @ 0 r/w abort" write error" THEN 4+ dup @ $7FFF and over ! THEN drop ; : emptybuf ( bufaddr -- ) 2+ dup on 4+ off ; | : readblk ( blk file addr -- blk file addr ) dup emptybuf input push output push standardi/o >r over offset @ + over r@ 8 + -rot 1 r/w abort" read error" r> ; \ take mark updated? full? core? cas20130105 | : take ( -- bufaddr) prev BEGIN dup @ WHILE @ dup 2+ @ -1 = UNTIL buffers lock dup backup ; | : mark ( blk file bufaddr -- blk file ) 2+ >r 2dup r@ ! offset @ + r@ 2+ ! r> 4+ off buffers unlock ; | : updates? ( -- bufaddr / flag ) prev BEGIN @ dup WHILE dup 6+ @ 0< UNTIL ; : updated? ( blk -- flg ) block 2- @ 0< ; : full? ( -- flag ) prev BEGIN @ dup @ 0= UNTIL 6+ @ 0< ; : core? ( blk file -- addr /false ) (core? 2drop false ; \ block & buffer manipulation b08sep86we : (buffer ( blk file -- addr ) BEGIN (core? take mark REPEAT ; : (block ( blk file -- addr ) BEGIN (core? take readblk mark REPEAT ; Code isfile@ ( -- addr ) UP R#) D6 move .l user' isfile D6 FP DI) SP -) .w move Next end-code : buffer ( blk -- addr ) isfile@ (buffer ; : block ( blk -- addr ) isfile@ (block ; \ block & buffer manipulation cas20130501 : update $80 prev @ 6+ c! ; : save-buffers buffers lock BEGIN updates? ?dup WHILE backup REPEAT buffers unlock ; : empty-buffers buffers lock prev BEGIN @ ?dup WHILE dup emptybuf REPEAT buffers unlock ; : flush save-buffers empty-buffers ; \ moving blocks cas201301| : fromblock ( blk -- adr ) fromfile @ (block ; | : (copy ( from to -- ) dup isfile@ core? IF prev @ emptybuf THEN full? IF save-buffers THEN offset @ + isfile@ rot fromblock 6 - 2! update ; | : blkmove ( from to quan --) save-buffers >r over r@ + over u> >r 2dup u< r> and IF r@ r@ d+ r> 0 ?DO -1 -2 d+ 2dup (copy LOOP ELSE r> 0 ?DO 2dup (copy 1 1 d+ LOOP THEN save-buffers 2drop ; : copy ( from to --) 1 blkmove ; : convey ( [blk1 blk2] [to.blk --) swap 1+ 2 pick - dup 0> not abort" No!" blkmove ; \ Allocating buffers bp 18May86 $FFFE Constant limit Variable first : allotbuffer ( -- ) first @ r0 @ - b/buf 2+ u< ?exit b/buf negate first +! first @ dup emptybuf prev @ over ! prev ! ; : freebuffer ( -- ) first @ limit b/buf - u< IF first @ backup prev BEGIN dup @ first @ - WHILE @ REPEAT first @ @ swap ! b/buf first +! THEN ; : all-buffers BEGIN first @ allotbuffer first @ = UNTIL ; \ endpoints of forget 14sep86we | : |? ( nfa -- flag ) c@ $20 and ; | : forget? ( adr nfa -- flag ) \ code in heap or above adr ? name> under 1+ u< swap heap? or ; | : endpoints ( addr -- addr symb ) heap voc-link >r BEGIN r> @ ?dup \ through all Vocabs WHILE dup >r 4- >r \ link on returnstack BEGIN r> @ >r over 1- dup r@ u< \ until link or swap r@ 2+ name> u< and \ code under adr WHILE r@ heap? [ 2dup ] UNTIL \ search for name in heap r@ 2+ |? IF over r@ 2+ forget? IF r@ 2+ (name> 2+ umax THEN \ then update symb THEN REPEAT rdrop REPEAT ; \ remove, -words, -tasks bp/ks14sep86we : remove ( dic sym thread - dic sym ) BEGIN dup @ ?dup \ unlink forg. words WHILE dup heap? IF 2 pick over u> ELSE 3 pick over 1+ u< THEN IF @ over ! ( unlink word) ELSE nip THEN REPEAT drop ; | : remove-words ( dic sym -- dic sym ) voc-link BEGIN @ ?dup WHILE dup >r 4- remove r> REPEAT ; | : remove-tasks ( dic -- ) up@ BEGIN 2+ dup @ up@ - WHILE 2dup @ swap here uwithin IF dup @ 2+ @ over ! 2- ELSE @ THEN REPEAT 2drop ; \ remove-vocs forget-words bp 11oct86 | : remove-vocs ( dic symb -- dic symb ) voc-link remove thru.vocstack DO 2dup I @ -rot uwithin IF [ ' Forth 2+ ] Literal I ! THEN -2 +LOOP 2dup current @ -rot uwithin IF [ ' Forth 2+ ] Literal current ! THEN ; | : remove-codes ( dic symb -- dic symb ) next-link remove ; Defer custom-remove ' noop Is custom-remove | : forget-words ( dic symb -- ) over remove-tasks remove-vocs remove-words remove-codes custom-remove heap swap - hallot dp ! last off ; \ deleting words from dict. bp 11oct86 : clear here dup up@ forget-words dp ! ; : (forget ( adr -- ) dup heap? abort" is symbol" endpoints forget-words ; : forget ' dup [ dp ] Literal @ u< abort" protected" >name dup heap? IF name> ELSE 4- THEN (forget ; : empty [ dp ] Literal @ up@ forget-words [ udp ] Literal @ udp ! ; \ save bye stop? ?cr cas201301 : save here up@ forget-words voc-link @ BEGIN dup 4- @ over 2- ! @ ?dup 0= UNTIL up@ origin $100 cmove ; : bye flush empty (bye ; | : end? key $FF and dup 3 = \ Stop key swap $1B = or \ Escape key IF true rdrop THEN ; : stop? ( -- flag ) key? IF end? end? THEN false ; : ?cr col c/l u> IF cr THEN ; \ in/output structure 25mar86we | : Out: Create dup c, 2+ Does> c@ output @ + perform ; : Output: Create: Does> output ! ; 0 Out: emit Out: cr Out: type Out: del Out: page Out: at Out: at? drop : row ( -- row ) at? drop ; : col ( -- col ) at? nip ; | : In: Create dup c, 2+ Does> c@ input @ + perform ; : Input: Create: Does> input ! ; 0 In: key In: key? In: decode In: expect drop \ Alias only definitionen 29jan85bp Only definitions Forth : seal 0 ['] Only >body ! ; \ kill all words in Only ' Only Alias Only ' Forth Alias Forth ' words Alias words ' also Alias also ' definitions Alias definitions Host Target \ 'cold 'restart 19mar86we | : init-vocabularys voc-link @ BEGIN dup 2- @ over 4- ! @ ?dup 0= UNTIL ; | : init-buffers 0 prev ! limit first ! all-buffers ; Defer 'cold ' noop Is 'cold | : (cold origin up@ $100 cmove init-vocabularys init-buffers 'cold page wrap Onlyforth cr &27 spaces logo count type cr (restart ; Defer 'restart ' noop Is 'restart | : (restart ['] (quit Is 'quit drvinit 'restart [ errorhandler ] Literal @ errorhandler ! ['] noop Is 'abort abort ; \ cold bootsystem restart 16oct86we Label buserror &14 # A7 adda ;c: true abort" Bus Error !" ; Label adrerror &14 # A7 adda ;c: true abort" Adress Error !" ; Label illegal 6 A7 addq ;c: true abort" Illegal Instruction !" ; Label div0 6 A7 addq ;c: true abort" Division by 0 !" ; | Create save_ssp 4 allot Code cold here >cold ! $A00A , \ hide mouse ' (cold >body FP D) IP lea \ restart 16oct86we Label bootsystem .l 0 D7 moveq .w user' s0 # D7 move origin D7 FP DI) D6 move .l D6 reg) SP lea .w 6 D6 addq D6 UP R#) move .w user' r0 # D7 move origin D7 FP DI) D6 move .l D6 reg) RP lea RP ) clr 0 D6 moveq .w D0 move<sr D0 $0D # btst ( src<>dst) 0= IF .l A7 -) clr .w $20 # A7 -) move 1 trap .l D0 save_ssp R#) move 6 A7 addq THEN .w buserror # D6 move .l D6 reg) A0 lea A0 8 #) move .w adrerror # D6 move .l D6 reg) A0 lea A0 $0C #) move .w illegal # D6 move .l D6 reg) A0 lea A0 $10 #) move .w div0 # D6 move .l D6 reg) A0 lea A0 $14 #) move .w wake # D6 move .l D6 reg) A0 lea A0 $8C #) move Next end-code \ System dependent load screen bp 11oct86 Code restart here >restart ! ' (restart >body FP D) IP lea bootsystem bra end-code 2 $0C +thru \ Atari 520 ST Interface Host ' Transient 8 + @ Transient Forth context @ 6 + ! \ Tlatest aus Transient wird Tlatest in Forth Target Forth also definitions : forth-83 ; \ last word in Dictionary \ System patchup 14sep86we Forth definitions $D3AA s0 ! $D7AA r0 ! \ gives &10 Buffers s0 @ dup s0 2- ! 6 + s0 8 - ! here dp ! Host Tudp @ Target udp ! Host Tvoc-link @ Target voc-link ! Host Tnext-link @ Target next-link ! Host move-threads \ BIOS - Calls 09sep86we Code bconstat ( dev -- fl ) SP )+ D0 move D0 A7 -) move 1 # A7 -) move $0D trap 4 A7 addq D0 SP -) move Next end-code Code bcostat ( dev -- fl ) SP )+ D0 move D0 A7 -) move 8 # A7 -) move $0D trap 4 A7 addq D0 SP -) move Next end-code Code bconin ( dev -- char ) SP )+ D0 move D0 A7 -) move 2 # A7 -) move $0D trap 4 A7 addq .w D0 D1 move .l 8 # D0 lsr .b D1 D0 move .w D0 SP -) move Next end-code Code bconout ( char dev -- ) SP )+ D0 move SP )+ A7 -) move D0 A7 -) move 3 # A7 -) move $0D trap 6 A7 addq Next end-code \ STkey? getkey cas201301 $08 Constant #bs $0D Constant #cr $0A Constant #lf $1B Constant #esc : con! ( 8b -- ) 2 bconout ; : curon #esc con! Ascii e con! ; : curoff #esc con! Ascii f con! ; : wrap #esc con! Ascii v con! ; : cur< #esc con! Ascii D con! -1 out +! ; : cur> #esc con! Ascii C con! 1 out +! ; : STkey? ( -- fl ) 2 bconstat ; : getkey ( -- char ) STkey? IF 2 bconin ELSE 0 THEN ; : STkey ( -- char ) curon BEGIN pause STkey? UNTIL curoff getkey ; \ (ins (del cas201301 | Variable maxchars | : (del ( addr pos1 -- addr pos2 ) 2dup cur< at? >r >r 2dup + over span @ - negate under type space r> r> at >r + dup 1- r> cmove -1 span +! 1- ; | : (ins ( addr pos1 -- addr pos2 ) 2dup + over span @ - negate >r dup dup 1+ r@ cmove> bl over c! r> 1+ at? >r >r type r> r> at 1 span +! ; \ decode cas201301 : STdecode ( addr pos1 key -- addr pos2 ) $4D00 case? IF dup span @ < IF cur> 1+ THEN exit THEN $4B00 case? IF dup IF cur< 1- THEN exit THEN $5200 case? IF dup span @ - IF (ins THEN exit THEN $FF and dup 0= IF drop exit THEN #bs case? IF dup IF (del THEN exit THEN $7F case? IF span @ 2dup < and IF cur> 1+ (del THEN exit THEN #cr case? IF span @ maxchars ! dup at? rot span @ - - at exit THEN >r 2dup + r@ swap c! r> emit dup span @ = IF 1 span +! THEN 1+ ; \ expect keyboard 25mar86we : STexpect ( addr len -- ) maxchars ! span off 0 BEGIN span @ maxchars @ u< WHILE key decode REPEAT 2drop space ; Input: keyboard [ here input ! ] STkey STkey? STdecode STexpect ; \ emit cr del page at at? type cas201301 | Variable out 0 out ! | &80 Constant c/row : STemit ( 8b -- ) 5 bconout 1 out +! pause ; : STcr #cr con! #lf con! out @ c/row / 1+ c/row * out ! ; : STdel #bs con! space #bs con! -2 out +! ; : STpage #esc con! Ascii E con! out off ; : STat ( row col -- ) #esc con! Ascii Y con! over $20 + con! dup $20 + con! swap c/row * + out ! ; : STat? ( -- row col ) out @ c/row /mod swap ; \\ : STtype ( addr len --) 0 ?DO count emit LOOP drop ; \ Output 16oct86we Code STtype ( addr len -- ) SP )+ D3 move SP )+ D6 move D3 tst 0<> IF D3 out R#) add 1 D3 subq D3 DO D6 reg) A0 lea 0 D1 moveq .b A0 ) D1 move FP A7 -) lmove .w D1 A7 -) move 5 # A7 -) move 3 # A7 -) move $0D trap 6 A7 addq 1 D6 addq A7 )+ FP lmove LOOP THEN ;c: pause ; Output: display [ here output ! ] STemit STcr STtype STdel STpage STat STat? ; | Code term .l save_ssp R#) A7 -) move .w $20 # A7 -) move 1 trap 6 A7 addq A7 -) clr 1 trap end-code | : (bye curoff term ; \ b/blk drive >drive drvinit 10sep86we $400 Constant b/blk | Variable (drv 0 (drv ! Create (blk/drv 4 allot $15F (blk/drv ! $15F (blk/drv 2+ ! : blk/drv ( -- n ) (blk/drv (drv @ 2* + @ ; : drive ( drv# -- ) $1000 * offset ! ; : >drive ( block drv# -- block' ) $1000 * + offset @ - ; : drv? ( block -- drv# ) offset @ + $1000 / ; : drvinit noop ; : drv0 0 drive ; : drv1 1 drive ; \ readsector writesector cas201301 Code rwabs ( r/wf adr rec# -- flag ) .l FP A7 -) move .w SP )+ D0 move SP )+ D6 move D6 reg) A0 lea SP )+ D1 move 2 D1 addq (drv R#) A7 -) move \ Drivenumber D0 A7 -) move \ rec# 2 # A7 -) move \ number sectors .l A0 A7 -) move \ Address .w D1 A7 -) move \ r/w flag 4 # A7 -) move \ function number $0D trap $0E # A7 adda .l A7 )+ FP move .w D0 SP -) move \ error flag Next end-code \ diskchange? 09nov86we | Code mediach? ( -- flag ) .w (drv R#) A7 -) move 9 # A7 -) move $0D trap 4 A7 addq D0 SP -) move Next end-code | Code getblocks ( -- n ) .w (drv R#) A7 -) move 7 # A7 -) move $0D trap 4 A7 addq D0 A0 move .w $0E # A0 adda A0 ) D0 move D0 SP -) move Next end-code \ STr/w 10sep86we : STr/w ( adr blk file r/wf -- flag ) swap abort" no file" 1 xor -rot $1000 /mod dup (drv ! 1 u> IF . ." beyond capacity" nip exit THEN mediach? IF getblocks (blk/drv (drv @ 2* + ! THEN dup blk/drv > IF drop 2drop true ELSE 9 + 2* rwabs THEN ; ' STr/w Is r/w \ Basepage (TOS PRG Header) cas201301 $601A , \ BRA to start of PGM here $1A allot $1A erase \ clear basepage info Assembler .l A7 A5 move 4 A5 D) A5 move \ start basepage $1.0600 # D0 move D0 D1 move \ store size of forth and A5 D1 add .w $FFFE D1 andi .l D1 A7 move \ stack D0 A7 -) move A5 A7 -) move .w A7 -) clr $4A # A7 -) move 1 trap $0C # A7 adda \ mshrink $100 $1C - # A5 adda A5 FP lmove \ FP to start of Forth |