[llvm] [InstCombine] Fix i1 ssub.sat compare folding (PR #173742)

Justin Lebar via llvm-commits llvm-commits at lists.llvm.org
Sun Jan 11 14:00:46 PST 2026

Previous message: [llvm] [InstCombine] Fix i1 ssub.sat compare folding (PR #173742)
Next message: [llvm] [InstCombine] Fix i1 ssub.sat compare folding (PR #173742)
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

jlebar wrote:

Proof of incorrectness, https://alive2.llvm.org/ce/z/cQJDPJ

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

Previous message: [llvm] [InstCombine] Fix i1 ssub.sat compare folding (PR #173742)
Next message: [llvm] [InstCombine] Fix i1 ssub.sat compare folding (PR #173742)
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

More information about the llvm-commits mailing list