Lines Matching refs:links
3533 LAOGLinks* links; in laog__show() local
3537 links = NULL; in laog__show()
3539 (UWord*)&links )) { in laog__show()
3541 tl_assert(links); in laog__show()
3543 HG_(getPayloadWS)( &ws_words, &ws_size, univ_laog, links->inns ); in laog__show()
3546 HG_(getPayloadWS)( &ws_words, &ws_size, univ_laog, links->outs ); in laog__show()
3550 links = NULL; in laog__show()
3558 LAOGLinks* links; in univ_laog_do_GC() local
3569 links = NULL; in univ_laog_do_GC()
3570 while (VG_(nextIterFM)( laog, NULL, (UWord*)&links )) { in univ_laog_do_GC()
3571 tl_assert(links); in univ_laog_do_GC()
3572 tl_assert(links->inns >= 0 && links->inns < univ_laog_cardinality); in univ_laog_do_GC()
3573 univ_laog_seen[links->inns] = True; in univ_laog_do_GC()
3574 tl_assert(links->outs >= 0 && links->outs < univ_laog_cardinality); in univ_laog_do_GC()
3575 univ_laog_seen[links->outs] = True; in univ_laog_do_GC()
3576 links = NULL; in univ_laog_do_GC()
3633 LAOGLinks* links; in laog__add_edge() local
3649 links = NULL; in laog__add_edge()
3650 if (VG_(lookupFM)( laog, &keyW, (UWord*)&links, (UWord)src )) { in laog__add_edge()
3652 tl_assert(links); in laog__add_edge()
3654 outs_new = HG_(addToWS)( univ_laog, links->outs, (UWord)dst ); in laog__add_edge()
3655 presentF = outs_new == links->outs; in laog__add_edge()
3656 links->outs = outs_new; in laog__add_edge()
3658 links = HG_(zalloc)("hg.lae.1", sizeof(LAOGLinks)); in laog__add_edge()
3659 links->inns = HG_(emptyWS)( univ_laog ); in laog__add_edge()
3660 links->outs = HG_(singletonWS)( univ_laog, (UWord)dst ); in laog__add_edge()
3661 VG_(addToFM)( laog, (UWord)src, (UWord)links ); in laog__add_edge()
3665 links = NULL; in laog__add_edge()
3666 if (VG_(lookupFM)( laog, &keyW, (UWord*)&links, (UWord)dst )) { in laog__add_edge()
3668 tl_assert(links); in laog__add_edge()
3670 inns_new = HG_(addToWS)( univ_laog, links->inns, (UWord)src ); in laog__add_edge()
3671 presentR = inns_new == links->inns; in laog__add_edge()
3672 links->inns = inns_new; in laog__add_edge()
3674 links = HG_(zalloc)("hg.lae.2", sizeof(LAOGLinks)); in laog__add_edge()
3675 links->inns = HG_(singletonWS)( univ_laog, (UWord)src ); in laog__add_edge()
3676 links->outs = HG_(emptyWS)( univ_laog ); in laog__add_edge()
3677 VG_(addToFM)( laog, (UWord)dst, (UWord)links ); in laog__add_edge()
3716 LAOGLinks* links; in laog__del_edge() local
3720 links = NULL; in laog__del_edge()
3721 if (VG_(lookupFM)( laog, &keyW, (UWord*)&links, (UWord)src )) { in laog__del_edge()
3722 tl_assert(links); in laog__del_edge()
3724 links->outs = HG_(delFromWS)( univ_laog, links->outs, (UWord)dst ); in laog__del_edge()
3728 links = NULL; in laog__del_edge()
3729 if (VG_(lookupFM)( laog, &keyW, (UWord*)&links, (UWord)dst )) { in laog__del_edge()
3730 tl_assert(links); in laog__del_edge()
3732 links->inns = HG_(delFromWS)( univ_laog, links->inns, (UWord)src ); in laog__del_edge()
3760 LAOGLinks* links; in laog__succs() local
3762 links = NULL; in laog__succs()
3763 if (VG_(lookupFM)( laog, &keyW, (UWord*)&links, (UWord)lk )) { in laog__succs()
3764 tl_assert(links); in laog__succs()
3766 return links->outs; in laog__succs()
3775 LAOGLinks* links; in laog__preds() local
3777 links = NULL; in laog__preds()
3778 if (VG_(lookupFM)( laog, &keyW, (UWord*)&links, (UWord)lk )) { in laog__preds()
3779 tl_assert(links); in laog__preds()
3781 return links->inns; in laog__preds()
3792 LAOGLinks* links; in laog__sanity_check() local
3795 links = NULL; in laog__sanity_check()
3798 (UWord*)&links )) { in laog__sanity_check()
3800 tl_assert(links); in laog__sanity_check()
3801 HG_(getPayloadWS)( &ws_words, &ws_size, univ_laog, links->inns ); in laog__sanity_check()
3808 HG_(getPayloadWS)( &ws_words, &ws_size, univ_laog, links->outs ); in laog__sanity_check()
3816 links = NULL; in laog__sanity_check()
4070 LAOGLinks *links; in laog__handle_one_lock_deletion() local
4074 (UWord*)&linked_lk, (UWord*)&links, (UWord)lk)) { in laog__handle_one_lock_deletion()
4076 HG_(free) (links); in laog__handle_one_lock_deletion()