Lines Matching refs:bm2

44 static void bm2_print(const struct bitmap2* const bm2);
92 bm->cache[i].bm2 = 0;
141 struct bitmap2* bm2;
150 bm2 = bm2_lookup_or_insert_exclusive(bm, address_msb(b));
151 tl_assert(bm2);
153 if (make_address(bm2->addr, 0) < a1)
156 if (make_address(bm2->addr, 0) < a2)
157 b_start = make_address(bm2->addr, 0);
161 if (make_address(bm2->addr + 1, 0) < a2)
162 b_end = make_address(bm2->addr + 1, 0);
176 bm2->bm1.bm0_r[k] = ~(UWord)0;
183 bm0_set(bm2->bm1.bm0_r, b0);
238 struct bitmap2* bm2;
247 bm2 = bm2_lookup_or_insert_exclusive(bm, address_msb(b));
248 tl_assert(bm2);
250 if (make_address(bm2->addr, 0) < a1)
253 if (make_address(bm2->addr, 0) < a2)
254 b_start = make_address(bm2->addr, 0);
258 if (make_address(bm2->addr + 1, 0) < a2)
259 b_end = make_address(bm2->addr + 1, 0);
273 bm2->bm1.bm0_w[k] = ~(UWord)0;
280 bm0_set(bm2->bm1.bm0_w, b0);
340 const struct bitmap2* bm2 = bm2_lookup(bm, address_msb(b));
348 if (bm2)
353 const struct bitmap1* const p1 = &bm2->bm1;
355 if (make_address(bm2->addr, 0) < a1)
358 if (make_address(bm2->addr, 0) < a2)
359 b_start = make_address(bm2->addr, 0);
364 if (make_address(bm2->addr + 1, 0) < a2)
365 b_end = make_address(bm2->addr + 1, 0);
393 const struct bitmap2* bm2 = bm2_lookup(bm, address_msb(b));
401 if (bm2)
406 const struct bitmap1* const p1 = &bm2->bm1;
408 if (make_address(bm2->addr, 0) < a1)
411 if (make_address(bm2->addr, 0) < a2)
412 b_start = make_address(bm2->addr, 0);
417 if (make_address(bm2->addr + 1, 0) < a2)
418 b_end = make_address(bm2->addr + 1, 0);
448 const struct bitmap2* bm2 = bm2_lookup(bm, address_msb(b));
456 if (bm2)
461 const struct bitmap1* const p1 = &bm2->bm1;
463 if (make_address(bm2->addr, 0) < a1)
466 if (make_address(bm2->addr, 0) < a2)
467 b_start = make_address(bm2->addr, 0);
472 if (make_address(bm2->addr + 1, 0) < a2)
473 b_end = make_address(bm2->addr + 1, 0);
781 const struct bitmap2* bm2 = bm2_lookup(bm, address_msb(b));
789 if (bm2)
794 const struct bitmap1* const p1 = &bm2->bm1;
796 if (make_address(bm2->addr, 0) < a1)
799 if (make_address(bm2->addr, 0) < a2)
800 b_start = make_address(bm2->addr, 0);
805 if (make_address(bm2->addr + 1, 0) < a2)
806 b_end = make_address(bm2->addr + 1, 0);
975 void DRD_(bm_swap)(struct bitmap* const bm1, struct bitmap* const bm2)
978 bm1->oset = bm2->oset;
979 bm2->oset = tmp;
1016 struct bitmap2* bm2;
1019 (bm2 = VG_(OSetGen_Next)(bm->oset)) != 0;
1022 bm2->recalc = False;
1032 const struct bitmap2* bm2;
1034 bm2 = bm2_lookup(bm, a);
1035 return bm2 && bm2->recalc;
1062 struct bitmap2* bm2;
1065 (bm2 = VG_(OSetGen_Next)(bm->oset)) != 0;
1068 if (bm2->recalc)
1069 bm2_clear(bm2);
1103 struct bitmap2* bm2;
1106 for ( ; (bm2 = VG_(OSetGen_Next)(bm->oset)) != 0; )
1108 const UWord a1 = bm2->addr;
1109 if (bm2->recalc
1176 struct bitmap2* bm2;
1179 (bm2 = VG_(OSetGen_Next)(bm->oset)) != 0;
1182 bm2_print(bm2);
1186 static void bm2_print(const struct bitmap2* const bm2)
1191 tl_assert(bm2);
1193 bm1 = &bm2->bm1;
1194 for (a = make_address(bm2->addr, 0);
1195 a <= make_address(bm2->addr + 1, 0) - 1;