solidity/test/libyul/yulOptimizerTests/fullSuite/reuse_vars_bug_in_simplifier.yul

16 lines
351 B
Plaintext

{
// This tests that a bug is fixed that was related to just taking
// values of SSA variables in account and not clearing them when
// a dependency was reassigned.
pop(foo())
function foo() -> x_9
{
x_9 := sub(1,sub(x_9,1))
mstore(sub(1,div(sub(x_9,1),sub(1,sub(x_9,1)))), 1)
}
}
// ====
// step: fullSuite
// ----
// { { mstore(1, 1) } }