Lines Matching refs:validate_assert
43 #define validate_assert(ctx, cond) \ macro
60 validate_assert(ctx, reg->num >= SHARED_REG_START); in validate_reg()
61 validate_assert(ctx, reg->num - SHARED_REG_START < SHARED_REG_SIZE); in validate_reg()
70 validate_assert(ctx, ir3_valid_immediate(instr, reg->iim_val)); in validate_src()
76 validate_assert(ctx, !(reg->flags & (IR3_REG_SHARED | IR3_REG_HALF))); in validate_src()
80 validate_assert(ctx, _mesa_set_search(ctx->defs, src->instr)); in validate_src()
81 validate_assert(ctx, src->wrmask == reg->wrmask); in validate_src()
82 validate_assert(ctx, reg_class_flags(src) == reg_class_flags(reg)); in validate_src()
85 validate_assert(ctx, !(src->flags & IR3_REG_SHARED)); in validate_src()
88 validate_assert(ctx, reg->tied->tied == reg); in validate_src()
89 validate_assert(ctx, reg_class_flags(reg) == reg_class_flags(reg->tied)); in validate_src()
90 validate_assert(ctx, !(reg->flags & (IR3_REG_CONST | IR3_REG_IMMED))); in validate_src()
98 validate_assert(ctx, in validate_src()
120 validate_assert(ctx, phi->srcs_count == block->predecessors_count); in validate_phi_src()
129 validate_assert(ctx, phi->dsts_count == 1); in validate_phi()
130 validate_assert(ctx, is_dest_gpr(phi->dsts[0])); in validate_phi()
138 validate_assert(ctx, reg->tied->tied == reg); in validate_dst()
139 validate_assert(ctx, reg_class_flags(reg->tied) == reg_class_flags(reg)); in validate_dst()
140 validate_assert(ctx, reg->tied->wrmask == reg->wrmask); in validate_dst()
142 validate_assert(ctx, reg->tied->array.base == reg->array.base); in validate_dst()
143 validate_assert(ctx, reg->tied->size == reg->size); in validate_dst()
152 validate_assert(ctx, in validate_dst()
157 validate_assert(ctx, reg->instr == instr); in validate_dst()
160 validate_assert(ctx, instr->address); in validate_dst()
166 validate_assert( \
188 validate_assert(ctx, rpt->block == instr->block); in validate_rpt()
194 validate_assert(ctx, block_contains(instr->block, rpt)); in validate_rpt()
197 validate_assert(ctx, ir3_supports_rpt(ctx->ir->compiler, instr->opc)); in validate_rpt()
198 validate_assert(ctx, !instr->nop); in validate_rpt()
211 validate_assert(ctx, instr->address); in validate_instr()
227 validate_assert(ctx, reg->flags & IR3_REG_HALF); in validate_instr()
231 validate_assert(ctx, !(reg->flags & IR3_REG_HALF)); in validate_instr()
233 validate_assert(ctx, reg->flags & IR3_REG_HALF); in validate_instr()
249 validate_assert(ctx, (last_reg->flags & IR3_REG_HALF) == in validate_instr()
254 validate_assert(ctx, reg->flags & (IR3_REG_SHARED | IR3_REG_IMMED | in validate_instr()
270 validate_assert(ctx, !(instr->dsts[0]->flags & IR3_REG_SHARED) || in validate_instr()
281 validate_assert(ctx, instr->dsts_count == 1); in validate_instr()
282 validate_assert(ctx, instr->dsts[0]->flags & IR3_REG_SHARED); in validate_instr()
283 validate_assert(ctx, !(instr->dsts[0]->flags & IR3_REG_HALF)); in validate_instr()
284 validate_assert( in validate_instr()
292 validate_assert(ctx, instr->dsts_count == 1); in validate_instr()
293 validate_assert(ctx, !(instr->dsts[0]->flags & IR3_REG_SHARED)); in validate_instr()
295 validate_assert(ctx, instr->dsts_count == 3); in validate_instr()
296 validate_assert(ctx, instr->srcs_count == 2); in validate_instr()
297 validate_assert(ctx, reg_class_flags(instr->dsts[0]) == in validate_instr()
299 validate_assert(ctx, reg_class_flags(instr->dsts[1]) == in validate_instr()
301 validate_assert(ctx, reg_class_flags(instr->dsts[2]) == IR3_REG_SHARED); in validate_instr()
303 validate_assert(ctx, instr->dsts_count >= 2 && instr->dsts_count < 5); in validate_instr()
304 validate_assert(ctx, instr->srcs_count >= 2 && instr->srcs_count < 4); in validate_instr()
305 validate_assert(ctx, in validate_instr()
307 validate_assert(ctx, reg_class_flags(instr->dsts[1]) == in validate_instr()
312 validate_assert(ctx, instr->dsts_count >= 3); in validate_instr()
313 validate_assert(ctx, reg_class_flags(instr->srcs[2]) == in validate_instr()
315 validate_assert(ctx, reg_class_flags(instr->dsts[2]) == in validate_instr()
320 validate_assert(ctx, in validate_instr()
333 validate_assert(ctx, instr->srcs_count == 2); in validate_instr()
334 validate_assert(ctx, instr->dsts_count == 2); in validate_instr()
337 validate_assert(ctx, instr->srcs_count == 4); in validate_instr()
338 validate_assert(ctx, instr->dsts_count == 1); in validate_instr()
341 validate_assert(ctx, instr->srcs_count == 1); in validate_instr()
342 validate_assert(ctx, instr->dsts_count == 4); in validate_instr()
350 validate_assert(ctx, !instr->address); in validate_instr()
357 validate_assert(ctx, !(instr->dsts[0]->flags & IR3_REG_HALF)); in validate_instr()
358 validate_assert(ctx, !(instr->srcs[0]->flags & IR3_REG_HALF)); in validate_instr()
367 validate_assert(ctx, instr->opc == cat3_half_opc(instr->opc)); in validate_instr()
369 validate_assert(ctx, instr->opc == cat3_full_opc(instr->opc)); in validate_instr()
375 validate_assert(ctx, instr->opc == cat4_half_opc(instr->opc)); in validate_instr()
377 validate_assert(ctx, instr->opc == cat4_full_opc(instr->opc)); in validate_instr()
393 validate_assert(ctx, !(instr->dsts[0]->flags & IR3_REG_HALF)); in validate_instr()
394 validate_assert(ctx, !(instr->srcs[0]->flags & IR3_REG_HALF)); in validate_instr()
397 validate_assert(ctx, !(instr->srcs[0]->flags & IR3_REG_HALF)); in validate_instr()
398 validate_assert(ctx, !(instr->srcs[1]->flags & IR3_REG_HALF)); in validate_instr()
400 validate_assert(ctx, !(instr->srcs[3]->flags & IR3_REG_HALF)); in validate_instr()
403 validate_assert(ctx, !(instr->srcs[0]->flags & IR3_REG_HALF)); in validate_instr()
404 validate_assert(ctx, !(instr->srcs[2]->flags & IR3_REG_HALF)); in validate_instr()
405 validate_assert(ctx, !(instr->srcs[3]->flags & IR3_REG_HALF)); in validate_instr()
407 validate_assert(ctx, !(instr->srcs[5]->flags & IR3_REG_HALF)); in validate_instr()
413 validate_assert(ctx, !(instr->srcs[0]->flags & IR3_REG_HALF)); in validate_instr()
415 validate_assert(ctx, !(instr->srcs[2]->flags & IR3_REG_HALF)); in validate_instr()
418 validate_assert(ctx, !(instr->srcs[0]->flags & IR3_REG_HALF)); in validate_instr()
419 validate_assert(ctx, !(instr->srcs[1]->flags & IR3_REG_HALF)); in validate_instr()
430 validate_assert(ctx, !(instr->srcs[1]->flags & IR3_REG_HALF)); in validate_instr()
435 validate_assert(ctx, !(instr->srcs[0]->flags & IR3_REG_HALF)); in validate_instr()
436 validate_assert(ctx, !(instr->srcs[1]->flags & IR3_REG_HALF)); in validate_instr()
437 validate_assert(ctx, !!(instr->dsts[0]->flags & IR3_REG_SHARED) == in validate_instr()
441 validate_assert(ctx, !(instr->srcs[0]->flags & IR3_REG_HALF)); in validate_instr()
442 validate_assert(ctx, !(instr->srcs[1]->flags & IR3_REG_HALF)); in validate_instr()
445 validate_assert(ctx, !(instr->srcs[0]->flags & IR3_REG_HALF)); in validate_instr()
446 validate_assert(ctx, !(instr->srcs[1]->flags & IR3_REG_HALF)); in validate_instr()
447 validate_assert(ctx, !(instr->srcs[2]->flags & IR3_REG_HALF)); in validate_instr()
452 validate_assert(ctx, !(instr->dsts[0]->flags & IR3_REG_HALF)); in validate_instr()
453 validate_assert(ctx, instr->dsts[0]->wrmask == 0x3f); in validate_instr()
457 validate_assert(ctx, !(instr->srcs[0]->flags & IR3_REG_HALF)); in validate_instr()
458 validate_assert(ctx, !(instr->srcs[1]->flags & IR3_REG_HALF)); in validate_instr()
462 validate_assert(ctx, !(instr->dsts[0]->flags & IR3_REG_HALF)); in validate_instr()
463 validate_assert(ctx, instr->dsts[0]->wrmask == 0xf); in validate_instr()
467 validate_assert(ctx, !(instr->srcs[0]->flags & IR3_REG_HALF)); in validate_instr()
468 validate_assert(ctx, !(instr->srcs[1]->flags & IR3_REG_HALF)); in validate_instr()
473 validate_assert(ctx, !(instr->dsts[0]->flags & IR3_REG_HALF)); in validate_instr()
474 validate_assert(ctx, instr->dsts[0]->wrmask == 0x3); in validate_instr()
478 validate_assert(ctx, !(instr->srcs[0]->flags & IR3_REG_HALF)); in validate_instr()
479 validate_assert(ctx, !(instr->srcs[1]->flags & IR3_REG_HALF)); in validate_instr()
483 validate_assert(ctx, !(instr->srcs[1]->flags & IR3_REG_HALF)); in validate_instr()
488 validate_assert(ctx, !(instr->srcs[0]->flags & IR3_REG_HALF)); in validate_instr()
490 validate_assert(ctx, !(instr->srcs[1]->flags & IR3_REG_HALF)); in validate_instr()
497 validate_assert(ctx, (src->flags & IR3_REG_HALF) == in validate_instr()
500 validate_assert(ctx, src->flags & (IR3_REG_SHARED | IR3_REG_CONST | in validate_instr()
503 validate_assert(ctx, !(src->flags & IR3_REG_SHARED)); in validate_instr()
543 validate_assert( in ir3_validate()
549 validate_assert(ctx, instr->block == block); in ir3_validate()
552 validate_assert(ctx, prev == NULL || prev->opc == OPC_META_PHI); in ir3_validate()
568 validate_assert(ctx, is_physical_successor(block, block->successors[i])); in ir3_validate()
572 validate_assert(ctx, block->successors[0] || !block->successors[1]); in ir3_validate()