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 ]; TestAbort: TYPE = PROC RETURNS [BOOL]; ShowRegisters: PROC [out: STREAM, processor: LizardHeart.Processor, testAbort: TestAbort _ NIL]; ShowRing: PROC [out: STREAM, ring: LastInstTable, mem: SparseMemory.Base, howMany: [0..LastInstMod] _ LastInstMod, testAbort: TestAbort _ NIL]; ShowStats: PROC [out: STREAM, processor: LizardHeart.Processor, instStats: InstCountTable, testAbort: TestAbort _ NIL]; ShowBiasedStats: PROC [out: STREAM, old, new: StatSnapshot, testAbort: TestAbort _ NIL]; END. LizardToolOutput.mesa Copyright c 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 Procedures Prints the registers to the stream. Prints the last instruction buffer to the stream. Prints the execution statistics to the stream. Prints out biased execution statistics to the stream. Κ˜codešœ™Kšœ Οmœ7™BK™5K™/—™šΟk ˜ Kšœ žœ˜ Kšžœžœžœ˜Kšœ žœ˜Kšœ žœ˜.Kšœ žœ˜——headšœžœž œž˜+K˜Kšžœžœžœžœ˜K˜Kšœžœžœ˜+šœžœžœ˜!Kšœ˜Kšœ žœžœ˜6—Kšœ žœ˜K˜Kšœžœžœ˜-Kš œžœžœžœžœžœ˜BK˜šœžœžœ˜Kšœ#˜#Kšœ žœ˜Kšœ žœ˜Kšœ!˜!Kšœ ˜ Kšœ˜K˜K˜——™ Kš Οn œžœžœžœžœ˜&K˜šŸ œžœžœ;žœ˜`K™#K™—šŸœžœžœožœ˜K™1K™—šŸ œžœžœVžœ˜wK™.K™—šŸœžœžœ1žœ˜XK™5——K˜Kšžœ˜—…—Ϊq