Lines Matching refs:a1
106 bm->cache[i].a1 = ~(UWord)1; in DRD_()
130 const Addr a1, const Addr a2, in DRD_()
136 return DRD_(bm_access_range_load)(bm, a1, a2); in DRD_()
138 return DRD_(bm_access_range_store)(bm, a1, a2); in DRD_()
141 void DRD_(bm_access_range_load)(struct bitmap* const bm, Addr a1, Addr a2) in DRD_()
146 tl_assert(a1 <= a2); in DRD_()
148 tl_assert(a1 == first_address_with_same_lsb(a1)); in DRD_()
151 for (b = a1; b < a2; b = b_next) in DRD_()
167 if (make_address(bm2->addr, 0) < a1) in DRD_()
168 b_start = a1; in DRD_()
180 tl_assert(a1 <= b_start && b_start < b_end && b_end && b_end <= a2); in DRD_()
203 void DRD_(bm_access_load_1)(struct bitmap* const bm, const Addr a1) in DRD_()
205 bm_access_aligned_load(bm, a1, 1); in DRD_()
208 void DRD_(bm_access_load_2)(struct bitmap* const bm, const Addr a1) in DRD_()
210 if ((a1 & 1) == 0) in DRD_()
211 bm_access_aligned_load(bm, a1, 2); in DRD_()
213 DRD_(bm_access_range)(bm, a1, a1 + 2, eLoad); in DRD_()
216 void DRD_(bm_access_load_4)(struct bitmap* const bm, const Addr a1) in DRD_()
218 if ((a1 & 3) == 0) in DRD_()
219 bm_access_aligned_load(bm, a1, 4); in DRD_()
221 DRD_(bm_access_range)(bm, a1, a1 + 4, eLoad); in DRD_()
224 void DRD_(bm_access_load_8)(struct bitmap* const bm, const Addr a1) in DRD_()
226 if ((a1 & 7) == 0) in DRD_()
227 bm_access_aligned_load(bm, a1, 8); in DRD_()
228 else if ((a1 & 3) == 0) in DRD_()
230 bm_access_aligned_load(bm, a1 + 0, 4); in DRD_()
231 bm_access_aligned_load(bm, a1 + 4, 4); in DRD_()
234 DRD_(bm_access_range)(bm, a1, a1 + 8, eLoad); in DRD_()
238 const Addr a1, const Addr a2) in DRD_()
243 tl_assert(a1 <= a2); in DRD_()
245 tl_assert(a1 == first_address_with_same_lsb(a1)); in DRD_()
248 for (b = a1; b < a2; b = b_next) in DRD_()
264 if (make_address(bm2->addr, 0) < a1) in DRD_()
265 b_start = a1; in DRD_()
277 tl_assert(a1 <= b_start && b_start < b_end && b_end && b_end <= a2); in DRD_()
300 void DRD_(bm_access_store_1)(struct bitmap* const bm, const Addr a1) in DRD_()
302 bm_access_aligned_store(bm, a1, 1); in DRD_()
305 void DRD_(bm_access_store_2)(struct bitmap* const bm, const Addr a1) in DRD_()
307 if ((a1 & 1) == 0) in DRD_()
308 bm_access_aligned_store(bm, a1, 2); in DRD_()
310 DRD_(bm_access_range)(bm, a1, a1 + 2, eStore); in DRD_()
313 void DRD_(bm_access_store_4)(struct bitmap* const bm, const Addr a1) in DRD_()
315 if ((a1 & 3) == 0) in DRD_()
316 bm_access_aligned_store(bm, a1, 4); in DRD_()
318 DRD_(bm_access_range)(bm, a1, a1 + 4, eStore); in DRD_()
321 void DRD_(bm_access_store_8)(struct bitmap* const bm, const Addr a1) in DRD_()
323 if ((a1 & 7) == 0) in DRD_()
324 bm_access_aligned_store(bm, a1, 8); in DRD_()
325 else if ((a1 & 3) == 0) in DRD_()
327 bm_access_aligned_store(bm, a1 + 0, 4); in DRD_()
328 bm_access_aligned_store(bm, a1 + 4, 4); in DRD_()
331 DRD_(bm_access_range)(bm, a1, a1 + 8, eStore); in DRD_()
334 Bool DRD_(bm_has)(struct bitmap* const bm, const Addr a1, const Addr a2, in DRD_()
340 return DRD_(bm_has_any_load)(bm, a1, a2); in DRD_()
342 return DRD_(bm_has_any_store)(bm, a1, a2); in DRD_()
369 DRD_(bm_has_any_load)(struct bitmap* const bm, const Addr a1, const Addr a2) in DRD_()
375 for (b = a1; b < a2; b = b_next) in DRD_()
392 if (make_address(bm2->addr, 0) < a1) in DRD_()
393 b_start = a1; in DRD_()
399 tl_assert(a1 <= b_start && b_start <= a2); in DRD_()
405 tl_assert(a1 <= b_end && b_end <= a2); in DRD_()
422 const Addr a1, const Addr a2) in DRD_()
428 for (b = a1; b < a2; b = b_next) in DRD_()
445 if (make_address(bm2->addr, 0) < a1) in DRD_()
446 b_start = a1; in DRD_()
452 tl_assert(a1 <= b_start && b_start <= a2); in DRD_()
458 tl_assert(a1 <= b_end && b_end <= a2); in DRD_()
477 const Addr a1, const Addr a2) in DRD_()
483 for (b = a1; b < a2; b = b_next) in DRD_()
500 if (make_address(bm2->addr, 0) < a1) in DRD_()
501 b_start = a1; in DRD_()
507 tl_assert(a1 <= b_start && b_start <= a2); in DRD_()
513 tl_assert(a1 <= b_end && b_end <= a2); in DRD_()
557 void DRD_(bm_clear)(struct bitmap* const bm, Addr a1, Addr a2) in DRD_()
562 tl_assert(a1); in DRD_()
563 tl_assert(a1 <= a2); in DRD_()
564 tl_assert(a1 == first_address_with_same_lsb(a1)); in DRD_()
567 for (b = a1; b < a2; b = b_next) in DRD_()
573 tl_assert(a1 <= b && b < a2); in DRD_()
596 tl_assert(a1 <= b && b <= c && c <= c_next && c_next <= b_next in DRD_()
623 tl_assert(a1 <= b && b <= c && c <= b_next && b_next <= a2); in DRD_()
634 void DRD_(bm_clear_load)(struct bitmap* const bm, Addr a1, Addr a2) in DRD_()
639 tl_assert(a1); in DRD_()
640 tl_assert(a1 <= a2); in DRD_()
641 tl_assert(a1 == first_address_with_same_lsb(a1)); in DRD_()
644 for (b = a1; b < a2; b = b_next) in DRD_()
650 tl_assert(a1 <= b && b < a2); in DRD_()
668 tl_assert(a1 <= b && b <= c && c < b_next && b_next <= a2); in DRD_()
676 tl_assert(a1 <= b && b <= c && c < c_next && c_next <= b_next in DRD_()
684 tl_assert(a1 <= b && b <= c && c <= b_next && b_next <= a2); in DRD_()
692 tl_assert(a1 <= b && b <= c && c <= c_next && c_next <= b_next in DRD_()
705 tl_assert(a1 <= b && b <= c && c <= b_next && b_next <= a2); in DRD_()
716 const Addr a1, const Addr a2) in DRD_()
721 tl_assert(a1); in DRD_()
722 tl_assert(a1 <= a2); in DRD_()
723 tl_assert(a1 == first_address_with_same_lsb(a1)); in DRD_()
726 for (b = a1; b < a2; b = b_next) in DRD_()
732 tl_assert(a1 <= b && b < a2); in DRD_()
750 tl_assert(a1 <= b && b <= c && c < b_next && b_next <= a2); in DRD_()
758 tl_assert(a1 <= b && b <= c && c < c_next && c_next <= b_next in DRD_()
766 tl_assert(a1 <= b && b <= c && c <= b_next && b_next <= a2); in DRD_()
774 tl_assert(a1 <= b && b <= c && c <= c_next && c_next <= b_next in DRD_()
787 tl_assert(a1 <= b && b <= c && c <= b_next && b_next <= a2); in DRD_()
799 const Addr a1, const Addr a2) in DRD_()
803 result = DRD_(bm_has_any_access)(bm, a1, a2) != 0; in DRD_()
804 DRD_(bm_clear)(bm, a1, a2); in DRD_()
809 const Addr a1, const Addr a2, in DRD_()
816 for (b = a1; b < a2; b = b_next) in DRD_()
833 if (make_address(bm2->addr, 0) < a1) in DRD_()
834 b_start = a1; in DRD_()
840 tl_assert(a1 <= b_start && b_start <= a2); in DRD_()
846 tl_assert(a1 <= b_end && b_end <= a2); in DRD_()
875 const Addr a1, const Addr a2) in DRD_()
877 return DRD_(bm_has_conflict_with)(bm, a1, a2, eLoad); in DRD_()
880 Bool DRD_(bm_load_1_has_conflict_with)(struct bitmap* const bm, const Addr a1) in DRD_()
882 return bm_aligned_load_has_conflict_with(bm, a1, 1); in DRD_()
885 Bool DRD_(bm_load_2_has_conflict_with)(struct bitmap* const bm, const Addr a1) in DRD_()
887 if ((a1 & 1) == 0) in DRD_()
888 return bm_aligned_load_has_conflict_with(bm, a1, 2); in DRD_()
890 return DRD_(bm_has_conflict_with)(bm, a1, a1 + 2, eLoad); in DRD_()
893 Bool DRD_(bm_load_4_has_conflict_with)(struct bitmap* const bm, const Addr a1) in DRD_()
895 if ((a1 & 3) == 0) in DRD_()
896 return bm_aligned_load_has_conflict_with(bm, a1, 4); in DRD_()
898 return DRD_(bm_has_conflict_with)(bm, a1, a1 + 4, eLoad); in DRD_()
901 Bool DRD_(bm_load_8_has_conflict_with)(struct bitmap* const bm, const Addr a1) in DRD_()
903 if ((a1 & 7) == 0) in DRD_()
904 return bm_aligned_load_has_conflict_with(bm, a1, 8); in DRD_()
906 return DRD_(bm_has_conflict_with)(bm, a1, a1 + 8, eLoad); in DRD_()
909 Bool DRD_(bm_store_1_has_conflict_with)(struct bitmap* const bm, const Addr a1) in DRD_()
911 return bm_aligned_store_has_conflict_with(bm, a1, 1); in DRD_()
914 Bool DRD_(bm_store_2_has_conflict_with)(struct bitmap* const bm, const Addr a1) in DRD_()
916 if ((a1 & 1) == 0) in DRD_()
917 return bm_aligned_store_has_conflict_with(bm, a1, 2); in DRD_()
919 return DRD_(bm_has_conflict_with)(bm, a1, a1 + 2, eStore); in DRD_()
922 Bool DRD_(bm_store_4_has_conflict_with)(struct bitmap* const bm, const Addr a1) in DRD_()
924 if ((a1 & 3) == 0) in DRD_()
925 return bm_aligned_store_has_conflict_with(bm, a1, 4); in DRD_()
927 return DRD_(bm_has_conflict_with)(bm, a1, a1 + 4, eStore); in DRD_()
930 Bool DRD_(bm_store_8_has_conflict_with)(struct bitmap* const bm, const Addr a1) in DRD_()
932 if ((a1 & 7) == 0) in DRD_()
933 return bm_aligned_store_has_conflict_with(bm, a1, 8); in DRD_()
935 return DRD_(bm_has_conflict_with)(bm, a1, a1 + 8, eStore); in DRD_()
939 const Addr a1, const Addr a2) in DRD_()
941 return DRD_(bm_has_conflict_with)(bm, a1, a2, eStore); in DRD_()
1145 const UWord a1 = bm2->addr; in DRD_() local
1147 && ! DRD_(bm_has_any_access(bm, make_address(a1, 0), in DRD_()
1148 make_address(a1 + 1, 0)))) in DRD_()
1150 bm2_remove(bm, a1); in DRD_()
1151 VG_(OSetGen_ResetIterAt)(bm->oset, &a1); in DRD_()