Lines Matching refs:bm2
41 static void bm2_print(const struct bitmap2* const bm2);
105 bm->cache[i].bm2 = 0; in DRD_()
153 struct bitmap2* bm2; in DRD_() local
162 bm2 = bm2_lookup_or_insert_exclusive(bm, address_msb(b)); in DRD_()
163 tl_assert(bm2); in DRD_()
165 if (make_address(bm2->addr, 0) < a1) in DRD_()
168 if (make_address(bm2->addr, 0) < a2) in DRD_()
169 b_start = make_address(bm2->addr, 0); in DRD_()
173 if (make_address(bm2->addr + 1, 0) < a2) in DRD_()
174 b_end = make_address(bm2->addr + 1, 0); in DRD_()
188 bm2->bm1.bm0_r[k] = ~(UWord)0; in DRD_()
195 bm0_set(bm2->bm1.bm0_r, b0); in DRD_()
250 struct bitmap2* bm2; in DRD_() local
259 bm2 = bm2_lookup_or_insert_exclusive(bm, address_msb(b)); in DRD_()
260 tl_assert(bm2); in DRD_()
262 if (make_address(bm2->addr, 0) < a1) in DRD_()
265 if (make_address(bm2->addr, 0) < a2) in DRD_()
266 b_start = make_address(bm2->addr, 0); in DRD_()
270 if (make_address(bm2->addr + 1, 0) < a2) in DRD_()
271 b_end = make_address(bm2->addr + 1, 0); in DRD_()
285 bm2->bm1.bm0_w[k] = ~(UWord)0; in DRD_()
292 bm0_set(bm2->bm1.bm0_w, b0); in DRD_()
345 struct bitmap2* bm2; in DRD_() local
350 for ( ; (bm2 = VG_(OSetGen_Next)(bm->oset)) != NULL; ) { in DRD_()
354 const struct bitmap1* const p1 = &bm2->bm1; in DRD_()
356 b_start = make_address(bm2->addr, 0); in DRD_()
357 b_end = make_address(bm2->addr + 1, 0); in DRD_()
375 const struct bitmap2* bm2 = bm2_lookup(bm, address_msb(b)); in DRD_() local
383 if (bm2) in DRD_()
388 const struct bitmap1* const p1 = &bm2->bm1; in DRD_()
390 if (make_address(bm2->addr, 0) < a1) in DRD_()
393 if (make_address(bm2->addr, 0) < a2) in DRD_()
394 b_start = make_address(bm2->addr, 0); in DRD_()
399 if (make_address(bm2->addr + 1, 0) < a2) in DRD_()
400 b_end = make_address(bm2->addr + 1, 0); in DRD_()
428 const struct bitmap2* bm2 = bm2_lookup(bm, address_msb(b)); in DRD_() local
436 if (bm2) in DRD_()
441 const struct bitmap1* const p1 = &bm2->bm1; in DRD_()
443 if (make_address(bm2->addr, 0) < a1) in DRD_()
446 if (make_address(bm2->addr, 0) < a2) in DRD_()
447 b_start = make_address(bm2->addr, 0); in DRD_()
452 if (make_address(bm2->addr + 1, 0) < a2) in DRD_()
453 b_end = make_address(bm2->addr + 1, 0); in DRD_()
483 const struct bitmap2* bm2 = bm2_lookup(bm, address_msb(b)); in DRD_() local
491 if (bm2) in DRD_()
496 const struct bitmap1* const p1 = &bm2->bm1; in DRD_()
498 if (make_address(bm2->addr, 0) < a1) in DRD_()
501 if (make_address(bm2->addr, 0) < a2) in DRD_()
502 b_start = make_address(bm2->addr, 0); in DRD_()
507 if (make_address(bm2->addr + 1, 0) < a2) in DRD_()
508 b_end = make_address(bm2->addr + 1, 0); in DRD_()
816 const struct bitmap2* bm2 = bm2_lookup(bm, address_msb(b)); in DRD_() local
824 if (bm2) in DRD_()
829 const struct bitmap1* const p1 = &bm2->bm1; in DRD_()
831 if (make_address(bm2->addr, 0) < a1) in DRD_()
834 if (make_address(bm2->addr, 0) < a2) in DRD_()
835 b_start = make_address(bm2->addr, 0); in DRD_()
840 if (make_address(bm2->addr + 1, 0) < a2) in DRD_()
841 b_end = make_address(bm2->addr + 1, 0); in DRD_()
1010 void DRD_(bm_swap)(struct bitmap* const bm1, struct bitmap* const bm2) in DRD_()
1013 bm1->oset = bm2->oset; in DRD_()
1014 bm2->oset = tmp; in DRD_()
1051 struct bitmap2* bm2; in DRD_() local
1054 (bm2 = VG_(OSetGen_Next)(bm->oset)) != 0; in DRD_()
1057 bm2->recalc = False; in DRD_()
1067 const struct bitmap2* bm2; in DRD_() local
1069 bm2 = bm2_lookup(bm, a); in DRD_()
1070 return bm2 && bm2->recalc; in DRD_()
1097 struct bitmap2* bm2; in DRD_() local
1100 (bm2 = VG_(OSetGen_Next)(bm->oset)) != 0; in DRD_()
1103 if (bm2->recalc) in DRD_()
1104 bm2_clear(bm2); in DRD_()
1138 struct bitmap2* bm2; in DRD_() local
1141 for ( ; (bm2 = VG_(OSetGen_Next)(bm->oset)) != 0; ) in DRD_()
1143 const UWord a1 = bm2->addr; in DRD_()
1144 if (bm2->recalc in DRD_()
1211 struct bitmap2* bm2; in DRD_() local
1214 (bm2 = VG_(OSetGen_Next)(bm->oset)) != 0; in DRD_()
1217 bm2_print(bm2); in DRD_()
1221 static void bm2_print(const struct bitmap2* const bm2) in bm2_print() argument
1226 tl_assert(bm2); in bm2_print()
1228 bm1 = &bm2->bm1; in bm2_print()
1229 for (a = make_address(bm2->addr, 0); in bm2_print()
1230 a <= make_address(bm2->addr + 1, 0) - 1; in bm2_print()