• Home
  • Raw
  • Download

Lines Matching refs:bm2r

43                       const struct bitmap2* const bm2r);
914 struct bitmap2* bm2r; in DRD_() local
938 bm2r = VG_(OSetGen_Next)(rhs->oset); in DRD_()
939 if (bm2r == 0) in DRD_()
943 make_address(bm2r->addr, 0), in DRD_()
944 make_address(bm2r->addr + 1, 0))); in DRD_()
946 tl_assert(bm2r); in DRD_()
948 make_address(bm2r->addr, 0), in DRD_()
949 make_address(bm2r->addr + 1, 0))); in DRD_()
951 if (bm2l != bm2r in DRD_()
952 && (bm2l->addr != bm2r->addr in DRD_()
953 || VG_(memcmp)(&bm2l->bm1, &bm2r->bm1, sizeof(bm2l->bm1)) != 0)) in DRD_()
961 bm2r = VG_(OSetGen_Next)(rhs->oset); in DRD_()
962 } while (bm2r && ! DRD_(bm_has_any_access)(rhs, in DRD_()
963 make_address(bm2r->addr, 0), in DRD_()
964 make_address(bm2r->addr + 1, 0))); in DRD_()
965 if (bm2r) in DRD_()
968 make_address(bm2r->addr, 0), in DRD_()
969 make_address(bm2r->addr + 1, 0))); in DRD_()
986 struct bitmap2* bm2r; in DRD_() local
998 for ( ; (bm2r = VG_(OSetGen_Next)(rhs->oset)) != 0; ) in DRD_()
1000 bm2l = VG_(OSetGen_Lookup)(lhs->oset, &bm2r->addr); in DRD_()
1003 tl_assert(bm2l != bm2r); in DRD_()
1004 bm2_merge(bm2l, bm2r); in DRD_()
1008 bm2_insert_copy(lhs, bm2r); in DRD_()
1048 struct bitmap2* bm2r; in DRD_() local
1051 (bm2r = VG_(OSetGen_Next)(bmr->oset)) != 0; in DRD_()
1054 bm2l = bm2_lookup_or_insert(bml, bm2r->addr); in DRD_()
1077 struct bitmap2* bm2r; in DRD_() local
1089 for ( ; (bm2r = VG_(OSetGen_Next)(rhs->oset)) != 0; ) in DRD_()
1091 bm2l = VG_(OSetGen_Lookup)(lhs->oset, &bm2r->addr); in DRD_()
1094 tl_assert(bm2l != bm2r); in DRD_()
1095 bm2_merge(bm2l, bm2r); in DRD_()
1133 const struct bitmap2* bm2r; in DRD_() local
1139 bm2r = VG_(OSetGen_Next)(rhs->oset); in DRD_()
1140 while (bm2l && bm2r && bm2l->addr != bm2r->addr) in DRD_()
1142 if (bm2l->addr < bm2r->addr) in DRD_()
1145 bm2r = VG_(OSetGen_Next)(rhs->oset); in DRD_()
1147 if (bm2l == 0 || bm2r == 0) in DRD_()
1151 bm1r = &bm2r->bm1; in DRD_()
1227 void bm2_merge(struct bitmap2* const bm2l, const struct bitmap2* const bm2r) in bm2_merge() argument
1232 tl_assert(bm2r); in bm2_merge()
1233 tl_assert(bm2l->addr == bm2r->addr); in bm2_merge()
1239 bm2l->bm1.bm0_r[k] |= bm2r->bm1.bm0_r[k]; in bm2_merge()
1243 bm2l->bm1.bm0_w[k] |= bm2r->bm1.bm0_w[k]; in bm2_merge()