A modern programming language that makes developers happier.

kotlinlang

Is there a way to force the compiler to bundle the definition to `Kotlin_Int_plus_Int` into the bitcode file?

No. But soon arithmetic operations like this one will be inlined into bitcode. 

Will it be possible to get the definitions of these methods eventually, as many as possible?

I don’t think so. What problem are you trying to solve?

Im trying to statically verify the llvm bitcode, the problem is it can't verfy methods it can't see inside like plus and so on. I don't want to have to shadow implement every runtime method in kotlin. So I need the bitcode

You can pass `-Xverbose=object_files` compiler option to see the command (and all of bitcode files) that is used to create an object file.