Make sure pointer local vars have `AliasedPointer` decoration. (#4132)

1 files changed, 31 insertions, 0 deletions

diff --git a/tests/bugs/gh-4111.slang b/tests/bugs/gh-4111.slang
new file mode 100644
index 000000000..66d565d9f
--- /dev/null
+++ b/tests/bugs/gh-4111.slang
@@ -0,0 +1,31 @@
+//TEST:SIMPLE(filecheck=CHECK): -target spirv
+
+// Check that a pointer typed local variable has `AliasedPointer` decoration.
+
+// CHECK: OpDecorate %b AliasedPointer
+struct Buf
+{
+    uint test;
+};
+
+struct Push
+{
+    bool a_or_b;
+    Buf * a;
+    Buf * b;
+};
+
+[[vk::push_constant]] Push push;
+
+func tester(Buf * buf)
+{
+    buf->test = 1;
+}
+
+[shader("compute")]
+[numthreads(1, 1, 1)]
+void main()
+{
+    Buf * b = push.a_or_b ? push.a : push.b;
+    tester(b);
+}
\ No newline at end of file