Hi, Is it possible to have Kotlin Native write out...
# kotlin-native
r
Hi, Is it possible to have Kotlin Native write out LLVM IR files? If so any ideas on how I can get to do that? I tried so far:
Copy code
framework {
  // Use "marker" to embed the bitcode marker (for debug builds).
  // Use "disable" to disable embedding.
  embedBitcode("marker") // for release binaries.
}
But I don't see any files in the build folder. Any help is appreciated, thanks!
l
If you use the command line compiler, you can have it generate ll files. I believe the docs say this was removed from the gradle task
r
Thanks Landry, I suppose the gradle config may be modified to pass args to the command line compiler. Trying to figure out what I need there but so far found no way searching in old issues and github. I'm trying to generate LLVM IR .bc files so I can test them with tools like https://klee.github.io/ I've seen many rust and c based projects using this or others for automatic symbolic execution and fuzzy testing to ensure functions don't lead to panic or blow up under some inputs. Most of these tool depend on LLVM IR files.
r
Thanks @sergey.bogolepov, will try that.
201 Views