org.jetbrains.kotlin.fir.pipeline.convertToIr.kt Maven / Gradle / Ivy
Go to download
Show more of this group Show more artifacts with this name
Show all versions of kotlin-compiler-embeddable Show documentation
Show all versions of kotlin-compiler-embeddable Show documentation
the Kotlin compiler embeddable
/*
* Copyright 2010-2024 JetBrains s.r.o. and Kotlin Programming Language contributors.
* Use of this source code is governed by the Apache 2.0 license that can be found in the license/LICENSE.txt file.
*/
package org.jetbrains.kotlin.fir.pipeline
import org.jetbrains.kotlin.backend.common.CodegenUtil
import org.jetbrains.kotlin.backend.common.IrSpecialAnnotationsProvider
import org.jetbrains.kotlin.backend.common.actualizer.*
import org.jetbrains.kotlin.backend.common.extensions.IrGenerationExtension
import org.jetbrains.kotlin.backend.common.extensions.IrPluginContext
import org.jetbrains.kotlin.builtins.KotlinBuiltIns
import org.jetbrains.kotlin.config.AnalysisFlags
import org.jetbrains.kotlin.diagnostics.impl.BaseDiagnosticsCollector
import org.jetbrains.kotlin.fir.FirModuleData
import org.jetbrains.kotlin.fir.FirSession
import org.jetbrains.kotlin.fir.analysis.checkers.MppCheckerKind
import org.jetbrains.kotlin.fir.backend.*
import org.jetbrains.kotlin.fir.backend.generators.Fir2IrDataClassGeneratedMemberBodyGenerator
import org.jetbrains.kotlin.fir.backend.utils.generatedBuiltinsDeclarationsFileName
import org.jetbrains.kotlin.fir.declarations.FirFile
import org.jetbrains.kotlin.fir.lazy.Fir2IrLazyClass
import org.jetbrains.kotlin.fir.moduleData
import org.jetbrains.kotlin.fir.resolve.ScopeSession
import org.jetbrains.kotlin.ir.IrBuiltIns
import org.jetbrains.kotlin.ir.IrElement
import org.jetbrains.kotlin.ir.KtDiagnosticReporterWithImplicitIrBasedContext
import org.jetbrains.kotlin.ir.declarations.*
import org.jetbrains.kotlin.ir.declarations.impl.IrFactoryImpl
import org.jetbrains.kotlin.ir.declarations.impl.IrModuleFragmentImpl
import org.jetbrains.kotlin.ir.declarations.lazy.IrLazyDeclarationBase
import org.jetbrains.kotlin.ir.overrides.IrFakeOverrideBuilder
import org.jetbrains.kotlin.ir.symbols.UnsafeDuringIrConstructionAPI
import org.jetbrains.kotlin.ir.types.IrTypeSystemContext
import org.jetbrains.kotlin.ir.types.getClass
import org.jetbrains.kotlin.ir.util.KotlinMangler
import org.jetbrains.kotlin.ir.util.SymbolTable
import org.jetbrains.kotlin.ir.visitors.IrElementVisitorVoid
import org.jetbrains.kotlin.ir.visitors.acceptChildrenVoid
import org.jetbrains.kotlin.ir.visitors.acceptVoid
import org.jetbrains.kotlin.platform.jvm.isJvm
import org.jetbrains.kotlin.utils.addToStdlib.runIf
data class FirResult(val outputs: List)
data class ModuleCompilerAnalyzedOutput(
val session: FirSession,
val scopeSession: ScopeSession,
val fir: List
)
data class Fir2IrActualizedResult(
val irModuleFragment: IrModuleFragment,
val components: Fir2IrComponents,
val pluginContext: Fir2IrPluginContext,
val irActualizedResult: IrActualizedResult?,
val irBuiltIns: IrBuiltIns,
val symbolTable: SymbolTable,
)
fun List.runPlatformCheckers(reporter: BaseDiagnosticsCollector) {
val platformModule = this.last()
val session = platformModule.session
val scopeSession = platformModule.scopeSession
val allFiles = this.flatMap { it.fir }
session.runCheckers(scopeSession, allFiles, reporter, MppCheckerKind.Platform)
}
fun FirResult.convertToIrAndActualize(
fir2IrExtensions: Fir2IrExtensions,
fir2IrConfiguration: Fir2IrConfiguration,
irGeneratorExtensions: Collection,
irMangler: KotlinMangler.IrMangler,
visibilityConverter: Fir2IrVisibilityConverter,
kotlinBuiltIns: KotlinBuiltIns,
typeSystemContextProvider: (IrBuiltIns) -> IrTypeSystemContext,
specialAnnotationsProvider: IrSpecialAnnotationsProvider?,
extraActualDeclarationExtractorInitializer: (Fir2IrComponents) -> IrExtraActualDeclarationExtractor?,
irModuleFragmentPostCompute: (IrModuleFragment) -> Unit = { _ -> },
): Fir2IrActualizedResult {
val pipeline = Fir2IrPipeline(
outputs,
fir2IrExtensions,
fir2IrConfiguration,
irGeneratorExtensions,
irMangler,
visibilityConverter,
kotlinBuiltIns,
typeSystemContextProvider,
specialAnnotationsProvider,
extraActualDeclarationExtractorInitializer,
irModuleFragmentPostCompute
)
return pipeline.convertToIrAndActualize()
}
private class Fir2IrPipeline(
val outputs: List,
val fir2IrExtensions: Fir2IrExtensions,
val fir2IrConfiguration: Fir2IrConfiguration,
val irGeneratorExtensions: Collection,
val irMangler: KotlinMangler.IrMangler,
val visibilityConverter: Fir2IrVisibilityConverter,
val kotlinBuiltIns: KotlinBuiltIns,
val typeSystemContextProvider: (IrBuiltIns) -> IrTypeSystemContext,
val specialAnnotationsProvider: IrSpecialAnnotationsProvider?,
val extraActualDeclarationExtractorInitializer: (Fir2IrComponents) -> IrExtraActualDeclarationExtractor?,
val irModuleFragmentPostCompute: (IrModuleFragment) -> Unit,
) {
private class Fir2IrConversionResult(
val mainIrFragment: IrModuleFragmentImpl,
val dependentIrFragments: List,
val componentsStorage: Fir2IrComponentsStorage,
val commonMemberStorage: Fir2IrCommonMemberStorage,
val irBuiltIns: IrBuiltIns,
val symbolTable: SymbolTable,
val irTypeSystemContext: IrTypeSystemContext
)
fun convertToIrAndActualize(): Fir2IrActualizedResult {
require(outputs.isNotEmpty()) { "No modules found" }
val fir2IrOutput = runFir2IrConversion()
return fir2IrOutput.runActualizationPipeline()
}
private fun runFir2IrConversion(): Fir2IrConversionResult {
val commonMemberStorage = Fir2IrCommonMemberStorage()
val firProvidersWithGeneratedFiles: MutableMap = mutableMapOf()
for (firOutput in outputs) {
val session = firOutput.session
firProvidersWithGeneratedFiles[session.moduleData] = FirProviderWithGeneratedFiles(session, firProvidersWithGeneratedFiles)
}
val syntheticIrBuiltinsSymbolsContainer = Fir2IrSyntheticIrBuiltinsSymbolsContainer()
lateinit var componentsStorage: Fir2IrComponentsStorage
val fragments = outputs.map {
componentsStorage = Fir2IrComponentsStorage(
it.session,
it.scopeSession,
it.fir,
fir2IrExtensions,
fir2IrConfiguration,
visibilityConverter,
commonMemberStorage,
irMangler,
kotlinBuiltIns,
specialAnnotationsProvider,
firProvidersWithGeneratedFiles.getValue(it.session.moduleData),
syntheticIrBuiltinsSymbolsContainer,
)
Fir2IrConverter.generateIrModuleFragment(componentsStorage, it.fir).also { moduleFragment ->
irModuleFragmentPostCompute(moduleFragment)
}
}
val dependentIrFragments = fragments.dropLast(1)
val mainIrFragment = fragments.last()
val (irBuiltIns, symbolTable) = createBuiltInsAndSymbolTable(componentsStorage, syntheticIrBuiltinsSymbolsContainer)
mainIrFragment.initializeIrBuiltins(irBuiltIns)
dependentIrFragments.forEach { it.initializeIrBuiltins(irBuiltIns) }
val irTypeSystemContext = typeSystemContextProvider(irBuiltIns)
return Fir2IrConversionResult(
mainIrFragment,
dependentIrFragments,
componentsStorage,
commonMemberStorage,
irBuiltIns,
symbolTable,
irTypeSystemContext
)
}
private fun createBuiltInsAndSymbolTable(
componentsStorage: Fir2IrComponentsStorage,
syntheticIrBuiltinsSymbolsContainer: Fir2IrSyntheticIrBuiltinsSymbolsContainer,
): Pair {
val irBuiltIns = IrBuiltInsOverFir(componentsStorage, syntheticIrBuiltinsSymbolsContainer)
val symbolTable = SymbolTable(signaturer = null, IrFactoryImpl, lock = componentsStorage.lock)
fir2IrExtensions.initializeIrBuiltInsAndSymbolTable(irBuiltIns, symbolTable)
return irBuiltIns to symbolTable
}
private fun Fir2IrConversionResult.runActualizationPipeline(): Fir2IrActualizedResult {
val irActualizer = createIrActualizer()
// actualizeCallablesAndMergeModules call below in fact can also actualize classifiers.
// So to avoid even more changes, when this mode is disabled, we don't run classifiers
// actualization separately. This should go away, after useIrFakeOverrideBuilder becomes
// always enabled
irActualizer?.actualizeClassifiers()
generateSyntheticBodiesOfDataValueMembers()
val (fakeOverrideStrategy, delegatedMembersGenerationStrategy) = buildFakeOverridesAndPlatformSpecificDeclarations(irActualizer)
val expectActualMap = irActualizer?.actualizeCallablesAndMergeModules() ?: IrExpectActualMap()
val pluginContext = Fir2IrPluginContext(componentsStorage, irBuiltIns, componentsStorage.moduleDescriptor, symbolTable)
if (fir2IrConfiguration.diagnosticReporter.hasErrors) {
irActualizer?.runChecksAndFinalize(expectActualMap)
return Fir2IrActualizedResult(
mainIrFragment, componentsStorage, pluginContext, irActualizedResult = null, irBuiltIns, symbolTable
)
}
val fakeOverrideResolver = SpecialFakeOverrideSymbolsResolver(expectActualMap)
resolveFakeOverrideSymbols(fakeOverrideResolver)
delegatedMembersGenerationStrategy.updateMetadataSources(
commonMemberStorage.firClassesWithInheritanceByDelegation,
outputs.last().session,
outputs.last().scopeSession,
componentsStorage.declarationStorage,
fakeOverrideResolver
)
evaluateConstants()
val actualizationResult = irActualizer?.runChecksAndFinalize(expectActualMap)
fakeOverrideResolver.cacheFakeOverridesOfAllClasses(mainIrFragment)
fakeOverrideStrategy.clearFakeOverrideFields()
removeGeneratedBuiltinsDeclarationsIfNeeded()
pluginContext.applyIrGenerationExtensions(mainIrFragment, irGeneratorExtensions)
return Fir2IrActualizedResult(mainIrFragment, componentsStorage, pluginContext, actualizationResult, irBuiltIns, symbolTable)
}
// ------------------------------------------------------ pipeline steps ------------------------------------------------------
private fun Fir2IrConversionResult.createIrActualizer(): IrActualizer? {
return runIf(dependentIrFragments.isNotEmpty()) {
IrActualizer(
KtDiagnosticReporterWithImplicitIrBasedContext(
fir2IrConfiguration.diagnosticReporter,
fir2IrConfiguration.languageVersionSettings
),
irTypeSystemContext,
fir2IrConfiguration.expectActualTracker,
mainIrFragment,
dependentIrFragments,
[email protected](componentsStorage),
)
}
}
private fun Fir2IrConversionResult.generateSyntheticBodiesOfDataValueMembers() {
Fir2IrDataClassGeneratedMemberBodyGenerator(irBuiltIns)
.generateBodiesForClassesWithSyntheticDataClassMembers(
commonMemberStorage.generatedDataValueClassSyntheticFunctions,
symbolTable
)
}
private fun Fir2IrConversionResult.createFakeOverrideBuilder(
irActualizer: IrActualizer?
): Pair {
val session = componentsStorage.session
val delegatedMembersGenerationStrategy = Fir2IrDelegatedMembersGenerationStrategy(
symbolTable.irFactory, irBuiltIns, fir2IrExtensions, commonMemberStorage.delegatedClassesInfo,
irActualizer?.classActualizationInfo,
)
return IrFakeOverrideBuilder(
irTypeSystemContext,
Fir2IrFakeOverrideStrategy(
Fir2IrConverter.friendModulesMap(session),
isGenericClashFromSameSupertypeAllowed = session.moduleData.platform.isJvm(),
isOverrideOfPublishedApiFromOtherModuleDisallowed = session.moduleData.platform.isJvm(),
delegatedMembersGenerationStrategy,
),
componentsStorage.extensions.externalOverridabilityConditions
) to delegatedMembersGenerationStrategy
}
private fun Fir2IrConversionResult.buildFakeOverridesAndPlatformSpecificDeclarations(
irActualizer: IrActualizer?
): Pair {
val (fakeOverrideBuilder, delegatedMembersGenerationStrategy) = createFakeOverrideBuilder(irActualizer)
buildFakeOverrides(fakeOverrideBuilder)
if (!componentsStorage.configuration.skipBodies) {
delegatedMembersGenerationStrategy.generateDelegatedBodies()
}
val fakeOverrideStrategy = fakeOverrideBuilder.strategy as Fir2IrFakeOverrideStrategy
return fakeOverrideStrategy to delegatedMembersGenerationStrategy
}
private fun Fir2IrConversionResult.buildFakeOverrides(fakeOverrideBuilder: IrFakeOverrideBuilder) {
val temporaryResolver = SpecialFakeOverrideSymbolsResolver(IrExpectActualMap())
fakeOverrideBuilder.buildForAll(dependentIrFragments + mainIrFragment, temporaryResolver)
@OptIn(Fir2IrSymbolsMappingForLazyClasses.SymbolRemapperInternals::class)
componentsStorage.symbolsMappingForLazyClasses.initializeRemapper(temporaryResolver)
}
private fun Fir2IrConversionResult.resolveFakeOverrideSymbols(fakeOverrideResolver: SpecialFakeOverrideSymbolsResolver) {
mainIrFragment.acceptVoid(SpecialFakeOverrideSymbolsResolverVisitor(fakeOverrideResolver))
val expectActualMap = fakeOverrideResolver.expectActualMap
if (expectActualMap.propertyAccessorsActualizedByFields.isNotEmpty()) {
mainIrFragment.transform(SpecialFakeOverrideSymbolsActualizedByFieldsTransformer(expectActualMap), null)
}
// TODO: remove this and create a correct remapper from the beginnning: KT-70907
@OptIn(Fir2IrSymbolsMappingForLazyClasses.SymbolRemapperInternals::class)
componentsStorage.symbolsMappingForLazyClasses.unregisterRemapper()
@OptIn(Fir2IrSymbolsMappingForLazyClasses.SymbolRemapperInternals::class)
componentsStorage.symbolsMappingForLazyClasses.initializeRemapper(fakeOverrideResolver)
}
private fun Fir2IrConversionResult.evaluateConstants() {
Fir2IrConverter.evaluateConstants(mainIrFragment, componentsStorage)
}
// ------------------------------------------------------ f/o building helpers ------------------------------------------------------
private fun IrFakeOverrideBuilder.buildForAll(
modules: List,
resolver: SpecialFakeOverrideSymbolsResolver
) {
val builtFakeOverridesClasses = mutableSetOf()
fun buildFakeOverrides(clazz: IrClass) {
if (!builtFakeOverridesClasses.add(clazz)) return
for (c in clazz.superTypes) {
c.getClass()?.let { buildFakeOverrides(it) }
}
if (clazz is IrLazyDeclarationBase) {
resolveOverridenSymbolsInLazyClass(clazz as Fir2IrLazyClass, resolver)
} else {
buildFakeOverridesForClass(clazz, false)
}
}
class ClassVisitor : IrElementVisitorVoid {
override fun visitElement(element: IrElement) {
element.acceptChildrenVoid(this)
}
private fun isIgnoredClass(declaration: IrClass): Boolean {
return when {
declaration.isExpect -> true
declaration.metadata is MetadataSource.CodeFragment -> true
else -> false
}
}
override fun visitClass(declaration: IrClass) {
if (!isIgnoredClass(declaration)) {
buildFakeOverrides(declaration)
}
declaration.acceptChildrenVoid(this)
}
}
for (module in modules) {
for (file in module.files) {
try {
file.acceptVoid(ClassVisitor())
} catch (e: Throwable) {
CodegenUtil.reportBackendException(e, "IR fake override builder", file.fileEntry.name) { offset ->
file.fileEntry.takeIf { it.supportsDebugInfo }?.let {
val (line, column) = it.getLineAndColumnNumbers(offset)
line to column
}
}
}
}
}
}
private fun resolveOverridenSymbolsInLazyClass(
clazz: Fir2IrLazyClass,
resolver: SpecialFakeOverrideSymbolsResolver,
) {
/*
* Eventually, we should be able to process lazy classes with the same code.
*
* Now we can't do this, because overriding by Java function is not supported correctly in IR builder.
* In most cases, nothing need to be done for lazy classes. For other cases, it is
* caller responsibility to handle them.
*
* Super-classes already have processed fake overrides at this moment.
* Also, all Fir2IrLazyClass super-classes are always platform classes,
* so it's valid to process it with empty expect-actual mapping.
*
* But this is still a hack, and should be removed within KT-64352
*/
@OptIn(UnsafeDuringIrConstructionAPI::class)
for (declaration in clazz.declarations) {
when (declaration) {
is IrSimpleFunction -> {
declaration.overriddenSymbols = declaration.overriddenSymbols.map { resolver.getReferencedSimpleFunction(it) }
}
is IrProperty -> {
declaration.overriddenSymbols = declaration.overriddenSymbols.map { resolver.getReferencedProperty(it) }
declaration.getter?.let { getter ->
getter.overriddenSymbols = getter.overriddenSymbols.map { resolver.getReferencedSimpleFunction(it) }
}
declaration.setter?.let { setter ->
setter.overriddenSymbols = setter.overriddenSymbols.map { resolver.getReferencedSimpleFunction(it) }
}
}
}
}
}
/** If `stdlibCompilation` mode is enabled, there could be files with synthetic declarations.
* All of them should be generated before FIR2IR conversion and removed after the actualizaiton.
*/
private fun Fir2IrConversionResult.removeGeneratedBuiltinsDeclarationsIfNeeded() {
if (fir2IrConfiguration.languageVersionSettings.getFlag(AnalysisFlags.stdlibCompilation)) {
mainIrFragment.files.removeAll { it.name == generatedBuiltinsDeclarationsFileName }
}
}
}
fun IrPluginContext.applyIrGenerationExtensions(
irModuleFragment: IrModuleFragment,
irGenerationExtensions: Collection,
) {
if (irGenerationExtensions.isEmpty()) return
for (extension in irGenerationExtensions) {
extension.generate(irModuleFragment, this)
}
}