124 #define validate_assert(state, cond) do {             \  macro
134    validate_assert(state, src->reg.reg != NULL);  in validate_reg_src()
138    validate_assert(state, entry);  in validate_reg_src()
145       validate_assert(state, state->if_stmt);  in validate_reg_src()
150       validate_assert(state, reg_state->where_defined == state->impl &&  in validate_reg_src()
154    validate_assert(state, (src->reg.reg->num_array_elems == 0 ||  in validate_reg_src()
159       validate_assert(state, src->reg.reg->num_array_elems != 0);  in validate_reg_src()
160       validate_assert(state, (src->reg.indirect->is_ssa ||  in validate_reg_src()
170    validate_assert(state, src->ssa != NULL);  in validate_ssa_src()
174    validate_assert(state, entry);  in validate_ssa_src()
181    validate_assert(state, def_state->where_defined == state->impl &&  in validate_ssa_src()
187       validate_assert(state, state->if_stmt);  in validate_ssa_src()
198       validate_assert(state, src->parent_instr == state->instr);  in validate_src()
200       validate_assert(state, src->parent_if == state->if_stmt);  in validate_src()
226       validate_assert(state, src->swizzle[i] < 4);  in validate_alu_src()
229          validate_assert(state, src->swizzle[i] < num_components);  in validate_alu_src()
236       validate_assert(state, src_bit_size == 16 || src_bit_size == 32 || src_bit_size == 64);  in validate_alu_src()
240       validate_assert(state, nir_alu_type_get_type_size(src_type) == src_bit_size);  in validate_alu_src()
246          validate_assert(state, dest_bit_size == src_bit_size);  in validate_alu_src()
256    validate_assert(state, dest->reg != NULL);  in validate_reg_dest()
258    validate_assert(state, dest->parent_instr == state->instr);  in validate_reg_dest()
263    validate_assert(state, entry2);  in validate_reg_dest()
269       validate_assert(state, reg_state->where_defined == state->impl &&  in validate_reg_dest()
273    validate_assert(state, (dest->reg->num_array_elems == 0 ||  in validate_reg_dest()
278       validate_assert(state, dest->reg->num_array_elems != 0);  in validate_reg_dest()
279       validate_assert(state, (dest->indirect->is_ssa || dest->indirect->reg.indirect == NULL) &&  in validate_reg_dest()
288    validate_assert(state, def->index < state->impl->ssa_alloc);  in validate_ssa_def()
289    validate_assert(state, !BITSET_TEST(state->ssa_defs_found, def->index));  in validate_ssa_def()
292    validate_assert(state, def->parent_instr == state->instr);  in validate_ssa_def()
294    validate_assert(state, def->num_components <= 4);  in validate_ssa_def()
331    validate_assert(state, is_packed || !(dest->write_mask & ~((1 << dest_size) - 1)));  in validate_alu_dest()
337    validate_assert(state,  in validate_alu_dest()
348       validate_assert(state, bit_size == 16 || bit_size == 32 || bit_size == 64);  in validate_alu_dest()
350    validate_assert(state, nir_alu_type_get_type_size(type) == 0 ||  in validate_alu_dest()
359    validate_assert(state, instr->op < nir_num_opcodes);  in validate_alu_instr()
371    validate_assert(state, deref->child == NULL || ralloc_parent(deref->child) == deref);  in validate_deref_chain()
377          validate_assert(state, deref->type == glsl_get_array_element(parent->type));  in validate_deref_chain()
385          validate_assert(state, deref->type ==  in validate_deref_chain()
394          validate_assert(state, !"Invalid deref type");  in validate_deref_chain()
409       validate_assert(state, entry);  in validate_var_use()
410       validate_assert(state, (nir_function_impl *) entry->data == state->impl);  in validate_var_use()
417    validate_assert(state, deref != NULL);  in validate_deref_var()
418    validate_assert(state, ralloc_parent(deref) == parent_mem_ctx);  in validate_deref_var()
419    validate_assert(state, deref->deref.type == deref->var->type);  in validate_deref_var()
436       validate_assert(state, components_read > 0);  in validate_intrinsic_instr()
439          validate_assert(state, components_read <= instr->src[i].ssa->num_components);  in validate_intrinsic_instr()
441          validate_assert(state, components_read <= instr->src[i].reg.reg->num_components);  in validate_intrinsic_instr()
458       validate_assert(state, components_written > 0);  in validate_intrinsic_instr()
461          validate_assert(state, components_written <= instr->dest.ssa.num_components);  in validate_intrinsic_instr()
463          validate_assert(state, components_written <= instr->dest.reg.reg->num_components);  in validate_intrinsic_instr()
473       validate_assert(state, glsl_type_is_vector_or_scalar(type) ||  in validate_intrinsic_instr()
476       validate_assert(state, instr->num_components == glsl_get_vector_elements(type));  in validate_intrinsic_instr()
482       validate_assert(state, glsl_type_is_vector_or_scalar(type) ||  in validate_intrinsic_instr()
485       validate_assert(state, instr->num_components == glsl_get_vector_elements(type));  in validate_intrinsic_instr()
486       validate_assert(state, instr->variables[0]->var->data.mode != nir_var_shader_in &&  in validate_intrinsic_instr()
489 …validate_assert(state, (nir_intrinsic_write_mask(instr) & ~((1 << instr->num_components) - 1)) == …  in validate_intrinsic_instr()
493       validate_assert(state, nir_deref_tail(&instr->variables[0]->deref)->type ==  in validate_intrinsic_instr()
495       validate_assert(state, instr->variables[0]->var->data.mode != nir_var_shader_in &&  in validate_intrinsic_instr()
512       validate_assert(state, !src_type_seen[instr->src[i].src_type]);  in validate_tex_instr()
530       validate_assert(state, glsl_type_is_void(instr->callee->return_type));  in validate_call_instr()
532       validate_assert(state, instr->return_deref->deref.type == instr->callee->return_type);  in validate_call_instr()
536    validate_assert(state, instr->num_params == instr->callee->num_params);  in validate_call_instr()
539       validate_assert(state, instr->callee->params[i].type == instr->params[i]->deref.type);  in validate_call_instr()
567    validate_assert(state, exec_list_length(&instr->srcs) ==  in validate_phi_instr()
574    validate_assert(state, instr->block == state->block);  in validate_instr()
611       validate_assert(state, !"Invalid ALU instruction type");  in validate_instr()
623    validate_assert(state, instr->dest.is_ssa);  in validate_phi_src()
628          validate_assert(state, src->src.is_ssa);  in validate_phi_src()
629          validate_assert(state, src->src.ssa->num_components ==  in validate_phi_src()
657    validate_assert(state, block->cf_node.parent == state->parent_node);  in validate_block()
664          validate_assert(state, instr == nir_block_first_instr(block) ||  in validate_block()
669          validate_assert(state, instr == nir_block_last_instr(block));  in validate_block()
675    validate_assert(state, block->successors[0] != NULL);  in validate_block()
676    validate_assert(state, block->successors[0] != block->successors[1]);  in validate_block()
682          validate_assert(state, entry);  in validate_block()
691       validate_assert(state, pred->successors[0] == block ||  in validate_block()
697       validate_assert(state, block->successors[1] == NULL);  in validate_block()
703          validate_assert(state, block->successors[0] == after);  in validate_block()
709          validate_assert(state, block->successors[0] == first);  in validate_block()
714          validate_assert(state, block->successors[0] == state->impl->end_block);  in validate_block()
726             validate_assert(state, block->successors[0] == first);  in validate_block()
736             validate_assert(state, block->successors[0] == after);  in validate_block()
737             validate_assert(state, block->successors[1] == NULL);  in validate_block()
742             validate_assert(state, block->successors[0] == state->impl->end_block);  in validate_block()
743             validate_assert(state, block->successors[1] == NULL);  in validate_block()
752             validate_assert(state, block->successors[0] ==  in validate_block()
754             validate_assert(state, block->successors[1] ==  in validate_block()
757             validate_assert(state, next->type == nir_cf_node_loop);  in validate_block()
759             validate_assert(state, block->successors[0] ==  in validate_block()
761             validate_assert(state, block->successors[1] == NULL);  in validate_block()
772    validate_assert(state, !exec_node_is_head_sentinel(if_stmt->cf_node.node.prev));  in validate_if()
774    validate_assert(state, prev_node->type == nir_cf_node_block);  in validate_if()
776    validate_assert(state, !exec_node_is_tail_sentinel(if_stmt->cf_node.node.next));  in validate_if()
778    validate_assert(state, next_node->type == nir_cf_node_block);  in validate_if()
782    validate_assert(state, !exec_list_is_empty(&if_stmt->then_list));  in validate_if()
783    validate_assert(state, !exec_list_is_empty(&if_stmt->else_list));  in validate_if()
805    validate_assert(state, !exec_node_is_head_sentinel(loop->cf_node.node.prev));  in validate_loop()
807    validate_assert(state, prev_node->type == nir_cf_node_block);  in validate_loop()
809    validate_assert(state, !exec_node_is_tail_sentinel(loop->cf_node.node.next));  in validate_loop()
811    validate_assert(state, next_node->type == nir_cf_node_block);  in validate_loop()
813    validate_assert(state, !exec_list_is_empty(&loop->body));  in validate_loop()
832    validate_assert(state, node->parent == state->parent_node);  in validate_cf_node()
855    validate_assert(state, reg->is_global == is_global);  in prevalidate_reg_decl()
858       validate_assert(state, reg->index < state->shader->reg_alloc);  in prevalidate_reg_decl()
860       validate_assert(state, reg->index < state->impl->reg_alloc);  in prevalidate_reg_decl()
861    validate_assert(state, !BITSET_TEST(state->regs_found, reg->index));  in prevalidate_reg_decl()
891       validate_assert(state, entry);  in postvalidate_reg_decl()
906       validate_assert(state, entry);  in postvalidate_reg_decl()
921       validate_assert(state, entry);  in postvalidate_reg_decl()
940    validate_assert(state, is_global == nir_variable_is_global(var));  in validate_var_decl()
943    validate_assert(state, util_bitcount(var->data.mode) == 1);  in validate_var_decl()
982       validate_assert(state, entry);  in postvalidate_ssa_def()
997       validate_assert(state, entry);  in postvalidate_ssa_def()
1016    validate_assert(state, impl->function->impl == impl);  in validate_function_impl()
1017    validate_assert(state, impl->cf_node.parent == NULL);  in validate_function_impl()
1019    validate_assert(state, impl->num_params == impl->function->num_params);  in validate_function_impl()
1021       validate_assert(state, impl->params[i]->type == impl->function->params[i].type);  in validate_function_impl()
1022       validate_assert(state, impl->params[i]->data.mode == nir_var_param);  in validate_function_impl()
1023       validate_assert(state, impl->params[i]->data.location == i);  in validate_function_impl()
1028       validate_assert(state, impl->return_var == NULL);  in validate_function_impl()
1030       validate_assert(state, impl->return_var->type == impl->function->return_type);  in validate_function_impl()
1031       validate_assert(state, impl->return_var->data.mode == nir_var_param);  in validate_function_impl()
1032       validate_assert(state, impl->return_var->data.location == -1);  in validate_function_impl()
1036    validate_assert(state, exec_list_is_empty(&impl->end_block->instr_list));  in validate_function_impl()
1037    validate_assert(state, impl->end_block->successors[0] == NULL);  in validate_function_impl()
1038    validate_assert(state, impl->end_block->successors[1] == NULL);  in validate_function_impl()
1082       validate_assert(state, func->impl->function == func);  in validate_function()