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