test/libjulia/yulOptimizerTests/rematerialiser/update_asignment_remat.yul


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

// We cannot substitute `a` in `let b := a`
{
    let a := extcodesize(0)
    a := mul(a, 2)
    let b := a
}
// ----
// rematerialiser
// {
//     let a := extcodesize(0)
//     a := mul(a, 2)
//     let b := a
// }