Lines Matching refs:univ_lsets
141 static WordSetU* univ_lsets = NULL; /* sets of Lock* */
149 WordSetU* HG_(get_univ_lsets) ( void ) { return univ_lsets; }
177 thread->locksetA = HG_(emptyWS)( univ_lsets );
178 thread->locksetW = HG_(emptyWS)( univ_lsets );
377 tl_assert(HG_(elemWS)( univ_lsets,
380 = HG_(delFromWS)( univ_lsets, thr->locksetA, (UWord)lk );
383 tl_assert(HG_(elemWS)( univ_lsets,
386 = HG_(delFromWS)( univ_lsets, thr->locksetW, (UWord)lk );
616 tl_assert(univ_lsets == NULL);
617 univ_lsets = HG_(newWordSetU)( HG_(zalloc), "hg.ids.4", HG_(free),
619 tl_assert(univ_lsets != NULL);
620 /* Ensure that univ_lsets is non-empty, with lockset zero being the
622 lockset number zero in univ_lsets is always valid. */
623 wsid = HG_(emptyWS)(univ_lsets);
899 if (!HG_(isSubsetOf)( univ_lsets, wsW, wsA )) BAD("7");
900 HG_(getPayloadWS)( &ls_words, &ls_size, univ_lsets, wsA );
957 if (!HG_(elemWS)(univ_lsets, thr->locksetA, (UWord)lk))
961 && !HG_(elemWS)(univ_lsets, thr->locksetW, (UWord)lk))
964 && HG_(elemWS)(univ_lsets, thr->locksetW, (UWord)lk))
1180 thr->locksetA = HG_(addToWS)( univ_lsets, thr->locksetA, (UWord)lk );
1181 thr->locksetW = HG_(addToWS)( univ_lsets, thr->locksetW, (UWord)lk );
1255 thr->locksetA = HG_(addToWS)( univ_lsets, thr->locksetA, (UWord)lk );
1311 tl_assert(!HG_(elemWS)( univ_lsets, thr->locksetA, (UWord)lock ));
1312 tl_assert(!HG_(elemWS)( univ_lsets, thr->locksetW, (UWord)lock ));
1332 tl_assert(!HG_(elemWS)( univ_lsets, thr->locksetA, (UWord)lock ));
1333 tl_assert(!HG_(elemWS)( univ_lsets, thr->locksetW, (UWord)lock ));
1353 tl_assert(HG_(elemWS)( univ_lsets, thr->locksetA, (UWord)lock ));
1355 tl_assert(HG_(elemWS)( univ_lsets, thr->locksetW, (UWord)lock ));
1357 tl_assert(!HG_(elemWS)( univ_lsets, thr->locksetW, (UWord)lock ));
1387 = HG_(delFromWS)( univ_lsets, thr->locksetA, (UWord)lock );
1389 = HG_(delFromWS)( univ_lsets, thr->locksetW, (UWord)lock );
1680 nHeld = HG_(cardinalityWS)( univ_lsets, thr_q->locksetA );
3833 Lock* laog__do_dfs_from_to ( Lock* src, WordSetID dsts /* univ_lsets */ )
3847 if (HG_(isEmptyWS)( univ_lsets, dsts ))
3865 if (HG_(elemWS)( univ_lsets, dsts, (UWord)here )) { ret = here; break; }
3900 /* NB: univ_lsets really is correct here */
3901 if (HG_(elemWS)( univ_lsets, thr->locksetA, (UWord)lk ))
3994 HG_(getPayloadWS)( &ls_words, &ls_size, univ_lsets, thr->locksetA );
4091 // HG_(getPayloadWS)( &ws_words, &ws_size, univ_lsets, locksToDelete );
5621 HG_(ppWSUstats)( univ_lsets, "univ_lsets" );
5642 (Int)HG_(cardinalityWSU)( univ_lsets ));
