<> <> <> <> <<>> 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.