Lines Matching refs:a2
128 const Addr a1, const Addr a2, in DRD_()
134 return DRD_(bm_access_range_load)(bm, a1, a2); in DRD_()
136 return DRD_(bm_access_range_store)(bm, a1, a2); in DRD_()
139 void DRD_(bm_access_range_load)(struct bitmap* const bm, Addr a1, Addr a2) in DRD_()
144 tl_assert(a1 <= a2); in DRD_()
145 tl_assert(a2 < first_address_with_higher_msb(a2)); in DRD_()
147 tl_assert(a2 == first_address_with_same_lsb(a2)); in DRD_()
149 for (b = a1; b < a2; b = b_next) in DRD_()
157 if (b_next > a2) in DRD_()
159 b_next = a2; in DRD_()
168 if (make_address(bm2->addr, 0) < a2) in DRD_()
173 if (make_address(bm2->addr + 1, 0) < a2) in DRD_()
176 b_end = a2; in DRD_()
178 tl_assert(a1 <= b_start && b_start < b_end && b_end && b_end <= a2); in DRD_()
236 const Addr a1, const Addr a2) in DRD_()
241 tl_assert(a1 <= a2); in DRD_()
242 tl_assert(a2 < first_address_with_higher_msb(a2)); in DRD_()
244 tl_assert(a2 == first_address_with_same_lsb(a2)); in DRD_()
246 for (b = a1; b < a2; b = b_next) in DRD_()
254 if (b_next > a2) in DRD_()
256 b_next = a2; in DRD_()
265 if (make_address(bm2->addr, 0) < a2) in DRD_()
270 if (make_address(bm2->addr + 1, 0) < a2) in DRD_()
273 b_end = a2; in DRD_()
275 tl_assert(a1 <= b_start && b_start < b_end && b_end && b_end <= a2); in DRD_()
332 Bool DRD_(bm_has)(struct bitmap* const bm, const Addr a1, const Addr a2, in DRD_()
338 return DRD_(bm_has_any_load)(bm, a1, a2); in DRD_()
340 return DRD_(bm_has_any_store)(bm, a1, a2); in DRD_()
367 DRD_(bm_has_any_load)(struct bitmap* const bm, const Addr a1, const Addr a2) in DRD_()
373 for (b = a1; b < a2; b = b_next) in DRD_()
378 if (b_next > a2) in DRD_()
380 b_next = a2; in DRD_()
393 if (make_address(bm2->addr, 0) < a2) in DRD_()
397 tl_assert(a1 <= b_start && b_start <= a2); in DRD_()
399 if (make_address(bm2->addr + 1, 0) < a2) in DRD_()
402 b_end = a2; in DRD_()
403 tl_assert(a1 <= b_end && b_end <= a2); in DRD_()
420 const Addr a1, const Addr a2) in DRD_()
426 for (b = a1; b < a2; b = b_next) in DRD_()
431 if (b_next > a2) in DRD_()
433 b_next = a2; in DRD_()
446 if (make_address(bm2->addr, 0) < a2) in DRD_()
450 tl_assert(a1 <= b_start && b_start <= a2); in DRD_()
452 if (make_address(bm2->addr + 1, 0) < a2) in DRD_()
455 b_end = a2; in DRD_()
456 tl_assert(a1 <= b_end && b_end <= a2); in DRD_()
475 const Addr a1, const Addr a2) in DRD_()
481 for (b = a1; b < a2; b = b_next) in DRD_()
486 if (b_next > a2) in DRD_()
488 b_next = a2; in DRD_()
501 if (make_address(bm2->addr, 0) < a2) in DRD_()
505 tl_assert(a1 <= b_start && b_start <= a2); in DRD_()
507 if (make_address(bm2->addr + 1, 0) < a2) in DRD_()
510 b_end = a2; in DRD_()
511 tl_assert(a1 <= b_end && b_end <= a2); in DRD_()
555 void DRD_(bm_clear)(struct bitmap* const bm, Addr a1, Addr a2) in DRD_()
561 tl_assert(a1 <= a2); in DRD_()
563 tl_assert(a2 == first_address_with_same_lsb(a2)); in DRD_()
565 for (b = a1; b < a2; b = b_next) in DRD_()
571 tl_assert(a1 <= b && b < a2); in DRD_()
577 if (b_next > a2) in DRD_()
579 b_next = a2; in DRD_()
595 && b_next <= a2); in DRD_()
621 tl_assert(a1 <= b && b <= c && c <= b_next && b_next <= a2); in DRD_()
632 void DRD_(bm_clear_load)(struct bitmap* const bm, Addr a1, Addr a2) in DRD_()
638 tl_assert(a1 <= a2); in DRD_()
640 tl_assert(a2 == first_address_with_same_lsb(a2)); in DRD_()
642 for (b = a1; b < a2; b = b_next) in DRD_()
648 tl_assert(a1 <= b && b < a2); in DRD_()
654 if (b_next > a2) in DRD_()
656 b_next = a2; in DRD_()
666 tl_assert(a1 <= b && b <= c && c < b_next && b_next <= a2); in DRD_()
675 && b_next <= a2); in DRD_()
682 tl_assert(a1 <= b && b <= c && c <= b_next && b_next <= a2); in DRD_()
691 && b_next <= a2); in DRD_()
703 tl_assert(a1 <= b && b <= c && c <= b_next && b_next <= a2); in DRD_()
714 const Addr a1, const Addr a2) in DRD_()
720 tl_assert(a1 <= a2); in DRD_()
722 tl_assert(a2 == first_address_with_same_lsb(a2)); in DRD_()
724 for (b = a1; b < a2; b = b_next) in DRD_()
730 tl_assert(a1 <= b && b < a2); in DRD_()
736 if (b_next > a2) in DRD_()
738 b_next = a2; in DRD_()
748 tl_assert(a1 <= b && b <= c && c < b_next && b_next <= a2); in DRD_()
757 && b_next <= a2); in DRD_()
764 tl_assert(a1 <= b && b <= c && c <= b_next && b_next <= a2); in DRD_()
773 && b_next <= a2); in DRD_()
785 tl_assert(a1 <= b && b <= c && c <= b_next && b_next <= a2); in DRD_()
797 const Addr a1, const Addr a2) in DRD_()
801 result = DRD_(bm_has_any_access)(bm, a1, a2) != 0; in DRD_()
802 DRD_(bm_clear)(bm, a1, a2); in DRD_()
807 const Addr a1, const Addr a2, in DRD_()
814 for (b = a1; b < a2; b = b_next) in DRD_()
819 if (b_next > a2) in DRD_()
821 b_next = a2; in DRD_()
834 if (make_address(bm2->addr, 0) < a2) in DRD_()
838 tl_assert(a1 <= b_start && b_start <= a2); in DRD_()
840 if (make_address(bm2->addr + 1, 0) < a2) in DRD_()
843 b_end = a2; in DRD_()
844 tl_assert(a1 <= b_end && b_end <= a2); in DRD_()
873 const Addr a1, const Addr a2) in DRD_()
875 return DRD_(bm_has_conflict_with)(bm, a1, a2, eLoad); in DRD_()
937 const Addr a1, const Addr a2) in DRD_()
939 return DRD_(bm_has_conflict_with)(bm, a1, a2, eStore); in DRD_()