test/libyul/yulOptimizerTests/ssaReverser/simple.yul


1
2
3
4
5
6
7
8
9
10
11
12
13
14

{
    let a := mload(1)
    let a_1 := mload(0)
    a := a_1
    mstore(a_1, 0)
}
// ----
// ssaReverser
// {
//     let a := mload(1)
//     a := mload(0)
//     let a_1 := a
//     mstore(a_1, 0)
// }