Add some asserts.

1 files changed, 3 insertions, 0 deletions

diff --git a/backend/regfile.h b/backend/regfile.h
index 4ea2f31..62177de 100644
--- a/backend/regfile.h
+++ b/backend/regfile.h
@@ -105,11 +105,13 @@ namespace backend {
                     if (!hazard) {
                         auto i = instp.read();
                         if (!(i.field[FLAGS_DST] & FLAG_IMM1)) {
+                            assert(!hazards[i.field[SRC1] % regs.size()]);
                             auto x = regs[i.field[SRC1] % regs.size()];
                             pte(i.transaction, "", fmt::format("rf1[{}]={:x}", i.field[SRC1] % regs.size(), x));
                             i.field[SRC1] = x;
                         }
                         if (!(i.field[FLAGS_DST] & FLAG_IMM2)) {
+                            assert(!hazards[i.field[SRC2] % regs.size()]);
                             auto x = regs[i.field[SRC2] % regs.size()];
                             pte(i.transaction, "", fmt::format("rf2[{}]={:x}", i.field[SRC2] % regs.size(), x));
                             i.field[SRC2] = x;
@@ -123,6 +125,7 @@ namespace backend {
                             case OP_STORE:
                                 break;
                             default:
+                                assert(!hazards[i.field[FLAGS_DST] % regs.size()]);
                                 hazards[i.field[FLAGS_DST] % regs.size()] = true;
                                 break;
                         }