Lines Matching defs:block
33 /* Current block being validated: */
53 fprintf(stderr, " -> for block%u\n", block_id(ctx->current_block));
101 /* phi sources are logically read at the end of the predecessor basic block,
106 validate_phi_src(struct ir3_validate_ctx *ctx, struct ir3_block *block,
109 unsigned pred_idx = ir3_block_get_pred_index(block, pred);
111 foreach_instr (phi, &block->instr_list) {
116 validate_assert(ctx, phi->srcs_count == block->predecessors_count);
369 is_physical_successor(struct ir3_block *block, struct ir3_block *succ)
371 for (unsigned i = 0; i < ARRAY_SIZE(block->physical_successors); i++)
372 if (block->physical_successors[i] == succ)
394 foreach_block (block, &ir->block_list) {
395 ctx->current_block = block;
398 /* We require that the first block does not have any predecessors,
400 * appear in the same basic block.
403 ctx, block != ir3_start_block(ir) || block->predecessors_count == 0);
406 foreach_instr (instr, &block->instr_list) {
409 /* phis must be the first in the block */
419 if (block->successors[i]) {
420 validate_phi_src(ctx, block->successors[i], block);
425 validate_assert(ctx, is_physical_successor(block, block->successors[i]));
429 validate_assert(ctx, block->successors[0] || !block->successors[1]);
430 validate_assert(ctx, block->physical_successors[0] || !block->physical_successors[1]);