Fix function side-effectness prop logic. (#2875)

1 files changed, 21 insertions, 0 deletions

diff --git a/tests/ir/dce-rw-buffer-load.slang b/tests/ir/dce-rw-buffer-load.slang
new file mode 100644
index 000000000..01a14ee45
--- /dev/null
+++ b/tests/ir/dce-rw-buffer-load.slang
@@ -0,0 +1,21 @@
+//TEST:SIMPLE(filecheck=CHECK): -target hlsl -profile cs_5_0 -entry computeMain -line-directive-mode none
+
+// Test that we can DCE load of a rw buffer.
+
+RWStructuredBuffer<float> gOutputBuffer;
+
+float test()
+{
+    return gOutputBuffer[0];
+}
+
+[numthreads(1, 1, 1)]
+void computeMain(uint3 dispatchThreadID: SV_DispatchThreadID)
+{
+    test();
+}
+
+// CHECK: void computeMain
+// CHECK-NOT: test
+// CHECK: }
+