JVM IR: simplify staticDefaultFunctionPhase

Also fix quadratic complexity similar to the previous commit.
This commit is contained in:
Alexander Udalov
2020-10-12 19:48:17 +02:00
parent 1859d4d340
commit 0eccb9661f
@@ -16,16 +16,15 @@
package org.jetbrains.kotlin.backend.jvm.lower package org.jetbrains.kotlin.backend.jvm.lower
import org.jetbrains.kotlin.backend.common.ClassLoweringPass
import org.jetbrains.kotlin.backend.common.FileLoweringPass import org.jetbrains.kotlin.backend.common.FileLoweringPass
import org.jetbrains.kotlin.backend.common.ir.createStaticFunctionWithReceivers import org.jetbrains.kotlin.backend.common.ir.createStaticFunctionWithReceivers
import org.jetbrains.kotlin.backend.common.ir.moveBodyTo import org.jetbrains.kotlin.backend.common.ir.moveBodyTo
import org.jetbrains.kotlin.backend.common.phaser.NamedCompilerPhase
import org.jetbrains.kotlin.backend.common.phaser.makeIrFilePhase import org.jetbrains.kotlin.backend.common.phaser.makeIrFilePhase
import org.jetbrains.kotlin.backend.common.phaser.then
import org.jetbrains.kotlin.backend.jvm.JvmBackendContext import org.jetbrains.kotlin.backend.jvm.JvmBackendContext
import org.jetbrains.kotlin.ir.IrStatement import org.jetbrains.kotlin.ir.IrStatement
import org.jetbrains.kotlin.ir.declarations.* import org.jetbrains.kotlin.ir.declarations.IrDeclarationOrigin
import org.jetbrains.kotlin.ir.declarations.IrFile
import org.jetbrains.kotlin.ir.declarations.IrSimpleFunction
import org.jetbrains.kotlin.ir.expressions.IrCall import org.jetbrains.kotlin.ir.expressions.IrCall
import org.jetbrains.kotlin.ir.expressions.IrExpression import org.jetbrains.kotlin.ir.expressions.IrExpression
import org.jetbrains.kotlin.ir.expressions.IrReturn import org.jetbrains.kotlin.ir.expressions.IrReturn
@@ -33,36 +32,21 @@ import org.jetbrains.kotlin.ir.expressions.impl.IrReturnImpl
import org.jetbrains.kotlin.ir.util.irCall import org.jetbrains.kotlin.ir.util.irCall
import org.jetbrains.kotlin.ir.visitors.IrElementTransformerVoid import org.jetbrains.kotlin.ir.visitors.IrElementTransformerVoid
private val functionDefinitionLoweringPhase = makeIrFilePhase( internal val staticDefaultFunctionPhase = makeIrFilePhase(
::StaticDefaultFunctionLowering, ::StaticDefaultFunctionLowering,
name = "StaticDefaultFunctionDefinition",
description = "Generate static functions for default parameters"
)
private val callLoweringPhase = makeIrFilePhase(
::StaticDefaultCallLowering,
name = "StaticDefaultCall",
description = "Generate calls of static functions for default parameters"
)
internal val staticDefaultFunctionPhase = NamedCompilerPhase(
name = "StaticDefaultFunction", name = "StaticDefaultFunction",
description = "Make function adapters for default arguments static", description = "Make function adapters for default arguments static",
lower = functionDefinitionLoweringPhase then callLoweringPhase,
prerequisite = setOf(jvmStaticAnnotationPhase), prerequisite = setOf(jvmStaticAnnotationPhase),
nlevels = 1
) )
private class StaticDefaultFunctionLowering(val context: JvmBackendContext) : IrElementTransformerVoid(), private class StaticDefaultFunctionLowering(val context: JvmBackendContext) : IrElementTransformerVoid(), FileLoweringPass {
ClassLoweringPass { override fun lower(irFile: IrFile) {
irFile.accept(this, null)
override fun lower(irClass: IrClass) {
irClass.accept(this, null)
} }
override fun visitSimpleFunction(declaration: IrSimpleFunction): IrStatement = super.visitFunction( override fun visitSimpleFunction(declaration: IrSimpleFunction): IrStatement = super.visitFunction(
if (declaration.origin == IrDeclarationOrigin.FUNCTION_FOR_DEFAULT_PARAMETER && declaration.dispatchReceiverParameter != null) if (declaration.origin == IrDeclarationOrigin.FUNCTION_FOR_DEFAULT_PARAMETER && declaration.dispatchReceiverParameter != null)
context.getStaticFunctionWithReceivers(declaration).also { getStaticFunctionWithReceivers(declaration).also {
it.body = declaration.moveBodyTo(it) it.body = declaration.moveBodyTo(it)
} }
else else
@@ -74,21 +58,13 @@ private class StaticDefaultFunctionLowering(val context: JvmBackendContext) : Ir
if (context.staticDefaultStubs.containsKey(expression.returnTargetSymbol)) { if (context.staticDefaultStubs.containsKey(expression.returnTargetSymbol)) {
with(expression) { with(expression) {
val irFunction = context.staticDefaultStubs[expression.returnTargetSymbol]!! val irFunction = context.staticDefaultStubs[expression.returnTargetSymbol]!!
IrReturnImpl(startOffset, endOffset, expression.type, irFunction.symbol, expression.value) IrReturnImpl(startOffset, endOffset, type, irFunction.symbol, value)
} }
} else { } else {
expression expression
} }
) )
} }
}
private class StaticDefaultCallLowering(
val context: JvmBackendContext
) : IrElementTransformerVoid(), FileLoweringPass {
override fun lower(irFile: IrFile) {
irFile.accept(this, null)
}
override fun visitCall(expression: IrCall): IrExpression { override fun visitCall(expression: IrCall): IrExpression {
val callee = expression.symbol.owner val callee = expression.symbol.owner
@@ -96,14 +72,14 @@ private class StaticDefaultCallLowering(
return super.visitCall(expression) return super.visitCall(expression)
} }
val newCallee = context.getStaticFunctionWithReceivers(callee) val newCallee = getStaticFunctionWithReceivers(callee)
val newCall = irCall(expression, newCallee, receiversAsArguments = true) val newCall = irCall(expression, newCallee, receiversAsArguments = true)
return super.visitCall(newCall) return super.visitCall(newCall)
} }
}
private fun JvmBackendContext.getStaticFunctionWithReceivers(function: IrSimpleFunction) = private fun getStaticFunctionWithReceivers(function: IrSimpleFunction): IrSimpleFunction =
staticDefaultStubs.getOrPut(function.symbol) { context.staticDefaultStubs.getOrPut(function.symbol) {
irFactory.createStaticFunctionWithReceivers(function.parent, function.name, function) context.irFactory.createStaticFunctionWithReceivers(function.parent, function.name, function)
} }
}