test/libyul/yulOptimizerTests/rematerialiser/reassign.yul


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21

{
    let a := extcodesize(0)
    let b := a
    let c := b
    a := 2
    let d := add(b, c)
    pop(a) pop(b) pop(c) pop(d)
}
// ----
// rematerialiser
// {
//     let a := extcodesize(0)
//     let b := a
//     let c := a
//     a := 2
//     let d := add(b, c)
//     pop(2)
//     pop(b)
//     pop(c)
//     pop(add(b, c))
// }