org.jetbrains.kotlin.codegen.intrinsics.Concat.kt Maven / Gradle / Ivy

Go to download
Show more of this group Show more artifacts with this name
Show all versions of kotlin-compiler Show documentation
the Kotlin compiler
There is a newer version: 2.1.0-RC
/*
 * Copyright 2010-2015 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.codegen.intrinsics

import com.intellij.psi.PsiElement
import org.jetbrains.kotlin.codegen.*
import org.jetbrains.kotlin.codegen.DescriptorAsmUtil.genInvokeAppendMethod
import org.jetbrains.kotlin.codegen.state.GenerationState
import org.jetbrains.kotlin.lexer.KtTokens
import org.jetbrains.kotlin.psi.KtBinaryExpression
import org.jetbrains.kotlin.psi.KtCallableReferenceExpression
import org.jetbrains.kotlin.psi.KtExpression
import org.jetbrains.kotlin.resolve.calls.model.ResolvedCall
import org.jetbrains.kotlin.resolve.jvm.AsmTypes
import org.jetbrains.kotlin.resolve.jvm.AsmTypes.JAVA_STRING_TYPE
import org.jetbrains.org.objectweb.asm.Type
import org.jetbrains.org.objectweb.asm.commons.InstructionAdapter

class Concat : IntrinsicMethod() {
    fun generateImpl(
        codegen: ExpressionCodegen,
        v: InstructionAdapter,
        returnType: Type,
        element: PsiElement?,
        arguments: List,
        receiver: StackValue
    ): Type {
        val generator = StringConcatGenerator.create(codegen.state, v)
        if (element is KtBinaryExpression && element.operationReference.getReferencedNameElementType() == KtTokens.PLUS) {
            // LHS + RHS            
            generator.genStringBuilderConstructorIfNeded()
            codegen.invokeAppend(generator, element.left)
            codegen.invokeAppend(generator, element.right)
        } else {
            // Explicit plus call LHS?.plus(RHS) or LHS.plus(RHS)
            receiver.put(AsmTypes.JAVA_STRING_TYPE, v)
            generator.genStringBuilderConstructorIfNeded(true)
            genInvokeAppendMethod(generator, returnType, null, null, StackValue.onStack(JAVA_STRING_TYPE))
            codegen.invokeAppend(generator, arguments[0])
        }
        generator.genToString()
        return JAVA_STRING_TYPE
    }


    override fun toCallable(method: CallableMethod): Callable =
        object : IntrinsicCallable(method) {
            lateinit var generator: StringConcatGenerator
            override fun invokeMethodWithArguments(
                resolvedCall: ResolvedCall<*>,
                receiver: StackValue,
                codegen: ExpressionCodegen
            ): StackValue {
                if (resolvedCall.call.callElement.parent is KtCallableReferenceExpression) {
                    // NB we come here only in case of inlined callable reference to String::plus.
                    // This will map arguments properly, invoking callbacks defined in Callable.
                    return super.invokeMethodWithArguments(resolvedCall, receiver, codegen)
                }
                return StackValue.operation(returnType) {
                    val arguments = resolvedCall.call.valueArguments.map { it.getArgumentExpression()!! }
                    val actualType = generateImpl(
                        codegen, it, returnType,
                        resolvedCall.call.callElement,
                        arguments,
                        StackValue.receiver(resolvedCall, receiver, codegen, this)
                    )
                    StackValue.coerce(actualType, returnType, it)
                }
            }

            override fun afterReceiverGeneration(v: InstructionAdapter, frameMap: FrameMap, state: GenerationState) {
                generator = StringConcatGenerator.create(state, v)
                if (!generator.mode.isDynamic) {
                    v.generateNewInstanceDupAndPlaceBeforeStackTop(frameMap, JAVA_STRING_TYPE, "java/lang/StringBuilder")
                    v.invokespecial("java/lang/StringBuilder", "", "(Ljava/lang/String;)V", false)
                } else {
                    generator.invokeAppend(JAVA_STRING_TYPE)
                }
            }

            override fun invokeIntrinsic(v: InstructionAdapter) {
                // String::plus has type String.(Any?) -> String, thus we have no argument type information
                // in case of callable reference passed to a generic function, e.g.:
                //      charArrayOf('O', 'K').fold("", String::plus)
                // TODO Make String::plus generic, and invoke proper StringBuilder#append.
                generator.invokeAppend(AsmTypes.OBJECT_TYPE)
                generator.genToString()
            }
        }
}