1 files changed, 1 insertions, 0 deletions

diff --git a/backend/regfile.h b/backend/regfile.h
index 276504c..4cf328a 100644
--- a/backend/regfile.h
+++ b/backend/regfile.h
@@ -33,6 +33,7 @@ namespace backend {
                 auto i = writebackp.read();
                 if (i.generation == generation_down) {
                     pte(i.transaction, "W", fmt::format("writeback gen={} pc={:x}", generation_down, pc));
+                    assert(pc == i.init_pc);
                     auto old_pc = pc;
                     pc = i.linear_next_pc;
                     switch (i.field[OPCODE]) {