From 355a8d8f923ef67f11092ae706b50d028b09f9ad Mon Sep 17 00:00:00 2001
From: ArielG-NV <159081215+ArielG-NV@users.noreply.github.com>
Date: Thu, 18 Apr 2024 00:41:00 -0400
Subject: commit to partially fix #3931 (#3972)

---
 tests/bugs/gh-3931.slang | 24 ++++++++++++++++++++++++
 1 file changed, 24 insertions(+)
 create mode 100644 tests/bugs/gh-3931.slang

(limited to 'tests')

diff --git a/tests/bugs/gh-3931.slang b/tests/bugs/gh-3931.slang
new file mode 100644
index 000000000..501e85ae2
--- /dev/null
+++ b/tests/bugs/gh-3931.slang
@@ -0,0 +1,24 @@
+//TEST:SIMPLE(filecheck=CHECK): -O0 -target spirv -emit-spirv-directly -stage compute -entry computeMain -matrix-layout-row-major
+//COM:TEST:SIMPLE(filecheck=CHECK): -O2 -target spirv -emit-spirv-directly -stage compute -entry computeMain -matrix-layout-row-major
+
+// Any level of optimization removes all OpMemberDecorations from FooBar
+// with spirv-opt 2023 or upstream (2024-04). spirv-opt 2024-1 fixes the issue.
+
+//CHECK: ColMajor
+
+struct FooBar {
+    float4x4 c;
+    int load(int row, int col)
+    {
+        return int(c[row][col]);
+        //return *(int*)int(c[row][col]); // Does not fail if using a pointer to any member to indirectly send data
+    }
+};
+RWStructuredBuffer<int> outputBuffer;
+uniform StructuredBuffer<FooBar, ScalarDataLayout> sb;
+[numthreads(4, 1, 1)]
+void computeMain(
+    int3 dispatchThreadID : SV_DispatchThreadID)
+{
+    outputBuffer[dispatchThreadID.x] = sb[0].load(dispatchThreadID.x/4, dispatchThreadID.x%4);
+}
\ No newline at end of file
-- 
cgit v1.2.3