2020-02-13 20:33:37 +00:00
|
|
|
/*
|
|
|
|
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/>.
|
|
|
|
*/
|
|
|
|
|
2020-02-14 22:42:01 +00:00
|
|
|
#include <test/yulPhaser/Common.h>
|
|
|
|
|
2020-02-14 18:37:43 +00:00
|
|
|
#include <libyul/optimiser/Suite.h>
|
|
|
|
|
2020-02-13 20:33:37 +00:00
|
|
|
#include <boost/test/unit_test.hpp>
|
|
|
|
|
2020-02-14 18:37:43 +00:00
|
|
|
#include <set>
|
|
|
|
|
|
|
|
using namespace std;
|
|
|
|
using namespace solidity::yul;
|
2020-02-14 22:42:01 +00:00
|
|
|
using namespace boost::test_tools;
|
|
|
|
|
2020-02-13 20:33:37 +00:00
|
|
|
namespace solidity::phaser::test
|
|
|
|
{
|
|
|
|
|
|
|
|
BOOST_AUTO_TEST_SUITE(Phaser)
|
|
|
|
BOOST_AUTO_TEST_SUITE(CommonTest)
|
|
|
|
|
2020-02-14 18:37:43 +00:00
|
|
|
BOOST_AUTO_TEST_CASE(enumerateOptimisationSteps_should_assing_indices_to_all_available_optimisation_steps)
|
|
|
|
{
|
|
|
|
map<string, char> stepsAndAbbreviations = OptimiserSuite::stepNameToAbbreviationMap();
|
|
|
|
map<string, size_t> stepsAndIndices = enumerateOptmisationSteps();
|
|
|
|
BOOST_TEST(stepsAndIndices.size() == stepsAndAbbreviations.size());
|
|
|
|
|
|
|
|
set<string> stepsSoFar;
|
|
|
|
for (auto& [name, index]: stepsAndIndices)
|
|
|
|
{
|
|
|
|
BOOST_TEST(index >= 0);
|
|
|
|
BOOST_TEST(index <= stepsAndAbbreviations.size());
|
|
|
|
BOOST_TEST(stepsAndAbbreviations.count(name) == 1);
|
|
|
|
BOOST_TEST(stepsSoFar.count(name) == 0);
|
|
|
|
|
|
|
|
stepsSoFar.insert(name);
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
2020-02-14 23:09:43 +00:00
|
|
|
BOOST_AUTO_TEST_CASE(stripWhitespace_should_remove_all_whitespace_characters_from_a_string)
|
|
|
|
{
|
|
|
|
BOOST_TEST(stripWhitespace("") == "");
|
|
|
|
BOOST_TEST(stripWhitespace(" ") == "");
|
|
|
|
BOOST_TEST(stripWhitespace(" \n\t\v ") == "");
|
|
|
|
|
|
|
|
BOOST_TEST(stripWhitespace("abc") == "abc");
|
|
|
|
BOOST_TEST(stripWhitespace(" abc") == "abc");
|
|
|
|
BOOST_TEST(stripWhitespace("abc ") == "abc");
|
|
|
|
BOOST_TEST(stripWhitespace(" a b c ") == "abc");
|
|
|
|
BOOST_TEST(stripWhitespace(" a b\tc\n") == "abc");
|
|
|
|
BOOST_TEST(stripWhitespace(" a b \n\n c \n\t\v") == "abc");
|
|
|
|
}
|
|
|
|
|
2020-02-14 22:42:01 +00:00
|
|
|
BOOST_AUTO_TEST_CASE(mean_should_calculate_statistical_mean)
|
|
|
|
{
|
|
|
|
BOOST_TEST(mean<int>({0}) == 0.0);
|
|
|
|
BOOST_TEST(mean<int>({0, 0, 0, 0}) == 0.0);
|
|
|
|
BOOST_TEST(mean<int>({5, 5, 5, 5}) == 5.0);
|
|
|
|
BOOST_TEST(mean<int>({0, 1, 2, 3}) == 1.5);
|
|
|
|
BOOST_TEST(mean<int>({-4, -3, -2, -1, 0, 1, 2, 3}) == -0.5);
|
|
|
|
|
|
|
|
BOOST_TEST(mean<double>({1.3, 1.1, 0.0, 1.5, 1.1, 2.0, 1.5, 1.5}) == 1.25);
|
|
|
|
}
|
|
|
|
|
|
|
|
BOOST_AUTO_TEST_CASE(meanSquaredError_should_calculate_average_squared_difference_between_samples_and_expected_value)
|
|
|
|
{
|
|
|
|
BOOST_TEST(meanSquaredError<int>({0}, 0.0) == 0.0);
|
|
|
|
BOOST_TEST(meanSquaredError<int>({0}, 1.0) == 1.0);
|
|
|
|
BOOST_TEST(meanSquaredError<int>({0, 0, 0, 0}, 0.0) == 0.0);
|
|
|
|
BOOST_TEST(meanSquaredError<int>({0, 0, 0, 0}, 1.0) == 1.0);
|
|
|
|
BOOST_TEST(meanSquaredError<int>({0, 0, 0, 0}, 2.0) == 4.0);
|
|
|
|
BOOST_TEST(meanSquaredError<int>({5, 5, 5, 5}, 1.0) == 16.0);
|
|
|
|
BOOST_TEST(meanSquaredError<int>({0, 1, 2, 3}, 2.0) == 1.5);
|
|
|
|
BOOST_TEST(meanSquaredError<int>({-4, -3, -2, -1, 0, 1, 2, 3}, -4.0) == 17.5);
|
|
|
|
|
|
|
|
BOOST_TEST(meanSquaredError<double>({1.3, 1.1, 0.0, 1.5, 1.1, 2.0, 1.5, 1.5}, 1.0) == 0.3575, tolerance(0.0001));
|
|
|
|
}
|
|
|
|
|
2020-02-13 20:33:37 +00:00
|
|
|
BOOST_AUTO_TEST_SUITE_END()
|
|
|
|
BOOST_AUTO_TEST_SUITE_END()
|
|
|
|
|
|
|
|
}
|