Home | History | Annotate | Download | only in exp-dhat

Lines Matching refs:tl_assert

97    tl_assert(b1->req_szB > 0);
98 tl_assert(b2->req_szB > 0);
142 tl_assert(foundval == 0); // we don't store vals in the interval tree
143 tl_assert(foundkey != 1);
145 tl_assert(res != &fake);
162 tl_assert(found);
227 tl_assert(bk);
228 tl_assert(bk->ap);
237 tl_assert(keyW == (UWord)bk->ap);
244 tl_assert(!present);
246 tl_assert(api->deaths == 0);
252 tl_assert(api->ap == bk->ap);
293 tl_assert(bk);
294 tl_assert(bk->ap);
302 tl_assert(found);
304 tl_assert(api->ap == bk->ap);
313 tl_assert(api->cur_blocks_live >= 1);
314 tl_assert(api->cur_bytes_live >= bk->req_szB);
320 tl_assert(bk->allocd_at <= g_guest_instrs_executed);
324 tl_assert(g_cur_blocks_live > 0);
326 tl_assert(g_cur_bytes_live >= bk->req_szB);
338 tl_assert(api->xsize == 0);
339 tl_assert(api->deaths == 1 || api->deaths == 0);
340 tl_assert(!api->histo);
353 //tl_assert(api->deaths > 1);
368 //tl_assert(api->deaths > 1);
372 tl_assert(0);
378 tl_assert(api->xsize == bk->req_szB);
414 tl_assert(found);
416 tl_assert(api->ap == ec);
419 tl_assert(api->cur_bytes_live >= -delta);
420 tl_assert(g_cur_bytes_live >= -delta);
454 tl_assert(p == NULL); // don't handle custom allocators right now
470 tl_assert(actual_szB >= req_szB);
492 tl_assert(!present);
505 tl_assert(!custom_free); // at least for now
513 tl_assert(bk->req_szB > 0);
515 tl_assert(bk->payload <= (Addr)p);
516 tl_assert( (Addr)p < bk->payload + bk->req_szB );
543 tl_assert(new_req_szB > 0); // map 0 to 1
551 tl_assert(bk->req_szB > 0);
553 tl_assert(bk->payload <= (Addr)p_old);
554 tl_assert( (Addr)p_old < bk->payload + bk->req_szB );
585 tl_assert(p_new != p_old);
606 tl_assert(!present);
612 tl_assert(0);
688 tl_assert(offMin < bk->req_szB);
741 tl_assert(0);
756 tl_assert(0);
812 tl_assert(tyAddr == Ity_I32 || tyAddr == Ity_I64);
825 tl_assert(hName);
826 tl_assert(hAddr);
827 tl_assert(argv);
947 tl_assert(d->mAddr != NULL);
948 tl_assert(d->mSize != 0);
961 tl_assert(d->mAddr == NULL);
962 tl_assert(d->mSize == 0);
975 tl_assert(cas->addr != NULL);
976 tl_assert(cas->dataLo != NULL);
1110 tl_assert(api->tot_blocks >= api->max_blocks_live);
1111 tl_assert(api->tot_bytes >= api->max_bytes_live);
1215 tl_assert(metric_name); // ensured by clo processing
1218 tl_assert(ok); // ensured by clo processing
1230 tl_assert(api && api->ap == (ExeContext*)keyW);
1279 tl_assert(valW == 0);
1280 tl_assert(bk);
1383 tl_assert(!interval_tree);
1384 tl_assert(!fbc_cache0);
1385 tl_assert(!fbc_cache1);