Precise dependencies

.basedpyright/baseline.json

@@ -14016,6 +14016,24 @@
                 }
             }
         ],
+        "./loopy/kernel/dependency.py": [
+            {
+                "code": "reportUnknownMemberType",
+                "range": {
+                    "startColumn": 25,
+                    "endColumn": 34,
+                    "lineCount": 1
+                }
+            },
+            {
+                "code": "reportUnknownMemberType",
+                "range": {
+                    "startColumn": 12,
+                    "endColumn": 43,
+                    "lineCount": 1
+                }
+            }
+        ],
         "./loopy/kernel/function_interface.py": [
             {
                 "code": "reportAny",
@@ -74225,4 +74243,4 @@
             }
         ]
     }
-}
+}

doc/ref_internals.rst

@@ -60,3 +60,8 @@ Schedule
 .. automodule:: loopy.schedule
 .. automodule:: loopy.schedule.tools
 .. automodule:: loopy.schedule.tree
+
+Dependence Analysis
+-------------------
+.. automodule:: loopy.kernel.dependency
+.. automodule:: loopy.schedule.verification

loopy/codegen/__init__.py

@@ -316,6 +316,13 @@ def generate_code_for_a_single_kernel(
         raise LoopyError("cannot generate code for a kernel that has not been "
                 "scheduled")
 
+    from loopy.kernel.dependency import has_precise_dependencies
+    if has_precise_dependencies(kernel):
+        from loopy.schedule.verification import (
+            verify_happens_after_is_enforced,
+        )
+        kernel = verify_happens_after_is_enforced(kernel)
+
     codegen_plog = ProcessLogger(logger, f"{kernel.name}: generate code")
 
     # {{{ examine arg list