mirror of
				https://github.com/ethereum/solidity
				synced 2023-10-03 13:03:40 +00:00 
			
		
		
		
	- Command line tests - Documented the standard json - Changelog - A Change in SolidityExecutionFramework to prevent flaky gas tests - A boost test for --no-append-metadata - Removed an outdated comment
		
			
				
	
	
		
			207 lines
		
	
	
		
			5.5 KiB
		
	
	
	
		
			C++
		
	
	
	
	
	
			
		
		
	
	
			207 lines
		
	
	
		
			5.5 KiB
		
	
	
	
		
			C++
		
	
	
	
	
	
| /*
 | |
| 	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/>.
 | |
| */
 | |
| // SPDX-License-Identifier: GPL-3.0
 | |
| /**
 | |
|  * Tests that check that the cost of certain operations stay within range.
 | |
|  */
 | |
| 
 | |
| #include <test/libsolidity/SolidityExecutionFramework.h>
 | |
| #include <liblangutil/EVMVersion.h>
 | |
| #include <libsolutil/IpfsHash.h>
 | |
| #include <libevmasm/GasMeter.h>
 | |
| 
 | |
| #include <cmath>
 | |
| 
 | |
| using namespace std;
 | |
| using namespace solidity::langutil;
 | |
| using namespace solidity::langutil;
 | |
| using namespace solidity::evmasm;
 | |
| using namespace solidity::frontend;
 | |
| using namespace solidity::test;
 | |
| 
 | |
| namespace solidity::frontend::test
 | |
| {
 | |
| 
 | |
| #define CHECK_DEPLOY_GAS(_gasNoOpt, _gasOpt, _evmVersion) \
 | |
| 	do \
 | |
| 	{ \
 | |
| 		u256 metaCost = GasMeter::dataGas(m_compiler.cborMetadata(m_compiler.lastContractName()), true, _evmVersion); \
 | |
| 		u256 gasOpt{_gasOpt}; \
 | |
| 		u256 gasNoOpt{_gasNoOpt}; \
 | |
| 		u256 gas = m_optimiserSettings == OptimiserSettings::minimal() ? gasNoOpt : gasOpt; \
 | |
| 		BOOST_CHECK_MESSAGE( \
 | |
| 			m_gasUsed >= metaCost, \
 | |
| 			"Gas used: " + \
 | |
| 			m_gasUsed.str() + \
 | |
| 			" is less than the data cost for the cbor metadata: " + \
 | |
| 			u256(metaCost).str() \
 | |
| 		); \
 | |
| 		u256 gasUsed = m_gasUsed - metaCost; \
 | |
| 		BOOST_CHECK_MESSAGE( \
 | |
| 			gas == gasUsed, \
 | |
| 			"Gas used: " + \
 | |
| 			gasUsed.str() + \
 | |
| 			" - expected: " + \
 | |
| 			gas.str() \
 | |
| 		); \
 | |
| 	} while(0)
 | |
| 
 | |
| #define CHECK_GAS(_gasNoOpt, _gasOpt, _tolerance) \
 | |
| 	do \
 | |
| 	{ \
 | |
| 		u256 gasOpt{_gasOpt}; \
 | |
| 		u256 gasNoOpt{_gasNoOpt}; \
 | |
| 		u256 tolerance{_tolerance}; \
 | |
| 		u256 gas = m_optimiserSettings == OptimiserSettings::minimal() ? gasNoOpt : gasOpt; \
 | |
| 		u256 diff = gas < m_gasUsed ? m_gasUsed - gas : gas - m_gasUsed; \
 | |
| 		BOOST_CHECK_MESSAGE( \
 | |
| 			diff <= tolerance, \
 | |
| 			"Gas used: " + \
 | |
| 			m_gasUsed.str() + \
 | |
| 			" - expected: " + \
 | |
| 			gas.str() + \
 | |
| 			" (tolerance: " + \
 | |
| 			tolerance.str() + \
 | |
| 			")" \
 | |
| 		); \
 | |
| 	} while(0)
 | |
| 
 | |
| BOOST_FIXTURE_TEST_SUITE(GasCostTests, SolidityExecutionFramework)
 | |
| 
 | |
| BOOST_AUTO_TEST_CASE(string_storage)
 | |
| {
 | |
| 	char const* sourceCode = R"(
 | |
| 		contract C {
 | |
| 			function f() pure public {
 | |
| 				require(false, "Not Authorized. This function can only be called by the custodian or owner of this contract");
 | |
| 			}
 | |
| 		}
 | |
| 	)";
 | |
| 	m_compiler.setMetadataFormat(CompilerStack::MetadataFormat::NoMetadata);
 | |
| 	m_appendCBORMetadata = false;
 | |
| 	compileAndRun(sourceCode);
 | |
| 
 | |
| 	auto evmVersion = solidity::test::CommonOptions::get().evmVersion();
 | |
| 
 | |
| 	if (evmVersion <= EVMVersion::byzantium())
 | |
| 	{
 | |
| 		if (CommonOptions::get().useABIEncoderV1)
 | |
| 			CHECK_DEPLOY_GAS(133045, 129731, evmVersion);
 | |
| 		else
 | |
| 			CHECK_DEPLOY_GAS(144999, 121229, evmVersion);
 | |
| 	}
 | |
| 	// This is only correct on >=Constantinople.
 | |
| 	else if (!CommonOptions::get().useABIEncoderV1)
 | |
| 	{
 | |
| 		if (CommonOptions::get().optimize)
 | |
| 		{
 | |
| 			// Costs with 0 are cases which cannot be triggered in tests.
 | |
| 			if (evmVersion < EVMVersion::istanbul())
 | |
| 				CHECK_DEPLOY_GAS(0, 109241, evmVersion);
 | |
| 			else
 | |
| 				CHECK_DEPLOY_GAS(0, 97697, evmVersion);
 | |
| 		}
 | |
| 		else
 | |
| 		{
 | |
| 			if (evmVersion < EVMVersion::istanbul())
 | |
| 				CHECK_DEPLOY_GAS(139013, 123969, evmVersion);
 | |
| 			else
 | |
| 				CHECK_DEPLOY_GAS(123361, 110969, evmVersion);
 | |
| 		}
 | |
| 	}
 | |
| 	else if (evmVersion < EVMVersion::istanbul())
 | |
| 		CHECK_DEPLOY_GAS(125829, 118559, evmVersion);
 | |
| 	else
 | |
| 		CHECK_DEPLOY_GAS(114077, 96461, evmVersion);
 | |
| 
 | |
| 	if (evmVersion >= EVMVersion::byzantium())
 | |
| 	{
 | |
| 		callContractFunction("f()");
 | |
| 		if (evmVersion == EVMVersion::byzantium())
 | |
| 			CHECK_GAS(21741, 21522, 20);
 | |
| 		// This is only correct on >=Constantinople.
 | |
| 		else if (!CommonOptions::get().useABIEncoderV1)
 | |
| 		{
 | |
| 			if (CommonOptions::get().optimize)
 | |
| 			{
 | |
| 				if (evmVersion < EVMVersion::istanbul())
 | |
| 					CHECK_GAS(0, 21526, 20);
 | |
| 				else
 | |
| 					CHECK_GAS(0, 21318, 20);
 | |
| 			}
 | |
| 			else
 | |
| 			{
 | |
| 				if (evmVersion < EVMVersion::istanbul())
 | |
| 					CHECK_GAS(21736, 21559, 20);
 | |
| 				else
 | |
| 					CHECK_GAS(21528, 21351, 20);
 | |
| 			}
 | |
| 		}
 | |
| 		else if (evmVersion < EVMVersion::istanbul())
 | |
| 			CHECK_GAS(21546, 21526, 20);
 | |
| 		else
 | |
| 			CHECK_GAS(21332, 21322, 20);
 | |
| 	}
 | |
| }
 | |
