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