Lines Matching refs:aMin
682 *key, elem->aMin);
683 if ((*key) < elem->aMin) return -1;
697 VG_(printf)(" %#lx .. %#lx: %lu vars\n", range->aMin, range->aMax,
703 /* Add the variable 'var' to 'scope' for the address range [aMin,aMax]
704 (inclusive of aMin and aMax). Split existing ranges as required if
705 aMin or aMax or both don't match existing range boundaries, and add
711 Addr aMin,
722 vg_assert(aMin <= aMax);
724 if (0) VG_(printf)("add_var_to_arange: %#lx .. %#lx\n", aMin, aMax);
727 /* See if the lower end of the range (aMin) falls exactly on an
730 that aMin does exactly fall on a range boundary. */
731 first = VG_(OSetGen_Lookup)( scope, &aMin );
735 vg_assert(first->aMin <= first->aMax);
736 vg_assert(first->aMin <= aMin && aMin <= first->aMax);
741 if (first->aMin == aMin && first->aMax == aMax) {
749 if (first->aMin < aMin) {
754 first->aMax = aMin-1;
755 vg_assert(first->aMin <= first->aMax);
759 nyu->aMin = aMin;
761 vg_assert(nyu->aMin <= nyu->aMax);
770 vg_assert(first->aMin == aMin);
776 vg_assert(last->aMin <= last->aMax);
777 vg_assert(last->aMin <= aMax && aMax <= last->aMax);
783 Addr tmp = last->aMin;
784 last->aMin = aMax+1;
785 vg_assert(last->aMin <= last->aMax);
789 nyu->aMin = tmp;
791 vg_assert(nyu->aMin <= nyu->aMax);
802 xxFirst = (DiAddrRange*)VG_(OSetGen_Lookup)(scope, &aMin);
806 vg_assert(xxFirst->aMin == aMin);
809 vg_assert(xxFirst->aMax < xxLast->aMin);
823 VG_(OSetGen_ResetIterAt)( scope, &aMin );
828 if (range->aMin > aMax) break;
831 range->aMin, range->aMax);
836 vg_assert(range->aMin == aMin);
838 vg_assert(xxRangep->aMax + 1 == range->aMin);
858 Addr aMin,
880 level, aMin, aMax, name );
896 vg_assert(aMin <= aMax);
906 Ignore any variables whose aMin .. aMax (that is, range of text
922 || aMin >= di->fsm.rx_map_avma + di->fsm.rx_map_size)) {
927 aMin, aMax,
971 scope = VG_(OSetGen_Create)( offsetof(DiAddrRange,aMin),
986 nyu->aMin = (Addr)0;
1006 all = aMin == (Addr)0 && aMax == ~(Addr)0;
1009 add_var_to_arange( /*MOD*/scope, aMin, aMax, &var );
1034 vg_assert(range->aMin == (Addr)0);
1054 vg_assert(range->aMin <= range->aMax);
1059 vg_assert(range->aMin == 0);
1061 vg_assert(rangep->aMax + 1 == range->aMin);
1078 vg_assert(range->aMin == (Addr)0);
