wave I m using the `convertToIrAndActualizeForJvm` function

Question

wave I m using the `convertToIrAndActualizeForJvm` function to convert the `FIR` to the `IR` and for code like `val a = 1 + 1 ` the IR contains changes that match the resultant byte code I E `val a = 2` Is it possible to configure the compiler to preserve `1 + 1` in the IR or is that only preserved in the FIR via metadata source

Tracey Yoshima · Answer

Alternatively I m using the PSI backed FIR configuration after the IR is actualized and I have access to the symbol table and cached types can it be accessed from an FIR element I E Given a FirConstExpression may I get the class symbol or IrSimpleType associated with the FIR element

Tracey Yoshima · Answer

I think I found it but I d like an expert option In the `Fir2IrActualizedResult` the `Fir2IrComponentStorage$typeConverter` contains a class `Fir2IrTypeConverter` which I may use to retrieve the `IrType` Is that the recommended approach

dmitriy.novozhilov · Answer

Are you asking about accessing all those things from API for compiler plugins or you develop some external tool which calls compiler internals on its own

Tracey Yoshima · Answer

Hi Dmitriy it s for a new revision of a Kotlin parser in OpenRewrite an external tool that calls the compiler on it s own The goal is a tree like the psi with type attribution to enable automatic code remediation

dmitriy.novozhilov · Answer

In this case you can create IR with `Fir2IrConverter createIrModuleFragment` and access all fir2ir services from `Fir2IrResult components` They knows everything about fir lt gt ir mapping

dmitriy.novozhilov · Answer

But I must warn you that fir2ir related API is very unstable now so be ready to incompatibilities with each Kotlin update

Tracey Yoshima · Answer

Thank you

Tracey Yoshima · Answer

Hi Dmitriy `createIrModuleFragment` and components were very helpful I could associate most of the FIR elements to the IR to acquire type attribution through the caches and `typeRef toIrType Fir2IrTypeConverter ` I didn t find a way to link some of the elements `FirValueParameter` = gt `IrValueParameter` `FirCall` = gt `IrCall` FunctionCall or ConstructorCall `FirResolvedQualifier` = gt IrElement I can access the base type through the symbol but I d like to preserve the bounded type attribution I E listOf foo = gt `kotlin collections List lt kotlin String gt ` instead of `kotlin collections List lt T gt ` Is there a way to use a `callableId` or a utility to get the IR from a `FirCall` `FirValueParameter` or `FirResolvedQualifier`

dmitriy.novozhilov · Answer

Check declaration storage from components

dmitriy.novozhilov · Answer

Also there is no mapping for expressions we just covert them