[IR] More extensive LVT tests around destructuring

All tests in this commit _pass_ to document existing behavior, but
this will change in a separate commit as we reflect desired behavior
in the test expectations.
This commit is contained in:
Kristoffer Andersen
2022-03-01 12:37:14 +01:00
committed by Alexander Udalov
parent 9b44c73f54
commit b81139ad36
19 changed files with 843 additions and 62 deletions
@@ -0,0 +1,18 @@
// WITH_STDLIB
// FILE: test.kt
fun box(): String {
val p = "O" to "K"
val ( o , k ) = p
return o + k
}
// EXPECTATIONS
// test.kt:5 box:
// test.kt:7 box: p:kotlin.Pair=kotlin.Pair
// test.kt:9 box: p:kotlin.Pair=kotlin.Pair, o:java.lang.String="O":java.lang.String, k:java.lang.String="K":java.lang.String
@@ -0,0 +1,36 @@
// FILE: test.kt
class MyPair(val x: String, val y: String) {
operator fun component1(): String {
return "O"
}
operator fun component2(): String {
return "K"
}
}
fun box(): String {
val p = MyPair("X", "Y")
val (o, k) = p
return o + k
}
// EXPECTATIONS
// test.kt:15 box:
// test.kt:4 <init>: x:java.lang.String="X":java.lang.String, y:java.lang.String="Y":java.lang.String
// test.kt:15 box:
// test.kt:16 box: p:MyPair=MyPair
// test.kt:6 component1:
// test.kt:16 box: p:MyPair=MyPair
// test.kt:10 component2:
// EXPECTATIONS JVM
// test.kt:16 box: p:MyPair=MyPair
// test.kt:17 box: p:MyPair=MyPair, o:java.lang.String="O":java.lang.String, k:java.lang.String="K":java.lang.String
// EXPECTATIONS JVM_IR
// test.kt:16 box: p:MyPair=MyPair, o:java.lang.String="O":java.lang.String
// test.kt:17 box: p:MyPair=MyPair, o:java.lang.String="O":java.lang.String, k:java.lang.String="K":java.lang.String
@@ -0,0 +1,49 @@
// IGNORE_BACKEND_FIR: JVM_IR
// FILE: test.kt
class MyPair(val x: String, val y: String) {
operator fun component1(): String {
return "O"
}
operator fun component2(): String {
return "K"
}
}
fun box(): String {
val p = MyPair("X", "Y")
val
(
o
,
k
)
=
p
return o + k
}
// EXPECTATIONS
// test.kt:15 box:
// test.kt:4 <init>: x:java.lang.String="X":java.lang.String, y:java.lang.String="Y":java.lang.String
// test.kt:15 box:
// EXPECTATIONS JVM
// test.kt:23 box: p:MyPair=MyPair
// test.kt:6 component1:
// test.kt:18 box: p:MyPair=MyPair
// test.kt:10 component2:
// test.kt:20 box: p:MyPair=MyPair
// test.kt:24 box: p:MyPair=MyPair, o:java.lang.String="O":java.lang.String, k:java.lang.String="K":java.lang.String
// EXPECTATIONS JVM_IR
// test.kt:23 box: p:MyPair=MyPair
// test.kt:18 box: p:MyPair=MyPair
// test.kt:6 component1:
// test.kt:18 box: p:MyPair=MyPair
// test.kt:23 box: p:MyPair=MyPair, o:java.lang.String="O":java.lang.String
// test.kt:20 box: p:MyPair=MyPair, o:java.lang.String="O":java.lang.String
// test.kt:10 component2:
// test.kt:20 box: p:MyPair=MyPair, o:java.lang.String="O":java.lang.String
// test.kt:24 box: p:MyPair=MyPair, o:java.lang.String="O":java.lang.String, k:java.lang.String="K":java.lang.String
@@ -0,0 +1,34 @@
// WITH_STDLIB
// IGNORE_BACKEND_FIR: JVM_IR
// FILE: test.kt
fun box(): String {
val p = "O" to "K"
val
(
o
,
k
)
=
p
return o + k
}
// EXPECTATIONS
// test.kt:6 box:
// EXPECTATIONS JVM
// test.kt:15 box: p:kotlin.Pair=kotlin.Pair
// test.kt:10 box: p:kotlin.Pair=kotlin.Pair
// test.kt:12 box: p:kotlin.Pair=kotlin.Pair
// test.kt:17 box: p:kotlin.Pair=kotlin.Pair, o:java.lang.String="O":java.lang.String, k:java.lang.String="K":java.lang.String
// EXPECTATIONS JVM_IR
// test.kt:15 box: p:kotlin.Pair=kotlin.Pair
// test.kt:10 box: p:kotlin.Pair=kotlin.Pair
// test.kt:15 box: p:kotlin.Pair=kotlin.Pair, o:java.lang.String="O":java.lang.String
// test.kt:12 box: p:kotlin.Pair=kotlin.Pair, o:java.lang.String="O":java.lang.String
// test.kt:17 box: p:kotlin.Pair=kotlin.Pair, o:java.lang.String="O":java.lang.String, k:java.lang.String="K":java.lang.String
@@ -0,0 +1,22 @@
// WITH_STDLIB
// FILE: test.kt
fun box(): String {
val p = Triple("X","O","K")
val ( _ , o, k ) = p
return o + k
}
// EXPECTATIONS
// EXPECTATIONS JVM
// test.kt:5 box:
// test.kt:7 box: p:kotlin.Triple=kotlin.Triple
// test.kt:9 box: p:kotlin.Triple=kotlin.Triple, o:java.lang.String="O":java.lang.String, k:java.lang.String="K":java.lang.String
// EXPECTATIONS JVM_IR
// test.kt:5 box:
// test.kt:7 box: p:kotlin.Triple=kotlin.Triple
// test.kt:9 box: p:kotlin.Triple=kotlin.Triple, o:java.lang.String="O":java.lang.String, k:java.lang.String="K":java.lang.String
@@ -0,0 +1,41 @@
// WITH_STDLIB
// IGNORE_BACKEND_FIR: JVM_IR
// FILE: test.kt
fun box(): String {
val p = Triple("X","O","K")
val
(
_
,
o
,
k
)
=
p
return o + k
}
// EXPECTATIONS
// EXPECTATIONS JVM
// test.kt:6 box:
// test.kt:17 box: p:kotlin.Triple=kotlin.Triple
// test.kt:12 box: p:kotlin.Triple=kotlin.Triple
// test.kt:14 box: p:kotlin.Triple=kotlin.Triple
// test.kt:19 box: p:kotlin.Triple=kotlin.Triple, o:java.lang.String="O":java.lang.String, k:java.lang.String="K":java.lang.String
// EXPECTATIONS JVM_IR
// test.kt:6 box:
// test.kt:17 box: p:kotlin.Triple=kotlin.Triple
// test.kt:12 box: p:kotlin.Triple=kotlin.Triple
// test.kt:17 box: p:kotlin.Triple=kotlin.Triple, o:java.lang.String="O":java.lang.String
// test.kt:14 box: p:kotlin.Triple=kotlin.Triple, o:java.lang.String="O":java.lang.String
// test.kt:19 box: p:kotlin.Triple=kotlin.Triple, o:java.lang.String="O":java.lang.String, k:java.lang.String="K":java.lang.String
@@ -0,0 +1,16 @@
// WITH_STDLIB
// FILE: test.kt
fun box() {
val map: Map<String, String> = mapOf("1" to "23")
for ((a, b) in map) {
a + b
}
}
// EXPECTATIONS
// test.kt:5 box:
// test.kt:6 box: map:java.util.Map=java.util.Collections$SingletonMap
// test.kt:7 box: map:java.util.Map=java.util.Collections$SingletonMap, a:java.lang.String="1":java.lang.String, b:java.lang.String="23":java.lang.String
// test.kt:6 box: map:java.util.Map=java.util.Collections$SingletonMap
// test.kt:9 box: map:java.util.Map=java.util.Collections$SingletonMap
@@ -0,0 +1,50 @@
// WITH_STDLIB
// IGNORE_BACKEND_FIR: JVM_IR
// FILE: test.kt
fun box() {
val map: Map<String, String> = mapOf("1" to "23")
for
(
(
a
,
b
)
in
map
)
{
a + b
}
}
// EXPECTATIONS
// EXPECTATIONS JVM
// test.kt:6 box:
// test.kt:16 box: map:java.util.Map=java.util.Collections$SingletonMap
// test.kt:8 box: map:java.util.Map=java.util.Collections$SingletonMap
// test.kt:11 box: map:java.util.Map=java.util.Collections$SingletonMap
// test.kt:13 box: map:java.util.Map=java.util.Collections$SingletonMap
// test.kt:19 box: map:java.util.Map=java.util.Collections$SingletonMap, a:java.lang.String="1":java.lang.String, b:java.lang.String="23":java.lang.String
// test.kt:8 box: map:java.util.Map=java.util.Collections$SingletonMap
// test.kt:21 box: map:java.util.Map=java.util.Collections$SingletonMap
// EXPECTATIONS JVM_IR
// test.kt:6 box:
// test.kt:16 box: map:java.util.Map=java.util.Collections$SingletonMap
// test.kt:11 box: map:java.util.Map=java.util.Collections$SingletonMap
// test.kt:13 box: map:java.util.Map=java.util.Collections$SingletonMap, a:java.lang.String="1":java.lang.String
// test.kt:16 box: map:java.util.Map=java.util.Collections$SingletonMap, a:java.lang.String="1":java.lang.String
// test.kt:13 box: map:java.util.Map=java.util.Collections$SingletonMap, a:java.lang.String="1":java.lang.String
// test.kt:19 box: map:java.util.Map=java.util.Collections$SingletonMap, a:java.lang.String="1":java.lang.String, b:java.lang.String="23":java.lang.String
// test.kt:16 box: map:java.util.Map=java.util.Collections$SingletonMap
// test.kt:21 box: map:java.util.Map=java.util.Collections$SingletonMap
@@ -0,0 +1,31 @@
// FILE: test.kt
data class A(val x: String, val y: Int)
fun foo(a: A, block: (A) -> String): String = block(a)
fun box() {
foo(A("O", 123)) { (x, y) -> x + y }
}
// EXPECTATIONS
// EXPECTATIONS JVM
// test.kt:9 box:
// test.kt:4 <init>: x:java.lang.String="O":java.lang.String, y:int=123:int
// test.kt:9 box:
// test.kt:6 foo: a:A=A, block:kotlin.jvm.functions.Function1=TestKt$box$1
// test.kt:9 invoke: $dstr$x$y:A=A
// test.kt:6 foo: a:A=A, block:kotlin.jvm.functions.Function1=TestKt$box$1
// test.kt:9 box:
// test.kt:10 box:
// EXPECTATIONS JVM_IR
// test.kt:9 box:
// test.kt:4 <init>: x:java.lang.String="O":java.lang.String, y:int=123:int
// test.kt:9 box:
// test.kt:6 foo: a:A=A, block:kotlin.jvm.functions.Function1=TestKt$box$1
// test.kt:9 invoke:
// test.kt:6 foo: a:A=A, block:kotlin.jvm.functions.Function1=TestKt$box$1
// test.kt:9 box:
// test.kt:10 box:
@@ -0,0 +1,48 @@
// FILE: test.kt
class MyPair(val x: String, val y: String) {
operator fun component1(): String {
return "O"
}
operator fun component2(): String {
return "K"
}
}
fun foo(a: MyPair, block: (MyPair) -> String): String = block(a)
fun box() {
foo(MyPair("X", "Y")) { (x, y) -> x + y }
}
// EXPECTATIONS
// EXPECTATIONS JVM
// test.kt:17 box:
// test.kt:4 <init>: x:java.lang.String="X":java.lang.String, y:java.lang.String="Y":java.lang.String
// test.kt:17 box:
// test.kt:14 foo: a:MyPair=MyPair, block:kotlin.jvm.functions.Function1=TestKt$box$1
// test.kt:17 invoke: $dstr$x$y:MyPair=MyPair
// test.kt:6 component1:
// test.kt:17 invoke: $dstr$x$y:MyPair=MyPair
// test.kt:10 component2:
// test.kt:17 invoke: $dstr$x$y:MyPair=MyPair
// test.kt:14 foo: a:MyPair=MyPair, block:kotlin.jvm.functions.Function1=TestKt$box$1
// test.kt:17 box:
// test.kt:18 box:
// EXPECTATIONS JVM_IR
// test.kt:17 box:
// test.kt:4 <init>: x:java.lang.String="X":java.lang.String, y:java.lang.String="Y":java.lang.String
// test.kt:17 box:
// test.kt:14 foo: a:MyPair=MyPair, block:kotlin.jvm.functions.Function1=TestKt$box$1
// test.kt:17 invoke:
// test.kt:6 component1:
// test.kt:17 invoke:
// test.kt:10 component2:
// test.kt:17 invoke: x:java.lang.String="O":java.lang.String
// test.kt:14 foo: a:MyPair=MyPair, block:kotlin.jvm.functions.Function1=TestKt$box$1
// test.kt:17 box:
// test.kt:18 box:
@@ -0,0 +1,62 @@
// IGNORE_BACKEND_FIR: JVM_IR
// FILE: test.kt
class MyPair(val x: String, val y: String) {
operator fun component1(): String {
return "O"
}
operator fun component2(): String {
return "K"
}
}
fun foo(a: MyPair, block: (MyPair) -> String): String = block(a)
fun box() {
foo(MyPair("X", "Y"))
{
(
x
,
y
)
->
x + y
}
}
// EXPECTATIONS
// EXPECTATIONS JVM
// test.kt:17 box:
// test.kt:4 <init>: x:java.lang.String="X":java.lang.String, y:java.lang.String="Y":java.lang.String
// test.kt:18 box:
// test.kt:17 box:
// test.kt:14 foo: a:MyPair=MyPair, block:kotlin.jvm.functions.Function1=TestKt$box$1
// test.kt:25 invoke: $dstr$x$y:MyPair=MyPair
// test.kt:6 component1:
// test.kt:25 invoke: $dstr$x$y:MyPair=MyPair
// test.kt:10 component2:
// test.kt:25 invoke: $dstr$x$y:MyPair=MyPair
// test.kt:14 foo: a:MyPair=MyPair, block:kotlin.jvm.functions.Function1=TestKt$box$1
// test.kt:17 box:
// test.kt:27 box:
// EXPECTATIONS JVM_IR
// test.kt:17 box:
// test.kt:4 <init>: x:java.lang.String="X":java.lang.String, y:java.lang.String="Y":java.lang.String
// test.kt:17 box:
// test.kt:14 foo: a:MyPair=MyPair, block:kotlin.jvm.functions.Function1=TestKt$box$1
// test.kt:19 invoke:
// test.kt:20 invoke:
// test.kt:6 component1:
// test.kt:20 invoke:
// test.kt:19 invoke: x:java.lang.String="O":java.lang.String
// test.kt:22 invoke: x:java.lang.String="O":java.lang.String
// test.kt:10 component2:
// test.kt:22 invoke: x:java.lang.String="O":java.lang.String
// test.kt:25 invoke: x:java.lang.String="O":java.lang.String, y:java.lang.String="K":java.lang.String
// test.kt:14 foo: a:MyPair=MyPair, block:kotlin.jvm.functions.Function1=TestKt$box$1
// test.kt:17 box:
// test.kt:27 box:
@@ -0,0 +1,48 @@
// IGNORE_BACKEND_FIR: JVM_IR
// FILE: test.kt
data class A(val x: String, val y: Int)
fun foo(a: A, block: (A) -> String): String = block(a)
fun box() {
foo(A("O", 123))
{
(
x
,
y
)
->
x + y
}
return
}
// EXPECTATIONS
// EXPECTATIONS JVM
// test.kt:9 box:
// test.kt:4 <init>: x:java.lang.String="O":java.lang.String, y:int=123:int
// test.kt:10 box:
// test.kt:9 box:
// test.kt:6 foo: a:A=A, block:kotlin.jvm.functions.Function1=TestKt$box$1
// test.kt:17 invoke: $dstr$x$y:A=A
// test.kt:6 foo: a:A=A, block:kotlin.jvm.functions.Function1=TestKt$box$1
// test.kt:9 box:
// test.kt:20 box:
// EXPECTATIONS JVM_IR
// test.kt:9 box:
// test.kt:4 <init>: x:java.lang.String="O":java.lang.String, y:int=123:int
// test.kt:9 box:
// test.kt:6 foo: a:A=A, block:kotlin.jvm.functions.Function1=TestKt$box$1
// test.kt:11 invoke:
// test.kt:12 invoke:
// test.kt:11 invoke: x:java.lang.String="O":java.lang.String
// test.kt:14 invoke: x:java.lang.String="O":java.lang.String
// test.kt:17 invoke: x:java.lang.String="O":java.lang.String, y:int=123:int
// test.kt:6 foo: a:A=A, block:kotlin.jvm.functions.Function1=TestKt$box$1
// test.kt:9 box:
// test.kt:20 box:
@@ -0,0 +1,36 @@
// FILE: test.kt
data class A(val x: String, val y: Int)
fun foo(a: A, b: A, block: (A, A) -> String): String = block(a, b)
fun box() {
foo(A("O", 123), A("K", 877)) { (x, y), (z, w) -> (x + z) + (y + w) }
}
// EXPECTATIONS
// EXPECTATIONS JVM
// test.kt:9 box:
// test.kt:4 <init>: x:java.lang.String="O":java.lang.String, y:int=123:int
// test.kt:9 box:
// test.kt:4 <init>: x:java.lang.String="K":java.lang.String, y:int=877:int
// test.kt:9 box:
// test.kt:6 foo: a:A=A, b:A=A, block:kotlin.jvm.functions.Function2=TestKt$box$1
// test.kt:9 invoke: $dstr$x$y:A=A, $dstr$z$w:A=A
// test.kt:6 foo: a:A=A, b:A=A, block:kotlin.jvm.functions.Function2=TestKt$box$1
// test.kt:9 box:
// test.kt:10 box:
// EXPECTATIONS JVM_IR
// test.kt:9 box:
// test.kt:4 <init>: x:java.lang.String="O":java.lang.String, y:int=123:int
// test.kt:9 box:
// test.kt:4 <init>: x:java.lang.String="K":java.lang.String, y:int=877:int
// test.kt:9 box:
// test.kt:6 foo: a:A=A, b:A=A, block:kotlin.jvm.functions.Function2=TestKt$box$1
// test.kt:9 invoke:
// test.kt:6 foo: a:A=A, b:A=A, block:kotlin.jvm.functions.Function2=TestKt$box$1
// test.kt:9 box:
// test.kt:10 box: