Home | History | Annotate | Download | only in drd

Lines Matching defs:bm1

190             bm2->bm1.bm0_r[k] = ~(UWord)0;
197 bm0_set(bm2->bm1.bm0_r, b0);
287 bm2->bm1.bm0_w[k] = ~(UWord)0;
294 bm0_set(bm2->bm1.bm0_w, b0);
356 const struct bitmap1* const p1 = &bm2->bm1;
390 const struct bitmap1* const p1 = &bm2->bm1;
443 const struct bitmap1* const p1 = &bm2->bm1;
498 const struct bitmap1* const p1 = &bm2->bm1;
550 p1 = &p2->bm1;
599 bm0_clear_range(p2->bm1.bm0_r, address_lsb(c), SCALED_SIZE(c_next - c));
600 bm0_clear_range(p2->bm1.bm0_w, address_lsb(c), SCALED_SIZE(c_next - c));
615 VG_(memset)(&p2->bm1
616 VG_(memset)(&p2->bm1.bm0_w[idx], 0, SCALED_SIZE((c_next - c) / 8));
625 bm0_clear_range(p2->bm1.bm0_r, address_lsb(c), SCALED_SIZE(b_next - c));
626 bm0_clear_range(p2->bm1.bm0_w, address_lsb(c), SCALED_SIZE(b_next - c));
679 bm0_clear_range(p2->bm1.bm0_r, address_lsb(c), SCALED_SIZE(c_next - c));
698 VG_(memset)(&p2->bm1.bm0_r[idx], 0, SCALED_SIZE((c_next - c) / 8));
707 bm0_clear_range(p2->bm1.bm0_r, address_lsb(c), SCALED_SIZE(b_next - c));
761 bm0_clear_range(p2->bm1.bm0_w, address_lsb(c), SCALED_SIZE(c_next - c));
780 VG_(memset)(&p2->bm1.bm0_w[idx], 0, SCALED_SIZE((c_next - c) / 8));
789 bm0_clear_range(p2->bm1.bm0_w, address_lsb(c), SCALED_SIZE(b_next - c));
831 const struct bitmap1* const p1 = &bm2->bm1;
990 || VG_(memcmp)(&bm2l->bm1, &bm2r->bm1, sizeof(bm2l->bm1)) != 0))
1012 void DRD_(bm_swap)(struct bitmap* const bm1, struct bitmap* const bm2)
1014 OSet* const tmp = bm1->oset;
1015 bm1->oset = bm2->oset;
1187 bm1l = &bm2l->bm1;
1188 bm1r = &bm2r->bm1;
1225 const struct bitmap1* bm1;
1230 bm1 = &bm2->bm1;
1235 const Bool r = bm0_is_set(bm1->bm0_r, address_lsb(a)) != 0;
1236 const Bool w = bm0_is_set(bm1->bm0_w, address_lsb(a)) != 0;
1276 bm2l->bm1.bm0_r[k] |= bm2r->bm1.bm0_r[k];
1280 bm2l->bm1.bm0_w[k] |= bm2r->bm1.bm0_w[k];