recipes/trs80: still wip...

With cross compiling and IMMEDIATE words, things get icky with stable
ABI references. For the same reason that EXIT, (br) and (br?) need to
stay at stable offsets, these word references will not have BIN(
properly applied at Inner core xcomp.

The solution for now is to adjust during EXECUTE, which is ugly and
inefficient, but I don't see a better solution right now.

blk/042

@@ -7,10 +7,10 @@ context, branching doesn't work.
 
 f IF A ELSE B THEN: if f is true, execute A, if false, execute
 B. ELSE is optional.
+[IF] .. [THEN]: Meta-IF. Works outside definitions. No [ELSE].
 BEGIN .. f UNTIL: if f is false, branch to BEGIN.
 BEGIN .. AGAIN: Always branch to BEGIN.
 x y DO .. LOOP: LOOP increments y. if y != x, branch to DO.
-x CASE y OF A ENDOF z OF B ENDOF C ENDCASE: If x == y, execute
+
-A, if x == z, execute B. Otherwise, execute C. x is dropped
+
-in case of an OF match, *but it is kept if it reaches C*. You
+                                                        (cont.)
-have to consume it to avoid PSP leak.                   (cont.)

blk/043

@@ -1,4 +1,8 @@
-(cont.)
+x CASE y OF A ENDOF z OF B ENDOF C ENDCASE: If x == y, execute
+A, if x == z, execute B. Otherwise, execute C. x is dropped
+in case of an OF match, *but it is kept if it reaches C*. You
+have to consume it to avoid PSP leak.           
+
 (br)      --   Branches by the number specified in the 2
                following bytes. Can be negative.
 (?br)     f -- Branch if f is false.
@@ -9,8 +13,3 @@
 ABORT     --   Resets PS and RS and returns to interpreter.
 ABORT" x" --   *I* Compiles a ." followed by a ABORT.
 EXECUTE   a -- Execute wordref at addr a
-INTERPRET --   Get a line from stdin, compile it in tmp memory,
-               then execute the compiled contents.
-LEAVE     --   In a DO..LOOP, exit at the next LOOP call.
-QUIT      --   Return to interpreter prompt immediately
-EXIT!     --   Exit current INTERPRET loop.

blk/044

@@ -0,0 +1,5 @@
+INTERPRET --   Get a line from stdin, compile it in tmp memory,
+               then execute the compiled contents.
+LEAVE     --   In a DO..LOOP, exit at the next LOOP call.
+QUIT      --   Return to interpreter prompt immediately
+EXIT!     --   Exit current INTERPRET loop.

blk/160

@@ -0,0 +1,8 @@
+TRS-80 Drivers
+
+Drivers for the TRS-80 keyboard, video and floppy. At the
+moment, they are thin layer over the drivers provided by
+TRSDOS' SVC.
+
+Load the Z80 words with "162 LOAD" and the high level part
+with "164 LOAD".

blk/162

@@ -0,0 +1,13 @@
+CODE KEY
+    A 0x01 LDrn, ( @KEY )
+    0x28 RSTn,
+    L A LDrr, H 0 LDrn,
+    HL PUSHqq,
+;CODE
+
+CODE EMIT
+    BC POPqq, ( c == @DSP arg )
+    chkPS,
+    A 0x02 LDrn, ( @DSP )
+    0x28 RSTn,
+;CODE

blk/209

@@ -3,7 +3,7 @@ OUT [nA, (C)r]         IN [An, r(C)]
 SET [br]   RES [br]    BIT [br]
 RL [r]     RLC [r]     SLA [r]     RLA         RLCA
 RR [r]     RRC [r]     SRL [r]     RRA         RRCA
-CALL [nn]  DJNZ
+CALL [nn]  RST [n]     DJNZ
 JP [nn, (HL), (IX), (IY)]
 JR [, Z, NZ, C, NC]
 

blk/242

@@ -1,16 +1,14 @@
-( dd nn -- )
+: LDdd(nn), ( dd nn -- )
-: LDdd(nn),
     0xed A,
     SWAP <<4 0x4b OR A,
     A,,
 ;
-
+: LD(nn)dd, ( nn dd -- )
-( nn dd -- )
-: LD(nn)dd,
     0xed A,
     <<4 0x43 OR A,
     A,,
 ;
+: RSTn, 0xc7 OR A, ;
 
 : JP(IX), IX DROP JP(HL), ;
 : JP(IY), IY DROP JP(HL), ;

blk/249

@@ -6,3 +6,4 @@
 : PUSHZ, BC 0 LDddnn, IFZ, BC INCss, THEN, BC PUSHqq, ;
 : HLZ, A H LDrr, L ORr, ;
 : DEZ, A D LDrr, E ORr, ;
+: LDDE(HL), E (HL) LDrr, HL INCss, D (HL) LDrr, ;

blk/260

@@ -2,7 +2,10 @@ Cross compilation program
 
 This programs allows cross compilation of boot binary and
 icore. Run "262 LOAD" right before your cross compilation and
-then set XCURRENT to CURRENT and XCOFF to H@.
+then set XCURRENT to CURRENT.
+
+This unit depends on a properly initialized z80a with ORG and
+BIN( set. That is how we determine compilation offsets.
 
 This redefines defining words to achieve cross compilation.
 The goal is two-fold:
@@ -10,7 +13,4 @@ The goal is two-fold:
 1. Add an offset to all word references in definitions.
 2. Don't shadow important words we need right now.
 
-Words overrides like ":", "IMMEDIATE" and "CODE" are not
+                                                        (cont.)
-automatically shadowed to allow the harmless inclusion of
-this unit. This shadowing has to take place in your xcomp
-configuration.                                          (cont.)

blk/261

@@ -1,6 +1,9 @@
-(cont.)
+Words overrides like ":", "IMMEDIATE" and "CODE" are not
-See example in /emul/forth/xcomp.fs
+automatically shadowed to allow the harmless inclusion of
+this unit. This shadowing has to take place in your xcomp
+configuration.                      
+
+See example in /emul/xcomp.fs
 
 Why limit ourselves to icore? Oh, I've tried cross-compiling
 the whole shebang. I tried. And failed. Too dynamic.
-

blk/263

@@ -1,5 +1,4 @@
 VARIABLE XCURRENT
-VARIABLE XOFF
 
 : XCON XCURRENT CURRENT* ! ;
 : XCOFF 0x02 RAM+ CURRENT* ! ;

blk/265

@@ -4,7 +4,7 @@
     XCURRENT @ SWAP ( xcur w ) _find ( a f )
     IF   ( a )
         DUP IMMED? IF ABORT THEN
-        DUP XOFF @ > IF XOFF @ - THEN ,
+        DUP ORG @ > IF ORG @ - BIN( @ + THEN ,
     ELSE ( w )
         0x02 RAM+ @ SWAP ( cur w ) _find ( a f )
         IF DUP IMMED? NOT IF ABORT THEN EXECUTE

blk/301

@@ -1,7 +1,10 @@
-L3 BSET
+L3 BSET PC ORG @ 0x34 + ! ( execute )
-PC ORG @ 0x34 + ! ( execute )
+    EXDEHL, ( HL now points to wordref )
-    ( DE points to wordref )
+    ( We don't apply BIN( reliably on stable ABI stuff, we
-    EXDEHL,
+      might need to adjust addr. Ugly, but well... )
+    BIN( @ [IF]
+        A XORr, H ORr, IFZ, H BIN( @ 256 / LDrn,
+    [THEN]
     E (HL) LDrr,
     D BIN( @ 256 / LDrn,
     EXDEHL,

blk/302

@@ -1,16 +1,12 @@
-L1 BSET
+L1 BSET PC ORG @ 0x0f + ! ( compiledWord )
-PC ORG @ 0x0f + ! ( compiledWord )
 ( 1. Push current IP to RS
   2. Set new IP to the second atom of the list
   3. Execute the first atom of the list. )
     IY PUSHqq, HL POPqq, ( <-- IP )
     0x11 BCALL,      ( 11 == pushRS )
     EXDEHL,          ( HL points to PFA )
-    ( While we increase, dereference into DE for execute call
+( While we inc, dereference into DE for execute call later. )
-      later. )
+    LDDE(HL),
-    E (HL) LDrr,
-    HL INCss,
-    D (HL) LDrr,
     HL INCss,
     HL PUSHqq, IY POPqq, ( --> IP )
     JR, L3 BWR      ( execute-B301 )

blk/426

@@ -6,3 +6,7 @@
     H@ 2-          ( push a. -2 for allot offset )
 ; IMMEDIATE
 
+: [IF]
+    IF EXIT THEN
+    LIT< [THEN] BEGIN DUP WORD S= UNTIL DROP ;
+: [THEN] ;

emul/xcomp.fs

@@ -10,12 +10,11 @@
 CURRENT @ XCURRENT !
 
 H@ 256 /MOD 2 PC! 2 PC!
-H@ XOFF !
 282 LOAD  ( boot.z80 )
 393 LOAD  ( icore )
 (entry) _
 ( Update LATEST )
-H@ XOFF @ - XOFF @ 8 + !
+PC ORG @ 8 + !
 ," CURRENT @ HERE ! "
 ," : EMIT 0 PC! ; "
 ," : KEY 0 PC@ ; "

recipes/rc2014/xcomp.fs

@@ -16,14 +16,13 @@ RAMSTART 0x70 + CONSTANT ACIA_MEM
 CURRENT @ XCURRENT !
 
 H@ 256 /MOD 2 PC! 2 PC!
-H@ XOFF !
 282 LOAD  ( boot.z80 )
 352 LOAD  ( acia.z80 )
 372 LOAD  ( sdc.z80 )
 393 LOAD  ( icore )
 (entry) _
 ( Update LATEST )
-H@ XOFF @ - XOFF @ 8 + !
+PC ORG @ 8 + !
 422 441 XPACKR ( core cmp )
 446 452 XPACKR ( parse )
 358 360 XPACKR ( acia.fs )

recipes/trs80/Makefile

@@ -1,30 +1,8 @@
-SHELLAPPS = zasm ed
+TARGET = stage1.bin
-APPTARGETS = ${SHELLAPPS:%=cfsin/%} 
+EDIR = ../../emul
-CFSTARGETS = $(APPTARGETS) cfsin/user.h
+STAGE2 = $(EDIR)/stage2
-TARGET = os.bin
-BASEDIR = ../..
-ZASM = $(BASEDIR)/emul/zasm/zasm
-KERNEL = $(BASEDIR)/kernel
-APPS = $(BASEDIR)/apps
-CFSPACK = $(BASEDIR)/tools/cfspack/cfspack
 
 .PHONY: all
-all: $(TARGET) floppy.cfs
+all: $(TARGET) 
-$(TARGET): glue.asm
+$(TARGET): xcomp.fs $(STAGE2)
-	$(ZASM) $(KERNEL) $(APPS) < glue.asm > $@
+	cat xcomp.fs | $(STAGE2) > $@
-
-$(CFSPACK):
-	make -C $(BASEDIR)/tools/cfspack
-
-floppy.cfs: $(CFSTARGETS) $(CFSPACK)
-	$(CFSPACK) cfsin > $@
-
-$(APPTARGETS):
-	$(ZASM) $(KERNEL) $(APPS) user.h < $(APPS)/${@:cfsin/%=%}/glue.asm > $@
-
-cfsin/user.h: user.h
-	cp user.h $@
-
-.PHONY: clean
-clean:
-	rm -f $(CFSTARGETS) floppy.cfs $(TARGET)

recipes/trs80/xcomp.fs

@@ -0,0 +1,22 @@
+0x6000 CONSTANT RAMSTART
+0xf000 CONSTANT RS_ADDR
+212 LOAD  ( z80 assembler )
+262 LOAD  ( xcomp )
+: CODE XCODE ;
+: IMMEDIATE XIMM ;
+: (entry) (xentry) ;
+: : [ ' X: , ] ;
+
+CURRENT @ XCURRENT !
+
+H@ 256 /MOD 2 PC! 2 PC!
+0x3000 BIN( !
+282 LOAD  ( boot.z80 )
+162 LOAD  ( trs80.z80 )
+393 LOAD  ( icore )
+(entry) _
+( Update LATEST )
+PC ORG @ 8 + !
+422 463 XPACKR ( core cmp print parse readln fmt )
+," : _ RDLN$ (ok) ; _ "
+H@ 256 /MOD 2 PC! 2 PC!