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