From 579870b714e76cc92300cef1fdf091993bb55954 Mon Sep 17 00:00:00 2001
From: Yong He <yonghe@outlook.com>
Date: Mon, 27 Mar 2023 19:51:21 -0700
Subject: Apply IR simplifcation immediately after specialization to avoid
 duplicates. (#2739)

* Apply IR simplifcation immediately after specialization to avoid duplicates.

* Update source/slang/slang-ir-specialize.cpp

Co-authored-by: Ellie Hermaszewska <github@sub.monoid.al>

---------

Co-authored-by: Yong He <yhe@nvidia.com>
Co-authored-by: Ellie Hermaszewska <github@sub.monoid.al>
---
 tests/bugs/generic-groupshared.slang              | 29 +++++++++++++++++++++++
 tests/bugs/generic-groupshared.slang.expected.txt |  4 ++++
 2 files changed, 33 insertions(+)
 create mode 100644 tests/bugs/generic-groupshared.slang
 create mode 100644 tests/bugs/generic-groupshared.slang.expected.txt

(limited to 'tests/bugs')

diff --git a/tests/bugs/generic-groupshared.slang b/tests/bugs/generic-groupshared.slang
new file mode 100644
index 000000000..c5ed8cf40
--- /dev/null
+++ b/tests/bugs/generic-groupshared.slang
@@ -0,0 +1,29 @@
+//TEST(compute):COMPARE_COMPUTE_EX:-slang -compute -shaderobj
+//TEST(compute,vulkan):COMPARE_COMPUTE_EX:-vk -slang -compute -shaderobj
+
+//TEST_INPUT:ubuffer(data=[0 0 0 0], stride=4):out,name outputBuffer
+RWStructuredBuffer<int> outputBuffer;
+
+[ForceInline]
+Ref<uint> table<let n: int>(int index)
+{
+    static groupshared uint array[n];
+    return array[index];
+}
+
+struct S<let n : int>
+{
+    static const int M = n * 2;
+    int doSomething()
+    {
+        table<M>(0) = M;
+        return table<M>(0);
+    }
+}
+
+[numthreads(1, 1, 1)]
+void computeMain(int3 dispatchThreadID: SV_DispatchThreadID)
+{
+    S<2> s;
+    outputBuffer[0] = s.doSomething();
+}
\ No newline at end of file
diff --git a/tests/bugs/generic-groupshared.slang.expected.txt b/tests/bugs/generic-groupshared.slang.expected.txt
new file mode 100644
index 000000000..a358987a6
--- /dev/null
+++ b/tests/bugs/generic-groupshared.slang.expected.txt
@@ -0,0 +1,4 @@
+4
+0
+0
+0
-- 
cgit v1.2.3