Lines Matching defs:impl
83 nir_function_impl *impl;
167 validate_assert(state, reg_state->where_defined == state->impl &&
270 validate_assert(state, reg_state->where_defined == state->impl &&
293 validate_assert(state, def->index < state->impl->ssa_alloc);
415 validate_assert(state, (nir_function_impl *) entry->data == state->impl);
605 validate_assert(state, param_idx < state->impl->function->num_params);
606 nir_parameter *param = &state->impl->function->params[param_idx];
1030 validate_assert(state, block->successors[0] == state->impl->end_block);
1037 validate_assert(state, state->impl->structured);
1050 validate_assert(state, state->impl->structured);
1062 validate_assert(state, !state->impl->structured);
1069 validate_assert(state, !state->impl->structured);
1235 if (block == nir_start_block(state->impl))
1267 if (!state->impl->structured) {
1291 validate_assert(state, block->successors[0] == state->impl->end_block);
1322 validate_assert(state, block->cf_node.parent == &state->impl->cf_node);
1335 validate_assert(state, state->impl->structured);
1370 validate_assert(state, state->impl->structured);
1421 validate_assert(state, reg->index < state->impl->reg_alloc);
1435 reg_state->where_defined = state->impl;
1550 state->impl : NULL);
1560 validate_assert(state, def->index < state->impl->ssa_alloc);
1575 validate_assert(state, src->ssa->index < state->impl->ssa_alloc);
1586 validate_ssa_dominance(nir_function_impl *impl, validate_state *state)
1588 nir_metadata_require(impl, nir_metadata_dominance);
1590 nir_foreach_block(block, impl) {
1610 validate_function_impl(nir_function_impl *impl, validate_state *state)
1619 _mesa_set_resize(state->ssa_srcs, impl->ssa_alloc);
1621 validate_assert(state, impl->function->impl == impl);
1622 validate_assert(state, impl->cf_node.parent == NULL);
1624 if (impl->preamble) {
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);
1633 state->impl = impl;
1634 state->parent_node = &impl->cf_node;
1636 exec_list_validate(&impl->locals);
1637 nir_foreach_function_temp_variable(var, impl) {
1642 BITSET_WORD, BITSET_WORDS(impl->reg_alloc));
1643 memset(state->regs_found, 0, BITSET_WORDS(impl->reg_alloc) *
1645 exec_list_validate(&impl->registers);
1646 foreach_list_typed(nir_register, reg, node, &impl->registers) {
1651 BITSET_WORD, BITSET_WORDS(impl->ssa_alloc));
1652 memset(state->ssa_defs_found, 0, BITSET_WORDS(impl->ssa_alloc) *
1656 _mesa_set_resize(state->blocks, impl->num_blocks);
1657 collect_blocks(&impl->body, state);
1658 _mesa_set_add(state->blocks, impl->end_block);
1659 validate_assert(state, !exec_list_is_empty(&impl->body));
1660 foreach_list_typed(nir_cf_node, node, node, &impl->body) {
1663 validate_end_block(impl->end_block, state);
1665 foreach_list_typed(nir_register, reg, node, &impl->registers) {
1678 validate_ssa_dominance(impl, state);
1684 if (func->impl != NULL) {
1685 validate_assert(state, func->impl->function == func);
1686 validate_function_impl(func->impl, state);
1833 if (func->impl == NULL)
1838 BITSET_WORDS(func->impl->ssa_alloc));
1839 memset(state.ssa_defs_found, 0, BITSET_WORDS(func->impl->ssa_alloc) *
1842 state.impl = func->impl;
1843 validate_ssa_dominance(func->impl, &state);