Allow simplifying self-referential Phi parameters (#6870)

2 files changed, 49 insertions, 0 deletions

diff --git a/tests/bugs/gh-6860.slang b/tests/bugs/gh-6860.slang
new file mode 100644
index 000000000..13a7e329a
--- /dev/null
+++ b/tests/bugs/gh-6860.slang
@@ -0,0 +1,20 @@
+//TEST:SIMPLE(filecheck=CHECK): -target spirv
+// CHECK: OpEntryPoint
+func breaker()->float {
+    var x: float;
+    for (int i = 0; i < 1; ++i) {
+        if (true) {
+        } else {
+            x = 0.0;
+        }
+    }
+    return x;
+}
+
+[shader("fragment")]
+float4 fragment(float4 in: SV_Position)
+    : SV_Target
+{
+    let res = breaker();
+    return float4(0, 0, 0, 0);
+}
diff --git a/tests/bugs/gh-6862.slang b/tests/bugs/gh-6862.slang
new file mode 100644
index 000000000..8b65b2f2a
--- /dev/null
+++ b/tests/bugs/gh-6862.slang
@@ -0,0 +1,29 @@
+//TEST:SIMPLE(filecheck=CHECK):-stage fragment -entry fragment -target wgsl
+
+func dummy(b: StructuredBuffer<float>)->float {
+    return 0;
+}
+
+func breaker(b: StructuredBuffer<float>)->float {
+    // CHECK-NOT: var<storage, read> {{.*}} : array<f32> = {{.*}};
+    var x: float = 0;
+    for (int i = 0; i < 1; ++i) {
+        x = dummy(b);
+        if (true) {
+        } else {
+            return 0;
+            x = 0;
+        }
+    }
+    return x;
+}
+
+StructuredBuffer<float> b;
+
+[shader("fragment")]
+float4 fragment(float4 in: SV_Position)
+    : SV_Target
+{
+    let res = breaker(b);
+    return float4(res, 0, 0, 0);
+}