aboutsummaryrefslogtreecommitdiffstats
path: root/libyul/Utilities.cpp
blob: e5f4e517c04a5fb614106d91b1c2f97c758baf3c (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
/*
    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/Utilities.h>

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

#include <libdevcore/CommonData.h>

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

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);
}

template<>
bool Less<Literal>::operator()(Literal const& _lhs, Literal const& _rhs) const
{
    if (std::make_tuple(_lhs.kind, _lhs.type) != std::make_tuple(_rhs.kind, _rhs.type))
        return std::make_tuple(_lhs.kind, _lhs.type) < std::make_tuple(_rhs.kind, _rhs.type);

    if (_lhs.kind == LiteralKind::Number)
        return valueOfNumberLiteral(_lhs) < valueOfNumberLiteral(_rhs);
    else
        return _lhs.value < _rhs.value;
}