Lines Matching defs:assert
161 assert(source_idx < insert_idx_clause);
162 assert(insert_idx_clause < insert_idx);
169 assert(total_demand == reference_demand);
175 assert(clause_demand == reference_demand);
267 assert(cursor.total_demand == RegisterDemand{});
308 assert(insert_idx < source_idx);
314 assert(total_demand == reference_demand);
355 assert(cursor.has_insert_idx());
647 assert(idx != 0);
665 assert(candidate_idx >= 0);
666 assert(candidate_idx == cursor.source_idx);
728 assert(candidate_idx == up_cursor.source_idx);
729 assert(candidate_idx < (int)block->instructions.size());
790 assert(idx != 0);
808 assert(candidate_idx == cursor.source_idx);
809 assert(candidate_idx >= 0);
902 assert(candidate_idx == up_cursor.source_idx);
903 assert(candidate_idx < (int)block->instructions.size());
962 assert(idx != 0);
975 assert(candidate_idx >= 0);
1080 assert(ctx.num_waves > 0);
1120 assert(live_vars.register_demand[b.index][i] == live_vars2.register_demand[b.index][i]);
1121 assert(b.register_demand == demands[j]);
1124 assert(program->max_reg_demand == prev_max_demand);
1125 assert(program->num_waves == prev_num_waves);