From 134dd7eb26fc7988ae13559d276cbf337b4b9d27 Mon Sep 17 00:00:00 2001
From: Sai Praveen Bangaru <31557731+saipraveenb25@users.noreply.github.com>
Date: Mon, 30 Jan 2023 11:46:36 -0500
Subject: Overhauled reverse-mode control flow handling (#2608)

* Added switch-case support; fixed non-diff parameter transposition

* Made region propagation much more robust. Partial loop unzip implementation

* WIP: Added most loop handling code, and a test. Still untested

* Added CFG Normalization pass + CFG Reversal Pass + Loop Unzipping + most loop transcription

* Add single-iter-loop test.

* proj files

* removed comments

* Update reverse-loop.slang

* Removed out-of-date code

* Disabled IR validation during constructSSA phase of normalizeCFG. constructSSA now reuses sharedBuilder

* Moved normalizeCFG() call to prepareFuncForBackwardDiff()
---
 source/slang/slang-ir-validate.cpp | 7 +++++++
 1 file changed, 7 insertions(+)

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

diff --git a/source/slang/slang-ir-validate.cpp b/source/slang/slang-ir-validate.cpp
index a49eda322..03db96ac5 100644
--- a/source/slang/slang-ir-validate.cpp
+++ b/source/slang/slang-ir-validate.cpp
@@ -199,6 +199,13 @@ namespace Slang
         if(inst->getFullType())
             validateIRInstOperand(context, inst, &inst->typeUse);
 
+        // Avoid validating decoration operands
+        // since they don't have to conform to inst visibility
+        // constraints.
+        // 
+        if (as<IRDecoration>(inst))
+            return;
+
         UInt operandCount = inst->getOperandCount();
         for (UInt ii = 0; ii < operandCount; ++ii)
         {
-- 
cgit v1.2.3