| 
 | |
| BOOST_AUTO_TEST_CASE(single_callvaluecheck)
 | |
| {
 | |
| 	string sourceCode = R"(
 | |
| 		// All functions nonpayable, we can check callvalue at the beginning
 | |
| 		contract Nonpayable {
 | |
| 			address a;
 | |
| 			function f(address b) public {
 | |
| 				a = b;
 | |
| 			}
 | |
| 			function f1(address b) public pure returns (uint c) {
 | |
| 				return uint160(b) + 2;
 | |
| 			}
 | |
| 			function f2(address b) public pure returns (uint) {
 | |
| 				return uint160(b) + 8;
 | |
| 			}
 | |
| 			function f3(address, uint c) pure public returns (uint) {
 | |
| 				return c - 5;
 | |
| 			}
 | |
| 		}
 | |
| 		// At least on payable function, we cannot do the optimization.
 | |
| 		contract Payable {
 | |
| 			address a;
 | |
| 			function f(address b) public {
 | |
| 				a = b;
 | |
| 			}
 | |
| 			function f1(address b) public pure returns (uint c) {
 | |
| 				return uint160(b) + 2;
 | |
| 			}
 | |
| 			function f2(address b) public pure returns (uint) {
 | |
| 				return uint160(b) + 8;
 | |
| 			}
 | |
| 			function f3(address, uint c) payable public returns (uint) {
 | |
| 				return c - 5;
 | |
| 			}
 | |
| 		}
 | |
| 	)";
 | |
| 	compileAndRun(sourceCode);
 | |
| 	size_t bytecodeSizeNonpayable = m_compiler.object("Nonpayable").bytecode.size();
 | |
| 	size_t bytecodeSizePayable = m_compiler.object("Payable").bytecode.size();
 | |
| 
 | |
| 	BOOST_CHECK_EQUAL(bytecodeSizePayable - bytecodeSizeNonpayable, 26);
 | |
| }
 | |
| 
 | |
| BOOST_AUTO_TEST_SUITE_END()
 | |
| 
 | |
| }
 |