summaryrefslogtreecommitdiff
path: root/src/wasm
diff options
context:
space:
mode:
authorThomas Lively <7121787+tlively@users.noreply.github.com>2022-01-27 10:26:31 -0800
committerGitHub <noreply@github.com>2022-01-27 10:26:31 -0800
commit8265388adc8341d52aa075b937ea3f0b10c05a9f (patch)
tree8b7a87da842e1d23156ad913eba58952f58a0172 /src/wasm
parentdd6f63524c35b8b9fa0cb8745f305d5dac56d545 (diff)
downloadbinaryen-8265388adc8341d52aa075b937ea3f0b10c05a9f.tar.gz
binaryen-8265388adc8341d52aa075b937ea3f0b10c05a9f.tar.bz2
binaryen-8265388adc8341d52aa075b937ea3f0b10c05a9f.zip
Add a HeapType method for getting the rec group index (#4480)
Storing the rec group index on the HeapTypeInfo avoids having to do a linear scan through the rec group to find the index for a particular type. This will be important for isorecursive canonicalization, which uses rec group indices.
Diffstat (limited to 'src/wasm')
-rw-r--r--src/wasm/wasm-type.cpp7
1 files changed, 7 insertions, 0 deletions
diff --git a/src/wasm/wasm-type.cpp b/src/wasm/wasm-type.cpp
index 53de89aa5..f63505b20 100644
--- a/src/wasm/wasm-type.cpp
+++ b/src/wasm/wasm-type.cpp
@@ -113,6 +113,7 @@ struct HeapTypeInfo {
// In isorecursive mode, the recursion group of this type or null if the
// recursion group is trivial (i.e. contains only this type).
RecGroupInfo* recGroup = nullptr;
+ size_t recGroupIndex = 0;
enum Kind {
BasicKind,
SignatureKind,
@@ -1263,6 +1264,11 @@ RecGroup HeapType::getRecGroup() const {
}
}
+size_t HeapType::getRecGroupIndex() const {
+ assert(!isBasic());
+ return getHeapTypeInfo(*this)->recGroupIndex;
+}
+
HeapType RecGroup::Iterator::operator*() const {
if (parent->id & 1) {
// This is a trivial recursion group. Mask off the low bit to recover the
@@ -3242,6 +3248,7 @@ std::optional<TypeBuilder::Error> canonicalizeIsorecursive(
// Fill out the recursion groups.
for (auto& info : state.newInfos) {
if (info->recGroup != nullptr) {
+ info->recGroupIndex = info->recGroup->size();
info->recGroup->push_back(asHeapType(info));
}
}