blob: 6dbce7292104416bcd42e496e3cb0fda0f232223 (
plain) (
blame)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
|
{
let a := 1
a := 2
a := 3
a := 4
}
// ----
// ssaTransform
// {
// let a_1 := 1
// let a := a_1
// let a_2 := 2
// a := a_2
// let a_3 := 3
// a := a_3
// let a_4 := 4
// a := a_4
// }
|