HandCoding.mesa
Copyright © 1984, 1985, 1986 by Xerox Corporation. All rights reserved.
Russ Atkinson (RRA) September 10, 1986 11:00:55 pm PDT
DIRECTORY
DragOpsCross USING [ShortRegQR, Word];
HandCoding: CEDAR DEFINITIONS = BEGIN
Errors
IllegalDst: ERROR;
IllegalReg: ERROR;
IllegalSrc: ERROR;
IllegalMix: ERROR;
Register Declarations
LocalRegIndex: TYPE = [0..15];
AuxRegIndex: TYPE = [0..15];
ConstIndex: TYPE = [0..11];
SrcStackIndex: TYPE = [0..15]; -- 12..15 only are valid
DstStackIndex: TYPE = [0..15]; -- 12..15 only are valid
RegSpec: TYPE = RECORD[SELECT kind: * FROM
reg => [reg: LocalRegIndex],
aux => [aux: AuxRegIndex],
const => [const: ConstIndex],
srcStack => [stack: SrcStackIndex],
dstStack => [stack: DstStackIndex],
ENDCASE];
LocalRegSpec: TYPE = RegSpec[reg];
AuxRegSpec: TYPE = RegSpec[aux];
ConstSpec: TYPE = RegSpec[const];
SrcStackSpec: TYPE = RegSpec[srcStack];
DstStackSpec: TYPE = RegSpec[dstStack];
reg0: LocalRegSpec = [reg[0]];
reg1: LocalRegSpec = [reg[1]];
reg2: LocalRegSpec = [reg[2]];
reg3: LocalRegSpec = [reg[3]];
reg4: LocalRegSpec = [reg[4]];
reg5: LocalRegSpec = [reg[5]];
reg6: LocalRegSpec = [reg[6]];
reg7: LocalRegSpec = [reg[7]];
reg8: LocalRegSpec = [reg[8]];
reg9: LocalRegSpec = [reg[9]];
reg10: LocalRegSpec = [reg[10]];
reg11: LocalRegSpec = [reg[11]];
reg12: LocalRegSpec = [reg[12]];
reg13: LocalRegSpec = [reg[13]];
reg14: LocalRegSpec = [reg[14]];
reg15: LocalRegSpec = [reg[15]];
The first 8 auxilliary registers can only written from kernel mode
global: AuxRegSpec = [aux[0]]; -- base of global frame table
hook: AuxRegSpec = [aux[1]]; -- addr of eldest frame saved to memory (per process)
free: AuxRegSpec = [aux[2]]; -- free frame slot addr (per processor)
base: AuxRegSpec = [aux[3]]; -- base of frame slots (per processor)
process: AuxRegSpec = [aux[4]]; -- addr of current process object (per process)
processor: AuxRegSpec = [aux[5]]; -- addr of current processor block
aux6: AuxRegSpec = [aux[6]]; -- # 0 => trace and sweep collection prohibited
aux7: AuxRegSpec = [aux[7]];
The second 8 auxilliary registers can be written from user mode
aux8: AuxRegSpec = [aux[8]];
aux9: AuxRegSpec = [aux[9]];
aux10: AuxRegSpec = [aux[10]];
aux11: AuxRegSpec = [aux[11]];
aux12: AuxRegSpec = [aux[12]];
noTS: AuxRegSpec = [aux[13]]; -- # 0 => trace and sweep collection prohibited
temp: AuxRegSpec = [aux[14]]; -- just used for stack save/restore
nregs: AuxRegSpec = [aux[15]]; -- just used for stack save/restore
The first 8 constant registers can only written from kernel mode
const0: ConstSpec = [const[0]]; -- constant 0
const1: ConstSpec = [const[1]]; -- constant 1
const2: ConstSpec = [const[2]]; -- constant 2
const3: ConstSpec = [const[3]]; -- constant 3
const4: ConstSpec = [const[4]]; -- constant 4
constN2: ConstSpec = [const[5]]; -- constant - 2
constN1: ConstSpec = [const[6]]; -- constant - 1
constNI: ConstSpec = [const[7]]; -- constant FIRST[INT]
The last 4 constant registers can be written from user mode
constNSI: ConstSpec = [const[8]]; -- constant 100000B
constU9: ConstSpec = [const[9]]; -- unspecified right now
constU10: ConstSpec = [const[10]]; -- unspecified right now
constU11: ConstSpec = [const[11]]; -- unspecified right now
stack options for sources (RRformInst & RJBformInst)
topSrc: SrcStackSpec = [srcStack[12]];
belowSrc: SrcStackSpec = [srcStack[13]];
popSrc: SrcStackSpec = [srcStack[14]];
belowSrcPop: SrcStackSpec = [srcStack[15]];
stack options for destinations (RRformInst)
topDst: DstStackSpec = [dstStack[12]];
belowDst: DstStackSpec = [dstStack[13]];
pushDst: DstStackSpec = [dstStack[15]];
ShortRegSpec: TYPE = MACHINE DEPENDENT {
Must be consistent with DragOpsCross.ShortRegRJB for numbers, but should be consistent with HandCoding.RegSpec for names.
const0(0), -- constant 0
const1(1), -- constant 1
topSrc(2), -- [S]
popSrc(3)}; -- [S]-
Useful operand types
Lit4: TYPE = CARDINAL[0..15];
Lit8: TYPE = CARDINAL[0..255];
Lit16: TYPE = CARDINAL;
Reg: TYPE = CARDINAL[0..15];
Machine Instruction Declarations
OQBformInst: TYPE = PROC [rest: DragOpsCross.Word];
drDFC: OQBformInst;
drLIQB: OQBformInst;
drADDQB: OQBformInst;
drSUBQB: OQBformInst;
drJQB: OQBformInst;
OIformInst: TYPE = PROC [];
drOR: OIformInst;
drAND: OIformInst;
drRX: OIformInst;
drBC: OIformInst;
drADD: OIformInst;
drSUB: OIformInst;
drLADD: OIformInst;
drLSUB: OIformInst;
drDUP: OIformInst;
drDIS: OIformInst;
drEXDIS: OIformInst;
drSFC: OIformInst;
drSFCI: OIformInst;
drRETN: OIformInst;
drKFC: OIformInst;
drJ1: OIformInst;
drJSD: OIformInst;
drJSR: OIformInst;
drLC0: OIformInst;
drLC1: OIformInst;
drLC2: OIformInst;
drLC3: OIformInst;
drLC4: OIformInst;
drLC5: OIformInst;
drLC6: OIformInst;
drLC7: OIformInst;
drLC8: OIformInst;
drLC9: OIformInst;
drLC10: OIformInst;
drLC11: OIformInst;
The following are not really OIformat as far as the machine is concerned, but it is best for the hand coder to regard them as single-byte opcodes.
drJ2: OIformInst;
drJ3: OIformInst;
drJ5: OIformInst;
LRformInst: TYPE = PROC [reg: RegSpec];
drLRn: LRformInst;
drSRn: LRformInst;
QRformInst: TYPE = PROC [left: DragOpsCross.ShortRegQR, right: RegSpec];
drQOR: QRformInst;
drQAND: QRformInst;
drQRX: QRformInst;
drQBC: QRformInst;
drQADD: QRformInst;
drQSUB: QRformInst;
drQLADD: QRformInst;
drQLSUB: QRformInst;
OBformInst: TYPE = PROC [lit: Lit8];
drALS: OBformInst;
drAL: OBformInst;
drASL: OBformInst;
drAS: OBformInst;
drCST: OBformInst;
drRET: OBformInst;
drLIP: OBformInst;
drSIP: OBformInst;
drLIB: OBformInst;
drADDB: OBformInst;
drSUBB: OBformInst;
drJB: OBformInst;
drRB: OBformInst;
drWB: OBformInst;
drRSB: OBformInst;
drWSB: OBformInst;
drPSB: OBformInst;
LRBformInst: TYPE = PROC [reg: RegSpec, lit: Lit8];
drLRIn: LRBformInst;
drSRIn: LRBformInst;
RRformInst: TYPE = PROC [c: RegSpec, a,b: RegSpec];
drROR: RRformInst;
drRAND: RRformInst;
drRRX: RRformInst;
drRBC: RRformInst;
drRADD: RRformInst;
drRSUB: RRformInst;
drRLADD: RRformInst;
drRLSUB: RRformInst;
drRXOR: RRformInst;
drRFU: RRformInst;
drRVADD: RRformInst;
drRVSUB: RRformInst;
drRUADD: RRformInst;
drRUSUB: RRformInst;
ODBformInst: TYPE = PROC [lit: Lit16];
drLGF: ODBformInst;
drLFC: ODBformInst;
drLIDB: ODBformInst;
drADDDB: ODBformInst;
drSUBDB: ODBformInst;
drJDB: ODBformInst;
drIODA: ODBformInst;
drIOD: ODBformInst;
drION: ODBformInst;
drSHL: ODBformInst;
drSHR: ODBformInst;
drSHDL: ODBformInst;
drSHDR: ODBformInst;
drFSDB: ODBformInst;
LRRBformInst: TYPE = PROC [reg1,reg2: RegSpec, disp: Lit8];
drRAI: LRRBformInst;
drWAI: LRRBformInst;
drRRI: LRRBformInst;
drWRI: LRRBformInst;
RJBformInst: TYPE = PROC [left: ShortRegSpec, right: RegSpec, dist: Lit8];
drRJEB: RJBformInst;
drRJEBJ: RJBformInst;
drRJGB: RJBformInst;
drRJGBJ: RJBformInst;
drRJGEB: RJBformInst;
drRJGEBJ: RJBformInst;
drRJLB: RJBformInst;
drRJLBJ: RJBformInst;
drRJLEB: RJBformInst;
drRJLEBJ: RJBformInst;
drRJNEB: RJBformInst;
drRJNEBJ: RJBformInst;
JBBformInst: TYPE = PROC [lit: Lit8, dist: Lit8];
drJEBB: JBBformInst;
drJEBBJ: JBBformInst;
drJNEBB: JBBformInst;
drJNEBBJ: JBBformInst;
END.