| /* |
| * Copyright 2017 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. |
| */ |
| |
| // |
| // Removes tee_locals, replacing them with gets and sets. |
| // |
| // This makes the code "flatter", with less nested side |
| // effects. That can make some passes, like CodePushing, |
| // more effective. |
| // |
| |
| #include <wasm.h> |
| #include <pass.h> |
| #include <wasm-builder.h> |
| |
| namespace wasm { |
| |
| struct Untee : public WalkerPass<PostWalker<Untee>> { |
| bool isFunctionParallel() override { return true; } |
| |
| Pass* create() override { return new Untee; } |
| |
| void visitSetLocal(SetLocal *curr) { |
| if (curr->isTee()) { |
| if (curr->value->type == unreachable) { |
| // we don't reach the tee, just remove it |
| replaceCurrent(curr->value); |
| } else { |
| // a normal tee. replace with set and get |
| Builder builder(*getModule()); |
| replaceCurrent( |
| builder.makeSequence( |
| curr, |
| builder.makeGetLocal(curr->index, curr->value->type) |
| ) |
| ); |
| curr->setTee(false); |
| } |
| } |
| } |
| }; |
| |
| Pass *createUnteePass() { |
| return new Untee(); |
| } |
| |
| } // namespace wasm |
| |