[llvm] [InstCombine] Canonicalize signed saturated additions (PR #153053)
via llvm-commits
llvm-commits at lists.llvm.org
Mon Nov 10 08:37:32 PST 2025
AZero13 wrote:
> Make sense to me. Please provide generalized alive2 proofs for all the variants. Then I will give a deeper review.
Did I not do that?
https://github.com/llvm/llvm-project/pull/153053
More information about the llvm-commits
mailing list