Lines Matching defs:bm2
43 static void bm2_print(const struct bitmap2* const bm2);
107 bm->cache[i].bm2 = 0;
155 struct bitmap2* bm2;
164 bm2 = bm2_lookup_or_insert_exclusive(bm, address_msb(b));
165 tl_assert(bm2);
167 if (make_address(bm2->addr, 0) < a1)
170 if (make_address(bm2->addr, 0) < a2)
171 b_start = make_address(bm2->addr, 0);
175 if (make_address(bm2->addr + 1, 0) < a2)
176 b_end = make_address(bm2->addr + 1, 0);
190 bm2->bm1.bm0_r[k] = ~(UWord)0;
197 bm0_set(bm2->bm1.bm0_r, b0);
252 struct bitmap2* bm2;
261 bm2 = bm2_lookup_or_insert_exclusive(bm, address_msb(b));
262 tl_assert(bm2);
264 if (make_address(bm2->addr, 0) < a1)
267 if (make_address(bm2->addr, 0) < a2)
268 b_start = make_address(bm2->addr, 0);
272 if (make_address(bm2->addr + 1, 0) < a2)
273 b_end = make_address(bm2->addr + 1, 0);
287 bm2->bm1.bm0_w[k] = ~(UWord)0;
294 bm0_set(bm2->bm1.bm0_w, b0);
347 struct bitmap2* bm2;
352 for ( ; (bm2 = VG_(OSetGen_Next)(bm->oset)) != NULL; ) {
356 const struct bitmap1* const p1 = &bm2->bm1;
358 b_start = make_address(bm2->addr, 0);
359 b_end = make_address(bm2->addr + 1, 0);
377 const struct bitmap2* bm2 = bm2_lookup(bm, address_msb(b));
385 if (bm2)
390 const struct bitmap1* const p1 = &bm2->bm1;
392 if (make_address(bm2->addr, 0) < a1)
395 if (make_address(bm2->addr, 0) < a2)
396 b_start = make_address(bm2->addr, 0);
401 if (make_address(bm2->addr + 1, 0) < a2)
402 b_end = make_address(bm2->addr + 1, 0);
430 const struct bitmap2* bm2 = bm2_lookup(bm, address_msb(b));
438 if (bm2)
443 const struct bitmap1* const p1 = &bm2->bm1;
445 if (make_address(bm2->addr, 0) < a1)
448 if (make_address(bm2->addr, 0) < a2)
449 b_start = make_address(bm2->addr, 0);
454 if (make_address(bm2->addr + 1, 0) < a2)
455 b_end = make_address(bm2->addr + 1, 0);
485 const struct bitmap2* bm2 = bm2_lookup(bm, address_msb(b));
493 if (bm2)
498 const struct bitmap1* const p1 = &bm2->bm1;
500 if (make_address(bm2->addr, 0) < a1)
503 if (make_address(bm2->addr, 0) < a2)
504 b_start = make_address(bm2->addr, 0);
509 if (make_address(bm2->addr + 1, 0) < a2)
510 b_end = make_address(bm2->addr + 1, 0);
818 const struct bitmap2* bm2 = bm2_lookup(bm, address_msb(b));
826 if (bm2)
831 const struct bitmap1* const p1 = &bm2->bm1;
833 if (make_address(bm2->addr, 0) < a1)
836 if (make_address(bm2->addr, 0) < a2)
837 b_start = make_address(bm2->addr, 0);
842 if (make_address(bm2->addr + 1, 0) < a2)
843 b_end = make_address(bm2->addr + 1, 0);
1012 void DRD_(bm_swap)(struct bitmap* const bm1, struct bitmap* const bm2)
1015 bm1->oset = bm2->oset;
1016 bm2->oset = tmp;
1053 struct bitmap2* bm2;
1056 (bm2 = VG_(OSetGen_Next)(bm->oset)) != 0;
1059 bm2->recalc = False;
1069 const struct bitmap2* bm2;
1071 bm2 = bm2_lookup(bm, a);
1072 return bm2 && bm2->recalc;
1099 struct bitmap2* bm2;
1102 (bm2 = VG_(OSetGen_Next)(bm->oset)) != 0;
1105 if (bm2->recalc)
1106 bm2_clear(bm2);
1140 struct bitmap2* bm2;
1143 for ( ; (bm2 = VG_(OSetGen_Next)(bm->oset)) != 0; )
1145 const UWord a1 = bm2->addr;
1146 if (bm2->recalc
1213 struct bitmap2* bm2;
1216 (bm2 = VG_(OSetGen_Next)(bm->oset)) != 0;
1219 bm2_print(bm2);
1223 static void bm2_print(const struct bitmap2* const bm2)
1228 tl_assert(bm2);
1230 bm1 = &bm2->bm1;
1231 for (a = make_address(bm2->addr, 0);
1232 a <= make_address(bm2->addr + 1, 0) - 1;
