DIRECTORY DragOpsCross USING [ShortRegQR, Word]; HandCoding: CEDAR DEFINITIONS = BEGIN IllegalDst: ERROR; IllegalReg: ERROR; IllegalSrc: ERROR; IllegalMix: ERROR; 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]]; 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 noTS: AuxRegSpec = [aux[6]]; -- # 0 => trace and sweep collection prohibited aux7: AuxRegSpec = [aux[7]]; aux8: AuxRegSpec = [aux[8]]; aux9: AuxRegSpec = [aux[9]]; aux10: AuxRegSpec = [aux[10]]; aux11: AuxRegSpec = [aux[11]]; aux12: AuxRegSpec = [aux[12]]; aux13: AuxRegSpec = [aux[13]]; temp: AuxRegSpec = [aux[14]]; -- just used for stack save/restore nregs: AuxRegSpec = [aux[15]]; -- just used for stack save/restore 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 constU7: ConstSpec = [const[7]]; -- unspecified right now constNI: ConstSpec = [const[8]]; -- constant FIRST[INT] constNSI: ConstSpec = [const[9]]; -- constant 100000B constU10: ConstSpec = [const[10]]; -- unspecified right now constU11: ConstSpec = [const[11]]; -- unspecified right now topSrc: SrcStackSpec = [srcStack[12]]; belowSrc: SrcStackSpec = [srcStack[13]]; popSrc: SrcStackSpec = [srcStack[14]]; belowSrcPop: SrcStackSpec = [srcStack[15]]; topDst: DstStackSpec = [dstStack[12]]; belowDst: DstStackSpec = [dstStack[13]]; pushDst: DstStackSpec = [dstStack[15]]; ShortRegSpec: TYPE = MACHINE DEPENDENT { const0(0), -- constant 0 const1(1), -- constant 1 topSrc(2), -- [S] popSrc(3)}; -- [S]- Lit4: TYPE = CARDINAL[0..15]; Lit8: TYPE = CARDINAL[0..255]; Lit16: TYPE = CARDINAL; Reg: TYPE = CARDINAL[0..15]; OQBformInst: TYPE = PROC [rest: DragOpsCross.Word]; drDFC: OQBformInst; drLIQB: 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; drJS: OIformInst; drLC0: OIformInst; drLC1: OIformInst; drLC2: OIformInst; drLC3: OIformInst; drLC4: OIformInst; drLC5: OIformInst; drLC6: OIformInst; drLC7: OIformInst; 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; drRETK: 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; drIOS: ODBformInst; drIOL: ODBformInst; drION: ODBformInst; drSHL: ODBformInst; drSHR: ODBformInst; drSHD: 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. äHandCoding.mesa Copyright c 1984, 1985 by Xerox Corporation. All rights reserved. Russ Atkinson (RRA) January 23, 1986 11:57:32 am PST Errors Register Declarations The first 7 constants are slightly special, since they have 1 byte load instructions The remaining 4 constants can be loaded in 3 byte instructions stack options for sources (RRformInst & RJBformInst) stack options for destinations (RRformInst) Must be consistent with DragOpsCross.ShortRegRJB for numbers, but should be consistent with HandCoding.RegSpec for names. Useful operand types Machine Instruction Declarations 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. Êö˜codešÐbl™Kšœ Ïmœ7™BK™4K˜—šÏk ˜ Kšœ Ÿœ˜&—IheadšœŸœŸ˜%™K˜KšœŸœ˜KšœŸœ˜KšœŸœ˜KšœŸœ˜—™K˜KšœŸœ˜Kšœ Ÿœ˜KšœŸœ˜K–40 sp tabStopsšœŸœ Ïc˜8KšœŸœ ˜8K–36 sp tabStops˜–36 sp tabStopsšœ ŸœŸœŸœ Ÿ˜*K–36 sp tabStopsšœ˜K–36 sp tabStopsšœ˜K–36 sp tabStopsšœ˜K–36 sp tabStops˜#K–36 sp tabStops˜#K–36 sp tabStopsšŸœ˜ K–36 sp tabStops˜—K–36 sp tabStopsšœŸœ˜"K–36 sp tabStopsšœŸœ˜ K–36 sp tabStopsšœŸœ˜!K–36 sp tabStopsšœŸœ˜'K–36 sp tabStopsšœŸœ˜'K–36 sp tabStops˜K–36 sp tabStopsšœ˜K–36 sp tabStopsšœ˜K–36 sp tabStopsšœ˜K–36 sp tabStopsšœ˜K–36 sp tabStopsšœ˜K–36 sp tabStopsšœ˜K–36 sp tabStopsšœ˜K–36 sp tabStopsšœ˜K–36 sp tabStopsšœ˜K–36 sp tabStopsšœ˜K–36 sp tabStopsšœ ˜ K–36 sp tabStopsšœ ˜ K–36 sp tabStopsšœ ˜ K–36 sp tabStopsšœ ˜ K–36 sp tabStopsšœ ˜ K–36 sp tabStopsšœ ˜ K–36 sp tabStops˜K–40 sp tabStopsšœ ˜™>K–42 sp tabStopsšœ! ŸœŸœ˜7K–42 sp tabStopsšœ" œ˜5K–42 sp tabStopsšœ# ˜;K–42 sp tabStopsšœ# ˜;K–36 sp tabStops˜–36 sp tabStopsšœ4™4K–52 sp tabStopsšœ&˜&K–52 sp tabStopsšœ(˜(K–52 sp tabStopsšœ&˜&K–52 sp tabStopsšœ+˜+K–36 sp tabStops˜—–36 sp tabStopsšœ+™+K–52 sp tabStopsšœ&˜&K–52 sp tabStopsšœ(˜(K–52 sp tabStopsšœ'˜'K–52 sp tabStops˜—–52 sp tabStopsšœŸœŸœŸ œ˜(K–52 sp tabStopsšœy™yK–40 sp tabStopsšœ ˜K–40 sp tabStopsšœ ˜K–40 sp tabStopsšœ ˜K–40 sp tabStopsšœ ˜K–52 sp tabStops˜——™K–40 sp tabStopsšœŸœŸœ˜K–40 sp tabStopsšœŸœŸœ ˜K–40 sp tabStopsšœŸœŸœ˜K–40 sp tabStopsšœŸœŸœ˜—šœ ™ šÏnœŸœŸœ˜3K–16 sp tabStopsšœ˜K–16 sp tabStopsšœ˜K–16 sp tabStopsšœ˜K˜—š¡ œŸœŸœ˜K–16 sp tabStopsšœ˜K–16 sp tabStopsšœ˜K–16 sp tabStopsšœ˜K–16 sp tabStopsšœ˜K–16 sp tabStopsšœ˜K–16 sp tabStopsšœ˜K–16 sp tabStopsšœ˜K–16 sp tabStopsšœ˜K–16 sp tabStopsšœ˜K–16 sp tabStopsšœ˜K–16 sp tabStopsšœ˜K–16 sp tabStopsšœ˜K–16 sp tabStopsšœ˜K–16 sp tabStopsšœ˜K–16 sp tabStopsšœ˜K–16 sp tabStopsšœ˜K–16 sp tabStopsšœ˜K–16 sp tabStopsšœ˜K–16 sp tabStopsšœ˜K–16 sp tabStopsšœ˜K–16 sp tabStopsšœ˜K–16 sp tabStopsšœ˜K–16 sp tabStopsšœ˜K–16 sp tabStopsšœ˜K–16 sp tabStopsšœ˜K–16 sp tabStops˜K–16 sp tabStopsšœ’™’K–16 sp tabStopsšœ˜K–16 sp tabStopsšœ˜K–16 sp tabStopsšœ˜K˜—š¡ œŸœŸœ˜'K–16 sp tabStopsšœ˜K–16 sp tabStopsšœ˜K˜—š¡ œŸœŸœ1˜HK–16 sp tabStopsšœ˜K–16 sp tabStopsšœ˜K–16 sp tabStopsšœ˜K–16 sp tabStopsšœ˜K–16 sp tabStopsšœ˜K–16 sp tabStopsšœ˜K–16 sp tabStopsšœ˜K–16 sp tabStopsšœ˜—K˜š¡ œŸœŸœ ˜$K–16 sp tabStopsšœ˜K–16 sp tabStopsšœ˜K–16 sp tabStopsšœ˜K–16 sp tabStopsšœ˜K–16 sp tabStopsšœ˜K–16 sp tabStopsšœ˜K–16 sp tabStopsšœ˜K–16 sp tabStopsšœ˜K–16 sp tabStopsšœ˜K–16 sp tabStopsšœ˜K–16 sp tabStopsšœ˜K–16 sp tabStopsšœ˜K–16 sp tabStopsšœ˜K–16 sp tabStopsšœ˜K–16 sp tabStopsšœ˜K–16 sp tabStopsšœ˜K–16 sp tabStopsšœ˜K–16 sp tabStopsšœ˜K˜—š¡œŸœŸœ˜3K–16 sp tabStopsšœ˜K–16 sp tabStopsšœ˜K˜—š¡ œŸœŸœ˜3K–16 sp tabStopsšœ˜K–16 sp tabStopsšœ˜K–16 sp tabStopsšœ˜K–16 sp tabStopsšœ˜K–16 sp tabStopsšœ˜K–16 sp tabStopsšœ˜K–16 sp tabStopsšœ˜K–16 sp tabStopsšœ˜K–16 sp tabStopsšœ˜K–16 sp tabStopsšœ˜K–16 sp tabStopsšœ˜K–16 sp tabStopsšœ˜K–16 sp tabStopsšœ˜K–16 sp tabStopsšœ˜—K˜š¡œŸœŸœ˜&K–16 sp tabStopsšœ˜K–16 sp tabStopsšœ˜K–16 sp tabStopsšœ˜K–16 sp tabStopsšœ˜K–16 sp tabStopsšœ˜K–16 sp tabStopsšœ˜K–16 sp tabStops˜K–16 sp tabStopsšœ˜K–16 sp tabStopsšœ˜K–16 sp tabStopsšœ˜K–16 sp tabStops˜K–16 sp tabStopsšœ˜K–16 sp tabStopsšœ˜K–16 sp tabStopsšœ˜K–16 sp tabStopsšœ˜K–16 sp tabStops˜—š¡œŸœŸœ"˜;K–16 sp tabStopsšœ˜K–16 sp tabStopsšœ˜K–16 sp tabStopsšœ˜K–16 sp tabStopsšœ˜K˜—š¡œŸœŸœ2˜JK–16 sp tabStopsšœ˜K–16 sp tabStopsšœ˜K–16 sp tabStopsšœ˜K–16 sp tabStopsšœ˜K–16 sp tabStopsšœ˜K–16 sp tabStopsšœ˜K–16 sp tabStopsšœ˜K–16 sp tabStopsšœ˜K–16 sp tabStopsšœ˜K–16 sp tabStopsšœ˜K–16 sp tabStopsšœ˜K–16 sp tabStopsšœ˜K˜—š¡œŸœŸœ˜1K–16 sp tabStopsšœ˜K–16 sp tabStopsšœ˜K–16 sp tabStopsšœ˜K–16 sp tabStopsšœ˜K˜——KšŸœ˜K˜—…—x/R