Cross Reference: /external/valgrind/main/drd/drd

Lines Matching refs:a2
130                            const Addr a1, const Addr a2,
136       return DRD_(bm_access_range_load)(bm, a1, a2);
138       return DRD_(bm_access_range_store)(bm, a1, a2);
141 void DRD_(bm_access_range_load)(struct bitmap* const bm, Addr a1, Addr a2)
146    tl_assert(a1 <= a2);
147    tl_assert(a2 < first_address_with_higher_msb(a2));
149    tl_assert(a2 == first_address_with_same_lsb(a2));
151    for (b = a1; b < a2; b = b_next)
159       if (b_next > a2)
161          b_next = a2;
170          if (make_address(bm2->addr, 0) < a2)
175       if (make_address(bm2->addr + 1, 0) < a2)
178          b_end = a2;
180       tl_assert(a1 <= b_start && b_start < b_end && b_end && b_end <= a2);
238                                  const Addr a1, const Addr a2)
243    tl_assert(a1 <= a2);
244    tl_assert(a2 < first_address_with_higher_msb(a2));
246    tl_assert(a2 == first_address_with_same_lsb(a2));
248    for (b = a1; b < a2; b = b_next)
256       if (b_next > a2)
258          b_next = a2;
267          if (make_address(bm2->addr, 0) < a2)
272       if (make_address(bm2->addr + 1, 0) < a2)
275          b_end = a2;
277       tl_assert(a1 <= b_start && b_start < b_end && b_end && b_end <= a2);
334 Bool DRD_(bm_has)(struct bitmap* const bm, const Addr a1, const Addr a2,
340       return DRD_(bm_has_any_load)(bm, a1, a2);
342       return DRD_(bm_has_any_store)(bm, a1, a2);
369 DRD_(bm_has_any_load)(struct bitmap* const bm, const Addr a1, const Addr a2)
375    for (b = a1; b < a2; b = b_next)
380       if (b_next > a2)
382          b_next = a2;
395             if (make_address(bm2->addr, 0) < a2)
399          tl_assert(a1 <= b_start && b_start <= a2);
401          if (make_address(bm2->addr + 1, 0) < a2)
404             b_end = a2;
405          tl_assert(a1 <= b_end && b_end <= a2);
422                             const Addr a1, const Addr a2)
428    for (b = a1; b < a2; b = b_next)
433       if (b_next > a2)
435          b_next = a2;
448             if (make_address(bm2->addr, 0) < a2)
452          tl_assert(a1 <= b_start && b_start <= a2);
454          if (make_address(bm2->addr + 1, 0) < a2)
457             b_end = a2;
458          tl_assert(a1 <= b_end && b_end <= a2);
475 /* to any of the addresses in the range [ a1, a2 [ in bitmap bm. */
477                              const Addr a1, const Addr a2)
483    for (b = a1; b < a2; b = b_next)
488       if (b_next > a2)
490          b_next = a2;
503             if (make_address(bm2->addr, 0) < a2)
507          tl_assert(a1 <= b_start && b_start <= a2);
509          if (make_address(bm2->addr + 1, 0) < a2)
512             b_end = a2;
513          tl_assert(a1 <= b_end && b_end <= a2);
557 void DRD_(bm_clear)(struct bitmap* const bm, Addr a1, Addr a2)
563    tl_assert(a1 <= a2);
565    tl_assert(a2 == first_address_with_same_lsb(a2));
567    for (b = a1; b < a2; b = b_next)
573       tl_assert(a1 <= b && b < a2);
579       if (b_next > a2)
581          b_next = a2;
597                    && b_next <= a2);
623       tl_assert(a1 <= b && b <= c && c <= b_next && b_next <= a2);
632  * up to but not including address a2.
634 void DRD_(bm_clear_load)(struct bitmap* const bm, Addr a1, Addr a2)
640    tl_assert(a1 <= a2);
642    tl_assert(a2 == first_address_with_same_lsb(a2));
644    for (b = a1; b < a2; b = b_next)
650       tl_assert(a1 <= b && b < a2);
656       if (b_next > a2)
658          b_next = a2;
668       tl_assert(a1 <= b && b <= c && c < b_next && b_next <= a2);
677                    && b_next <= a2);
684       tl_assert(a1 <= b && b <= c && c <= b_next && b_next <= a2);
693                    && b_next <= a2);
705       tl_assert(a1 <= b && b <= c && c <= b_next && b_next <= a2);
713  * up to but not including address a2.
716                           const Addr a1, const Addr a2)
722    tl_assert(a1 <= a2);
724    tl_assert(a2 == first_address_with_same_lsb(a2));
726    for (b = a1; b < a2; b = b_next)
732       tl_assert(a1 <= b && b < a2);
738       if (b_next > a2)
740          b_next = a2;
750       tl_assert(a1 <= b && b <= c && c < b_next && b_next <= a2);
759                    && b_next <= a2);
766       tl_assert(a1 <= b && b <= c && c <= b_next && b_next <= a2);
775                    && b_next <= a2);
787       tl_assert(a1 <= b && b <= c && c <= b_next && b_next <= a2);
795  * a2. Return True if and only if any of the addresses was set before
799                              const Addr a1, const Addr a2)
803    result = DRD_(bm_has_any_access)(bm, a1, a2) != 0;
804    DRD_(bm_clear)(bm, a1, a2);
809                                 const Addr a1, const Addr a2,
816    for (b = a1; b < a2; b = b_next)
821       if (b_next > a2)
823          b_next = a2;
836             if (make_address(bm2->addr, 0) < a2)
840          tl_assert(a1 <= b_start && b_start <= a2);
842          if (make_address(bm2->addr + 1, 0) < a2)
845             b_end = a2;
846          tl_assert(a1 <= b_end && b_end <= a2);
875                                      const Addr a1, const Addr a2)
877    return DRD_(bm_has_conflict_with)(bm, a1, a2, eLoad);
939                                       const Addr a1, const Addr a2)
941    return DRD_(bm_has_conflict_with)(bm, a1, a2, eStore);