From 3eebeca75322e210c2ed5a360789428ed68698b6 Mon Sep 17 00:00:00 2001
From: Brian Norman <brian@bnorm.com>
Date: Fri, 25 Sep 2020 15:23:52 -0500
Subject: [PATCH] Transform returnable blocks after inlining

---
 .../bnorm/power/PowerAssertCallTransformer.kt |  3 +-
 .../internal/ReturnableBlockTransformer.kt    | 97 +++++++++++++++++++
 2 files changed, 99 insertions(+), 1 deletion(-)
 create mode 100644 kotlin-power-assert-plugin/src/main/kotlin/com/bnorm/power/internal/ReturnableBlockTransformer.kt

diff --git a/kotlin-power-assert-plugin/src/main/kotlin/com/bnorm/power/PowerAssertCallTransformer.kt b/kotlin-power-assert-plugin/src/main/kotlin/com/bnorm/power/PowerAssertCallTransformer.kt
index d24fdd01194..241f81562e3 100644
--- a/kotlin-power-assert-plugin/src/main/kotlin/com/bnorm/power/PowerAssertCallTransformer.kt
+++ b/kotlin-power-assert-plugin/src/main/kotlin/com/bnorm/power/PowerAssertCallTransformer.kt
@@ -16,6 +16,7 @@
 
 package com.bnorm.power
 
+import com.bnorm.power.internal.ReturnableBlockTransformer
 import org.jetbrains.kotlin.backend.common.FileLoweringPass
 import org.jetbrains.kotlin.backend.common.IrElementTransformerVoidWithContext
 import org.jetbrains.kotlin.backend.common.extensions.IrPluginContext
@@ -120,7 +121,7 @@ class PowerAssertCallTransformer(
           val title = when {
             messageArgument is IrConst<*> -> messageArgument
             messageArgument is IrStringConcatenation -> messageArgument
-            lambda != null -> lambda.inline(parent)
+            lambda != null -> lambda.inline(parent).transform(ReturnableBlockTransformer(context, symbol), null)
             messageArgument != null -> {
               val invoke = messageArgument.type.getClass()!!.functions.single { it.name == OperatorNameConventions.INVOKE }
               irCallOp(invoke.symbol, invoke.returnType, messageArgument)
diff --git a/kotlin-power-assert-plugin/src/main/kotlin/com/bnorm/power/internal/ReturnableBlockTransformer.kt b/kotlin-power-assert-plugin/src/main/kotlin/com/bnorm/power/internal/ReturnableBlockTransformer.kt
new file mode 100644
index 00000000000..13f85e47e20
--- /dev/null
+++ b/kotlin-power-assert-plugin/src/main/kotlin/com/bnorm/power/internal/ReturnableBlockTransformer.kt
@@ -0,0 +1,97 @@
+/*
+ * Copyright 2010-2018 JetBrains s.r.o. and Kotlin Programming Language contributors.
+ * Use of this source code is governed by the Apache 2.0 license that can be found in the license/LICENSE.txt file.
+ *
+ * Copied from https://github.com/JetBrains/kotlin/blob/1.4.0/compiler/ir/backend.common/src/org/jetbrains/kotlin/backend/common/lower/ReturnableBlockLowering.kt
+ */
+
+package com.bnorm.power.internal
+
+import org.jetbrains.kotlin.backend.common.IrElementTransformerVoidWithContext
+import org.jetbrains.kotlin.backend.common.lower.DeclarationIrBuilder
+import org.jetbrains.kotlin.backend.common.lower.irComposite
+import org.jetbrains.kotlin.ir.builders.*
+import org.jetbrains.kotlin.ir.expressions.*
+import org.jetbrains.kotlin.ir.expressions.impl.*
+import org.jetbrains.kotlin.ir.symbols.IrReturnableBlockSymbol
+import org.jetbrains.kotlin.ir.symbols.IrSymbol
+
+// TODO Remove when inlining works correctly on Kotlin/JS and Kotlin/Native
+class ReturnableBlockTransformer(val context: IrGeneratorContext, val containerSymbol: IrSymbol? = null) : IrElementTransformerVoidWithContext() {
+  private var labelCnt = 0
+  private val returnMap = mutableMapOf<IrReturnableBlockSymbol, (IrReturn) -> IrExpression>()
+
+  override fun visitReturn(expression: IrReturn): IrExpression {
+    expression.transformChildrenVoid()
+    return returnMap[expression.returnTargetSymbol]?.invoke(expression) ?: expression
+  }
+
+  override fun visitContainerExpression(expression: IrContainerExpression): IrExpression {
+    if (expression !is IrReturnableBlock) return super.visitContainerExpression(expression)
+
+    val scopeSymbol = currentScope?.scope?.scopeOwnerSymbol ?: containerSymbol
+    val builder = DeclarationIrBuilder(context, scopeSymbol!!)
+    val variable by lazy {
+      builder.scope.createTmpVariable(expression.type, "tmp\$ret\$${labelCnt++}", true)
+    }
+
+    val loop by lazy {
+      IrDoWhileLoopImpl(
+        expression.startOffset,
+        expression.endOffset,
+        context.irBuiltIns.unitType,
+        expression.origin
+      ).apply {
+        label = "l\$ret\$${labelCnt++}"
+        condition = builder.irBoolean(false)
+      }
+    }
+
+    var hasReturned = false
+
+    returnMap[expression.symbol] = { returnExpression ->
+      hasReturned = true
+      builder.irComposite(returnExpression) {
+        +irSetVar(variable.symbol, returnExpression.value)
+        +irBreak(loop)
+      }
+    }
+
+    val newStatements = expression.statements.mapIndexed { i, s ->
+      if (i == expression.statements.lastIndex && s is IrReturn && s.returnTargetSymbol == expression.symbol) {
+        s.transformChildrenVoid()
+        if (!hasReturned) s.value else {
+          builder.irSetVar(variable.symbol, s.value)
+        }
+      } else {
+        s.transform(this, null)
+      }
+    }
+
+    returnMap.remove(expression.symbol)
+
+    if (!hasReturned) {
+      return IrCompositeImpl(
+        expression.startOffset,
+        expression.endOffset,
+        expression.type,
+        expression.origin,
+        newStatements
+      )
+    } else {
+      loop.body = IrBlockImpl(
+        expression.startOffset,
+        expression.endOffset,
+        context.irBuiltIns.unitType,
+        expression.origin,
+        newStatements
+      )
+
+      return builder.irComposite(expression, expression.origin) {
+        +variable
+        +loop
+        +irGet(variable)
+      }
+    }
+  }
+}