[CMP] Drop workaround for CMP-7571

^KT-75638 Fixed

Author: vsukharev

compiler/ir/serialization.common/src/org/jetbrains/kotlin/backend/common/linkage/partial/PartiallyLinkedIrTreePatcher.kt

@@ -15,8 +15,6 @@ import org.jetbrains.kotlin.descriptors.Modality
 import org.jetbrains.kotlin.ir.IrBuiltIns
 import org.jetbrains.kotlin.ir.IrElement
 import org.jetbrains.kotlin.ir.IrStatement
-import org.jetbrains.kotlin.ir.UNDEFINED_OFFSET
-import org.jetbrains.kotlin.ir.builders.declarations.buildFun
 import org.jetbrains.kotlin.ir.declarations.*
 import org.jetbrains.kotlin.ir.declarations.lazy.IrLazyDeclarationBase
 import org.jetbrains.kotlin.ir.expressions.*
@@ -35,7 +33,6 @@ import org.jetbrains.kotlin.ir.visitors.IrVisitorVoid
 import org.jetbrains.kotlin.ir.visitors.acceptChildrenVoid
 import org.jetbrains.kotlin.ir.visitors.transformChildrenVoid
 import org.jetbrains.kotlin.name.FqName
-import org.jetbrains.kotlin.name.Name
 import org.jetbrains.kotlin.utils.addIfNotNull
 import org.jetbrains.kotlin.utils.addToStdlib.ifTrue
 import org.jetbrains.kotlin.utils.compact
@@ -520,91 +517,6 @@ internal class PartiallyLinkedIrTreePatcher(
             checkReferencedDeclaration(symbol)
         }
 
-        /**
-         * Workaround for CMP-7571. Provides backward compatibility for compose libraries built with k1.
-         * k1-built libraries may contain cross-module `GetField(...$stable: Int)`,
-         * but given field became private (when compiled with k2 compose compiler plugin) and also may be uninitialized.
-         * Such field accesses are transformed to `IrCall(...$stableprop_getter(): Int)` functions (generated by k2 compose compiler plugin)
-         * TODO drop that workaround in kotlin v2.3: KT-75648
-         */
-        override fun visitGetField(expression: IrGetField): IrExpression {
-            val COMPOSE_STABLE_FIELD_MARKER = $$"$stable"
-            val COMPOSE_STABILITY_GETTER_MARKER = $$"$stableprop_getter"
-
-            fun IrGetField.isComposeStableFieldAccess(): Boolean {
-                // If the field is public, it means it's in a K1-built klib, so we can proceed as before.
-                // We have a problem only with IrGetField for private fields,
-                // which are generated by K2 compose compiler plugin.
-                if (!symbol.isBound || symbol.owner.visibility == DescriptorVisibilities.PUBLIC) return false
-                return symbol.owner.name.asString().endsWith(COMPOSE_STABLE_FIELD_MARKER)
-            }
-
-            fun IrFieldSymbol.generateArtificialStabilityGetter(getterName: String, parent: IrDeclarationContainer, parentField: IrField): IrSimpleFunction {
-
-                val stabilityField = owner
-
-                // We use stageController to make sure valid unique signatures are generated for k/js and k/wasm
-                val stabilityGetter = builtIns.irFactory.stageController.restrictTo(parentField) {
-                    builtIns.irFactory.buildFun {
-                        startOffset = UNDEFINED_OFFSET
-                        endOffset = UNDEFINED_OFFSET
-                        name = Name.identifier(getterName)
-                        returnType = stabilityField.type
-                        visibility = DescriptorVisibilities.PUBLIC
-                        origin = PartiallyLinkedDeclarationOrigin.AUXILIARY_GENERATED_DECLARATION
-                    }.also { fn ->
-                        fn.parent = parent
-                        fn.body = builtIns.irFactory.createBlockBody(
-                            UNDEFINED_OFFSET, UNDEFINED_OFFSET,
-                            listOf(
-                                IrReturnImpl(
-                                    UNDEFINED_OFFSET, UNDEFINED_OFFSET,
-                                    builtIns.nothingType,
-                                    fn.symbol,
-                                    IrGetFieldImpl(UNDEFINED_OFFSET, UNDEFINED_OFFSET, this, stabilityField.type),
-                                ),
-                            ),
-                        )
-                        parent.addChild(fn)
-                    }
-                }
-
-                return stabilityGetter
-            }
-
-            fun IrFieldSymbol.findSuitableStabilityGetter(): IrSimpleFunction? {
-                val getterFunName = owner.name.asString().removeSuffix(COMPOSE_STABLE_FIELD_MARKER) + COMPOSE_STABILITY_GETTER_MARKER
-                val artificialGetterFunName = $$"$$getterFunName$artificial"
-                return (owner.parent as? IrDeclarationContainer)?.let { parent ->
-                    parent.findDeclaration<IrSimpleFunction> {
-                        it.name.asString() == getterFunName ||
-                                // try to find already-crafted artificial getter
-                                it.name.asString() == artificialGetterFunName
-                    } ?: generateArtificialStabilityGetter(artificialGetterFunName, parent, owner) // generate one if none found
-                }
-
-            }
-
-            fun IrGetField.isCrossModuleGetField(): Boolean {
-                val containingModule = PLModule.determineModuleFor(symbol.owner)
-                return (containingModule != currentFile.module)
-            }
-
-            if (expression.isComposeStableFieldAccess() && expression.isCrossModuleGetField()) {
-                expression.symbol.findSuitableStabilityGetter()?.let {
-                    return super.visitCall(
-                        IrCallImpl.fromSymbolOwner(
-                            expression.startOffset,
-                            expression.endOffset,
-                            expression.type,
-                            it.symbol
-                        )
-                    )
-                }
-            }
-            return super.visitGetField(expression)
-        }
-
         override fun visitClassReference(expression: IrClassReference) = expression.maybeThrowLinkageError {
             checkReferencedDeclaration(symbol) ?: checkExpressionType(classType)
         }