From 3a1d79bdec643ac8998752cc7c0f3b27942f73f3 Mon Sep 17 00:00:00 2001
From: Rhys Perry <pendingchaos02@gmail.com>
Date: Wed, 5 Feb 2025 14:16:03 +0000
Subject: [PATCH] nir/validate: assert that if condition dominates use

Signed-off-by: Rhys Perry <pendingchaos02@gmail.com>
Reviewed-by: Georg Lehmann <dadschoorse@gmail.com>
Part-of: <https://gitlab.freedesktop.org/mesa/mesa/-/merge_requests/33354>
---
 src/compiler/nir/nir_validate.c | 6 ++++++
 1 file changed, 6 insertions(+)

diff --git a/src/compiler/nir/nir_validate.c b/src/compiler/nir/nir_validate.c
index 041578c3848..b3155663f09 100644
--- a/src/compiler/nir/nir_validate.c
+++ b/src/compiler/nir/nir_validate.c
@@ -1626,6 +1626,12 @@ validate_ssa_dominance(nir_function_impl *impl, validate_state *state)
          }
          nir_foreach_def(instr, validate_ssa_def_dominance, state);
       }
+
+      nir_if *nif = nir_block_get_following_if(block);
+      if (nif) {
+         validate_assert(state, nir_block_dominates(nif->condition.ssa->parent_instr->block,
+                                                    block));
+      }
    }
 }