Fix incorrect codegen when returning initializer list as existential value. (#4618)

* Add `dev` cmake preset.

* Fix incorrect codegen when returning initializer list as existential value.

* Fix cmake.

* Fixup.

1 files changed, 190 insertions, 0 deletions

diff --git a/tests/language-feature/interfaces/default-construct-conformance.slang b/tests/language-feature/interfaces/default-construct-conformance.slang
new file mode 100644
index 000000000..00778a9f6
--- /dev/null
+++ b/tests/language-feature/interfaces/default-construct-conformance.slang
@@ -0,0 +1,190 @@
+//TEST:SIMPLE(filecheck=CHECK): -target hlsl -entry testMain -profile cs_6_0
+
+// Test that invoking the default constructor of a type then use the result as an existential value
+// works correctly.
+
+RWStructuredBuffer<uint> output;
+RWStructuredBuffer<uint> expected;
+
+interface ITest
+{
+    uint getValue();
+};
+
+
+//TEST_INPUT:type_conformance Test0:ITest = 0
+struct Test0 : ITest
+{
+    uint getValue() { return 0; }
+};
+
+//TEST_INPUT:type_conformance Test1:ITest = 1
+struct Test1 : ITest
+{
+    uint getValue() { return 1; }
+};
+
+//TEST_INPUT:type_conformance TestAny:ITest = 2
+struct TestAny : ITest
+{
+    uint value = 5;
+    __init(uint v)
+    {
+        value = v;
+    }
+
+    uint getValue() { return value; }
+}
+
+// CHECK: Tuple{{.*}} makeTest0{{.*}}()
+// CHECK: Tuple{{.*}} = { uint2(0U, 0U), uint2(0U, 0U), packAnyValue4{{.*}} };
+ITest makeTest0()
+{
+    return Test0();
+}
+
+// CHECK: Tuple{{.*}} makeTest1{{.*}}()
+// CHECK: Tuple{{.*}} = { uint2(0U, 0U), uint2(1U, 0U), packAnyValue4{{.*}} };
+ITest makeTest1()
+{
+    return Test1();
+}
+
+// CHECK: Tuple{{.*}} makeTestAny{{.*}}()
+// CHECK: Tuple{{.*}} = { uint2(0U, 0U), uint2(2U, 0U), packAnyValue4{{.*}} };
+ITest makeTestAny()
+{
+    return TestAny();
+}
+
+ITest makeTestAny(uint v)
+{
+    return TestAny(v);
+}
+
+
+[numthreads(16, 1, 1)]
+void testMain(uint3 threadID: SV_DispatchThreadID)
+{
+    if (threadID.x != 0)
+        return;
+
+    int outputIdx = 0;
+
+    /// Test0
+    {
+        Test0 test;
+        output[outputIdx] = test.getValue();
+        expected[outputIdx++] = 0;
+    }
+
+    {
+        ITest test = Test0();
+        output[outputIdx] = test.getValue();
+        expected[outputIdx++] = 0;
+    }
+
+    {
+        output[outputIdx] = Test0().getValue();
+        expected[outputIdx++] = 0;
+    }
+
+    {
+        ITest test = makeTest0();
+        output[outputIdx] = test.getValue();
+        expected[outputIdx++] = 0;
+    }
+
+    {
+        output[outputIdx] = makeTest0().getValue();
+        expected[outputIdx++] = 0;
+    }
+
+    output[outputIdx] = 1000;
+    expected[outputIdx++] = 1000;
+
+    /// Test1
+    {
+        Test1 test;
+        output[outputIdx] = test.getValue();
+        expected[outputIdx++] = 1;
+    }
+
+    {
+        ITest test = Test1();
+        output[outputIdx] = test.getValue();
+        expected[outputIdx++] = 1;
+    }
+
+    {
+        output[outputIdx] = Test1().getValue();
+        expected[outputIdx++] = 1;
+    }
+
+    {
+        ITest test = makeTest1();
+        output[outputIdx] = test.getValue();
+        expected[outputIdx++] = 1;
+    }
+
+    {
+        output[outputIdx] = makeTest1().getValue();
+        expected[outputIdx++] = 1;
+    }
+
+    output[outputIdx] = 2000;
+    expected[outputIdx++] = 2000;
+
+    /// TestAny
+    {
+        TestAny test;
+        output[outputIdx] = test.getValue();
+        expected[outputIdx++] = 5;
+    }
+
+    {
+        ITest test = TestAny();
+        output[outputIdx] = test.getValue();
+        expected[outputIdx++] = 5;
+    }
+
+    {
+        ITest test = TestAny(2);
+        output[outputIdx] = test.getValue();
+        expected[outputIdx++] = 2;
+    }
+
+    {
+        output[outputIdx] = TestAny().getValue();
+        expected[outputIdx++] = 5;
+    }
+
+    {
+        output[outputIdx] = TestAny(2).getValue();
+        expected[outputIdx++] = 2;
+    }
+
+    {
+        ITest test = makeTestAny();
+        output[outputIdx] = test.getValue();
+        expected[outputIdx++] = 5;
+    }
+
+    {
+        ITest test = makeTestAny(2);
+        output[outputIdx] = test.getValue();
+        expected[outputIdx++] = 2;
+    }
+
+    {
+        output[outputIdx] = makeTestAny().getValue();
+        expected[outputIdx++] = 5;
+    }
+
+    {
+        output[outputIdx] = makeTestAny(2).getValue();
+        expected[outputIdx++] = 2;
+    }
+
+    expected[outputIdx++] = uint(-1);
+}
\ No newline at end of file