[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