Lines Matching refs:bm2l

39 static void bm2_merge(struct bitmap2* const bm2l,
948 struct bitmap2* bm2l; in DRD_() local
958 for ( ; (bm2l = VG_(OSetGen_Next)(lhs->oset)) != 0; ) in DRD_()
960 while (bm2l in DRD_()
962 make_address(bm2l->addr, 0), in DRD_()
963 make_address(bm2l->addr + 1, 0))) in DRD_()
965 bm2l = VG_(OSetGen_Next)(lhs->oset); in DRD_()
967 if (bm2l == 0) in DRD_()
969 tl_assert(bm2l); in DRD_()
986 if (bm2l != bm2r in DRD_()
987 && (bm2l->addr != bm2r->addr in DRD_()
988 || VG_(memcmp)(&bm2l->bm1, &bm2r->bm1, sizeof(bm2l->bm1)) != 0)) in DRD_()
1020 struct bitmap2* bm2l; in DRD_() local
1035 bm2l = VG_(OSetGen_Lookup)(lhs->oset, &bm2r->addr); in DRD_()
1036 if (bm2l) in DRD_()
1038 tl_assert(bm2l != bm2r); in DRD_()
1039 bm2_merge(bm2l, bm2r); in DRD_()
1082 struct bitmap2* bm2l; in DRD_() local
1089 bm2l = bm2_lookup_or_insert(bml, bm2r->addr); in DRD_()
1090 bm2l->recalc = True; in DRD_()
1111 struct bitmap2* bm2l; in DRD_() local
1126 bm2l = VG_(OSetGen_Lookup)(lhs->oset, &bm2r->addr); in DRD_()
1127 if (bm2l && bm2l->recalc) in DRD_()
1129 tl_assert(bm2l != bm2r); in DRD_()
1130 bm2_merge(bm2l, bm2r); in DRD_()
1167 const struct bitmap2* bm2l; in DRD_() local
1173 bm2l = VG_(OSetGen_Next)(lhs->oset); in DRD_()
1175 while (bm2l && bm2r && bm2l->addr != bm2r->addr) in DRD_()
1177 if (bm2l->addr < bm2r->addr) in DRD_()
1178 bm2l = VG_(OSetGen_Next)(lhs->oset); in DRD_()
1182 if (bm2l == 0 || bm2r == 0) in DRD_()
1185 bm1l = &bm2l->bm1; in DRD_()
1198 Addr const a = make_address(bm2l->addr, k * BITS_PER_UWORD | b); in DRD_()
1262 void bm2_merge(struct bitmap2* const bm2l, const struct bitmap2* const bm2r) in bm2_merge() argument
1266 tl_assert(bm2l); in bm2_merge()
1268 tl_assert(bm2l->addr == bm2r->addr); in bm2_merge()
1274 bm2l->bm1.bm0_r[k] |= bm2r->bm1.bm0_r[k]; in bm2_merge()
1278 bm2l->bm1.bm0_w[k] |= bm2r->bm1.bm0_w[k]; in bm2_merge()