Lines Matching refs:links
3409 LAOGLinks* links; in laog__show() local
3413 links = NULL; in laog__show()
3415 (UWord*)&links )) { in laog__show()
3417 tl_assert(links); in laog__show()
3419 HG_(getPayloadWS)( &ws_words, &ws_size, univ_laog, links->inns ); in laog__show()
3422 HG_(getPayloadWS)( &ws_words, &ws_size, univ_laog, links->outs ); in laog__show()
3426 links = NULL; in laog__show()
3434 LAOGLinks* links; in univ_laog_do_GC() local
3445 links = NULL; in univ_laog_do_GC()
3446 while (VG_(nextIterFM)( laog, NULL, (UWord*)&links )) { in univ_laog_do_GC()
3447 tl_assert(links); in univ_laog_do_GC()
3448 tl_assert(links->inns >= 0 && links->inns < univ_laog_cardinality); in univ_laog_do_GC()
3449 univ_laog_seen[links->inns] = True; in univ_laog_do_GC()
3450 tl_assert(links->outs >= 0 && links->outs < univ_laog_cardinality); in univ_laog_do_GC()
3451 univ_laog_seen[links->outs] = True; in univ_laog_do_GC()
3452 links = NULL; in univ_laog_do_GC()
3509 LAOGLinks* links; in laog__add_edge() local
3525 links = NULL; in laog__add_edge()
3526 if (VG_(lookupFM)( laog, &keyW, (UWord*)&links, (UWord)src )) { in laog__add_edge()
3528 tl_assert(links); in laog__add_edge()
3530 outs_new = HG_(addToWS)( univ_laog, links->outs, (UWord)dst ); in laog__add_edge()
3531 presentF = outs_new == links->outs; in laog__add_edge()
3532 links->outs = outs_new; in laog__add_edge()
3534 links = HG_(zalloc)("hg.lae.1", sizeof(LAOGLinks)); in laog__add_edge()
3535 links->inns = HG_(emptyWS)( univ_laog ); in laog__add_edge()
3536 links->outs = HG_(singletonWS)( univ_laog, (UWord)dst ); in laog__add_edge()
3537 VG_(addToFM)( laog, (UWord)src, (UWord)links ); in laog__add_edge()
3541 links = NULL; in laog__add_edge()
3542 if (VG_(lookupFM)( laog, &keyW, (UWord*)&links, (UWord)dst )) { in laog__add_edge()
3544 tl_assert(links); in laog__add_edge()
3546 inns_new = HG_(addToWS)( univ_laog, links->inns, (UWord)src ); in laog__add_edge()
3547 presentR = inns_new == links->inns; in laog__add_edge()
3548 links->inns = inns_new; in laog__add_edge()
3550 links = HG_(zalloc)("hg.lae.2", sizeof(LAOGLinks)); in laog__add_edge()
3551 links->inns = HG_(singletonWS)( univ_laog, (UWord)src ); in laog__add_edge()
3552 links->outs = HG_(emptyWS)( univ_laog ); in laog__add_edge()
3553 VG_(addToFM)( laog, (UWord)dst, (UWord)links ); in laog__add_edge()
3592 LAOGLinks* links; in laog__del_edge() local
3596 links = NULL; in laog__del_edge()
3597 if (VG_(lookupFM)( laog, &keyW, (UWord*)&links, (UWord)src )) { in laog__del_edge()
3598 tl_assert(links); in laog__del_edge()
3600 links->outs = HG_(delFromWS)( univ_laog, links->outs, (UWord)dst ); in laog__del_edge()
3604 links = NULL; in laog__del_edge()
3605 if (VG_(lookupFM)( laog, &keyW, (UWord*)&links, (UWord)dst )) { in laog__del_edge()
3606 tl_assert(links); in laog__del_edge()
3608 links->inns = HG_(delFromWS)( univ_laog, links->inns, (UWord)src ); in laog__del_edge()
3636 LAOGLinks* links; in laog__succs() local
3638 links = NULL; in laog__succs()
3639 if (VG_(lookupFM)( laog, &keyW, (UWord*)&links, (UWord)lk )) { in laog__succs()
3640 tl_assert(links); in laog__succs()
3642 return links->outs; in laog__succs()
3651 LAOGLinks* links; in laog__preds() local
3653 links = NULL; in laog__preds()
3654 if (VG_(lookupFM)( laog, &keyW, (UWord*)&links, (UWord)lk )) { in laog__preds()
3655 tl_assert(links); in laog__preds()
3657 return links->inns; in laog__preds()
3668 LAOGLinks* links; in laog__sanity_check() local
3671 links = NULL; in laog__sanity_check()
3674 (UWord*)&links )) { in laog__sanity_check()
3676 tl_assert(links); in laog__sanity_check()
3677 HG_(getPayloadWS)( &ws_words, &ws_size, univ_laog, links->inns ); in laog__sanity_check()
3684 HG_(getPayloadWS)( &ws_words, &ws_size, univ_laog, links->outs ); in laog__sanity_check()
3692 links = NULL; in laog__sanity_check()
3946 LAOGLinks *links; in laog__handle_one_lock_deletion() local
3950 (UWord*)&linked_lk, (UWord*)&links, (UWord)lk)) { in laog__handle_one_lock_deletion()
3952 HG_(free) (links); in laog__handle_one_lock_deletion()