Not that I know of! Its an interesting idea though, as you say it should remain auditable.

Along that line me wonder if it were possible to design an LLVM output (i.e. can work with existing code) that is extra well optimized for interop with a specialized LLM, e.g. encoding more information more compactly or something.