Adds a warning for using `[PreferRecompute]` on methods that may contain side effects (#4707)

* Adds a warning for using prefer-recompute on methods that contain side effects

* Rename `SideEffects` -> `SideEffectBehavior`

---------

Co-authored-by: Yong He <yonghe@outlook.com>

1 files changed, 7 insertions, 0 deletions

diff --git a/source/slang/slang-emit.cpp b/source/slang/slang-emit.cpp
index e91209108..103cd15ab 100644
--- a/source/slang/slang-emit.cpp
+++ b/source/slang/slang-emit.cpp
@@ -637,6 +637,13 @@ Result linkAndOptimizeIR(
     default:
         break;
     }
+
+    if (requiredLoweringPassSet.autodiff)
+    {
+        // Generate warnings for potentially incorrect or badly-performing autodiff patterns.
+        checkAutodiffPatterns(targetProgram, irModule, sink);
+    }
+    
     // Next, we need to ensure that the code we emit for
     // the target doesn't contain any operations that would
     // be illegal on the target platform. For example,