1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
|
{
let a := 1
mstore(a, 0)
a := 2
mstore(a, 0)
{
mstore(a, 0)
a := 3
mstore(a, 0)
a := 4
mstore(a, 0)
}
mstore(a, 0)
a := 4
mstore(a, 0)
}
// ----
// ssaTransform
// {
// let a_1 := 1
// let a := a_1
// mstore(a_1, 0)
// let a_2 := 2
// a := a_2
// mstore(a_2, 0)
// {
// mstore(a_2, 0)
// let a_3 := 3
// a := a_3
// mstore(a_3, 0)
// let a_4 := 4
// a := a_4
// mstore(a_4, 0)
// }
// mstore(a, 0)
// let a_5 := 4
// a := a_5
// mstore(a_5, 0)
// }
|
