#ifndef wasm_ir_memory_h
#define wasm_ir_memory_h
#include <algorithm>
#include <vector>
#include "literal.h"
#include "wasm-binary.h"
#include "wasm-builder.h"
#include "wasm.h"
namespace wasm::MemoryUtils {
bool flatten(Module& wasm);
inline void ensureExists(Module* wasm) {
if (wasm->memories.empty()) {
auto memory = Builder::makeMemory("0");
memory->initial = memory->max = 1;
wasm->addMemory(std::move(memory));
}
}
inline bool ensureLimitedSegments(Module& module) {
if (module.memories.size() > 1) {
return false;
}
auto& dataSegments = module.dataSegments;
if (dataSegments.size() <= WebLimitations::MaxDataSegments) {
return true;
}
if (module.features.hasBulkMemory()) {
return false;
}
auto isEmpty = [](DataSegment& segment) { return segment.data.size() == 0; };
auto isConstantOffset = [](DataSegment& segment) {
return segment.offset && segment.offset->is<Const>();
};
Index numConstant = 0, numDynamic = 0;
bool hasPassiveSegments = false;
for (auto& segment : dataSegments) {
if (!isEmpty(*segment)) {
if (isConstantOffset(*segment)) {
numConstant++;
} else {
numDynamic++;
}
}
hasPassiveSegments |= segment->isPassive;
}
if (hasPassiveSegments) {
return false;
}
if (numDynamic + 1 >= WebLimitations::MaxDataSegments) {
return false;
}
if (numConstant + numDynamic >= WebLimitations::MaxDataSegments) {
numConstant = WebLimitations::MaxDataSegments - numDynamic - 1;
[[maybe_unused]] auto num = numConstant + numDynamic;
assert(num == WebLimitations::MaxDataSegments - 1);
}
std::vector<std::unique_ptr<wasm::DataSegment>> mergedSegments;
mergedSegments.reserve(WebLimitations::MaxDataSegments);
for (auto& segment : dataSegments) {
if (isEmpty(*segment)) {
continue;
}
if (isConstantOffset(*segment)) {
continue;
}
mergedSegments.push_back(std::move(segment));
}
auto isRelevant = [&](DataSegment& segment) {
return !isEmpty(segment) && isConstantOffset(segment);
};
for (Index i = 0; i < dataSegments.size(); i++) {
auto& segment = dataSegments[i];
if (!isRelevant(*segment)) {
continue;
}
if (mergedSegments.size() + 2 < WebLimitations::MaxDataSegments) {
mergedSegments.push_back(std::move(segment));
continue;
}
auto start = segment->offset->cast<Const>()->value.getInteger();
for (Index j = i + 1; j < dataSegments.size(); j++) {
auto& segment = dataSegments[j];
if (!isRelevant(*segment)) {
continue;
}
auto offset = segment->offset->cast<Const>()->value.getInteger();
start = std::min(start, offset);
}
auto* c = module.allocator.alloc<Const>();
c->value = Literal(int32_t(start));
c->type = Type::i32;
auto combined = Builder::makeDataSegment();
combined->memory = module.memories[0]->name;
combined->offset = c;
for (Index j = i; j < dataSegments.size(); j++) {
auto& segment = dataSegments[j];
if (!isRelevant(*segment)) {
continue;
}
auto offset = segment->offset->cast<Const>()->value.getInteger();
auto needed = offset + segment->data.size() - start;
if (combined->data.size() < needed) {
combined->data.resize(needed);
}
std::copy(segment->data.begin(),
segment->data.end(),
combined->data.begin() + (offset - start));
}
mergedSegments.push_back(std::move(combined));
break;
}
dataSegments.swap(mergedSegments);
module.updateDataSegmentsMap();
return true;
}
}
#endif