Function disjoint

ir/memory.cpp:187–195

Assumes that both begin + len don't overflow

// Assumes that both begin + len don't overflow
static expr disjoint(const expr &begin1, const expr &len1, const expr &align1,
                     const expr &begin2, const expr &len2, const expr &align2) {
  // if blocks have the same alignment they can't start in the middle of
  // each other. We just need to ensure they have a different addr.
  if (align1.eq(align2) && align_ge_size(align1, len1) &&
      align_ge_size(align2, len2))
    return begin1 != begin2;
  return begin1.uge(begin2 + len2) || begin2.uge(begin1 + len1);
}

static expr load_bv(const expr &var, const expr &idx0) {
  auto bw = var.bits();