[JVM_IR] Support basic fake var generation for IR inliner

#KT-58778

compiler/testData/debug/localVariables/lambdaWithLambdaParameter.kt

@@ -0,0 +1,58 @@
+// IGNORE_INLINER: IR
+// FILE: test.kt
+class Foo {
+    var bar = ""
+
+    inline fun inlineCall(action: (complete: () -> Unit) -> Unit) {
+        action {
+            bar += "K"
+        }
+    }
+
+    fun start() {
+        inlineCall {
+            bar += "O"
+            it()
+        }
+    }
+}
+
+fun box() {
+    val foo = Foo()
+    foo.start()
+}
+
+// EXPECTATIONS JVM JVM_IR
+// test.kt:21 box:
+// test.kt:3 <init>:
+// test.kt:4 <init>:
+// EXPECTATIONS JVM_IR
+// test.kt:3 <init>:
+// EXPECTATIONS JVM JVM_IR
+// test.kt:21 box:
+// test.kt:22 box: foo:Foo=Foo
+// test.kt:13 start:
+// test.kt:7 start: this_$iv:Foo=Foo, $i$f$inlineCall:int=0:int
+// test.kt:14 start: this_$iv:Foo=Foo, $i$f$inlineCall:int=0:int, it:kotlin.jvm.functions.Function0=Foo$inlineCall$1, $i$a$-inlineCall-Foo$start$1:int=0:int
+// test.kt:15 start: this_$iv:Foo=Foo, $i$f$inlineCall:int=0:int, it:kotlin.jvm.functions.Function0=Foo$inlineCall$1, $i$a$-inlineCall-Foo$start$1:int=0:int
+// test.kt:8 invoke:
+// test.kt:4 getBar:
+// test.kt:8 invoke:
+// test.kt:4 setBar: <set-?>:java.lang.String="OK":java.lang.String
+// test.kt:9 invoke:
+// test.kt:15 start: this_$iv:Foo=Foo, $i$f$inlineCall:int=0:int, it:kotlin.jvm.functions.Function0=Foo$inlineCall$1, $i$a$-inlineCall-Foo$start$1:int=0:int
+// test.kt:16 start: this_$iv:Foo=Foo, $i$f$inlineCall:int=0:int, it:kotlin.jvm.functions.Function0=Foo$inlineCall$1, $i$a$-inlineCall-Foo$start$1:int=0:int
+// test.kt:7 start: this_$iv:Foo=Foo, $i$f$inlineCall:int=0:int
+// test.kt:10 start: this_$iv:Foo=Foo, $i$f$inlineCall:int=0:int
+// test.kt:17 start:
+// test.kt:23 box: foo:Foo=Foo
+
+// EXPECTATIONS JS_IR
+// test.kt:21 box:
+// test.kt:4 <init>:
+// test.kt:3 <init>:
+// test.kt:22 box: foo=Foo
+// test.kt:14 start:
+// test.kt:8 start:
+// test.kt:17 start:
+// test.kt:23 box: foo=Foo

compiler/testData/debug/localVariables/suspend/mergeLvt.kt

@@ -1,3 +1,4 @@
+// IGNORE_INLINER: IR
 // WITH_STDLIB
 // FILE: test.kt
 
