Method memset_pattern

ir/memory.cpp:2436–2466

}

void Memory::memset_pattern(const expr &ptr0, const expr &pattern0,
                            const expr &bytesize, unsigned pattern_length) {
  assert(!memory_unused());
  unsigned bytesz = bits_byte / 8;
  Pointer ptr(*this, ptr0);
  state->addUB(ptr.isDereferenceable(bytesize, 1, true));

  Pointer pattern(*this, pattern0);
  expr length = bytesize.umin(expr::mkUInt(pattern_length, bytesize));
  state->addUB(pattern.isDereferenceable(length, 1, false));

  set<expr> undef_vars;
  auto bytes
    = load(pattern, pattern_length, undef_vars, 1, little_endian, DATA_ANY);

  vector<pair<unsigned, expr>> to_store;
  uint64_t n;
  if (bytesize.isUInt(n) && (n / bytesz) <= 4) {
    for (unsigned i = 0; i < n; i += bytesz) {
      to_store.emplace_back(i, std::move(bytes[i/bytesz])());
    }
    store(ptr, to_store, undef_vars, 1);
  } else {
    assert(bytes.size() * bytesz == pattern_length);
    for (unsigned i = 0; i < pattern_length; i += bytesz) {
      to_store.emplace_back(i * bytesz, std::move(bytes[i/bytesz])());
    }
    expr offset = expr::mkQVar(0, Pointer::bitsShortOffset());
    storeLambda(ptr, offset, bytesize, to_store, undef_vars, 1);
  }
}

void Memory::memcpy(const expr &d, const expr &s, const expr &bytesize,
                    uint64_t align_dst, uint64_t align_src, bool is_move) {