JVM_IR: support type parameters in @JvmOverload functions
This commit is contained in:
+4
@@ -20,6 +20,7 @@ import org.jetbrains.kotlin.ir.declarations.impl.IrFunctionImpl
|
|||||||
import org.jetbrains.kotlin.ir.expressions.impl.*
|
import org.jetbrains.kotlin.ir.expressions.impl.*
|
||||||
import org.jetbrains.kotlin.ir.symbols.impl.IrConstructorSymbolImpl
|
import org.jetbrains.kotlin.ir.symbols.impl.IrConstructorSymbolImpl
|
||||||
import org.jetbrains.kotlin.ir.symbols.impl.IrSimpleFunctionSymbolImpl
|
import org.jetbrains.kotlin.ir.symbols.impl.IrSimpleFunctionSymbolImpl
|
||||||
|
import org.jetbrains.kotlin.ir.types.defaultType
|
||||||
import org.jetbrains.kotlin.ir.util.deepCopyWithSymbols
|
import org.jetbrains.kotlin.ir.util.deepCopyWithSymbols
|
||||||
import org.jetbrains.kotlin.ir.util.hasAnnotation
|
import org.jetbrains.kotlin.ir.util.hasAnnotation
|
||||||
import org.jetbrains.kotlin.resolve.jvm.annotations.JVM_OVERLOADS_FQ_NAME
|
import org.jetbrains.kotlin.resolve.jvm.annotations.JVM_OVERLOADS_FQ_NAME
|
||||||
@@ -59,6 +60,9 @@ private class JvmOverloadsAnnotationLowering(val context: JvmBackendContext) : C
|
|||||||
IrDelegatingConstructorCallImpl(UNDEFINED_OFFSET, UNDEFINED_OFFSET, context.irBuiltIns.unitType, target.symbol, target.descriptor)
|
IrDelegatingConstructorCallImpl(UNDEFINED_OFFSET, UNDEFINED_OFFSET, context.irBuiltIns.unitType, target.symbol, target.descriptor)
|
||||||
else
|
else
|
||||||
IrCallImpl(UNDEFINED_OFFSET, UNDEFINED_OFFSET, target.returnType, target.symbol)
|
IrCallImpl(UNDEFINED_OFFSET, UNDEFINED_OFFSET, target.returnType, target.symbol)
|
||||||
|
for (arg in wrapperIrFunction.typeParameters) {
|
||||||
|
call.putTypeArgument(arg.index, arg.defaultType)
|
||||||
|
}
|
||||||
call.dispatchReceiver = wrapperIrFunction.dispatchReceiverParameter?.let { dispatchReceiver ->
|
call.dispatchReceiver = wrapperIrFunction.dispatchReceiverParameter?.let { dispatchReceiver ->
|
||||||
IrGetValueImpl(
|
IrGetValueImpl(
|
||||||
UNDEFINED_OFFSET, UNDEFINED_OFFSET,
|
UNDEFINED_OFFSET, UNDEFINED_OFFSET,
|
||||||
|
|||||||
@@ -0,0 +1,23 @@
|
|||||||
|
// TARGET_BACKEND: JVM
|
||||||
|
|
||||||
|
// WITH_RUNTIME
|
||||||
|
|
||||||
|
// FILE: box.kt
|
||||||
|
class C {
|
||||||
|
@kotlin.jvm.JvmOverloads public fun <X> foo(x: X, s: String = "OK"): String {
|
||||||
|
return s
|
||||||
|
}
|
||||||
|
}
|
||||||
|
|
||||||
|
fun box(): String {
|
||||||
|
return A().test()
|
||||||
|
}
|
||||||
|
|
||||||
|
// FILE: A.java
|
||||||
|
|
||||||
|
public class A {
|
||||||
|
public String test() {
|
||||||
|
return new C().foo(42);
|
||||||
|
}
|
||||||
|
}
|
||||||
|
|
||||||
+5
@@ -15159,6 +15159,11 @@ public class BlackBoxCodegenTestGenerated extends AbstractBlackBoxCodegenTest {
|
|||||||
runTest("compiler/testData/codegen/box/jvmOverloads/simpleJavaCall.kt");
|
runTest("compiler/testData/codegen/box/jvmOverloads/simpleJavaCall.kt");
|
||||||
}
|
}
|
||||||
|
|
||||||
|
@TestMetadata("typeParameters.kt")
|
||||||
|
public void testTypeParameters() throws Exception {
|
||||||
|
runTest("compiler/testData/codegen/box/jvmOverloads/typeParameters.kt");
|
||||||
|
}
|
||||||
|
|
||||||
@TestMetadata("varargs.kt")
|
@TestMetadata("varargs.kt")
|
||||||
public void testVarargs() throws Exception {
|
public void testVarargs() throws Exception {
|
||||||
runTest("compiler/testData/codegen/box/jvmOverloads/varargs.kt");
|
runTest("compiler/testData/codegen/box/jvmOverloads/varargs.kt");
|
||||||
|
|||||||
+5
@@ -15159,6 +15159,11 @@ public class LightAnalysisModeTestGenerated extends AbstractLightAnalysisModeTes
|
|||||||
runTest("compiler/testData/codegen/box/jvmOverloads/simpleJavaCall.kt");
|
runTest("compiler/testData/codegen/box/jvmOverloads/simpleJavaCall.kt");
|
||||||
}
|
}
|
||||||
|
|
||||||
|
@TestMetadata("typeParameters.kt")
|
||||||
|
public void testTypeParameters() throws Exception {
|
||||||
|
runTest("compiler/testData/codegen/box/jvmOverloads/typeParameters.kt");
|
||||||
|
}
|
||||||
|
|
||||||
@TestMetadata("varargs.kt")
|
@TestMetadata("varargs.kt")
|
||||||
public void testVarargs() throws Exception {
|
public void testVarargs() throws Exception {
|
||||||
runTest("compiler/testData/codegen/box/jvmOverloads/varargs.kt");
|
runTest("compiler/testData/codegen/box/jvmOverloads/varargs.kt");
|
||||||
|
|||||||
+5
@@ -14044,6 +14044,11 @@ public class IrBlackBoxCodegenTestGenerated extends AbstractIrBlackBoxCodegenTes
|
|||||||
runTest("compiler/testData/codegen/box/jvmOverloads/simpleJavaCall.kt");
|
runTest("compiler/testData/codegen/box/jvmOverloads/simpleJavaCall.kt");
|
||||||
}
|
}
|
||||||
|
|
||||||
|
@TestMetadata("typeParameters.kt")
|
||||||
|
public void testTypeParameters() throws Exception {
|
||||||
|
runTest("compiler/testData/codegen/box/jvmOverloads/typeParameters.kt");
|
||||||
|
}
|
||||||
|
|
||||||
@TestMetadata("varargs.kt")
|
@TestMetadata("varargs.kt")
|
||||||
public void testVarargs() throws Exception {
|
public void testVarargs() throws Exception {
|
||||||
runTest("compiler/testData/codegen/box/jvmOverloads/varargs.kt");
|
runTest("compiler/testData/codegen/box/jvmOverloads/varargs.kt");
|
||||||
|
|||||||
Reference in New Issue
Block a user