Hi When generating code with IR which seems ok in 1 3 61 it

Question

Hi When generating code with IR which seems ok in 1 3 61 it produces binaries that when loaded at runtime result in this kinds of exceptions related to `kotlin internal ir Intrinsic` I suppose this is an issue in code generation and not that I actually need an IR runtime to run that code and it s missing as dependency Is that the case Or does anyone else know where this may be coming from Any help is appreciated thanks ```Exception in thread main java lang NoClassDefFoundError kotlin internal ir Intrinsic at consumer MainKt lt clinit gt main kt 5 Caused by java lang ClassNotFoundException kotlin internal ir Intrinsic at <http java net|java net> URLClassLoader findClass URLClassLoader java 382 at java lang ClassLoader loadClass ClassLoader java 424 at sun misc Launcher$AppClassLoader loadClass Launcher java 349 at java lang ClassLoader loadClass ClassLoader java 357 1 more```

shikasd · Answer

I remember seeing something like that when I tried to generate a function directly in an `IrFile` some time ago Maybe it is related

raulraja · Answer

I checked and we are not generating functions just inserting calls which are resolved in IR correctly

shikasd · Answer

< raulraja> Do you know which calls got replaced with intrinsic From bytecode for example

raulraja · Answer

In the case where it works it generates ```2 invokestatic 48 Method twitterHandle Ljava lang String Ltest TwitterHandle ```

raulraja · Answer

And in the case it doesn t it generates

raulraja · Answer

```2 invokestatic 50 Method kotlin internal ir Intrinsic twitterHandle Ljava lang String Ltest TwitterHandle ```

raulraja · Answer

so it thinks the `twitterHandle` functions is inside a class called `kotlin internal ir Intrinsic`

raulraja · Answer

But the IR tree is the same in both cases

raulraja · Answer

```PROPERTY name x visibility public modality FINAL val FIELD PROPERTY BACKING FIELD name x type test TwitterHandle visibility private final static EXPRESSION BODY CALL public final fun twitterHandle test TwitterHandle declared in test type=test TwitterHandle origin=null $receiver CONST String type=kotlin String value= admin ```

raulraja · Answer

I think I m missing some button I need to push but I m weirded out that given the same IR tree it generates different bytecode

shikasd · Answer

I did a quick research on that yesterday so what I found is ```companion object val FAKE OWNER TYPE = Type getObjectType kotlin internal ir Intrinsic ``` No other mentions of that guy anywhere else

shikasd · Answer

Essentially it cannot find a class which is a method owner maybe you are referencing the function before it gets wrapped into class

shikasd · Answer

Also run a debugger on your example and it gets into this branch Apparently the method you are referencing still has PackageFragment as a parent thinking face ```fun mapToCallableMethod expression IrFunctionAccessExpression IrCallableMethod val callee = expression symbol owner getOrCreateSuspendFunctionViewIfNeeded context val calleeParent = callee parent if calleeParent is IrClass Non class parent is only possible for intrinsics created in IrBuiltIns such as dataClassArrayMemberHashCode In that case we still need to return some IrCallableMethod with some owner instance but that owner will be ignored at the call site Here we return a fake type but this needs to be refactored so that we never call mapToCallableMethod on intrinsics TODO get rid of fake owner here return IrCallableMethod FAKE OWNER TYPE Opcodes INVOKESTATIC mapSignatureSkipGeneric callee false ```

raulraja · Answer

the method is a global extension function

raulraja · Answer

so it s parent is the PackageFragment

raulraja · Answer

Perhaps I m missing something in the way I replace the call

raulraja · Answer

shikasd · Answer

Try this it fails with `function is not declared` Apparently it is not in the symbol table ```fun FunctionDescriptor irCall IrCall val irFunctionSymbol = backendContext ir symbols externalSymbolTable referenceDeclaredFunction this return IrCallImpl startOffset = UNDEFINED OFFSET endOffset = UNDEFINED OFFSET type = irFunctionSymbol owner returnType symbol = irFunctionSymbol descriptor = irFunctionSymbol descriptor typeArgumentsCount = irFunctionSymbol owner descriptor typeParameters size valueArgumentsCount = irFunctionSymbol owner descriptor valueParameters size ```

shikasd · Answer

So its parent should be the fragment on your stage but then in `jvmPhases` lowering replaces function parent for generation

shikasd · Answer

`FileClassLowering` or something like that`

shikasd · Answer

< raulraja> Ok apparently descriptor is there but the instance is different from you have

shikasd · Answer

I removed `synthetic ` in ```fun List lt Proof gt synthetic List lt Proof gt = mapNotNull proof gt Proof proof from <http proof to|proof to> proof through as SimpleFunctionDescriptor synthetic proof proofType ``` and it works slightly smiling face

raulraja · Answer

Awesome

raulraja · Answer

Thanks so much

raulraja · Answer

I owe you a beer when travelling is back allowed

raulraja · Answer

I wonder if those unbounded symbols I was getting in 1 3 7 are related I ll take a look at it tomorrow Thanks again

shikasd · Answer

My pleasure beers