(FILECREATED "16-Sep-86 18:17:52" {ERIS}<TAMARIN>TSIM>DPFILES.;27 22410
changes to: (FNS readrf writerf)
previous date: "15-Sep-86 19:19:10" {ERIS}<TAMARIN>TSIM>DPFILES.;26)
(* Copyright (c) 1986 by Xerox Corporation. All rights reserved.)
(PRETTYCOMPRINT DPFILESCOMS)
(RPAQQ DPFILESCOMS ((FNS dpop euoptest fc forced1 readibuf regtest cctest checkconsts cond dpshift
pl dpsetup dprun readreg readrf setibuf setnread setpc writereg writerf)
(VARS pllist)))
(DEFINEQ
(dpop
[LAMBDA (theeuop d1 d2) (* rtk "22-Aug-86 11:37")
(PRINTOUT T "Op: " theeuop " D1: " d1 " D2: " d2 T)
[SETQ opcode (SELECTQ theeuop
(d1 54Q)
(d2 52Q)
(lshft 74Q)
(rshft 75Q)
(+ 20Q)
(- 25Q)
(4 22Q)
(and 50Q)
(or 56Q)
(xor 46Q)
(settype 77Q)
(gettype 70Q)
(mergesp 76Q)
(arshft 65Q)
(-1 24Q)
(20Q 26Q)
(T 0)
(if (NUMBERP theeuop)
then theeuop
else (BREAK1 NIL T (Unknown EUop)
NIL]
(SETQ RO d1)
(SETQ RE d2)
(SETQ D1 d1)
(SETQ D2 d2)
(SETQ *Read 0)
(replace (MI EUop) of #MIR with opcode)
(SetTransSim)
(clock (QUOTE pre))
(SETQ *Read 1)
(SetTransSim)
(clock (QUOTE (clock firstcy)))
(SETQ *Read 0)
(SetTransSim)
(clock (QUOTE pre))
(clock (QUOTE (clock secondcy)))
(NormalCycle)
(SETQ D1 @V)
(replace (MI EUop) of #MIR with 0)
(SetTransSim)
(PRINTOUT T "Op: " theeuop " D1: " d1 " D2: " d2 T)
[Print01List (QUOTE ((RE)
(RO)
(D1]
(ExecuteTransComp nodemaplist NIL (QUOTE (D1-Out Euop-CCodes])
(euoptest
[LAMBDA NIL (* edited: "21-Aug-86 16:08")
(for i in (QUOTE ((4 3 6)
(and 6600Q 21415Q)
(xor 6605313717Q 2760050033Q)
(or 46Q 27Q)
[settype 5 (Eval (TamTagRep (QUOTE List]
(gettype (Eval (TamTagRep (QUOTE List)))
0)
(mergesp 110642777Q 125Q)
(arshft 4000000003Q 3)
(arshft 2000000003Q 0)
(lshft 2000000003Q 2)
(rshft 2000000003Q 2)
(rshft 4000000003Q 2)
(20Q 3 11Q)
(-1 4 11Q)
(-1 11Q 4)
(T 3 5)
(d1 142Q 40Q)
(d2 27Q 127Q)
(+ 11Q 10Q)
(+ 130Q 42Q)
(- 11Q 6)
(- 6 11Q)))
do (dpop (CAR i)
(EvalElt (CADR i))
(EvalElt (CADDR i])
(fc
[LAMBDA (n) (* edited: " 2-Sep-86 18:04")
(SETQ n (findnode n))
(PROG (x)
(PRINTOUT T "< ------------ " (name&val n)
" cap: "
(fetch (node ncap) of n)
" ------------->" T) (* SETQ x (finddevice n NIL T))
(* if (NOT deviceerror) then
(PRINTOUT T x T))
(for tran in (fetch (node nsource) of n) do (checktran n tran ON))
(for tran in (fetch (node ndrain) of n) do (checktran n tran ON))
(for tran in (fetch (node nsource) of n) do (checktran n tran OFF))
(for tran in (fetch (node ndrain) of n) do (checktran n tran OFF))
(PRINTOUT T "<-------------------GATES-------------------->" T)
(for tran in (fetch (node ngate) of n) do (checktran n tran])
(forced1
[LAMBDA (val) (* edited: "22-Aug-86 20:23")
(SETQ D1 val)
[for i from 0 to 37Q
do (replace (node npot) of (findnode (PACK (LIST (QUOTE D1-)
i)))
with (if (EQ (LOADBYTE val i 1)
0)
then (QUOTE DLOW)
else (QUOTE DHIGH))) (* xenque (findnode (PACK (LIST
(QUOTE D1-) i))))
]
(Print01List (QUOTE ((D1])
(readibuf
[LAMBDA (pcaddr oplen) (* edited: "21-Aug-86 21:18")
(replace (MI W2addr) of #MIR 0)
(SETQ *Read 0)
(SETQ *Write 0)
(SetTransSim)
(setpc pcaddr oplen)
(replace (MI RD1addr) of #MIR with 2)
(replace (MI RD2addr) of #MIR with 0)
(SetTransSim)
(clock (QUOTE pre))
(SETQ *Read 1)
(SetTransSim)
(clock (QUOTE (clock op)))
[Print01List (QUOTE ((#OPCODE]
(clock (QUOTE pre))
(clock (QUOTE (clock micro)))
(SETQ *Read 0)
(replace (MI RD1addr) of #MIR with 0)
(replace (MI RD2addr) of #MIR with 0)
(SETQ pClock 0)
(SetTransSim)
(Print01List (QUOTE ((#IBUFN)
(D1])
(regtest
[LAMBDA NIL (* edited: "22-Aug-86 18:59")
(for i from 0 to 12Q do (writerf (PLUS i 400Q)
(TamRep i)))
(for i From 0 to 12Q do (readrf (PLUS i 400Q)
(TamRep i])
(cctest
[LAMBDA NIL (* edited: "21-Aug-86 23:08")
(for i in (QUOTE ((unbound (TamRep (QUOTE Unbound))
0)
(integerp (TamRep 42Q)
0)
(boundp (TamRep (QUOTE Atm)
5)
0)
(stackp (TamRep (QUOTE Stack))
0)
(~integerp (TamRep (QUOTE Atm)
4)
0)
(floatp (TamRep (QUOTE Float))
0)
(~floatp (TamRep (QUOTE Float))
0)
(xtypep (TamRep (QUOTE Xtype))
0)
(~xtypep (TamRep (QUOTE Xtype))
0)
(pointerp (TamRep (QUOTE List)
42Q)
0)
(integerd1d2 (TamRep 27Q)
(TamRep 103Q))
(numberpd1d2 (TamRep (QUOTE Number)
127Q)
(TamRep (QUOTE Number)
40Q))
(~numberpd1d2 (TamRep (QUOTE Number)
515Q)
(TamRep 42Q))
(consp (TamRep (QUOTE List))
0)
(~consp 3 4)
(d1=d2 (TamRep 361100Q)
(TamRep (QUOTE Ptr)
361100Q))
(d1#d2 (TamRep 2322Q)
(TamRep 30070Q))
(ccodep (TamRep (QUOTE Code)
143Q)
0)
(d2=int<8&d1=ccodep (TamRep (QUOTE Code)
144Q)
(TamRep 7))
(d2=int<8&d1=atom (TamRep (QUOTE Atm)
515Q)
(TamRep 0))
(ccodep&~nlambdastarp (TamRep (QUOTE Code)
6405Q)
0)
(noflagbitd2 0 (TamRep (QUOTE Atm)))
(flagbitd2 0 (TamRep (QUOTE Number)))
(d1<7x>=d2<7x> 257Q 256Q)
(d1<8>=d2<8> 252Q 252Q)
(minintd2 0 14000000000Q)
(~minintd2 0 14000000001Q)
(pointerpd2 0 (TamRep (QUOTE Ptr)))
(integerpd1&pointerpd2 (TamRep 5)
(TamRep (QUOTE List)))
(traponreturntod2 0 (TamRep (QUOTE TrapOnReturnTo)))
(~traponreturntod2 0 (TamRep (QUOTE TrapOnExit)))
(traponexit (TamRep (QUOTE TrapOnExit))
0)
(posintegerp (TamRep 2000000001Q)
0)
(~posintegerp 14000177777Q 0)
(true 0 0)))
do (PRINTOUT T "cc " (CAR i)
T)
(cond [CADR (FASSOC (CAR i)
(GETPROP (QUOTE condcode)
(QUOTE uField]
(EVAL (CADR i))
(EVAL (CADDR i])
(checkconsts
[LAMBDA NIL (* mar: "18-Aug-86 11:25")
(SETQ D2 (TamRep (QUOTE NIL)))
(readreg 0 3)
(SETQ D2 (TamRep (QUOTE T)))
(readreg 0 4)
(SETQ D2 (TamRep (QUOTE Unbound)))
(readreg 0 5])
(cond
[LAMBDA (cc d1 d2) (* edited: "21-Aug-86 23:24")
(replace (MI CondCode) of #MIR with cc)
(SETQ RE d2)
(SETQ RO d1)
(SETQ D1 d1)
(SETQ D2 d2)
(SETQ *Read 0)
(SetTransSim)
(clock (QUOTE pre))
(SETQ *Read 1)
(SetTransSim)
(clock (QUOTE clock))
(CheckCondA)
(PRINTOUT T "CC: " cc " D1: " d1 " D2: " d2 T)
[Print01List (QUOTE ((#CONDA]
(replace (MI CondCode) of #MIR with 0)
(SetTransSim])
(dpshift
[LAMBDA (op) (* mar: "19-Aug-86 12:22")
(SETQ *Read 0)
(replace (MI EUop) of #MIR with op)
(SetTransSim)
(clock (QUOTE pre))
(SETQ *Read 1)
(SetTransSim)
(clock (QUOTE (clock firstcy)))
(pl)
(SETQ *Read 0)
(SetTransSim)
(clock (QUOTE pre))
(pl)
(clock (QUOTE (clock secondcy)))
(replace (MI EUop) of #MIR with 0)
(SetTransSim)
(pl])
(pl
[LAMBDA NIL (* mar: "14-Aug-86 10:33")
(Print01List (QUOTE ((RE)
(RO)
(D1)
(D2])
(dpsetup
[LAMBDA NIL (* edited: "22-Aug-86 20:55")
(SETQ compsections (QUOTE (Dswap-Out IBufData-Out)))
(SETQ pPre 0)
(SETQ pClock 0)
(SETQ pOp 0)
(SETQ pMicro 0)
(SETQ #OpLength=0 0)
(SETQ #$OpLength=0 0)
(SETQ setsections (QUOTE (TempFix RegMux-Out Rom-Out ClockPla Pins-In CondCode-Out OpPla-Out
D1-Out)))
(SETQ nodemaplist (for i in [APPEND [transbits (QUOTE ((UPPERDP.RESTOFDP.#NCURPC
Printit 5 PC)
(UPPERDP.RESTOFDP.WTE Printit
4 0)
(UPPERDP.RESTOFDP.WTO Printit
4 0)
(UPPERDP.RESTOFDP.RDO Printit
4 0)
(UPPERDP.RESTOFDP.RDE Printit
4 0)
(#OPCODE IBufData-Out 10Q
&Opcode)
(#UK Rom-Out 11Q
(#MIR (MI K)))
(#UARG' Rom-Out 2
(#MIR (MI Arg')))
(#URADDR Rom-Out 3
(#MIR (MI Raddr)))
(#URD1ADDR
Rom-Out 2
(#MIR (MI RD1addr)))
(#URD2ADDR
Rom-Out 3
(#MIR (MI RD2addr)))
(#UWADDR Rom-Out 3
(#MIR (MI Waddr)))
(#URCXT Rom-Out 3
(#MIR (MI RCxt)))
(#UWCXT Rom-Out 3
(#MIR (MI WCxt)))
(#IBUFN IBufData-Out 10Q
#IBufN)
(@REGADDR~ RegMux-Out 6
@RegAddr~)
(@MUXREADSEL RegMux-Out 10Q
@MuxRdSel~)
(@QUAD ClockPla 2 @Quad)
(#UNEWTOS
Rom-Out 3
(#MIR (MI NewTos)))
(#UNEWTOPCXT
Rom-Out 2
(#MIR (MI NewTopCxt)))
(#UNEWARG2
Rom-Out 2
(#MIR (MI NewArg2)))
(#UNEWARG
Rom-Out 3
(#MIR (MI NewArg)))
(#UNEWBOTCXT
Rom-Out 2
(#MIR (MI NewBotCxt)))
(#OPLENGTH OpPla-Out 3
#OpLength)
($OPLENGTH OpPla-Out 3
$OpLength)
(#UCONDCODE
Rom-Out 7
(#MIR (MI CondCode)))
(#UCYCLE Rom-Out 3
(#MIR (MI Cycle)))
(#UEUOP Rom-Out 6
(#MIR (MI EUop)))
(#UMISC Rom-Out 5
(#MIR (MI Misc)))
(#UMUXRDSEL
Rom-Out 3
(#MIR (MI MuxRdSel)))
(#UNEXTINSTA
Rom-Out 11Q
(#MIR (MI NextInstA)))
(#UNEXTINSTB
Rom-Out 11Q
(#MIR (MI NextInstB)))
(#UPC SNI-Out 10Q #uPC)
(#URD1ADDR
Rom-Out 2
(#MIR (MI RD1addr)))
(#URD2ADDR
Rom-Out 2
(#MIR (MI RD2addr)))
(#UW2ADDR
Rom-Out 3
(#MIR (MI W2addr)))
(#UTAG Rom-Out 2
(#MIR (MI Tag)))
(RE RegFile 40Q RE)
(RO RegFile 40Q RO)
(D2 Dswap-Out 40Q D2)
(D1 D1-Out 40Q D1)
(@REGCXT~ RegMux-Out 3
@RegCxt~]
(QUOTE ((PHIMICRO ClockPla ((pMicro 0 1 0)))
(PHIMICRO&WRITEOK ClockPla
((pMicro&WriteOk 0 1 0)))
(PHIMICRO&NEWOP ClockPla
((pMicro&NewOp 0 1 0)))
(PHIOP ClockPla ((pOp 0 1 0)))
(PHIPRE ClockPla ((pPre 0 1 0)))
(PHICLOCK ClockPla ((pClock 0 1 0)))
(PHIFIRSTCY ClockPla
((0 0 1 0)))
(PHISECONDCY ClockPla
((0 0 1 0)))
(+WRITE ClockPla ((*Write 0 1 0)))
(+READ ClockPla ((*Read 0 1 0)))
(SMALLDP.LSBSIDE.+READ ClockPla
((*Read 0 1 0)))
(+MEMREAD ClockPla ((*MemRead 0 1 0)))
(+DORESET ClockPla ((*DoReset 0 1 0)))
(+FIRSTCY ClockPla ((*FirstCy 0 1 0)))
(+SECONDCY ClockPla
((*SecondCy 0 1 0)))
(@WRITE ClockPla ((@Write 0 1 0)))
(@READ ClockPla ((@Read 0 1 0)))
($WRITEOK ClockPla (($WriteOk 0 1 0)))
(@WRITEOCTAL~ ClockPla
((1 0 1 0)))
(@RDMUXSEL RegMux-Out
((@RdMuxSel 0 1 0)))
(#ARG=0 RegMux-Out
(((Eval (OZ (EQ #Arg 0)))
0 1 0)))
(#ARG=ARG2 RegMux
(((Eval (OZ (EQ #Arg #Arg2))
)
0 1 0)))
(#UTOS' Rom-Out (((#MIR (MI Tos'))
0 1 0)))
(#$REFCNT Misc-Out ((#$RefCnt 0 1 0)))
(#$STACKREFILL Misc-Out
((#$StackRefill 0 1 0)))
(#INTERRUPT Misc-Out
((#Interrupt 0 1 0)))
(@INITIALREFILL Misc-Out
((@InitialRefill 0 1 0)))
(#$OPLENGTH=0 Misc-Out
((#$OpLength=0 0 1 0)))
(UPPERDP.RESTOFDP.$OPLENGTH=0
Misc-Out
(($OpLength=0 0 1 0)))
(#REFRESH Misc-Out ((#Refresh 0 1 0)))
(#$OUTPUTINTERRUPT Misc-Out
((#$OutputInt 0 1 0)))
($HOLD Misc-Out (($Hold 0 1 0)))
(@RESET Misc-Out ((@Reset 0 1 0)))
(HOLD Pins-In ((Hold 0 1 0)))
(INTERRUPT Pins-In
((Interrupt 0 1 0)))
(REFRESH Pins-In ((Refresh 0 1 0)))
(RESET Pins-In ((Reset 0 1 0)))
(#CONDA DataPath-Out
((#CondA 0 1 0)))
(#CONTREFILL DataPath-Out
((#ContRefill 0 1 0)))
(#FAULT DataPath-Out
((#Fault 0 1 0)))
(#FORCENEWOP OpPla-Out
((#ForceNewOp 0 1 0)))
(#FRAMESEMPTY RegMux-Out
((#FramesEmpty 0 1 0)))
(#FRAMESFULL RegMux-Out
((#FramesFull 0 1 0)))
(#MODSTARTADDR OpPla-Out
((#ModStartAddr 0 1 0)))
(#MODSTARTADDR~ OpPla-Out
(((Not #ModStartAddr)
0 1 0)))
($NEWOP CCode-Out (($NewOp 0 1 0)))
(#UWDDR-0 Rom-Out (((#MIR (MI Waddr))
0 1 0)))
(#UDSWAP Rom-Out (((#MIR (MI Dswap))
0 1 0)))
(#UCWRITE Rom-Out (((#MIR (MI CWrite))
0 1 0)))
(#UCWRITE~ Rom-Out
(((Not (#MIR (MI CWrite)))
0 1 0)))
(#UDSWAP Rom-Out (((#MIR (MI Dswap))
0 1 0)))
(#WRITEOK CCode-Out
((#WriteOk 0 1 0)))
(LOWERDP.OFLLOGIC.COUT Euop-CCodes
((@carry 0 1 0)))
(LOWERDP.OFLLOGIC.GT Euop-CCodes
((@greaterp 0 1 0)))
(LOWERDP.OFLLOGIC.OFL Euop-CCodes
((@overflow 0 1 0]
when (findnode (CAR i))
collect (CONS (if (findnode (CAR i))
then (findnode (CAR i))
else (PRINTOUT T "Node not Found: " (CAR i)
T)
(QUOTE (noop none 0)))
(CDR i)))
(SetupTransSim))
NIL])
(dprun
[LAMBDA NIL (* mar: "20-Aug-86 21:00")
(SETQ *Read 0)
(SetTransSim)
(clock (QUOTE pre))
(pl)
(SETQ *Read 1)
(SetTransSim)
(clock (QUOTE clock))
(pl])
(readreg
[LAMBDA (r1 r2) (* mar: "14-Aug-86 12:56")
(if (NOT r2)
then (SETQ r2 0))
(if (NOT r1)
then (SETQ r1 0))
(replace (MI RD1addr) of #MIR with r1)
(replace (MI RD2addr) of #MIR with r2)
(SetTransSim)
(clock (QUOTE pre))
(SETQ *Read 1)
(SETQ pClock 1)
(SetTransSim) (* clock (QUOTE clock))
(steps)
(SETQ *Read 0)
(replace (MI RD1addr) of #MIR with 0)
(replace (MI RD2addr) of #MIR with 0)
(SETQ pClock 0)
(SetTransSim)
(pl])
(readrf
[LAMBDA (reg) (* rtk "16-Sep-86 17:47")
(SETQ *MemRead 0)
(SETQ @RegCxt~ 7)
(SETQ @RegAddr~ (LOGXOR reg 63))
(SETQ @Write 0)
(SETQ *Read 1)
(SETQ @Read 1)
(SetTransSim)
(clock (QUOTE pre))
(clock (QUOTE clock))
(SETQ *Read 0)
(SETQ @Read 0)
(PRINTOUT T "Reading: " reg " should be " T)
(PrintOutList (QUOTE ((D1)
(RE)
(RO)))
T])
(setibuf
[LAMBDA (addr) (* edited: " 8-Sep-86 12:07")
[for PC in (QUOTE (0 20Q))
do (setpc PC 0)
(replace (MI W2addr) of #MIR 1)
(SETQ *Write 1)
(SETQ *Read 1)
(replace (MI RD2addr) of #MIR 0)
(SetTransSim)
(clock (QUOTE clock))
(for @Quad from 0 to 3
do [SETQ RE (if (EQ PC 0)
then (CAR (NTH (QUOTE (552Q 17152Q 170552Q 367152Q))
(ADD1 @Quad)))
else (CAR (NTH (QUOTE (3600552Q 3617152Q 3770552Q 7567152Q))
(ADD1 @Quad]
(SetTransSim)
(clock (QUOTE pre))
(setinputh (QUOTE PHICLOCK))
(steps)
(PRINTOUT T "PC " PC " Quad " @Quad " wrote " RE T)
(PrintOutList (QUOTE ((DATAPATH.RESTOFDP.WTE)
(DATAPATH.RESTOFDP.WTO)))
T)
(setinputl (QUOTE PHICLOCK]
(pl)
(replace (MI W2addr) of #MIR 0)
(SETQ *Read 0)
(SETQ *Write 0)
(SetTransSim)
(setpc 0 1)
(for x from 0 to 12Q by 1
do (clock (QUOTE pre))
(setinputh (QUOTE PHIOP))
(steps)
(PRINTOUT T "PC " PC " Oplength " $OpLength T)
(PrintOutList (QUOTE ((#OPCODE)
(#IBUFN)
(DATAPATH.RESTOFDP.#NCURPC)
(DATAPATH.RESTOFDP.RDE)
(DATAPATH.RESTOFDP.RDO)))
T)
(setinputl (QUOTE PHIOP))
(clock (QUOTE micro&newop])
(setnread
[LAMBDA (oplen) (* mar: "15-Aug-86 14:36")
(SETQ $OpLength oplen)
(SetTransSim)
(clock (QUOTE micro&newop))
(readreg 0 1])
(setpc
[LAMBDA (val opl) (* edited: "21-Aug-86 20:53")
(replace (MI W2addr) of #MIR with 4)
(SETQ RO val)
(SETQ $OpLength 0)
(SETQ $OpLength=0 (if (EQ val 0)
then 1
else 0))
(SetTransSim)
(clock (QUOTE pre))
(SETQ *Read 1)
(SetTransSim)
(clock (QUOTE clock))
(SETQ *Read 0)
(SETQ *Write 1)
(SetTransSim)
(clock (QUOTE (micro micro&newop newop)))
(clock (QUOTE op))
(SETQ *Write 0)
(SETQ *Read 0)
(replace (MI W2addr) of #MIR with 0)
(clock (QUOTE (micro micro&newop newop)))
(SETQ $OpLength opl)
(SETQ $OpLength=0 0)
(SetTransSim])
(writereg
[LAMBDA (w2) (* mar: "14-Aug-86 16:25")
(* rtk "12-Aug-86 16:15")
(SETQ *Read 0)
(replace (MI W2addr) of #MIR with w2)
(SetTransSim)
(clock (QUOTE pre))
(pl)
(SETQ *Read 1)
(SETQ *Write 1)
(SETQ *SecondCy 1)
(SETQ *FirstCy 1)
(SetTransSim)
(clock (QUOTE clock))
(pl)
(SETQ *Write 0)
(SETQ pClock 0)
(SETQ *SecondCy 0)
(SETQ *FirstCy 0)
(replace (MI W2addr) of #MIR with 0)
(SetTransSim])
(writerf
[LAMBDA (reg val) (* rtk "16-Sep-86 17:51")
(SETQ eDat (LOGXOR val 1073741823))
(SETQ oDat (LOGXOR val 1073741823))
(SETQ @RegAddr~ (LOGXOR reg 63))
(SETQ $WriteOk 1)
(SETQ @RegCxt~ 7)
(SETQ *MemRead 0)
(SETQ @Read 0)
(SETQ *Read 0)
(SETQ @Write 1)
(SETQ *Write 1)
(SETQ *WriteOk 1)
(SetTransSim)
(clock (QUOTE pre)) (* forced1 val)
(clock (QUOTE clock))
(PRINTOUT T "Writing Reg: " reg " with " val T)
(PrintOutList (QUOTE ((RE)
(RO)
(D1)))
T)
(SETQ *Write 0)
(SETQ $WriteOk 0)
(SETQ @Write 0)
(SETQ @RegCxt~ 0)
(SETQ @RegAddr~ 0)
(SETQ *WriteOk 0])
)
(RPAQQ pllist ((N466 N457 N334 N328 N202 N196)
(N458 N459 N331 N325 N199 N193)))
(PUTPROPS DPFILES COPYRIGHT ("Xerox Corporation" 1986))
(DECLARE: DONTCOPY
(FILEMAP (NIL (496 22243 (dpop 506 . 1901) (euoptest 1903 . 2752) (fc 2754 . 3775) (forced1 3777 .
4313) (readibuf 4315 . 5170) (regtest 5172 . 5478) (cctest 5480 . 8035) (checkconsts 8037 . 8355) (
cond 8357 . 8949) (dpshift 8951 . 9516) (pl 9518 . 9698) (dpsetup 9700 . 16481) (dprun 16483 . 16768)
(readreg 16770 . 17487) (readrf 17489 . 18022) (setibuf 18024 . 19643) (setnread 19645 . 19866) (setpc
19868 . 20682) (writereg 20684 . 21370) (writerf 21372 . 22241)))))
STOP