> <> <<>> <> imw0 (0): WORD, imw1 (1): WORD, imw2 (2): WORD, wx0 (3): W0Word, wx1 (4): W1Word, wx2 (5): W2Word, <> links (6): LinkInit, -- G, D mask (7): WORD, -- (mask) LAP Mask of valid placements in group of 20B dispTab (8): DispTabWord, -- G, D <> word0 (9): W0Word, <> word1 (10): W1Word, -- G, L Imaginary addr branched to from this instr word2 (11): W2Word, -- G, L 2nd imag addr of DBLxxx or .+1 symbol (12): Symbol -- if this is a label, this is its name ]; LinkInit: TYPE = MACHINE DEPENDENT RECORD[ jbcLinked (0: 0..0): OneBit, -- LAP Same group of 20B if set aLinked (0: 1..1): OneBit, -- LAP An aLink points to this instr blank (0: 2..3): [0..3], aLink (0: 4..15): [0..7777B] -- LAP Link to next element in +1 list ]; W0Word: TYPE = MACHINE DEPENDENT RECORD[ brkPAndIFUE (0: 0..0): OneBit, -- Set breakpoint here, An IFU dispatch instruction atW0AndatWord (0: 1..1): OneBit, -- W0 is the abs addr of this instr << LA Low 6 bits of W0 are abs word in page>> globalAndIFUSeq (0: 2..2): OneBit, -- A global call location <> onPageAndPlaced (0: 3..3): OneBit, -- LAP High 6 (or 4) bits of W0 are abs page for this instr; D Instruction was placed successfully W0Addr (0: 4..15): [0..7777B] -- LAPD Abs addr of this instr if atW0 eq 1 << Abs page for this instr if onPage eq 1>> ]; W1Word: TYPE = MACHINE DEPENDENT RECORD[ returns (0: 0..0): OneBit, -- L Does a RETURN, CORETURN, IM read/write, or <> calls (0: 1..1): OneBit, -- L Does a CALL or CORETURN (place next at .+1) jbc (0: 2..2): OneBit, -- L Has a branch condition in JCN usesFN (0: 3..3): OneBit, -- L FN field unavailable for long goto/call W1AddrAndGroupLink (0: 4..15): [0..7777B] -- Imaginary addr branched to from this instr ]; W2Word: TYPE = MACHINE DEPENDENT RECORD[ branchesAndMarked (0: 0..0): OneBit, -- Does a BRANCH; AP multi-use mark bit goes (0: 1..1): OneBit, -- Does a GOTO emulator (0: 2..2): OneBit, -- Instruction is for an emulator task iscond (0: 3..3): OneBit, -- Has a branch condition W2AddrAndbLink (0: 4..15): [0..7777B] -- 2nd imag addr of DBLxxx or .+1 << LAP Link to next element in page ring>> ]; DispTabWord: TYPE = MACHINE DEPENDENT RECORD[ blank (0: 0..3): [0..17B] _ 0, dispTab (0: 4..15): [0..7777B] -- LAP Mask of valid placements in group of 20B ]; AddrWord: TYPE = MACHINE DEPENDENT RECORD[ addrBlank (0: 0..3): [0..17B] _ 0, addr (0: 4..15): [0..7777B] ]; -- Reserved values in W1 and W2 WNext: WORD = 7777B; -- from Micro, means .+1 WNull: WORD = 7777B; -- internally, null address (end of list) WExt: WORD = 7776B; -- internally, external reference NImax: WORD = 7775B; -- max number of instruction words <> globalZero: WORD = 77B; ifuZero: WORD = 3B; calledMask: WORD = 100000B; -- call entries at 0 mod 16 goedtoMask: WORD = 77777B; -- NOT calledMask; jbctMask: WORD = 5000B; -- JBC branches to 4/5, 6/7, not 0/1 or 2/3 because 000x is reserved (sigh) ifuMask: WORD = 104210B; -- IFU entries at 0 mod 4 pageIfuMax: WORD = 16; globalMask: WORD = 100000B; -- global entries only at 0 mod 64 evenMask: WORD = 125252B; -- for false cases of conditional branches oddMask: WORD = 52525B; -- for true cases (Basics.BITSHIFT[evenMask, -1]) DoradoPageSize: WORD = 100B; DoradoRMBlockSize: WORD = 20B; nGlobalPages: CARDINAL = (IMsize-1-globalZero)/(DoradoPageSize+1); maxnPages: CARDINAL = IMsize/DoradoPageSize; nPages: CARDINAL = IMsize/DoradoPageSize; nIfuPages: CARDINAL = (IMsize-1-ifuZero)/DoradoPageSize + 1; PageMask: WORD = IMsize - DoradoPageSize; WordMask: WORD = DoradoPageSize-1; <> IFUMRecord: TYPE = MACHINE DEPENDENT RECORD[ ifumWord0 (0): IFUMWord0, otherData (1): WORD ]; IFUMWord0: TYPE = MACHINE DEPENDENT RECORD[ pa (0: 0..0): OneBit, -- "packed alpha" bit, gets moved nEnt (0: 1..2): [0..3], -- number of consecutive entries blank (0: 3..3): OneBit, ifad (0: 4..15): [0..7777B] ]; -- IM mask chain IMMask: TYPE = REF IMMaskRec; IMMaskRec: TYPE = RECORD [ next: IMMask, addr: WORD, mask: WORD _ 0, mSeq: WORD _ 0 ]; -- Micro binary block types MBend: INTEGER = 0; -- () MBdata: INTEGER = 1; -- (sourceline, data) MBaddress: INTEGER = 2; -- (memory, addr) MBfixup: INTEGER = 3; -- (memory, addr, (firstbit, lastbit), value) MBmemory: INTEGER = 4; -- (memory, width, name) MBsymbol: INTEGER = 5; -- (memory, addr, name) MBexternalfixup: INTEGER = 6; -- (memory, addr, (firstbit, lastbit), name) -- memory numbers nMemX: INTEGER = 16; -- max number of memories IMmemx: INTEGER = 1; RMmemx: INTEGER = 2; -- IMLOCKmemx = xxx -- DISPmemx = xxx -- IMMASKmemx = xxx IFUMmemx: INTEGER = 3; ALUFMmemx: INTEGER = 4; -- RVRELmemx = xxx MemDescArray: TYPE = ARRAY [0..nMemX) OF MemDescRecord; MemDescRecord: TYPE = REF MemDescObj; MemDescObj: TYPE = RECORD[ name: ROPE _ NIL, widthInBits: INTEGER _ 0, wordsOfData: INTEGER _ 0, seen: BOOL _ FALSE, count: INTEGER _ 0, symMaxAddr: CARDINAL _ 0 ]; Symbol: TYPE = REF SymbolRec; SymbolRec: TYPE = RECORD[ atm: ATOM, -- used for symbolTable name: ROPE, memNum: INTEGER _ -1, -- memory for which this is a label labelAddr: CARDINAL _ 7777B, -- address in memory where defined fixup: FixupRecord -- really a LIST OF FixupRecord ]; FixupRecord: TYPE = REF FixupRec; FixupRec: TYPE = RECORD[ memNum: INTEGER _ 0, fieldDesc: ExtFixField _ null, addr: CARDINAL _ 0, next: FixupRecord ]; ExtFixField: TYPE = {null, im1Field, im2Field, ifField}; -- only ones allowed SrcFile: TYPE = REF SrcFileRec; SrcFileRec: TYPE = RECORD[ fullName: ROPE, of: FS.OpenFile, createDate: BasicTime.GMT _ BasicTime.nullGMT, niFirst: CARDINAL _ 0, -- nInstructions before loading niLast: CARDINAL _ 0, -- nInstructions after loading listingFlag: INTEGER _ 0, -- how to list is encoded next: SrcFile ]; OutputFile: TYPE = REF OutputFileRec; OutputFileRec: TYPE = RECORD[ fullName: ROPE, strm: STREAM ]; Error: SIGNAL[explanation: ROPE _ NIL]; ReportType: TYPE = {fatalError, passFatal, nonFatal, infoOnly}; IFUMRecordPtr: TYPE = LONG POINTER TO IFUMRecord; IMRecordPtr: TYPE = LONG POINTER TO IMRecord; ALUFMRecordPtr: TYPE = LONG POINTER TO WORD; RMRecordPtr: TYPE = LONG POINTER TO WORD; IMlocked: TYPE = PACKED ARRAY IMIndex OF BOOL; RMBits: TYPE = PACKED ARRAY RMIndex OF BOOL; ALUFMBits: TYPE = PACKED ARRAY ALUFMIndex OF BOOL; IFUMBits: TYPE = PACKED ARRAY IFUMIndex OF BOOL; W2Fixups: TYPE = REF W2FixupRep; W2FixupIndex: TYPE = [0..7777B); W2FixupRep: TYPE = RECORD[w2Fix: SEQUENCE max: W2FixupIndex OF W2FixupRecord]; W2FixupRecord: TYPE = RECORD[imAddr, w2Value: CARDINAL]; END. <<>>