AnachronautandClaude Opus 5
3449405b18
CosmOS had 1,161 bytes of Program Memory left before the address applications load at, and Tab completion is not going to fit in that with anything to spare. So the wall moves up one page: the system keeps below 0x4FFF and 0x2FFF, and an application is based at 0x5000 and 0x3000. A PAGE IS A CHEAP THING TO GIVE IT AND AN EXPENSIVE THING TO RUN OUT OF. An application still has 44K of Program Memory before the vector table and the largest one here uses 7.5K, so what was taken from applications is space nothing has ever asked for - while what the system gained is the difference between building the next thing and counting bytes while building it. Not doubling, which was the version that would have cost application space worth minding. One page, and the same again when it is needed. Nothing in the machine knows where the wall is, so this is 34 #Base lines, one threshold in the fault handler, and the table in the CosmOS README that Tests/docs.sh reads its limits out of. The native assembler's scratch map had to move with it, and docs.sh said so before anything ran: its data reached 0x40D6 and its buffers began at 0x4000, so they were sitting on its variables. That file already carries a paragraph about the floor coming up and the map staying where it was. It has happened twice now, and been caught by a check the first time wrote. Twenty three recordings are the same runs a page higher. Co-Authored-By: Claude Opus 5 <noreply@anthropic.com> Claude-Session: https://claude.ai/code/session_01E2JrLzFvuFX9fgi1LDRjrW
178 lines
3.1 KiB
NASM
178 lines
3.1 KiB
NASM
; The assembler's front end on its own, one line per token.
|
|
;
|
|
; Prints the line each token started on, what the token turned out to be, how many bytes
|
|
; it will come to, and the token itself between brackets so that whitespace at either end
|
|
; would show if any ever leaked in.
|
|
;
|
|
; WHAT A TOKEN IS is the part worth checking here rather than at the far end. A wrong
|
|
; classification does not produce a wrong byte in an obvious place - it produces a right
|
|
; looking program of the wrong length, with everything after it shifted, and by then the
|
|
; only symptom is that a label points at the middle of an instruction.
|
|
;
|
|
; Written by Anachronaut
|
|
|
|
#Include services.asm
|
|
|
|
#Program
|
|
|
|
#Base 0x5000
|
|
|
|
start:
|
|
SETD.0 Wanted
|
|
INIB 0d23
|
|
SWI osArgument
|
|
SETD.0 Wanted
|
|
LDA.0
|
|
BRA nothingAsked
|
|
|
|
SETD.0 Wanted
|
|
CALL srcOpen
|
|
BNQ noFile
|
|
|
|
tokenLoop:
|
|
CALL tokNext
|
|
BNQ tokensDone
|
|
|
|
SETD.0 TokLine
|
|
LDA.0
|
|
INCD.0
|
|
LDB.0
|
|
SWI osPrintNumber
|
|
|
|
CALL clsToken
|
|
BNQ badToken
|
|
|
|
; Which of the six it turned out to be. The names are four characters and a space, so
|
|
; the columns line up without any counting.
|
|
SETD.0 TypeNames
|
|
SETD.2 ClsType
|
|
LDA.2
|
|
CALL nameOfType
|
|
SETD.1 NamePointer
|
|
LDD.0.1
|
|
SWI osPrintString
|
|
|
|
SETD.0 ClsLength
|
|
LDA.0
|
|
INCD.0
|
|
LDB.0
|
|
SWI osPrintNumber ; Sixteen bits: a string of 255 characters is 256 bytes long.
|
|
|
|
SETD.0 OpenMark
|
|
SWI osPrintString
|
|
SETD.0 TokText
|
|
SWI osPrintString
|
|
SETD.0 CloseMark
|
|
SWI osPrintString
|
|
BRI tokenLoop
|
|
|
|
badToken:
|
|
SETD.0 StoppedText
|
|
SWI osPrintString
|
|
SWI osExit
|
|
|
|
; The name of type A, out of a table of fixed width entries so that no pointer arithmetic
|
|
; is needed beyond a multiply by the width.
|
|
nameOfType:
|
|
SETD.0 TypeWidth
|
|
LDB.0
|
|
RSTA
|
|
SETD.0 NameLeft
|
|
STA.0
|
|
SETD.2 ClsType
|
|
LDA.2
|
|
SETD.0 NameOffset
|
|
CALL numZero
|
|
nameLoop:
|
|
SETD.2 ClsType
|
|
LDA.2
|
|
SETD.0 NameLeft
|
|
LDB.0
|
|
CCF
|
|
SUB
|
|
BRQ nameFound
|
|
SETD.0 TypeWidth
|
|
LDA.0
|
|
SETD.0 NameOffset
|
|
CALL numAddByte
|
|
SETD.0 NameLeft
|
|
LDA.0
|
|
INCA
|
|
STA.0
|
|
BRI nameLoop
|
|
nameFound:
|
|
; The answer is left in NamePointer rather than in DP0, because a RET puts Data Pointers
|
|
; 0 to 2 back as they were: a routine cannot hand back a pointer, only write one down.
|
|
SETD.0 TypeNames
|
|
SETD.1 NamePointer
|
|
STD.0.1
|
|
SETD.0 NamePointer
|
|
SETD.2 NameOffset
|
|
CALL numAdd
|
|
RET
|
|
|
|
tokensDone:
|
|
SETD.0 DoneText
|
|
SWI osPrintString
|
|
SWI osExit
|
|
|
|
nothingAsked:
|
|
SETD.0 AskText
|
|
SWI osPrintString
|
|
SWI osExit
|
|
|
|
noFile:
|
|
SETD.0 NoFileText
|
|
SWI osPrintString
|
|
SWI osExit
|
|
|
|
#Data
|
|
|
|
#Base 0x3000
|
|
|
|
Wanted:
|
|
#Reserve 0d23
|
|
|
|
OpenMark:
|
|
" ["
|
|
CloseMark:
|
|
"]
|
|
"
|
|
; Six names of eleven characters each, counting the zero the assembler puts on the end of
|
|
; every string. Written one to a line so that adding a type is adding a line.
|
|
TypeNames:
|
|
" keyword "
|
|
" instr "
|
|
" value "
|
|
" string "
|
|
" label: "
|
|
" label "
|
|
TypeWidth:
|
|
0d11
|
|
NameLeft:
|
|
0x00
|
|
NameOffset:
|
|
0x00 0x00
|
|
NamePointer:
|
|
0x00 0x00
|
|
|
|
StoppedText:
|
|
"---- stopped: the assembler does not understand that
|
|
"
|
|
DoneText:
|
|
"---- no more tokens
|
|
"
|
|
AskText:
|
|
"say which file
|
|
"
|
|
NoFileText:
|
|
"no such file
|
|
"
|
|
|
|
#Include scratch.asm
|
|
#Include numbers.asm
|
|
#Include source.asm
|
|
#Include token.asm
|
|
#Include classify.asm
|
|
#Include table.asm
|