Lines Matching refs:Addr
30 #include "pub_tool_basics.h" /* Addr, SizeT */
130 const Addr a1, const Addr a2,
141 void DRD_(bm_access_range_load)(struct bitmap* const bm, Addr a1, Addr a2)
143 Addr b, b_next;
153 Addr b_start;
154 Addr b_end;
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);
203 void DRD_(bm_access_load_1)(struct bitmap* const bm, const Addr a1)
208 void DRD_(bm_access_load_2)(struct bitmap* const bm, const Addr a1)
216 void DRD_(bm_access_load_4)(struct bitmap* const bm, const Addr a1)
224 void DRD_(bm_access_load_8)(struct bitmap* const bm, const Addr a1)
238 const Addr a1, const Addr a2)
240 Addr b, b_next;
250 Addr b_start;
251 Addr b_end;
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);
300 void DRD_(bm_access_store_1)(struct bitmap* const bm, const Addr a1)
305 void DRD_(bm_access_store_2)(struct bitmap* const bm, const Addr a1)
313 void DRD_(bm_access_store_4)(struct bitmap* const bm, const Addr a1)
321 void DRD_(bm_access_store_8)(struct bitmap* const bm, const Addr a1)
334 Bool DRD_(bm_has)(struct bitmap* const bm, const Addr a1, const Addr a2,
353 Addr b_start;
354 Addr b_end;
358 b_start = make_address(bm2->addr, 0);
359 b_end = make_address(bm2->addr + 1, 0);
369 DRD_(bm_has_any_load)(struct bitmap* const bm, const Addr a1, const Addr a2)
371 Addr b, b_next;
387 Addr b_start;
388 Addr b_end;
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);
422 const Addr a1, const Addr a2)
424 Addr b, b_next;
440 Addr b_start;
441 Addr b_end;
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);
477 const Addr a1, const Addr a2)
479 Addr b, b_next;
495 Addr b_start;
496 Addr b_end;
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);
538 const Addr a, const BmAccessTypeT access_type)
557 void DRD_(bm_clear)(struct bitmap* const bm, Addr a1, Addr a2)
559 Addr b, b_next;
570 Addr c;
592 Addr c_next = first_address_with_higher_uword_msb(c);
606 Addr c_next = first_address_with_same_uword_lsb(b_next);
634 void DRD_(bm_clear_load)(struct bitmap* const bm, Addr a1, Addr a2)
636 Addr b, b_next;
647 Addr c;
672 Addr c_next = first_address_with_higher_uword_msb(c);
688 Addr c_next = first_address_with_same_uword_lsb(b_next);
716 const Addr a1, const Addr a2)
718 Addr b, b_next;
729 Addr c;
754 Addr c_next = first_address_with_higher_uword_msb(c);
770 Addr c_next = first_address_with_same_uword_lsb(b_next);
799 const Addr a1, const Addr a2)
809 const Addr a1, const Addr a2,
812 Addr b, b_next;
828 Addr b_start;
829 Addr b_end;
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);
875 const Addr a1, const Addr a2)
880 Bool DRD_(bm_load_1_has_conflict_with)(struct bitmap* const bm, const Addr a1)
885 Bool DRD_(bm_load_2_has_conflict_with)(struct bitmap* const bm, const Addr a1)
893 Bool DRD_(bm_load_4_has_conflict_with)(struct bitmap* const bm, const Addr a1)
901 Bool DRD_(bm_load_8_has_conflict_with)(struct bitmap* const bm, const Addr a1)
909 Bool DRD_(bm_store_1_has_conflict_with)(struct bitmap* const bm, const Addr a1)
914 Bool DRD_(bm_store_2_has_conflict_with)(struct bitmap* const bm, const Addr a1)
922 Bool DRD_(bm_store_4_has_conflict_with)(struct bitmap* const bm, const Addr a1)
930 Bool DRD_(bm_store_8_has_conflict_with)(struct bitmap* const bm, const Addr a1)
939 const Addr a1, const Addr a2)
964 make_address(bm2l->addr, 0),
965 make_address(bm2l->addr + 1, 0)))
980 make_address(bm2r->addr, 0),
981 make_address(bm2r->addr + 1, 0)));
985 make_address(bm2r->addr, 0),
986 make_address(bm2r->addr + 1, 0)));
989 && (bm2l->addr != bm2r->addr
1000 make_address(bm2r->addr, 0),
1001 make_address(bm2r->addr + 1, 0)));
1005 make_address(bm2r->addr, 0),
1006 make_address(bm2r->addr + 1, 0)));
1037 bm2l = VG_(OSetGen_Lookup)(lhs->oset, &bm2r->addr);
1067 Bool DRD_(bm_is_marked)(struct bitmap* bm, const Addr a)
1091 bm2l = bm2_lookup_or_insert(bml, bm2r->addr);
1128 bm2l = VG_(OSetGen_Lookup)(lhs->oset, &bm2r->addr);
1145 const UWord a1 = bm2->addr;
1177 while (bm2l && bm2r && bm2l->addr != bm2r->addr)
1179 if (bm2l->addr < bm2r->addr)
1200 Addr const a = make_address(bm2l->addr, k * BITS_PER_UWORD | b);
1226 Addr a;
1231 for (a = make_address(bm2->addr, 0);
1232 a <= make_address(bm2->addr + 1, 0) - 1;
1270 tl_assert(bm2l->addr == bm2r->addr);
