Just that comparing LLM to a compiler is nonsense. Because one is deterministic and the more using it, the better the quality will get.
That indirection, in the case of LLMs, is formal proof. It can actually turn an LLM into a sort of compiler. Where, if the compiler run completes successfully, you don't need another run, and you are sure it is correct.