diff options
author | Alon Zakai <alonzakai@gmail.com> | 2018-09-19 15:50:30 -0700 |
---|---|---|
committer | GitHub <noreply@github.com> | 2018-09-19 15:50:30 -0700 |
commit | fe88b47749115009da0447e340cbdc86edf30984 (patch) | |
tree | 7dfd9aba7086c8aa6dff4877ac1ee3b9d78bc5ce /src/passes/OptimizeInstructions.cpp | |
parent | a53356ab155a7d8c2f334dc9a3c1432bacbc78fe (diff) | |
download | binaryen-fe88b47749115009da0447e340cbdc86edf30984.tar.gz binaryen-fe88b47749115009da0447e340cbdc86edf30984.tar.bz2 binaryen-fe88b47749115009da0447e340cbdc86edf30984.zip |
Unify imported and non-imported things (#1678)
Fixes #1649
This moves us to a single object for functions, which can be imported or nor, and likewise for globals (as a result, GetGlobals do not need to check if the global is imported or not, etc.). All imported things now inherit from Importable, which has the module and base of the import, and if they are set then it is an import.
For convenient iteration, there are a few helpers like
ModuleUtils::iterDefinedGlobals(wasm, [&](Global* global) {
.. use global ..
});
as often iteration only cares about imported or defined (non-imported) things.
Diffstat (limited to 'src/passes/OptimizeInstructions.cpp')
-rw-r--r-- | src/passes/OptimizeInstructions.cpp | 126 |
1 files changed, 0 insertions, 126 deletions
diff --git a/src/passes/OptimizeInstructions.cpp b/src/passes/OptimizeInstructions.cpp index 73f78611b..255ff4cbd 100644 --- a/src/passes/OptimizeInstructions.cpp +++ b/src/passes/OptimizeInstructions.cpp @@ -43,132 +43,6 @@ Name I32_EXPR = "i32.expr", F64_EXPR = "f64.expr", ANY_EXPR = "any.expr"; -// A pattern -struct Pattern { - Expression* input; - Expression* output; - - Pattern(Expression* input, Expression* output) : input(input), output(output) {} -}; - -#if 0 -// Database of patterns -struct PatternDatabase { - Module wasm; - - char* input; - - std::map<Expression::Id, std::vector<Pattern>> patternMap; // root expression id => list of all patterns for it TODO optimize more - - PatternDatabase() { - // generate module - input = strdup( - #include "OptimizeInstructions.wast.processed" - ); - try { - SExpressionParser parser(input); - Element& root = *parser.root; - SExpressionWasmBuilder builder(wasm, *root[0]); - // parse module form - auto* func = wasm.getFunction("patterns"); - auto* body = func->body->cast<Block>(); - for (auto* item : body->list) { - auto* pair = item->cast<Block>(); - patternMap[pair->list[0]->_id].emplace_back(pair->list[0], pair->list[1]); - } - } catch (ParseException& p) { - p.dump(std::cerr); - Fatal() << "error in parsing wasm binary"; - } - } - - ~PatternDatabase() { - free(input); - }; -}; - -static PatternDatabase* database = nullptr; - -struct DatabaseEnsurer { - DatabaseEnsurer() { - assert(!database); - database = new PatternDatabase; - } -}; -#endif - -// Check for matches and apply them -struct Match { - Module& wasm; - Pattern& pattern; - - Match(Module& wasm, Pattern& pattern) : wasm(wasm), pattern(pattern) {} - - std::vector<Expression*> wildcards; // id in i32.any(id) etc. => the expression it represents in this match - - // Comparing/checking - - // Check if we can match to this pattern, updating ourselves with the info if so - bool check(Expression* seen) { - // compare seen to the pattern input, doing a special operation for our "wildcards" - assert(wildcards.size() == 0); - auto compare = [this](Expression* subInput, Expression* subSeen) { - CallImport* call = subInput->dynCast<CallImport>(); - if (!call || call->operands.size() != 1 || call->operands[0]->type != i32 || !call->operands[0]->is<Const>()) return false; - Index index = call->operands[0]->cast<Const>()->value.geti32(); - // handle our special functions - auto checkMatch = [&](Type type) { - if (type != none && subSeen->type != type) return false; - while (index >= wildcards.size()) { - wildcards.push_back(nullptr); - } - if (!wildcards[index]) { - // new wildcard - wildcards[index] = subSeen; // NB: no need to copy - return true; - } else { - // We are seeing this index for a second or later time, check it matches - return ExpressionAnalyzer::equal(subSeen, wildcards[index]); - }; - }; - if (call->target == I32_EXPR) { - if (checkMatch(i32)) return true; - } else if (call->target == I64_EXPR) { - if (checkMatch(i64)) return true; - } else if (call->target == F32_EXPR) { - if (checkMatch(f32)) return true; - } else if (call->target == F64_EXPR) { - if (checkMatch(f64)) return true; - } else if (call->target == ANY_EXPR) { - if (checkMatch(none)) return true; - } - return false; - }; - - return ExpressionAnalyzer::flexibleEqual(pattern.input, seen, compare); - } - - - // Applying/copying - - // Apply the match, generate an output expression from the matched input, performing substitutions as necessary - Expression* apply() { - // When copying a wildcard, perform the substitution. - // TODO: we can reuse nodes, not copying a wildcard when it appears just once, and we can reuse other individual nodes when they are discarded anyhow. - auto copy = [this](Expression* curr) -> Expression* { - CallImport* call = curr->dynCast<CallImport>(); - if (!call || call->operands.size() != 1 || call->operands[0]->type != i32 || !call->operands[0]->is<Const>()) return nullptr; - Index index = call->operands[0]->cast<Const>()->value.geti32(); - // handle our special functions - if (call->target == I32_EXPR || call->target == I64_EXPR || call->target == F32_EXPR || call->target == F64_EXPR || call->target == ANY_EXPR) { - return ExpressionManipulator::copy(wildcards.at(index), wasm); - } - return nullptr; - }; - return ExpressionManipulator::flexibleCopy(pattern.output, wasm, copy); - } -}; - // Utilities // returns the maximum amount of bits used in an integer expression |