aboutsummaryrefslogtreecommitdiffstats
path: root/libyul/optimiser/Utilities.cpp
blob: b3b580d5ee35a17709cdb58915bee92ed90d365b (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
/*(
    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/>.
*/
/**
 * Some useful snippets for the optimiser.
 */

#include <libyul/optimiser/Utilities.h>

#include <libyul/AsmData.h>
#include <libyul/Exceptions.h>

#include <libdevcore/CommonData.h>

#include <boost/range/algorithm_ext/erase.hpp>

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

void yul::removeEmptyBlocks(Block& _block)
{
    auto isEmptyBlock = [](Statement const& _st) -> bool {
        return _st.type() == typeid(Block) && boost::get<Block>(_st).statements.empty();
    };
    boost::range::remove_erase_if(_block.statements, isEmptyBlock);
}

u256 yul::valueOfNumberLiteral(Literal const& _literal)
{
    assertThrow(_literal.kind == LiteralKind::Number, OptimizerException, "");
    std::string const& literalString = _literal.value.str();
    assertThrow(isValidDecimal(literalString) || isValidHex(literalString), OptimizerException, "");
    return u256(literalString);
}