Tick cycle counter in execute loop.

2 files changed, 5 insertions, 0 deletions

diff --git a/riscv/main.sail b/riscv/main.sail
index b6484755..80a637a0 100644
--- a/riscv/main.sail
+++ b/riscv/main.sail
@@ -8,6 +8,7 @@ val elf_tohost = {
 function fetch_and_execute () =
   let tohost = __GetSlice_int(64, elf_tohost(), 0) in
   while true do {
+    tick_clock();
     print_bits("\nPC: ", PC);
 
     /* for now, always fetch a 32-bit value.  this would need to
diff --git a/riscv/riscv_sys.sail b/riscv/riscv_sys.sail
index e9428448..f0b655f3 100644
--- a/riscv/riscv_sys.sail
+++ b/riscv/riscv_sys.sail
@@ -701,3 +701,7 @@ function init_sys() -> unit = {
 
   mhartid = EXTZ(0b0);
 }
+
+function tick_clock() -> unit = {
+  mcycle = mcycle + 1
+}