ir3_validate.c - OpenGrok cross reference for /third_party/mesa3d/src/freedreno/ir3/ir3

Lines Matching defs:validate_assert
58 #define validate_assert(ctx, cond)                                             \
76       validate_assert(ctx, ir3_valid_immediate(instr, reg->iim_val));
83    validate_assert(ctx, _mesa_set_search(ctx->defs, src->instr));
84    validate_assert(ctx, src->wrmask == reg->wrmask);
85    validate_assert(ctx, reg_class_flags(src) == reg_class_flags(reg));
88       validate_assert(ctx, reg->tied->tied == reg);
96       validate_assert(ctx,
116       validate_assert(ctx, phi->srcs_count == block->predecessors_count);
125    validate_assert(ctx, phi->dsts_count == 1);
126    validate_assert(ctx, is_dest_gpr(phi->dsts[0]));
134       validate_assert(ctx, reg->tied->tied == reg);
135       validate_assert(ctx, reg_class_flags(reg->tied) == reg_class_flags(reg));
136       validate_assert(ctx, reg->tied->wrmask == reg->wrmask);
138          validate_assert(ctx, reg->tied->array.base == reg->array.base);
139          validate_assert(ctx, reg->tied->size == reg->size);
148       validate_assert(ctx,
153       validate_assert(ctx, reg->instr == instr);
156       validate_assert(ctx, instr->address);
160    validate_assert(                                                            \
170          validate_assert(ctx, instr->address);
186          validate_assert(ctx, reg->flags & IR3_REG_HALF);
190                validate_assert(ctx, !(reg->flags & IR3_REG_HALF));
192                validate_assert(ctx, reg->flags & IR3_REG_HALF);
207          validate_assert(ctx, (last_reg->flags & IR3_REG_HALF) ==
229          validate_assert(ctx, instr->dsts_count == 1);
230          validate_assert(ctx, instr->dsts[0]->flags & IR3_REG_SHARED);
231          validate_assert(ctx, !(instr->dsts[0]->flags & IR3_REG_HALF));
232          validate_assert(
239          validate_assert(ctx, instr->dsts_count == 1);
240          validate_assert(ctx, !(instr->dsts[0]->flags & IR3_REG_SHARED));
242          validate_assert(ctx, instr->dsts_count == 3);
243          validate_assert(ctx, instr->srcs_count == 2);
244          validate_assert(ctx, reg_class_flags(instr->dsts[0]) ==
246          validate_assert(ctx, reg_class_flags(instr->dsts[1]) ==
248          validate_assert(ctx, reg_class_flags(instr->dsts[2]) == IR3_REG_SHARED);
259             validate_assert(ctx, instr->srcs_count == 2);
260             validate_assert(ctx, instr->dsts_count == 2);
263             validate_assert(ctx, instr->srcs_count == 4);
264             validate_assert(ctx, instr->dsts_count == 1);
267             validate_assert(ctx, instr->srcs_count == 1);
268             validate_assert(ctx, instr->dsts_count == 4);
276          validate_assert(ctx, !instr->address);
284          validate_assert(ctx, instr->opc == cat3_half_opc(instr->opc));
286          validate_assert(ctx, instr->opc == cat3_full_opc(instr->opc));
292          validate_assert(ctx, instr->opc == cat4_half_opc(instr->opc));
294          validate_assert(ctx, instr->opc == cat4_full_opc(instr->opc));
309          validate_assert(ctx, !(instr->dsts[0]->flags & IR3_REG_HALF));
310          validate_assert(ctx, !(instr->srcs[0]->flags & IR3_REG_HALF));
313          validate_assert(ctx, !(instr->srcs[0]->flags & IR3_REG_HALF));
314          validate_assert(ctx, !(instr->srcs[1]->flags & IR3_REG_HALF));
316          validate_assert(ctx, !(instr->srcs[3]->flags & IR3_REG_HALF));
319          validate_assert(ctx, !(instr->srcs[0]->flags & IR3_REG_HALF));
320          validate_assert(ctx, !(instr->srcs[2]->flags & IR3_REG_HALF));
321          validate_assert(ctx, !(instr->srcs[3]->flags & IR3_REG_HALF));
323          validate_assert(ctx, !(instr->srcs[5]->flags & IR3_REG_HALF));
329          validate_assert(ctx, !(instr->srcs[0]->flags & IR3_REG_HALF));
331          validate_assert(ctx, !(instr->srcs[2]->flags & IR3_REG_HALF));
334          validate_assert(ctx, !(instr->srcs[0]->flags & IR3_REG_HALF));
335          validate_assert(ctx, !(instr->srcs[1]->flags & IR3_REG_HALF));
345          validate_assert(ctx, !(instr->srcs[1]->flags & IR3_REG_HALF));
348          validate_assert(ctx, !(instr->srcs[0]->flags & IR3_REG_HALF));
349          validate_assert(ctx, !(instr->srcs[1]->flags & IR3_REG_HALF));
353          validate_assert(ctx, !(instr->srcs[0]->flags & IR3_REG_HALF));
355             validate_assert(ctx, !(instr->srcs[1]->flags & IR3_REG_HALF));
362          validate_assert(ctx, reg_class_flags(src) ==
402       validate_assert(
410             validate_assert(ctx, prev == NULL || prev->opc == OPC_META_PHI);
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]);