@@ -29,43 +30,43 @@ suspend fun box() {
 // FIXME(JS_IR): KT-54657
 
 // EXPECTATIONS JVM JVM_IR
-// test.kt:25 box:
-// test.kt:26 box: $continuation:kotlin.coroutines.Continuation=TestKt$box$1, $result:java.lang.Object=null
-// test.kt:19 box: $continuation:kotlin.coroutines.Continuation=TestKt$box$1, $result:java.lang.Object=null, $i$f$suspendBar:int=0:int
+// test.kt:26 box:
+// test.kt:27 box: $continuation:kotlin.coroutines.Continuation=TestKt$box$1, $result:java.lang.Object=null
+// test.kt:20 box: $continuation:kotlin.coroutines.Continuation=TestKt$box$1, $result:java.lang.Object=null, $i$f$suspendBar:int=0:int
 // EXPECTATIONS JVM
-// test.kt:19 box: $continuation:kotlin.coroutines.Continuation=TestKt$box$1, $result:java.lang.Object=null, $i$f$suspendBar:int=0:int
-// test.kt:14 box: $continuation:kotlin.coroutines.Continuation=TestKt$box$1, $result:java.lang.Object=null, $i$f$suspendBar:int=0:int, $this$extensionFun$iv$iv:AtomicInt=AtomicInt, $i$f$extensionFun:int=0:int
-// EXPECTATIONS JVM JVM_IR
-// test.kt:14 box: $continuation:kotlin.coroutines.Continuation=TestKt$box$1, $result:java.lang.Object=null, $i$f$suspendBar:int=0:int, $this$extensionFun$iv$iv:AtomicInt=AtomicInt, $i$f$extensionFun:int=0:int
+// test.kt:20 box: $continuation:kotlin.coroutines.Continuation=TestKt$box$1, $result:java.lang.Object=null, $i$f$suspendBar:int=0:int
 // test.kt:15 box: $continuation:kotlin.coroutines.Continuation=TestKt$box$1, $result:java.lang.Object=null, $i$f$suspendBar:int=0:int, $this$extensionFun$iv$iv:AtomicInt=AtomicInt, $i$f$extensionFun:int=0:int
-// test.kt:6 getValue:
+// EXPECTATIONS JVM JVM_IR
 // test.kt:15 box: $continuation:kotlin.coroutines.Continuation=TestKt$box$1, $result:java.lang.Object=null, $i$f$suspendBar:int=0:int, $this$extensionFun$iv$iv:AtomicInt=AtomicInt, $i$f$extensionFun:int=0:int
 // test.kt:16 box: $continuation:kotlin.coroutines.Continuation=TestKt$box$1, $result:java.lang.Object=null, $i$f$suspendBar:int=0:int, $this$extensionFun$iv$iv:AtomicInt=AtomicInt, $i$f$extensionFun:int=0:int
-// test.kt:20 box: $continuation:kotlin.coroutines.Continuation=TestKt$box$1, $result:java.lang.Object=null, $i$f$suspendBar:int=0:int
-// test.kt:21 box: $continuation:kotlin.coroutines.Continuation=TestKt$box$1, $result:java.lang.Object=null, $i$f$suspendBar:int=0:int, $i$a$-suspendCoroutineUninterceptedOrReturn-TestKt$suspendBar$2$iv:int=0:int
-
-// EXPECTATIONS ClassicFrontend JVM JVM_IR
+// test.kt:7 getValue:
+// test.kt:16 box: $continuation:kotlin.coroutines.Continuation=TestKt$box$1, $result:java.lang.Object=null, $i$f$suspendBar:int=0:int, $this$extensionFun$iv$iv:AtomicInt=AtomicInt, $i$f$extensionFun:int=0:int
+// test.kt:17 box: $continuation:kotlin.coroutines.Continuation=TestKt$box$1, $result:java.lang.Object=null, $i$f$suspendBar:int=0:int, $this$extensionFun$iv$iv:AtomicInt=AtomicInt, $i$f$extensionFun:int=0:int
+// test.kt:21 box: $continuation:kotlin.coroutines.Continuation=TestKt$box$1, $result:java.lang.Object=null, $i$f$suspendBar:int=0:int
 // test.kt:22 box: $continuation:kotlin.coroutines.Continuation=TestKt$box$1, $result:java.lang.Object=null, $i$f$suspendBar:int=0:int, $i$a$-suspendCoroutineUninterceptedOrReturn-TestKt$suspendBar$2$iv:int=0:int
 
+// EXPECTATIONS ClassicFrontend JVM JVM_IR
+// test.kt:23 box: $continuation:kotlin.coroutines.Continuation=TestKt$box$1, $result:java.lang.Object=null, $i$f$suspendBar:int=0:int, $i$a$-suspendCoroutineUninterceptedOrReturn-TestKt$suspendBar$2$iv:int=0:int
+
 // EXPECTATIONS ClassicFrontend FIR JVM JVM_IR
-// test.kt:20 box: $continuation:kotlin.coroutines.Continuation=TestKt$box$1, $result:java.lang.Object=null, $i$f$suspendBar:int=0:int
-// test.kt:23 box: $continuation:kotlin.coroutines.Continuation=TestKt$box$1, $result:java.lang.Object=null, $i$f$suspendBar:int=0:int
-// test.kt:26 box: $continuation:kotlin.coroutines.Continuation=TestKt$box$1, $result:java.lang.Object=null
+// test.kt:21 box: $continuation:kotlin.coroutines.Continuation=TestKt$box$1, $result:java.lang.Object=null, $i$f$suspendBar:int=0:int
+// test.kt:24 box: $continuation:kotlin.coroutines.Continuation=TestKt$box$1, $result:java.lang.Object=null, $i$f$suspendBar:int=0:int
 // test.kt:27 box: $continuation:kotlin.coroutines.Continuation=TestKt$box$1, $result:java.lang.Object=null
+// test.kt:28 box: $continuation:kotlin.coroutines.Continuation=TestKt$box$1, $result:java.lang.Object=null
 
 // EXPECTATIONS JS_IR
-// test.kt:19 doResume:
-// test.kt:10 <init properties test.kt>:
-// test.kt:8 atomic: i=0:number
-// test.kt:6 <init>: value=0:number
-// test.kt:6 <init>: value=0:number
+// test.kt:20 doResume:
 // test.kt:11 <init properties test.kt>:
-// test.kt:10 <get-state>$accessor$1gle43a:
-// test.kt:10 <get-state>:
-// test.kt:14 doResume:
-// test.kt:11 <get-a>$accessor$1gle43a:
-// test.kt:11 <get-a>:
-// test.kt:37 doResume:
-// test.kt:37 doResume:
-// test.kt:26 doResume:
-// test.kt:27 doResume: a=Unit
+// test.kt:9 atomic: i=0:number
+// test.kt:7 <init>: value=0:number
+// test.kt:7 <init>: value=0:number
+// test.kt:12 <init properties test.kt>:
+// test.kt:11 <get-state>$accessor$1gle43a:
+// test.kt:11 <get-state>:
+// test.kt:15 doResume:
+// test.kt:12 <get-a>$accessor$1gle43a:
+// test.kt:12 <get-a>:
+// test.kt:38 doResume:
+// test.kt:38 doResume:
+// test.kt:27 doResume:
+// test.kt:28 doResume: a=Unit

compiler/testData/debug/localVariables/suspend/nestedInsideSuspendUnintercepted.kt

@@ -0,0 +1,75 @@
+// IGNORE_INLINER: IR
+// WITH_STDLIB
+// FILE: test.kt
+
+import kotlin.coroutines.intrinsics.*
+
+fun id(obj: Any) = obj
+
+public suspend inline fun foo() {
+    suspendCoroutineUninterceptedOrReturn<Any?> { ucont ->
+        bar {
+            val b = 2
+            id(b)
+        }
+        Unit
+    }
+}
+
+public inline fun bar(block: () -> Unit) {
+    val c = 1
+    id(c)
+    block()
+}
+
+public suspend inline fun baz() {
+    foo()
+}
+
+suspend fun box() {
+    val a = baz()
+}
+
+// EXPECTATIONS JVM JVM_IR
+// test.kt:29 box:
+// test.kt:30 box: $continuation:kotlin.coroutines.Continuation=TestKt$box$1, $result:java.lang.Object=null
+// test.kt:26 box: $continuation:kotlin.coroutines.Continuation=TestKt$box$1, $result:java.lang.Object=null, $i$f$baz:int=0:int
+// test.kt:10 box: $continuation:kotlin.coroutines.Continuation=TestKt$box$1, $result:java.lang.Object=null, $i$f$baz:int=0:int, $i$f$foo:int=0:int
+// test.kt:11 box: $continuation:kotlin.coroutines.Continuation=TestKt$box$1, $result:java.lang.Object=null, $i$f$baz:int=0:int, $i$f$foo:int=0:int, $i$a$-suspendCoroutineUninterceptedOrReturn-TestKt$foo$2$iv$iv:int=0:int
+// test.kt:20 box: $continuation:kotlin.coroutines.Continuation=TestKt$box$1, $result:java.lang.Object=null, $i$f$baz:int=0:int, $i$f$foo:int=0:int, $i$a$-suspendCoroutineUninterceptedOrReturn-TestKt$foo$2$iv$iv:int=0:int, $i$f$bar:int=0:int
+// test.kt:21 box: $continuation:kotlin.coroutines.Continuation=TestKt$box$1, $result:java.lang.Object=null, $i$f$baz:int=0:int, $i$f$foo:int=0:int, $i$a$-suspendCoroutineUninterceptedOrReturn-TestKt$foo$2$iv$iv:int=0:int, $i$f$bar:int=0:int, c$iv$iv$iv:int=1:int
+// test.kt:7 id: obj:java.lang.Object=java.lang.Integer
+// test.kt:21 box: $continuation:kotlin.coroutines.Continuation=TestKt$box$1, $result:java.lang.Object=null, $i$f$baz:int=0:int, $i$f$foo:int=0:int, $i$a$-suspendCoroutineUninterceptedOrReturn-TestKt$foo$2$iv$iv:int=0:int, $i$f$bar:int=0:int, c$iv$iv$iv:int=1:int
+// test.kt:22 box: $continuation:kotlin.coroutines.Continuation=TestKt$box$1, $result:java.lang.Object=null, $i$f$baz:int=0:int, $i$f$foo:int=0:int, $i$a$-suspendCoroutineUninterceptedOrReturn-TestKt$foo$2$iv$iv:int=0:int, $i$f$bar:int=0:int, c$iv$iv$iv:int=1:int
+// test.kt:12 box: $continuation:kotlin.coroutines.Continuation=TestKt$box$1, $result:java.lang.Object=null, $i$f$baz:int=0:int, $i$f$foo:int=0:int, $i$a$-suspendCoroutineUninterceptedOrReturn-TestKt$foo$2$iv$iv:int=0:int, $i$f$bar:int=0:int, c$iv$iv$iv:int=1:int, $i$a$-bar-TestKt$foo$2$1$iv$iv:int=0:int
+// test.kt:13 box: $continuation:kotlin.coroutines.Continuation=TestKt$box$1, $result:java.lang.Object=null, $i$f$baz:int=0:int, $i$f$foo:int=0:int, $i$a$-suspendCoroutineUninterceptedOrReturn-TestKt$foo$2$iv$iv:int=0:int, $i$f$bar:int=0:int, c$iv$iv$iv:int=1:int, $i$a$-bar-TestKt$foo$2$1$iv$iv:int=0:int, b$iv$iv:int=2:int
+// test.kt:7 id: obj:java.lang.Object=java.lang.Integer
+// test.kt:13 box: $continuation:kotlin.coroutines.Continuation=TestKt$box$1, $result:java.lang.Object=null, $i$f$baz:int=0:int, $i$f$foo:int=0:int, $i$a$-suspendCoroutineUninterceptedOrReturn-TestKt$foo$2$iv$iv:int=0:int, $i$f$bar:int=0:int, c$iv$iv$iv:int=1:int, $i$a$-bar-TestKt$foo$2$1$iv$iv:int=0:int, b$iv$iv:int=2:int
+// EXPECTATIONS JVM_IR
+// test.kt:14 box: $continuation:kotlin.coroutines.Continuation=TestKt$box$1, $result:java.lang.Object=null, $i$f$baz:int=0:int, $i$f$foo:int=0:int, $i$a$-suspendCoroutineUninterceptedOrReturn-TestKt$foo$2$iv$iv:int=0:int, $i$f$bar:int=0:int, c$iv$iv$iv:int=1:int, $i$a$-bar-TestKt$foo$2$1$iv$iv:int=0:int, b$iv$iv:int=2:int
+// EXPECTATIONS JVM
+// test.kt:14 box: $continuation:kotlin.coroutines.Continuation=TestKt$box$1, $result:java.lang.Object=null, $i$f$baz:int=0:int, $i$f$foo:int=0:int, $i$a$-suspendCoroutineUninterceptedOrReturn-TestKt$foo$2$iv$iv:int=0:int, $i$f$bar:int=0:int, c$iv$iv$iv:int=1:int, $i$a$-bar-TestKt$foo$2$1$iv$iv:int=0:int
+// EXPECTATIONS JVM JVM_IR
+// test.kt:22 box: $continuation:kotlin.coroutines.Continuation=TestKt$box$1, $result:java.lang.Object=null, $i$f$baz:int=0:int, $i$f$foo:int=0:int, $i$a$-suspendCoroutineUninterceptedOrReturn-TestKt$foo$2$iv$iv:int=0:int, $i$f$bar:int=0:int, c$iv$iv$iv:int=1:int
+// test.kt:23 box: $continuation:kotlin.coroutines.Continuation=TestKt$box$1, $result:java.lang.Object=null, $i$f$baz:int=0:int, $i$f$foo:int=0:int, $i$a$-suspendCoroutineUninterceptedOrReturn-TestKt$foo$2$iv$iv:int=0:int, $i$f$bar:int=0:int, c$iv$iv$iv:int=1:int
+// test.kt:15 box: $continuation:kotlin.coroutines.Continuation=TestKt$box$1, $result:java.lang.Object=null, $i$f$baz:int=0:int, $i$f$foo:int=0:int, $i$a$-suspendCoroutineUninterceptedOrReturn-TestKt$foo$2$iv$iv:int=0:int
+// EXPECTATIONS ClassicFrontend JVM JVM_IR
+// test.kt:16 box: $continuation:kotlin.coroutines.Continuation=TestKt$box$1, $result:java.lang.Object=null, $i$f$baz:int=0:int, $i$f$foo:int=0:int, $i$a$-suspendCoroutineUninterceptedOrReturn-TestKt$foo$2$iv$iv:int=0:int
+// EXPECTATIONS JVM JVM_IR
+// test.kt:10 box: $continuation:kotlin.coroutines.Continuation=TestKt$box$1, $result:java.lang.Object=null, $i$f$baz:int=0:int, $i$f$foo:int=0:int
+// test.kt:17 box: $continuation:kotlin.coroutines.Continuation=TestKt$box$1, $result:java.lang.Object=null, $i$f$baz:int=0:int, $i$f$foo:int=0:int
+// test.kt:27 box: $continuation:kotlin.coroutines.Continuation=TestKt$box$1, $result:java.lang.Object=null, $i$f$baz:int=0:int
+// test.kt:30 box: $continuation:kotlin.coroutines.Continuation=TestKt$box$1, $result:java.lang.Object=null
+// test.kt:31 box: $continuation:kotlin.coroutines.Continuation=TestKt$box$1, $result:java.lang.Object=null
+
+// EXPECTATIONS JS_IR
+// test.kt:20 doResume:
+// test.kt:21 doResume: c=1:number
+// test.kt:7 id: obj=1:number
+// test.kt:12 doResume: c=1:number
+// test.kt:13 doResume: c=1:number, b=2:number
+// test.kt:7 id: obj=2:number
+// test.kt:38 doResume: c=1:number, b=2:number
+// test.kt:38 doResume: c=1:number, b=2:number
+// test.kt:30 doResume: c=1:number, b=2:number
+// test.kt:31 doResume: c=1:number, b=2:number, a=Unit

compiler/testData/debug/localVariables/suspend/nestedSuspendUnintercepted.kt

@@ -0,0 +1,46 @@
+// IGNORE_INLINER: IR
+// WITH_STDLIB
+// FILE: test.kt
+
+import kotlin.coroutines.intrinsics.*
+
+private suspend inline fun foo() {
+    suspendCoroutineUninterceptedOrReturn<Any?> { ucont ->
+        Unit
+    }
+}
+
+private suspend inline fun bar() {
+    foo()
+}
+
+private suspend inline fun baz() {
+    bar()
+}
+
+suspend fun box() {
+    val a = baz()
+}
+
+// EXPECTATIONS JVM JVM_IR
+// test.kt:21 box:
+// test.kt:22 box: $continuation:kotlin.coroutines.Continuation=TestKt$box$1, $result:java.lang.Object=null
+// test.kt:18 box: $continuation:kotlin.coroutines.Continuation=TestKt$box$1, $result:java.lang.Object=null, $i$f$baz:int=0:int
+// test.kt:14 box: $continuation:kotlin.coroutines.Continuation=TestKt$box$1, $result:java.lang.Object=null, $i$f$baz:int=0:int, $i$f$bar:int=0:int
+// test.kt:8 box: $continuation:kotlin.coroutines.Continuation=TestKt$box$1, $result:java.lang.Object=null, $i$f$baz:int=0:int, $i$f$bar:int=0:int, $i$f$foo:int=0:int
+// test.kt:9 box: $continuation:kotlin.coroutines.Continuation=TestKt$box$1, $result:java.lang.Object=null, $i$f$baz:int=0:int, $i$f$bar:int=0:int, $i$f$foo:int=0:int, $i$a$-suspendCoroutineUninterceptedOrReturn-TestKt$foo$2$iv$iv$iv:int=0:int
+// EXPECTATIONS ClassicFrontend JVM JVM_IR
+// test.kt:10 box: $continuation:kotlin.coroutines.Continuation=TestKt$box$1, $result:java.lang.Object=null, $i$f$baz:int=0:int, $i$f$bar:int=0:int, $i$f$foo:int=0:int, $i$a$-suspendCoroutineUninterceptedOrReturn-TestKt$foo$2$iv$iv$iv:int=0:int
+// EXPECTATIONS JVM JVM_IR
+// test.kt:8 box: $continuation:kotlin.coroutines.Continuation=TestKt$box$1, $result:java.lang.Object=null, $i$f$baz:int=0:int, $i$f$bar:int=0:int, $i$f$foo:int=0:int
+// test.kt:11 box: $continuation:kotlin.coroutines.Continuation=TestKt$box$1, $result:java.lang.Object=null, $i$f$baz:int=0:int, $i$f$bar:int=0:int, $i$f$foo:int=0:int
+// test.kt:15 box: $continuation:kotlin.coroutines.Continuation=TestKt$box$1, $result:java.lang.Object=null, $i$f$baz:int=0:int, $i$f$bar:int=0:int
+// test.kt:19 box: $continuation:kotlin.coroutines.Continuation=TestKt$box$1, $result:java.lang.Object=null, $i$f$baz:int=0:int
+// test.kt:22 box: $continuation:kotlin.coroutines.Continuation=TestKt$box$1, $result:java.lang.Object=null
+// test.kt:23 box: $continuation:kotlin.coroutines.Continuation=TestKt$box$1, $result:java.lang.Object=null
+
+// EXPECTATIONS JS_IR
+// test.kt:31 doResume:
+// test.kt:31 doResume:
+// test.kt:22 doResume:
+// test.kt:23 doResume: a=Unit

compiler/testData/debug/localVariables/suspend/nestedSuspendUninterceptedWithDeepLambdaCall.kt

@@ -0,0 +1,107 @@
+// IGNORE_INLINER: IR
+// WITH_STDLIB
+// FILE: test.kt
+
+import kotlin.coroutines.intrinsics.*
+
+fun id(obj: Any) = obj
+
+private suspend inline fun foo(crossinline block: () -> Unit) {
+    val a = 1
+    id(a)
+    suspendCoroutineUninterceptedOrReturn<Any?> { ucont ->
+        val b = 2
+        id(b)
+        block()
+        Unit
+    }
+}
+
+private suspend inline fun bar(crossinline block: () -> Unit) {
+    val c = 3
+    id(c)
+    foo(block)
+}
+
+private suspend inline fun baz(crossinline block: () -> Unit) {
+    val d = 4
+    id(d)
+    bar(block)
+}
+
+suspend fun box() {
+    val result = baz() {
+        val e = 5
+        id(e)
+    }
+}
+
+// EXPECTATIONS JVM JVM_IR
+// test.kt:32 box:
+// test.kt:33 box: $continuation:kotlin.coroutines.Continuation=TestKt$box$1, $result:java.lang.Object=null
+// test.kt:27 box: $continuation:kotlin.coroutines.Continuation=TestKt$box$1, $result:java.lang.Object=null, $i$f$baz:int=0:int
+// test.kt:28 box: $continuation:kotlin.coroutines.Continuation=TestKt$box$1, $result:java.lang.Object=null, $i$f$baz:int=0:int, d$iv:int=4:int
+// test.kt:7 id: obj:java.lang.Object=java.lang.Integer
+// test.kt:28 box: $continuation:kotlin.coroutines.Continuation=TestKt$box$1, $result:java.lang.Object=null, $i$f$baz:int=0:int, d$iv:int=4:int
+// test.kt:29 box: $continuation:kotlin.coroutines.Continuation=TestKt$box$1, $result:java.lang.Object=null, $i$f$baz:int=0:int
+// test.kt:21 box: $continuation:kotlin.coroutines.Continuation=TestKt$box$1, $result:java.lang.Object=null, $i$f$baz:int=0:int, $i$f$bar:int=0:int
+// test.kt:22 box: $continuation:kotlin.coroutines.Continuation=TestKt$box$1, $result:java.lang.Object=null, $i$f$baz:int=0:int, $i$f$bar:int=0:int, c$iv$iv:int=3:int
+// test.kt:7 id: obj:java.lang.Object=java.lang.Integer
+// test.kt:22 box: $continuation:kotlin.coroutines.Continuation=TestKt$box$1, $result:java.lang.Object=null, $i$f$baz:int=0:int, $i$f$bar:int=0:int, c$iv$iv:int=3:int
+// test.kt:23 box: $continuation:kotlin.coroutines.Continuation=TestKt$box$1, $result:java.lang.Object=null, $i$f$baz:int=0:int, $i$f$bar:int=0:int
+// test.kt:10 box: $continuation:kotlin.coroutines.Continuation=TestKt$box$1, $result:java.lang.Object=null, $i$f$baz:int=0:int, $i$f$bar:int=0:int, $i$f$foo:int=0:int
+// test.kt:11 box: $continuation:kotlin.coroutines.Continuation=TestKt$box$1, $result:java.lang.Object=null, $i$f$baz:int=0:int, $i$f$bar:int=0:int, $i$f$foo:int=0:int, a$iv$iv$iv:int=1:int
+// test.kt:7 id: obj:java.lang.Object=java.lang.Integer
+// test.kt:11 box: $continuation:kotlin.coroutines.Continuation=TestKt$box$1, $result:java.lang.Object=null, $i$f$baz:int=0:int, $i$f$bar:int=0:int, $i$f$foo:int=0:int, a$iv$iv$iv:int=1:int
+// test.kt:12 box: $continuation:kotlin.coroutines.Continuation=TestKt$box$1, $result:java.lang.Object=null, $i$f$baz:int=0:int, $i$f$bar:int=0:int, $i$f$foo:int=0:int
+// test.kt:13 box: $continuation:kotlin.coroutines.Continuation=TestKt$box$1, $result:java.lang.Object=null, $i$f$baz:int=0:int, $i$f$bar:int=0:int, $i$f$foo:int=0:int, $i$a$-suspendCoroutineUninterceptedOrReturn-TestKt$foo$2$iv$iv$iv:int=0:int
+// test.kt:14 box: $continuation:kotlin.coroutines.Continuation=TestKt$box$1, $result:java.lang.Object=null, $i$f$baz:int=0:int, $i$f$bar:int=0:int, $i$f$foo:int=0:int, $i$a$-suspendCoroutineUninterceptedOrReturn-TestKt$foo$2$iv$iv$iv:int=0:int, b$iv$iv$iv:int=2:int
+// test.kt:7 id: obj:java.lang.Object=java.lang.Integer
+// test.kt:14 box: $continuation:kotlin.coroutines.Continuation=TestKt$box$1, $result:java.lang.Object=null, $i$f$baz:int=0:int, $i$f$bar:int=0:int, $i$f$foo:int=0:int, $i$a$-suspendCoroutineUninterceptedOrReturn-TestKt$foo$2$iv$iv$iv:int=0:int, b$iv$iv$iv:int=2:int
+// test.kt:15 box: $continuation:kotlin.coroutines.Continuation=TestKt$box$1, $result:java.lang.Object=null, $i$f$baz:int=0:int, $i$f$bar:int=0:int, $i$f$foo:int=0:int, $i$a$-suspendCoroutineUninterceptedOrReturn-TestKt$foo$2$iv$iv$iv:int=0:int, b$iv$iv$iv:int=2:int
+// test.kt:34 box: $continuation:kotlin.coroutines.Continuation=TestKt$box$1, $result:java.lang.Object=null, $i$f$baz:int=0:int, $i$f$bar:int=0:int, $i$f$foo:int=0:int, $i$a$-suspendCoroutineUninterceptedOrReturn-TestKt$foo$2$iv$iv$iv:int=0:int, b$iv$iv$iv:int=2:int, $i$a$-baz-TestKt$box$result$1:int=0:int
+// test.kt:35 box: $continuation:kotlin.coroutines.Continuation=TestKt$box$1, $result:java.lang.Object=null, $i$f$baz:int=0:int, $i$f$bar:int=0:int, $i$f$foo:int=0:int, $i$a$-suspendCoroutineUninterceptedOrReturn-TestKt$foo$2$iv$iv$iv:int=0:int, b$iv$iv$iv:int=2:int, $i$a$-baz-TestKt$box$result$1:int=0:int, e:int=5:int
+// test.kt:7 id: obj:java.lang.Object=java.lang.Integer
+// test.kt:35 box: $continuation:kotlin.coroutines.Continuation=TestKt$box$1, $result:java.lang.Object=null, $i$f$baz:int=0:int, $i$f$bar:int=0:int, $i$f$foo:int=0:int, $i$a$-suspendCoroutineUninterceptedOrReturn-TestKt$foo$2$iv$iv$iv:int=0:int, b$iv$iv$iv:int=2:int, $i$a$-baz-TestKt$box$result$1:int=0:int, e:int=5:int
+// EXPECTATIONS JVM_IR
+// test.kt:36 box: $continuation:kotlin.coroutines.Continuation=TestKt$box$1, $result:java.lang.Object=null, $i$f$baz:int=0:int, $i$f$bar:int=0:int, $i$f$foo:int=0:int, $i$a$-suspendCoroutineUninterceptedOrReturn-TestKt$foo$2$iv$iv$iv:int=0:int, b$iv$iv$iv:int=2:int, $i$a$-baz-TestKt$box$result$1:int=0:int, e:int=5:int
+// EXPECTATIONS JVM
+// test.kt:36 box: $continuation:kotlin.coroutines.Continuation=TestKt$box$1, $result:java.lang.Object=null, $i$f$baz:int=0:int, $i$f$bar:int=0:int, $i$f$foo:int=0:int, $i$a$-suspendCoroutineUninterceptedOrReturn-TestKt$foo$2$iv$iv$iv:int=0:int, b$iv$iv$iv:int=2:int, $i$a$-baz-TestKt$box$result$1:int=0:int
+// EXPECTATIONS JVM JVM_IR
+// test.kt:15 box: $continuation:kotlin.coroutines.Continuation=TestKt$box$1, $result:java.lang.Object=null, $i$f$baz:int=0:int, $i$f$bar:int=0:int, $i$f$foo:int=0:int, $i$a$-suspendCoroutineUninterceptedOrReturn-TestKt$foo$2$iv$iv$iv:int=0:int, b$iv$iv$iv:int=2:int
+// test.kt:16 box: $continuation:kotlin.coroutines.Continuation=TestKt$box$1, $result:java.lang.Object=null, $i$f$baz:int=0:int, $i$f$bar:int=0:int, $i$f$foo:int=0:int, $i$a$-suspendCoroutineUninterceptedOrReturn-TestKt$foo$2$iv$iv$iv:int=0:int, b$iv$iv$iv:int=2:int
+// EXPECTATIONS ClassicFrontend JVM_IR
+// test.kt:17 box: $continuation:kotlin.coroutines.Continuation=TestKt$box$1, $result:java.lang.Object=null, $i$f$baz:int=0:int, $i$f$bar:int=0:int, $i$f$foo:int=0:int, $i$a$-suspendCoroutineUninterceptedOrReturn-TestKt$foo$2$iv$iv$iv:int=0:int, b$iv$iv$iv:int=2:int
+// EXPECTATIONS FIR JVM_IR
+// test.kt:12 box: $continuation:kotlin.coroutines.Continuation=TestKt$box$1, $result:java.lang.Object=null, $i$f$baz:int=0:int, $i$f$bar:int=0:int, $i$f$foo:int=0:int
+// EXPECTATIONS JVM
+// test.kt:17 box: $continuation:kotlin.coroutines.Continuation=TestKt$box$1, $result:java.lang.Object=null, $i$f$baz:int=0:int, $i$f$bar:int=0:int, $i$f$foo:int=0:int, $i$a$-suspendCoroutineUninterceptedOrReturn-TestKt$foo$2$iv$iv$iv:int=0:int
+// EXPECTATIONS ClassicFrontend JVM JVM_IR
+// test.kt:12 box: $continuation:kotlin.coroutines.Continuation=TestKt$box$1, $result:java.lang.Object=null, $i$f$baz:int=0:int, $i$f$bar:int=0:int, $i$f$foo:int=0:int
+// EXPECTATIONS JVM JVM_IR
+// test.kt:18 box: $continuation:kotlin.coroutines.Continuation=TestKt$box$1, $result:java.lang.Object=null, $i$f$baz:int=0:int, $i$f$bar:int=0:int, $i$f$foo:int=0:int
+// test.kt:24 box: $continuation:kotlin.coroutines.Continuation=TestKt$box$1, $result:java.lang.Object=null, $i$f$baz:int=0:int, $i$f$bar:int=0:int
+// test.kt:30 box: $continuation:kotlin.coroutines.Continuation=TestKt$box$1, $result:java.lang.Object=null, $i$f$baz:int=0:int
+// test.kt:33 box: $continuation:kotlin.coroutines.Continuation=TestKt$box$1, $result:java.lang.Object=null
+// test.kt:37 box: $continuation:kotlin.coroutines.Continuation=TestKt$box$1, $result:java.lang.Object=null
+
+// EXPECTATIONS JS_IR
+// test.kt:27 doResume:
+// test.kt:28 doResume:
+// test.kt:7 id: obj=4:number
+// test.kt:21 doResume:
+// test.kt:22 doResume:
+// test.kt:7 id: obj=3:number
+// test.kt:10 doResume:
+// test.kt:11 doResume:
+// test.kt:7 id: obj=1:number
+// test.kt:13 doResume:
+// test.kt:14 doResume: b=2:number
+// test.kt:7 id: obj=2:number
+// test.kt:34 doResume: b=2:number
+// test.kt:35 doResume: b=2:number, e=5:number
+// test.kt:7 id: obj=5:number
+// test.kt:44 doResume: b=2:number, e=5:number
+// test.kt:44 doResume: b=2:number, e=5:number
+// test.kt:33 doResume: b=2:number, e=5:number
+// test.kt:37 doResume: b=2:number, e=5:number, result=Unit

compiler/testData/debug/localVariables/tryFinally6_1.kt

@@ -1,4 +1,4 @@
-// JVM backend has `a` visible in the `compute` finally block. It shouldn't be.
+// IGNORE_INLINER: IR
 // IGNORE_BACKEND: JVM
 // WITH_STDLIB
 // FILE: test.kt

compiler/testData/debug/localVariables/tryFinally6_2.kt

@@ -0,0 +1,58 @@
+// IGNORE_INLINER: IR
+// WITH_STDLIB
+// FILE: test.kt
+
+inline fun g(block: () -> Unit) {
+    try {
+        val gLocal = "gLocal"
+        block()
+    } finally {
+        val g = "g"
+    }
+}
+
+var x: String? = null
+
+fun compute(): String {
+    try {
+        g {
+            for (b in listOf("b")) {
+                return b
+            }
+        }
+    } finally {
+        x = "OK"
+    }
+    return "FAIL"
+}
+
+fun box() {
+    val result = compute()
+    val localX = x
+}
+
+// EXPECTATIONS JVM JVM_IR
+// test.kt:30 box:
+// test.kt:17 compute:
+// test.kt:18 compute:
+// test.kt:6 compute: $i$f$g:int=0:int
+// test.kt:7 compute: $i$f$g:int=0:int
+// test.kt:8 compute: $i$f$g:int=0:int, gLocal$iv:java.lang.String="gLocal":java.lang.String
+// test.kt:19 compute: $i$f$g:int=0:int, gLocal$iv:java.lang.String="gLocal":java.lang.String, $i$a$-g-TestKt$compute$1:int=0:int
+// test.kt:20 compute: $i$f$g:int=0:int, gLocal$iv:java.lang.String="gLocal":java.lang.String, $i$a$-g-TestKt$compute$1:int=0:int, b:java.lang.String="b":java.lang.String
+// test.kt:10 compute:
+// test.kt:24 compute:
+// test.kt:30 box:
+// test.kt:31 box: result:java.lang.String="b":java.lang.String
+// test.kt:32 box: result:java.lang.String="b":java.lang.String, localX:java.lang.String="OK":java.lang.String
+
+// EXPECTATIONS JS_IR
+// test.kt:30 box:
+// test.kt:7 compute:
+// test.kt:19 compute: gLocal="gLocal":kotlin.String
+// test.kt:19 compute: gLocal="gLocal":kotlin.String
+// test.kt:19 compute: gLocal="gLocal":kotlin.String
+// test.kt:19 compute: gLocal="gLocal":kotlin.String
+// test.kt:20 compute: gLocal="gLocal":kotlin.String, b="b":kotlin.String
+// test.kt:10 compute: gLocal="gLocal":kotlin.String, b="b":kotlin.String
+// test.kt:24 compute: gLocal="gLocal":kotlin.String, b="b":kotlin.String, g="g":kotlin.String