aboutsummaryrefslogtreecommitdiffstats
path: root/test/libyul/YulOptimizerTest.h
blob: 5009b82c7b45134e53d0e6e3fb55fda1327aa6de (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
/*
    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/>.
*/

#pragma once

#include <test/TestCase.h>

namespace langutil
{
class Scanner;
class Error;
using ErrorList = std::vector<std::shared_ptr<Error const>>;
}

namespace yul
{
struct AsmAnalysisInfo;
struct Block;
struct Dialect;
}

namespace yul
{
namespace test
{

class YulOptimizerTest: public dev::solidity::test::TestCase
{
public:
    static std::unique_ptr<TestCase> create(std::string const& _filename)
    {
        return std::unique_ptr<TestCase>(new YulOptimizerTest(_filename));
    }

    explicit YulOptimizerTest(std::string const& _filename);

    bool run(std::ostream& _stream, std::string const& _linePrefix = "", bool const _formatted = false) override;

    void printSource(std::ostream& _stream, std::string const &_linePrefix = "", bool const _formatted = false) const override;
    void printUpdatedExpectations(std::ostream& _stream, std::string const& _linePrefix) const override;

private:
    void printIndented(std::ostream& _stream, std::string const& _output, std::string const& _linePrefix = "") const;
    bool parse(std::ostream& _stream, std::string const& _linePrefix, bool const _formatted);
    void disambiguate();

    static void printErrors(std::ostream& _stream, langutil::ErrorList const& _errors);

    std::string m_source;
    bool m_yul = false;
    std::string m_optimizerStep;
    std::string m_expectation;

    std::shared_ptr<Dialect> m_dialect;
    std::shared_ptr<Block> m_ast;
    std::shared_ptr<AsmAnalysisInfo> m_analysisInfo;
    std::string m_obtainedResult;
};

}
}