blob: 8dc3baeb92268903a8bc672712782a9208b6ca0e (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
|
/*
* Copyright 2022 WebAssembly Community Group participants
*
* Licensed under the Apache License, Version 2.0 (the "License");
* you may not use this file except in compliance with the License.
* You may obtain a copy of the License at
*
* http://www.apache.org/licenses/LICENSE-2.0
*
* Unless required by applicable law or agreed to in writing, software
* distributed under the License is distributed on an "AS IS" BASIS,
* WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
* See the License for the specific language governing permissions and
* limitations under the License.
*/
#include "ir/memory-utils.h"
#include "wasm.h"
namespace wasm::MemoryUtils {
bool flatten(Module& wasm) {
// The presence of any MemoryInit instructions is a problem because they care
// about segment identity, which flattening gets rid of ( when it merges them
// all into one big segment).
ModuleUtils::ParallelFunctionAnalysis<bool> analysis(
wasm, [&](Function* func, bool& hasMemoryInit) {
if (func->imported()) {
return;
}
hasMemoryInit = FindAll<MemoryInit>(func->body).list.size() > 0;
});
for (auto& [func, hasMemoryInit] : analysis.map) {
if (hasMemoryInit) {
return false;
}
}
auto& dataSegments = wasm.dataSegments;
if (dataSegments.size() == 0) {
return true;
}
std::vector<char> data;
for (auto& segment : dataSegments) {
if (segment->isPassive) {
return false;
}
auto* offset = segment->offset->dynCast<Const>();
if (!offset) {
return false;
}
}
for (auto& segment : dataSegments) {
auto* offset = segment->offset->dynCast<Const>();
Index start = offset->value.getInteger();
Index end = start + segment->data.size();
if (end > data.size()) {
data.resize(end);
}
std::copy(segment->data.begin(), segment->data.end(), data.begin() + start);
}
dataSegments.resize(1);
dataSegments[0]->offset->cast<Const>()->value = Literal(int32_t(0));
dataSegments[0]->data.swap(data);
wasm.removeDataSegments(
[&](DataSegment* curr) { return curr->name != dataSegments[0]->name; });
return true;
}
} // namespace wasm::MemoryUtils
|
