[llvm] [LoopSplitUtils] Prevent erasure of non-dead latch compares (PR #214243)

Ramkumar Ramachandra via llvm-commits llvm-commits at lists.llvm.org
Thu Aug 6 00:11:23 PDT 2026


artagnon wrote:

@dtcxzyw It would be good if we can relax llvm-hackme to run on all passes to at least report crashes, even if Alive2 would not be able to prove anything about them; I believe Sean here is also using an LLM? See also https://github.com/llvm/llvm-project/pull/211895?

https://github.com/llvm/llvm-project/pull/214243


More information about the llvm-commits mailing list