Lines Matching refs:links
3317 LAOGLinks* links;
3321 links = NULL;
3323 (Word*)&links )) {
3325 tl_assert(links);
3327 HG_(getPayloadWS)( &ws_words, &ws_size, univ_laog, links->inns );
3330 HG_(getPayloadWS)( &ws_words, &ws_size, univ_laog, links->outs );
3334 links = NULL;
3342 LAOGLinks* links;
3358 links = NULL;
3359 while (VG_(nextIterFM)( laog, NULL, (UWord*)&links )) {
3360 tl_assert(links);
3361 tl_assert(links->inns >= 0 && links->inns < univ_laog_cardinality);
3362 univ_laog_seen[links->inns] = True;
3363 tl_assert(links->outs >= 0 && links->outs < univ_laog_cardinality);
3364 univ_laog_seen[links->outs] = True;
3365 links = NULL;
3422 LAOGLinks* links;
3428 forwards links, and presentR if there is already a src->dst
3429 mapping in this node's backwards links. They should agree!
3438 links = NULL;
3439 if (VG_(lookupFM)( laog, &keyW, (Word*)&links, (Word)src )) {
3441 tl_assert(links);
3443 outs_new = HG_(addToWS)( univ_laog, links->outs, (Word)dst );
3444 presentF = outs_new == links->outs;
3445 links->outs = outs_new;
3447 links = HG_(zalloc)("hg.lae.1", sizeof(LAOGLinks));
3448 links->inns = HG_(emptyWS)( univ_laog );
3449 links->outs = HG_(singletonWS)( univ_laog, (Word)dst );
3450 VG_(addToFM)( laog, (Word)src, (Word)links );
3454 links = NULL;
3455 if (VG_(lookupFM)( laog, &keyW, (Word*)&links, (Word)dst )) {
3457 tl_assert(links);
3459 inns_new = HG_(addToWS)( univ_laog, links->inns, (Word)src );
3460 presentR = inns_new == links->inns;
3461 links->inns = inns_new;
3463 links = HG_(zalloc)("hg.lae.2", sizeof(LAOGLinks));
3464 links->inns = HG_(singletonWS)( univ_laog, (Word)src );
3465 links->outs = HG_(emptyWS)( univ_laog );
3466 VG_(addToFM)( laog, (Word)dst, (Word)links );
3505 LAOGLinks* links;
3509 links = NULL;
3510 if (VG_(lookupFM)( laog, &keyW, (Word*)&links, (Word)src )) {
3511 tl_assert(links);
3513 links->outs = HG_(delFromWS)( univ_laog, links->outs, (Word)dst );
3517 links = NULL;
3518 if (VG_(lookupFM)( laog, &keyW, (Word*)&links, (Word)dst )) {
3519 tl_assert(links);
3521 links->inns = HG_(delFromWS)( univ_laog, links->inns, (Word)src );
3549 LAOGLinks* links;
3551 links = NULL;
3552 if (VG_(lookupFM)( laog, &keyW, (Word*)&links, (Word)lk )) {
3553 tl_assert(links);
3555 return links->outs;
3564 LAOGLinks* links;
3566 links = NULL;
3567 if (VG_(lookupFM)( laog, &keyW, (Word*)&links, (Word)lk )) {
3568 tl_assert(links);
3570 return links->inns;
3581 LAOGLinks* links;
3584 links = NULL;
3587 (Word*)&links )) {
3589 tl_assert(links);
3590 HG_(getPayloadWS)( &ws_words, &ws_size, univ_laog, links->inns );
3597 HG_(getPayloadWS)( &ws_words, &ws_size, univ_laog, links->outs );
3605 links = NULL;
3812 // Remove lk information from laog links FM
3814 LAOGLinks *links;
3818 (UWord*)&linked_lk, (UWord*)&links, (UWord)lk)) {
3820 HG_(free) (links);