diff options
author | chriseth <chris@ethereum.org> | 2017-12-15 18:55:18 +0800 |
---|---|---|
committer | chriseth <chris@ethereum.org> | 2018-02-06 19:31:42 +0800 |
commit | 016fb18ef83987c95ea3655afb1a8fd5ff6e3950 (patch) | |
tree | 88e8f53f8ff5ec68a54514df72b109ec84601bb0 /libjulia/optimiser/Rematerialiser.h | |
parent | d400c44007b6579f2da61bb57104c47f32fbdf9e (diff) | |
download | dexon-solidity-016fb18ef83987c95ea3655afb1a8fd5ff6e3950.tar dexon-solidity-016fb18ef83987c95ea3655afb1a8fd5ff6e3950.tar.gz dexon-solidity-016fb18ef83987c95ea3655afb1a8fd5ff6e3950.tar.bz2 dexon-solidity-016fb18ef83987c95ea3655afb1a8fd5ff6e3950.tar.lz dexon-solidity-016fb18ef83987c95ea3655afb1a8fd5ff6e3950.tar.xz dexon-solidity-016fb18ef83987c95ea3655afb1a8fd5ff6e3950.tar.zst dexon-solidity-016fb18ef83987c95ea3655afb1a8fd5ff6e3950.zip |
Rematerialisation.
Diffstat (limited to 'libjulia/optimiser/Rematerialiser.h')
-rw-r--r-- | libjulia/optimiser/Rematerialiser.h | 64 |
1 files changed, 64 insertions, 0 deletions
diff --git a/libjulia/optimiser/Rematerialiser.h b/libjulia/optimiser/Rematerialiser.h new file mode 100644 index 00000000..f2a3102f --- /dev/null +++ b/libjulia/optimiser/Rematerialiser.h @@ -0,0 +1,64 @@ +/* + This file is part of solidity. + + solidity is free software: you can redistribute it and/or modify + it under the terms of the GNU General Public License as published by + the Free Software Foundation, either version 3 of the License, or + (at your option) any later version. + + solidity is distributed in the hope that it will be useful, + but WITHOUT ANY WARRANTY; without even the implied warranty of + MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the + GNU General Public License for more details. + + You should have received a copy of the GNU General Public License + along with solidity. If not, see <http://www.gnu.org/licenses/>. +*/ +/** + * Optimisation stage that replaces variables by their most recently assigned expressions. + */ + +#pragma once + +#include <libjulia/optimiser/ASTWalker.h> + +#include <string> +#include <map> +#include <set> + +namespace dev +{ +namespace julia +{ + +/** + * Optimisation stage that replaces variables by their most recently assigned expressions. + * + * Prerequisite: Disambiguator + */ +class Rematerialiser: public ASTModifier +{ +public: + using ASTModifier::operator(); + virtual void operator()(Assignment& _assignment) override; + virtual void operator()(VariableDeclaration& _varDecl) override; + virtual void operator()(If& _if) override; + virtual void operator()(Switch& _switch) override; + virtual void operator()(ForLoop&) override; + +protected: + virtual void visit(Expression& _e) override; + +private: + void handleAssignment(std::set<std::string> const& _names, Expression* _value); + + /// Substitutions to be performed, if possible. + std::map<std::string, Expression const*> m_substitutions; + /// m_references[a].contains(b) <=> the current expression assigned to a references b + std::map<std::string, std::set<std::string>> m_references; + /// m_referencedBy[b].contains(a) <=> the current expression assigned to a references b + std::map<std::string, std::set<std::string>> m_referencedBy; +}; + +} +} |