aboutsummaryrefslogtreecommitdiffstats
path: root/libyul/optimiser/VarDeclPropagator.cpp
blob: 537b7020d3fd6ab6d71ac53440499b611963dd55 (plain) (blame)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
/*
    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/>.
*/

#include <libyul/optimiser/VarDeclPropagator.h>
#include <libsolidity/inlineasm/AsmData.h>
#include <libdevcore/CommonData.h>
#include <boost/range/algorithm_ext/erase.hpp>
#include <algorithm>
#include <map>

using namespace std;
using namespace dev;
using namespace dev::yul;

using dev::solidity::assembly::TypedName;
using dev::solidity::assembly::TypedNameList;

void VarDeclPropagator::operator()(Block& _block)
{
    map<YulString, TypedName> outerEmptyVarDecls;
    map<YulString, TypedName> outerLazyInitializedVarDecls;
    swap(m_emptyVarDecls, outerEmptyVarDecls);
    swap(m_lazyInitializedVarDecls, outerLazyInitializedVarDecls);

    ASTModifier::operator()(_block);

    iterateReplacing(
        _block.statements,
        [this](Statement& _stmt) -> boost::optional<vector<Statement>>
        {
            if (_stmt.type() == typeid(VariableDeclaration))
            {
                VariableDeclaration& varDecl = boost::get<VariableDeclaration>(_stmt);
                boost::remove_erase_if(
                    varDecl.variables,
                    [&](TypedName const& _typedName) { return m_lazyInitializedVarDecls.count(_typedName.name); }
                );
                if (varDecl.variables.empty())
                    return vector<Statement>{};
                else
                    return {};
            }
            else if (_stmt.type() == typeid(Assignment))
            {
                Assignment& assignment = boost::get<Assignment>(_stmt);
                if (isFullyLazyInitialized(assignment.variableNames))
                    return vector<Statement>{recreateVariableDeclaration(assignment)};
                else
                    return {};
            }
            else
                return {};
        }
    );

    swap(m_emptyVarDecls, outerEmptyVarDecls);
    swap(m_lazyInitializedVarDecls, outerLazyInitializedVarDecls);
}

void VarDeclPropagator::operator()(VariableDeclaration& _varDecl)
{
    if (_varDecl.value)
        visit(*_varDecl.value);
    else
        for (TypedName const& typedName: _varDecl.variables)
            m_emptyVarDecls[typedName.name] = typedName;
}

void VarDeclPropagator::operator()(Assignment& _assignment)
{
    visit(*_assignment.value);

    if (allVarNamesUninitialized(_assignment.variableNames))
        for (Identifier const& ident: _assignment.variableNames)
            m_lazyInitializedVarDecls[ident.name] = m_emptyVarDecls[ident.name];

    for (Identifier& name: _assignment.variableNames)
        (*this)(name);
}

void VarDeclPropagator::operator()(Identifier& _ident)
{
    m_emptyVarDecls.erase(_ident.name);
}

bool VarDeclPropagator::allVarNamesUninitialized(vector<Identifier> const& _variableNames) const
{
    return all_of(
        begin(_variableNames),
        end(_variableNames),
        [&](Identifier const& _ident) -> bool { return m_emptyVarDecls.count(_ident.name); }
    );
}

bool VarDeclPropagator::isFullyLazyInitialized(vector<Identifier> const& _variableNames) const
{
    return all_of(
        begin(_variableNames),
        end(_variableNames),
        [&](Identifier const& ident) -> bool { return m_lazyInitializedVarDecls.count(ident.name); }
    );
}

VariableDeclaration VarDeclPropagator::recreateVariableDeclaration(Assignment& _assignment)
{
    TypedNameList variables;

    for (Identifier const& varName: _assignment.variableNames)
    {
        variables.emplace_back(move(m_lazyInitializedVarDecls.at(varName.name)));
        m_lazyInitializedVarDecls.erase(varName.name);
    }

    return VariableDeclaration{move(_assignment.location), move(variables), std::move(_assignment.value)};
}