Lines Matching defs:validate_assert
135 #define validate_assert(state, cond) \
145 validate_assert(state, nir_num_components_valid(num_components));
152 validate_assert(state, src->reg.reg != NULL);
156 validate_assert(state, entry);
163 validate_assert(state, state->if_stmt);
167 validate_assert(state, reg_state->where_defined == state->impl &&
171 validate_assert(state, src->reg.reg->bit_size & bit_sizes);
173 validate_assert(state, src->reg.reg->num_components == num_components);
175 validate_assert(state, (src->reg.reg->num_array_elems == 0 ||
180 validate_assert(state, src->reg.reg->num_array_elems != 0);
181 validate_assert(state, (src->reg.indirect->is_ssa ||
195 validate_assert(state, src->ssa != NULL);
206 validate_assert(state, entry);
213 validate_assert(state, src->ssa->bit_size & bit_sizes);
215 validate_assert(state, src->ssa->num_components == num_components);
225 validate_assert(state, src->parent_instr == state->instr);
227 validate_assert(state, src->parent_if == state->if_stmt);
245 validate_assert(state, src->swizzle[i] < NIR_MAX_VEC_COMPONENTS);
248 validate_assert(state, src->swizzle[i] < num_components);
258 validate_assert(state, dest->reg != NULL);
260 validate_assert(state, dest->parent_instr == state->instr);
265 validate_assert(state, entry2);
270 validate_assert(state, reg_state->where_defined == state->impl &&
274 validate_assert(state, dest->reg->bit_size & bit_sizes);
276 validate_assert(state, dest->reg->num_components == num_components);
278 validate_assert(state, (dest->reg->num_array_elems == 0 ||
283 validate_assert(state, dest->reg->num_array_elems != 0);
284 validate_assert(state, (dest->indirect->is_ssa || dest->indirect->reg.indirect == NULL) &&
293 validate_assert(state, def->index < state->impl->ssa_alloc);
294 validate_assert(state, !BITSET_TEST(state->ssa_defs_found, def->index));
297 validate_assert(state, def->parent_instr == state->instr);
302 validate_assert(state, src->is_ssa);
303 validate_assert(state, src->ssa == def);
307 validate_assert(state, !already_seen);
312 validate_assert(state, src->is_ssa);
313 validate_assert(state, src->ssa == def);
318 validate_assert(state, !already_seen);
328 validate_assert(state, dest->ssa.bit_size & bit_sizes);
330 validate_assert(state, dest->ssa.num_components == num_components);
350 validate_assert(state, !(dest->write_mask & ~((1 << dest_size) - 1)));
356 validate_assert(state,
367 validate_assert(state, instr->op < nir_num_opcodes);
374 validate_assert(state, src_bit_size == nir_alu_type_get_type_size(src_type));
376 validate_assert(state, src_bit_size == instr_bit_size);
383 validate_assert(state, src_bit_size == 16 || src_bit_size == 32 ||
393 validate_assert(state, dest_bit_size == nir_alu_type_get_type_size(dest_type));
395 validate_assert(state, dest_bit_size == instr_bit_size);
402 validate_assert(state, dest_bit_size == 16 || dest_bit_size == 32 ||
413 validate_assert(state, entry);
415 validate_assert(state, (nir_function_impl *) entry->data == state->impl);
423 validate_assert(state, instr->modes == instr->var->data.mode);
424 validate_assert(state, instr->type == instr->var->type);
434 validate_assert(state, util_bitcount(instr->modes) == 1);
441 validate_assert(state, instr->modes & parent->modes);
444 validate_assert(state, instr->modes != 0);
448 validate_assert(state, instr->type);
450 validate_assert(state, util_is_power_of_two_nonzero(instr->cast.align_mul));
451 validate_assert(state, instr->cast.align_offset < instr->cast.align_mul);
453 validate_assert(state, instr->cast.align_offset == 0);
457 validate_assert(state, instr->parent.is_ssa);
468 validate_assert(state, parent_instr->type == nir_instr_type_deref);
472 validate_assert(state, instr->modes == parent->modes);
476 validate_assert(state, glsl_type_is_struct_or_ifc(parent->type));
477 validate_assert(state,
479 validate_assert(state, instr->type ==
490 validate_assert(state, glsl_type_is_array(parent->type) ||
495 validate_assert(state, glsl_type_is_array(parent->type) ||
498 validate_assert(state,
512 validate_assert(state,
535 validate_assert(state, list_is_empty(&instr->dest.ssa.if_uses));
542 validate_assert(state, !(instr->modes & (nir_var_shader_in |
598 validate_assert(state, dest_bit_size != 0);
599 validate_assert(state, src_bit_sizes[0] != 0);
605 validate_assert(state, param_idx < state->impl->function->num_params);
607 validate_assert(state, instr->num_components == param->num_components);
615 validate_assert(state, glsl_type_is_vector_or_scalar(src->type) ||
618 validate_assert(state, instr->num_components ==
630 validate_assert(state, glsl_type_is_vector_or_scalar(dst->type));
631 validate_assert(state, instr->num_components ==
637 validate_assert(state, !nir_deref_mode_may_be(dst, nir_var_read_only_modes));
644 validate_assert(state, glsl_get_bare_type(dst->type) ==
646 validate_assert(state, !nir_deref_mode_may_be(dst, nir_var_read_only_modes));
652 validate_assert(state, bit_size >= 8);
653 validate_assert(state, (nir_intrinsic_component(instr) +
660 validate_assert(state, nir_intrinsic_range(instr) != 0);
669 validate_assert(state,
671 validate_assert(state, nir_intrinsic_align_offset(instr) <
684 validate_assert(state, nir_dest_bit_size(instr->dest) >= 8);
692 validate_assert(state,
694 validate_assert(state, nir_intrinsic_align_offset(instr) <
701 validate_assert(state, nir_src_bit_size(instr->src[0]) >= 8);
706 validate_assert(state,
739 validate_assert(state, format == PIPE_FORMAT_R32_UINT ||
743 validate_assert(state, nir_dest_bit_size(instr->dest) ==
754 validate_assert(state, format == PIPE_FORMAT_R32_UINT ||
759 validate_assert(state, nir_dest_bit_size(instr->dest) ==
769 validate_assert(state, format == PIPE_FORMAT_COUNT ||
771 validate_assert(state, nir_dest_bit_size(instr->dest) == 32);
782 validate_assert(state, format == PIPE_FORMAT_COUNT ||
786 validate_assert(state, nir_dest_bit_size(instr->dest) ==
816 validate_assert(state, dest_bit_size & bit_sizes);
824 validate_assert(state, instr->num_components == 0);
828 validate_assert(state, (nir_intrinsic_write_mask(instr) & ~component_mask) == 0);
840 validate_assert(state, (xfb_mask & used_mask) == 0);
850 validate_assert(state,
866 validate_assert(state, !src_type_seen[instr->src[i].src_type]);
874 validate_assert(state, instr->is_shadow);
878 validate_assert(state, instr->op == nir_texop_txb ||
883 validate_assert(state, instr->op != nir_texop_tex &&
891 validate_assert(state, instr->op == nir_texop_txd);
896 if (!validate_assert(state, deref))
899 validate_assert(state, glsl_type_is_image(deref->type) ||
907 if (!validate_assert(state, deref))
910 validate_assert(state, glsl_type_is_sampler(deref->type));
932 validate_assert(state, instr->component == 0);
935 validate_assert(state, instr->op == nir_texop_tg4);
936 validate_assert(state, !src_type_seen[nir_tex_src_offset]);
942 validate_assert(state,
950 validate_assert(state, instr->num_params == instr->callee->num_params);
986 validate_assert(state, !"Invalid load_const bit size");
988 validate_assert(state, memcmp(val, &cmp_val, sizeof(cmp_val)) == 0);
1017 validate_assert(state, exec_list_length(&instr->srcs) ==
1025 validate_assert(state, &instr->instr == nir_block_last_instr(block));
1030 validate_assert(state, block->successors[0] == state->impl->end_block);
1031 validate_assert(state, block->successors[1] == NULL);
1032 validate_assert(state, instr->target == NULL);
1033 validate_assert(state, instr->else_target == NULL);
1037 validate_assert(state, state->impl->structured);
1038 validate_assert(state, state->loop != NULL);
1042 validate_assert(state, block->successors[0] == after);
1044 validate_assert(state, block->successors[1] == NULL);
1045 validate_assert(state, instr->target == NULL);
1046 validate_assert(state, instr->else_target == NULL);
1050 validate_assert(state, state->impl->structured);
1051 validate_assert(state, state->loop != NULL);
1054 validate_assert(state, block->successors[0] == first);
1056 validate_assert(state, block->successors[1] == NULL);
1057 validate_assert(state, instr->target == NULL);
1058 validate_assert(state, instr->else_target == NULL);
1062 validate_assert(state, !state->impl->structured);
1063 validate_assert(state, instr->target == block->successors[0]);
1064 validate_assert(state, instr->target != NULL);
1065 validate_assert(state, instr->else_target == NULL);
1069 validate_assert(state, !state->impl->structured);
1070 validate_assert(state, instr->target == block->successors[1]);
1071 validate_assert(state, instr->else_target == block->successors[0]);
1073 validate_assert(state, instr->target != NULL);
1074 validate_assert(state, instr->else_target != NULL);
1078 validate_assert(state, !"Invalid jump instruction type");
1086 validate_assert(state, instr->block == state->block);
1091 validate_assert(state, _mesa_set_search(state->shader_gc_list, instr));
1131 validate_assert(state, !"Invalid ALU instruction type");
1143 validate_assert(state, instr->dest.is_ssa);
1148 validate_assert(state, src->src.is_ssa);
1155 validate_assert(state, !"Phi does not have a source corresponding to one "
1224 validate_assert(state, _mesa_set_search(state->blocks,
1228 validate_assert(state,
1236 validate_assert(state, block->predecessors->entries == 0);
1240 validate_assert(state, _mesa_set_search(state->blocks, pred));
1241 validate_assert(state, pred->successors[0] == block ||
1249 validate_assert(state, block->cf_node.parent == state->parent_node);
1256 validate_assert(state, instr == nir_block_first_instr(block) ||
1263 validate_assert(state, block->successors[0] != NULL);
1264 validate_assert(state, block->successors[0] != block->successors[1]);
1268 validate_assert(state, nir_block_ends_in_jump(block));
1275 validate_assert(state, block->successors[0] == first);
1285 validate_assert(state, block->successors[0] == after);
1286 validate_assert(state, block->successors[1] == NULL);
1291 validate_assert(state, block->successors[0] == state->impl->end_block);
1292 validate_assert(state, block->successors[1] == NULL);
1301 validate_assert(state, block->successors[0] ==
1303 validate_assert(state, block->successors[1] ==
1307 validate_assert(state, block->successors[0] ==
1309 validate_assert(state, block->successors[1] == NULL);
1311 validate_assert(state,
1322 validate_assert(state, block->cf_node.parent == &state->impl->cf_node);
1325 validate_assert(state, exec_list_is_empty(&block->instr_list));
1327 validate_assert(state, block->successors[0] == NULL);
1328 validate_assert(state, block->successors[1] == NULL);
1335 validate_assert(state, state->impl->structured);
1339 validate_assert(state, !exec_node_is_head_sentinel(if_stmt->cf_node.node.prev));
1341 validate_assert(state, prev_node->type == nir_cf_node_block);
1343 validate_assert(state, !exec_node_is_tail_sentinel(if_stmt->cf_node.node.next));
1345 validate_assert(state, next_node->type == nir_cf_node_block);
1349 validate_assert(state, !exec_list_is_empty(&if_stmt->then_list));
1350 validate_assert(state, !exec_list_is_empty(&if_stmt->else_list));
1370 validate_assert(state, state->impl->structured);
1372 validate_assert(state, !exec_node_is_head_sentinel(loop->cf_node.node.prev));
1374 validate_assert(state, prev_node->type == nir_cf_node_block);
1376 validate_assert(state, !exec_node_is_tail_sentinel(loop->cf_node.node.next));
1378 validate_assert(state, next_node->type == nir_cf_node_block);
1380 validate_assert(state, !exec_list_is_empty(&loop->body));
1398 validate_assert(state, node->parent == state->parent_node);
1421 validate_assert(state, reg->index < state->impl->reg_alloc);
1422 validate_assert(state, !BITSET_TEST(state->regs_found, reg->index));
1450 validate_assert(state, entry);
1453 validate_assert(state, reg_state->uses->entries == 0);
1457 validate_assert(state, entry);
1460 validate_assert(state, reg_state->if_uses->entries == 0);
1464 validate_assert(state, entry);
1467 validate_assert(state, reg_state->defs->entries == 0);
1480 validate_assert(state, c->values[i].u64 == 0);
1482 validate_assert(state, c->num_elements == glsl_get_length(type));
1493 validate_assert(state, !"Invalid type for nir_constant");
1505 validate_assert(state, util_is_power_of_two_nonzero(var->data.mode));
1506 validate_assert(state, var->data.mode & valid_modes);
1527 validate_assert(state, glsl_type_is_struct_or_ifc(without_array));
1528 validate_assert(state, var->num_members == glsl_get_length(without_array));
1529 validate_assert(state, var->members != NULL);
1533 validate_assert(state, glsl_type_is_array(var->type));
1539 validate_assert(state, !var->data.bindless);
1540 validate_assert(state, glsl_type_is_image(glsl_without_array(var->type)));
1560 validate_assert(state, def->index < state->impl->ssa_alloc);
1561 validate_assert(state, !BITSET_TEST(state->ssa_defs_found, def->index));
1575 validate_assert(state, src->ssa->index < state->impl->ssa_alloc);
1576 validate_assert(state, BITSET_TEST(state->ssa_defs_found,
1579 validate_assert(state, nir_block_dominates(src->ssa->parent_instr->block,
1597 validate_assert(state,
1621 validate_assert(state, impl->function->impl == impl);
1622 validate_assert(state, impl->cf_node.parent == NULL);
1625 validate_assert(state, impl->function->is_entrypoint);
1626 validate_assert(state, impl->preamble->is_preamble);
1629 validate_assert(state, exec_list_is_empty(&impl->end_block->instr_list));
1630 validate_assert(state, impl->end_block->successors[0] == NULL);
1631 validate_assert(state, impl->end_block->successors[1] == NULL);
1659 validate_assert(state, !exec_list_is_empty(&impl->body));
1669 validate_assert(state, state->ssa_srcs->entries == 0);
1685 validate_assert(state, func->impl->function == func);
1807 validate_assert(&state, shader->info.stage == MESA_SHADER_VERTEX ||
1810 validate_assert(&state, shader->xfb_info->buffers_written != 0);
1811 validate_assert(&state, shader->xfb_info->streams_written != 0);
1812 validate_assert(&state, shader->xfb_info->output_count > 0);