1 files changed, 39 insertions, 0 deletions
diff --git a/source/slang/slang-ir-defunctionalization.cpp b/source/slang/slang-ir-defunctionalization.cpp
new file mode 100644
index 000000000..ac4258753
--- /dev/null
+++ b/source/slang/slang-ir-defunctionalization.cpp
@@ -0,0 +1,39 @@
+#include "slang-ir-defunctionalization.h"
+
+#include "slang-ir-insts.h"
+#include "slang-ir-specialize-function-call.h"
+#include "slang-ir-ssa-simplification.h"
+#include "slang-ir.h"
+
+namespace Slang
+{
+
+struct FunctionParameterSpecializationCondition : FunctionCallSpecializeCondition
+{
+    TargetRequest* targetRequest = nullptr;
+
+    bool doesParamWantSpecialization(IRParam* param, IRInst* /*arg*/)
+    {
+        IRType* type = param->getDataType();
+        return as<IRFuncType>(type);
+    }
+};
+
+bool specializeHigherOrderParameters(
+    CodeGenContext* codeGenContext,
+    IRModule*       module)
+{
+    bool result = false;
+    FunctionParameterSpecializationCondition condition;
+    condition.targetRequest = codeGenContext->getTargetReq();
+    bool changed = true;
+    while (changed)
+    {
+        changed = specializeFunctionCalls(codeGenContext, module, &condition);
+        simplifyIR(module);
+        result |= changed;
+    }
+    return result;
+}
+
+} // namespace Slang