From a38418f0d9c9698c537c88152f53f6a65f99580c Mon Sep 17 00:00:00 2001 From: chriseth Date: Fri, 2 Feb 2018 15:24:56 +0100 Subject: Common subexpression eliminator. --- libjulia/optimiser/CommonSubexpressionEliminator.h | 45 ++++++++++++++++++++++ 1 file changed, 45 insertions(+) create mode 100644 libjulia/optimiser/CommonSubexpressionEliminator.h (limited to 'libjulia/optimiser/CommonSubexpressionEliminator.h') diff --git a/libjulia/optimiser/CommonSubexpressionEliminator.h b/libjulia/optimiser/CommonSubexpressionEliminator.h new file mode 100644 index 00000000..a8ca3abb --- /dev/null +++ b/libjulia/optimiser/CommonSubexpressionEliminator.h @@ -0,0 +1,45 @@ +/* + 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 . +*/ +/** + * Optimisation stage that replaces expressions known to be the current value of a variable + * in scope by a reference to that variable. + */ + +#pragma once + +#include + +namespace dev +{ +namespace julia +{ + +/** + * Optimisation stage that replaces expressions known to be the current value of a variable + * in scope by a reference to that variable. + * + * Prerequisite: Disambiguator + */ +class CommonSubexpressionEliminator: public DataFlowAnalyzer +{ +protected: + using ASTModifier::visit; + virtual void visit(Expression& _e) override; +}; + +} +} -- cgit v1.2.3