Control-Flow: Improve debug text of ReadValueInstruction
This commit is contained in:
Alexey Sedunov
+9
-1
@@ -69,7 +69,15 @@ public class ReadValueInstruction private (
|
||||
|
||||
override fun toString(): String {
|
||||
val inVal = if (receiverValues.isEmpty()) "" else "|${receiverValues.keySet().joinToString()}"
|
||||
return "r(${render(element)}$inVal) -> $outputValue"
|
||||
val targetName = when (target) {
|
||||
is AccessTarget.Declaration -> target.descriptor
|
||||
is AccessTarget.Call -> target.resolvedCall.getResultingDescriptor()
|
||||
else -> null
|
||||
}?.getName()?.asString()
|
||||
|
||||
val elementText = render(element)
|
||||
val description = if (targetName != null && targetName != elementText) "$elementText, $targetName" else elementText
|
||||
return "r($description$inVal) -> $outputValue"
|
||||
}
|
||||
|
||||
override fun createCopy(): InstructionImpl =
|
||||
|
||||
@@ -37,7 +37,7 @@ L3:
|
||||
3 <START> INIT: in: {} out: {}
|
||||
4 mark({ return $a })
|
||||
magic[IMPLICIT_RECEIVER]($a) -> <v0> USE: in: {a=READ} out: {a=READ}
|
||||
r($a|<v0>) -> <v1> USE: in: {} out: {a=READ}
|
||||
r($a, a|<v0>) -> <v1> USE: in: {} out: {a=READ}
|
||||
ret(*|<v1>) L4
|
||||
L4:
|
||||
3 <END>
|
||||
|
||||
@@ -18,7 +18,7 @@ get() {
|
||||
}
|
||||
---------------------
|
||||
<v0>: A NEW: magic[IMPLICIT_RECEIVER]($a) -> <v0>
|
||||
$a <v1>: Int NEW: r($a|<v0>) -> <v1>
|
||||
$a <v1>: Int NEW: r($a, a|<v0>) -> <v1>
|
||||
return $a !<v2>: *
|
||||
{ return $a } !<v2>: * COPY
|
||||
=====================
|
||||
|
||||
+1
-1
@@ -7,7 +7,7 @@ L0:
|
||||
magic[FAKE_INITIALIZER](f: (T) -> U) -> <v0>
|
||||
w(f|<v0>)
|
||||
r(f) -> <v1>
|
||||
r(this) -> <v2>
|
||||
r(this, <this>) -> <v2>
|
||||
mark(f(this))
|
||||
call(f(this), invoke|<v1>, <v2>) -> <v3>
|
||||
ret(*|<v3>) L1
|
||||
|
||||
@@ -4,7 +4,7 @@ fun <T: Any, U> T.let(f: (T) -> U): U = f(this)
|
||||
<v0>: {<: (T) -> U} NEW: magic[FAKE_INITIALIZER](f: (T) -> U) -> <v0>
|
||||
f <v1>: {<: (T) -> U} NEW: r(f) -> <v1>
|
||||
this <v2>: {<: T} COPY
|
||||
this <v2>: {<: T} NEW: r(this) -> <v2>
|
||||
this <v2>: {<: T} NEW: r(this, <this>) -> <v2>
|
||||
f(this) <v3>: {<: U} NEW: call(f(this), invoke|<v1>, <v2>) -> <v3>
|
||||
=====================
|
||||
== bar ==
|
||||
|
||||
@@ -86,7 +86,7 @@ L0:
|
||||
2 mark({ foo[1] += 2 })
|
||||
mark(foo[1])
|
||||
r(foo) -> <v1>
|
||||
r(foo[1]|<v1>) -> <v2>
|
||||
r(foo[1], get|<v1>) -> <v2>
|
||||
r(1) -> <v3>
|
||||
mark(foo[1])
|
||||
call(foo[1], invoke|<v2>, <v3>) -> <v4>
|
||||
@@ -94,7 +94,7 @@ L0:
|
||||
mark(foo[1] += 2)
|
||||
call(foo[1] += 2, plus|<v4>, <v5>) -> <v6>
|
||||
r(foo) -> <v7>
|
||||
r(foo[1]|<v7>) -> <v8>
|
||||
r(foo[1], set|<v7>) -> <v8>
|
||||
r(1) -> <v9>
|
||||
call(foo[1] += 2, invoke|<v8>, <v9>, <v6>) -> <v10>
|
||||
L1:
|
||||
|
||||
@@ -34,7 +34,7 @@ fun test(foo: Foo) {
|
||||
<v0>: Foo NEW: magic[FAKE_INITIALIZER](foo: Foo) -> <v0>
|
||||
foo <v7>: Foo NEW: r(foo) -> <v7>
|
||||
1 <v9>: Int NEW: r(1) -> <v9>
|
||||
foo[1] <v8>: Bar NEW: r(foo[1]|<v7>) -> <v8>
|
||||
foo[1] <v8>: Bar NEW: r(foo[1], set|<v7>) -> <v8>
|
||||
2 <v5>: Int NEW: r(2) -> <v5>
|
||||
foo[1] += 2 <v10>: * NEW: call(foo[1] += 2, invoke|<v8>, <v9>, <v6>) -> <v10>
|
||||
{ foo[1] += 2 } <v10>: * COPY
|
||||
|
||||
@@ -87,7 +87,7 @@ L0:
|
||||
mark(foo[1] += 2)
|
||||
call(foo[1] += 2, plus|<v3>, <v4>) -> <v5>
|
||||
r(foo) -> <v6>
|
||||
r(foo[1]|<v6>) -> <v7>
|
||||
r(foo[1], set|<v6>) -> <v7>
|
||||
r(1) -> <v8>
|
||||
call(foo[1] += 2, invoke|<v7>, <v8>, <v5>) -> <v9>
|
||||
L1:
|
||||
|
||||
@@ -31,7 +31,7 @@ fun test(foo: Foo) {
|
||||
<v0>: Foo NEW: magic[FAKE_INITIALIZER](foo: Foo) -> <v0>
|
||||
foo <v6>: Foo NEW: r(foo) -> <v6>
|
||||
1 <v8>: Int NEW: r(1) -> <v8>
|
||||
foo[1] <v7>: Bar NEW: r(foo[1]|<v6>) -> <v7>
|
||||
foo[1] <v7>: Bar NEW: r(foo[1], set|<v6>) -> <v7>
|
||||
2 <v4>: Int NEW: r(2) -> <v4>
|
||||
foo[1] += 2 <v9>: * NEW: call(foo[1] += 2, invoke|<v7>, <v8>, <v5>) -> <v9>
|
||||
{ foo[1] += 2 } <v9>: * COPY
|
||||
|
||||
@@ -60,7 +60,7 @@ L0:
|
||||
2 mark({ foo[1] })
|
||||
mark(foo[1])
|
||||
r(foo) -> <v1>
|
||||
r(foo[1]|<v1>) -> <v2>
|
||||
r(foo[1], get|<v1>) -> <v2>
|
||||
r(1) -> <v3>
|
||||
mark(foo[1])
|
||||
call(foo[1], invoke|<v2>, <v3>) -> <v4>
|
||||
@@ -87,7 +87,7 @@ L0:
|
||||
2 mark({ foo[1] })
|
||||
mark(foo[1])
|
||||
r(foo) -> <v2>
|
||||
r(foo[1]|<v2>) -> <v3>
|
||||
r(foo[1], get|<v2>) -> <v3>
|
||||
r(1) -> <v4>
|
||||
mark(foo[1])
|
||||
call(foo[1], invoke|<v3>, <v4>) -> <v5>
|
||||
|
||||
@@ -63,7 +63,7 @@ L0:
|
||||
2 mark({ foo[1] = 2 })
|
||||
mark(foo[1])
|
||||
r(foo) -> <v1>
|
||||
r(foo[1]|<v1>) -> <v2>
|
||||
r(foo[1], set|<v1>) -> <v2>
|
||||
r(1) -> <v3>
|
||||
r(2) -> <v4>
|
||||
call(foo[1] = 2, invoke|<v2>, <v3>, <v4>) -> <v5>
|
||||
@@ -90,7 +90,7 @@ L0:
|
||||
2 mark({ foo[1] = 2 })
|
||||
mark(foo[1])
|
||||
r(foo) -> <v2>
|
||||
r(foo[1]|<v2>) -> <v3>
|
||||
r(foo[1], set|<v2>) -> <v3>
|
||||
r(1) -> <v4>
|
||||
r(2) -> <v5>
|
||||
call(foo[1] = 2, invoke|<v3>, <v4>, <v5>) -> <v6>
|
||||
|
||||
@@ -25,7 +25,7 @@ fun test1(foo: Foo) {
|
||||
<v0>: Foo NEW: magic[FAKE_INITIALIZER](foo: Foo) -> <v0>
|
||||
foo <v1>: Foo NEW: r(foo) -> <v1>
|
||||
1 <v3>: Int NEW: r(1) -> <v3>
|
||||
foo[1] <v2>: Bar NEW: r(foo[1]|<v1>) -> <v2>
|
||||
foo[1] <v2>: Bar NEW: r(foo[1], set|<v1>) -> <v2>
|
||||
2 <v4>: Int NEW: r(2) -> <v4>
|
||||
foo[1] = 2 <v5>: * NEW: call(foo[1] = 2, invoke|<v2>, <v3>, <v4>) -> <v5>
|
||||
{ foo[1] = 2 } <v5>: * COPY
|
||||
@@ -39,7 +39,7 @@ fun test2(foo: Foo, set: Foo.(Int, Int) -> Int) {
|
||||
<v1>: {<: Foo.(Int, Int) -> Int} NEW: magic[FAKE_INITIALIZER](set: Foo.(Int, Int) -> Int) -> <v1>
|
||||
foo <v2>: Foo NEW: r(foo) -> <v2>
|
||||
1 <v4>: Int NEW: r(1) -> <v4>
|
||||
foo[1] <v3>: Bar NEW: r(foo[1]|<v2>) -> <v3>
|
||||
foo[1] <v3>: Bar NEW: r(foo[1], set|<v2>) -> <v3>
|
||||
2 <v5>: Int NEW: r(2) -> <v5>
|
||||
foo[1] = 2 <v6>: * NEW: call(foo[1] = 2, invoke|<v3>, <v4>, <v5>) -> <v6>
|
||||
{ foo[1] = 2 } <v6>: * COPY
|
||||
|
||||
@@ -13,11 +13,11 @@ L0:
|
||||
v(val a: Int get() = 1)
|
||||
2 mark({ $a })
|
||||
magic[IMPLICIT_RECEIVER]($a) -> <v0>
|
||||
r($a|<v0>) -> <v1>
|
||||
r($a, a|<v0>) -> <v1>
|
||||
L1:
|
||||
1 <END> NEXT:[<SINK>]
|
||||
error:
|
||||
<ERROR> PREV:[]
|
||||
sink:
|
||||
<SINK> PREV:[<ERROR>, <END>]
|
||||
=====================
|
||||
=====================
|
||||
|
||||
@@ -9,6 +9,6 @@ class C {
|
||||
}
|
||||
---------------------
|
||||
<v0>: C NEW: magic[IMPLICIT_RECEIVER]($a) -> <v0>
|
||||
$a <v1>: * NEW: r($a|<v0>) -> <v1>
|
||||
$a <v1>: * NEW: r($a, a|<v0>) -> <v1>
|
||||
{ $a } <v1>: * COPY
|
||||
=====================
|
||||
|
||||
+3
-3
@@ -22,8 +22,8 @@ L0:
|
||||
mark("foo")
|
||||
r("foo") -> <v0>
|
||||
mark(this.$bar)
|
||||
r(this) -> <v1>
|
||||
r($bar|<v1>) -> <v2>
|
||||
r(this, <this>) -> <v1>
|
||||
r($bar, bar|<v1>) -> <v2>
|
||||
mark("foo" + this.$bar)
|
||||
call("foo" + this.$bar, plus|<v0>, <v2>) -> <v3>
|
||||
ret(*|<v3>) L1
|
||||
@@ -33,4 +33,4 @@ error:
|
||||
<ERROR> PREV:[]
|
||||
sink:
|
||||
<SINK> PREV:[<ERROR>, <END>]
|
||||
=====================
|
||||
=====================
|
||||
|
||||
@@ -10,8 +10,8 @@ fun foo() = "foo" + this.$bar
|
||||
---------------------
|
||||
"foo" <v0>: String NEW: r("foo") -> <v0>
|
||||
this <v1>: {<: Bar} COPY
|
||||
this <v1>: {<: Bar} NEW: r(this) -> <v1>
|
||||
$bar <v2>: * NEW: r($bar|<v1>) -> <v2>
|
||||
this <v1>: {<: Bar} NEW: r(this, <this>) -> <v1>
|
||||
$bar <v2>: * NEW: r($bar, bar|<v1>) -> <v2>
|
||||
this.$bar <v2>: * COPY
|
||||
"foo" + this.$bar <v3>: String NEW: call("foo" + this.$bar, plus|<v0>, <v2>) -> <v3>
|
||||
=====================
|
||||
|
||||
Reference in New Issue
Block a user