Prototyping non-array register file next

cksystemsteaching · Sep 25, 2024 · 4054060 · 4054060
1 parent 9e1aaeb
commit 4054060
Showing 1 changed file with 39 additions and 2 deletions.
diff --git a/tools/rotor.c b/tools/rotor.c
@@ -126,6 +126,8 @@ uint64_t* new_ternary(char* op, uint64_t* sid, uint64_t* first_nid, uint64_t* se
 uint64_t* new_init(uint64_t* sid, uint64_t* state_nid, uint64_t* value_nid, char* comment);
 uint64_t* new_next(uint64_t* sid, uint64_t* state_nid, uint64_t* value_nid, char* comment);
 
+uint64_t* new_register_file_next(uint64_t* state_nid, uint64_t* value_nid, char* comment);
+
 uint64_t* new_property(char* op, uint64_t* condition_nid, char* symbol, char* comment);
 
 // ------------------------ GLOBAL CONSTANTS -----------------------
@@ -3818,6 +3820,42 @@ uint64_t* new_next(uint64_t* sid, uint64_t* state_nid, uint64_t* value_nid, char
   return new_line(OP_NEXT, sid, state_nid, value_nid, UNUSED, comment);
 }
 
+uint64_t* new_register_file_next(uint64_t* state_nid, uint64_t* value_nid, char* comment) {
+  uint64_t* next_nid;
+  uint64_t i;
+
+  if (REGISTER_FILE_ARRAY)
+    return new_next(SID_REGISTER_STATE, state_nid, value_nid, comment);
+  else {
+    next_nid = smalloc(32 * sizeof(uint64_t*));
+
+    i = 0;
+
+    while (i < 32) {
+      if (i == 0)
+        *next_nid = (uint64_t) new_next(SID_REGISTER_STATE, (uint64_t*) *state_nid, (uint64_t*) *state_nid, comment);
+      else
+        *(next_nid + i) = (uint64_t) new_next(SID_REGISTER_STATE, (uint64_t*) *(state_nid + i),
+          new_ternary(OP_ITE, SID_MACHINE_WORD,
+            new_binary_boolean(OP_AND,
+              get_array_status_nid(value_nid),
+              new_binary_boolean(OP_EQ,
+                get_array_address_nid(value_nid),
+                new_constant(OP_CONST, SID_REGISTER_ADDRESS, i, (char*) *(REGISTERS + i)),
+                ""),
+              ""),
+            get_array_value_nid(value_nid),
+            (uint64_t*) *(state_nid + i),
+            ""),
+          comment);
+
+      i = i + 1;
+    }
+
+    return next_nid;
+  }
+}
+
 uint64_t* new_property(char* op, uint64_t* condition_nid, char* symbol, char* comment) {
   return new_line(op, UNUSED, condition_nid, (uint64_t*) symbol, UNUSED, comment);
 }
@@ -11752,8 +11790,7 @@ void rotor_sequential(uint64_t core, uint64_t* pc_nid, uint64_t* register_file_n
       next_nid = new_next(SID_REGISTER_STATE,
         get_for(0, state_register_file_nids), register_data_flow_nid, "register file");
   } else
-    next_nid = new_next(SID_REGISTER_STATE,
-      register_file_nid, register_data_flow_nid, "register file");
+    next_nid = new_register_file_next(register_file_nid, register_data_flow_nid, "register file");
 
   set_for(core, next_register_file_nids, next_nid);
   set_for(core, sync_register_file_nids, sync_nid);