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

Optimizer rules for signextend.

Browse Source
This commit is contained in:
chriseth 2021-08-05 11:32:28 +02:00
parent d59497bd92
commit 16787ecfd6
1 changed files with 50 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

53
libevmasm/RuleList.h
View File

@ -248,8 +248,8 @@ std::vector<SimplificationRule<Pattern>> simplificationRuleListPart4(
template <class Pattern>
std::vector<SimplificationRule<Pattern>> simplificationRuleListPart4_5(
Pattern,
Pattern,
Pattern A,
Pattern B,
Pattern,
Pattern X,
Pattern Y
@ -266,13 +266,17 @@ std::vector<SimplificationRule<Pattern>> simplificationRuleListPart4_5(
{Builtins::OR(Y, Builtins::OR(X, Y)), [=]{ return Builtins::OR(X, Y); }},
{Builtins::OR(Builtins::OR(Y, X), Y), [=]{ return Builtins::OR(Y, X); }},
{Builtins::OR(Y, Builtins::OR(Y, X)), [=]{ return Builtins::OR(Y, X); }},
{Builtins::SIGNEXTEND(X, Builtins::SIGNEXTEND(X, Y)), [=]() { return Builtins::SIGNEXTEND(X, Y); }},
{Builtins::SIGNEXTEND(A, Builtins::SIGNEXTEND(B, X)), [=]() {
return Builtins::SIGNEXTEND(A.d() < B.d() ? A.d() : B.d(), X);
}},
};
}
template <class Pattern>
std::vector<SimplificationRule<Pattern>> simplificationRuleListPart5(
Pattern A,
Pattern,
Pattern B,
Pattern,
Pattern X,
Pattern
@ -314,6 +318,31 @@ std::vector<SimplificationRule<Pattern>> simplificationRuleListPart5(
[=]() { return A.d() >= Pattern::WordSize / 8; }
});
// Replace SIGNEXTEND(A, X), A >= 31 with ID
rules.push_back({
Builtins::SIGNEXTEND(A, X),
[=]() -> Pattern { return X; },
[=]() { return A.d() >= Pattern::WordSize / 8 - 1; }
});
rules.push_back({
Builtins::AND(A, Builtins::SIGNEXTEND(B, X)),
[=]() -> Pattern { return Builtins::AND(A, X); },
[=]() {
return
B.d() < Pattern::WordSize / 8 - 1 &&
(A.d() & ((u256(1) << static_cast<size_t>((B.d() + 1) * 8)) - 1)) == A.d();
}
});
rules.push_back({
Builtins::AND(Builtins::SIGNEXTEND(B, X), A),
[=]() -> Pattern { return Builtins::AND(A, X); },
[=]() {
return
B.d() < Pattern::WordSize / 8 - 1 &&
(A.d() & ((u256(1) << static_cast<size_t>((B.d() + 1) * 8)) - 1)) == A.d();
}
});
for (auto instr: {
Instruction::ADDRESS,
Instruction::CALLER,
@ -597,6 +626,24 @@ std::vector<SimplificationRule<Pattern>> simplificationRuleListPart7(
}
});
rules.push_back({
Builtins::SHL(A, Builtins::SIGNEXTEND(B, X)),
[=]() -> Pattern { return Builtins::SIGNEXTEND((A.d() >> 3) + B.d(), Builtins::SHL(A, X)); },
[=] { return (A.d() & 7) == 0 && A.d() <= Pattern::WordSize && B.d() <= Pattern::WordSize / 8; }
});
rules.push_back({
Builtins::SIGNEXTEND(A, Builtins::SHR(B, X)),
[=]() -> Pattern { return Builtins::SAR(B, X); },
[=] {
return
B.d() % 8 == 0 &&
B.d() <= Pattern::WordSize &&
A.d() <= Pattern::WordSize &&
(Pattern::WordSize - B.d()) / 8 == A.d() + 1;
}
});
return rules;
}