Warn if providing explicit bindings to a object using uniform locations (#4708)

fixes: #4700

Changes:
* If a uniform object (which uses uniform locations) has explicit bindings we will warn to use `ConstantBuffer<T>` instead. We check for a warning specifically when we know an object uses uniform layouts because objects may not use a uniform-layout register even if tagged with `uniform`. A good example of this is `uniform ConstantBuffer<T>`.

1 files changed, 27 insertions, 0 deletions

diff --git a/tests/bugs/gh-4700.slang b/tests/bugs/gh-4700.slang
new file mode 100644
index 000000000..44b06c6c0
--- /dev/null
+++ b/tests/bugs/gh-4700.slang
@@ -0,0 +1,27 @@
+//TEST:SIMPLE(filecheck=PASS): -entry computeMain -stage compute -target spirv -DPASS1
+//TEST:SIMPLE(filecheck=WARN): -entry computeMain -stage compute -target spirv -DWARN1
+//TEST:SIMPLE(filecheck=WARN): -entry computeMain -stage compute -target spirv -DWARN2
+
+//PASS-NOT: 31104
+#ifdef PASS
+[[vk_binding(0,0)]] uniform ConstantBuffer<uint> addresses;
+layout(location = 1) uniform ConstantBuffer<uint> addresses1;
+#endif
+
+//WARN: 31104
+#ifdef WARN1
+[[vk_binding(0,0)]] uniform uint addresses;
+[[vk_binding(1,0)]] uniform uint addresses1;
+#endif
+#ifdef WARN2
+layout(location = 0) uniform uint addresses;
+layout(location = 1) uniform uint addresses1;
+#endif
+
+[shader("compute")]
+[numthreads(1, 1, 1)]
+void computeMain(uint3 dispatchThreadID: SV_DispatchThreadID, uint groupIndex: SV_GroupIndex)
+{
+    printf("\nfrom gpu: %u", addresses);
+    printf("\nfrom gpu: %u", addresses1);
+}
\ No newline at end of file