Lines Matching refs:cfsi
441 DiCfSI cfsi = *cfsi_orig;
445 ML_(ppDiCfSI)(di->cfsi_exprs, &cfsi);
449 vg_assert(cfsi.len > 0);
456 vg_assert(cfsi.len < 5000000);
467 if (cfsi.base + cfsi.len - 1 < di->fsm.rx_map_avma
468 || cfsi.base >= di->fsm.rx_map_avma + di->fsm.rx_map_size) {
476 cfsi.base,
477 cfsi.base + cfsi.len - 1,
483 ML_(ppDiCfSI)(di->cfsi_exprs, &cfsi);
496 if (cfsi.base < di->fsm.rx_map_avma) {
500 vg_assert(cfsi.base + cfsi.len - 1 >= di->fsm.rx_map_avma);
501 delta = (SSizeT)(di->fsm.rx_map_avma - cfsi.base);
503 vg_assert(delta < (SSizeT)cfsi.len);
504 cfsi.base += delta;
505 cfsi.len -= delta;
508 if (cfsi.base + cfsi.len - 1 > di->fsm.rx_map_avma
513 vg_assert(cfsi.base <= di->fsm.rx_map_avma + di->fsm.rx_map_size - 1);
514 delta = (SSizeT)( (cfsi.base + cfsi.len - 1)
516 vg_assert(delta > 0); vg_assert(delta < (SSizeT)cfsi.len);
517 cfsi.len -= delta;
522 /* Because: either cfsi was entirely inside the range, in which
526 vg_assert(cfsi.len > 0);
529 vg_assert(cfsi.base >= di->fsm.rx_map_avma);
530 vg_assert(cfsi.base + cfsi.len - 1
538 if (di->cfsi != NULL) {
540 new_tab[i] = di->cfsi[i];
541 ML_(dinfo_free)(di->cfsi);
543 di->cfsi = new_tab;
547 di->cfsi[di->cfsi_used] = cfsi;
1670 /* Note: take care in here. di->cfsi can be NULL, in which
1672 if (di->cfsi == NULL) {
1678 address range contained in cfsi[0 .. cfsi_used-1]. */
1682 Addr here_min = di->cfsi[i].base;
1683 Addr here_max = di->cfsi[i].base + di->cfsi[i].len - 1;
1695 /* Sort the cfsi array by base address. */
1696 VG_(ssort)(di->cfsi, di->cfsi_used, sizeof(*di->cfsi), compare_DiCfSI);
1700 if (di->cfsi[i].base + di->cfsi[i].len > di->cfsi[i+1].base) {
1701 Word new_len = di->cfsi[i+1].base - di->cfsi[i].base;
1705 vg_assert(new_len <= di->cfsi[i].len);
1706 di->cfsi[i].len = new_len;
1714 if (di->cfsi[i].len > 0) {
1716 di->cfsi[j] = di->cfsi[i];
1726 vg_assert(di->cfsi[i].len > 0);
1728 vg_assert(di->cfsi[i].base >= di->cfsi_minavma);
1729 vg_assert(di->cfsi[i].base + di->cfsi[i].len - 1
1734 if (!(di->cfsi[i].base < di->cfsi[i+1].base)) {
1736 ML_(ppCfiSI)(&di->cfsi[i]);
1737 ML_(ppCfiSI)(&di->cfsi[i+1]);
1741 vg_assert(di->cfsi[i].base < di->cfsi[i+1].base);
1743 vg_assert(di->cfsi[i].base + di->cfsi[i].len - 1
1744 < di->cfsi[i+1].base);
1836 a_mid_lo = di->cfsi[mid].base;
1837 size = di->cfsi[mid].len;
