Fix the logic to determine whether lower generic pass should run. (#5837)

1 files changed, 20 insertions, 0 deletions

diff --git a/tests/bugs/ptr-existential.slang b/tests/bugs/ptr-existential.slang
new file mode 100644
index 000000000..140e9a009
--- /dev/null
+++ b/tests/bugs/ptr-existential.slang
@@ -0,0 +1,20 @@
+//TEST:SIMPLE(filecheck=CHECK): -target spirv
+
+//CHECK: OpEntryPoint
+
+interface IBsdf {};
+struct Foo : IBsdf {}
+//TEST_INPUT:type_conformance Foo:IBsdf = 0
+struct Mesh {
+    float4 *vertices;
+    IBsdf *bsdf;
+}
+[[vk::push_constant]] Mesh* mesh;
+RWStructuredBuffer<float4> outputBuffer;
+
+[shader("compute")]
+[numthreads(1, 1, 1)]
+void main(uint3 dispatchThreadID: SV_DispatchThreadID)
+{
+    outputBuffer[0] = mesh.vertices[0];
+}
\ No newline at end of file