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

Store copied assembly items in test. Fixes OSX issues.

Browse Source
This commit is contained in:
chriseth 2015-05-15 13:25:44 +02:00
parent 7d5bebd464
commit 5f8a5f672d
1 changed files with 13 additions and 16 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

29
libsolidity/SolidityOptimizer.cpp
View File

@ -97,7 +97,7 @@ public:
{
eth::KnownState state;
for (auto const& item: addDummyLocations(_input))
state.feedItem(item);
state.feedItem(item, true);
return state;
}
@ -884,21 +884,18 @@ BOOST_AUTO_TEST_CASE(cse_sha3_twice_same_content_noninterfering_store_in_between
BOOST_CHECK_EQUAL(1, count(output.begin(), output.end(), AssemblyItem(Instruction::SHA3)));
}
// ******************************
// DISABLED DUE TO FAILURE ON OSX
// ******************************
//BOOST_AUTO_TEST_CASE(cse_with_initially_known_stack)
//{
// eth::KnownState state = createInitialState(AssemblyItems{
// u256(0x12),
// u256(0x20),
// Instruction::ADD
// });
// AssemblyItems input{
// u256(0x12 + 0x20)
// };
// checkCSE(input, AssemblyItems{Instruction::DUP1}, state);
//}
BOOST_AUTO_TEST_CASE(cse_with_initially_known_stack)
{
eth::KnownState state = createInitialState(AssemblyItems{
u256(0x12),
u256(0x20),
Instruction::ADD
});
AssemblyItems input{
u256(0x12 + 0x20)
};
checkCSE(input, AssemblyItems{Instruction::DUP1}, state);
}
BOOST_AUTO_TEST_CASE(cse_equality_on_initially_known_stack)
{