Home
last modified time | relevance | path

Searched refs:tl_assert (Results 1 – 25 of 54) sorted by relevance

123

/external/valgrind/drd/
Ddrd_bitmap.c56 tl_assert(!s_bm2_set_template); in DRD_()
64 tl_assert(s_bm2_set_template); in DRD_()
75 tl_assert((1 << BITS_PER_BITS_PER_UWORD) == BITS_PER_UWORD); in DRD_()
85 tl_assert(bm); in DRD_()
96 tl_assert(bm); in DRD_()
131 tl_assert(access_type == eLoad || access_type == eStore); in DRD_()
143 tl_assert(bm); in DRD_()
144 tl_assert(a1 <= a2); in DRD_()
145 tl_assert(a2 < first_address_with_higher_msb(a2)); in DRD_()
146 tl_assert(a1 == first_address_with_same_lsb(a1)); in DRD_()
[all …]
Ddrd_thread.c93 tl_assert(t == False || t == True); in DRD_()
100 tl_assert(t == False || t == True); in DRD_()
107 tl_assert(t == False || t == True); in DRD_()
120 tl_assert(t == False || t == True); in DRD_()
127 tl_assert(m == False || m == True); in DRD_()
188 tl_assert(DRD_(VgThreadIdToDrdThreadId)(tid) == DRD_INVALID_THREADID); in DRD_()
194 tl_assert(! DRD_(IsValidDrdThreadId)(i)); in DRD_()
216 tl_assert(DRD_(g_threadinfo)[i].sg_first == NULL); in DRD_()
217 tl_assert(DRD_(g_threadinfo)[i].sg_last == NULL); in DRD_()
219 tl_assert(DRD_(IsValidDrdThreadId)(i)); in DRD_()
[all …]
Ddrd_bitmap.h168 tl_assert(a < (1U << ADDR_LSB_BITS)); in uword_msb()
182 tl_assert(a < (1U << ADDR_LSB_BITS)); in uword_lsb()
234 tl_assert(address_msb(make_address(0, a)) == 0); in bm0_mask()
243 tl_assert(address_msb(make_address(0, a)) == 0); in bm0_set()
257 tl_assert(size > 0); in bm0_set_range()
258 tl_assert(address_msb(make_address(0, a)) == 0); in bm0_set_range()
259 tl_assert(address_msb(make_address(0, a + size - 1)) == 0); in bm0_set_range()
260 tl_assert(uword_msb(a) == uword_msb(a + size - 1)); in bm0_set_range()
270 tl_assert(address_msb(make_address(0, a)) == 0); in bm0_clear()
284 tl_assert(address_msb(make_address(0, a)) == 0); in bm0_clear_range()
[all …]
Ddrd_vc.c50 tl_assert(vc); in DRD_()
55 tl_assert(size == 0 || vc->vc != 0); in DRD_()
96 tl_assert(oldcount < vc->vc[i].count); in DRD_()
130 tl_assert(result); in DRD_()
131 tl_assert(rhs); in DRD_()
153 tl_assert(result->vc[i].threadid == rhs->vc[j].threadid); in DRD_()
173 tl_assert(result); in DRD_()
174 tl_assert(rhs); in DRD_()
228 tl_assert(result->vc[i].threadid == rhs->vc[j].threadid); in DRD_()
236 tl_assert(result->size == new_size); in DRD_()
[all …]
Ddrd_clientobj.c60 tl_assert(s_clientobj_set == 0); in DRD_()
72 tl_assert(s_clientobj_set); in DRD_()
73 tl_assert(VG_(OSetGen_Size)(s_clientobj_set) == 0); in DRD_()
109 tl_assert(a1 <= a2); in DRD_()
131 tl_assert(! DRD_(clientobj_present)(a1, a1 + 1)); in DRD_()
132 tl_assert(VG_(OSetGen_Lookup)(s_clientobj_set, &a1) == 0); in DRD_()
143 tl_assert(VG_(OSetGen_Lookup)(s_clientobj_set, &a1) == p); in DRD_()
162 tl_assert(p); in DRD_()
163 tl_assert(p->any.type == t); in DRD_()
178 tl_assert(p); in clientobj_remove_obj()
[all …]
Ddrd_segment.c69 tl_assert(sg); in sg_init()
70 tl_assert(creator == DRD_INVALID_THREADID in sg_init()
109 tl_assert(sg); in DRD_()
110 tl_assert(sg->refcnt == 0); in DRD_()
150 tl_assert(sg); in DRD_()
164 tl_assert(sg); in DRD_()
190 tl_assert(sg->refcnt >= 1); in DRD_()
201 tl_assert(sg1); in DRD_()
202 tl_assert(sg1->refcnt == 1); in DRD_()
203 tl_assert(sg2); in DRD_()
[all …]
Ddrd_suppression.c54 tl_assert(s_suppressed == 0); in DRD_()
55 tl_assert(s_traced == 0); in DRD_()
58 tl_assert(s_suppressed); in DRD_()
59 tl_assert(s_traced); in DRD_()
69 tl_assert(a1 <= a2); in DRD_()
81 tl_assert(a1 <= a2); in DRD_()
122 tl_assert(a1 <= a2); in DRD_()
140 tl_assert(a1 <= a2); in DRD_()
173 tl_assert(a1); in DRD_()
174 tl_assert(a1 <= a2); in DRD_()
Ddrd_barrier.c99 tl_assert(p); in DRD_()
116 tl_assert(barrier != 0); in DRD_()
117 tl_assert(barrier_type == pthread_barrier || barrier_type == gomp_barrier); in DRD_()
118 tl_assert(p->a1 == barrier); in DRD_()
130 tl_assert(sizeof(((struct barrier_thread_info*)0)->tid) == sizeof(Word)); in DRD_()
131 tl_assert(sizeof(((struct barrier_thread_info*)0)->tid) in DRD_()
152 tl_assert(p); in barrier_cleanup()
155 tl_assert(latest_sg); in barrier_cleanup()
197 tl_assert(barrier_type == pthread_barrier || barrier_type == gomp_barrier); in DRD_()
199 tl_assert(offsetof(DrdClientobj, barrier) == 0); in DRD_()
[all …]
Ddrd_semaphore.c55 tl_assert(sg); in drd_segment_push()
61 tl_assert(*(Segment**)VG_(indexXA)(p->last_sem_post_seg, n) == sg); in drd_segment_push()
79 tl_assert(sg); in drd_segment_pop()
99 tl_assert(semaphore != 0); in drd_semaphore_initialize()
100 tl_assert(p->a1 == semaphore); in drd_semaphore_initialize()
101 tl_assert(p->type == ClientSemaphore); in drd_semaphore_initialize()
147 tl_assert(offsetof(DrdClientobj, semaphore) == 0); in drd_semaphore_get_or_allocate()
151 tl_assert(offsetof(DrdClientobj, semaphore) == 0); in drd_semaphore_get_or_allocate()
164 tl_assert(offsetof(DrdClientobj, semaphore) == 0); in semaphore_get()
211 tl_assert(p); in DRD_()
[all …]
Ddrd_mutex.c58 tl_assert((!! trace_mutex) == trace_mutex); in DRD_()
71 tl_assert(mutex); in DRD_()
72 tl_assert(p->a1 == mutex); in DRD_()
106 tl_assert(p); in mutex_cleanup()
163 tl_assert(offsetof(DrdClientobj, mutex) == 0); in DRD_()
189 tl_assert(offsetof(DrdClientobj, mutex) == 0); in DRD_()
274 tl_assert(p); in DRD_()
325 tl_assert(p->last_locked_segment); in DRD_()
400 tl_assert(p); in DRD_()
407 tl_assert(p->mutex_type == mutex_type); in DRD_()
[all …]
Ddrd_malloc_wrappers.c93 tl_assert(p); in DRD_()
113 tl_assert(p); in handle_free()
115 tl_assert(success); in handle_free()
126 tl_assert(p); in DRD_()
133 tl_assert(p == mc->data); in DRD_()
200 tl_assert(0); in drd_realloc()
294 tl_assert(s_malloc_list == 0); in DRD_()
296 tl_assert(start_callback); in DRD_()
297 tl_assert(stop_callback); in DRD_()
322 tl_assert(data); in DRD_()
[all …]
Ddrd_hb.c81 tl_assert(p); in DRD_()
88 tl_assert(hb != 0); in DRD_()
89 tl_assert(p->a1 == hb); in DRD_()
90 tl_assert(p->type == ClientHbvar); in DRD_()
106 tl_assert(p); in DRD_()
134 tl_assert(offsetof(DrdClientobj, hb) == 0); in DRD_()
152 tl_assert(offsetof(DrdClientobj, hb) == 0); in DRD_()
180 tl_assert(VG_(OSetGen_Lookup)(p->oset, &word_tid) == q); in DRD_()
219 tl_assert(q->sg); in DRD_()
/external/valgrind/helgrind/
Dlibhb_core.c433 tl_assert ((a - start < szB) in address_in_range()
498 tl_assert(lineZ->dict[0] == SVal_INVALID); in LineF_Ptr()
674 tl_assert(n > 0); in shmem__bigchunk_alloc()
676 tl_assert(shmem__bigchunk_next <= shmem__bigchunk_end1); in shmem__bigchunk_alloc()
677 tl_assert(shmem__bigchunk_end1 - shmem__bigchunk_next in shmem__bigchunk_alloc()
689 tl_assert(shmem__bigchunk_next); in shmem__bigchunk_alloc()
690 tl_assert( 0 == (((Addr)shmem__bigchunk_next) & (16-1)) ); in shmem__bigchunk_alloc()
691 tl_assert(shmem__bigchunk_next + n <= shmem__bigchunk_end1); in shmem__bigchunk_alloc()
705 tl_assert (sm); in SecMap_freelist_next()
706 tl_assert (sm->magic == SecMap_free_MAGIC); in SecMap_freelist_next()
[all …]
Dhg_main.c217 tl_assert(HG_(is_sane_LockN)(lock)); in mk_LockN()
225 tl_assert(HG_(is_sane_LockN)(lk)); in del_LockN()
226 tl_assert(lk->hbso); in del_LockN()
232 tl_assert(lk->admin_prev == NULL); in del_LockN()
238 tl_assert(lk->admin_prev != NULL); in del_LockN()
253 tl_assert(HG_(is_sane_LockN)(lk)); in lockN_acquire_writer()
254 tl_assert(HG_(is_sane_Thread)(thr)); in lockN_acquire_writer()
263 tl_assert(lk->heldBy == NULL); in lockN_acquire_writer()
268 tl_assert(lk->heldBy != NULL); in lockN_acquire_writer()
275 tl_assert(lk->heldBy == NULL); /* can't w-lock recursively */ in lockN_acquire_writer()
[all …]
Dhg_wordset.c76 tl_assert((_zzdynmax) >= 1); \
77 tl_assert((_zzdynmax) <= N_WCACHE_STAT_MAX); \
88 tl_assert(_cache->dynMax >= 1); \
89 tl_assert(_cache->dynMax <= N_WCACHE_STAT_MAX); \
90 tl_assert(_cache->inUse >= 0); \
91 tl_assert(_cache->inUse <= _cache->dynMax); \
115 tl_assert(_cache->dynMax >= 1); \
116 tl_assert(_cache->dynMax <= N_WCACHE_STAT_MAX); \
117 tl_assert(_cache->inUse >= 0); \
118 tl_assert(_cache->inUse <= _cache->dynMax); \
[all …]
Dhg_errors.c84 tl_assert(copy); in string_table_strdup()
108 tl_assert( HG_(is_sane_LockNorP)(lk1) ); in lock_unique_cmp()
109 tl_assert( HG_(is_sane_LockNorP)(lk2) ); in lock_unique_cmp()
158 tl_assert(allowed_to_be_invalid); in mk_LockP_from_LockN()
163 tl_assert( HG_(is_sane_LockN)(lkn) ); in mk_LockP_from_LockN()
184 tl_assert( HG_(is_sane_LockP)(lkp) ); in mk_LockP_from_LockN()
211 tl_assert(univ_lsets); in enumerate_WordSet_into_LockP_vector()
212 tl_assert( HG_(plausibleWS)(univ_lsets, lockset) ); in enumerate_WordSet_into_LockP_vector()
216 tl_assert(lockPs[nLocks] == NULL); /* pre-NULL terminated */ in enumerate_WordSet_into_LockP_vector()
223 tl_assert(lockNs); in enumerate_WordSet_into_LockP_vector()
[all …]
/external/valgrind/exp-sgcheck/
Dsg_main.c74 tl_assert(n > 0); in sg_malloc()
80 tl_assert(p); in sg_free()
98 tl_assert(n1w > 0 && n2w > 0); in cmp_nonempty_intervals()
109 tl_assert(nBig > 0 && nSmall > 0); in is_subinterval_of()
163 tl_assert(StackBlock__sane(fb1)); in StackBlock__cmp()
164 tl_assert(StackBlock__sane(fb2)); in StackBlock__cmp()
194 tl_assert(StackBlock__sane(fb1)); in StackBlock__all_fields_except_szB_are_equal()
195 tl_assert(StackBlock__sane(fb2)); in StackBlock__all_fields_except_szB_are_equal()
218 tl_assert(i == n1 && i == n2); in StackBlocks__cmp()
245 tl_assert(!frameBlocks_set); in init_StackBlocks_set()
[all …]
Dh_main.c129 tl_assert(is_known_segment(seg)); in Seg__where()
135 tl_assert(is_known_segment(seg)); in Seg__size()
141 tl_assert(is_known_segment(seg)); in Seg__addr()
178 tl_assert(group_list->nextfree <= N_SEGS_PER_GROUP); in new_Seg()
184 tl_assert(group_list->nextfree < N_SEGS_PER_GROUP); in new_Seg()
200 tl_assert(freesegs_youngest); in get_Seg_for_malloc()
201 tl_assert(freesegs_oldest); in get_Seg_for_malloc()
202 tl_assert(freesegs_youngest != freesegs_oldest); in get_Seg_for_malloc()
213 tl_assert(seg); in set_Seg_freed()
214 tl_assert(!Seg__is_freed(seg)); in set_Seg_freed()
[all …]
/external/valgrind/exp-dhat/
Ddh_main.c97 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()
[all …]
/external/valgrind/lackey/
Dlk_main.c207 tl_assert(clo_fnname); in lk_process_cmd_line_option()
208 tl_assert(clo_fnname[0]); in lk_process_cmd_line_option()
327 default: tl_assert(0); in type2index()
348 default: tl_assert(0); in nameOfTypeIndex()
373 tl_assert(op < N_OPS); in instrument_detail()
374 tl_assert(typeIx < N_TYPES); in instrument_detail()
505 tl_assert(0); in flushEvents()
530 tl_assert(clo_trace_mem); in addEvent_Ir()
531 tl_assert( (VG_MIN_INSTR_SZB <= isize && isize <= VG_MAX_INSTR_SZB) in addEvent_Ir()
535 tl_assert(events_used >= 0 && events_used < N_EVENTS); in addEvent_Ir()
[all …]
/external/valgrind/VEX/useful/
Dtest_main.c476 #define tl_assert(xxx) assert(xxx) macro
612 tl_assert(orig < mce->n_originalTmps); in findShadowTmp()
629 tl_assert(orig < mce->n_originalTmps); in newShadowTmp()
762 tl_assert(isShadowAtom(mce,a1)); in mkDifD8()
763 tl_assert(isShadowAtom(mce,a2)); in mkDifD8()
768 tl_assert(isShadowAtom(mce,a1)); in mkDifD16()
769 tl_assert(isShadowAtom(mce,a2)); in mkDifD16()
774 tl_assert(isShadowAtom(mce,a1)); in mkDifD32()
775 tl_assert(isShadowAtom(mce,a2)); in mkDifD32()
780 tl_assert(isShadowAtom(mce,a1)); in mkDifD64()
[all …]
/external/valgrind/memcheck/
Dmc_translate.c259 tl_assert(newIx == (Word)tmp); in newTemp()
272 tl_assert(ent->kind == Orig); in findShadowTmpV()
279 tl_assert(ent->kind == Orig); in findShadowTmpV()
280 tl_assert(ent->shadowV == IRTemp_INVALID); in findShadowTmpV()
302 tl_assert(ent->kind == Orig); in newShadowTmpV()
309 tl_assert(ent->kind == Orig); in newShadowTmpV()
462 tl_assert(tyE == ty); /* so 'ty' is redundant (!) */ in assignNew()
469 default: tl_assert(0); in assignNew()
499 tl_assert(isShadowAtom(mce,a1)); in mkDifD8()
500 tl_assert(isShadowAtom(mce,a2)); in mkDifD8()
[all …]
Dmc_malloc_wrappers.c108 tl_assert(freed_list_start[l] == NULL); in add_to_freed_queue()
112 tl_assert(freed_list_end[l]->next == NULL); in add_to_freed_queue()
138 tl_assert (VG_(free_queue_volume) > MC_(clo_freelist_vol)); in release_oldest_block()
139 tl_assert (freed_list_start[0] != NULL || freed_list_start[1] != NULL); in release_oldest_block()
146 tl_assert(freed_list_end[i] != NULL); in release_oldest_block()
154 tl_assert(VG_(free_queue_volume) >= 0); in release_oldest_block()
201 default: tl_assert(0); in create_MC_Chunk()
231 tl_assert (found_mc->data == mc->data); in in_block_list()
244 tl_assert (found_mc == mc); in in_block_list()
276 default: tl_assert (0); in MC_()
[all …]
/external/valgrind/cachegrind/
Dcg_main.c553 default: tl_assert(0); in get_Event_dea()
562 default: tl_assert(0); in get_Event_dszB()
619 tl_assert(NULL == sbInfo); in get_SB_info()
668 tl_assert(0); in showEvent()
678 tl_assert(cgs->sbInfo_i >= 0); in setup_InstrInfo()
679 tl_assert(cgs->sbInfo_i < cgs->sbInfo->n_instrs); in setup_InstrInfo()
715 tl_assert(i >= 0 && i < cgs->events_used); in flushEvents()
742 tl_assert(ev2->inode == ev->inode); in flushEvents()
754 tl_assert(ev2->inode == ev->inode); in flushEvents()
859 tl_assert(0); in flushEvents()
[all …]
Dcg_branchpred.c105 tl_assert(hist_bits <= hist_mask); in do_cond_branch_predict()
106 tl_assert(iadd_bits <= iadd_mask); in do_cond_branch_predict()
108 tl_assert(indx < N_COUNTERS); in do_cond_branch_predict()
111 tl_assert(takenW <= 1); in do_cond_branch_predict()
129 tl_assert(counters[indx] <= 3); in do_cond_branch_predict()
149 tl_assert(indx < N_BTAC); in do_ind_branch_predict()

123