2020-01-24 03:56:32 +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-06 05:19:55 +00:00
|
|
|
#include <test/yulPhaser/Common.h>
|
|
|
|
|
2020-01-24 03:56:32 +00:00
|
|
|
#include <tools/yulPhaser/Chromosome.h>
|
|
|
|
#include <tools/yulPhaser/Population.h>
|
2020-01-31 12:26:54 +00:00
|
|
|
#include <tools/yulPhaser/Program.h>
|
2020-02-05 15:55:50 +00:00
|
|
|
#include <tools/yulPhaser/Selections.h>
|
2020-01-24 03:56:32 +00:00
|
|
|
|
|
|
|
#include <libyul/optimiser/BlockFlattener.h>
|
|
|
|
#include <libyul/optimiser/SSAReverser.h>
|
|
|
|
#include <libyul/optimiser/StructuralSimplifier.h>
|
|
|
|
#include <libyul/optimiser/UnusedPruner.h>
|
|
|
|
|
|
|
|
#include <liblangutil/CharStream.h>
|
|
|
|
|
|
|
|
#include <boost/test/unit_test.hpp>
|
|
|
|
|
|
|
|
#include <optional>
|
|
|
|
#include <string>
|
|
|
|
#include <sstream>
|
|
|
|
|
|
|
|
using namespace std;
|
|
|
|
using namespace solidity::langutil;
|
|
|
|
using namespace solidity::yul;
|
|
|
|
using namespace boost::unit_test::framework;
|
|
|
|
|
|
|
|
namespace solidity::phaser::test
|
|
|
|
{
|
|
|
|
|
2020-02-13 21:25:25 +00:00
|
|
|
class PopulationFixture
|
|
|
|
{
|
|
|
|
protected:
|
2020-02-05 14:58:35 +00:00
|
|
|
shared_ptr<FitnessMetric> m_fitnessMetric = make_shared<ChromosomeLengthMetric>();
|
2020-02-13 21:25:25 +00:00
|
|
|
};
|
|
|
|
|
2020-01-24 03:56:32 +00:00
|
|
|
BOOST_AUTO_TEST_SUITE(Phaser)
|
|
|
|
BOOST_AUTO_TEST_SUITE(PopulationTest)
|
|
|
|
|
2020-02-11 18:20:01 +00:00
|
|
|
BOOST_AUTO_TEST_CASE(isFitter_should_use_fitness_as_the_main_criterion)
|
|
|
|
{
|
2020-02-05 16:02:32 +00:00
|
|
|
BOOST_TEST(isFitter(Individual(Chromosome("a"), 5), Individual(Chromosome("a"), 10)));
|
|
|
|
BOOST_TEST(!isFitter(Individual(Chromosome("a"), 10), Individual(Chromosome("a"), 5)));
|
2020-02-11 18:20:01 +00:00
|
|
|
|
2020-02-05 16:02:32 +00:00
|
|
|
BOOST_TEST(isFitter(Individual(Chromosome("aaa"), 5), Individual(Chromosome("aaaaa"), 10)));
|
|
|
|
BOOST_TEST(!isFitter(Individual(Chromosome("aaaaa"), 10), Individual(Chromosome("aaa"), 5)));
|
2020-02-11 18:20:01 +00:00
|
|
|
|
2020-02-05 16:02:32 +00:00
|
|
|
BOOST_TEST(isFitter(Individual(Chromosome("aaaaa"), 5), Individual(Chromosome("aaa"), 10)));
|
|
|
|
BOOST_TEST(!isFitter(Individual(Chromosome("aaa"), 10), Individual(Chromosome("aaaaa"), 5)));
|
2020-02-11 18:20:01 +00:00
|
|
|
}
|
|
|
|
|
2020-02-11 21:25:17 +00:00
|
|
|
BOOST_AUTO_TEST_CASE(isFitter_should_use_alphabetical_order_when_fitness_is_the_same)
|
|
|
|
{
|
2020-02-05 16:02:32 +00:00
|
|
|
BOOST_TEST(isFitter(Individual(Chromosome("a"), 3), Individual(Chromosome("c"), 3)));
|
|
|
|
BOOST_TEST(!isFitter(Individual(Chromosome("c"), 3), Individual(Chromosome("a"), 3)));
|
2020-02-11 21:25:17 +00:00
|
|
|
|
2020-02-05 16:02:32 +00:00
|
|
|
BOOST_TEST(isFitter(Individual(Chromosome("a"), 3), Individual(Chromosome("aa"), 3)));
|
|
|
|
BOOST_TEST(!isFitter(Individual(Chromosome("aa"), 3), Individual(Chromosome("a"), 3)));
|
2020-02-11 21:25:17 +00:00
|
|
|
|
2020-02-05 16:02:32 +00:00
|
|
|
BOOST_TEST(isFitter(Individual(Chromosome("T"), 3), Individual(Chromosome("a"), 3)));
|
|
|
|
BOOST_TEST(!isFitter(Individual(Chromosome("a"), 3), Individual(Chromosome("T"), 3)));
|
2020-02-11 21:25:17 +00:00
|
|
|
}
|
|
|
|
|
2020-02-11 18:20:01 +00:00
|
|
|
BOOST_AUTO_TEST_CASE(isFitter_should_return_false_for_identical_individuals)
|
|
|
|
{
|
2020-02-05 16:02:32 +00:00
|
|
|
BOOST_TEST(!isFitter(Individual(Chromosome("a"), 3), Individual(Chromosome("a"), 3)));
|
|
|
|
BOOST_TEST(!isFitter(Individual(Chromosome("acT"), 0), Individual(Chromosome("acT"), 0)));
|
2020-02-11 18:20:01 +00:00
|
|
|
}
|
|
|
|
|
2020-02-05 15:49:50 +00:00
|
|
|
BOOST_FIXTURE_TEST_CASE(constructor_should_copy_chromosomes_compute_fitness_and_sort_chromosomes, PopulationFixture)
|
2020-01-24 03:56:32 +00:00
|
|
|
{
|
|
|
|
vector<Chromosome> chromosomes = {
|
|
|
|
Chromosome::makeRandom(5),
|
2020-02-05 15:49:50 +00:00
|
|
|
Chromosome::makeRandom(15),
|
2020-01-24 03:56:32 +00:00
|
|
|
Chromosome::makeRandom(10),
|
|
|
|
};
|
2020-02-05 14:58:35 +00:00
|
|
|
Population population(m_fitnessMetric, chromosomes);
|
2020-01-24 03:56:32 +00:00
|
|
|
|
2020-02-05 15:49:50 +00:00
|
|
|
vector<Individual> const& individuals = population.individuals();
|
2020-01-24 03:56:32 +00:00
|
|
|
|
2020-02-05 15:49:50 +00:00
|
|
|
BOOST_TEST(individuals.size() == 3);
|
|
|
|
BOOST_TEST(individuals[0].fitness == 5);
|
|
|
|
BOOST_TEST(individuals[1].fitness == 10);
|
|
|
|
BOOST_TEST(individuals[2].fitness == 15);
|
|
|
|
BOOST_TEST(individuals[0].chromosome == chromosomes[0]);
|
|
|
|
BOOST_TEST(individuals[1].chromosome == chromosomes[2]);
|
|
|
|
BOOST_TEST(individuals[2].chromosome == chromosomes[1]);
|
2020-01-24 03:56:32 +00:00
|
|
|
}
|
|
|
|
|
2020-02-06 05:19:55 +00:00
|
|
|
BOOST_FIXTURE_TEST_CASE(makeRandom_should_get_chromosome_lengths_from_specified_generator, PopulationFixture)
|
|
|
|
{
|
|
|
|
size_t chromosomeCount = 30;
|
|
|
|
size_t maxLength = 5;
|
|
|
|
assert(chromosomeCount % maxLength == 0);
|
|
|
|
|
|
|
|
auto nextLength = [counter = 0, maxLength]() mutable { return counter++ % maxLength; };
|
2020-02-05 14:58:35 +00:00
|
|
|
auto population = Population::makeRandom(m_fitnessMetric, chromosomeCount, nextLength);
|
2020-02-06 05:19:55 +00:00
|
|
|
|
|
|
|
// We can't rely on the order since the population sorts its chromosomes immediately but
|
|
|
|
// we can check the number of occurrences of each length.
|
|
|
|
for (size_t length = 0; length < maxLength; ++length)
|
|
|
|
BOOST_TEST(
|
|
|
|
count_if(
|
|
|
|
population.individuals().begin(),
|
|
|
|
population.individuals().end(),
|
|
|
|
[&length](auto const& individual) { return individual.chromosome.length() == length; }
|
|
|
|
) == chromosomeCount / maxLength
|
|
|
|
);
|
|
|
|
}
|
|
|
|
|
|
|
|
BOOST_FIXTURE_TEST_CASE(makeRandom_should_get_chromosome_lengths_from_specified_range, PopulationFixture)
|
|
|
|
{
|
2020-02-05 14:58:35 +00:00
|
|
|
auto population = Population::makeRandom(m_fitnessMetric, 100, 5, 10);
|
2020-02-06 05:19:55 +00:00
|
|
|
BOOST_TEST(all_of(
|
|
|
|
population.individuals().begin(),
|
|
|
|
population.individuals().end(),
|
|
|
|
[](auto const& individual){ return 5 <= individual.chromosome.length() && individual.chromosome.length() <= 10; }
|
|
|
|
));
|
|
|
|
}
|
|
|
|
|
|
|
|
BOOST_FIXTURE_TEST_CASE(makeRandom_should_use_random_chromosome_length, PopulationFixture)
|
|
|
|
{
|
|
|
|
SimulationRNG::reset(1);
|
|
|
|
constexpr int populationSize = 200;
|
|
|
|
constexpr int minLength = 5;
|
|
|
|
constexpr int maxLength = 10;
|
|
|
|
constexpr double relativeTolerance = 0.05;
|
|
|
|
|
2020-02-05 14:58:35 +00:00
|
|
|
auto population = Population::makeRandom(m_fitnessMetric, populationSize, minLength, maxLength);
|
2020-02-06 05:19:55 +00:00
|
|
|
vector<size_t> samples = chromosomeLengths(population);
|
|
|
|
|
|
|
|
const double expectedValue = (maxLength + minLength) / 2.0;
|
|
|
|
const double variance = ((maxLength - minLength + 1) * (maxLength - minLength + 1) - 1) / 12.0;
|
|
|
|
|
|
|
|
BOOST_TEST(abs(mean(samples) - expectedValue) < expectedValue * relativeTolerance);
|
|
|
|
BOOST_TEST(abs(meanSquaredError(samples, expectedValue) - variance) < variance * relativeTolerance);
|
|
|
|
}
|
|
|
|
|
2020-02-13 21:25:25 +00:00
|
|
|
BOOST_FIXTURE_TEST_CASE(makeRandom_should_return_population_with_random_chromosomes, PopulationFixture)
|
2020-01-24 03:56:32 +00:00
|
|
|
{
|
2020-02-14 05:07:28 +00:00
|
|
|
SimulationRNG::reset(1);
|
|
|
|
constexpr int populationSize = 100;
|
|
|
|
constexpr int chromosomeLength = 30;
|
|
|
|
constexpr double relativeTolerance = 0.01;
|
|
|
|
|
|
|
|
map<string, size_t> stepIndices = enumerateOptmisationSteps();
|
2020-02-05 14:58:35 +00:00
|
|
|
auto population = Population::makeRandom(m_fitnessMetric, populationSize, chromosomeLength, chromosomeLength);
|
2020-01-24 03:56:32 +00:00
|
|
|
|
2020-02-14 05:07:28 +00:00
|
|
|
vector<size_t> samples;
|
|
|
|
for (auto& individual: population.individuals())
|
|
|
|
for (auto& step: individual.chromosome.optimisationSteps())
|
|
|
|
samples.push_back(stepIndices.at(step));
|
2020-01-24 03:56:32 +00:00
|
|
|
|
2020-02-14 05:07:28 +00:00
|
|
|
const double expectedValue = (stepIndices.size() - 1) / 2.0;
|
|
|
|
const double variance = (stepIndices.size() * stepIndices.size() - 1) / 12.0;
|
2020-01-24 03:56:32 +00:00
|
|
|
|
2020-02-14 05:07:28 +00:00
|
|
|
BOOST_TEST(abs(mean(samples) - expectedValue) < expectedValue * relativeTolerance);
|
|
|
|
BOOST_TEST(abs(meanSquaredError(samples, expectedValue) - variance) < variance * relativeTolerance);
|
2020-01-24 03:56:32 +00:00
|
|
|
}
|
|
|
|
|
2020-02-05 15:18:53 +00:00
|
|
|
BOOST_FIXTURE_TEST_CASE(makeRandom_should_compute_fitness, PopulationFixture)
|
2020-01-24 03:56:32 +00:00
|
|
|
{
|
2020-02-05 14:58:35 +00:00
|
|
|
auto population = Population::makeRandom(m_fitnessMetric, 3, 5, 10);
|
2020-01-24 03:56:32 +00:00
|
|
|
|
2020-02-05 15:18:53 +00:00
|
|
|
BOOST_TEST(population.individuals()[0].fitness == m_fitnessMetric->evaluate(population.individuals()[0].chromosome));
|
|
|
|
BOOST_TEST(population.individuals()[1].fitness == m_fitnessMetric->evaluate(population.individuals()[1].chromosome));
|
|
|
|
BOOST_TEST(population.individuals()[2].fitness == m_fitnessMetric->evaluate(population.individuals()[2].chromosome));
|
2020-01-24 03:56:32 +00:00
|
|
|
}
|
|
|
|
|
2020-02-13 21:25:25 +00:00
|
|
|
BOOST_FIXTURE_TEST_CASE(run_should_not_make_fitness_of_top_chromosomes_worse, PopulationFixture)
|
2020-01-24 03:56:32 +00:00
|
|
|
{
|
|
|
|
stringstream output;
|
|
|
|
vector<Chromosome> chromosomes = {
|
2020-02-08 00:51:04 +00:00
|
|
|
Chromosome(vector<string>{StructuralSimplifier::name}),
|
|
|
|
Chromosome(vector<string>{BlockFlattener::name}),
|
|
|
|
Chromosome(vector<string>{SSAReverser::name}),
|
|
|
|
Chromosome(vector<string>{UnusedPruner::name}),
|
|
|
|
Chromosome(vector<string>{StructuralSimplifier::name, BlockFlattener::name}),
|
2020-01-24 03:56:32 +00:00
|
|
|
};
|
2020-02-05 14:58:35 +00:00
|
|
|
Population population(m_fitnessMetric, chromosomes);
|
2020-01-24 03:56:32 +00:00
|
|
|
|
|
|
|
size_t initialTopFitness[2] = {
|
2020-02-05 14:58:35 +00:00
|
|
|
m_fitnessMetric->evaluate(chromosomes[0]),
|
|
|
|
m_fitnessMetric->evaluate(chromosomes[1]),
|
2020-01-24 03:56:32 +00:00
|
|
|
};
|
|
|
|
|
|
|
|
for (int i = 0; i < 6; ++i)
|
|
|
|
{
|
|
|
|
population.run(1, output);
|
|
|
|
BOOST_TEST(population.individuals().size() == 5);
|
|
|
|
|
|
|
|
size_t currentTopFitness[2] = {
|
2020-02-05 15:18:53 +00:00
|
|
|
population.individuals()[0].fitness,
|
|
|
|
population.individuals()[1].fitness,
|
2020-01-24 03:56:32 +00:00
|
|
|
};
|
|
|
|
BOOST_TEST(currentTopFitness[0] <= initialTopFitness[0]);
|
|
|
|
BOOST_TEST(currentTopFitness[1] <= initialTopFitness[1]);
|
|
|
|
BOOST_TEST(currentTopFitness[0] <= currentTopFitness[1]);
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
2020-02-05 15:51:43 +00:00
|
|
|
BOOST_FIXTURE_TEST_CASE(plus_operator_should_add_two_populations, PopulationFixture)
|
|
|
|
{
|
|
|
|
BOOST_CHECK_EQUAL(
|
2020-02-05 14:58:35 +00:00
|
|
|
Population(m_fitnessMetric, {Chromosome("ac"), Chromosome("cx")}) +
|
|
|
|
Population(m_fitnessMetric, {Chromosome("g"), Chromosome("h"), Chromosome("iI")}),
|
|
|
|
Population(m_fitnessMetric, {Chromosome("ac"), Chromosome("cx"), Chromosome("g"), Chromosome("h"), Chromosome("iI")})
|
2020-02-05 15:51:43 +00:00
|
|
|
);
|
|
|
|
}
|
|
|
|
|
2020-02-05 15:55:50 +00:00
|
|
|
BOOST_FIXTURE_TEST_CASE(select_should_return_population_containing_individuals_indicated_by_selection, PopulationFixture)
|
|
|
|
{
|
|
|
|
Population population(m_fitnessMetric, {Chromosome("a"), Chromosome("c"), Chromosome("g"), Chromosome("h")});
|
|
|
|
RangeSelection selection(0.25, 0.75);
|
|
|
|
assert(selection.materialise(population.individuals().size()) == (vector<size_t>{1, 2}));
|
|
|
|
|
|
|
|
BOOST_TEST(
|
|
|
|
population.select(selection) ==
|
|
|
|
Population(m_fitnessMetric, {population.individuals()[1].chromosome, population.individuals()[2].chromosome})
|
|
|
|
);
|
|
|
|
}
|
|
|
|
|
|
|
|
BOOST_FIXTURE_TEST_CASE(select_should_include_duplicates_if_selection_contains_duplicates, PopulationFixture)
|
|
|
|
{
|
|
|
|
Population population(m_fitnessMetric, {Chromosome("a"), Chromosome("c")});
|
|
|
|
MosaicSelection selection({0, 1}, 2.0);
|
|
|
|
assert(selection.materialise(population.individuals().size()) == (vector<size_t>{0, 1, 0, 1}));
|
|
|
|
|
|
|
|
BOOST_TEST(population.select(selection) == Population(m_fitnessMetric, {
|
|
|
|
population.individuals()[0].chromosome,
|
|
|
|
population.individuals()[1].chromosome,
|
|
|
|
population.individuals()[0].chromosome,
|
|
|
|
population.individuals()[1].chromosome,
|
|
|
|
}));
|
|
|
|
}
|
|
|
|
|
|
|
|
BOOST_FIXTURE_TEST_CASE(select_should_return_empty_population_if_selection_is_empty, PopulationFixture)
|
|
|
|
{
|
|
|
|
Population population(m_fitnessMetric, {Chromosome("a"), Chromosome("c")});
|
|
|
|
RangeSelection selection(0.0, 0.0);
|
|
|
|
assert(selection.materialise(population.individuals().size()).empty());
|
|
|
|
|
|
|
|
BOOST_TEST(population.select(selection).individuals().empty());
|
|
|
|
}
|
|
|
|
|
2020-01-24 03:56:32 +00:00
|
|
|
BOOST_AUTO_TEST_SUITE_END()
|
|
|
|
BOOST_AUTO_TEST_SUITE_END()
|
|
|
|
|
|
|
|
}
|