Lines Matching full:bm2r
43 const struct bitmap2* const bm2r);
914 struct bitmap2* bm2r;
938 bm2r = VG_(OSetGen_Next)(rhs->oset);
939 if (bm2r == 0)
943 make_address(bm2r->addr, 0),
944 make_address(bm2r->addr + 1, 0)));
946 tl_assert(bm2r);
948 make_address(bm2r->addr, 0),
949 make_address(bm2r->addr + 1, 0)));
951 if (bm2l != bm2r
952 && (bm2l->addr != bm2r->addr
953 || VG_(memcmp)(&bm2l->bm1, &bm2r->bm1, sizeof(bm2l->bm1)) != 0))
961 bm2r = VG_(OSetGen_Next)(rhs->oset);
962 } while (bm2r && ! DRD_(bm_has_any_access)(rhs,
963 make_address(bm2r->addr, 0),
964 make_address(bm2r->addr + 1, 0)));
965 if (bm2r)
968 make_address(bm2r->addr, 0),
969 make_address(bm2r->addr + 1, 0)));
986 struct bitmap2* bm2r;
998 for ( ; (bm2r = VG_(OSetGen_Next)(rhs->oset)) != 0; )
1000 bm2l = VG_(OSetGen_Lookup)(lhs->oset, &bm2r->addr);
1003 tl_assert(bm2l != bm2r);
1004 bm2_merge(bm2l, bm2r);
1008 bm2_insert_copy(lhs, bm2r);
1048 struct bitmap2* bm2r;
1051 (bm2r = VG_(OSetGen_Next)(bmr->oset)) != 0;
1054 /*if (DRD_(bm_has_any_access(bmr, make_address(bm2r->addr, 0),
1055 make_address(bm2r->addr + 1, 0))))*/
1057 bm2l = bm2_lookup_or_insert(bml, bm2r->addr);
1081 struct bitmap2* bm2r;
1095 for ( ; (bm2r = VG_(OSetGen_Next)(rhs->oset)) != 0; )
1097 bm2l = VG_(OSetGen_Lookup)(lhs->oset, &bm2r->addr);
1100 tl_assert(bm2l != bm2r);
1101 bm2_merge(bm2l, bm2r);
1139 const struct bitmap2* bm2r;
1145 bm2r = VG_(OSetGen_Next)(rhs->oset);
1146 while (bm2l && bm2r && bm2l->addr != bm2r->addr)
1148 if (bm2l->addr < bm2r->addr)
1151 bm2r = VG_(OSetGen_Next)(rhs->oset);
1153 if (bm2l == 0 || bm2r == 0)
1157 bm1r = &bm2r->bm1;
1231 /** Compute *bm2l |= *bm2r. */
1233 void bm2_merge(struct bitmap2* const bm2l, const struct bitmap2* const bm2r)
1238 tl_assert(bm2r);
1239 tl_assert(bm2l->addr == bm2r->addr);
1245 bm2l->bm1.bm0_r[k] |= bm2r->bm1.bm0_r[k];
1249 bm2l->bm1.bm0_w[k] |= bm2r->bm1.bm0_w[k];
