From 41e7e565eb3dfa13562cbfa3e8641874c2c6d66c Mon Sep 17 00:00:00 2001
From: Sai Praveen Bangaru <31557731+saipraveenb25@users.noreply.github.com>
Date: Fri, 4 Apr 2025 14:12:27 -0400
Subject: Add a loop analysis step to infer the exit values of loop phi
 parameters. (#6696)

* Initial loop analysis pass

* More changes for a single-pass implication propagation

* Update slang-ir-autodiff-loop-analysis.cpp

* Cleanup + new system for loop analysis

* Fixup bugs in loop analysis

* Remove some relation types to simplify the analysis. Add test

* Remove unused

* Address comments

* Fix issue with continue loops

* Update reverse-loop-exit-value-inference-1.slang

* Update reverse-continue-loop.slang
---
 source/slang/slang-ir.cpp | 7 +++++++
 1 file changed, 7 insertions(+)

(limited to 'source/slang/slang-ir.cpp')

diff --git a/source/slang/slang-ir.cpp b/source/slang/slang-ir.cpp
index a74ac58a4..1287d1598 100644
--- a/source/slang/slang-ir.cpp
+++ b/source/slang/slang-ir.cpp
@@ -5734,6 +5734,13 @@ IRInst* IRBuilder::emitCheckpointObject(IRInst* value)
     return inst;
 }
 
+IRInst* IRBuilder::emitLoopExitValue(IRInst* value)
+{
+    auto inst = createInst<IRLoopExitValue>(this, kIROp_LoopExitValue, value->getFullType(), value);
+    addInst(inst);
+    return inst;
+}
+
 IRInst* IRBuilder::emitBranch(IRBlock* pBlock)
 {
     auto inst = createInst<IRUnconditionalBranch>(this, kIROp_unconditionalBranch, nullptr, pBlock);
-- 
cgit v1.2.3