Skip to content

Commit

Permalink
f
Browse files Browse the repository at this point in the history
  • Loading branch information
axic committed Apr 9, 2018
1 parent 844a91a commit 5eb68e2
Showing 1 changed file with 2 additions and 2 deletions.
4 changes: 2 additions & 2 deletions libevmasm/RuleList.h
Original file line number Diff line number Diff line change
Expand Up @@ -93,12 +93,12 @@ std::vector<SimplificationRule<Pattern>> simplificationRuleList(
if (A.d() > 255)
return u256(0);
return u256(bigint(B.d()) << unsigned(A.d()));
}},
}, false},
{{Instruction::SHR, {A, B}}, [=]{
if (A.d() > 255)
return u256(0);
return B.d() >> unsigned(A.d());
}},
}, false},

// invariants involving known constants
{{Instruction::ADD, {X, 0}}, [=]{ return X; }, false},
Expand Down

0 comments on commit 5eb68e2

Please sign in to comment.