[JVM IR] Leave private @JvmDefault methods on interface

Like the old backend, always leave private @JvmDefault annotated
interface members (properties, methods) on the interface, just like
the old backend. Fix naming, and introduce test to document the naming
scheme.
This commit is contained in:
Kristoffer Andersen
2019-11-29 14:15:49 +01:00
committed by max-kammerer
parent 6f8682c950
commit 18e8896c08
8 changed files with 41 additions and 7 deletions
@@ -115,7 +115,11 @@ open class FunctionCodegen(
irFunction.origin == IrDeclarationOrigin.BRIDGE_SPECIAL
) Opcodes.ACC_BRIDGE else 0
val modalityFlag = when ((irFunction as? IrSimpleFunction)?.modality) {
Modality.FINAL -> if (!classCodegen.irClass.isAnnotationClass || irFunction.isStatic) Opcodes.ACC_FINAL else Opcodes.ACC_ABSTRACT
Modality.FINAL -> when {
classCodegen.irClass.isInterface && irFunction.body != null -> 0
!classCodegen.irClass.isAnnotationClass || irFunction.isStatic -> Opcodes.ACC_FINAL
else -> Opcodes.ACC_ABSTRACT
}
Modality.ABSTRACT -> Opcodes.ACC_ABSTRACT
else -> if (classCodegen.irClass.isJvmInterface && irFunction.body == null) Opcodes.ACC_ABSTRACT else 0 //TODO transform interface modality on lowering to DefaultImpls
}
@@ -310,7 +310,7 @@ class MethodSignatureMapper(private val context: JvmBackendContext) {
val invokeOpcode = when {
callee.dispatchReceiverParameter == null -> Opcodes.INVOKESTATIC
isSuperCall -> Opcodes.INVOKESPECIAL
isInterface -> Opcodes.INVOKEINTERFACE
isInterface && !Visibilities.isPrivate(callee.visibility) -> Opcodes.INVOKEINTERFACE
Visibilities.isPrivate(callee.visibility) && !callee.isSuspend -> Opcodes.INVOKESPECIAL
else -> Opcodes.INVOKEVIRTUAL
}
@@ -109,10 +109,10 @@ internal class InterfaceLowering(val context: JvmBackendContext) : IrElementTran
}
/**
* 3) Private methods, default parameter dispatchers (without @JvmDefault)
* 3) Private methods (without @JvmDefault), default parameter dispatchers (without @JvmDefault)
* and $annotation methods are always moved without bridges
*/
Visibilities.isPrivate(function.visibility)
(Visibilities.isPrivate(function.visibility) && !function.hasJvmDefault())
|| (function.origin == IrDeclarationOrigin.FUNCTION_FOR_DEFAULT_PARAMETER && !function.hasJvmDefault())
|| function.origin == JvmLoweredDeclarationOrigin.SYNTHETIC_METHOD_FOR_PROPERTY_ANNOTATIONS -> {
val defaultImpl = createDefaultImpl(function)
@@ -13,6 +13,7 @@ import org.jetbrains.kotlin.backend.jvm.JvmLoweredDeclarationOrigin
import org.jetbrains.kotlin.backend.jvm.codegen.isJvmInterface
import org.jetbrains.kotlin.backend.jvm.intrinsics.receiverAndArgs
import org.jetbrains.kotlin.backend.jvm.ir.IrInlineReferenceLocator
import org.jetbrains.kotlin.backend.jvm.ir.hasJvmDefault
import org.jetbrains.kotlin.backend.jvm.ir.isLambda
import org.jetbrains.kotlin.backend.jvm.ir.shouldBeHidden
import org.jetbrains.kotlin.descriptors.Modality
@@ -447,8 +448,10 @@ internal class SyntheticAccessorLowering(val context: JvmBackendContext) : IrEle
private fun IrFunction.accessorName(superQualifier: IrClassSymbol?): Name {
val jvmName = context.methodSignatureMapper.mapFunctionName(this)
val suffix = when {
// The only function accessors placed on interfaces are for JvmDefault implementations
parent.safeAs<IrClass>()?.isJvmInterface == true -> "\$jd"
// The only function accessors placed on interfaces are for private functions and JvmDefault implementations.
// The two cannot clash.
parentAsClass.isJvmInterface && Visibilities.isPrivate(visibility) -> ""
parentAsClass.isJvmInterface && hasJvmDefault() -> "\$jd"
// Accessor for _s_uper-qualified call
superQualifier != null -> "\$s" + superQualifier.descriptor.name.asString().hashCode()
@@ -1,6 +1,5 @@
// !JVM_DEFAULT_MODE: enable
// IGNORE_BACKEND_FIR: JVM_IR
// IGNORE_BACKEND: JVM_IR
// TARGET_BACKEND: JVM
// JVM_TARGET: 1.8
// WITH_RUNTIME
@@ -0,0 +1,18 @@
// IGNORE_BACKEND_FIR: JVM_IR
// TARGET_BACKEND: JVM
// !JVM_DEFAULT_MODE: enable
// JVM_TARGET: 1.8
// WITH_RUNTIME
interface I {
@JvmDefault
private fun foo() = 4
fun bar() = { foo() + 5 }()
}
// TESTED_OBJECT_KIND: function
// TESTED_OBJECTS: I, access$foo
// FLAGS: ACC_PUBLIC, ACC_STATIC, ACC_SYNTHETIC
@@ -776,6 +776,11 @@ public class WriteFlagsTestGenerated extends AbstractWriteFlagsTest {
runTest("compiler/testData/writeFlags/jvm8/defaults/onlyJvmDefaultsOnInterface.kt");
}
@TestMetadata("privateAccessorNaming.kt")
public void testPrivateAccessorNaming() throws Exception {
runTest("compiler/testData/writeFlags/jvm8/defaults/privateAccessorNaming.kt");
}
@TestMetadata("propertyAnnotation.kt")
public void testPropertyAnnotation() throws Exception {
runTest("compiler/testData/writeFlags/jvm8/defaults/propertyAnnotation.kt");
@@ -776,6 +776,11 @@ public class IrWriteFlagsTestGenerated extends AbstractIrWriteFlagsTest {
runTest("compiler/testData/writeFlags/jvm8/defaults/onlyJvmDefaultsOnInterface.kt");
}
@TestMetadata("privateAccessorNaming.kt")
public void testPrivateAccessorNaming() throws Exception {
runTest("compiler/testData/writeFlags/jvm8/defaults/privateAccessorNaming.kt");
}
@TestMetadata("propertyAnnotation.kt")
public void testPropertyAnnotation() throws Exception {
runTest("compiler/testData/writeFlags/jvm8/defaults/propertyAnnotation.kt");