org.jetbrains.kotlin.backend.jvm.lower.JvmValueClassAbstractLowering.kt Maven / Gradle / Ivy
Go to download
Show more of this group Show more artifacts with this name
Show all versions of kotlin-compiler-embeddable Show documentation
Show all versions of kotlin-compiler-embeddable Show documentation
the Kotlin compiler embeddable
/*
* Copyright 2010-2022 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.
*/
package org.jetbrains.kotlin.backend.jvm.lower
import org.jetbrains.kotlin.backend.common.FileLoweringPass
import org.jetbrains.kotlin.backend.common.IrElementTransformerVoidWithContext
import org.jetbrains.kotlin.backend.common.pop
import org.jetbrains.kotlin.backend.common.push
import org.jetbrains.kotlin.backend.jvm.*
import org.jetbrains.kotlin.ir.IrStatement
import org.jetbrains.kotlin.ir.declarations.*
import org.jetbrains.kotlin.ir.expressions.*
import org.jetbrains.kotlin.ir.transformStatement
import org.jetbrains.kotlin.ir.util.*
import org.jetbrains.kotlin.load.java.JvmAbi
import org.jetbrains.kotlin.name.Name
internal abstract class JvmValueClassAbstractLowering(
val context: JvmBackendContext,
) : FileLoweringPass, IrElementTransformerVoidWithContext() {
abstract val replacements: MemoizedValueClassAbstractReplacements
override fun lower(irFile: IrFile) = withinScope(irFile) {
irFile.transformChildrenVoid()
}
abstract fun IrClass.isSpecificLoweringLogicApplicable(): Boolean
abstract fun handleSpecificNewClass(declaration: IrClass)
protected fun transformFunctionFlat(function: IrFunction): List? {
if (function is IrConstructor && function.isPrimary && function.constructedClass.isSpecificLoweringLogicApplicable()) {
return null
}
val replacement = replacements.getReplacementFunction(function)
if (replacement == null) {
if (function is IrConstructor) {
val constructorReplacement = replacements.getReplacementForRegularClassConstructor(function)
if (constructorReplacement != null) {
addBindingsFor(function, constructorReplacement)
return transformFlattenedConstructor(function, constructorReplacement)
}
}
function.transformChildrenVoid()
// Non-mangled functions can override mangled functions under some conditions, e.g., a function
// `fun f(): Nothing` can override a function `fun f(): UInt`. The former is not mangled, while
// the latter is.
//
// This is a potential problem for bridge generation, where we have to ensure that the overridden
// symbols are always up to date. Right now they might not be since we lower each file independently
// and since deserialized declarations are not mangled at all.
if (function is IrSimpleFunction) {
function.overriddenSymbols = replacements.replaceOverriddenSymbols(function)
}
return null
}
if (function is IrSimpleFunction && function.overriddenSymbols.any { it.owner.parentAsClass.isFun }) {
// If fun interface methods are already mangled, do not mangle them twice.
val suffix = function.hashSuffix()
if (suffix != null && function.name.asString().endsWith(suffix)) {
function.transformChildrenVoid()
return null
}
}
addBindingsFor(function, replacement)
return when (function) {
is IrSimpleFunction -> transformSimpleFunctionFlat(function, replacement)
is IrConstructor -> transformSecondaryConstructorFlat(function, replacement)
}
}
private fun transformFlattenedConstructor(function: IrConstructor, replacement: IrConstructor): List {
replacement.valueParameters.forEach {
it.defaultValue?.patchDeclarationParents(replacement)
visitParameter(it)
}
allScopes.push(createScope(replacement))
replacement.body = function.body?.transform(this, null)?.patchDeclarationParents(replacement)
allScopes.pop()
return listOf(replacement)
}
private fun IrFunction.hashSuffix(): String? = InlineClassAbi.hashSuffix(
this,
context.config.functionsWithInlineClassReturnTypesMangled,
context.config.useOldManglingSchemeForFunctionsWithInlineClassesInSignatures
)
protected abstract fun transformSecondaryConstructorFlat(constructor: IrConstructor, replacement: IrSimpleFunction): List
open fun visitParameter(parameter: IrValueParameter) {
parameter.transformChildrenVoid()
}
final override fun visitValueParameterNew(declaration: IrValueParameter): IrStatement {
visitParameter(declaration)
return declaration
}
private fun transformSimpleFunctionFlat(function: IrSimpleFunction, replacement: IrSimpleFunction): List {
replacement.valueParameters.forEach {
it.defaultValue?.patchDeclarationParents(replacement)
visitParameter(it)
}
allScopes.push(createScope(replacement))
replacement.body = function.body?.transform(this, null)?.patchDeclarationParents(replacement)
allScopes.pop()
replacement.copyAttributes(function)
// Don't create a wrapper for functions which are only used in an unboxed context
if (function.overriddenSymbols.isEmpty() || replacement.dispatchReceiverParameter != null)
return listOf(replacement)
val bridgeFunction = createBridgeFunction(function, replacement)
return listOf(replacement, bridgeFunction)
}
final override fun visitReturn(expression: IrReturn): IrExpression {
val target = expression.returnTargetSymbol.owner
if (target is IrFunction) {
val suffix = target.hashSuffix()
if (suffix == null || !target.name.asString().endsWith(suffix)) {
val replacement = replacements.getReplacementFunction(target)
?: if (target is IrConstructor) replacements.getReplacementForRegularClassConstructor(target) else null
if (replacement != null) {
expression.returnTargetSymbol = replacement.symbol
}
}
}
return super.visitReturn(expression)
}
private fun visitStatementContainer(container: IrStatementContainer) {
container.statements.transformFlat { statement ->
val newStatements =
if (statement is IrFunction) withinScope(statement) { transformFunctionFlat(statement) }
else listOf(statement.transformStatement(this))
for (replacingDeclaration in (newStatements ?: listOf(statement)).filterIsInstance()) {
postActionAfterTransformingClassDeclaration(replacingDeclaration)
}
newStatements
}
}
protected open fun postActionAfterTransformingClassDeclaration(replacingDeclaration: IrDeclaration) = Unit
override fun visitContainerExpression(expression: IrContainerExpression): IrExpression {
visitStatementContainer(expression)
return expression
}
final override fun visitBlockBody(body: IrBlockBody): IrBody {
visitStatementContainer(body)
return body
}
// Anonymous initializers in inline classes are processed when building the primary constructor.
final override fun visitAnonymousInitializerNew(declaration: IrAnonymousInitializer): IrStatement =
if ((declaration.parent as? IrClass)?.isSpecificLoweringLogicApplicable() == true && !declaration.isStatic)
declaration
else
super.visitAnonymousInitializerNew(declaration)
protected abstract fun addBindingsFor(original: IrFunction, replacement: IrFunction)
protected enum class SpecificMangle { Inline, MultiField }
protected abstract val specificMangle: SpecificMangle
private fun createBridgeFunction(
function: IrSimpleFunction,
replacement: IrSimpleFunction
): IrSimpleFunction {
val bridgeFunction = createBridgeDeclaration(
function,
replacement,
when {
function.isValueClassTypedEquals -> InlineClassAbi.mangledNameFor(
context,
function,
mangleReturnTypes = false,
useOldMangleRules = false
)
// If the original function has signature which need mangling we still need to replace it with a mangled version.
(!function.isFakeOverride || function.findInterfaceImplementation(context.config.jvmDefaultMode) != null) && when (specificMangle) {
SpecificMangle.Inline -> function.signatureRequiresMangling(includeInline = true, includeMFVC = false)
SpecificMangle.MultiField -> function.signatureRequiresMangling(includeInline = false, includeMFVC = true)
} -> replacement.name
// Since we remove the corresponding property symbol from the bridge we need to resolve getter/setter
// names at this point.
replacement.isGetter ->
Name.identifier(JvmAbi.getterName(replacement.correspondingPropertySymbol!!.owner.name.asString()))
replacement.isSetter ->
Name.identifier(JvmAbi.setterName(replacement.correspondingPropertySymbol!!.owner.name.asString()))
else ->
function.name
}
)
// Update the overridden symbols to point to their value class replacements
bridgeFunction.overriddenSymbols = replacement.overriddenSymbols
// Replace the function body with a wrapper
if (bridgeFunction.isFakeOverride && bridgeFunction.parentAsClass.isSpecificLoweringLogicApplicable()) {
// Fake overrides redirect from the replacement to the original function, which is in turn replaced during interfacePhase.
createBridgeBody(replacement, bridgeFunction, function, true)
} else {
createBridgeBody(bridgeFunction, replacement, function, false)
}
return bridgeFunction
}
private fun IrSimpleFunction.signatureRequiresMangling(includeInline: Boolean = true, includeMFVC: Boolean = true) =
fullValueParameterList.any { it.type.getRequiresMangling(includeInline, includeMFVC) } ||
context.config.functionsWithInlineClassReturnTypesMangled &&
returnType.getRequiresMangling(includeInline = includeInline, includeMFVC = false)
protected fun typedArgumentList(function: IrFunction, expression: IrMemberAccessExpression<*>) = listOfNotNull(
function.dispatchReceiverParameter?.let { it to expression.dispatchReceiver },
function.extensionReceiverParameter?.let { it to expression.extensionReceiver }
) + function.valueParameters.map { it to expression.getValueArgument(it.index) }
// We may need to add a bridge method for inline class methods with static replacements. Ideally, we'd do this in BridgeLowering,
// but unfortunately this is a special case in the old backend. The bridge method is not marked as such and does not follow the normal
// visibility rules for bridge methods.
abstract fun createBridgeDeclaration(source: IrSimpleFunction, replacement: IrSimpleFunction, mangledName: Name): IrSimpleFunction
protected abstract fun createBridgeBody(source: IrSimpleFunction, target: IrSimpleFunction, original: IrFunction, inverted: Boolean)
internal abstract fun visitClassNewDeclarationsWhenParallel(declaration: IrDeclaration)
// forbid other overrides without modifying dispatcher file JvmValueClassLoweringDispatcher.kt
final override fun visitModuleFragment(declaration: IrModuleFragment): IrModuleFragment = super.visitModuleFragment(declaration)
final override fun visitPackageFragment(declaration: IrPackageFragment): IrPackageFragment = super.visitPackageFragment(declaration)
final override fun visitExternalPackageFragment(declaration: IrExternalPackageFragment): IrExternalPackageFragment =
super.visitExternalPackageFragment(declaration)
final override fun visitDeclaration(declaration: IrDeclarationBase): IrStatement = super.visitDeclaration(declaration)
final override fun visitSimpleFunction(declaration: IrSimpleFunction) = super.visitSimpleFunction(declaration)
final override fun visitConstructor(declaration: IrConstructor) = super.visitConstructor(declaration)
final override fun visitLocalDelegatedProperty(declaration: IrLocalDelegatedProperty) = super.visitLocalDelegatedProperty(declaration)
final override fun visitEnumEntry(declaration: IrEnumEntry) = super.visitEnumEntry(declaration)
final override fun visitTypeParameter(declaration: IrTypeParameter) = super.visitTypeParameter(declaration)
final override fun visitTypeAlias(declaration: IrTypeAlias) = super.visitTypeAlias(declaration)
final override fun visitBody(body: IrBody): IrBody = super.visitBody(body)
final override fun visitExpressionBody(body: IrExpressionBody) = super.visitExpressionBody(body)
final override fun visitSyntheticBody(body: IrSyntheticBody) = super.visitSyntheticBody(body)
final override fun visitSuspendableExpression(expression: IrSuspendableExpression) = super.visitSuspendableExpression(expression)
final override fun visitSuspensionPoint(expression: IrSuspensionPoint) = super.visitSuspensionPoint(expression)
final override fun visitExpression(expression: IrExpression): IrExpression = super.visitExpression(expression)
final override fun visitConst(expression: IrConst) = super.visitConst(expression)
final override fun visitConstantValue(expression: IrConstantValue): IrConstantValue = super.visitConstantValue(expression)
final override fun visitConstantObject(expression: IrConstantObject) = super.visitConstantObject(expression)
final override fun visitConstantPrimitive(expression: IrConstantPrimitive) = super.visitConstantPrimitive(expression)
final override fun visitConstantArray(expression: IrConstantArray) = super.visitConstantArray(expression)
final override fun visitVararg(expression: IrVararg) = super.visitVararg(expression)
final override fun visitSpreadElement(spread: IrSpreadElement): IrSpreadElement = super.visitSpreadElement(spread)
final override fun visitBlock(expression: IrBlock) = super.visitBlock(expression)
final override fun visitComposite(expression: IrComposite) = super.visitComposite(expression)
final override fun visitDeclarationReference(expression: IrDeclarationReference) = super.visitDeclarationReference(expression)
final override fun visitSingletonReference(expression: IrGetSingletonValue) = super.visitSingletonReference(expression)
final override fun visitGetObjectValue(expression: IrGetObjectValue) = super.visitGetObjectValue(expression)
final override fun visitGetEnumValue(expression: IrGetEnumValue) = super.visitGetEnumValue(expression)
final override fun visitValueAccess(expression: IrValueAccessExpression) = super.visitValueAccess(expression)
final override fun visitFieldAccess(expression: IrFieldAccessExpression) = super.visitFieldAccess(expression)
final override fun visitMemberAccess(expression: IrMemberAccessExpression<*>) = super.visitMemberAccess(expression)
final override fun visitConstructorCall(expression: IrConstructorCall) = super.visitConstructorCall(expression)
final override fun visitDelegatingConstructorCall(expression: IrDelegatingConstructorCall) =
super.visitDelegatingConstructorCall(expression)
final override fun visitEnumConstructorCall(expression: IrEnumConstructorCall) = super.visitEnumConstructorCall(expression)
final override fun visitGetClass(expression: IrGetClass) = super.visitGetClass(expression)
final override fun visitCallableReference(expression: IrCallableReference<*>) = super.visitCallableReference(expression)
final override fun visitPropertyReference(expression: IrPropertyReference) = super.visitPropertyReference(expression)
final override fun visitLocalDelegatedPropertyReference(expression: IrLocalDelegatedPropertyReference) =
super.visitLocalDelegatedPropertyReference(expression)
final override fun visitRawFunctionReference(expression: IrRawFunctionReference) = super.visitRawFunctionReference(expression)
final override fun visitFunctionExpression(expression: IrFunctionExpression) = super.visitFunctionExpression(expression)
final override fun visitClassReference(expression: IrClassReference) = super.visitClassReference(expression)
final override fun visitInstanceInitializerCall(expression: IrInstanceInitializerCall) = super.visitInstanceInitializerCall(expression)
final override fun visitTypeOperator(expression: IrTypeOperatorCall) = super.visitTypeOperator(expression)
final override fun visitWhen(expression: IrWhen) = super.visitWhen(expression)
final override fun visitBranch(branch: IrBranch): IrBranch = super.visitBranch(branch)
final override fun visitElseBranch(branch: IrElseBranch): IrElseBranch = super.visitElseBranch(branch)
final override fun visitLoop(loop: IrLoop) = super.visitLoop(loop)
final override fun visitWhileLoop(loop: IrWhileLoop) = super.visitWhileLoop(loop)
final override fun visitDoWhileLoop(loop: IrDoWhileLoop) = super.visitDoWhileLoop(loop)
final override fun visitTry(aTry: IrTry) = super.visitTry(aTry)
final override fun visitCatch(aCatch: IrCatch): IrCatch = super.visitCatch(aCatch)
final override fun visitBreakContinue(jump: IrBreakContinue) = super.visitBreakContinue(jump)
final override fun visitBreak(jump: IrBreak) = super.visitBreak(jump)
final override fun visitContinue(jump: IrContinue) = super.visitContinue(jump)
final override fun visitThrow(expression: IrThrow) = super.visitThrow(expression)
final override fun visitDynamicExpression(expression: IrDynamicExpression) = super.visitDynamicExpression(expression)
final override fun visitDynamicOperatorExpression(expression: IrDynamicOperatorExpression) =
super.visitDynamicOperatorExpression(expression)
final override fun visitDynamicMemberExpression(expression: IrDynamicMemberExpression) = super.visitDynamicMemberExpression(expression)
final override fun visitErrorDeclaration(declaration: IrErrorDeclaration) = super.visitErrorDeclaration(declaration)
final override fun visitErrorExpression(expression: IrErrorExpression) = super.visitErrorExpression(expression)
final override fun visitErrorCallExpression(expression: IrErrorCallExpression) = super.visitErrorCallExpression(expression)
}