Dynamic code gen for generic local variables. (#1434)

* Dynamic code gen for generic local variables.

* Fixes to function calls with generic typed `in` argument.

* Fixes per code review comments

2 files changed, 50 insertions, 0 deletions

diff --git a/tests/compute/dynamic-dispatch-4.slang b/tests/compute/dynamic-dispatch-4.slang
new file mode 100644
index 000000000..391ff3fd8
--- /dev/null
+++ b/tests/compute/dynamic-dispatch-4.slang
@@ -0,0 +1,46 @@
+//TEST(compute):COMPARE_COMPUTE:-cpu -xslang -allow-dynamic-code
+//DISABLE_TEST(compute):COMPARE_COMPUTE:-cuda -xslang -allow-dynamic-code
+
+// Test dynamic dispatch code gen for generic-typed local variables.
+
+interface IInterface
+{
+    [mutating]
+    int Compute(int inVal);
+};
+
+int GenericCompute<T:IInterface>(int inVal)
+{
+    T obj;
+    obj.Compute(3);
+    return obj.Compute(inVal); // 3 + inVal
+}
+
+struct Impl : IInterface
+{
+    int base;
+    [mutating]
+    int Compute(int inVal)
+    {
+        int result = base + inVal;
+        base = inVal;
+        return result;
+    }
+};
+
+int test(int inVal)
+{
+    return GenericCompute<Impl>(1);
+}
+
+//TEST_INPUT:ubuffer(data=[0 1 2 3], stride=4):out,name=outputBuffer
+RWStructuredBuffer<int> outputBuffer : register(u0);
+
+[numthreads(4, 1, 1)]
+void computeMain(uint3 dispatchThreadID : SV_DispatchThreadID)
+{
+    uint tid = dispatchThreadID.x;
+    int inVal = outputBuffer[tid];
+    int outVal = test(inVal);
+    outputBuffer[tid] = outVal;
+}
diff --git a/tests/compute/dynamic-dispatch-4.slang.expected.txt b/tests/compute/dynamic-dispatch-4.slang.expected.txt
new file mode 100644
index 000000000..e785149d2
--- /dev/null
+++ b/tests/compute/dynamic-dispatch-4.slang.expected.txt
@@ -0,0 +1,4 @@
+4
+4
+4
+4