/* This file is part of cpp-ethereum. cpp-ethereum 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. cpp-ethereum 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 cpp-ethereum. If not, see . */ /** * @author Christian * @date 2015 * Unit tests for the gas estimator. */ #include #include #include #include #include #include #include using namespace std; using namespace dev::eth; using namespace dev::solidity; namespace dev { namespace solidity { namespace test { class GasMeterTestFramework: public ExecutionFramework { public: GasMeterTestFramework() { } void compile(string const& _sourceCode) { m_compiler.setSource(_sourceCode); ETH_TEST_REQUIRE_NO_THROW(m_compiler.compile(), "Compiling contract failed"); AssemblyItems const* items = m_compiler.runtimeAssemblyItems(""); ASTNode const& sourceUnit = m_compiler.ast(); BOOST_REQUIRE(items != nullptr); m_gasCosts = GasEstimator::breakToStatementLevel( GasEstimator::structuralEstimation(*items, vector({&sourceUnit})), {&sourceUnit} ); } void testCreationTimeGas(string const& _sourceCode) { EVMSchedule schedule; compileAndRun(_sourceCode); auto state = make_shared(); PathGasMeter meter(*m_compiler.assemblyItems()); GasMeter::GasConsumption gas = meter.estimateMax(0, state); u256 bytecodeSize(m_compiler.runtimeObject().bytecode.size()); gas += bytecodeSize * schedule.createDataGas; BOOST_REQUIRE(!gas.isInfinite); BOOST_CHECK(gas.value == m_gasUsed); } /// Compares the gas computed by PathGasMeter for the given signature (but unknown arguments) /// against the actual gas usage computed by the VM on the given set of argument variants. void testRunTimeGas(string const& _sig, vector _argumentVariants) { u256 gasUsed = 0; FixedHash<4> hash(dev::sha3(_sig)); for (bytes const& arguments: _argumentVariants) { sendMessage(hash.asBytes() + arguments, false, 0); gasUsed = max(gasUsed, m_gasUsed); } GasMeter::GasConsumption gas = GasEstimator::functionalEstimation( *m_compiler.runtimeAssemblyItems(), _sig ); BOOST_REQUIRE(!gas.isInfinite); BOOST_CHECK(gas.value == m_gasUsed); } protected: map m_gasCosts; }; BOOST_FIXTURE_TEST_SUITE(GasMeterTests, GasMeterTestFramework) BOOST_AUTO_TEST_CASE(non_overlapping_filtered_costs) { char const* sourceCode = R"( contract test { bytes x; function f(uint a) returns (uint b) { x.length = a; for (; a < 200; ++a) { x[a] = 9; b = a * a; } return f(a - 1); } } )"; compile(sourceCode); for (auto first = m_gasCosts.cbegin(); first != m_gasCosts.cend(); ++first) { auto second = first; for (++second; second != m_gasCosts.cend(); ++second) if (first->first->location().intersects(second->first->location())) { BOOST_CHECK_MESSAGE(false, "Source locations should not overlap!"); auto scannerFromSource = [&](string const&) -> Scanner const& { return m_compiler.scanner(); }; SourceReferenceFormatter::printSourceLocation(cout, &first->first->location(), scannerFromSource); SourceReferenceFormatter::printSourceLocation(cout, &second->first->location(), scannerFromSource); } } } BOOST_AUTO_TEST_CASE(simple_contract) { // Tests a simple "deploy contract" code without constructor. The actual contract is not relevant. char const* sourceCode = R"( contract test { bytes32 public shaValue; function f(uint a) { shaValue = sha3(a); } } )"; testCreationTimeGas(sourceCode); } BOOST_AUTO_TEST_CASE(store_sha3) { char const* sourceCode = R"( contract test { bytes32 public shaValue; function test(uint a) { shaValue = sha3(a); } } )"; testCreationTimeGas(sourceCode); } BOOST_AUTO_TEST_CASE(updating_store) { char const* sourceCode = R"( contract test { uint data; uint data2; function test() { data = 1; data = 2; data2 = 0; } } )"; testCreationTimeGas(sourceCode); } BOOST_AUTO_TEST_CASE(branches) { char const* sourceCode = R"( contract test { uint data; uint data2; function f(uint x) { if (x > 7) data2 = 1; else data = 1; } } )"; testCreationTimeGas(sourceCode); testRunTimeGas("f(uint256)", vector{encodeArgs(2), encodeArgs(8)}); } BOOST_AUTO_TEST_CASE(function_calls) { char const* sourceCode = R"( contract test { uint data; uint data2; function f(uint x) { if (x > 7) data2 = g(x**8) + 1; else data = 1; } function g(uint x) internal returns (uint) { return data2; } } )"; testCreationTimeGas(sourceCode); testRunTimeGas("f(uint256)", vector{encodeArgs(2), encodeArgs(8)}); } BOOST_AUTO_TEST_CASE(multiple_external_functions) { char const* sourceCode = R"( contract test { uint data; uint data2; function f(uint x) { if (x > 7) data2 = g(x**8) + 1; else data = 1; } function g(uint x) returns (uint) { return data2; } } )"; testCreationTimeGas(sourceCode); testRunTimeGas("f(uint256)", vector{encodeArgs(2), encodeArgs(8)}); testRunTimeGas("g(uint256)", vector{encodeArgs(2)}); } BOOST_AUTO_TEST_SUITE_END() } } } iles/minimist-1.2.2 FreeBSD Ports (https://github.com/freebsd/freebsd-ports)
aboutsummaryrefslogtreecommitdiffstats
path: root/lang
Commit message (Expand)AuthorAgeFilesLines
* math/cvc4: simplify post-patchfernape2019-08-072-4/+0
* Update to the 20180803 snapshot of GCC 9.1.1.gerald2019-08-072-4/+4
* Update to v5.31.2-60-g5de6cd706e.mat2019-08-062-4/+4
* lang/rust-nightly: update to 1.38.0.20190806jbeich2019-08-062-4/+4
* lang/spidermonkey52: fix build with GCC-based architecturespkubaj2019-08-051-0/+10
* Update to the 20180802 snapshot of GCC 8.3.1.gerald2019-08-052-4/+4
* Mark BROKEN: unfetchableantoine2019-08-049-0/+18
* Use HTTPS in pkg-descr's of Haskell ports.arrowd2019-08-043-3/+3
* Mark BROKEN: fails to buildantoine2019-08-041-0/+2
* Mark BROKEN: fails to buildantoine2019-08-041-0/+2
* PHP 7.1: Put missing mail header patch backtz2019-08-041-1/+3
* Update PHP 7.3 from 7.3.7 to 7.3.8tz2019-08-042-4/+4
* Update PHP 7.2 from 7.2.20 to 7.2.21tz2019-08-042-4/+4
* Update PHP 7.1 from 7.1.30 to 7.1.31tz2019-08-04