Kevin Lim c9ad4a15d6 Cleanup checker. ...

cpu/checker/cpu.cc:
    Cleanup checker, give more useful warning messages.
    Also fix bug
cpu/checker/cpu.hh:
    Cleanup checker, use forward declaration instead of include.

--HG--
extra : convert_revision : 8f231199a0a75788218320cdbcc7f70441e5d574

2006-05-23 16:59:13 -04:00

..

cpu_builder.cc

Add in checker. Supports dynamically verifying the execution of instructions, as well as limited amount of control path verification. It will verify anything within the program, but anything external (traps, interrupts, XC) it assumes is redirected properly by the CPU. Similarly it assumes the results of store conditionals, uncached loads, and instructions marked as "unverifiable" are correct from the CPU.

2006-05-16 13:59:29 -04:00

cpu.cc

Cleanup checker.

2006-05-23 16:59:13 -04:00

cpu.hh

Cleanup checker.

2006-05-23 16:59:13 -04:00

exec_context.hh

Move kernel stats out of CPU and into XC.

2006-05-23 16:51:16 -04:00

o3_cpu_builder.cc

Add in checker. Supports dynamically verifying the execution of instructions, as well as limited amount of control path verification. It will verify anything within the program, but anything external (traps, interrupts, XC) it assumes is redirected properly by the CPU. Similarly it assumes the results of store conditionals, uncached loads, and instructions marked as "unverifiable" are correct from the CPU.

2006-05-16 13:59:29 -04:00