summaryrefslogtreecommitdiff
path: root/src/ir/branch-utils.h
diff options
context:
space:
mode:
authorAlon Zakai <azakai@google.com>2021-05-12 16:32:28 -0700
committerGitHub <noreply@github.com>2021-05-12 16:32:28 -0700
commit665718a208786238633192d706c5cd61d4f5ad05 (patch)
tree5ec197754c6dc98d9698d7d2bfe532aeae025927 /src/ir/branch-utils.h
parentbfd01369a6dbb4629e88d227f085f959549e3dd5 (diff)
downloadbinaryen-665718a208786238633192d706c5cd61d4f5ad05.tar.gz
binaryen-665718a208786238633192d706c5cd61d4f5ad05.tar.bz2
binaryen-665718a208786238633192d706c5cd61d4f5ad05.zip
[Wasm GC] Heap2Local: Handle branches (#3881)
If we branch to a block, and there are no other branches or a final value on the block either, then there is no mixing, and we may be able to optimize the allocation. Before this PR, all branches stopped us. To do this, add some helpers in BranchUtils. The main flow logic in Heap2Local used to stop when we reached a child for the second time. With branches, however, a child can flow both to its immediate parent, and to branch targets, and so the proper thing to look at is when we reach a parent for the second time (which would definitely indicate mixing). Tests are added for the new functionality. Note that some existing tests already covered some things we should not optimize, and so no tests were needed for them. The existing ones are: $get-through-block, $branch-to-block.
Diffstat (limited to 'src/ir/branch-utils.h')
-rw-r--r--src/ir/branch-utils.h43
1 files changed, 38 insertions, 5 deletions
diff --git a/src/ir/branch-utils.h b/src/ir/branch-utils.h
index cf21facbc..662f70725 100644
--- a/src/ir/branch-utils.h
+++ b/src/ir/branch-utils.h
@@ -236,6 +236,22 @@ inline NameSet getBranchTargets(Expression* ast) {
return scanner.targets;
}
+// Get the name of the branch target that is defined in the expression, or an
+// empty name if there is none.
+inline Name getDefinedName(Expression* curr) {
+ Name ret;
+ operateOnScopeNameDefs(curr, [&](Name& name) { ret = name; });
+ return ret;
+}
+
+// Return the value sent by a branch instruction, or nullptr if there is none.
+inline Expression* getSentValue(Expression* curr) {
+ Expression* ret = nullptr;
+ operateOnScopeNameUsesAndSentValues(
+ curr, [&](Name name, Expression* value) { ret = value; });
+ return ret;
+}
+
// Finds if there are branches targeting a name. Note that since names are
// unique in our IR, we just need to look for the name, and do not need
// to analyze scoping.
@@ -352,24 +368,41 @@ public:
}
};
-// Provides a map of branch target names to the expressions that branch to
-// them.
+// Stores information about branch targets, specifically, finding them by their
+// name, and finding the branches to them.
struct BranchTargets {
BranchTargets(Expression* expr) { inner.walk(expr); }
- Expression* getTarget(Name name) { return inner.map[name]; }
+ // Gets the expression that defines this branch target, i.e., where we branch
+ // to if we branch to that name.
+ Expression* getTarget(Name name) { return inner.targets[name]; }
+
+ // Gets the expressions branching to a target.
+ std::unordered_set<Expression*> getBranches(Name name) {
+ auto iter = inner.branches.find(name);
+ if (iter != inner.branches.end()) {
+ return iter->second;
+ }
+ return {};
+ }
private:
struct Inner : public PostWalker<Inner, UnifiedExpressionVisitor<Inner>> {
void visitExpression(Expression* curr) {
operateOnScopeNameDefs(curr, [&](Name name) {
if (name.is()) {
- map[name] = curr;
+ targets[name] = curr;
+ }
+ });
+ operateOnScopeNameUses(curr, [&](Name& name) {
+ if (name.is()) {
+ branches[name].insert(curr);
}
});
}
- std::map<Name, Expression*> map;
+ std::map<Name, Expression*> targets;
+ std::map<Name, std::unordered_set<Expression*>> branches;
} inner;
};