org.jetbrains.kotlin.ir.inline.FunctionInlining.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-2024 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.ir.inline
import org.jetbrains.kotlin.backend.common.BodyLoweringPass
import org.jetbrains.kotlin.backend.common.CommonBackendContext
import org.jetbrains.kotlin.backend.common.IrElementTransformerVoidWithContext
import org.jetbrains.kotlin.backend.common.ScopeWithIr
import org.jetbrains.kotlin.backend.common.ir.Symbols
import org.jetbrains.kotlin.backend.common.ir.isInlineLambdaBlock
import org.jetbrains.kotlin.backend.common.ir.isPure
import org.jetbrains.kotlin.backend.common.lower.InnerClassesSupport
import org.jetbrains.kotlin.backend.common.lower.LoweredStatementOrigins.INLINED_FUNCTION_ARGUMENTS
import org.jetbrains.kotlin.backend.common.lower.LoweredStatementOrigins.INLINED_FUNCTION_DEFAULT_ARGUMENTS
import org.jetbrains.kotlin.backend.common.lower.LoweredStatementOrigins.INLINED_FUNCTION_REFERENCE
import org.jetbrains.kotlin.backend.common.lower.at
import org.jetbrains.kotlin.backend.common.lower.createIrBuilder
import org.jetbrains.kotlin.contracts.parsing.ContractsDslNames
import org.jetbrains.kotlin.ir.IrElement
import org.jetbrains.kotlin.ir.IrStatement
import org.jetbrains.kotlin.ir.UNDEFINED_OFFSET
import org.jetbrains.kotlin.ir.builders.irReturn
import org.jetbrains.kotlin.ir.declarations.*
import org.jetbrains.kotlin.ir.expressions.*
import org.jetbrains.kotlin.ir.expressions.impl.*
import org.jetbrains.kotlin.ir.symbols.IrFunctionSymbol
import org.jetbrains.kotlin.ir.symbols.IrValueSymbol
import org.jetbrains.kotlin.ir.symbols.impl.IrReturnableBlockSymbolImpl
import org.jetbrains.kotlin.ir.types.*
import org.jetbrains.kotlin.ir.util.*
import org.jetbrains.kotlin.ir.visitors.*
import org.jetbrains.kotlin.name.Name
import org.jetbrains.kotlin.util.OperatorNameConventions
abstract class InlineFunctionResolver {
open val allowExternalInlining: Boolean
get() = false
open fun needsInlining(function: IrFunction) = function.isInline && (allowExternalInlining || !function.isExternal)
open fun getFunctionDeclaration(symbol: IrFunctionSymbol): IrFunction? {
if (shouldExcludeFunctionFromInlining(symbol)) return null
val owner = symbol.owner
return (owner as? IrSimpleFunction)?.resolveFakeOverride() ?: owner
}
protected open fun shouldExcludeFunctionFromInlining(symbol: IrFunctionSymbol): Boolean {
return !needsInlining(symbol.owner) || Symbols.isLateinitIsInitializedPropertyGetter(symbol) || Symbols.isTypeOfIntrinsic(symbol)
}
}
open class InlineFunctionResolverReplacingCoroutineIntrinsics(open val context: CommonBackendContext) : InlineFunctionResolver() {
override fun getFunctionDeclaration(symbol: IrFunctionSymbol): IrFunction? {
val function = super.getFunctionDeclaration(symbol) ?: return null
// TODO: Remove these hacks when coroutine intrinsics are fixed.
return when {
function.isBuiltInSuspendCoroutineUninterceptedOrReturn() ->
context.ir.symbols.suspendCoroutineUninterceptedOrReturn.owner
symbol == context.ir.symbols.coroutineContextGetter ->
context.ir.symbols.coroutineGetContext.owner
else -> function
}
}
}
open class FunctionInlining(
val context: CommonBackendContext,
private val inlineFunctionResolver: InlineFunctionResolver,
private val innerClassesSupport: InnerClassesSupport? = null,
private val insertAdditionalImplicitCasts: Boolean = false,
private val regenerateInlinedAnonymousObjects: Boolean = false,
) : IrElementTransformerVoidWithContext(), BodyLoweringPass {
private var containerScope: ScopeWithIr? = null
private val elementsWithLocationToPatch = hashSetOf()
override fun lower(irBody: IrBody, container: IrDeclaration) {
// TODO container: IrSymbolDeclaration
containerScope = createScope(container as IrSymbolOwner)
irBody.accept(this, null)
containerScope = null
irBody.patchDeclarationParents(container as? IrDeclarationParent ?: container.parent)
}
fun inline(irModule: IrModuleFragment) = irModule.accept(this, data = null)
override fun visitFunctionAccess(expression: IrFunctionAccessExpression): IrExpression {
expression.transformChildrenVoid(this)
val calleeSymbol = when (expression) {
is IrCall -> expression.symbol
is IrConstructorCall -> expression.symbol
else -> return expression
}
val actualCallee = inlineFunctionResolver.getFunctionDeclaration(calleeSymbol)
if (actualCallee?.body == null) {
return expression
}
withinScope(actualCallee) {
actualCallee.body?.transformChildrenVoid()
}
val parent = allScopes.map { it.irElement }.filterIsInstance().lastOrNull()
?: allScopes.map { it.irElement }.filterIsInstance().lastOrNull()?.parent
?: containerScope?.irElement as? IrDeclarationParent
?: (containerScope?.irElement as? IrDeclaration)?.parent
val inliner = Inliner(expression, actualCallee, currentScope ?: containerScope!!, parent, context)
return inliner.inline().markAsRegenerated()
}
private fun IrReturnableBlock.markAsRegenerated(): IrReturnableBlock {
if (!regenerateInlinedAnonymousObjects) return this
acceptVoid(object : IrElementVisitorVoid {
private fun IrAttributeContainer.setUpCorrectAttributeOwner() {
if (this.attributeOwnerId == this) return
this.originalBeforeInline = this.attributeOwnerId
this.attributeOwnerId = this
}
override fun visitElement(element: IrElement) {
if (element is IrAttributeContainer) element.setUpCorrectAttributeOwner()
element.acceptChildrenVoid(this)
}
})
return this
}
private inner class Inliner(
val callSite: IrFunctionAccessExpression,
val callee: IrFunction,
val currentScope: ScopeWithIr,
val parent: IrDeclarationParent?,
val context: CommonBackendContext
) {
val copyIrElement = run {
val typeParameters =
if (callee is IrConstructor)
callee.parentAsClass.typeParameters
else callee.typeParameters
val typeArguments =
(0 until callSite.typeArgumentsCount).associate {
typeParameters[it].symbol to callSite.getTypeArgument(it)
}
DeepCopyIrTreeWithSymbolsForInliner(typeArguments, parent, NonReifiedTypeParameterRemappingMode.ERASE)
}
val substituteMap = mutableMapOf()
fun inline() = inlineFunction(callSite, callee, callee.originalFunction, true)
private fun E.copy(): E {
@Suppress("UNCHECKED_CAST")
return copyIrElement.copy(this) as E
}
private fun inlineFunction(
callSite: IrFunctionAccessExpression,
callee: IrFunction,
originalInlinedElement: IrElement,
performRecursiveInline: Boolean
): IrReturnableBlock {
val copiedCallee = callee.copy().apply {
parent = callee.parent
if (performRecursiveInline) {
body?.transformChildrenVoid()
valueParameters.forEachIndexed { index, param ->
if (callSite.getValueArgument(index) == null) {
// Default values can recursively reference [callee] - transform only needed.
param.defaultValue = param.defaultValue?.transform(this@FunctionInlining, null)
}
}
}
}
val evaluationStatements = evaluateArguments(callSite, copiedCallee)
val statements = (copiedCallee.body as? IrBlockBody)?.statements
?: error("Body not found for function ${callee.render()}")
val irReturnableBlockSymbol = IrReturnableBlockSymbolImpl()
val endOffset = statements.lastOrNull()?.endOffset ?: callee.endOffset
/* creates irBuilder appending to the end of the given returnable block: thus why we initialize
* irBuilder with (..., endOffset, endOffset).
*/
val irBuilder = context.createIrBuilder(irReturnableBlockSymbol, endOffset, endOffset)
val transformer = ParameterSubstitutor()
val newStatements = statements.map { it.transform(transformer, data = null) as IrStatement }
val inlinedBlock = IrInlinedFunctionBlockImpl(
startOffset = callSite.startOffset,
endOffset = callSite.endOffset,
type = callSite.type,
inlineCall = callSite,
inlinedElement = originalInlinedElement,
origin = null,
statements = evaluationStatements + newStatements
)
// Note: here we wrap `IrInlinedFunctionBlock` inside `IrReturnableBlock` because such way it is easier to
// control special composite blocks that are inside `IrInlinedFunctionBlock`
return IrReturnableBlockImpl(
startOffset = callSite.startOffset,
endOffset = callSite.endOffset,
type = callSite.type,
symbol = irReturnableBlockSymbol,
origin = null,
statements = listOf(inlinedBlock),
).apply {
transformChildrenVoid(object : IrElementTransformerVoid() {
override fun visitReturn(expression: IrReturn): IrExpression {
expression.transformChildrenVoid(this)
if (expression.returnTargetSymbol == copiedCallee.symbol) {
val expr = expression.value.doImplicitCastIfNeededTo(callSite.type)
return irBuilder.at(expression).irReturn(expr)
}
return expression
}
})
patchDeclarationParents(parent) // TODO: Why it is not enough to just run SetDeclarationsParentVisitor?
}
}
//---------------------------------------------------------------------//
private inner class ParameterSubstitutor : IrElementTransformerVoid() {
override fun visitGetValue(expression: IrGetValue): IrExpression {
val newExpression = super.visitGetValue(expression) as IrGetValue
val argument = substituteMap[newExpression.symbol.owner] ?: return newExpression
argument.transformChildrenVoid(this) // Default argument can contain subjects for substitution.
val ret =
if (argument is IrGetValue && argument in elementsWithLocationToPatch)
argument.copyWithOffsets(newExpression.startOffset, newExpression.endOffset)
else
argument.copy()
return ret.doImplicitCastIfNeededTo(newExpression.type)
}
override fun visitCall(expression: IrCall): IrExpression {
// TODO extract to common utils OR reuse ContractDSLRemoverLowering
if (expression.symbol.owner.hasAnnotation(ContractsDslNames.CONTRACTS_DSL_ANNOTATION_FQN)) {
return IrCompositeImpl(expression.startOffset, expression.endOffset, context.irBuiltIns.unitType)
}
if (!isLambdaCall(expression))
return super.visitCall(expression)
val dispatchReceiver = expression.dispatchReceiver?.unwrapAdditionalImplicitCastsIfNeeded() as IrGetValue
val functionArgument = substituteMap[dispatchReceiver.symbol.owner] ?: return super.visitCall(expression)
if ((dispatchReceiver.symbol.owner as? IrValueParameter)?.isNoinline == true) return super.visitCall(expression)
return when {
functionArgument is IrCallableReference<*> ->
error("Can't inline given reference, it should've been lowered\n${functionArgument.render()}")
functionArgument.isAdaptedFunctionReference() ->
inlineAdaptedFunctionReference(expression, functionArgument as IrBlock)
functionArgument.isLambdaBlock() -> {
inlineAdaptedFunctionReference(expression, functionArgument as IrBlock).statements.last() as IrExpression
}
functionArgument is IrFunctionExpression ->
inlineFunctionExpression(expression, functionArgument)
else ->
super.visitCall(expression)
}
}
fun inlineFunctionExpression(irCall: IrCall, irFunctionExpression: IrFunctionExpression): IrExpression {
// Inline the lambda. Lambda parameters will be substituted with lambda arguments.
val newExpression = inlineFunction(
irCall, irFunctionExpression.function, irFunctionExpression, false
)
// Substitute lambda arguments with target function arguments.
return newExpression.transform(this, null)
}
fun inlineAdaptedFunctionReference(irCall: IrCall, irBlock: IrBlock): IrBlock {
val irFunction = irBlock.statements[0].let {
it.transformChildrenVoid(this)
copyIrElement.copy(it) as IrFunction
}.apply {
origin = IrDeclarationOrigin.ADAPTER_FOR_CALLABLE_REFERENCE
}
val irFunctionReference = irBlock.statements[1] as IrFunctionReference
val inlinedFunctionReference = inlineFunctionReference(irCall, irFunctionReference, irFunction)
return IrBlockImpl(
irCall.startOffset, irCall.endOffset,
inlinedFunctionReference.type, origin = null,
statements = listOf(irFunction, inlinedFunctionReference)
)
}
fun inlineFunctionReference(
irCall: IrCall,
irFunctionReference: IrFunctionReference,
inlinedFunction: IrFunction
): IrExpression {
irFunctionReference.transformChildrenVoid(this)
val function = irFunctionReference.symbol.owner
val functionParameters = function.explicitParameters
val boundFunctionParameters = irFunctionReference.getArgumentsWithIr()
val unboundFunctionParameters = functionParameters - boundFunctionParameters.map { it.first }
val boundFunctionParametersMap = boundFunctionParameters.associate { it.first to it.second }
var unboundIndex = 0
val unboundArgsSet = unboundFunctionParameters.toSet()
val valueParameters = irCall.getArgumentsWithIr().drop(1) // Skip dispatch receiver.
val superType = irFunctionReference.type as IrSimpleType
val superTypeArgumentsMap = irCall.symbol.owner.parentAsClass.typeParameters.associate { typeParam ->
typeParam.symbol to superType.arguments[typeParam.index].typeOrNull!!
}
require(superType.arguments.isNotEmpty()) { "type should have at least one type argument: ${superType.render()}" }
// This expression equals to return type of function reference with substituted type arguments
val functionReferenceReturnType = superType.arguments.last().typeOrFail
val immediateCall = when (inlinedFunction) {
is IrConstructor -> {
val classTypeParametersCount = inlinedFunction.parentAsClass.typeParameters.size
IrConstructorCallImpl.fromSymbolOwner(
irCall.startOffset,
irCall.endOffset,
functionReferenceReturnType,
inlinedFunction.symbol,
classTypeParametersCount,
INLINED_FUNCTION_REFERENCE
)
}
is IrSimpleFunction ->
IrCallImpl(
irCall.startOffset,
irCall.endOffset,
functionReferenceReturnType,
inlinedFunction.symbol,
inlinedFunction.typeParameters.size,
inlinedFunction.valueParameters.size,
INLINED_FUNCTION_REFERENCE
)
else -> error("Unknown function kind : ${inlinedFunction.render()}")
}.apply {
for (parameter in functionParameters) {
val argument =
if (parameter !in unboundArgsSet) {
val arg = boundFunctionParametersMap[parameter]!!
if (arg is IrGetValue && arg in elementsWithLocationToPatch)
arg.copyWithOffsets(irCall.startOffset, irCall.endOffset)
else arg.copy()
} else {
if (unboundIndex == valueParameters.size && parameter.defaultValue != null)
parameter.defaultValue!!.expression.copy()
else if (!parameter.isVararg) {
assert(unboundIndex < valueParameters.size) {
"Attempt to use unbound parameter outside of the callee's value parameters"
}
valueParameters[unboundIndex++].second
} else {
val elements = mutableListOf()
while (unboundIndex < valueParameters.size) {
val (param, value) = valueParameters[unboundIndex++]
val substitutedParamType = param.type.substitute(superTypeArgumentsMap)
if (substitutedParamType == parameter.varargElementType!!)
elements += value
else
elements += IrSpreadElementImpl(irCall.startOffset, irCall.endOffset, value)
}
IrVarargImpl(
irCall.startOffset, irCall.endOffset,
parameter.type,
parameter.varargElementType!!,
elements
)
}
}
when (parameter) {
function.dispatchReceiverParameter ->
this.dispatchReceiver = argument.doImplicitCastIfNeededTo(inlinedFunction.dispatchReceiverParameter!!.type)
function.extensionReceiverParameter ->
this.extensionReceiver = argument.doImplicitCastIfNeededTo(inlinedFunction.extensionReceiverParameter!!.type)
else ->
putValueArgument(
parameter.index,
argument.doImplicitCastIfNeededTo(inlinedFunction.valueParameters[parameter.index].type)
)
}
}
assert(unboundIndex == valueParameters.size) { "Not all arguments of the callee are used" }
for (index in 0 until irFunctionReference.typeArgumentsCount)
putTypeArgument(index, irFunctionReference.getTypeArgument(index))
}
return if (inlineFunctionResolver.needsInlining(inlinedFunction)) {
// `attributeOwnerId` is used to get the original reference instead of a reference on `stub_for_inlining`
inlineFunction(immediateCall, inlinedFunction, irFunctionReference.attributeOwnerId, performRecursiveInline = true)
} else {
super.visitExpression(immediateCall).transform(this@FunctionInlining, null)
}.doImplicitCastIfNeededTo(irCall.type)
}
override fun visitElement(element: IrElement) = element.accept(this, null)
}
private fun IrExpression.doImplicitCastIfNeededTo(type: IrType): IrExpression {
if (!insertAdditionalImplicitCasts) return this
return this.implicitCastIfNeededTo(type)
}
// With `insertAdditionalImplicitCasts` flag we sometimes insert
// casts to inline lambda parameters before calling `invoke` on them.
// Unwrapping these casts helps us satisfy inline lambda call detection logic.
private fun IrExpression.unwrapAdditionalImplicitCastsIfNeeded(): IrExpression {
if (insertAdditionalImplicitCasts && this is IrTypeOperatorCall && this.operator == IrTypeOperator.IMPLICIT_CAST) {
return this.argument.unwrapAdditionalImplicitCastsIfNeeded()
}
return this
}
private fun isLambdaCall(irCall: IrCall): Boolean {
val callee = irCall.symbol.owner
val dispatchReceiver = callee.dispatchReceiverParameter ?: return false
// Uncomment or delete depending on KT-57249 status
// assert(!dispatchReceiver.type.isKFunction())
return (dispatchReceiver.type.isFunctionOrKFunction() || dispatchReceiver.type.isSuspendFunctionOrKFunction())
&& callee.name == OperatorNameConventions.INVOKE
&& irCall.dispatchReceiver?.unwrapAdditionalImplicitCastsIfNeeded() is IrGetValue
}
private inner class ParameterToArgument(
val parameter: IrValueParameter,
val argumentExpression: IrExpression,
val isDefaultArg: Boolean = false
) {
val isInlinableLambdaArgument: Boolean
// must take "original" parameter because it can have generic type and so considered as no inline; see `lambdaAsGeneric.kt`
get() = parameter.getOriginalParameter().isInlineParameter() &&
(argumentExpression is IrFunctionReference
|| argumentExpression is IrFunctionExpression
|| argumentExpression.isAdaptedFunctionReference()
|| argumentExpression.isInlineLambdaBlock()
|| argumentExpression.isLambdaBlock())
val isInlinablePropertyReference: Boolean
// must take "original" parameter because it can have generic type and so considered as no inline; see `lambdaAsGeneric.kt`
get() = parameter.getOriginalParameter().isInlineParameter() && argumentExpression is IrPropertyReference
val isImmutableVariableLoad: Boolean
get() = argumentExpression.let { argument ->
argument is IrGetValue && !argument.symbol.owner.let { it is IrVariable && it.isVar }
}
private fun IrValueParameter.getOriginalParameter(): IrValueParameter {
if (this.parent !is IrFunction) return this
val original = (this.parent as IrFunction).originalFunction
return original.allParameters.singleOrNull { it.name == this.name && it.startOffset == this.startOffset } ?: this
}
}
private fun ParameterToArgument.andAllOuterClasses(): List {
val allParametersReplacements = mutableListOf(this)
if (innerClassesSupport == null) return allParametersReplacements
var currentThisSymbol = parameter.symbol
var parameterClassDeclaration = parameter.type.classifierOrNull?.owner as? IrClass ?: return allParametersReplacements
while (parameterClassDeclaration.isInner) {
val outerClass = parameterClassDeclaration.parentAsClass
val outerClassThis = outerClass.thisReceiver ?: error("${outerClass.name} has a null `thisReceiver` property")
val parameterToArgument = ParameterToArgument(
parameter = outerClassThis,
argumentExpression = IrGetFieldImpl(
UNDEFINED_OFFSET,
UNDEFINED_OFFSET,
innerClassesSupport.getOuterThisField(parameterClassDeclaration).symbol,
outerClassThis.type,
IrGetValueImpl(UNDEFINED_OFFSET, UNDEFINED_OFFSET, currentThisSymbol)
)
)
allParametersReplacements.add(parameterToArgument)
currentThisSymbol = outerClassThis.symbol
parameterClassDeclaration = outerClass
}
return allParametersReplacements
}
// callee might be a copied version of callsite.symbol.owner
private fun buildParameterToArgument(callSite: IrFunctionAccessExpression, callee: IrFunction): List {
val parameterToArgument = mutableListOf()
if (callSite.dispatchReceiver != null && callee.dispatchReceiverParameter != null)
parameterToArgument += ParameterToArgument(
parameter = callee.dispatchReceiverParameter!!,
argumentExpression = callSite.dispatchReceiver!!
).andAllOuterClasses()
val valueArguments =
callSite.symbol.owner.valueParameters.map { callSite.getValueArgument(it.index) }.toMutableList()
if (callee.extensionReceiverParameter != null) {
parameterToArgument += ParameterToArgument(
parameter = callee.extensionReceiverParameter!!,
argumentExpression = if (callSite.extensionReceiver != null) {
callSite.extensionReceiver!!
} else {
// Special case: lambda with receiver is called as usual lambda:
valueArguments.removeAt(0)!!
}
)
} else if (callSite.extensionReceiver != null) {
// Special case: usual lambda is called as lambda with receiver:
valueArguments.add(0, callSite.extensionReceiver!!)
}
val parametersWithDefaultToArgument = mutableListOf()
for (parameter in callee.valueParameters) {
val argument = valueArguments[parameter.index]
when {
argument != null -> {
parameterToArgument += ParameterToArgument(
parameter = parameter,
argumentExpression = argument
)
}
// After ExpectDeclarationsRemoving pass default values from expect declarations
// are represented correctly in IR.
parameter.defaultValue != null -> { // There is no argument - try default value.
parametersWithDefaultToArgument += ParameterToArgument(
parameter = parameter,
argumentExpression = parameter.defaultValue!!.expression,
isDefaultArg = true
)
}
parameter.varargElementType != null -> {
val emptyArray = IrVarargImpl(
startOffset = callSite.startOffset,
endOffset = callSite.endOffset,
type = parameter.type,
varargElementType = parameter.varargElementType!!
)
parameterToArgument += ParameterToArgument(
parameter = parameter,
argumentExpression = emptyArray
)
}
else -> {
val message = "Incomplete expression: call to ${callee.render()} " +
"has no argument at index ${parameter.index}"
throw Error(message)
}
}
}
// All arguments except default are evaluated at callsite,
// but default arguments are evaluated inside callee.
return parameterToArgument + parametersWithDefaultToArgument
}
//-------------------------------------------------------------------------//
private fun evaluateArguments(reference: IrCallableReference<*>): List {
val arguments = reference.getArgumentsWithIr().map { ParameterToArgument(it.first, it.second) }
val evaluationStatements = mutableListOf()
val substitutor = ParameterSubstitutor()
val referenced = when (reference) {
is IrFunctionReference -> reference.symbol.owner
is IrPropertyReference -> reference.getter!!.owner
else -> error(this)
}
arguments.forEach {
// Arguments may reference the previous ones - substitute them.
val irExpression = it.argumentExpression.transform(substitutor, data = null)
val newArgument = if (it.isImmutableVariableLoad) {
irGetValueWithoutLocation((irExpression as IrGetValue).symbol)
} else {
val newVariable =
currentScope.scope.createTemporaryVariable(
startOffset = if (it.isDefaultArg) irExpression.startOffset else UNDEFINED_OFFSET,
endOffset = if (it.isDefaultArg) irExpression.startOffset else UNDEFINED_OFFSET,
irExpression = irExpression,
// If original type of parameter is T, then `it.parameter.type` is T after substitution or erasure,
// depending on whether T reified or not.
irType = it.parameter.type,
nameHint = callee.symbol.owner.name.asStringStripSpecialMarkers() + "_" + it.parameter.name.asStringStripSpecialMarkers(),
isMutable = false
)
evaluationStatements.add(newVariable)
irGetValueWithoutLocation(newVariable.symbol)
}
when (it.parameter) {
referenced.dispatchReceiverParameter -> reference.dispatchReceiver = newArgument
referenced.extensionReceiverParameter -> reference.extensionReceiver = newArgument
else -> reference.putValueArgument(it.parameter.index, newArgument)
}
}
return evaluationStatements
}
private fun evaluateReceiverForPropertyWithField(reference: IrPropertyReference): IrVariable? {
val argument = reference.dispatchReceiver ?: reference.extensionReceiver ?: return null
// Arguments may reference the previous ones - substitute them.
val irExpression = argument.transform(ParameterSubstitutor(), data = null)
val newVariable = currentScope.scope.createTemporaryVariable(
startOffset = UNDEFINED_OFFSET,
endOffset = UNDEFINED_OFFSET,
irExpression = irExpression,
nameHint = callee.symbol.owner.name.asStringStripSpecialMarkers() + "_this",
isMutable = false
)
val newArgument = irGetValueWithoutLocation(newVariable.symbol)
when {
reference.dispatchReceiver != null -> reference.dispatchReceiver = newArgument
reference.extensionReceiver != null -> reference.extensionReceiver = newArgument
}
return newVariable
}
private fun evaluateArguments(callSite: IrFunctionAccessExpression, callee: IrFunction): List {
val arguments = buildParameterToArgument(callSite, callee)
val evaluationStatements = mutableListOf()
val evaluationStatementsFromDefault = mutableListOf()
val substitutor = ParameterSubstitutor()
arguments.forEach { argument ->
val parameter = argument.parameter
val container = if (argument.isDefaultArg) evaluationStatementsFromDefault else evaluationStatements
/*
* We need to create temporary variable for each argument except inlinable lambda arguments.
* For simplicity and to produce simpler IR we don't create temporaries for every immutable variable,
* not only for those referring to inlinable lambdas.
*/
if (argument.isInlinableLambdaArgument || argument.isInlinablePropertyReference) {
substituteMap[parameter] = argument.argumentExpression
val arg = argument.argumentExpression
when {
// This first branch is required to avoid assertion in `getArgumentsWithIr`
arg is IrPropertyReference && arg.field != null -> evaluateReceiverForPropertyWithField(arg)?.let { container += it }
arg is IrCallableReference<*> -> container += evaluateArguments(arg)
arg is IrBlock -> if (arg.origin == IrStatementOrigin.ADAPTED_FUNCTION_REFERENCE || arg.origin == IrStatementOrigin.LAMBDA) {
container += evaluateArguments(arg.statements.last() as IrFunctionReference)
}
}
return@forEach
}
// Arguments may reference the previous ones - substitute them.
val variableInitializer = argument.argumentExpression.transform(substitutor, data = null)
val shouldCreateTemporaryVariable = !parameter.isInlineParameter() || argument.shouldBeSubstitutedViaTemporaryVariable()
if (shouldCreateTemporaryVariable) {
val newVariable = createTemporaryVariable(parameter, variableInitializer, argument.isDefaultArg, callee)
container.add(newVariable)
substituteMap[parameter] = irGetValueWithoutLocation(newVariable.symbol)
return@forEach
}
substituteMap[parameter] = if (variableInitializer is IrGetValue) {
irGetValueWithoutLocation(variableInitializer.symbol)
} else {
variableInitializer
}
}
// Next two composite blocks are used just as containers for two types of variables.
// First one store temp variables that represent non default arguments of inline call and second one store defaults.
// This is needed because these two groups of variables need slightly different processing on (JVM) backend.
val blockForNewStatements = IrCompositeImpl(
UNDEFINED_OFFSET, UNDEFINED_OFFSET, context.irBuiltIns.unitType,
INLINED_FUNCTION_ARGUMENTS, statements = evaluationStatements
)
val blockForNewStatementsFromDefault = IrCompositeImpl(
UNDEFINED_OFFSET, UNDEFINED_OFFSET, context.irBuiltIns.unitType,
INLINED_FUNCTION_DEFAULT_ARGUMENTS, statements = evaluationStatementsFromDefault
)
return listOfNotNull(
blockForNewStatements.takeIf { evaluationStatements.isNotEmpty() },
blockForNewStatementsFromDefault.takeIf { evaluationStatementsFromDefault.isNotEmpty() }
)
}
private fun ParameterToArgument.shouldBeSubstitutedViaTemporaryVariable(): Boolean =
!(isImmutableVariableLoad && parameter.index >= 0) && !argumentExpression.isPure(false, context = context)
private fun createTemporaryVariable(
parameter: IrValueParameter,
variableInitializer: IrExpression,
isDefaultArg: Boolean,
callee: IrFunction
): IrVariable {
val variable = currentScope.scope.createTemporaryVariable(
irExpression = IrBlockImpl(
if (isDefaultArg) variableInitializer.startOffset else UNDEFINED_OFFSET,
if (isDefaultArg) variableInitializer.endOffset else UNDEFINED_OFFSET,
// If original type of parameter is T, then `parameter.type` is T after substitution or erasure,
// depending on whether T reified or not.
parameter.type
).apply {
statements.add(variableInitializer)
},
nameHint = callee.symbol.owner.name.asStringStripSpecialMarkers(),
isMutable = false,
origin = if (parameter == callee.extensionReceiverParameter) {
IrDeclarationOrigin.IR_TEMPORARY_VARIABLE_FOR_INLINED_EXTENSION_RECEIVER
} else {
IrDeclarationOrigin.IR_TEMPORARY_VARIABLE_FOR_INLINED_PARAMETER
}
)
variable.name = Name.identifier(parameter.name.asStringStripSpecialMarkers())
return variable
}
}
private fun irGetValueWithoutLocation(
symbol: IrValueSymbol,
origin: IrStatementOrigin? = null,
): IrGetValue {
return IrGetValueImpl(UNDEFINED_OFFSET, UNDEFINED_OFFSET, symbol, origin).also {
elementsWithLocationToPatch += it
}
}
}
enum class NonReifiedTypeParameterRemappingMode {
LEAVE_AS_IS, SUBSTITUTE, ERASE
}