org.jetbrains.kotlin.psi2ir.intermediate.ArrayAccessAssignmentReceiver.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-2016 JetBrains s.r.o.
*
* Licensed under the Apache License, Version 2.0 (the "License");
* you may not use this file except in compliance with the License.
* You may obtain a copy of the License at
*
* http://www.apache.org/licenses/LICENSE-2.0
*
* Unless required by applicable law or agreed to in writing, software
* distributed under the License is distributed on an "AS IS" BASIS,
* WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
* See the License for the specific language governing permissions and
* limitations under the License.
*/
package org.jetbrains.kotlin.psi2ir.intermediate
import org.jetbrains.kotlin.descriptors.FunctionDescriptor
import org.jetbrains.kotlin.ir.IrElement
import org.jetbrains.kotlin.ir.declarations.IrVariable
import org.jetbrains.kotlin.ir.expressions.*
import org.jetbrains.kotlin.ir.expressions.impl.IrBlockImpl
import org.jetbrains.kotlin.ir.expressions.impl.IrGetValueImpl
import org.jetbrains.kotlin.ir.expressions.impl.IrTypeOperatorCallImpl
import org.jetbrains.kotlin.ir.expressions.impl.inlineStatement
import org.jetbrains.kotlin.ir.types.impl.originalKotlinType
import org.jetbrains.kotlin.ir.visitors.IrElementTransformerVoid
import org.jetbrains.kotlin.ir.visitors.IrElementVisitorVoid
import org.jetbrains.kotlin.ir.visitors.acceptChildrenVoid
import org.jetbrains.kotlin.ir.visitors.transformChildrenVoid
import org.jetbrains.kotlin.psi.KtExpression
import org.jetbrains.kotlin.psi2ir.descriptors.IrBuiltInsOverDescriptors
import org.jetbrains.kotlin.psi2ir.generators.CallGenerator
import org.jetbrains.kotlin.psi2ir.generators.generateSamConversionForValueArgumentsIfRequired
import org.jetbrains.kotlin.psi2ir.generators.pregenerateValueArgumentsUsing
import org.jetbrains.kotlin.resolve.calls.model.ResolvedCall
import org.jetbrains.kotlin.resolve.calls.tasks.isDynamic
import org.jetbrains.kotlin.types.KotlinType
import org.jetbrains.kotlin.types.checker.KotlinTypeChecker
internal class ArrayAccessAssignmentReceiver(
private val irArray: IrExpression,
private val ktIndexExpressions: List,
private val irIndexExpressions: List,
private val indexedGetResolvedCall: ResolvedCall?,
private val indexedSetResolvedCall: ResolvedCall?,
private val indexedGetCall: () -> CallBuilder?,
private val indexedSetCall: () -> CallBuilder?,
private val callGenerator: CallGenerator,
private val startOffset: Int,
private val endOffset: Int,
private val origin: IrStatementOrigin
) : AssignmentReceiver {
private val indexedGetDescriptor = indexedGetResolvedCall?.resultingDescriptor
private val indexedSetDescriptor = indexedSetResolvedCall?.resultingDescriptor
private class CompoundAssignmentInfo {
val indexVariables = LinkedHashSet()
}
private val descriptor =
indexedGetDescriptor
?: indexedSetDescriptor
?: throw AssertionError("Array access should have either indexed-get call or indexed-set call")
override fun assign(withLValue: (LValue) -> IrExpression): IrExpression {
val kotlinType: KotlinType =
indexedGetDescriptor?.returnType
?: indexedSetDescriptor?.run { valueParameters.last().type }
?: throw AssertionError("Array access should have either indexed-get call or indexed-set call")
val hasResult = origin.isAssignmentOperatorWithResult()
val resultType = if (hasResult) kotlinType else (callGenerator.context.irBuiltIns as IrBuiltInsOverDescriptors).unit
val irResultType = callGenerator.translateType(resultType)
if (indexedGetDescriptor?.isDynamic() != false && indexedSetDescriptor?.isDynamic() != false) {
return withLValue(
createLValue(kotlinType, OnceExpressionValue(irArray)) { _, irIndex ->
OnceExpressionValue(irIndex)
}
)
}
val irBlock = IrBlockImpl(startOffset, endOffset, irResultType, origin)
val irArrayValue = callGenerator.scope.createTemporaryVariableInBlock(callGenerator.context, irArray, irBlock, "array")
val compoundAssignmentInfo = CompoundAssignmentInfo()
irBlock.inlineStatement(
withLValue(
createLValue(kotlinType, irArrayValue) { i, irIndex ->
val irIndexVar = callGenerator.scope.createTemporaryVariable(irIndex, "index$i")
compoundAssignmentInfo.indexVariables.add(irIndexVar)
irBlock.statements.add(irIndexVar)
VariableLValue(callGenerator.context, irIndexVar)
}
)
)
postprocessSamConversionsInCompoundAssignment(irBlock, compoundAssignmentInfo)
return irBlock
}
private fun postprocessSamConversionsInCompoundAssignment(
irBlock: IrBlock,
compoundAssignmentInfo: CompoundAssignmentInfo
) {
val samConversionsCollector = SamConversionsCollector(compoundAssignmentInfo)
irBlock.acceptChildrenVoid(samConversionsCollector)
if (samConversionsCollector.samConversionsPerVariable.isEmpty()) return
val samConvertedVars = hashMapOf()
for ((irIndexVar, samConversions) in samConversionsCollector.samConversionsPerVariable) {
var mostSpecificSamConversion: IrTypeOperatorCall = samConversions.first()
for (samConversion in samConversions) {
if (samConversion === mostSpecificSamConversion) continue
val lastType = mostSpecificSamConversion.operandKotlinType
val nextType = samConversion.operandKotlinType
if (KotlinTypeChecker.DEFAULT.isSubtypeOf(nextType, lastType)) {
mostSpecificSamConversion = samConversion
} else if (!KotlinTypeChecker.DEFAULT.isSubtypeOf(lastType, nextType)) {
throw AssertionError("Unrelated types in SAM conversion for index variable: $lastType, $nextType")
}
}
val irSamConvertedVarInitializer = createSamConvertedVarInitializer(irIndexVar, mostSpecificSamConversion)
val irSamConvertedVar = callGenerator.scope.createTemporaryVariable(irSamConvertedVarInitializer, "sam")
val index = irBlock.statements.indexOf(irIndexVar)
irBlock.statements[index] = irSamConvertedVar
samConvertedVars[irIndexVar] = irSamConvertedVar
}
irBlock.transformChildrenVoid(SamConversionsRewriter(samConvertedVars))
}
private fun createSamConvertedVarInitializer(irIndexVar: IrVariable, mostSpecificSamConversion: IrTypeOperatorCall): IrExpression {
val irIndexVarInitializer = irIndexVar.initializer!!
val startOffset = irIndexVarInitializer.startOffset
val endOffset = irIndexVarInitializer.endOffset
val implicitCast = mostSpecificSamConversion.argument as IrTypeOperatorCall
return IrTypeOperatorCallImpl(
startOffset, endOffset,
mostSpecificSamConversion.type,
IrTypeOperator.SAM_CONVERSION,
mostSpecificSamConversion.typeOperand,
IrTypeOperatorCallImpl(
startOffset, endOffset,
implicitCast.type,
IrTypeOperator.IMPLICIT_CAST,
implicitCast.typeOperand,
irIndexVarInitializer
)
)
}
private val IrTypeOperatorCall.operandKotlinType
get() = typeOperand.originalKotlinType!!
private class SamConversionsCollector(
private val compoundAssignmentInfo: CompoundAssignmentInfo
) : IrElementVisitorVoid {
val samConversionsPerVariable = HashMap>()
override fun visitElement(element: IrElement) {
element.acceptChildrenVoid(this)
}
override fun visitTypeOperator(expression: IrTypeOperatorCall) {
expression.acceptChildrenVoid(this)
val irGetVar = expression.getSamConvertedGetValue()
if (irGetVar != null) {
val valueDeclaration = irGetVar.symbol.owner
if (valueDeclaration is IrVariable && valueDeclaration in compoundAssignmentInfo.indexVariables) {
samConversionsPerVariable.getOrPut(valueDeclaration) { ArrayList() }.add(expression)
}
}
}
}
private class SamConversionsRewriter(
private val replacementVars: Map
) : IrElementTransformerVoid() {
override fun visitElement(element: IrElement): IrElement {
return element.apply { transformChildrenVoid() }
}
override fun visitTypeOperator(expression: IrTypeOperatorCall): IrExpression {
val irGetVar = expression.getSamConvertedGetValue()
if (irGetVar != null) {
val valueDeclaration = irGetVar.symbol.owner
val replacementVar = replacementVars[valueDeclaration]
if (replacementVar != null) {
return IrGetValueImpl(expression.startOffset, expression.endOffset, replacementVar.symbol, null)
}
}
return expression.apply { transformChildrenVoid() }
}
override fun visitGetValue(expression: IrGetValue): IrExpression {
val symbol = expression.symbol
if (symbol.owner in replacementVars) {
throw AssertionError(
"SAM-converted index variable ${symbol.descriptor} is present in get/set calls in non-converted"
)
}
return expression
}
}
private fun createLValue(
kotlinType: KotlinType,
irArrayValue: IntermediateValue,
createIndexValue: (Int, IrExpression) -> IntermediateValue
): LValueWithGetterAndSetterCalls {
val ktExpressionToIrIndexValue = HashMap()
for ((i, irIndex) in irIndexExpressions.withIndex()) {
ktExpressionToIrIndexValue[ktIndexExpressions[i]] =
createIndexValue(i, irIndex)
}
return LValueWithGetterAndSetterCalls(
callGenerator,
descriptor,
{ indexedGetCall()?.fillArguments(irArrayValue, indexedGetResolvedCall!!, ktExpressionToIrIndexValue, null) },
{ indexedSetCall()?.fillArguments(irArrayValue, indexedSetResolvedCall!!, ktExpressionToIrIndexValue, it) },
callGenerator.translateType(kotlinType),
startOffset, endOffset, origin
)
}
override fun assign(value: IrExpression): IrExpression {
val call = indexedSetCall() ?: throw AssertionError("Array access without indexed-get call")
val ktExpressionToIrIndexExpression = ktIndexExpressions.zip(irIndexExpressions.map { OnceExpressionValue(it) }).toMap()
call.fillArguments(OnceExpressionValue(irArray), indexedSetResolvedCall!!, ktExpressionToIrIndexExpression, value)
return callGenerator.generateCall(startOffset, endOffset, call, IrStatementOrigin.EQ)
}
private fun CallBuilder.fillArguments(
arrayValue: IntermediateValue,
resolvedCall: ResolvedCall,
ktExpressionToIrIndexValue: Map,
value: IrExpression?
) = apply {
setExplicitReceiverValue(arrayValue)
callGenerator.statementGenerator.pregenerateValueArgumentsUsing(this, resolvedCall) { ktExpression ->
ktExpressionToIrIndexValue[ktExpression]?.load()
}
value?.let { lastArgument = it }
callGenerator.statementGenerator.generateSamConversionForValueArgumentsIfRequired(this, resolvedCall)
}
companion object {
internal fun IrTypeOperatorCall.getSamConvertedGetValue(): IrGetValue? {
if (operator != IrTypeOperator.SAM_CONVERSION) return null
val arg0 = argument
if (arg0 !is IrTypeOperatorCall) return null
if (arg0.operator != IrTypeOperator.IMPLICIT_CAST) return null
val arg1 = arg0.argument
if (arg1 !is IrGetValue) return null
if (arg1.symbol.owner !is IrVariable) return null
return arg1
}
}
}