[userbinator]

Unfortunately LLMs are not good at precision and details, which is exactly what you need for the sort of analysis you're trying to do.

[menaerus]

Right. Have a look at the paper above from Meta on how they fine-tuned the Code Llama with LLVM IR to beat the compiler in producing size-optimized binaries.