azalea/kotlin-fork
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

Hack to fix dce for objc constructor calls

Browse Source
This commit is contained in:
Igor Chevdar
2019-07-17 09:30:37 +03:00
parent 5ee8c27f1d
commit b0c74ec00b
2 changed files with 28 additions and 0 deletions
Download Patch File Download Diff File Expand all files Collapse all files
backend.native/compiler/ir/backend.native/src/org/jetbrains/kotlin/backend/konan/llvm/IrToBitcode.kt
+1
View File
@@ -2032,6 +2032,7 @@ internal class CodeGeneratorVisitor(val context: Context, val lifetimes: Map<IrE
lifetime = resultLifetime(callee), exceptionHandler = currentCodeContext.exceptionHandler)
}
// TODO: OBJC-CONSTRUCTOR-CALL. Move to InteropLowering.
constructedClass.isObjCClass() -> {
assert(constructedClass.isKotlinObjCClass()) // Calls to other ObjC class constructors must be lowered.
val symbols = context.ir.symbols
backend.native/compiler/ir/backend.native/src/org/jetbrains/kotlin/backend/konan/optimizations/CallGraphBuilder.kt
+27
View File
@@ -8,6 +8,8 @@ package org.jetbrains.kotlin.backend.konan.optimizations
import org.jetbrains.kotlin.backend.konan.DirectedGraph
import org.jetbrains.kotlin.backend.konan.DirectedGraphNode
import org.jetbrains.kotlin.backend.konan.Context
import org.jetbrains.kotlin.backend.konan.isObjCClass
import org.jetbrains.kotlin.ir.util.parentAsClass
internal class CallGraphNode(val graph: CallGraph, val symbol: DataFlowIR.FunctionSymbol)
: DirectedGraphNode<DataFlowIR.FunctionSymbol> {
@@ -95,6 +97,31 @@ internal class CallGraphBuilder(val context: Context,
private inline fun DataFlowIR.FunctionBody.forEachCallSite(block: (DataFlowIR.Node.Call) -> Unit) =
nodes.forEach { node ->
when (node) {
// TODO: OBJC-CONSTRUCTOR-CALL
is DataFlowIR.Node.NewObject -> {
block(node)
if (node.irCallSite?.symbol?.owner?.parentAsClass?.isObjCClass() == true) {
block(DataFlowIR.Node.Call(
callee = moduleDFG.symbolTable.mapFunction(symbols.interopAllocObjCObject.owner),
arguments = listOf(DataFlowIR.Edge(DataFlowIR.Node.Null, null)),
returnType = moduleDFG.symbolTable.mapType(symbols.interopAllocObjCObject.owner.returnType),
irCallSite = null)
)
block(DataFlowIR.Node.Call(
callee = moduleDFG.symbolTable.mapFunction(symbols.interopInterpretObjCPointer.owner),
arguments = listOf(DataFlowIR.Edge(DataFlowIR.Node.Null, null)),
returnType = moduleDFG.symbolTable.mapType(symbols.interopInterpretObjCPointer.owner.returnType),
irCallSite = null)
)
block(DataFlowIR.Node.Call(
callee = moduleDFG.symbolTable.mapFunction(symbols.interopObjCRelease.owner),
arguments = listOf(DataFlowIR.Edge(DataFlowIR.Node.Null, null)),
returnType = moduleDFG.symbolTable.mapType(symbols.interopObjCRelease.owner.returnType),
irCallSite = null)
)
}
}
is DataFlowIR.Node.Call -> block(node)
is DataFlowIR.Node.Singleton ->