2 files changed, 5 insertions, 0 deletions

diff --git a/uarch/core.cpp b/uarch/core.cpp
index 503e286..ce58df2 100644
--- a/uarch/core.cpp
+++ b/uarch/core.cpp
@@ -364,6 +364,9 @@ bail_out:
         if (interrupt || oldctlregs != ctlregs)
             if (!restarttr.has_value())
                 restarttr = infra::pt::toplevel();
+        cycles_since_progress = 0;
+    } else {
+        assert(++cycles_since_progress < 10);
     }
 
     if (restarttr.has_value()) {
diff --git a/uarch/core.h b/uarch/core.h
index b8473e6..ebfd388 100644
--- a/uarch/core.h
+++ b/uarch/core.h
@@ -78,6 +78,8 @@ struct indir_stage : public infra::sim {
 struct exec_stage : public infra::sim {
     core &c;
 
+    unsigned int cycles_since_progress = 0;
+
     unsigned int gen = 0;
 
     unsigned int stores_sent = 0;