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 INT ← ALL[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.