cerc-io/solidity
11
0
Fork 0
mirror of https://github.com/ethereum/solidity synced 2023-10-03 13:03:40 +00:00
Code Issues Actions Packages Projects Releases Wiki Activity

Enable yul optimizer by default.

Browse Source
This commit is contained in:
Daniel Kirchner
2019-12-02 19:30:14 +01:00
parent 958ec98cbe
commit 77a9e91443
20 changed files with 62 additions and 43 deletions
Download Patch File Download Diff File Expand all files Collapse all files
test/cmdlineTests/object_compiler/err
+1 -1
View File
@@ -1 +1 @@
Warning: Yul and its optimizer are still experimental. Please use the output with care.
Warning: Yul is still experimental. Please use the output with care.
test/cmdlineTests/standard_eWasm_requested/output.json
+1 -2
View File
@@ -60,5 +60,4 @@
)
)
"}}}},"errors":[{"component":"general","formattedMessage":"Warning: The Yul optimiser is still experimental. Do not use it in production unless correctness of generated code is verified with extensive tests.
","message":"The Yul optimiser is still experimental. Do not use it in production unless correctness of generated code is verified with extensive tests.","severity":"warning","type":"Warning"}],"sources":{"A":{"id":0}}}
"}}}},"sources":{"A":{"id":0}}}
test/cmdlineTests/standard_optimizer_no_yul/input.json
+17
View File
@@ -0,0 +1,17 @@
{
"language": "Solidity",
"sources":
{
"A":
{
"content": "pragma solidity >=0.0; contract C { function f() public pure {} }"
}
},
"settings":
{
"optimizer": {
"enabled": true,
"details": { "yul": false }
}
}
}
test/cmdlineTests/standard_optimizer_no_yul/output.json
+1
View File
@@ -0,0 +1 @@
{"sources":{"A":{"id":0}}}
test/cmdlineTests/standard_optimizer_yul/input.json
+1 -2
View File
@@ -10,8 +10,7 @@
"settings":
{
"optimizer": {
"enabled": true,
"details": { "yul": true }
"enabled": true
}
}
}
test/cmdlineTests/standard_optimizer_yul/output.json
+1 -2
View File
@@ -1,2 +1 @@
{"errors":[{"component":"general","formattedMessage":"Warning: The Yul optimiser is still experimental. Do not use it in production unless correctness of generated code is verified with extensive tests.
","message":"The Yul optimiser is still experimental. Do not use it in production unless correctness of generated code is verified with extensive tests.","severity":"warning","type":"Warning"}],"sources":{"A":{"id":0}}}
{"sources":{"A":{"id":0}}}
test/cmdlineTests/standard_optimizer_yulDetails/output.json
+1 -2
View File
@@ -1,2 +1 @@
{"errors":[{"component":"general","formattedMessage":"Warning: The Yul optimiser is still experimental. Do not use it in production unless correctness of generated code is verified with extensive tests.
","message":"The Yul optimiser is still experimental. Do not use it in production unless correctness of generated code is verified with extensive tests.","severity":"warning","type":"Warning"}],"sources":{"A":{"id":0}}}
{"sources":{"A":{"id":0}}}
test/cmdlineTests/strict_asm_jump/err
+1 -1
View File
@@ -1,4 +1,4 @@
Warning: Yul and its optimizer are still experimental. Please use the output with care.
Warning: Yul is still experimental. Please use the output with care.
Error: Function not found.
--> strict_asm_jump/input.sol:1:3:
|
test/cmdlineTests/yul_stack_opt/err
+1 -1
View File
@@ -1 +1 @@
Warning: Yul and its optimizer are still experimental. Please use the output with care.
Warning: Yul is still experimental. Please use the output with care.
test/cmdlineTests/yul_stack_opt_disabled/err
+1 -1
View File
@@ -1,4 +1,4 @@
Warning: Yul and its optimizer are still experimental. Please use the output with care.
Warning: Yul is still experimental. Please use the output with care.
Exception while assembling:
Dynamic exception type:
std::exception::what: Variable a1 is 17 slot(s) too deep inside the stack.
test/libsolidity/StandardCompiler.cpp
-6
View File
@@ -1042,12 +1042,6 @@ BOOST_AUTO_TEST_CASE(optimizer_settings_details_different)
)";
Json::Value result = compile(input);
BOOST_CHECK(containsAtMostWarnings(result));
BOOST_CHECK(containsError(
result,
"Warning",
"The Yul optimiser is still experimental. "
"Do not use it in production unless correctness of generated code is verified with extensive tests."
));
Json::Value contract = getContractResult(result, "fileA", "A");
BOOST_CHECK(contract.isObject());
BOOST_CHECK(contract["metadata"].isString());
test/libsolidity/SyntaxTest.cpp
+11 -3
View File
@@ -63,9 +63,17 @@ SyntaxTest::SyntaxTest(string const& _filename, langutil::EVMVersion _evmVersion
if (m_settings.count("optimize-yul"))
{
m_optimiseYul = true;
m_validatedSettings["optimize-yul"] = "true";
m_settings.erase("optimize-yul");
if (m_settings["optimize-yul"] == "true")
{
m_validatedSettings["optimize-yul"] = "true";
m_settings.erase("optimize-yul");
}
else if (m_settings["optimize-yul"] == "false")
{
m_validatedSettings["optimize-yul"] = "false";
m_settings.erase("optimize-yul");
m_optimiseYul = false;
}
}
m_expectations = parseExpectations(file);
m_parserErrorRecovery = _parserErrorRecovery;
test/libsolidity/SyntaxTest.h
+1 -1
View File
@@ -90,7 +90,7 @@ protected:
std::map<std::string, std::string> m_sources;
std::vector<SyntaxTestError> m_expectations;
std::vector<SyntaxTestError> m_errorList;
bool m_optimiseYul = false;
bool m_optimiseYul = true;
langutil::EVMVersion const m_evmVersion;
bool m_parserErrorRecovery = false;
};
test/libsolidity/syntaxTests/inlineAssembly/use_msize_with_optimizer.sol
-1
View File
@@ -8,5 +8,4 @@ contract C {
// ====
// optimize-yul: true
// ----
// Warning: The Yul optimiser is still experimental. Do not use it in production unless correctness of generated code is verified with extensive tests.
// SyntaxError: (52-101): The msize instruction cannot be used when the Yul optimizer is activated because it can change its semantics. Either disable the Yul optimizer or do not use the instruction.
test/libsolidity/syntaxTests/inlineAssembly/use_msize_without_optimizer.sol
+2
View File
@@ -5,4 +5,6 @@ contract C {
}
}
}
// ====
// optimize-yul: false
// ----