Specialize exsitentials parameters in struct fields. (#1565)

* Specialize exsitentials parameters in struct fields.

* Cleanup.

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

2 files changed, 47 insertions, 0 deletions

diff --git a/tests/compute/interface-func-param-in-struct.slang b/tests/compute/interface-func-param-in-struct.slang
new file mode 100644
index 000000000..550758f38
--- /dev/null
+++ b/tests/compute/interface-func-param-in-struct.slang
@@ -0,0 +1,43 @@
+// Tests specializing a function with existential-struct-typed param.
+
+//TEST(compute):COMPARE_COMPUTE_EX:-slang -compute -cuda
+//TEST(compute):COMPARE_COMPUTE_EX:-slang -compute -cpu
+
+[anyValueSize(8)]
+interface IInterface
+{
+    uint eval();
+}
+
+struct Impl : IInterface
+{
+    uint val;
+    uint eval()
+    {
+        return val;
+    }
+};
+
+struct Params
+{
+    StructuredBuffer<IInterface> obj;
+};
+
+//TEST_INPUT:ubuffer(data=[0 0 0 0], stride=4):out,name=gOutputBuffer
+RWStructuredBuffer<uint> gOutputBuffer;
+
+void compute(uint tid, Params p)
+{
+    gOutputBuffer[tid] = p.obj[0].eval();
+}
+
+//TEST_INPUT: entryPointExistentialType Impl
+
+[numthreads(4, 1, 1)]
+void computeMain(uint3 dispatchThreadID : SV_DispatchThreadID,
+//TEST_INPUT:ubuffer(data=[0 0 0 0 1 0], stride=4):name=params.obj
+    uniform Params params)
+{
+	uint tid = dispatchThreadID.x;
+	compute(tid, params);
+}
\ No newline at end of file
diff --git a/tests/compute/interface-func-param-in-struct.slang.expected.txt b/tests/compute/interface-func-param-in-struct.slang.expected.txt
new file mode 100644
index 000000000..98fb6a686
--- /dev/null
+++ b/tests/compute/interface-func-param-in-struct.slang.expected.txt
@@ -0,0 +1,4 @@
+1
+1
+1
+1