[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:
committed by
max-kammerer
parent
6f8682c950
commit
18e8896c08
+5
-1
@@ -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
|
||||
}
|
||||
|
||||
+1
-1
@@ -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
|
||||
}
|
||||
|
||||
+2
-2
@@ -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)
|
||||
|
||||
+5
-2
@@ -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()
|
||||
|
||||
Reference in New Issue
Block a user