Merge pull request #60 from slothy-optimizer/fix_cross_loop_dep

Fix bug in cross-loop dependency handling
slothy-optimizer · Jun 25, 2024 · 5385c76 · 5385c76
2 parents 2cd8ab6 + a268b4e
commit 5385c76
Show file tree

Hide file tree

Showing 2 changed files with 4 additions and 2 deletions.
diff --git a/requirements.txt b/requirements.txt
@@ -1,3 +1,4 @@
+numpy==1.26.4
 ortools==9.7.2996
 pandas==2.1.1
 sympy==1.12
diff --git a/slothy/core/core.py b/slothy/core/core.py
@@ -2020,8 +2020,9 @@ def _add_path_constraint_from( self, consumer, producer, cb_lst):
         bvars = [ self._NewBoolVar("") for _ in cb_lst ]
         self._AddExactlyOne(bvars)
 
-        if self._is_low(consumer) and self._is_high(producer):
-            raise Exception("Not yet implemented")
+        if self.config.sw_pipelining.enabled is True and \
+           self._is_low(consumer) and self._is_high(producer):
+           raise Exception("Not yet implemented")
 
         if not self.config.sw_pipelining.enabled or producer.is_virtual or consumer.is_virtual:
             for (cb, bvar) in zip(cb_lst, bvars, strict=True):