zink: add asserts to verify optimal key state

Reviewed-by: Dave Airlie <airlied@redhat.com>
Part-of: <https://gitlab.freedesktop.org/mesa/mesa/-/merge_requests/18784>

diff --git a/src/gallium/drivers/zink/zink_program_state.hpp b/src/gallium/drivers/zink/zink_program_state.hpp
index 777b49c..9fceac0 100644 (file)
--- a/src/gallium/drivers/zink/zink_program_state.hpp
+++ b/src/gallium/drivers/zink/zink_program_state.hpp
@@ -183,6 +183,11 @@ zink_get_gfx_pipeline(struct zink_context *ctx,
       state->final_hash ^= state->hash;
       state->dirty = false;
    }
+   if (screen->optimal_keys) {
+      ASSERTED const union zink_shader_key_optimal *opt = (union zink_shader_key_optimal*)&prog->last_variant_hash;
+      assert(opt->val == state->shader_keys_optimal.key.val);
+      assert(state->optimal_key == state->shader_keys_optimal.key.val);
+   }
    if (DYNAMIC_STATE < ZINK_DYNAMIC_VERTEX_INPUT && ctx->vertex_state_changed) {
       if (state->pipeline)
          state->final_hash ^= state->vertex_hash;