Add `[ForwardDerivativeOf]` attribute. (#2501)

* Add [ForwardDerivativeOf] attribute.

* Fix handling around phi nodes.

* Fixes.

* Remove IR opcode for ForwardDerivativeOfDecoration.

Co-authored-by: Yong He <yhe@nvidia.com>

1 files changed, 9 insertions, 0 deletions

diff --git a/source/slang/slang-check-expr.cpp b/source/slang/slang-check-expr.cpp
index 09dd9eea1..30db9ecfa 100644
--- a/source/slang/slang-check-expr.cpp
+++ b/source/slang/slang-check-expr.cpp
@@ -393,6 +393,15 @@ namespace Slang
         return derefExpr;
     }
 
+    InvokeExpr* SemanticsVisitor::constructUncheckedInvokeExpr(Expr* callee, const List<Expr*>& arguments)
+    {
+        auto result = m_astBuilder->create<InvokeExpr>();
+        result->loc = callee->loc;
+        result->functionExpr = callee;
+        result->arguments.addRange(arguments);
+        return result;
+    }
+
     Expr* SemanticsVisitor::maybeUseSynthesizedDeclForLookupResult(LookupResultItem const& item, Expr* originalExpr)
     {
         // If the only result from lookup is an entry in an interface decl, it could be that