diff options
| author | Sai Praveen Bangaru <31557731+saipraveenb25@users.noreply.github.com> | 2023-01-30 11:46:36 -0500 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2023-01-30 08:46:36 -0800 |
| commit | 134dd7eb26fc7988ae13559d276cbf337b4b9d27 (patch) | |
| tree | 35bd06e6bebb4518bca805e14e85f8f9ef4341c6 /source/slang/slang-ir-validate.cpp | |
| parent | 4a66e9729175a89833e5db784bb64e6a7f60cdf2 (diff) | |
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()
Diffstat (limited to 'source/slang/slang-ir-validate.cpp')
| -rw-r--r-- | source/slang/slang-ir-validate.cpp | 7 |
1 files changed, 7 insertions, 0 deletions
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) { |