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

Use C++ user-defined literals for creating YulString constants.

Browse Source
This commit is contained in:
Daniel Kirchner
2018-12-12 18:45:43 +01:00
parent e85c3428b4
commit 5ac7620045
8 changed files with 18 additions and 13 deletions
Download Patch File Download Diff File Expand all files Collapse all files
libyul/AsmAnalysis.cpp
+1 -1
View File
@@ -102,7 +102,7 @@ bool AsmAnalyzer::operator()(Literal const& _literal)
else if (_literal.kind == LiteralKind::Boolean)
{
solAssert(m_dialect->flavour == AsmFlavour::Yul, "");
solAssert(_literal.value == YulString{string("true")} || _literal.value == YulString{string("false")}, "");
solAssert(_literal.value == "true"_yulstring || _literal.value == "false"_yulstring, "");
}
m_info.stackHeightInfo[&_literal] = m_stackHeight;
return true;
libyul/AsmParser.cpp
+3 -3
View File
@@ -354,11 +354,11 @@ Parser::ElementaryOperation Parser::parseElementaryOperation()
{
YulString literal;
if (currentToken() == Token::Return)
literal = YulString{"return"};
literal = "return"_yulstring;
else if (currentToken() == Token::Byte)
literal = YulString{"byte"};
literal = "byte"_yulstring;
else if (currentToken() == Token::Address)
literal = YulString{"address"};
literal = "address"_yulstring;
else
literal = YulString{currentLiteral()};
// first search the set of builtins, then the instructions.
libyul/AsmPrinter.cpp
+2 -2
View File
@@ -55,8 +55,8 @@ string AsmPrinter::operator()(Literal const& _literal)
solAssert(isValidDecimal(_literal.value.str()) || isValidHex(_literal.value.str()), "Invalid number literal");
return _literal.value.str() + appendTypeName(_literal.type);
case LiteralKind::Boolean:
solAssert(_literal.value.str() == "true" || _literal.value.str() == "false", "Invalid bool literal.");
return ((_literal.value.str() == "true") ? "true" : "false") + appendTypeName(_literal.type);
solAssert(_literal.value == "true"_yulstring || _literal.value == "false"_yulstring, "Invalid bool literal.");
return ((_literal.value == "true"_yulstring) ? "true" : "false") + appendTypeName(_literal.type);
case LiteralKind::String:
break;
}
libyul/ObjectParser.cpp
+1 -1
View File
@@ -42,7 +42,7 @@ shared_ptr<Object> ObjectParser::parse(shared_ptr<Scanner> const& _scanner, bool
{
// Special case: Code-only form.
object = make_shared<Object>();
object->name = YulString{"object"};
object->name = "object"_yulstring;
object->code = parseBlock();
if (!object->code)
return nullptr;
libyul/YulString.h
+5
View File
@@ -127,4 +127,9 @@ private:
YulStringRepository::Handle m_handle{ 0, YulStringRepository::emptyHash() };
};
inline YulString operator "" _yulstring(const char *_string, std::size_t _size)
{
return YulString(std::string(_string, _size));
}
}
libyul/backends/evm/EVMCodeTransform.cpp
+1 -1
View File
@@ -387,7 +387,7 @@ void CodeTransform::operator()(Literal const& _literal)
m_assembly.appendConstant(u256(_literal.value.str()));
else if (_literal.kind == LiteralKind::Boolean)
{
if (_literal.value.str() == "true")
if (_literal.value == "true"_yulstring)
m_assembly.appendConstant(u256(1));
else
m_assembly.appendConstant(u256(0));
libyul/optimiser/MainFunction.cpp
+2 -2
View File
@@ -40,12 +40,12 @@ void MainFunction::operator()(Block& _block)
for (size_t i = 1; i < _block.statements.size(); ++i)
assertThrow(_block.statements.at(i).type() == typeid(FunctionDefinition), OptimizerException, "");
/// @todo this should handle scopes properly and instead of an assertion it should rename the conflicting function
assertThrow(NameCollector(_block).names().count(YulString{"main"}) == 0, OptimizerException, "");
assertThrow(NameCollector(_block).names().count("main"_yulstring) == 0, OptimizerException, "");
Block& block = boost::get<Block>(_block.statements[0]);
FunctionDefinition main{
block.location,
YulString{"main"},
"main"_yulstring,
{},
{},
std::move(block)