Lines Matching refs:links
3317 LAOGLinks* links; in laog__show() local
3321 links = NULL; in laog__show()
3323 (Word*)&links )) { in laog__show()
3325 tl_assert(links); in laog__show()
3327 HG_(getPayloadWS)( &ws_words, &ws_size, univ_laog, links->inns ); in laog__show()
3330 HG_(getPayloadWS)( &ws_words, &ws_size, univ_laog, links->outs ); in laog__show()
3334 links = NULL; in laog__show()
3342 LAOGLinks* links; in univ_laog_do_GC() local
3358 links = NULL; in univ_laog_do_GC()
3359 while (VG_(nextIterFM)( laog, NULL, (UWord*)&links )) { in univ_laog_do_GC()
3360 tl_assert(links); in univ_laog_do_GC()
3361 tl_assert(links->inns >= 0 && links->inns < univ_laog_cardinality); in univ_laog_do_GC()
3362 univ_laog_seen[links->inns] = True; in univ_laog_do_GC()
3363 tl_assert(links->outs >= 0 && links->outs < univ_laog_cardinality); in univ_laog_do_GC()
3364 univ_laog_seen[links->outs] = True; in univ_laog_do_GC()
3365 links = NULL; in univ_laog_do_GC()
3422 LAOGLinks* links; in laog__add_edge() local
3438 links = NULL; in laog__add_edge()
3439 if (VG_(lookupFM)( laog, &keyW, (Word*)&links, (Word)src )) { in laog__add_edge()
3441 tl_assert(links); in laog__add_edge()
3443 outs_new = HG_(addToWS)( univ_laog, links->outs, (Word)dst ); in laog__add_edge()
3444 presentF = outs_new == links->outs; in laog__add_edge()
3445 links->outs = outs_new; in laog__add_edge()
3447 links = HG_(zalloc)("hg.lae.1", sizeof(LAOGLinks)); in laog__add_edge()
3448 links->inns = HG_(emptyWS)( univ_laog ); in laog__add_edge()
3449 links->outs = HG_(singletonWS)( univ_laog, (Word)dst ); in laog__add_edge()
3450 VG_(addToFM)( laog, (Word)src, (Word)links ); in laog__add_edge()
3454 links = NULL; in laog__add_edge()
3455 if (VG_(lookupFM)( laog, &keyW, (Word*)&links, (Word)dst )) { in laog__add_edge()
3457 tl_assert(links); in laog__add_edge()
3459 inns_new = HG_(addToWS)( univ_laog, links->inns, (Word)src ); in laog__add_edge()
3460 presentR = inns_new == links->inns; in laog__add_edge()
3461 links->inns = inns_new; in laog__add_edge()
3463 links = HG_(zalloc)("hg.lae.2", sizeof(LAOGLinks)); in laog__add_edge()
3464 links->inns = HG_(singletonWS)( univ_laog, (Word)src ); in laog__add_edge()
3465 links->outs = HG_(emptyWS)( univ_laog ); in laog__add_edge()
3466 VG_(addToFM)( laog, (Word)dst, (Word)links ); in laog__add_edge()
3505 LAOGLinks* links; in laog__del_edge() local
3509 links = NULL; in laog__del_edge()
3510 if (VG_(lookupFM)( laog, &keyW, (Word*)&links, (Word)src )) { in laog__del_edge()
3511 tl_assert(links); in laog__del_edge()
3513 links->outs = HG_(delFromWS)( univ_laog, links->outs, (Word)dst ); in laog__del_edge()
3517 links = NULL; in laog__del_edge()
3518 if (VG_(lookupFM)( laog, &keyW, (Word*)&links, (Word)dst )) { in laog__del_edge()
3519 tl_assert(links); in laog__del_edge()
3521 links->inns = HG_(delFromWS)( univ_laog, links->inns, (Word)src ); in laog__del_edge()
3549 LAOGLinks* links; in laog__succs() local
3551 links = NULL; in laog__succs()
3552 if (VG_(lookupFM)( laog, &keyW, (Word*)&links, (Word)lk )) { in laog__succs()
3553 tl_assert(links); in laog__succs()
3555 return links->outs; in laog__succs()
3564 LAOGLinks* links; in laog__preds() local
3566 links = NULL; in laog__preds()
3567 if (VG_(lookupFM)( laog, &keyW, (Word*)&links, (Word)lk )) { in laog__preds()
3568 tl_assert(links); in laog__preds()
3570 return links->inns; in laog__preds()
3581 LAOGLinks* links; in laog__sanity_check() local
3584 links = NULL; in laog__sanity_check()
3587 (Word*)&links )) { in laog__sanity_check()
3589 tl_assert(links); in laog__sanity_check()
3590 HG_(getPayloadWS)( &ws_words, &ws_size, univ_laog, links->inns ); in laog__sanity_check()
3597 HG_(getPayloadWS)( &ws_words, &ws_size, univ_laog, links->outs ); in laog__sanity_check()
3605 links = NULL; in laog__sanity_check()
3814 LAOGLinks *links; in laog__handle_one_lock_deletion() local
3818 (UWord*)&linked_lk, (UWord*)&links, (UWord)lk)) { in laog__handle_one_lock_deletion()
3820 HG_(free) (links); in laog__handle_one_lock_deletion()