Address review comment

kuznia-rdzeni · Dec 18, 2024 · 66f3e87 · 66f3e87
1 parent 78a4bc1
commit 66f3e87
Show file tree

Hide file tree

Showing 2 changed files with 3 additions and 5 deletions.
diff --git a/test/lib/test_allocators.py b/test/lib/test_allocators.py
@@ -83,7 +83,7 @@ async def deallocator(sim: TestbenchContext):
                     await dut.free.call(sim, ident=val)
                 else:
                     await dut.free_idx.call(sim, idx=idx)
-                free.insert(0, val)
+                free.append(val)
                 allocated.pop(idx)
                 await self.random_wait_geom(sim, 0.4)
 

diff --git a/transactron/lib/allocators.py b/transactron/lib/allocators.py
@@ -113,11 +113,9 @@ def _():
         @def_method(m, self.free_idx)
         def _(idx):
             for i in range(self.entries - 1):
-                with m.If((i >= idx) & (i + 1 < incr_used)):
+                with m.If(i >= idx):
                     m.d.sync += order[i].eq(order[i + 1])
-            for i in range(self.entries):
-                with m.If(i + 1 == incr_used):
-                    m.d.sync += order[i].eq(order[idx])
+            m.d.sync += order[self.entries - 1].eq(order[idx])
 
         @def_method(m, self.free)
         def _(ident):