Method memcpy

ir/memory.cpp:2468–2499

}

void Memory::memcpy(const expr &d, const expr &s, const expr &bytesize,
                    uint64_t align_dst, uint64_t align_src, bool is_move) {
  assert(!memory_unused());
  unsigned bytesz = bits_byte / 8;

  Pointer dst(*this, d), src(*this, s);
  state->addUB(dst.isDereferenceable(bytesize, align_dst, true, false, false));
  state->addUB(src.isDereferenceable(bytesize, align_src, false, false, false));
  if (!is_move)
    src.isDisjointOrEqual(bytesize, dst, bytesize);

  // copy to itself
  if ((src == dst).isTrue())
    return;

  uint64_t n;
  if (bytesize.isUInt(n) && (n / bytesz) <= 4) {
    vector<pair<unsigned, expr>> to_store;
    set<expr> undef;
    unsigned i = 0;
    for (auto &byte : load(src, n, undef, align_src)) {
      to_store.emplace_back(i++ * bytesz, std::move(byte)());
    }
    store(dst, to_store, undef, align_dst);
  } else {
    expr offset = expr::mkQVar(0, Pointer::bitsShortOffset());
    Pointer ptr_src = src + (offset - dst.getShortOffset());
    set<expr> undef;
    storeLambda(dst, offset, bytesize, {{0, raw_load(ptr_src, undef)()}}, undef,
                align_dst);
  }
}

void Memory::copy(const Pointer &src, const Pointer &dst) {
  auto local = dst.isLocal();