cerc-io/solidity
10
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

ossfuzz: Generate addmod and mulmod builtin functions

Browse Source
This commit is contained in:
Bhargava Shastry 2019-03-26 10:52:30 +01:00
parent bdbe1e55b3
commit 836c466f09
3 changed files with 32 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

20
test/tools/ossfuzz/protoToYul.cpp
View File

@ -272,6 +272,26 @@ void ProtoConverter::visit(UnaryOp const& _x)
m_output << ")"; m_output << ")";
} }
void ProtoConverter::visit(TernaryOp const& _x)
{
switch (_x.op())
{
case TernaryOp::ADDM:
m_output << "addmod";
break;
case TernaryOp::MULM:
m_output << "mulmod";
break;
}
m_output << "(";
visit(_x.arg1());
m_output << ", ";
visit(_x.arg2());
m_output << ", ";
visit(_x.arg3());
m_output << ")";
}
void ProtoConverter::visit(AssignmentStatement const& _x) void ProtoConverter::visit(AssignmentStatement const& _x)
{ {
visit(_x.ref_id()); visit(_x.ref_id());

1
test/tools/ossfuzz/protoToYul.h
View File

@ -63,6 +63,7 @@ private:
void visit(ForStmt const&); void visit(ForStmt const&);
void visit(CaseStmt const&); void visit(CaseStmt const&);
void visit(SwitchStmt const&); void visit(SwitchStmt const&);
void visit(TernaryOp const&);
template <class T> template <class T>
void visit(google::protobuf::RepeatedPtrField<T> const& _repeated_field); void visit(google::protobuf::RepeatedPtrField<T> const& _repeated_field);

11
test/tools/ossfuzz/yulProto.proto
View File

@ -111,6 +111,17 @@ message UnaryOp {
required Expression operand = 2; required Expression operand = 2;
} }
message TernaryOp {
enum TOp {
ADDM = 0;
MULM = 1;
}
required TOp op = 1;
required Expression arg1 = 2;
required Expression arg2 = 3;
required Expression arg3 = 4;
}
message StoreFunc { message StoreFunc {
enum Storage { enum Storage {
MSTORE = 0; MSTORE = 0;