LizardToolOutput.mesa
Copyright © 1985, 1986 by Xerox Corporation. All rights reserved.
Russ Atkinson (RRA) September 16, 1986 0:18:27 am PDT
Peter Kessler November 11, 1985 11:31:26 am PST
DIRECTORY
DragOpsCross USING [Inst, Word],
IO USING [STREAM],
LizardCache USING [CacheStats],
LizardHeart USING [Processor, ProcessorStats],
SparseMemory USING [Base];
LizardToolOutput: CEDAR DEFINITIONS = BEGIN
STREAM: TYPE = IO.STREAM;
LastInstTable: TYPE = REF LastInstTableRep;
LastInstTableRep: TYPE = RECORD [
last: [0..LastInstMod) ← 0,
pcArray: ARRAY [0..LastInstMod) OF DragOpsCross.Word];
LastInstMod: NAT = 64;
InstCountTable: TYPE = REF InstCountTableRep;
InstCountTableRep: TYPE = ARRAY DragOpsCross.Inst OF INTALL[0];
StatSnapshot: TYPE = RECORD [
pStats: LizardHeart.ProcessorStats,
discarded: INT ← 0,
forcedEmpty: INT ← 0,
ifuStats: LizardCache.CacheStats,
euStats: LizardCache.CacheStats,
iStats: InstCountTableRep
];
Procedures
TestAbort: TYPE = PROC RETURNS [BOOL];
ShowRegisters: PROC
[out: STREAM, processor: LizardHeart.Processor, testAbort: TestAbort ← NIL];
Prints the registers to the stream.
ShowRing: PROC [out: STREAM, ring: LastInstTable, mem: SparseMemory.Base, howMany: [0..LastInstMod] ← LastInstMod, testAbort: TestAbort ← NIL];
Prints the last instruction buffer to the stream.
ShowStats: PROC [out: STREAM, processor: LizardHeart.Processor, instStats: InstCountTable, testAbort: TestAbort ← NIL];
Prints the execution statistics to the stream.
ShowBiasedStats: PROC [out: STREAM, old, new: StatSnapshot, testAbort: TestAbort ← NIL];
Prints out biased execution statistics to the stream.
END.