Lines Matching defs:links
3409 LAOGLinks* links;
3413 links = NULL;
3415 (UWord*)&links )) {
3417 tl_assert(links);
3419 HG_(getPayloadWS)( &ws_words, &ws_size, univ_laog, links->inns );
3422 HG_(getPayloadWS)( &ws_words, &ws_size, univ_laog, links->outs );
3426 links = NULL;
3434 LAOGLinks* links;
3445 links = NULL;
3446 while (VG_(nextIterFM)( laog, NULL, (UWord*)&links )) {
3447 tl_assert(links);
3448 tl_assert(links->inns >= 0 && links->inns < univ_laog_cardinality);
3449 univ_laog_seen[links->inns] = True;
3450 tl_assert(links->outs >= 0 && links->outs < univ_laog_cardinality);
3451 univ_laog_seen[links->outs] = True;
3452 links = NULL;
3509 LAOGLinks* links;
3515 forwards links, and presentR if there is already a src->dst
3516 mapping in this node's backwards links. They should agree!
3525 links = NULL;
3526 if (VG_(lookupFM)( laog, &keyW, (UWord*)&links, (UWord)src )) {
3528 tl_assert(links);
3530 outs_new = HG_(addToWS)( univ_laog, links->outs, (UWord)dst );
3531 presentF = outs_new == links->outs;
3532 links->outs = outs_new;
3534 links = HG_(zalloc)("hg.lae.1", sizeof(LAOGLinks));
3535 links->inns = HG_(emptyWS)( univ_laog );
3536 links->outs = HG_(singletonWS)( univ_laog, (UWord)dst );
3537 VG_(addToFM)( laog, (UWord)src, (UWord)links );
3541 links = NULL;
3542 if (VG_(lookupFM)( laog, &keyW, (UWord*)&links, (UWord)dst )) {
3544 tl_assert(links);
3546 inns_new = HG_(addToWS)( univ_laog, links->inns, (UWord)src );
3547 presentR = inns_new == links->inns;
3548 links->inns = inns_new;
3550 links = HG_(zalloc)("hg.lae.2", sizeof(LAOGLinks));
3551 links->inns = HG_(singletonWS)( univ_laog, (UWord)src );
3552 links->outs = HG_(emptyWS)( univ_laog );
3553 VG_(addToFM)( laog, (UWord)dst, (UWord)links );
3592 LAOGLinks* links;
3596 links = NULL;
3597 if (VG_(lookupFM)( laog, &keyW, (UWord*)&links, (UWord)src )) {
3598 tl_assert(links);
3600 links->outs = HG_(delFromWS)( univ_laog, links->outs, (UWord)dst );
3604 links = NULL;
3605 if (VG_(lookupFM)( laog, &keyW, (UWord*)&links, (UWord)dst )) {
3606 tl_assert(links);
3608 links->inns = HG_(delFromWS)( univ_laog, links->inns, (UWord)src );
3636 LAOGLinks* links;
3638 links = NULL;
3639 if (VG_(lookupFM)( laog, &keyW, (UWord*)&links, (UWord)lk )) {
3640 tl_assert(links);
3642 return links->outs;
3651 LAOGLinks* links;
3653 links = NULL;
3654 if (VG_(lookupFM)( laog, &keyW, (UWord*)&links, (UWord)lk )) {
3655 tl_assert(links);
3657 return links->inns;
3668 LAOGLinks* links;
3671 links = NULL;
3674 (UWord*)&links )) {
3676 tl_assert(links);
3677 HG_(getPayloadWS)( &ws_words, &ws_size, univ_laog, links->inns );
3684 HG_(getPayloadWS)( &ws_words, &ws_size, univ_laog, links->outs );
3692 links = NULL;
3944 // Remove lk information from laog links FM
3946 LAOGLinks *links;
3950 (UWord*)&linked_lk, (UWord*)&links, (UWord)lk)) {
3952 HG_(free) (links);
