solidity/test/libyul/yulOptimizerTests/loadResolver/side_effects_of_user_functions.yul

{
    function stores() { mstore(0, 1) }
    function reads() { sstore(9, mload(7)) }

    mstore(2, 9)
    reads()
    sstore(0, mload(2))
    stores()
    sstore(0, mload(2))
}
// ----
// step: loadResolver
//
// {
//     {
//         let _1 := 9
//         let _2 := 2
//         mstore(_2, _1)
//         reads()
//         let _4 := _1
//         let _5 := 0
//         sstore(_5, _4)
//         stores()
//         sstore(_5, mload(_2))
//     }
//     function stores()
//     { mstore(0, 1) }
//     function reads()
//     { sstore(9, mload(7)) }
// }