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>
This commit is contained in:
Rhys Perry 2025-02-05 14:16:03 +00:00 committed by Marge Bot
parent b4c5403413
commit 3a1d79bdec

View file

@ -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));
}
}
}