Lines Matching refs:cfsi
479 DiCfSI cfsi = *cfsi_orig;
483 ML_(ppDiCfSI)(di->cfsi_exprs, &cfsi);
487 vg_assert(cfsi.len > 0);
494 vg_assert(cfsi.len < 5000000);
497 /* Find mapping where at least one end of the CFSI falls into. */
498 map = ML_(find_rx_mapping)(di, cfsi.base, cfsi.base);
499 map2 = ML_(find_rx_mapping)(di, cfsi.base + cfsi.len - 1,
500 cfsi.base + cfsi.len - 1);
518 cfsi.base,
519 cfsi.base + cfsi.len - 1,
524 ML_(ppDiCfSI)(di->cfsi_exprs, &cfsi);
537 if (cfsi.base < map->avma) {
541 vg_assert(cfsi.base + cfsi.len - 1 >= map->avma);
542 delta = (SSizeT)(map->avma - cfsi.base);
544 vg_assert(delta < (SSizeT)cfsi.len);
545 cfsi.base += delta;
546 cfsi.len -= delta;
549 if (cfsi.base + cfsi.len - 1 > map->avma + map->size - 1) {
553 vg_assert(cfsi.base <= map->avma + map->size - 1);
554 delta = (SSizeT)( (cfsi.base + cfsi.len - 1)
557 vg_assert(delta < (SSizeT)cfsi.len);
558 cfsi.len -= delta;
563 /* Because: either cfsi was entirely inside the range, in which
567 vg_assert(cfsi.len > 0);
570 vg_assert(cfsi.base >= map->avma);
571 vg_assert(cfsi.base + cfsi.len - 1
579 if (di->cfsi != NULL) {
581 new_tab[i] = di->cfsi[i];
582 ML_(dinfo_free)(di->cfsi);
584 di->cfsi = new_tab;
588 di->cfsi[di->cfsi_used] = cfsi;
1742 /* Note: take care in here. di->cfsi can be NULL, in which
1744 if (di->cfsi == NULL) {
1750 address range contained in cfsi[0 .. cfsi_used-1]. */
1754 Addr here_min = di->cfsi[i].base;
1755 Addr here_max = di->cfsi[i].base + di->cfsi[i].len - 1;
1767 /* Sort the cfsi array by base address. */
1768 VG_(ssort)(di->cfsi, di->cfsi_used, sizeof(*di->cfsi), compare_DiCfSI);
1772 if (di->cfsi[i].base + di->cfsi[i].len > di->cfsi[i+1].base) {
1773 Word new_len = di->cfsi[i+1].base - di->cfsi[i].base;
1777 vg_assert(new_len <= di->cfsi[i].len);
1778 di->cfsi[i].len = new_len;
1786 if (di->cfsi[i].len > 0) {
1788 di->cfsi[j] = di->cfsi[i];
1798 vg_assert(di->cfsi[i].len > 0);
1800 vg_assert(di->cfsi[i].base >= di->cfsi_minavma);
1801 vg_assert(di->cfsi[i].base + di->cfsi[i].len - 1
1806 if (!(di->cfsi[i].base < di->cfsi[i+1].base)) {
1808 ML_(ppCfiSI)(&di->cfsi[i]);
1809 ML_(ppCfiSI)(&di->cfsi[i+1]);
1813 vg_assert(di->cfsi[i].base < di->cfsi[i+1].base);
1815 vg_assert(di->cfsi[i].base + di->cfsi[i].len - 1
1816 < di->cfsi[i+1].base);
1908 a_mid_lo = di->cfsi[mid].base;
1909 size = di->cfsi[mid].len;
