Pseudocode: Do not bind call value to callee expressions
This commit is contained in:
Alexey Sedunov
@@ -28,9 +28,8 @@ fun t2() {
|
||||
---------------------
|
||||
1 <v0> NEW()
|
||||
2 <v1> NEW()
|
||||
> <v3> NEW(<v1>, <v2>)
|
||||
3 <v2> NEW()
|
||||
2 > 3 <v3> COPY
|
||||
3 <v2> NEW()
|
||||
2 > 3 <v3> NEW(<v1>, <v2>)
|
||||
2 <v4> NEW()
|
||||
{ 2 } <v4> COPY
|
||||
=====================
|
||||
@@ -65,9 +64,8 @@ try { 1 @l{ () -> if (2 > 3) { return@l } } } finally { 2 } <v1> COPY
|
||||
}
|
||||
---------------------
|
||||
2 <v0> NEW()
|
||||
> <v2> NEW(<v0>, <v1>)
|
||||
3 <v1> NEW()
|
||||
2 > 3 <v2> COPY
|
||||
3 <v1> NEW()
|
||||
2 > 3 <v2> NEW(<v0>, <v1>)
|
||||
=====================
|
||||
== t4 ==
|
||||
fun t4() {
|
||||
@@ -101,9 +99,8 @@ fun t4() {
|
||||
---------------------
|
||||
1 <v0> NEW()
|
||||
2 <v1> NEW()
|
||||
> <v3> NEW(<v1>, <v2>)
|
||||
3 <v2> NEW()
|
||||
2 > 3 <v3> COPY
|
||||
3 <v2> NEW()
|
||||
2 > 3 <v3> NEW(<v1>, <v2>)
|
||||
2 <v4> NEW()
|
||||
{ 2 } <v4> COPY
|
||||
=====================
|
||||
@@ -124,9 +121,8 @@ fun t5() {
|
||||
true <v0> NEW()
|
||||
1 <v1> NEW()
|
||||
2 <v2> NEW()
|
||||
> <v4> NEW(<v2>, <v3>)
|
||||
3 <v3> NEW()
|
||||
2 > 3 <v4> COPY
|
||||
3 <v3> NEW()
|
||||
2 > 3 <v4> NEW(<v2>, <v3>)
|
||||
2 <v5> NEW()
|
||||
{ 2 } <v5> COPY
|
||||
=====================
|
||||
@@ -148,9 +144,8 @@ fun t6() {
|
||||
true <v0> NEW()
|
||||
1 <v1> NEW()
|
||||
2 <v2> NEW()
|
||||
> <v4> NEW(<v2>, <v3>)
|
||||
3 <v3> NEW()
|
||||
2 > 3 <v4> COPY
|
||||
3 <v3> NEW()
|
||||
2 > 3 <v4> NEW(<v2>, <v3>)
|
||||
5 <v5> NEW()
|
||||
{ @l while(true) { 1 if (2 > 3) { break @l } } 5 } <v5> COPY
|
||||
2 <v6> NEW()
|
||||
@@ -175,9 +170,8 @@ fun t7() {
|
||||
true <v0> NEW()
|
||||
1 <v1> NEW()
|
||||
2 <v2> NEW()
|
||||
> <v4> NEW(<v2>, <v3>)
|
||||
3 <v3> NEW()
|
||||
2 > 3 <v4> COPY
|
||||
3 <v3> NEW()
|
||||
2 > 3 <v4> NEW(<v2>, <v3>)
|
||||
2 <v5> NEW()
|
||||
{ 2 } <v5> COPY
|
||||
=====================
|
||||
@@ -196,14 +190,12 @@ fun t8(a : Int) {
|
||||
}
|
||||
---------------------
|
||||
1 <v1> NEW()
|
||||
.. <v3> NEW(<v1>, <v2>)
|
||||
a <v2> NEW()
|
||||
1..a <v3> COPY
|
||||
1..a <v3> NEW(<v1>, <v2>)
|
||||
1 <v5> NEW()
|
||||
2 <v6> NEW()
|
||||
> <v8> NEW(<v6>, <v7>)
|
||||
3 <v7> NEW()
|
||||
2 > 3 <v8> COPY
|
||||
2 > 3 <v8> NEW(<v6>, <v7>)
|
||||
2 <v9> NEW()
|
||||
{ 2 } <v9> COPY
|
||||
=====================
|
||||
@@ -223,14 +215,12 @@ fun t9(a : Int) {
|
||||
}
|
||||
---------------------
|
||||
1 <v1> NEW()
|
||||
.. <v3> NEW(<v1>, <v2>)
|
||||
a <v2> NEW()
|
||||
1..a <v3> COPY
|
||||
a <v2> NEW()
|
||||
1..a <v3> NEW(<v1>, <v2>)
|
||||
1 <v5> NEW()
|
||||
2 <v6> NEW()
|
||||
> <v8> NEW(<v6>, <v7>)
|
||||
3 <v7> NEW()
|
||||
2 > 3 <v8> COPY
|
||||
3 <v7> NEW()
|
||||
2 > 3 <v8> NEW(<v6>, <v7>)
|
||||
5 <v9> NEW()
|
||||
{ @l for (i in 1..a) { 1 if (2 > 3) { continue @l } } 5 } <v9> COPY
|
||||
2 <v10> NEW()
|
||||
@@ -253,14 +243,12 @@ fun t10(a : Int) {
|
||||
}
|
||||
---------------------
|
||||
1 <v1> NEW()
|
||||
.. <v3> NEW(<v1>, <v2>)
|
||||
a <v2> NEW()
|
||||
1..a <v3> COPY
|
||||
1..a <v3> NEW(<v1>, <v2>)
|
||||
1 <v5> NEW()
|
||||
2 <v6> NEW()
|
||||
> <v8> NEW(<v6>, <v7>)
|
||||
3 <v7> NEW()
|
||||
2 > 3 <v8> COPY
|
||||
2 > 3 <v8> NEW(<v6>, <v7>)
|
||||
2 <v9> NEW()
|
||||
{ 2 } <v9> COPY
|
||||
=====================
|
||||
@@ -288,9 +276,8 @@ fun t12() : Int {
|
||||
}
|
||||
---------------------
|
||||
1 <v0> NEW()
|
||||
doSmth <v2> NEW(<v1>)
|
||||
3 <v1> NEW()
|
||||
doSmth(3) <v2> COPY
|
||||
3 <v1> NEW()
|
||||
doSmth(3) <v2> NEW(<v1>)
|
||||
{ doSmth(3) } <v2> COPY
|
||||
=====================
|
||||
== t13 ==
|
||||
@@ -307,13 +294,11 @@ fun t13() : Int {
|
||||
}
|
||||
---------------------
|
||||
1 <v0> NEW()
|
||||
doSmth <v5> NEW(<v4>)
|
||||
2 <v4> NEW()
|
||||
doSmth(2) <v5> COPY
|
||||
2 <v4> NEW()
|
||||
doSmth(2) <v5> NEW(<v4>)
|
||||
{ doSmth(2) } <v5> COPY
|
||||
doSmth <v2> NEW(<v1>)
|
||||
3 <v1> NEW()
|
||||
doSmth(3) <v2> COPY
|
||||
3 <v1> NEW()
|
||||
doSmth(3) <v2> NEW(<v1>)
|
||||
{ doSmth(3) } <v2> COPY
|
||||
try { return 1 } catch (e: UnsupportedOperationException) { doSmth(2) } finally { doSmth(3) } <v5> COPY
|
||||
{ try { return 1 } catch (e: UnsupportedOperationException) { doSmth(2) } finally { doSmth(3) } } <v5> COPY
|
||||
@@ -329,9 +314,8 @@ fun t14() : Int {
|
||||
}
|
||||
---------------------
|
||||
1 <v0> NEW()
|
||||
doSmth <v3> NEW(<v2>)
|
||||
2 <v2> NEW()
|
||||
doSmth(2) <v3> COPY
|
||||
2 <v2> NEW()
|
||||
doSmth(2) <v3> NEW(<v2>)
|
||||
{ doSmth(2) } <v3> COPY
|
||||
try { return 1 } catch (e: UnsupportedOperationException) { doSmth(2) } <v3> COPY
|
||||
{ try { return 1 } catch (e: UnsupportedOperationException) { doSmth(2) } } <v3> COPY
|
||||
@@ -351,9 +335,8 @@ fun t15() : Int {
|
||||
---------------------
|
||||
1 <v0> NEW()
|
||||
2 <v4> NEW()
|
||||
doSmth <v2> NEW(<v1>)
|
||||
3 <v1> NEW()
|
||||
doSmth(3) <v2> COPY
|
||||
doSmth(3) <v2> NEW(<v1>)
|
||||
{ doSmth(3) } <v2> COPY
|
||||
=====================
|
||||
== t16 ==
|
||||
@@ -369,14 +352,12 @@ fun t16() : Int {
|
||||
}
|
||||
}
|
||||
---------------------
|
||||
doSmth <v1> NEW(<v0>)
|
||||
1 <v0> NEW()
|
||||
doSmth(1) <v1> COPY
|
||||
1 <v0> NEW()
|
||||
doSmth(1) <v1> NEW(<v0>)
|
||||
{ doSmth(1) } <v1> COPY
|
||||
2 <v3> NEW()
|
||||
doSmth <v5> NEW(<v4>)
|
||||
3 <v4> NEW()
|
||||
doSmth(3) <v5> COPY
|
||||
3 <v4> NEW()
|
||||
doSmth(3) <v5> NEW(<v4>)
|
||||
{ doSmth(3) } <v5> COPY
|
||||
try { doSmth(1) } catch (e: UnsupportedOperationException) { return 2 } finally { doSmth(3) } <v1> COPY
|
||||
{ try { doSmth(1) } catch (e: UnsupportedOperationException) { return 2 } finally { doSmth(3) } } <v1> COPY
|
||||
|
||||
@@ -30,15 +30,12 @@ fun testCopy1() : Int {
|
||||
}
|
||||
}
|
||||
---------------------
|
||||
doSmth <v0> NEW()
|
||||
doSmth() <v0> COPY
|
||||
{ doSmth() } <v0> COPY
|
||||
doSmth1 <v2> NEW()
|
||||
doSmth1() <v2> COPY
|
||||
{ doSmth1() } <v2> COPY
|
||||
doSmth2 <v4> NEW()
|
||||
doSmth2() <v4> COPY
|
||||
{ doSmth2() } <v4> COPY
|
||||
doSmth() <v0> NEW()
|
||||
{ doSmth() } <v0> COPY
|
||||
doSmth1() <v2> NEW()
|
||||
{ doSmth1() } <v2> COPY
|
||||
doSmth2() <v4> NEW()
|
||||
{ doSmth2() } <v4> COPY
|
||||
1 <v5> NEW()
|
||||
try { doSmth() } catch (e: NullPointerException) { doSmth1() } catch (e: Exception) { doSmth2() } finally { return 1 } <v6> NEW(<v0>, <v2>, <v4>)
|
||||
{ try { doSmth() } catch (e: NullPointerException) { doSmth1() } catch (e: Exception) { doSmth2() } finally { return 1 } } <v6> COPY
|
||||
@@ -62,19 +59,14 @@ fun testCopy2() {
|
||||
}
|
||||
}
|
||||
---------------------
|
||||
cond <v0> NEW()
|
||||
cond() <v0> COPY
|
||||
doSmth <v1> NEW()
|
||||
doSmth() <v1> COPY
|
||||
{ doSmth() } <v1> COPY
|
||||
doSmth1 <v3> NEW()
|
||||
doSmth1() <v3> COPY
|
||||
{ doSmth1() } <v3> COPY
|
||||
doSmth2 <v5> NEW()
|
||||
doSmth2() <v5> COPY
|
||||
{ doSmth2() } <v5> COPY
|
||||
cond <v6> NEW()
|
||||
cond() <v6> COPY
|
||||
cond() <v0> NEW()
|
||||
doSmth() <v1> NEW()
|
||||
{ doSmth() } <v1> COPY
|
||||
doSmth1() <v3> NEW()
|
||||
{ doSmth1() } <v3> COPY
|
||||
doSmth2() <v5> NEW()
|
||||
{ doSmth2() } <v5> COPY
|
||||
cond() <v6> NEW()
|
||||
try { doSmth() } catch (e: NullPointerException) { doSmth1() } catch (e: Exception) { doSmth2() } finally { if (cond()) return else continue } <v7> NEW(<v1>, <v3>, <v5>)
|
||||
{ try { doSmth() } catch (e: NullPointerException) { doSmth1() } catch (e: Exception) { doSmth2() } finally { if (cond()) return else continue } } <v7> COPY
|
||||
=====================
|
||||
@@ -94,17 +86,13 @@ fun testCopy3() {
|
||||
}
|
||||
}
|
||||
---------------------
|
||||
doSmth <v0> NEW()
|
||||
doSmth() <v0> COPY
|
||||
{ doSmth() } <v0> COPY
|
||||
doSmth1 <v2> NEW()
|
||||
doSmth1() <v2> COPY
|
||||
{ doSmth1() } <v2> COPY
|
||||
doSmth2 <v4> NEW()
|
||||
doSmth2() <v4> COPY
|
||||
{ doSmth2() } <v4> COPY
|
||||
cond <v5> NEW()
|
||||
cond() <v5> COPY
|
||||
doSmth() <v0> NEW()
|
||||
{ doSmth() } <v0> COPY
|
||||
doSmth1() <v2> NEW()
|
||||
{ doSmth1() } <v2> COPY
|
||||
doSmth2() <v4> NEW()
|
||||
{ doSmth2() } <v4> COPY
|
||||
cond() <v5> NEW()
|
||||
try { doSmth() } catch (e: NullPointerException) { doSmth1() } catch (e: Exception) { doSmth2() } finally { while (cond()); } <v6> NEW(<v0>, <v2>, <v4>)
|
||||
{ try { doSmth() } catch (e: NullPointerException) { doSmth1() } catch (e: Exception) { doSmth2() } finally { while (cond()); } } <v6> COPY
|
||||
=====================
|
||||
@@ -119,13 +107,11 @@ fun doTestCopy4(list: List<String>?) : Int {
|
||||
}
|
||||
}
|
||||
---------------------
|
||||
doSmth <v1> NEW()
|
||||
doSmth() <v1> COPY
|
||||
{ doSmth() } <v1> COPY
|
||||
doSmth() <v1> NEW()
|
||||
{ doSmth() } <v1> COPY
|
||||
list <v2> NEW()
|
||||
!= <v4> NEW(<v2>, <v3>)
|
||||
null <v3> NEW()
|
||||
list != null <v4> COPY
|
||||
null <v3> NEW()
|
||||
list != null <v4> NEW(<v2>, <v3>)
|
||||
try { doSmth() } finally { if(list != null) { } } <v1> COPY
|
||||
{ try { doSmth() } finally { if(list != null) { } } } <v1> COPY
|
||||
=====================
|
||||
|
||||
@@ -6,12 +6,10 @@ fun t1() {
|
||||
}
|
||||
---------------------
|
||||
1 <v0> NEW()
|
||||
.. <v2> NEW(<v0>, <v1>)
|
||||
2 <v1> NEW()
|
||||
1..2 <v2> COPY
|
||||
doSmth <v5> NEW(<v4>)
|
||||
2 <v1> NEW()
|
||||
1..2 <v2> NEW(<v0>, <v1>)
|
||||
i <v4> NEW()
|
||||
doSmth(i) <v5> COPY
|
||||
doSmth(i) <v5> NEW(<v4>)
|
||||
{ doSmth(i) } <v5> COPY
|
||||
=====================
|
||||
== doSmth ==
|
||||
|
||||
@@ -18,15 +18,13 @@ fun t1(b: Boolean) {
|
||||
---------------------
|
||||
b <v1> NEW()
|
||||
"s" <v2> NEW()
|
||||
doSmth <v4> NEW(<v3>)
|
||||
u <v3> NEW()
|
||||
doSmth(u) <v4> COPY
|
||||
u <v3> NEW()
|
||||
doSmth(u) <v4> NEW(<v3>)
|
||||
b <v5> NEW()
|
||||
"s" <v6> NEW()
|
||||
"t" <v7> NEW()
|
||||
doSmth <v9> NEW(<v8>)
|
||||
r <v8> NEW()
|
||||
doSmth(r) <v9> COPY
|
||||
r <v8> NEW()
|
||||
doSmth(r) <v9> NEW(<v8>)
|
||||
{ var u: String if (b) { u = "s" } doSmth(u) var r: String if (b) { r = "s" } else { r = "t" } doSmth(r) } <v9> COPY
|
||||
=====================
|
||||
== t2 ==
|
||||
@@ -43,9 +41,8 @@ fun t2(b: Boolean) {
|
||||
---------------------
|
||||
3 <v1> NEW()
|
||||
b <v2> NEW()
|
||||
doSmth <v4> NEW(<v3>)
|
||||
i <v3> NEW()
|
||||
doSmth(i) <v4> COPY
|
||||
doSmth(i) <v4> NEW(<v3>)
|
||||
i <v5> NEW()
|
||||
i is Int <v6> NEW(<v5>)
|
||||
=====================
|
||||
|
||||
@@ -6,9 +6,8 @@ fun main() {
|
||||
}
|
||||
---------------------
|
||||
0 <v0> NEW()
|
||||
> <v2> NEW(<v0>, <v1>)
|
||||
1 <v1> NEW()
|
||||
0 > 1 <v2> COPY
|
||||
1 <v1> NEW()
|
||||
0 > 1 <v2> NEW(<v0>, <v1>)
|
||||
2 <v3> NEW()
|
||||
{ 2 } <v3> COPY
|
||||
=====================
|
||||
@@ -19,7 +18,6 @@ fun dowhile() {
|
||||
}
|
||||
---------------------
|
||||
0 <v0> NEW()
|
||||
> <v2> NEW(<v0>, <v1>)
|
||||
1 <v1> NEW()
|
||||
0 > 1 <v2> COPY
|
||||
1 <v1> NEW()
|
||||
0 > 1 <v2> NEW(<v0>, <v1>)
|
||||
=====================
|
||||
|
||||
Reference in New Issue
Block a user