diff options
Diffstat (limited to 'src/passes/GUFA.cpp')
| -rw-r--r-- | src/passes/GUFA.cpp | 7 |
1 files changed, 3 insertions, 4 deletions
diff --git a/src/passes/GUFA.cpp b/src/passes/GUFA.cpp index 1ac8ed820..1467b1312 100644 --- a/src/passes/GUFA.cpp +++ b/src/passes/GUFA.cpp @@ -100,7 +100,7 @@ struct GUFAOptimizer if (contents.getType() == Type::unreachable) { // This cannot contain any possible value at all. It must be unreachable // code. - replaceCurrent(getDroppedUnconditionalChildrenAndAppend( + replaceCurrent(getDroppedChildrenAndAppend( curr, wasm, options, builder.makeUnreachable())); optimized = true; return; @@ -139,8 +139,7 @@ struct GUFAOptimizer // ref.as etc. Once it does those we could assert on the type being // valid here. if (Type::isSubType(c->type, curr->type)) { - replaceCurrent( - getDroppedUnconditionalChildrenAndAppend(curr, wasm, options, c)); + replaceCurrent(getDroppedChildrenAndAppend(curr, wasm, options, c)); optimized = true; } else { // The type is not compatible: we cannot place |c| in this location, even @@ -149,7 +148,7 @@ struct GUFAOptimizer // The type is not compatible and this is a simple constant expression // like a ref.func. That means this code must be unreachable. (See below // for the case of a non-constant.) - replaceCurrent(getDroppedUnconditionalChildrenAndAppend( + replaceCurrent(getDroppedChildrenAndAppend( curr, wasm, options, builder.makeUnreachable())); optimized = true; } else { |